Stories by adamnemecek

Von Neumann’s critique of automata theory and logic in computer science (1947)

Lambda: The Sublanguage (Experience Report) [pdf]

Understand 1,700 Mechanical Linkages with These Helpful Animations (2015)

Hexagonal Fast Fourier Transform

Zola: Fast static site generator with everything built-in Rust

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

What Is Applied Category Theory?

So You Want to Write an Linear Programming Solver

Convolution is outer product [pdf]

TaiChi: Open-source computer graphics library

Theoretical Physics Reference

Admiring the Zircon OS Part 1: Understanding Minimal Process Creation

Functional Programming – Design Through Functional Composition and Monads

Theoretical Physics Reference

Theoretical Physics Reference

Calculus with Julia

Simple KVM Firmware in Rust

GitHub will announce a new product today at 1:30 PT

Implementing a Interpreted Language in Rust Part 1

How to write proofs: a quick guide (2004) [pdf]

23 24 25 26 27 28 29 30 31 32