Stories by Kernel-Panic

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

How to Stop People Who Bog Things Down with Bureaucracy

Apple just told the world it has no idea who the Mac is for

42 43 44 45 46 47 48 49 50 51