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
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.
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.
Future Maintenance of Mbed TLS(lists.trustedfirmware.org)
61 points by jonesjohnson | 17 comments
Mailing list announcement that current Mbed TLS maintainers will stop maintaining the TLS and X.509 libraries from April 2027 unless new maintainers step in, with user replies.
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.
Related stories
Man found guilty of child porn because he ran a Tor exit node(lowendbox.com)
735 points by h0ek | 489 comments
LowEndBox blog post recounting the case of William Weber, convicted of child pornography charges in Austria after running a Tor exit node.
Don't fall into the anti-AI hype(antirez.com)
1090 points by todsacerdoti | 1334 comments
Blog post by antirez arguing that, despite his reservations, LLMs are going to change programming forever and people shouldn't dismiss AI out of hand.
PeerTube is a free, decentralized and federated video platform(github.com)
592 points by doener | 274 comments
GitHub repository for PeerTube, an AGPL-licensed ActivityPub-federated video streaming platform that uses P2P delivery in the browser.
FBI raids home of prominent computer scientist who has gone incommunicado(arstechnica.com)
825 points by JaimeThompson | 332 comments
Ars Technica article reporting that the FBI raided the home of an Indiana University computer scientist whose profile was quietly removed and who has gone silent.
Jake Seliger has died(marginalrevolution.com)
908 points by A_D_E_P_T | 189 comments
Alex Tabarrok's Marginal Revolution post remembering writer Jake Seliger after his death from cancer, noting his advocacy for faster drug development.
Anthropic invests $1.5M in the Python Software Foundation(discuss.python.org)
329 points by ayhanfuat | 151 comments
A Python discussion forum post from PSF staff announcing Anthropic's $1.5 million, two-year donation to the PSF focused on security work.