Stories by adamnemecek

Swift-Bindgen: Bridging the Gap Between Swift and Rust

Ldraw: Lego Modeling in Rust

Mathematics for Physics: Illustrated Handbook

Constructive Mathematics and Higher Topos Theory [pdf]

Adjoint Logic and Its Concurrent Operational Interpretation [pdf]

Chu spaces: A model of concurrency (1994) [pdf]

Why are computable functions continuous?

Dual Graph

Five stages of accepting constructive mathematics [pdf]

Gödel's Completeness Theorem

Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf]

In praise of developers who delete code

Timeline for Logic, λ-Calculus, and Programming Language Theory [pdf]

Five stages of accepting constructive mathematics [pdf]

Mathesis Universalis

Kleros, a Protocol for a Decentralized Justice System [2017]

The Hodge Operator Revisited

RX: Modern pixel editor implemented in Rust

Nanoda: Type checker for the Lean theorem prover in Rust

August 1969: When a Brutal Crackdown on Protests Resulted in Killings

17
18
19
20
21
22
23
24
25
26