Develata's Space

Appearance

科技新闻 2025-12-24 ​

韦伯望远镜发现流浪超大质量黑洞，揭示宇宙新奇现象；微软推进Rust替代C/C++，提升代码安全；npm恶意包Lotusbail窃取WhatsApp数据，引发安全警觉。

An initial analysis of the discovered Unix V4 tape 95 ​

  • Tags: Unix历史 操作系统 源码恢复 Linux内核 历史软件

  • Source: HackerNews | 阅读原文

[摘要]
发现并成功恢复1973年第四版研究型Unix磁带，包含完整源码与二进制，已纳入Unix历史仓库，重构代码并补全开发者信息。

Test, don't (just) verify 95 ​

  • Tags: 形式化验证 AI辅助证明 Lean 数学竞赛 机器证明

  • Source: HackerNews | 阅读原文

[摘要]
AI显著推动形式化验证普及，助力证明助手（如Lean）在IMO、Putnam等顶级数学竞赛及开放问题中取得突破，缓解缺乏形式规范与证明工程复杂性的核心挑战。

Lotusbail npm package found to be harvesting WhatsApp messages and contacts 95 ​

  • Tags: npm 恶意软件 安全漏洞 供应链攻击 WhatsApp

  • Source: HackerNews | 阅读原文

[摘要]
恶意npm包lotusbail伪装成合法WhatsApp Web API库，通过功能正常诱导开发者安装，窃取账号凭证、消息、联系人及媒体数据，并建立持久后门。

韦伯望远镜发现流浪超大质量黑洞 94 ​

  • Tags: 天体物理学 韦伯望远镜 超大质量黑洞 宇宙学

  • Source: Solidot | 阅读原文

[韦伯望远镜首次确认流浪超大质量黑洞，质量为太阳1000万倍，速度达1000公里/秒，拖拽20万光年尾迹并引发恒星形成]

Toad is a unified experience for AI in the terminal 92 ​

  • Tags: 终端工具 AI 编程 Markdown 渲染 ACP 协议 CLI 增强

  • Source: HackerNews | 阅读原文

[摘要]
Toad 是一款基于 ACP 协议的终端前端，整合多款 AI 编程代理（如 OpenHands、Claude Code），提供类 GUI 的交互体验，支持 Markdown 流式渲染、文件引用、模糊搜索、键盘/鼠标操作及完整 TUI 交互，显著提升 agentic coding 的终端体验。

Are We Loong Yet? 92 ​

  • Tags: LoongArch Linux内核 开源生态 自主可控 逆向工程

  • Source: HackerNews | 阅读原文

[摘要]
龙架构（LoongArch）已全面融入主流开源Linux生态，尽管官方手册未完全发布，但通过社区逆向工程实现广泛支持，推动其自主生态快速成型。

Classical billiards can compute (2d billiard systems are Turing complete) 92 ​

  • Tags: 数学 动力系统 图灵完备性 物理计算

  • Source: HackerNews | 阅读原文

[摘要]
二维弹球系统在拓扑克莱尼域理论框架下被证明具有图灵完备性，揭示了物理自然模型中存在不可判定轨迹。

Instant database clones with PostgreSQL 18 92 ​

  • Tags: PostgreSQL 数据库技术 架构创新 WAL 零拷贝

  • Source: HackerNews | 阅读原文

[摘要]
PostgreSQL 15引入WAL_LOG创建策略，实现零拷贝、低延迟的数据库模板克隆，解决大容量数据库复制时的I/O瓶颈问题。

微软计划到 2030 年用 Rust 代码替代所有 C 和 C++ 代码 92 ​

  • Tags: Rust 代码重构 AI辅助开发 系统编程 安全性

  • Source: Solidot | 阅读原文

[摘要] 微软计划至2030年用Rust重写全部C/C++代码，结合AI辅助工具实现大规模重构，目标为单工程师月产百万行安全代码。

Flock Exposed Its AI-Powered Cameras to the Internet. We Tracked Ourselves 92 ​

  • Tags: 安全漏洞 监控系统 AI摄像头 网络安全

  • Source: HackerNews | 阅读原文

[摘要]
Flock Condor AI cameras exposed unsecured livestreams and admin panels, enabling public access to real-time video, 30-day archives, and remote control of PTZ surveillance over people in public spaces.