md224

Recent Submissions

1. 1. ▲ CSLib: A Focused Effort on Formalizing Computer Science in Lean (cslib.io) 4 points · 24 days ago · 0 comments
2. 2. ▲ Life on Peptides Feels Amazing (nymag.com) 5 points · 1 month ago · 2 comments
3. 3. ▲ Mothers Against Decapentaplegic (en.wikipedia.org) 4 points · 1 month ago · 0 comments
4. 4. ▲ A School of Strength and Character (2023) (palladiummag.com) 2 points · 5 months ago · 0 comments
5. 5. ▲ Proofs that there are infinitely many primes (t5k.org) 5 points · 6 months ago · 0 comments
6. 6. ▲ The Monty Hall Problem: Why the nature of the host's choice matters (observablehq.com) 2 points · 8 months ago · 3 comments
7. 7. ▲ Formal Conjectures (github.com) 4 points · 9 months ago · 0 comments
8. 8. ▲ Ricky Jay and His 52 Assistants (1996) (archive.org) 8 points · 1 year ago · 0 comments
9. 9. ▲ Is Telegram really an encrypted messaging app? (blog.cryptographyengineering.com) 596 points · 1 year ago · 583 comments
10. 10. ▲ Cosmos CLI: A CLI tool for tracking satellites (github.com) 1 point · 2 years ago · 0 comments