Stories by panic

Funky Fantasy IV: A Machine-Translated Video Game Experiment

The Cybersyn Revolution (2015)

The code I’m still ashamed of

Metal retrospective

Maybe the Internet Isn’t a Fantastic Tool for Democracy After All

Standardized Ladder of Functional Programming [pdf]

A Digression on Divergence (2013)

Beating the Compiler

Bra-Ket Notation Trivializes Matrix Multiplication

Smart cities (2014)

Closing the Gap – The Formally Verified Optimizing Compiler CompCert [pdf]

I don't belong in tech

12-Foot Traffic Lanes Are Bad for Safety and Should Be Replaced (2014)

Formal description of system call interface

Half-Baked Thoughts for a Quantum Scripting Language

Skov is a visual programming environment based on Factor

The Best Way to Predict the Future Is to Issue a Press Release

How the Tech Sector Could Move in One Direction

Empirical Software Engineering using R

What’s in a symbol? Assignment revisited

40
41
42
43
44
45
46
47
48
49