Reddit Programming - 2026-06-03
1. 编程即理论构建，Naur（1985）。PDF链接
作者: /u/patrixxxx | 发布于: 2026-06-02 05:20
2. Bug hunt：为什么你只需要巴黎就能击败《披萨大亨》（1994）
作者: /u/Optdev | 发布于: 2026-06-02 10:05
3. 无分支快速排序比std::sort和pdqsort更快，支持C和C++ API
作者: /u/chkas | 发布于: 2026-06-02 12:40
4. 多租户的数学原理
作者: /u/NoPercentage6144 | 发布于: 2026-06-02 15:42
5. 使用小波和熵编码分析代码结构
作者: /u/yogthos | 发布于: 2026-06-02 17:26
6. 析取剪枝及其他近期对Swift编译器类型检查器的改进
作者: /u/someone-very-cool | 发布于: 2026-06-02 18:37
7. Sanglard 分析《Silpheed》（世嘉CD，1993）的视频压缩技术
作者: /u/r_retrohacking_mod2 | 发布于: 2026-06-02 07:11
8. 无let，无rec，无问题：Y和Z组合子的温和入门
作者: /u/sayyadirfanali | 发布于: 2026-06-02 17:20
9. 2026年现代Python性能分析：从cProfile到Tachyon
作者: /u/yangzhou1993 | 发布于: 2026-06-02 16:42
10. 推导类型擦除
通过虚拟函数和模板，逐步构建最小化std::any，揭示类型擦除技术如何隐藏具体类型。
作者: /u/david-alvarez-rosa | 发布于: 2026-06-02 16:15
11. 元编程、综合与验证 • Nada Amin
作者: /u/goto-con | 发布于: 2026-06-02 14:45
12. codimg: 代码块就是URL · cekrem.github.io
作者: /u/cekrem | 发布于: 2026-06-02 13:08
13. 默认SaaS的终结
作者: /u/wineandcode | 发布于: 2026-06-02 22:35