Stories by adamnemecek

What I Wish I Knew When Learning Homotopy Type Theory

Kotlin/Native v0.6 is Here

It’s hard to reason about system

Making a Heart in ShaderToy [video]

Algebraic Dynamic Programming (2002) [pdf]

Porting software is fun and rewarding

Visual Group Theory: What is a group? (2016) [video]

Async/Await V: Getting back to the futures

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]

38
39
40
41
42
43
44
45
46
47