Featured · 头条
The Check Is the Product
Eleven days. Claude ran nearly unattended for eleven days and produced a Lean formalization of Fermat's Last Theorem: 13 million lines, 29,511 intermediate theorems, every one of them in the public repo verified. That is more than five times the size of Mathlib, the shared mathematics library, and the largest Lean art…
Ideas Radar: 2026-09-13
Two demand shapes carried this window. The first is the filter that has quietly moved in front of every funnel: when a p…
Sep 13, 2026
Loop Daily: 2026-09-13
The open version of the loop got its paper today, and it says what made it work: 100-plus people and their agents spent …
Sep 13, 2026
Latest · 最新
Sep 13, 2026
Super User Daily: 2026-09-13
The single most important number today is eleven days: Claude ran nearly unattended for that long and produced a machine-checkable Lean formalization of Fermat's Last Theorem, 13 m…
Sep 13, 2026
DeskcommCRM Is a WhatsApp Sales Team That Ships Twice a Day
DeskcommCRM took 505 stars in a day and is at 1,761 total, which is a decent trending run, but the number that actually made me look was the release history: v1.18.0, v1.18.1 and v…
Sep 13, 2026
worktrunk Quietly Became a Platform Because Everyone Runs Five Agents Now
max-sixty/worktrunk is a CLI for managing git worktrees, built for parallel AI agent workflows. It's at 7,198 stars, it trended again on GitHub with 137 stars in a day, and it ship…
Sep 13, 2026
Predict the Concept, Not the Token
Top of Hugging Face's daily papers with 231 upvotes: NCP-ArchPreview, from the Intern-NCP team, 27 authors, submitted September 9. Paper at https://arxiv.org/abs/2609.10715 . The p…
Sep 13, 2026
On Real Company Code, the Best Agent Scores 38.8%
A benchmark called Real-SWE went up at https://withspecific.com/real-swe and the headline number is going to annoy a lot of people: the best model on the board resolves 38.8 percen…
Sep 13, 2026
He Tried Three Ways to Beat LRU on Real Agent Traces and Lost All Three
Somebody replayed 68,266 real requests from 393 Claude Code sessions plus 23,608 Mooncake requests through a prefix-cache simulator, tried three separate ways to beat plain LRU evi…
Sep 13, 2026
Google Made Every Search Result Cost You an Extra Request
Google search results no longer contain the URLs of the things they link to. They contain google.com/goto?url=... links where the url parameter is encoded with something proprietar…
Page 1
Older →
Hiring · 招聘
New positions at AI agent companies, tracked as they open.
Glean
Technical Recruiter, Early Talent
Anthropic
Technical Architect
Anthropic
Strategic Projects Lead, Recruiting
Anthropic
Staff Software Engineer, Search
Anthropic
Senior Engineering Manager, Capacity Engineering
Supabase
Engineering Manager, Billing