摘要: 上一篇: "技术的极限 (4)" 0x01 One Size Fits all 原文 : "wiki:One_size_fits_all" "One size fits all" is a description for a product that would fit in all instanc阅读全文
posted @ 2018-11-13 09:44 ffl 阅读(87) 评论(1) 编辑
摘要: 上一篇: "证明与计算(2):Discrete logarithm" 0x01 布尔代数(Boolean algebra) 大名鼎鼎鼎的stephen wolfram在2015年的时候写了一篇介绍George Boole的文章: "George Boole: A 200 Year View" 。 怎阅读全文
posted @ 2018-08-07 17:38 ffl 阅读(140) 评论(0) 编辑
摘要: 上一篇: "证明与计算(1): D, L, P and NP" 下一篇: "证明与计算(3): Binary Decision Diagram(BDD)" 离散对数问题,英文是Discrete logarithm Problem,有时候简写为Discrete log,该问题是十几个开放数学问题(Op阅读全文
posted @ 2018-07-28 20:09 ffl 阅读(100) 评论(0) 编辑
摘要: 上一篇: "技术的极限 (3)" 下一篇: "技术的极限 (5)" 0x01 单位圆上的六种三角函数 原文 :twitter 鯵坂もっちょ 🐟 @motcho_tw 单位圆上的六种三角函数。注意半径是1,在不同的直角三角形里有时候是作为斜边,有时候作为直角边。利用同一个角θ(读Theta,'Th'阅读全文
posted @ 2018-07-25 19:45 ffl 阅读(72) 评论(0) 编辑
摘要: 下一篇: "证明与计算(2): Discrete logarithm" 0x01 从判定问题到形式语言 这篇讲知识证明的wiki([1]): https://en.wikipedia.org/wiki/Proof_of_knowledge 里面有一句话: Let x be a language el阅读全文
posted @ 2018-07-18 20:04 ffl 阅读(81) 评论(0) 编辑
摘要: Computer Scientist Tells Mathematicians How To Write Proofs: https://blogs.scientificamerican.com/roots of unity/computer scientist tells mathematicia阅读全文
posted @ 2018-07-01 02:01 ffl 阅读(185) 评论(0) 编辑
摘要: 上一篇: "技术的极限 (2)" 下一篇: "技术的极限 (4)" 0x01 蜜蜂有0的概念 原文 : "bees are the first insects found to understand the concept of zero" 麻省理工的科学家发现,蜜蜂🐝经过训练,可以识别出零0⃣️阅读全文
posted @ 2018-06-28 19:37 ffl 阅读(102) 评论(1) 编辑
摘要: // Version: 0.0.4 许多人,所不知道的是,每一种编程语言都有其对应的单元测试框架,对程序在不同阶段的测试环节也概念模糊。在实际动手编写程序许久之后才听说“单元测试”、“模块测试”、“集成测试”这三个重要的测试阶段。从一个程序的角色来说,“单元测试”、“模块测试”、“集成测试”这三个部阅读全文
posted @ 2018-06-20 03:17 ffl 阅读(331) 评论(11) 编辑
摘要: 上一篇: "技术的极限 (1)" 下一篇: "技术的极限 (3)" 0x01 Deep into free store & stack Q:请教一下 想深入理解一下c++书上提到的free store或者stack等等这些概念 看什么书补充?在看stroutrup的 programming prac阅读全文
posted @ 2018-04-23 15:33 ffl 阅读(193) 评论(0) 编辑
摘要: equals as assignment: https://www.hillelwayne.com/post/equals as assignment/ 在这篇文章里,作者对这个问题做了一下考古。这些语言里面,初始化、赋值、相等三种操作符的变迁。这个内容很有意思,文章中提到的编程语言以及编程语言的发阅读全文
posted @ 2018-04-14 12:59 ffl 阅读(137) 评论(0) 编辑
摘要: 下一篇: "技术的极限 (2)" 0x01 跨平台C++基础库 代码 : "bx" 发现这个跨平台基础库不错,很简洁的设计和实现,代码风格上使用C++ namespace管理模块。 0x02 windows上的VC包管理器 代码 : "vcpkg" 推荐给大家一个windows下管理C++第3方库的阅读全文
posted @ 2018-02-04 23:42 ffl 阅读(83) 评论(1) 编辑
摘要: 上一篇: "助教指南" 动机( M otivation) Eating your own dog food, also called dogfooding, is a slang term used to reference a scenario in which a company uses it阅读全文
posted @ 2017-09-16 18:51 ffl 阅读(206) 评论(12) 编辑
摘要: 上一篇: "提问与回复" 下一篇: "团队项目 对话式编辑" [备注] :请优先阅读 Handshake / 点评 / 评分 三部分。 0x00 Handshake 了解《构建之法》作者参与软件工程改革的一些背景: http://www.epubit.com.cn/article/1237 理解师生阅读全文
posted @ 2017-08-06 12:02 ffl 阅读(481) 评论(4) 编辑
摘要: // 上一篇: "管道(pipeline)" // 下一篇: "Continuation passing_style(CPS)" 发现问题 在一个正式项目的开发周期中,除了源代码版本控制外,还存在着项目的配置/编译/打包/发布等各种高频但非“核心”的脚本代码。职业程序员常常在写项目正式代码的时候,有阅读全文
posted @ 2017-07-26 14:25 ffl 阅读(143) 评论(3) 编辑
摘要: // 上一篇: "卫语句(guard clause)" // 下一篇: "局部化(localization)" 基于语言提供的基本控制结构,更好地组织和表达程序,需要良好的控制结构。 前情回顾 上次分析了guard 控制结构,有人说:“可是阅读很多开源代码也是if/else层层嵌套的”。是的,gua阅读全文
posted @ 2017-05-02 14:29 ffl 阅读(218) 评论(0) 编辑
摘要: // 上一篇: " Alpha/Beta换人" // 下一篇: "最近发展区/脚手架" 工具/轮子 软件工程/计算机相关专业的一个特点是会使用到众多的工具,工具的使用是从程序猿进化到程序员的一个关键要素。软件工程师之间流传着一句话:“不要重新发明轮子”,轮子,正是人类社会演化过程中不断被重复发明的一阅读全文
posted @ 2017-03-25 15:06 ffl 阅读(308) 评论(10) 编辑
摘要: // 上一篇: "超链接" // 下一篇: "工具和结构化" 注 :在一次软件工程讨论课程进度设计的过程中,出现了这个关于 Alpha/Beta换人机制的讨论,这个机制在不同学校有不同的实施,本篇积累各方观点,持续跟踪。 Talk(1) @ Coach: [Something is importan阅读全文
posted @ 2017-03-11 21:05 ffl 阅读(361) 评论(2) 编辑
摘要: 如何切换编辑器 1. 切换博客园编辑器为MarkDown: "MarkDown Editor" 2. 选择一个在线编辑和预览站点: "StackEdit" 如何排版章节 MarkDown: 例如 和`四级`发布后的效果: 三级标题 四级标题 如何插入列表: MarkDown: 注意在 之后需要有一个阅读全文
posted @ 2015-04-21 15:45 ffl 阅读(15605) 评论(17) 编辑
摘要: 文档标题 第一行写下文档的名字,居中,微软雅黑字体,三号 章节标题 每一章的标题单独一行,光标选中这行,设置为 每一节的标题单独一行,光标选中这行,设置为 全部章节标题设置完毕后,下一步 选中第一个章节的标题,设置编号(比如简单选择带有 的那种编号 目录 在 下换行,单击 面板,单击 ,选择以 为依阅读全文
posted @ 2015-04-11 20:19 ffl 阅读(1111) 评论(3) 编辑