Stories by akkartik

Robust-First Computing: Distributed City Generation (2015) [video]

EINTR and PC Loser-Ing: The “Worse Is Better” Case Study (2011)

Robust-first programming in ULAM (2015) [video]

BPF and Formal Verification (2015)

Eintr and PC Loser-Ing: the “Worse Is Better” Case Study (2011)

Google's Long March

Declarative Programming: Is It a Real Thing? (2015)

A Bridge Too Far: E.W. Dijkstra and Logic

Behavioral Programming (2012) [pdf]

Asynchronous I/O and event notification on linux

The Mythical Matched Modules (2009) [pdf]

Behavioral Programming (2012) [pdf]

BATAS: 8086 assembler written in MSDOS batch

Limbo: Scaling Software Collaboration

What Lies in the Path of the Revolution [pdf]

The secrets of See's Candies (2012)

“Little Languages” by Jon Bentley (1986) [pdf]

Project Oasis: Voice Terrarium

Pure Functional Programming in Excel (2016) [video]

That feel when you can't captcha [video]

3
4
5
6
7
8
9
10
11
12