标签
Solod 是一种新的系统编程语言，它是 Go 的一个子集，复用 Go 的工具链和标准库，同时编译为 C11，提供手动内存管理。
Wyzer 是一种新的静态类型、编译型编程语言，通过基于所有权的资源模型集成编排式编程，实现分布式安全。
CL-Forth 是 Forth 2012 标准的 Common Lisp 实现，支持多种 Lisp 实现和操作系统，并提供独立可执行文件选项。
David Binder提出了一份修订版Haskell 2010语言报告，以使过时的官方规范与现代Haskell保持一致，并概述了一个在年底前完成该报告的经济高效计划。
Soppo 是一门新的编程语言，它在 Go 的基础上扩展了枚举、模式匹配、“?”错误传播运算符以及编译期空值安全，同时保持与现有 Go 代码和工具链的完全互操作性。
KC3 v0.1.17 发布，支持增量编译，加载速度提升 5 倍，二进制数据库日志，新的 HTTPS 客户端，以及各种错误修复。
一个免费的在线教程，向Python程序员教授函数式编程语言Gleam，涵盖从基础知识到高级主题，如键值存储、Web API和流处理。
F* 是一种通用的、面向证明的编程语言，它将依赖类型与基于 SMT 和策略驱动的证明自动化相结合，可编译为 OCaml 及其他目标语言。这是一个由微软研究院、Inria 和社区共同开发的开源项目，用于形式化验证。
Go 1.27 新功能的实践性交互式导览，重点介绍泛型方法、结构体字面量字段选择器等，并提供基于官方发布说明的可运行示例。
Gleam 1.18.0 版本已发布，其语言服务器进行了重大改进，包括对记录字段的支持、类型变量重命名和模块重命名，以及通过数据单例实现更快的 JavaScript 代码生成。
Steel Bank Common Lisp (SBCL) 2.6.7 版本发布，包含错误修复和改进。
一位Zig核心团队成员解释了Zig增量编译的内部原理与使用方法，该技术仅重新编译变更的代码并修补到二进制文件中，从而实现毫秒级重建。
DConf 2026 宣布将于 2026 年 9 月 2 日至 4 日在伦敦举办，由 Symmetry Investments 和 D Language Foundation 组织，为 D 编程语言社区提供演讲和直播。
K2 参考手册 (1998) 提供了 Kx Systems 的 K2 数组编程语言的文档，包括语法、操作符和系统函数。
计算机历史博物馆发布了一份由 Paul McJones 编辑的、关于 Modula-3 编程语言历史的带注释的文档、源代码和材料集。
作者构建了一种名为bet的玩笑编程语言，通过LLVM编译，采用基于区域的内存管理，并且成功运行了完整的DOOM游戏（56,000行代码），无需代码审查，仅依赖测试。