How Computers Work, Part 2: Transistors
(goodmath.org)
1 pts| 3 years ago | discuss
MarkCC's submissions
Category Theory Lesson 2: Basics of Categorical Abstraction
(goodmath.org)
22 pts| 7 years ago | 1 comment
Time in distributed systems: Lamport Timestamps
(goodmath.org)
2 pts| 10 years ago | discuss
The Program is the Proof: propositions in type theory
(goodmath.org)
2 pts| 11 years ago | discuss
Paxos, a really beautiful protocol for distributed consensus
(goodmath.org)
3 pts| 11 years ago | discuss
page 1