02 2025 档案
摘要：来源：https://www.shadaj.me/writing/distributed-programming-stalled 在过去十年中，我们见证了分布式系统在技术上的巨大进步，但编写分布式系统的方式却鲜有根本改进。尽管我们有时能将分布式细节抽象掉（例如 Spark、Redis 等），但开发者
阅读全文
摘要：gcc 命令内部有多个子命令，分别处理预处理，编译，汇编，打包，链接等不同阶段，通常大家习惯给GCC传参数来指定只跑到哪个阶段，实际上可以直接调用子命令来处理。通过对这些子命令的拆解，就可以更清晰地掌握GCC的命令。 例子目录结构 project/ ├── main.c ├── util.c └──
阅读全文
摘要：Handling Retry Logic with LLM (Large Language Model) in C++ In today's blog, we are going to explore how to implement a retry mechanism for handling i
阅读全文
摘要：派计算 我猜你指的是帖子中提到的“π”，也就是π演算（π-calculus），因为它在计算机语言语义理论中是一个核心概念。如果你指的是数学中的π（圆周率），请告诉我，我可以调整方向！ π演算（π-calculus）简介 π演算是一种由Robin Milner、Joachim Parrow和David
阅读全文
摘要：原文：https://www.pyspur.dev/blog/introduction_cuda_programming 下面是文章的中文翻译： CUDA 编程入门：面向 Python 开发者 发布日期：2025-02-03 注意：目标 URL 返回错误 500：内部服务器错误 GPU 与 CPU
阅读全文
摘要：原贴: 在整个逻辑学界，唯一被允许在逻辑学顶刊论文里写文学作品的人，是Girard。Richard Zach也承认这一点。[二哈] Grox-1: 哈哈，看来你提到的是逻辑学界的一个有趣现象啊！的确，让-伊夫·吉拉尔（Jean-Yves Girard）是个特别的存在，他的风格在逻辑学界算是独树一帜。
阅读全文
摘要：贴: golang做对的事情是选择了一种process calculus作为设计范式，没做对的地方是选择了csp而不是π。 rust做对的地方是选择了基于类linear logic的类型系统管理资源，没做对的地方是未能支持session type和使用π作为term calculus。 理论还是有用
阅读全文
摘要：链接: https://lizengland.com/blog/2014/04/the-door-problem/ 发表于2014年4月21日 “那么游戏设计师是做什么的？你是艺术家吗？你设计角色和编写故事吗？或者不，等一下，你是程序员？” 对于游戏行业外的人来说，游戏设计是一个模糊的术语，就像“天
阅读全文
摘要：当企业将TCP协议中的拥塞崩溃现象投射到软件开发领域时，管理者们正在用最原始的重传机制应对复杂的工程挑战。这种反模式正在中国科技行业形成独特的数字雾霾——技术债务的指数级累积与开发者的群体性过载形成共振，构建出令人窒息的开发环境。 一、非线性系统的线性管控之殇 在传统制造思维主导下，软件工程被简化为
阅读全文
摘要：引言：软件复杂性的永恒之困 John Ousterhout的《软件设计的哲学》并非一本传统意义上的“编码规范手册”，而是一部探讨软件系统本质性矛盾的哲学著作。书中对“复杂性”的剖析直指软件工程的阿喀琉斯之踵——如何驯服系统熵增，让代码在迭代中保持生命力？在AI工具重构编程范式的今天，重读此书，不仅是
阅读全文
摘要：这是OpenResty作者的微博: 一个好用的 AI Agent 程序框架需要满足：1. 小巧轻便和高效，2. 方便自动最大化请求并发度, 3. 透明切换不同的 LLM（厂商 API 或本地部署的），4. 透明混用大小不同的模型，5. 透明切换实时请求方式和批处理离线方式，6. 自如重跑单个处理环节
阅读全文
摘要：在AI技术飞速发展的今天，人工智能正在成为开发者的得力助手，特别是在编程过程中，AI工具像大语言模型（LLM）正逐渐成为程序员的“编程搭档”。然而，尽管如此，如何让LLM更好地理解你的项目并有效地协作，依然是一个值得探讨的问题。 通过一段时间的实践，我发现其核心思想可以归结为“面向LLM写算法”。在
阅读全文
摘要：引言：从"结对编程"到API范式迁移 在GitHub Copilot等工具普及的今天，开发者们正在经历编程范式的第三次跃迁。我们曾从面向文件系统转向网络接口，从直接操作数据库到响应式前端框架，而当下，大语言模型（LLM）正在演变为一种新型编程接口。这种接口的特殊之处在于：它不直接操作存储系统或网络协
阅读全文
摘要：目录 C语言：程序员的通用问候 内存的江湖：堆、栈与静态区 段错误的诅咒：核心转储与调试入门 指针：C的灵魂与陷阱 工具链的魔法：GCC、GDB与Valgrind 实战：从“Hello World”到崩溃分析 C的黑暗森林法则：社区、资源与生存指南 第一章：C语言：程序员的通用问候 C语言如同程序员
阅读全文