kvlr

Recent Submissions

1. 1. ▲ From Geometry to Algebra and Back Again: 4000 Years of Papers (Talk Transcript) (jackrusher.com) 3 points · 2 years ago · 0 comments
2. 2. ▲ Nextjournal’s New Command Interface (nextjournal.com) 2 points · 4 years ago · 0 comments
3. 3. ▲ What does it mean to buy a GIF? (jackrusher.com) 4 points · 4 years ago · 0 comments
4. 4. ▲ The Dynamic Notebook (roadtoreality.substack.com) 2 points · 5 years ago · 0 comments
5. 5. ▲ Russell's Paradox in Agda (nextjournal.com) 2 points · 5 years ago · 0 comments
6. 6. ▲ A “petting zoo for code” makes studies easier to reproduce (natureindex.com) 1 point · 6 years ago · 0 comments
7. 7. ▲ Launch: Nextjournal Public Beta (nextjournal.com) 4 points · 6 years ago · 2 comments