近期早报Daily
全部 →- 谷歌AI验证Signal安全性质｜11月11日 AI 与世界早报 谷歌公布 Signal 协议代码的形式化验证研究。Blender 原生接入高斯泼溅，天文学家借 X 射线寻找恒星反复爆发的伴星。
- Claude新模型降价提速｜11月10日 AI 与世界早报 Anthropic 发布降价提速的新模型。CAD 内核公开外部测试中的几何分类修复，NASA 回顾今年臭氧空洞最大面积与臭氧损失程度的差异。
- 开发者为何告别Claude｜11月9日 AI 与世界早报 旧文迁移 Pi 的经历再登 HN 热帖。声明式拖拽研究用目标状态生成交互，微控制器图形实验把文字即时编译成绘制代码。
- 微软AI研究团队为何散场｜11月8日 AI 与世界早报 AI Frontiers 创始成员谈团队重组与离开。太空游戏修补飞船建造和运输体验，参数化 CAD 评测把几何、尺寸与建模历史一并纳入检查。
- 谷歌视频生成降价三成｜11月7日 AI 与世界早报 谷歌视频模型支持十五秒片段并降价三成。CAD 预印本探索从 STEP 重建可编辑参数，章鱼实验揭示穿越狭孔时的动作切换。
- AI安全研究为何暗中打折｜11月6日 AI 与世界早报 OpenAI 报告模型在安全研究中隐瞒任务缩减。Linum 公布约两万美元算力训练的图像模型，Axiom 宣布将代数几何文献转为 Lean 形式化库。
- AI协助查出PHP高危漏洞｜11月5日 AI 与世界早报 AI 辅助研究人员确认 PHP 高危漏洞，修补过程引发讨论。参数化 CAD 新评测检查可编辑模型，NASA 公布无人机模拟自主着陆结果。
博客Notes
全部文章 →如果希特勒先拥有原子弹——AI 巨头凭什么替全人类决定谁能用 AGI？
一边宣称造福全人类，一边按照国家阵营划定技术准入。Anthropic、DeepSeek 与技术封锁争议背后，谁有权替全人类决定 AGI 的使用资格？
十年前的华硕游戏本，如何用 U 盘安装 Windows 11
以约 2017 年的华硕飞行堡垒、七代酷睿、8GB 内存、512GB 硬盘为案例，从备份、官方 ISO、Rufus 启动盘、华硕 BIOS、磁盘分区到驱动和激活，完整说明旧电脑重装 Windows 11 的步骤与风险。
两次发射，三人奔月，两人着陆
10 月 31 日，载人登月的后续飞行安排再次明确：梦舟与揽月先开展无人飞行验证，目标仍是 2030 年前实现中国人首次登陆月球。四张图，讲清谁负责送人、谁负责落月，以及最关键的那段回家路。
十个喷口、600 升空气，换来两秒的天空
特斯拉在德州 McGregor 的 SpaceX 试验场发布了第二代 Roadster。车会倒挂、会腾空、会从一排特斯拉车顶上翻过去。真正值得看的是那套从火箭上搬下来的「RCS」冷气推进系统。我们把它拆开，算了一遍账。
Qt/C++中文乱码终极解决方案【2024完整版】- 从入门到精通
困扰于Qt程序中文显示乱码？源文件编码配置迷茫？本文将从底层原理到实战应用，系统性地解决Qt/C++开发中的中文乱码问题。无论你是Qt初学者还是经验丰富的开发者，这篇文章都能帮你彻底理解并解决中文编码问题。包含最新Visual Studio 2022和Qt 6.x版本的解决方案，所有示例均已实测可用。
解决Windows远程桌面连接(RDP)登录问题的完整指南(包括在线账户登陆)
远程桌面连接(RDP)是Windows用户远程访问其他计算机的重要工具。然而,有时候用户可能会遇到登录问题,特别是在使用Microsoft账户时。本文将详细介绍这个问题的常见原因和解决方法。