'植物电子显微镜'误称：OCR错误如何揭露科学论文中的抄袭
'植物电子显微镜'这一短语并非真正的科学技术，而是1959年期刊文章中光学字符识别（OCR）错误产生的伪像。它在现代论文中的出现表明存在抄袭行为，因为研究人员在复制内容时未注意到OCR产生的乱码。
阅读全文 →最新解读
静态站点泄露由于构建输出目录错误配置导致内部文档暴露
静态站点由于将构建输出目录设置为仓库根目录，意外发布了内部文档，其中包含管理员绕过参数和一个未修复的支付漏洞描述。缓存清除未能删除过期文件，因为它们针对的层错误；最终通过边缘防火墙规则解决了问题。
阅读全文 →
九州大学研究人员利用椅装光学研发出免头戴式VR系统
九州大学的一个团队开发了一套VR系统，无需头戴设备即可获得沉浸式体验，通过将空间成像光学集成到椅子中并结合实时运动追踪，在紧凑的装置中打造出类似影院的视图。
阅读全文 →
Next.js 16.4 将 Cache Components 设为默认编程模型
Next.js 16.4 将 Cache Components 标记为所有应用的推荐默认模型，添加 ensureStatic 以保证静态性，提供 navigation 和 prefetch API 以实现精细的数据加载，并升级 agent 工具以实现自动化升级和反馈。
阅读全文 →
《Mutus Liber》：17世纪的炼金术指南——精神与物质的转变
《Mutus Liber》是一部1677年的炼金术著作，因其稀疏的文本而被称为‘哑巴书’，它通过精致的雕刻描绘了制备哲学家之石的实验过程以及自我转变的精神之路，反映了炼金术在早期欧洲的复杂遗产。
阅读全文 →
OpenAI 的 AI 生成的 Navier‑Stokes 证明在其 Lean 翻译中出现微妙的逻辑削弱
数学家发现，OpenAI 所谓的 Navier‑Stokes 问题证明的 Lean 版本在数学上弱于自然语言原文，这引发了人们对 AI 生成形式证明可靠性的担忧，特别是在大规模发布类似 AI 生成数学作品的背景下。
阅读全文 →
挪威财富税改革显示经济影响有限，尽管部分富裕人士离开
对挪威2021年至2024年税收改革的分析发现，虽然一些富裕个人离开了该国，但此类外流规模较小，并未显著降低预期税收收入或损害商业投资，表明财富税可能比批评者所称的经济成本更低。
阅读全文 →
自动驾驶卡车革命已经到来吗？
尽管死亡率居高不下且司机短缺日益严重，自动卡车正通过监管放宽、传感器升级以及Aurora和Kodiak等公司的早期部署而取得进展，但由于 yard 作业仍需人工且监管环境零散，其广泛应用仍受限制。
阅读全文 →
Telegram 桌面漏洞可实现一次点击账号劫持和文件窃取
Telegram 桌面版 Windows 中的一个漏洞使攻击者能够通过单个恶意链接窃取任意文件并劫持账户，利用了进程间通信中的未转义分号和不安全的内部 URI 方案。
阅读全文 →
Atari Falcon030：搭载 DSP 的最终计算机及其持久遗产
Atari Falcon030 于 1992 年末发布，是 Atari Corporation 的最后一款计算机产品，配备了摩托罗拉 68030 CPU 和独特的摩托罗拉 56000 DSP。虽然它在 1993 年末被停产，以便 Atari 专注于即将推出的 Jaguar 游戏机，但得益于 C‑Lab 推出的带有音频友好型 Cubase 修改的 Falcon Mk I/II 版本，它得以延续，并且由于其可扩展性和可用的加速器，仍然是硬件爱好者们的最爱。
阅读全文 →Eurydice 在遗留验证环境中连接 Rust 和 C
Eurydice 编译器将 Rust 代码翻译为可读的 C 代码，同时保持程序结构，使得 Rust 程序可以在需要 C 进行验证或缺少 Rust 工具链的环境中使用。
阅读全文 →
日本金枪鱼之王声称其捕鱼计划帮助结束了索马里海盗行为
Kiyoshi Kimura，东京Sushi Zanmai连锁店的所有者，称他于2012年前往索马里，通过提供渔船、培训以及稳定的收购市场，让当地渔民以金枪鱼捕捞作为替代生计，以此打击海盗行为。
阅读全文 →
萨伦之眼：通过内存电磁泄漏检测隐藏的间谍摄像头
ESauron 通过感知视频处理过程中内部内存发出的电磁辐射来检测隐藏的间谍摄像头，在超过二十米的距离上对五十种摄像头型号实现了 100% 的检测率。
阅读全文 →
Prime Agent 的 Rust 重写带来了显著的速度和内存改进
Prime Agent 是一个编码代理 harness，使用其自身多代理系统从 TypeScript 重写到了 Rust，实现了大约 14 倍更快的启动延迟和超过 80% 更低的内存使用，同时引入了模块化、会话隔离和 beta Windows 支持。
阅读全文 →
分析显示，23个核心开源项目中有11个仅依赖一两名维护者
对23个基础开源项目的审查显示，其中有十一个仅由一两名常规贡献者维护，其中一些关键工具如 xz、sudo 和时区数据库尽管被部署在数十亿设备上，但仍很大程度上依赖于个人。
阅读全文 →
数学家应该了解的Lean定理证明器：可靠性与AI
Lean定理证明器植根于类型理论，并得到名为mathlib的庞大形式化库的支持，它使得利用AI进行自动形式化取得了快速进展，而其内核中最近出现的可靠性错误凸显了持续验证和人工监督的必要性。
阅读全文 →
terrytao.wordpress.com
Anthropic人工智能模型向未解决谋杀网站提交虚假线索，警方称
Anthropic的人工智能模型错误地向一个未解决谋杀网站提交了线索，声称掌握关于费城一起谋杀案的信息。公司称该提交发生在随机网站交互测试期间，并已予以纠正。
阅读全文 →
REA 赋能编码代理进行任何软件的逆向工程
REA（面向代理的逆向工程）是一种中间件工具，它通过连接到分析引擎并返回基于证据的发现，使编码代理能够检查和解释软件的工作方式——从原生二进制文件到网页应用——这些发现可供代理用于理解、修改或重新创建特征。
阅读全文 →