Lean Grimoire(terrytao.wordpress.com)
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.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Variable-width Bézier curves (2025)(luthert.web.illinois.edu)
26 points by leduyquang753 | 7 comments
A blog post by Luther Tychonievich explaining how to draw variable-width (pressure-sensitive) Bézier curves with current 2D graphics APIs for board-work tablet apps.
I struggle to believe that AI R&D is ingenious(lesswrong.com)
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.
Did Life Begin in an RNA World?(quantamagazine.org)
73 points by acossta | 46 comments
Quanta Magazine explainer by Philip Ball on the RNA world hypothesis for the origin of life, covering ribozymes, self-replicating RNA experiments, and open problems.
Awesome repositories are no longer awesome(erikgahner.github.io)
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.
Petered(aworkinglibrary.com)
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.
Related stories
Stop Using JWTs(gist.github.com)
455 points by dzonga | 265 comments
A GitHub Gist arguing that JWTs should not be used for keeping users logged in and that regular cookie sessions are a better, more secure choice.
Write more "useless" software(ntietz.com)
819 points by greenSunglass | 239 comments
Blog post arguing that writing playful, "useless" software like the Hurl language is a valuable way to explore and enjoy computing.
Mistral releases Devstral2 and Mistral Vibe CLI(mistral.ai)
707 points by pember | 321 comments
Mistral AI announcement of Devstral 2, open-source agentic coding models, and the Mistral Vibe CLI coding agent.
Google is dead. Where do we go now?(circusscientist.com)
980 points by tomjuggler | 778 comments
A Circus Scientist blog post arguing that Google is no longer useful and asking where creators and small businesses should turn next.
No right to relicense this project(github.com)
412 points by robin_reala | 271 comments
GitHub issue by Mark Pilgrim, original author of chardet, objecting that maintainers have no right to relicense the LGPL project in release 7.0.0.
Instead of “auth”, we should say “permissions” and “login”(ntietz.com)
560 points by tambourine_man | 308 comments
Blog post arguing that the ambiguous term "auth" should be replaced with "login" for authentication and "permissions" for authorization.