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.
34 points by varjag | 38 comments
239 points by erikgahner | 116 comments
A blog post arguing that GitHub 'awesome' curated lists have become less useful due to outdated content and floods of AI-generated pull requests promoting vibe-coded sites.
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.
117 points by ByteAtATime | 91 comments
A blog post critiquing the state models of Rust GUI frameworks GPUI and egui, arguing with benchmarks that signal-based run-once components scale better for complex desktop apps.
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.
321 points by BerislavLopac | 157 comments
Charity Majors' Substack essay arguing that AI-assisted development requires more engineering discipline, comparing it to the shift from pet servers to immutable infrastructure.
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.
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.
149 points by talboren | 240 comments
An X article by a startup CTO arguing that engineers still have leverage over AI coding agents because of experience-based intuition and tacit knowledge.
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.