Stories by adamnemecek

The Principles behind Differentiable Programming [video]

The Science of Functional Programming [pdf]

RustConf 2019 – Rust for Weld, a High Performance Parallell JIT Compiler

Typed Lisp, a Primer

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]

16
17
18
19
20
21
22
23
24
25