幻灰龙的博客 | 目录

0x00 最新博文

• C++工程如何系列：
  • 如何排查C++链接库之间链接顺序问题
  • 如何解决库链接出现符号重定义问题
  • 如何证明一个静态库没有使用 malloc

0x01 工具/技术

• 工具
  • 工具(1): 极简Word排版示例（Example by Word2013）
  • 工具(2): 极简MarkDown排版介绍（How to）
  • 工具(3): 转换Excel表格到MarkDown：exceltk
  • 工具(4): Git自助手册
  • 工具(5): 极简开发文档编写（How-to）
  • 工具(6): 开发神器
  • 软工+C(9): 助教指南，持续更新...
• 技术的极限
  • 技术的极限(1): 从编程开始
  • 技术的极限(2): 概念应该基于事实
  • 技术的极限(3): 像科学家一样思考
  • 技术的极限(4): 解决不可靠的网络的挑战
  • 技术的极限(5): 识别计算与技术背后的心智
  • 技术的极限(6): 密码朋克精神(Cypherpunk Spirit)
  • 技术的极限(7): 处理复杂与分层
  • 技术的极限(8): 集成与分离
  • 技术的极限(9): 看见数学
  • 技术的极限(10): 考虑技术的伸缩性
  • 技术的极限(11): 有趣的编程
  • 技术的极限(12): 探索编译器
  • 心智与认知(1): 反馈循环(Feedback loop)

0x02 计算机与数学/随笔

• 证明与计算
  • 证明与计算(1): Decision Problem, Formal Language L, P and NP
  • 证明与计算(2): 离散对数问题(Discrete logarithm Problem, DLP)
  • 证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
  • 证明与计算(4): 完美散列函数(Perfect Hash function)
  • 证明与计算(5): 从加密哈希函数到一致性哈希
  • 证明与计算(6): 身份认证与授权
  • 证明与计算(7): 有限状态机(Finite State Machine)
• 翻译
  • 翻译(1): 为什么大多数编程语言里，= 号被用来做赋值操作符？
  • 翻译(2): How to Write a 21st Century Proof
  • 翻译(3): NULL-计算机科学上最糟糕的失误
  • 翻译(4): 文本自动完成的匹配规则
  • 翻译(5): 技术债务墻：一种让技术债务可见并可协商的方法
• HowTo
  • 如何理解一座城市 2013-10-9
  • 怎样阅读英文文章，持续更新中...
  • 怎样分析问题
  • [references] How to Do Research

0x03 软件工程/编程语言

• 软工+C
  • 软工+C(1): 题目设计、点评和评分
  • 软工+C(2): 分数和checklist
  • 软工+C(3): 超链接
  • 软工+C(4): Alpha/Beta换人
  • 软工+C(5): 工具和结构化（重构中, part 1...)
  • 软工+C(6): 最近发展区／脚手架
  • 软工+C(7): 野生程序员
  • 软工+C(8): 提问与回复
  • 软工+C(9): 助教指南，持续更新...
  • 软工+C(10): 团队项目[NABCD] - 对话式编辑
  • 软工+C(11): 从命令行开始逐步培养编程能力(Java)
  • 软件工程作业设计(1): [个人项目] 实现一个日志查看页面
• 控制与结构
  • 控制结构(1): 分枝／叶子（branch/leaf）
  • 控制结构(2): 卫语句（guard clause）
  • 控制结构(3): 状态机（state machine）
  • 控制结构(4): 局部化（localization）
  • 控制结构(5): 必经之地（using）
  • 控制结构(6): 最近最少使用（LRU）
  • 控制结构(7): 程序计数器（PC）
  • 控制结构(8): 线性化（linearization）
  • 控制结构(9): 管道（pipeline）
  • 控制结构(10): 指令序列（opcode）
  • 控制结构(11): Continuation passing style(CPS)
• 测试的思考
  • 测试(1): 极简单元测试
  • 测试(2): 怎样做[单元/模块]测试
  • 测试(3): 测试与开发
  • 测试(4): 测试与类型
• 炼金术
  • 炼金术(1): 识别项目开发中的ProtoType、Demo、MVP
  • 炼金术(2): 为什么要用issue管理软件
  • 炼金术(3): 怎样做好1个业务流程的接口对接
  • 炼金术(4): 重新理解资深和新手
  • 炼金术(5): 区分前端开发/客户端开发/后端开发/核心开发
  • 炼金术(6): 可迭代的模型和用例
  • 炼金术(7): 何以解忧，唯有重构
  • 炼金术(8): 开发和发布的并行
  • 炼金术(9): 简约而不简单，永不停歇的测试 -- always_run
• 5种不同平台代表的编程语言
  • C, 它的竞争对手挺多的，例如：Zig
  • Python
  • JavaScript / TypeScript
  • Rust
  • Go
• 重要的网络协议
  • TCP
  • HTTP3/QUIC
  • SSL
  • P2P(BDT)/DHT
  • 语义网络

0x04 软件工程助教博客

• 软件工程(FZU2015)
  • 软件工程(FZU2015) 赛季得分榜，第一回合，个人项目
  • 软件工程(FZU2015) 赛季得分榜，第四回合，结对编程
  • 软件工程(FZU2015) 赛季得分榜，第9回合，案例分析
  • 软件工程(FZU2015) 赛季得分榜，第八回合，团队Alpha
  • 软件工程(FZU2015) 赛季得分榜，第11回合(beta冲刺+SE总结)
  • 软件工程(FZU2015) 增补作业
  • 软件工程(FZU2015) 助教总结
• 软件工程(QLGY2015)
  • 软件工程(QLGY2015) 第一次作业小结（含成绩）
  • 软件工程(QLGY2015) 第二次作业点评（随机挑选20组点评）
  • 软件工程(QLGY2015) 第三次作业点评（含成绩）
• 软件工程(DBSD2016)
  • 软件工程(DBSD2016) Git代码复审
• 软件工程(GZSD2015)
  • 软件工程(GZSD2015) 第二次作业文档模板
  • 软件工程(GZSD2015) 第二次作业成绩
  • 软件工程(GZSD2015) 第二次作业小结
  • 软件工程(GZSD2015) 第三次作业

--end--