Stories by akkartik

Reusable vs. Re-editable Code (2018) [pdf]

Foundations of Money Laundering in Geopolitics

Tabula Scripta: A spreadsheet for small data-driven apps

Tools for Conviviality (1973) [pdf]

How to Read “Gilgamesh”

Attacking hardened Linux systems with kernel JIT spraying (2012)

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

2
3
4
5
6
7
8
9
10
11