MarkCC
- Karma
- 79
- Created
- 15 years ago
Recent Submissions
- 1. ▲ How Computers Work, Part 2: Transistors (goodmath.org)
- 2. ▲ Category Theory Lesson 2: Basics of Categorical Abstraction (goodmath.org)
- 3. ▲ Time in distributed systems: Lamport Timestamps (goodmath.org)
- 4. ▲ The Program is the Proof: propositions in type theory (goodmath.org)
- 5. ▲ Paxos, a really beautiful protocol for distributed consensus (goodmath.org)