First screen, captured . Open the video.
Captured . Click for the whole screenshot. The page is longer than 25,000px, so the screenshot stops there: read the rest on perplexity.ai ↗
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.
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.
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.
69 points by sevenseacat | 53 comments
Blog post by Devon Estes on engineering practices once considered bad ideas, like skipping peer code review, that now work well because AI tools have changed their costs.
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.
12 points by tylerelton | 1 comments
A tutorial blog post walking through decoding REXPaint's gzipped .xp ASCII art file format using the Odin programming language.
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.
334 points by Cynddl | 333 comments
arXiv paper finding that fine-tuning language models to be warm and empathetic raises error rates and makes them more sycophantic on safety-critical tasks.
116 points by flxflx | 50 comments
Privatemode AI blog post describing how to prompt GLM-5.3-Flash so its first output token gives a decision in a single forward pass, benchmarked against Jev and Laya.
393 points by serjester | 230 comments
Blog post by Sergey Filimonov arguing AI agents should prioritize reliability over expanded capability, critiquing flight-booking demos.
549 points by chmaynard | 134 comments
Rachel Thomas blog post on how a high-profile Nature paper using a Transformer to predict enzyme functions contained many errors that received far less attention than the original result.
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.