摘要:
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的秘诀 阅读全文
![](https://img2018.cnblogs.com/blog/121186/201903/121186-20190308105223195-908255627.jpg)
摘要:
如何切换编辑器 切换博客园编辑器为MarkDown:MarkDown Editor 选择一个在线编辑和预览站点:StackEdit 如何排版章节 MarkDown: 大标题 小标题 # 一级标题 ## 二级标题 ### 三级标题 #### 四级标题 例如三级和四级发布后的效果: 三级标题 四级标题 阅读全文
摘要:
文档标题 第一行写下文档的名字,居中,微软雅黑字体,三号 章节标题 每一章的标题单独一行,光标选中这行,设置为 每一节的标题单独一行,光标选中这行,设置为 全部章节标题设置完毕后,下一步 选中第一个章节的标题,设置编号(比如简单选择带有 的那种编号 目录 在 下换行,单击 面板,单击 ,选择以 为依 阅读全文