𝙩𝙮≃𝙛{𝕩}^A𝕀²·ℙarad𝕚g𝕞

𝙩𝙮≃𝙛{𝕩}^A𝕀²·ℙarad𝕚g𝕞

0 关注者

8小时前

用Linux kernel来类比TASTE.md作为ABI: CPU 不需要价值引导,LLM 需要。 这揭示了为什么软件工程的所有抽象工具都不够用——它们都是在假设底层是确定性的。ABI(Application Binary Interface)在传统软件里是接口规范,假设双方都是确定性执行。

#Linux #KERNEL #ABI #LLM #软件工程 #抽象工具 #确定性

相关新闻

placeholder

sitin

8小时前

Heretic:一个全自动去除 LLM「安全对齐」的开源工具。15000+ star,社区已经用它生成了超过 1000 个去审查模型。 技术原理:方向性消融(directional ablation / abliteration),通过 Optuna TPE 优化器自动搜索最佳参数,同时最小化拒绝率和与原模型的 KL 散度。 翻译成人话:找到模型里负责「拒绝回答」的方向,精准切掉,同时尽量不伤

placeholder

看不懂的sol

1天前

英伟达龙虾来了,老板黄仁勋称: OpenClaw 代理系统为“新计算机”,并表示每家公司都需要制定 OpenClaw 代理系统战略。 他声称 OpenClaw 在几周内就成为了 $NVDA 历史上最受欢迎的开源项目,并将其影响与 Linux 重塑软件栈的影响相提并论。

placeholder

Ding

1天前

Linux 太好玩了。虽然我对 Omarchy 很满意了,但又发现了很多更强的定制版。

placeholder

Barret李靖

2天前

谁还不会做俩菜呢,但不是谁都能成为厨师。写代码这件事,门槛会越来越低,真正拉开差距的,会是架构、工程和管理能力。你得看得懂复杂设计,扛得住长期维护,带得动多人多AI协作,还能让系统在不断变化里继续稳定、生长、扩展。

placeholder

Andy Stewart

3天前

AI时代,公司用AI推理来换取软件 更重要的是沉淀项目的核心文档,自动编写,自动测试,自动构建 以后软件的源码不再是代码了,而是驱动AI的文档

© 2025 news.news. All rights reserved. 0.05068 秒. v1.0.46
我的评论