zllr.dev A blog by Peter Zeller about programming languages, testing, verification, databases, and distributed systems