Hacker News Digest
· 8 黑客新闻
我坚信 Odin 的 inline assembly 是目前所有语言中最好的。与 GCC、Clang 或 Rust 等语言将内联汇编视为字符串补丁不同，Odin 将其设计为与语言深度集成的 `asm` 模板。这些模板支持完整的类型检查、统一的语法以及通过 `core:rexcode` 提供的真实语义诊断。汇编并非无类型，每条指令都有严格的类型约束。Odin 在约 7 天内构建了这套系统，它不再是…
Rust Glancer 是一款全新的 Rust LSP 服务器，其内存占用比 rust-analyzer 低了两个数量级。作者认为，当前 rust-analyzer 对 6666 个依赖项的处理方式过于笨重，不应将所有代码都通过 salsa 进行增量分析。理想的架构应借鉴 IntelliJ 的思路：对编辑器中打开的文件使用完整的语法树，而对依赖项则直接读取 .rmeta 等预编译文件，仅在用户…
Autolith 是一个在终端中直接运行的 Common Lisp 编程代理，它无需离开对话即可读取和编辑文件、搜索工作区并运行测试。与传统的代理不同，Autolith 将模型客户端、工具注册表和对话状态全部集成在一个 SBCL 运行时中，支持即时检查、扩展和恢复。它利用 fff 库实现快速搜索，并提供 immutable 模式以进行只读检查。开发者可以在不重启的情况下更新运行中的代理，将探索性…
人人都说网络已死，搜索结果全是AI生成。但我的RSS Amplifier目录里，此刻正躺着48,934个仍在正常更新的订阅源，其中包含一位退休轮胎工程师的Barry's Tire Tech。这些内容没有SEO团队优化，也无需平台API，纯粹由个人独立站点发布。从1990年的旧书笔记到最新的法律手记，这里汇聚了博客、漫画、音乐和播客。虽然数据有些杂乱，比如语言标签五花八门，但这正是独立网络的魅力所…
Hacker News 的评论区常被诟病为充满错误信息和恶意攻击，甚至 Paul Graham 都建议不要阅读关于自己文章的评论。然而，在我熟悉的领域，这里依然是互联网上技术评论质量最高的地方。虽然大多数评论确实荒谬，但那些真正懂行的评论往往能浮出水面。从 nkurz 的底层优化见解到 patio11 的商业分析，这里隐藏着许多不常写博客却才华横溢的评论者。尽管评论容易随时间消逝，但其中关于 M…
我花了4个月开发了Rust Glancer，一个专注于极低内存占用的Rust LSP实现。它能在合理项目中将内存控制在100MB以内，并支持重启编辑器后即时恢复索引，无需重新扫描。我在旧款MacBook Pro M1（8GB RAM）上测试效果良好，甚至在M4 Max上也表现优异。虽然它目前功能尚不完整，但已支持类型推断、trait求解（Chalk）、跳转定义、悬停提示等核心功能。与rust-a…
Rex 是一款专为科学计算和数据处理的静态类型纯函数式工作流语言。它将控制流、数据流与错误处理统一在简洁的表达式中，彻底告别 YAML 与 Shell 脚本的混杂。通过内容寻址存储和类型化工具 API，Rex 确保每个输入输出都有唯一标识，支持在隔离的 Docker 容器中安全并行执行。无论是本地开发还是 LLM 生成的工作流，Rex 都能提供高可靠性的类型检查与清晰的逻辑边界。
SEC主席Paul Atkins近期将1776年《独立宣言》与Adam Smith的《国富论》强行关联，以此为由推动去监管化，特别是大幅放松对cryptocurrency行业的执法。文章指出，这种解读扭曲了历史事实：Thomas Jefferson在起草宣言时并未参考《国富论》，且建国者们如James Madison和Jefferson本人，始终警惕包括“金钱贵族”在内的私人利益集团对共和政府的…