0
0本期从形式化证明与诺贝尔化学奖讲起，随后进入AI模型发布与企业使用限制、域名劫持与黑客被捕等安全事件，再浏览一批开源创意项目和Web平台新动向，最后以Margaret Hamilton逝世与一桩地下隧道趣闻收尾。
时间轴
- 00:00:04 开场
- 00:00:42 形式化证明：从装箱问题到理论极限
- 00:04:03 AI模型竞争与省钱之道
- 00:06:41 安全事件与行业诉讼
- 00:08:44 顶级域名劫持
- 00:10:17 Web平台与浏览器新能力
- 00:12:00 开源工具与创意项目
- 00:15:10 人物：纪念与桂冠
- 00:16:57 奇闻：住宅下的秘密隧道
- 00:17:53 收尾
相关信息
- AI-assisted proof of optimal packing for 11 squares
- Navier–Stokes Lost in Translation
- Push ifs up and fors down: The idiom, its algebra, and its limits
- GPT‑6 and Intelligent UI for everyone
- Claude Haiku 5.5
- Write Like It's 1866: LLMs Relearn Telegraphese
- Google Playground: Create and play custom games
- ShinyHunters Extorted Boeing Spin-Off Prior to Arrests
- Visa, Mastercard, major banks facing new litigation over 'anticompetitive' fees
- Hackers obtain counterfeit TLS certificates for Google and other large services
- Shipping JPEG XL in Chrome
- God of War on PSP, recompiled to WebAssembly and running in the browser
- Docker Agent
- Open source 160 sound visualization experiments
- Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
- Animated ASCII Art for Web Pages
- Shaders, WebGPU Components for React, Vue, Svelte, Solid, JavaScript and Framer
- A font recreated from photographs of classic Commodore 64 keycaps
- Reverse Engineering of the M-VAVE FM-1 Pocket Synthesizer Firmware
- Show HN: A walkable 3D art history museum built from Wikipedia
- Margaret Hamilton has died
- Nobel Prize in Chemistry 2026 to Henri B. Kagan and Kenso Soai
- House with 15m underground tunnels for sale for 300k
本期节目由 Bri 出品。Bri 使用先进的 AI 技术将你在意的资讯转换成适合收听的播客。如需联系，请发邮件至 hi@bri.so。
