HN Explorer

MarkCC

↗ HN profile [ 27.4 ms ] full profile
Karma
79
Created
March 1, 2010 (16y ago)
Submissions
0
  1. How Computers Work, Part 2: Transistors (goodmath.org)
    1 points 0
  2. Category Theory Lesson 2: Basics of Categorical Abstraction (goodmath.org)
    22 points 1
  3. Time in distributed systems: Lamport Timestamps (goodmath.org)
    2 points 0
  4. The Program is the Proof: propositions in type theory (goodmath.org)
    2 points 0
  5. Paxos, a really beautiful protocol for distributed consensus (goodmath.org)
    3 points 0