The Brutalist Report - hn

Hacker News

SimpleIDE [198d] [hn]
Code Review Can Be Better [198d] [hn]
"AI first" and the Bus Factor of 0 [198d] [hn]
Coris (YC S22) Is Hiring [198d] [hn]
Game math: precise control over numeric springing [198d] [hn]
Show HN: PlutoPrint – Generate Beautiful PDFs and PNGs from HTML with Python [198d] [hn]
Introduction to Bluesky's AT Protocol [199d] [hn]
Zedless: Zed fork focused on privacy and being local-first [199d] [hn]
Lean proof of Fermat's Last Theorem [pdf] [199d] [hn]
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover [199d] [hn]
Say farewell to the AI bubble, and get ready for the crash [199d] [hn]