MarkCC | Dark Hacker News

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