Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

Article URL: https://www.tedinski.com/2018/01/23/data-objects-and-being-railroaded-into-misdesig

Article URL: https://fstring.help/cheat/

Comments URL: https://news.ycombinator.com/item?id

Hey HN! I built a proof-of-concept for AI memory using Git instead of vector databases.

The insight: Git already solved versioned document management. Why are we building complex vector stores w

Article URL: https://petapixel.com/2025/08/20/home-depot-sued-

Article URL: https://mitchellh.com/writing/advice-for-tech-nonprofits

Comments URL:

Article URL: https://inoticeiamconfused.substack.com/p/ive-never-had-a-real-adversary

Comments URL:

Article URL: https://thereader.mitpress.mit.edu/why-repetition-in-art-pleases-the-brain/

Comments U