First screen, captured . Open the video.
Captured . Click for the whole screenshot.
136 points by porridgeraisin | 155 comments
A LessWrong shortform comment by Arjun Panickssery arguing AI agents show poor research judgment in autonomous R&D side projects like a Scrabble engine and philosophy research.
60 points by GloVin | 76 comments
A Stork AI daily newsletter issue led by a report that Apple cut some engineers' daily AI spending cap to $200, plus other AI news items.
32 points by theorchid | 39 comments
A blog post listing frustrating problems the author encountered using Cursor's Composer 2.5 AI coding agent, such as unwanted deletions, broken tests, and ignored style rules.
156 points by adrianhoward | 90 comments
A reading note by Mandy Brown on what happens to people after the Peter Principle, drawing on Making a Career in Dictatorship and Bullshit Jobs, and on real imposters.
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
13 points by epestr | 7 comments
A short 2013 blog post by Sam Altman arguing that the most successful founders pursue a religion-like mission rather than setting out to build companies.
519 points by tosh | 201 comments
Qwen team blog post announcing Qwen3-Next, a model architecture aimed at improving LLM training and inference efficiency.
63 points by 6thbit | 41 comments
Nathan Lambert's Interconnects essay reviewing Artificial Analysis Intelligence Index v5 and the challenges of independent LLM benchmarking, including open vs. closed model gaps.
463 points by benbreen | 222 comments
Benjamin Breen's Res Obscura essay arguing quality non-fiction books counter AI slop, introducing a vibe-coded tool indexing prize-winning books.
445 points by wuubuu | 112 comments
arXiv paper by Andrew Gordon Wilson arguing deep learning generalization phenomena like benign overfitting and double descent are explainable by soft inductive biases.
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
21 points by jhuleatt | 20 comments
Official Next.js blog post announcing the Next.js 16.4 release and its new programming model addressing App Router frustrations.