type-safety

标签

Cards List
#type-safety

令牌预算:63起LLM智能体预算超支事件的实证目录,以及基于仿射类型Rust缓解方案的案例研究

Hugging Face Daily Papers · 5天前

本文呈现了来自21个编排框架的63起经确认的LLM智能体预算超支事件的实证目录,按故障分类法组织,并介绍了一个使用仿射类型所有权的Rust crate,在编译时而非运行时防止令牌/成本预算违规。

0 人收藏 0 人点赞
#type-safety

Reasons and Resources for Learning The Gleam Programming Language

Lobsters Hottest · 5天前 缓存

介绍学习 Gleam 编程语言的五大理由(跨平台、类型安全、简洁设计、函数式范式、活跃生态)以及从官网导览到 Exercism 等实用入门资源。

0 人收藏 0 人点赞
#type-safety

Fil-C 优化调用约定

Hacker News Top · 2026-05-16 缓存

Fil-C 优化调用约定确保 C 程序即使在恶意滥用情况下也能保持内存安全性,同时通过在常见情况下省略安全检查来保持效率。它解释了通过 panic 或定义明确的行为来处理类型违规的通用优化和寄存器传递优化。

0 人收藏 0 人点赞
#type-safety

在Zig中利用Comptime实现标签联合子集

Mitchell Hashimoto · 2024-09-23 缓存

Mitchell Hashimoto 展示了如何利用 Zig 的 comptime 创建标签联合的子集类型,无需穷举处理即可实现编译时安全。

0 人收藏 0 人点赞
← 返回首页

提交意见反馈