文章：你的下一位DSL开发者其实是一个语言模型
在这篇文章中，作者介绍了“类型化领域基础框架”这一方法——通过将特定领域的编程语言嵌入到主流的类型化语言体系中，从而有效减少大语言模型在这些领域产生的错误或幻觉现象。作者以kUML基准测试以及一个基于代码定义基础设施的实例为例，探讨了如何利用编译器的验证机制以及“生成-编译-修复”循环来提高模型生成的特定领域编程语言代码的可靠性。 作者：伊拉克利·贝奇瓦亚
在这篇文章中，作者介绍了“类型化领域基础框架”这一方法——通过将特定领域的编程语言嵌入到主流的类型化语言体系中，从而有效减少大语言模型在这些领域产生的错误或幻觉现象。作者以kUML基准测试以及一个基于代码定义基础设施的实例为例，探讨了如何利用编译器的验证机制以及“生成-编译-修复”循环来提高模型生成的特定领域编程语言代码的可靠性。
作者：伊拉克利·贝奇瓦亚相关文章
上下文语言模型：通过自我管理上下文信息来提升性能并降低计算成本
来自Meta、MIT和华盛顿大学的研究人员提出了一种名为“上下文语言模型”的新方法，这种方法使语言模型能够自主管理和编辑自身的信息内容，而无需依赖预先定义的摘要生成、压缩或信息检索机制。研究结果表明，这种新方法在性能和计算效率方面都取得了显著提升。 作者：Sergio De Simone
阅读全文
如何使用VS Code的语言API在TypeScript中构建代码图表
现代的代码库变得越来越难以浏览。这并不一定是因为开发人员自己编写了更多的代码，而主要是因为编码辅助工具会生成成百上千行代码，因此代码审查成为了了一个亟待解决的问题。 在大型语言模型出现之前，你可能需要花费数天的时间才能编写出几行代码。这意味着你的参与会让某个项目的代码结构逐渐丰富起来；只有当你加入新的团队或开始新的工作时，才需要去审查和了解那些新添加的代码。 但如今，一个简单的指令就能在几分钟内生成数千行代码，这些代码分散在上百个文件中。在这种规模下，传统的代码审查方式已经不再适用了——你花费在审查代码上的时间，实际上比编写代码的时间还要多。 例如，如果你打开一个庞大的TypeScript项目
阅读全文
播客：做正确的事：在人工智能时代追求责任与透明度——节目总结
在这期播客中，负责“文化与方法”板块的首席编辑Shane Hastie与Hugo Venturini进行了交谈。他们探讨了当人工智能负责编写代码时，谁应该承担相应的责任；人工智能如何正在改变代码审查流程以及传统的工程角色定位；同时，也讨论了领导者应该如何营造一种透明且充满心理安全感的工作环境。 作者：Hugo Venturini
阅读全文
文章：我们无法重现的那些iOS系统崩溃现象
本文描述了一项调查过程，旨在找出某款大型iOS消费类应用在生产环境中发生崩溃的根本原因。该应用程序在运行过程中会间歇性地出现崩溃现象，而且任何尝试在本地环境下重现这一故障的努力都未能成功。虽然最终进行的代码修改幅度很小，但要找到问题的根源，就必须将那些模糊不清的SIGBUS错误报告转化为一系列有针对性的实验。 作者：阿比舍克·冈德·德布
阅读全文