Stories by luu

Haversine is a dialect of Logo based around spherical geometry

Blogging principles I use

Mandatory File Locking for the Linux Operating System (2007)

The dream of HDL standard libraries

Reuse

Building local Internet infrastructure for disadvantaged communities

Encoding PHP in a PNG

The Isabelle Untutorial

When You Should Use Lists in Haskell (Mostly Not)

My Path to Machine Learning

Why would anyone want to write a phone app that embeds Node.js?

Thali: a Cordova plugin for building P2P networking apps on Android and iOS

Calling a C function from Rust

Iron law of prohibition

An experimental platform for building the peer web

Stock options are complicated

The Recurse Center: A Q&A for Past Me (2015)

Why does a Turing-complete type system make type checking undecidable?

Don’t run code at import time

Applying to the Recurse Centertwice