MarkCC's submissions | Hacker News

1.		How Computers Work, Part 2: Transistors (goodmath.org)
		1 point by MarkCC on Dec 13, 2022 \| past
2.		Category Theory Lesson 2: Basics of Categorical Abstraction (goodmath.org)
		22 points by MarkCC on Feb 20, 2019 \| past \| 1 comment
3.		Time in distributed systems: Lamport Timestamps (goodmath.org)
		2 points by MarkCC on March 16, 2016 \| past
4.		The Program is the Proof: propositions in type theory (goodmath.org)
		2 points by MarkCC on Feb 4, 2015 \| past
5.		Paxos, a really beautiful protocol for distributed consensus (goodmath.org)
		3 points by MarkCC on Jan 30, 2015 \| past