2Category Theory Lesson 2: Basics of Categorical Abstraction (opens in new tab)(goodmath.org)22MarkCC7y ago1
4The Program is the Proof: propositions in type theory (opens in new tab)(goodmath.org)2MarkCC11y ago0
5Paxos, a really beautiful protocol for distributed consensus (opens in new tab)(goodmath.org)3MarkCC11y ago0