标签
文章批评了C标准库中用于解析整数的函数(atol、strtol、strtoul、sscanf),解释了为什么大部分函数存在缺陷,只有strtol在仔细进行错误处理的情况下才能正确使用。
Paul Graham结合自己创办Viaweb的经验,讨论了在网页应用中使用Lisp的优势,包括语言自由度、增量开发以及快速修复bug。
David Crawshaw认为,尽管行业投资于Rust的无GC特性,但Jane Street的OxCaml(OCaml变体)表明,GC对大多数代码路径是有益的,只有1%的代码需要性能优化。
本文回顾了 PyCon US 2026 类型峰会,详细介绍了关于 Python 类型化进展的关键演讲,包括 PEP 提案、AI 辅助类型检查实验以及类型委员会问答环节。
一篇博文讨论了编程语言的锁定效应如何因编码代理的兴起而减弱,以一家公司将原生iPhone和Android应用重写为React Native为例。
Mitchell Hashimoto 评论编程语言日益增强的可替代性,以 Bun 从 Zig 重写为 Rust 为例,表明语言已不再是锁定效应的来源。
对 Anders Hejlsberg(Turbo Pascal、Delphi、C# 和 TypeScript 的创造者)的一次访谈的详细摘要,涵盖了他的职业生涯、设计哲学以及关于软件工艺和人工智能的见解。
C++26 引入了标准化的库强化机制,用于在运行时捕获常见的未定义行为(如越界访问)。基于 Google 的生产经验,此举仅带来 0.30% 的性能开销,同时将段错误减少了 30%。
文章认为,AI 在 Rust 和 Go 等复杂系统级编程语言方面的熟练程度,改变了 Python 的价值主张,因为 AI 降低了进入高性能开发领域的门槛。
本文介绍了一种基于 Lambda 演算的图灵完备函数式语言的极简 7 行解释器,展示了 eval/apply 设计模式。
本文提出了一种有原则性的方法来重新思考 APL 等数组语言,通过将变量建模为输入维度的函数,旨在相较于传统方法提高可读性和错误检查能力。
本文讨论了决定在 Python 3.14 和 3.15 中回退增量垃圾收集功能。
这篇博客文章回应了关于WebAssembly不是纯栈机器的说法,通过讨论其带局部变量的设计并与Forth进行比较,论证它仍然符合栈机器的定义,并且其类似寄存器的局部变量提高了可读性和性能。
一场演讲,追溯从goto面条代码到结构化循环,再到递归模式的演化历程,展示控制流抽象如何映射数据结构,以及为何大多数语言仍把最好的组合子藏起来。
TLA+ 语义保证无序更新,但 TLC 模型检查器通过要求有序赋值并添加如 PrintT 等有副作用的运算符来破坏这些保证,导致初学者感到困惑。
Matt Pocock 宣布他正在从头构建一款名为 Slopwatch 的应用,并全程录像,旨在分享高效使用 AI 编程工具的实用技巧。项目第一步是从 Rust、Go、Node.js 和 Bun 等选项中选定编程语言。
一篇文章探讨了七种构成大多数现代编程语言基础的编程语言原型(原语言),认为学习植根于这些原型的基础知识比选择特定语言更重要。