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.

Captured . Click for the whole screenshot.
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.
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 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.
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.
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.
56 points by bondarchuk | 15 comments
Encyclopedia-style overview page on the Amsterdam School of Dutch Expressionist architecture (1910–1930), with gallery, key architects, buildings, and further reading.
96 points by rbanffy | 78 comments
IEEE Spectrum news article on the world's first fully implanted cochlear implant reaching patients, giving round-the-clock hearing with no visible external hardware.
750 points by beefman | 401 comments
SciTechDaily article reporting Mass Eye and Ear research linking tinnitus to hidden auditory nerve damage undetected by standard hearing tests.
336 points by justacrow | 80 comments
Karolinska Institutet news article reporting that a gene therapy restored hearing in patients with congenital deafness.
344 points by geox | 72 comments
Harvard Medical School news article reporting that scientists have regenerated the inner-ear hair cells that enable hearing.
454 points by vgel | 142 comments
Blog post by vgel describing the design and architecture of a small C compiler written in about 500 lines of Python.
202 points by Danhale93 | 181 comments
A personal essay by surgeon Dr Eric Levi on the hidden mental health struggles and darker side of working as a doctor.