NEE's Blog

函数式程序员对系统的误解

10 Feb 2026

类型系统验证程序属性,而生产环境的正确性是系统的属性。这两者之间的差距,正是那些有趣故障的栖息地。

美国面临的钨资源危机

09 Feb 2026

美国在钨资源供应链上面临严重依赖中国的战略风险,随着国防、半导体和核聚变技术的发展,这种依赖正变得日益危险。

关于生成 C 代码的六个思考

09 Feb 2026

一位编译器工程师分享在生成 C 代码时的实践经验,包括静态内联函数、类型安全、内存拷贝和 ABI 处理等方面的见解