2026年7月30日的新闻

OpenAI News

  1. 开启两项设置后，我们在 ARC-AGI-3 基准测试中的得分增至三倍 (2026-07-29)
  2. Accelerating scientific discovery with ChatGPT for Academic Researchers (2026-07-29)
  3. GPT-5.6 如何兼具前沿智能与前沿效率 (2026-07-29)

Cursor Blog

  1. How we set up our cloud agent environment (2026-07-30)

DeepMind Blog

  1. We’re launching Lyria 3.5 in Google Flow Music, with advances across musicality, lyrics, vocals, and creative control (2026-07-01)
  2. Gemini Robotics 2 brings whole body intelligence to robots (2026-07-01)
  3. Gemini Robotics ER 2: powering robotics with video understanding, task orchestration, and multi-robot collaboration (2026-07-01)

Hugging Face Blog

  1. mDenseOn with the mLateOn: Open Multilingual, Long-Context, and Code Retrieval Models (2026-07-30)
  2. VisionPsy-Nano: State-of-the-Art On-Device Vision-Language Models (2026-07-29)
  3. LettucePrevent - Real-Time Prevention of Factual Hallucinations in RAG (2026-07-29)

Martin Fowler: Exploring Gen AI

  1. The Economic Benefit of Refactoring (2026-07-30)

BaoYu Blog

  1. 从 TL 到 EM：我终于不再盯着 AI 写代码了 (2026-07-29)

The Pragmatic Engineer

  1. Formal methods with Hillel Wayne (2026-07-29)

量子位

  1. GPT-5.6自己优化自己实锤了，新的左脚踩右脚已经出现 (2026-07-30 16:50:21)
  2. 李飞飞的世界模型，终于开始训练机器人了 (2026-07-30 16:50:21)
  3. 全球首个Agentic扩散模型来了：边行动边纠错，128K上下文追平自回归 (2026-07-28 12:18)
  4. “接力跑”盘活全国算力，PD分离终于破局：延迟砍半、成本直降近40%！ (2026-07-30 14:25:24)
  5. 传奇AlphaFold团队全员解散！诺奖得主投奔Anthropic，资源转向Gemini (2026-07-30 14:24:24)
  6. WorkBuddy重大升级，AI时代的Office来了 (2026-07-30 13:50:24)
  7. 这这这…翁荔光速回OpenAI上班了 (2026-07-30 08:50:24)

C++ Blog

  1. Elements of Concurrency (2026-07-29 13:31)

Hacker News

  1. Gemini Robotics 2 brings whole body intelligence to robots (2026-07-30 15:15:48)
  2. SDL_GPU minimal, single-header, high-performance 2D graphics painting library (2026-07-30 14:36:59)
  3. The Lost Civic Life of Movie Rental Stores (2026-07-30 14:11:42)
  4. Paging Through a Parquet File in DuckDB: File_row_number or Offset? (2026-07-30 14:58:07)
  5. The Economic Benefit of Refactoring (2026-07-30 15:10:27)
  6. Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools (2026-07-30 13:29:03)
  7. Hacker Public Radio (2026-07-30 14:29:27)
  8. Git worktrees are not an isolation boundary for coding agents (2026-07-30 14:18:52)
  9. RFC 8890 – The Internet is for End Users (2020) (2026-07-30 13:07:53)
  10. Why Don’t People Use Formal Methods? (2019) (2026-07-30 12:21:34)
  11. Trusted URLs via Cryptographic Signatures (2026-07-30 14:31:13)
  12. Building a native C# implementation of CEL engine (2026-07-27 20:01:07)
  13. Why Is Everyone Trying to Build a Solid-State Battery? (2026-07-30 12:38:51)
  14. The Alice and Bob After Dinner Speech (1984) (2026-07-27 09:39:16)
  15. Are We Stuck with Lean? (2026-07-30 11:45:01)
  16. Upper stage impacting the moon on 2026 August 5 (2026-07-30 13:21:34)
  17. Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (2026-07-30 11:55:39)
  18. Why DNA damage from smoking and UV rays cause cancer in some but not others (2026-07-30 14:15:19)
  19. 3D Pinball for Windows (1995) (2026-07-30 11:23:12)
  20. CosmosEscape: Taking over Every Database in Azure Cosmos DB (2026-07-30 12:13:42)
  21. You can’t solve computer use by ignoring the interface (2026-07-30 11:28:51)
  22. GCC steering committee announces AI policy (2026-07-30 11:45:44)
  23. Gpiozero Flow (2026-07-30 10:32:41)
  24. Carolina Cloud pays SOFR on unused prepaid credits (2026-07-30 09:28:01)
  25. Ron Gilbert started production on Thimbleweed Park 2 (2026-07-30 08:10:33)
  26. Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (2026-07-30 09:34:27)
  27. Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (2026-07-30 12:01:05)
  28. Azulejo (2026-07-28 20:29:03)
  29. The first watch featuring computer functions (2026-07-26 11:46:32)
  30. The Glass Famine (2026-07-27 14:18:23)
  31. Google will expand age checks on Android worldwide till the end of the year (2026-07-30 10:13:46)
  32. ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms (2026-07-30 11:30:34)
  33. The Apple Calculator Language (2026-07-30 08:44:30)
  34. Concurrency, interactivity, mutability, choose two (2026-07-27 06:38:54)
  35. ESP32-C6 Power Consumption: Arduino vs. Zephyr vs. ESP-IDF Comparison (2026-07-25 18:27:41)
  36. Why the future is local app (2026-07-30 03:44:38)
  37. London’s most equidistant pub (2026-07-25 14:08:57)
  38. 1,741 “informed” consents with one click? GDPR complaint filed (2026-07-30 05:33:30)
  39. Logic for Programmers (2026-07-30 00:51:39)
  40. I timed 7,194 journeys to find London’s most equidistant pub (2026-07-25 14:08:57)
  41. NSF pilots 4-year PhDs with industry research placements (2026-07-30 02:55:21)
  42. The Productivity Mirage (2026-07-29 23:18:11)
  43. Kuna: Decompiler Development in the Age of Coding Agents (2026-07-30 02:41:16)
  44. Logic for Programmers by Hillel Wayne (2026-07-30 00:51:39)
  45. Angels in Coptic Magic I: Introduction (2026-07-26 18:57:36)
  46. Thanatos Rising (2026-07-26 05:00:46)
  47. Show HN: A local merge queue for parallel Claude Code agents (2026-07-30 00:20:16)
  48. Recursive Filters: SMA, EMA, Low‑Pass, and a Tiny Kalman (2026-07-28 06:11:18)
  49. Flume Water Monitor 915 MHz Security Is Pretty Good (2026-07-30 01:27:12)
  50. The coolest use for the Vision Pro (2026-07-29 20:39:40)
  51. AI’s top startups are barely publishing their research (2026-07-29 21:25:40)
  52. Superlogical (2026-07-29 15:41:33)
  53. Keychron announces first open-source firmware for gaming mice (2026-07-29 16:36:59)
  54. The Cold Email (2026-07-29 21:06:42)
  55. Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident (2026-07-28 20:28:33)
  56. Kimi K3-256k (2026-07-29 19:25:33)
  57. GitHub is the wrong shape for this new world (2026-07-29 22:27:09)
  58. A Trampoline (2026-07-29 20:14:36)
  59. SalesPatriot (YC W25) Is Hiring FDEs (2026-07-29 21:01:01)
  60. A.I. companies are recruiting electricians and carpenters by the thousands (2026-07-29 14:43:47)
  61. Staging patches with git add (2024) (2026-07-25 15:44:34)
  62. Turning a dumb AC unit smart (without losing my security deposit) (2026-07-29 18:28:51)
  63. Refactoring cuisine: how an Iraqi stew sailed to Singapore (2026-07-26 22:18:42)
  64. Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC) (2026-07-29 22:53:44)
  65. Show HN: CheapFoodMap – A map of good meals under $10 (2026-07-29 16:59:52)
  66. Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals (2026-07-29 18:57:10)
  67. Launch HN: Tokenless (YC S26) – Automatic model switching to save money (2026-07-29 15:55:27)
  68. Interconverting Std:Function with Copyable_function (2026-07-27 05:39:33)
  69. Some thoughts about Anthropic’s new cryptanalysis results (2026-07-29 16:42:20)
  70. How to think about software quality (2022) (2026-07-29 18:42:10)
  71. LLM Honeypot (2026-07-29 22:51:03)
  72. Hamburg’s Stadtpark: A Park Built to Be Used (2026-07-27 06:23:46)
  73. The Rust on ESP Book (2026-07-25 13:15:41)
  74. Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution (2026-07-29 14:38:35)
  75. Handbook.md shows that long policy documents do not reliably govern agents (2026-07-29 13:01:57)
  76. Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac (2026-07-29 15:05:43)
  77. Apple should be ashamed of its hostile App Store rating system (2026-07-29 15:29:37)
  78. Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem (2026-07-29 12:48:18)
  79. Hunter-gatherers introduced fish to a mountain lake 7000 years ago (2026-07-27 00:58:45)
  80. Darktable (2026-07-29 12:33:02)
  81. Hugging Face: Anatomy of a frontier-lab agent intrusion (2026-07-29 15:01:52)
  82. PostgreSQL’s MVCC is bad. So is everyone else’s (2026-07-29 14:58:17)
  83. Disrupting supply chain attacks on NPM and GitHub Actions (2026-07-29 12:11:18)
  84. GPT-5.6 vs. Claude Fable 5 for Physical AI, which performs best? (2026-07-29 14:56:28)
  85. A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT) (2026-07-29 12:40:13)
  86. TokenTown: A visual way to understand how LLMs work (2026-07-29 13:05:17)
  87. Show HN: Write, simulate and synthesize VHDL/Verilog in the browser (2026-07-23 15:22:34)
  88. Show HN: Qwen Scribe – local transcription and dictation for Apple Silicon (2026-07-29 14:47:22)
  89. Cesium DevCon 2026 talks are up, including a keynote from SQLite’s creator (2026-07-29 15:13:25)
  90. A.I. Companies Are Recruiting Electricians and Carpenters by the Thousands (2026-07-29 14:43:47)
  91. Graph Engineering Needs a Compiler (2026-07-29 14:32:23)
  92. San Francisco: Don’t Fall for Industry Defense of Surveillance Pricing (2026-07-29 12:55:50)
  93. Valve Sponsors Work Bringing Open-Source RADV Driver to Windows (2026-07-29 13:55:00)
  94. ALP: Adaptive lossless floating-point compression (2026-07-25 20:42:05)
  1. agavra/tuicr: a code review TUI with vim keybindings