将LLM视为新一代“编译器”:从Fortran演变看编程范式的彻底重构
本文探讨了大型语言模型(LLM)在软件开发历史中的定位,将其类比为新一代的“语言编译器”。正如Fortran通过抽象化底层机器代码推动了早期计算的发展,LLM正在通过消除编码中的“偶然复杂性”(如语法和样板代码),推动抽象层级的又一次飞跃。...
标签索引 / 第 3 页
这个标签下有 29 篇文章。按时间回看相关判断与实践记录。
标签精选
本文探讨了大型语言模型(LLM)在软件开发历史中的定位,将其类比为新一代的“语言编译器”。正如Fortran通过抽象化底层机器代码推动了早期计算的发展,LLM正在通过消除编码中的“偶然复杂性”(如语法和样板代码),推动抽象层级的又一次飞跃。...
CG/SQL 是一款专为 SQLite 设计的 SQL 方言编译器,旨在解决 C/C++ 环境下嵌入式数据库开发的效率与性能矛盾。它允许开发者编写类似“存储过程”的逻辑,随后将这些 SQL 代码直接编译为高性能的 C 语言代码。这种方式不仅...
Zig 编程语言近日宣布了 ‘zig libc’ 子项目的重大进展,旨在通过 Zig 标准库封装逐步替代传统的 vendored C 源文件。目前已成功删除约 250 个 C 源文件,并计划继续重构剩余的 2000 ...
本文讲述了一位开发者在尝试将词法分析器速度提升两倍后,却意外发现真正的性能瓶颈在于 I/O 操作。评论区的讨论进一步深入,指出在编译和加载过程中,文件搜索带来的延迟往往比带宽限制更为致命。专家建议,对于容器格式,未压缩的 Zip 或 Squ...
本文介绍了一种针对3D几何编程语言Geoscript的独特性能优化方案。作者发现该语言程序通常具有纯函数特性,因此提出了一种“跨运行表达式缓存持久化”技术。通过基于AST树的结构哈希,系统在多次代码运行之间持久化缓存未变更的计算结果。即使修...
本文深入剖析WebAssembly的实际应用,揭示其在游戏开发、图像处理等领域的革命性作用。文章通过Godot、Figma等案例,展示WebAssembly如何作为编译目标赋能多语言开发,同时分析其安全模型和性能权衡。尽管未取代JavaSc...
Xr0是一个创新的C程序验证器,能在编译时消除多种未定义行为,如使用后释放、双重释放、空指针解引用和未初始化内存问题。它通过C-like注释表达函数安全语义,确保安全信息在函数调用中正确分发,防止微妙错误。目前验证C89子集,尚未实现循环和...
本文深入探讨Go语言中哈希表的内存优化技术,揭示了从map[int]bool到map[int]struct{}的演变过程。作者发现,在Go 1.24引入Swiss Tables实现后,由于CPU内存对齐规则,空结构体struct{}不再节省...
Pizlix是一个创新的内存安全Linux发行版,基于Linux From Scratch 12.2构建。它采用Fil-C编译器编译用户空间,确保最内存安全的操作系统体验,而内核使用Yolo-C编译。文章详细描述了构建过程,包括多个阶段如P...