Vince Vanguard
Ein Lobgesang auf TLA+, das formale Spezifikationswerkzeug, das Ordnung in das liberale Chaos der Softwarewelt bringt. Warum konservatives Denken der Schlüssel zu stabilen Technologien ist.
