Stories by adamnemecek

Designing for Understandability: The Raft Consensus Algorithm

An Intro to X86_64 Reverse Engineering

How generics were added to .NET

Synthetic Topology of Data Types and Classical Spaces [2004][pdf]

A Very Rough Introduction to Linear Logic [pdf]

What I Wish I Knew When Learning Homotopy Type Theory

iOS app written in Assembly

Porting software is fun and rewarding

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

38
39
40
41
42
43
44
45
46
47