Anthropic Research Blog#
- Formalizing Fermat’s Last Theorem (2026-09-04)
OpenAI News#
- Daybreak 前线防御者计划 (2026-09-03)
- GPT-6 Astra: A new generation of intelligence (2026-09-03)
Cursor Blog#
- How Basis builds long-horizon accounting agents with Cursor (2026-09-04)
Hugging Face Blog#
- VLM Run Gateway: Run open-weight OCR, VLM and vision models behind one API (2026-09-04)
Simon Willison Blog#
- OpenAI’s rogue agents were caught communicating via public wikis (2026-09-04)
- The Pelican comparison grid for Astra is pretty interesting (2026-09-04)
Armin Ronacher Blog#
- Latent Powers (2026-09-05)
Rob Zolkos Blog#
- HEY, watch this! (2026-09-04)
量子位#
- 押中SpaceX的硅谷老将,把票投给了一家中国世界模型公司 (2026-09-05 22:55:31)
- 陶哲轩吐槽GPT-6孪生素数新突破:令人无语的一幕 (2026-09-05 12:50:22)
- 世界生成模型来了3D头部玩家,可进入生产管线的场景级生成时代来临! (2026-09-03 18:18)
- 陈大年复出,入局大模型 (2026-09-03 18:13)
- 姚班校友主导,Claude攻克费马大定理首个完整形式化证明 (2026-09-05 09:50:20)
C++ Blog#
- Why We Should Double-Check the AI Output: A Bug Which Wasn’t (2026-09-04 10:16)
Hacker News#
- The “$60 Gaming PC” – AMD BC-250 (2025) (2026-09-05 13:36:38)
- How the Planet-Altering Disaster of “Forever Chemicals” Was Kept Secret (2026-09-05 14:40:52)
- .gitignore Everything by Default (2026-09-05 13:19:42)
- Global warming will exceed 1.5-degree limit, UN says (2026-09-05 13:02:14)
- Claude’s new system prompt doesn’t want to reproduce song lyrics (2026-09-05 10:32:09)
- A Million Falcons Went Missing. Here’s How They Were Found (2026-09-02 18:19:53)
- Meet the Ig Nobel Prize Winners (2026-09-05 14:02:44)
- A bizarre Commodore 64 peripheral, a mime, and some pretty bad ads (2026-09-05 12:23:51)
- Poetry book that Anthropic tried to censor (2026-09-05 15:04:50)
- Write Software in Latin (2025) [video] (2026-09-03 02:53:46)
- Rebuilding a 1995 GPS Time Server so I don’t get Telstra’d (2026-09-05 15:22:02)
- There’s No Limit to How Bad Code Can Get (2026-09-05 14:13:22)
- Sky Map 2000 – Star Atlas and Planetarium (2026-09-03 11:20:47)
- Netherlands pulls gold out of the US for fears of ‘geopolitical unrest’ (2026-09-05 10:14:28)
- ‘Fakers’ by Rory Cormac Review (2026-09-03 19:10:21)
- Pushdown automata in statistical machine translation (2014) (2026-09-02 21:53:23)
- AI handles incidents, engineers lose touch with their systems (2026-09-05 07:52:50)
- Kale: A Transformation-Safe Spreadsheet System (2026-09-01 01:42:30)
- Pointing at the error: compiler-style diagnostics in uutils coreutils (2026-09-02 12:05:05)
- Git hosting that never leaves Europe (2026-09-05 06:31:49)
- Why are European countries moving their gold out of North America? (2026-09-05 05:52:09)
- I Want a Wife (1971) [pdf] (2026-09-01 22:34:32)
- GPT-6 Astra in code review: Gains, privacy, and cost (2026-09-05 03:38:56)
- The Highest Point in the Netherlands (2026-09-02 14:58:44)
- Artificial Analysis Intelligence Index v4.2 (2026-09-05 00:04:14)
- Portal by Spotify cut my Claude Code token usage by 90% (2026-09-04 23:38:50)
- Git Submodules as a Package Manager (2026-09-01 09:36:10)
- Ask HN: Resources to get good at soldering? (2026-09-02 09:24:11)
- Show HN: TERMy – A fast terminal assistant that does not use LLMs (2026-09-04 09:03:00)
- Show HN: Moadim.io – A scheduler for agents (2026-09-04 23:50:29)
- ExactTex. A gradually-typed superset of LaTeX (2026-09-01 13:19:48)
- Connecting every app to every other app (2026-09-04 23:09:59)
- Nitter has more working instances than before the takedowns (2026-09-05 00:04:16)
- Actively exploited sandbox RCE in all Chromium versions (2026-09-04 21:52:01)
- Formalizing Fermat’s Last Theorem (2026-09-04 18:42:56)
- Statichost.eu – European static site hosting (2026-09-04 20:34:49)
- GPT-6 Astra on OpenRouter (2026-09-04 21:39:19)
- Can AI design circuit boards yet? (2026-09-04 19:48:29)
- Shutting down our public encrypted DNS (2026-09-04 18:50:28)
- An open DNS recursive service for free security and high privacy (2026-09-04 20:13:08)
- Show HN: Open-Source eInk Bike Computer (2026-09-04 17:18:08)
- RSA-260 Factorized (2026-09-03 05:35:31)
- Government Rails Site Hit Hours After CVE Patch (2026-09-04 19:06:39)
- Record-High 89% in U.S. Say Government Corruption Widespread (2026-09-04 22:03:16)
- The Rust React Compiler is now native in Vite (2026-09-04 17:49:09)
- Fermat’s Last Theorem in Lean 4 (2026-09-04 18:57:32)
- Can guitar frets perform multiplication? (2026-09-04 22:40:30)
- Decompiler Explorer (2026-09-01 22:33:15)
- Updates on HEIR, the Homomorphic Encryption Compiler Project (2026-09-04 21:16:16)
- Solving the Jane Street reverse engineering challenge (2026-09-04 10:17:01)
- deSEC – Free Secure DNS (2026-09-04 15:38:58)
- How to Create a Tor Exit Node (2015) (2026-09-04 20:16:22)
- Icons as a Service (2026-09-04 21:44:59)
- The Wormhole Hall of Shame (2026-08-31 18:10:01)
- Adult Film Producer Unmasks Prolific ‘John DOE’ Torrent Pirate as Meta Executive (2026-09-04 16:46:59)
- Project HydraFusion: Frontier quality via multi-model orchestration (2026-09-04 16:24:50)
- “Next-token predictor” is the wrong mental model for LLMs (2026-09-04 17:09:24)
- Fomu An FPGA board that fits inside your USB port (2026-09-02 09:48:48)
- Christmas Village shoppers no longer will be allowed to enter booths (2026-09-04 22:39:22)
- Deadpan Photography: Enjoying the Pretence (2026-09-01 00:59:37)
- Google AI Mode shows same products 21.6% more expensive than traditional search (2026-09-04 11:59:15)
- The Two Abstractions of System Design: Hide or Reduce (2026-09-02 11:54:14)
- Ok, but Does It Scale? (2026-09-04 12:42:08)
- GMails custom domain “send as” discontinues January 2027 (2026-09-04 15:03:03)
- Top Pentagon Official Contracted Personal Lawyer to Handle Minerals Deal (2026-09-04 13:54:26)
- Nearly impossible? How Fairphone built the ethical, repairable Fairphone Gen 6+ (2026-09-04 12:43:49)
- US Military disables ad trackers on troops’ phones (2026-09-04 13:44:14)
- IBM Bob (2026-09-04 12:50:29)
- Higher social class predicts increased unethical behavior (2026-09-04 14:02:50)
Github Trending#
- humanlayer/skills: No description
- WorldFlowAI/everything-claude-code: Claude Code toolkit - agents, commands, skills, rules, and hooks for productive AI-assisted development
- BraveOPotato/FckSignups: A list of tools that are open-source, in-browser, and require no-signups!