md224

Recent Submissions

1. 1. ▲ Eyes on the Solar System (eyes.nasa.gov) 1 point · 1 month ago · 0 comments
2. 2. ▲ CSLib: A Focused Effort on Formalizing Computer Science in Lean (cslib.io) 4 points · 4 months ago · 0 comments
3. 3. ▲ Life on Peptides Feels Amazing (nymag.com) 5 points · 4 months ago · 2 comments
4. 4. ▲ Mothers Against Decapentaplegic (en.wikipedia.org) 4 points · 5 months ago · 0 comments
5. 5. ▲ A School of Strength and Character (2023) (palladiummag.com) 2 points · 9 months ago · 0 comments
6. 6. ▲ Proofs that there are infinitely many primes (t5k.org) 5 points · 9 months ago · 0 comments
7. 7. ▲ The Monty Hall Problem: Why the nature of the host's choice matters (observablehq.com) 2 points · 12 months ago · 3 comments
8. 8. ▲ Formal Conjectures (github.com) 4 points · 1 year ago · 0 comments
9. 9. ▲ Ricky Jay and His 52 Assistants (1996) (archive.org) 8 points · 1 year ago · 0 comments