置顶文章

2.8k 3 分钟

# 文字 # 乱数假文 Lorem Ipsum Lorem ipsum dolor sit amet consectetur adipiscing elit, hac mollis auctor sodales eget a lobortis, habitasse eros montes at velit in. 赤橙黄绿青蓝紫 这里是正文 I'm Groot 分布理论[1] 天蓝色  #87ceeb 紫罗兰  #ee82ee 剪切 Ctrl + X 复制 Ctrl + C 粘贴 Ctrl +...

精选分类

文章列表

1.3k 1 分钟

ALG = Arch Linux GUI 提供了图形化安装程序,是继 archinstall 后更便于安装的 Arch Linux 版本(不算新的发行版,只是定制化版 Arch) # 下载 前往北外源,选择 77223 (plasma, 2022.05)(当然可以选自己喜欢的桌面环境或者窗口管理器)。 # 安装 使用 Rufus 或 Etcher 制作启动 U 盘,或者直接使用 Ventoy(推荐)制作多系统启动盘。(刷新过程略) 进入 KDE Plasma 桌面 在左下角开始菜单里,点击 Applications > System > Install Arch...
1.8k 2 分钟

pipx[1][2] 是安装并运行 Python 编写的命令行工具。 pipx 支持如下功能: 将 Python 包安全地安装在隔离环境中,同时又可以全局暴露出命令行的调用入口。这样可以避免依赖之间的冲突。 列举、更新和删除使用 pipx 安装的包 在临时环境中运行某个 Python 应用的最新版 pipx 需要 Python 3.6 及以上版本,同时必须已经安装好了 pip。 # 安装 pipx pipx 会为安装的每一个包自动创建隔离环境,并自动设置环境变量。安装的包能够被执行,非常使用安装那些命令行程序,比如 block、httpie、poetry。 首先在系统 Python...
2.2k 2 分钟

需更改文件的目录结构 shokatree ..├── _config.yml├── layout│ └── _partials│ └── layout.njk├── scripts│ └── generaters│ └── script.js└── source └── js └── _app ├── global.js └── pjax.js添加到 source/js/_app/global.js 最后一行: const isOutime = function(){ if (CONFIG.outime.enable &&...
2.2k 2 分钟

努力适应 80% 的规范要求 # 编写规则 [1][2][3][4][5][6] 文件拓展名必须是 .md 文件名必须用小写,多个单词间用 - 分割 文档及字符编码必须用 UTF-8 文档标题用 # , # 和标题名称之间加一个空格 #标题 #标题# # 标题 文档章节用 ## , ## 和章节名称之间加一个空格 ## 章节 1 ## 章节 1## ## 章节 1 四层级的标题(四级标题已经和正文字体大小差不多) # 一级标题## 二级标题### 三级标题#### 四级标题 标题需要连续,不要越级 错误示例:缺少二级标题。一级标题下,不能直接出现三级标题 #...
2.9k 3 分钟

# 添加子模块 [1] 命令格式: git submodule add <仓库地址> <本地路径> 以我博客主题 shoka 的 Fork 版本为例 仓库地址 可以是 https 或者 ssh 链接: https://github.com/llxlr/hexo-theme-shoka.git git@github.com:llxlr/hexo-theme-shoka.git 我实际用到的命令: bloggit submodule add -b dev...
3.1k 3 分钟

劝学 『先秦』荀子(约公元前313年-公元前238年) 君子曰:学不可以已。 〇 青,取之于蓝,而青于蓝;冰,水为之,而寒于水。木直中绳,輮以为轮,其曲中规。虽有槁暴,不复挺者,輮使之然也。故木受绳则直,金就砺则利,君子博学而日参省乎己,则知明而行无过矣。 〇 故不登高山,不知天之高也;不临深溪,不知地之厚也;不闻先王之遗言,不知学问之大也。干、越、夷、貉之子,生而同声,长而异俗,教使之然也。诗曰:“嗟尔君子,无恒安息。靖共尔位,好是正直。神之听之,介尔景福。”神莫大于化道,福莫长于无祸。 〇 吾尝终日而思矣,不如须臾之所学也;吾尝跂而望矣,不如登高之博见也。登高而招,臂非加长也,而见者远;...
1.6k 1 分钟

关键内容预览 - 与 Q# 比较 - 实例 - 文档 - 安装 ​在 2020 PLDI 会议上(程序语言和编译技术领域的顶级会议),苏黎世联邦理工学院 (ETH-Zurich) 的计算机科学教授 Martin Vechev 介绍了一种量子计算机的高级编程语言 Silq[1][2],使其可以像传统计算机一样简单,可靠且安全地对量子计算机进行编程。 与现有的其它编程语言相比,该语言更安全、更简单、更快、更直观且更易于理解,它使程序员能够更好地对量子计算机进行编程,从而能够充分利用量子计算机的潜力。该算法已发布在其官网上,源码发布于 Github[3] 使用 D...
990 1 分钟

与 Q# 相比,Silq 需要更少的代码,并使用更少的内置函数,注释和入口。 为了将 Silq 与 Q# 进行比较,我们用 Silq 解决了 Microsoft Q# 2018 夏季和 2019 冬季编码竞赛的全部 28 项任务。 我们将 Silq 解决方案与语言设计师从 2018 年至 2019 年提供的 Q# 参考解决方案进行了比较。 # 实例 根据对参赛者代码的人工调查,我们认为他们可以在 Silq 中更好地编码其预期的解决方案。 在下文中,我们展示了两种常见的模式。 # 控制前翻转 (Flip Before Control) // Q# code snippetX(qs[0]);...