t tesserato Joined 1 year ago Karma 211 Submissions 69 Member since Jan 8 PhD in Production Engineering Machine Learning, Software Development, Digital Signal Processing Tat Tvam Asi View on Hacker News
Lean 4: How the theorem prover works and why it's the new competitive edge in AI v venturebeat.com 145 tesserato 8 months ago 64 comments
Hear the "Amati King Cello", the Oldest Known Cello in Existence o openculture.com 85 tesserato 8 months ago 42 comments
Aligning brains into a shared space improves their alignment with LLMs n nature.com 5 tesserato 8 months ago 1 comments
Show HN: Minimal type-safe language for software architecture g github.com 2 tesserato 9 months ago 0 comments
Constructor Theory: expressing laws in terms of what is possible or impossible c constructortheory.org 3 tesserato 10 months ago 0 comments