Skip to content

Top New Best Ask Show Jobs

MarkCC

79 karmaJoined March 1, 20107 submissions

MarkCC | Better HN

Recent submissions

1

How Computers Work, Part 2: Transistors (opens in new tab)

(goodmath.org)

1MarkCC3y ago0

2

Category Theory Lesson 2: Basics of Categorical Abstraction (opens in new tab)

(goodmath.org)

22MarkCC7y ago1

3

Time in distributed systems: Lamport Timestamps (opens in new tab)

(goodmath.org)

2MarkCC10y ago0

4

The Program is the Proof: propositions in type theory (opens in new tab)

(goodmath.org)

2MarkCC11y ago0

5

Paxos, a really beautiful protocol for distributed consensus (opens in new tab)

(goodmath.org)

3MarkCC11y ago0