AI 与自动化
工具在走向“可执行”的工作流，研究在逼近严谨推理，社会对生成式 AI 的态度分化
- 聊聊被低估的 Notion Agent，迷人的自动化工作流：Notion AI 深度连接笔记与数据库，支持语义检索与直接操作内容。Notion Agent可按“文档即规则、数据库即记忆”执行多步骤任务，并支持场景路由与信息边界设计；未来的 Custom Agent 将支持自动后台运行。
- DeepSeek 发布开源权重数学模型，IMO 金牌水平震撼登场：以“验证器→奖励模型→生成器”闭环训练实现自我验证的数学推理，在 IMO/Putnam 等竞赛集上表现领先，开源权重有助于推动可检验的数学 AI。
- AI 刚刚攻克 Erdős 第124号难题：相关猜想的一些版本已被形式化系统（如 Aristotle、Lean）给出简洁证明，但整体问题仍未完全解决；研究涉及数位表示、完备序列与 Cantor 集等方向。
- 只搜 ChatGPT 公测前内容的搜索工具：Chrome/Firefox 扩展，利用谷歌 API 仅返回 2022-11-30 前的结果，尽量规避 AI 生成内容干扰，更聚焦人工原创信息。
- 《“阿凡达”导演詹姆斯·卡梅隆称生成式 AI“太可怕”》：卡梅隆称表演捕捉是“演员+导演”的艺术协作，不认同以文本指令生成表演的 genAI 路径，反映创意行业对 AI 的分歧。
科学与太空
火星气电现象首次被证实，星际彗星再启程；太空制造从验证走向规模化
- 我们在火星上发现了闪电：“毅力号”首次直接探测到火星闪电，来自尘卷风/风暴中的电荷积累与放电。结果将影响未来着陆器与载人任务的安全评估。
- 3I ATLAS：一颗星际彗星的“尾巴”传奇：3I/ATLAS 成分与尘埃排放与太阳系彗星相近，提示太阳系并不特殊。近日点后将于12月中旬最接近地球，随后离开不再回归。
- Varda：太空制造已被证实可行——下一步就是把它做成一件“无聊”的事：已完成药物晶体轨道制造并回收，目标是常态化返回与规模化生产；获得 FAA 许可并推进高超音速测试，正向更多高价值产品扩展。
平台与监管
监管趋于“风险为本”，平台与基础设施的外溢影响与地域可用性成为焦点
- 派早报：取款超 5 万将不再需要登记：新版尽调办法简化低风险客户流程、强化大额交易核查；空客召回约6000架 A320 因辐射干扰隐患；重申打击虚拟货币交易；北京将为外卖快递电动自行车发专用牌；特斯拉在印销量受关税与基建拖累。
- Bricklink 暂停 35 个国家/地区的市场运营：12月12日起暂停多国买卖，影响庞大用户与商家，官方仅称会定期评估，未给出明确原因。
- 俄勒冈数据中心或成推动癌症和流产激增的幕后推手：莫罗县饮水硝酸盐超标，报道指大型农场与数据中心抽取/排放水流程或加剧污染；亚马逊否认关联。公共健康风险与环保监管受关注。
- SmartTube 遭到入侵：官方 APK 制作设备被感染，版本 30.43/30.47 含恶意代码；已发布新版本 30.56 并更换签名。建议近期安装者恢复出厂、核查账号权限后从官方源重装。
开源与工具
从系统/桌面到底层驱动与运维挑战，开发者与高级用户可用工具面更广
- 使用反作弊系统的游戏及其与 GNU/Linux 或 Wine/Proton 的兼容性：跟踪主流游戏在 Linux 上的可玩状态与反作弊兼容性；信息可能滞后，具体游戏（如《黑色沙漠》）需指定 Proton 版本。
- 2025 运维降临节：12月1–12日的 Linux/DevOps 挑战，每日一题、按难度计分，注册可记分与排行。
- Trifold 是一款利用 CDN 快速、低成本托管静态网站的工具：面向静态站点的一键部署与缓存管理，现支持 bunny.net，存储/带宽约 $0.01/GB，支持自定义域名、SSL 与边缘函数重定向。
- 用 Google Chrome 取代我的窗口管理器：DoteWM 以 CEF 承载本地网页作为“桌面 UI”，用 JS/CSS 定制装饰与交互，降低自定义 WM 的开发门槛。
- Ly——一款轻量级 TUI（类 ncurses）显示管理器，适用于 Linux 和 BSD：Zig 编写，支持 X11/Wayland 与多种 init，配置简单、依赖少，适合极简环境。
- 适用于 Windows 2000 的 NVMe 驱动，面向 x86 和 Alpha AXP 双平台：基于 SCSI miniport 的 NVMe1.0 实现，支持基本读写与单队列；不含 MSI/MSI-X、电源管理等，适合实验用途。
- N体模拟器：可交互三体问题与引力物理：支持 Velocity Verlet 与 RK4、内置多种周期轨道，实时交互与能量漂移评估，便于学习与研究轨道稳定性。
- Myna – 专为编程设计的开源等宽字体，让符号更自然：优化箭头与符号的视觉节奏，降低代码阅读混淆，SIL 开源许可，适配编辑器与终端。
- Adobe 放大招！Photoshop 网页版免费一整年 (免信用卡 / 绿色免安装 / 无套路)：通过 Chrome 官方扩展可一年免费用 PS Web，含生成式填充、抠图、调色等核心功能；活动截至 2025-12-08，适合轻量创作与入门用户。