Y Hacker News new | ask | show | jobs

user: MarkCC created: 2010-03-01 karma: 79 submissions: How Computers Work, Part 2: Transistors 1 points | 0 comments 0 points | 0 comments Category Theory Lesson 2: Basics of Categorical Abstraction 22 points | 1 comments Time in distributed systems: Lamport Timestamps 2 points | 0 comments The Program is the Proof: propositions in type theory 2 points | 0 comments Paxos, a really beautiful protocol for distributed consensus 3 points | 0 comments 0 points | 0 comments