编译器设计

科技创业公司

Goose编程语言开源发布

Goose是一门新的内存安全系统编程语言,由设计者Wouter van Oortmerssen与AI助手Claude Fable共同开发,现已以Apache License 2.0许可证开源。该语言采用独特的栈式内存模型,无需堆分配器、垃圾回收或生命周期注解,实现了编译器管理的自动内存释放。

科技人工智能

Valen编程语言推出逆向扫描借用检查器

Evan Ovadia介绍了Valen编程语言的一项创新内存安全检查方案——采用逆向扫描算法替代传统的前向扫描方法。这种方法从函数末尾开始向上扫描至函数顶部,通过追踪变量声明、使用和内存变更三类事件来检测内存安全问题。当待处理列表中的变量遭遇内存变更操作时,编译器会报错以捕获使用后释放错误。

科技人工智能

Valen语言推出新型借用检查器 放松Rust的严格限制

Evan Ovadia在Hacker News上介绍了Valen编程语言的创新借用检查设计。这一方案基于Nick Smith的群组借用提案,旨在改进内存安全检查机制。

科技创业公司

二进制序列化工具JBIN:从JSON到高效压缩

一位开发者分享了自主开发的二进制序列化工具JBIN的完整实现方案。该工具通过自定义二进制格式实现了显著的数据压缩效果,将一份401字节的JSON数据压缩至80字节,实现了80.05%的大小减少。

科技半导体

Goose编程语言发布:性能超越C++和Rust,实现零注解内存安全

Goose是一种新的系统编程语言,在性能和内存安全方面取得突破。根据基准测试,该语言在16项测试中比手工优化的C++快1.16倍,比最佳安全Rust实现快1.12倍,同时内存使用分别降低1.3倍和1.2倍。

科技人工智能

CobaltC 1.0.0规范发布 欲成C语言继任者

CobaltC编程语言设计团队发布了CobaltC 1.0.0规范,这是一套新的静态类型系统编程语言规范,设计已冻结。该语言提供显式所有权、确定性销毁、编译器检查的借用、推断生命周期、显式可空性和边界安全等核心特性,旨在实现强内存安全和可预测的资源管理,不依赖垃圾回收。