Stories by adamnemecek

Turing Machines and Differential Linear Logic [pdf]

Taking over Facebook accounts using Free Basics partner portal

Somascape MIDI Documentation

Ivory investigator killed in Kenya

How it works: Compiler Explorer

High-Level Rendering Using Render Graphs

A 2D Platformer from Scratch Using HTML5 and JavaScript, Part 1: Game Loop

Mathematica programming: An advanced introduction (2008) [pdf]

Programming the Linux Framebuffer

Programming the Linux Framebuffer

Rust Lifetimes for the Uninitialised

Turing machines and differential linear logic [pdf]

Linear logic and deep learning [pdf]

Chronophobia

Mathematics of the Discrete Fourier Transform (2002) [pdf]

Archive of formal proofs

Total Haskell Is Reasonable Coq [pdf]

Why Sports and Elite Academics Do Not Mix (2017)

Introduction to Lie Groups and Lie Algebras [pdf]

Time Travel Debugging [video]

38
39
40
41
42
43
44
45
46
47