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

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

Home | About