Stories by noch

An Introduction to Algorithms and Datastructures in SML

Syntax highlighting for `less`, powered by Emacs

Dependently Typed State Machines [pdf]

How to Retain History When Moving Files Between Git Repositories

Extensions to the xterm protocol

A Red-Black Tree Implementation with Provable Properties

Rust for Semanticists

A Modern Implementation of the Common Lisp LOOP Macro

Programmatic Manipulation of Lisp Type Specifiers

Edward Kmett, “Efficiently Coding for Modern CPUs”

Libre Graphics Magazine ends its run (2016)

A formalization of category theory in Coq

Computational Category Theory

Conor McBride – What are Types for, or are they only Against?

One VM to Rule Them All, One VM to Bind Them

Systemd-cryptsetup: Booting with encrypted root partition fails instantly

Advice for Writing Small Programs in C

An intro to web components with otters

The Software Languages Book

Software Foundations

28
29
30
31
32
33