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 frozenseven | 48 comments
Q Labs research post presenting a data-constrained scaling law with ensembling that prescribes far larger transformer models, up to quadrillion parameters, for fixed datasets.
92 points by sebg | 59 comments
Ben Recht's arg min blog post on the history of defining algorithmic efficiency, critiquing OpenAI's claimed subexponential SAT algorithm as galactic.
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.
8 points by calvinfo | 0 comments
Restate blog post introducing Durable Coroutines in its TypeScript SDK, using generators and a deterministic scheduler for low-overhead fault-tolerant agent workflows.
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.
546 points by fagnerbrack | 213 comments
A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.
62 points by practal | 53 comments
A Xena Project blog post by Kevin Buzzard's group on how to formalize all of mathematics using the Lean theorem prover.
747 points by wrxd | 581 comments
A closed GitHub pull request to matplotlib by user crabby-rathbun proposing to replace np.column_stack with np.vstack().T for performance.
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
59 points by alex_hirner | 11 comments
GitHub repository for PySR, an open-source library for symbolic regression and equation discovery in Python with a Julia backend.
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.