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
Pigshell: Unix the Web(pigshell.com)
63 points by pbohun | 18 comments
Pigshell 0.6.4 is a browser-based Unix-style shell that represents web resources and cloud data as files you can process with command pipelines.
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.
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.
Successful People (2013)(blog.samaltman.com)
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.
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
I'm not convinced the AI bubble exists(matteoraso.github.io)
520 points by matteoraso | 885 comments
A personal blog post arguing the AI industry may not be a bubble, citing Anthropic's S-1 figures, compute margins, revenue growth, and P/E ratios.
Artificial intelligence is losing hype(economist.com)
453 points by bx376 | 663 comments
An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.
Retirement Savings Are Fueling the AI Bubble(lpeproject.org)
120 points by speckx | 151 comments
LPE Project blog post by economist Lenore Palladino arguing that pension funds and 401(k)s invested in private credit and equity are financing AI data centers.
The AI boom is causing shortages everywhere else(washingtonpost.com)
359 points by 1vuio0pswjnm7 | 596 comments
Washington Post article on how the roughly $700 billion AI spending boom is causing shortages of electricians, components, and pricier smartphones elsewhere in the economy.
Coding expertise is going to collapse from AI reliance(larsfaye.com)
490 points by larsfaye | 479 comments
Blog essay by Lars Faye arguing that reliance on AI coding tools removes the friction needed to develop long-term programming expertise.
Oracle Triggered the Implosion of the AI Bubble(medium.com)
10 points by mpweiher | 10 comments
A Medium member-only opinion article in the Predict publication arguing that Oracle has triggered the collapse of the AI investment bubble.