摘要：
0x01 从判定问题到形式语言 这篇讲知识证明的wiki([1]): https://en.wikipedia.org/wiki/Proof_of_knowledge 里面有一句话: Let x be a language element of language L in NP 这篇讲NPC的文章( 阅读全文
摘要：
原文： "Computer Scientist Tells Mathematicians How To Write Proofs" 对比一下下面两个证明哪个更好？ 版本一： “A square and 10 roots are equal to 39 units. The question ther 阅读全文
摘要：
上一篇： "助教指南，持续更新..." // Version: 0.0.4 许多人，所不知道的是，每一种编程语言都有其对应的单元测试框架，对程序在不同阶段的测试环节也概念模糊。在实际动手编写程序许久之后才听说“单元测试”、“模块测试”、“集成测试”这三个重要的测试阶段。从一个程序的角色来说，“单元测 阅读全文
摘要：
最近在项目中需要对nodejs的require关键字做解析，并且替换require里的路径。一开始我希望nodejs既然作为脚本语言，内核提供一个官方的parser库应该是一个稳定可靠又灵活的渠道，然而nodejs里面只一个了一个加载js文件并得到对应的module的能力，module能获取expo 阅读全文
摘要：
原文：equals as assignment: https://www.hillelwayne.com/post/equals as assignment/ 在这篇文章里，作者对这个问题做了一下考古。这些语言里面，初始化、赋值、相等三种操作符的变迁。这个内容很有意思，文章中提到的编程语言以及编程语 阅读全文
摘要：
目录： ** 0x01 做研究/写论文的Alpha/Beta ** 0x02 How to Do Research | 经典指南 ** 0x03 思考写作与研究的区别 | The differences between tinkering and research ** 0x04 科学研究上的涡流和 阅读全文
摘要：
上一篇:提问与回复 下一篇:从命令行开始逐步培养编程能力(Java) 目录: ** 0x00 Handshake ** 0x01 点评 ** 0x02 评分 ** 0x03 知识储备 ** 0x04 明确课程主线条 ** 0x05 项目设计 ** 0x06 重视基础过程中各环节的质量 ** 0x07 阅读全文
摘要：
// 上一篇： " Alpha/Beta换人" // 下一篇： "最近发展区／脚手架" 目录： 0x01 讨论：工具／轮子 0x02 讨论：结构／演进 0x03 讨论：行为／活动 0x04 讨论：开放/封闭 0x05 推荐： 善用/佳软 0x01 讨论：工具／轮子(refactoring...) 软 阅读全文
摘要：
// 上一篇： "超链接" // 下一篇： "工具和结构化" 注 ：在一次软件工程讨论课程进度设计的过程中，出现了这个关于 Alpha/Beta换人机制的讨论，这个机制在不同学校有不同的实施，本篇积累各方观点，持续跟踪。 Talk(1) @ Coach: [Something is importan 阅读全文
摘要：
本文记录自己阅读英文文章的方式，小结以便更好地改进。 分解步骤： 增长单词量 一种方式是考级，比如四六级、雅思，通过考级增加词汇量。 从阅读的角度来说，单词分为本专业的词汇和非本专业的词汇两类，一般来说专业词汇里又分常用词汇和不常用词汇。 准备一个方便查阅的词典，例如必应词典，在阅读文章的过程中，如 阅读全文
摘要：
** 0x01 基础教程/0x02 分支流程/0x03 提交日志/0x04 变化比较/0x05 团队协作/0x06 高级用法/0x07 常见问题(FAQ)/0x08 掌握Git的秘诀 阅读全文
** 0x01 基础教程/0x02 分支流程/0x03 提交日志/0x04 变化比较/0x05 团队协作/0x06 高级用法/0x07 常见问题(FAQ)/0x08 掌握Git的秘诀 阅读全文
摘要：
如何切换编辑器 切换博客园编辑器为MarkDown：MarkDown Editor 选择一个在线编辑和预览站点：StackEdit 如何排版章节 MarkDown： 大标题 小标题 # 一级标题 ## 二级标题 ### 三级标题 #### 四级标题 例如三级和四级发布后的效果： 三级标题 四级标题 阅读全文
摘要：
文档标题 第一行写下文档的名字，居中，微软雅黑字体，三号 章节标题 每一章的标题单独一行，光标选中这行，设置为 每一节的标题单独一行，光标选中这行，设置为 全部章节标题设置完毕后，下一步 选中第一个章节的标题，设置编号（比如简单选择带有 的那种编号 目录 在 下换行，单击 面板，单击 ，选择以 为依 阅读全文