Blog

Notes on software and types.