1807 分
REA 赋能编码代理进行任何软件的逆向工程
REA（面向代理的逆向工程）是一种中间件工具，它通过连接到分析引擎并返回基于证据的发现，使编码代理能够检查和解释软件的工作方式——从原生二进制文件到网页应用——这些发现可供代理用于理解、修改或重新创建特征。
阅读全文 →2625 分尚无解读
2D Vehicles (patkerr.co.uk)
3329 分
Talorys 在 Cloudflare 免费套餐内提供自托管个人 AI 助手
Talorys 是一个开源个人 AI 助手，完全运行在用户的 Cloudflare 账户内，通过一键部署提供聊天、记忆、任务管理和自动提醒功能，无需外部服务器或订阅。
阅读全文 →
4472 分
Telegram 桌面漏洞可实现一次点击账号劫持和文件窃取
Telegram 桌面版 Windows 中的一个漏洞使攻击者能够通过单个恶意链接窃取任意文件并劫持账户，利用了进程间通信中的未转义分号和不安全的内部 URI 方案。
阅读全文 →
7348 分
萨伦之眼：通过内存电磁泄漏检测隐藏的间谍摄像头
ESauron 通过感知视频处理过程中内部内存发出的电磁辐射来检测隐藏的间谍摄像头，在超过二十米的距离上对五十种摄像头型号实现了 100% 的检测率。
阅读全文 →
8228 分
Microsoft 执行容器提供基于策略的隔离，以实现安全的 AI 代理操作
Microsoft 已发布执行容器（MXC）的通用可用性，这是一种策略驱动的容纳系统，使开发者能够定义并强制执行 AI 代理对文件、网络和系统资源访问的确切边界，并提供多种针对不同安全和性能需求的隔离后端。
阅读全文 →10225 分尚无解读
Knuth reward check (thomas-huehn.com)
11241 分尚无解读
Nix wrote half of my debugger (fzakaria.com)
14192 分
食品加工在营养成分之外改变代谢和大脑反应
弗吉尼亚理工大学的一项研究发现，当热量和营养匹配时，高度加工食品会引发与最少加工食品不同的代谢和大脑反应，这表明食品加工本身会影响身体对食物的反应。
阅读全文 →
15208 分
数学家应该了解的Lean定理证明器：可靠性与AI
Lean定理证明器植根于类型理论，并得到名为mathlib的庞大形式化库的支持，它使得利用AI进行自动形式化取得了快速进展，而其内核中最近出现的可靠性错误凸显了持续验证和人工监督的必要性。
阅读全文 →
terrytao.wordpress.com
16177 分
切尔诺贝利“热粒子”在灾难四十年后表现出意外的稳定性
研究人员检查了1986年切尔诺贝利事故中释放出的六个微小放射性碎片，发现其中的核燃料保持了晶体结构，时间远超预期，表明其具有更高的化学稳定性，倾向于将裂变产物保持在基质内而不是快速释放到周围环境。
阅读全文 →
18413 分
弱密码 '123456' 导致丹麦CPR数据泄露事件影响 880 万人
调查发现，一家小型IT公司的弱密码安全使黑客能够在超过三周的时间内访问丹麦中央人登记系统（CPR），泄露与近900万公民相关的个人数据。
阅读全文 →19218 分尚无解读
Five months treating bugs like patients and coding agents like a medical team (cockroachlabs.com)
20142 分
Eurydice 在遗留验证环境中连接 Rust 和 C
Eurydice 编译器将 Rust 代码翻译为可读的 C 代码，同时保持程序结构，使得 Rust 程序可以在需要 C 进行验证或缺少 Rust 工具链的环境中使用。
阅读全文 →
22298 分
Apple的macOS UNIX认证反映了过时的规范和非标准配置
尽管Apple宣传每个新的macOS版本均为UNIX®认证，但OSnews的调查表明该认证依赖于过时的2004年UNIX规范，并且需要禁用关键的安全和系统功能，这意味着经过认证的版本与用户Mac上运行的版本不同。
阅读全文 →24278 分尚无解读
I would like the value of my home to rise, while my property taxes fall (conversableeconomist.com)
25173 分
面向 Rust 程序员的 C 语言：理解其特点与权衡
一位侧重 Rust 的程序员探讨了 C 语言的令人惊讶的细节——从其后来才加入的布尔类型和以 null 结尾的字符串，到平台相关的整数大小以及最小化的错误处理——展示了 C 的设计选择在哪些地方会导致陷阱以及如何规避它们。
阅读全文 →
28408 分尚无解读
Bitwarden Dual License Model (bitwarden.com)
30240 分
WSL3 在基准测试中相较于 WSL2 提供最高 61% 更快的内存带宽和更低的延迟
基准测试显示，WSL3 在内核级性能上提升了最高 61% 的内存带宽并降低了延迟，而在实际编译工作负载中，由于受到 CPU 限制，性能提升仅为适度。
阅读全文 →