Erstaunliche Demonstration, wie man mit Quint ein Protokoll in 1 Tag beherrscht. So schnell kann man mit einem Whiteboard oder sogar einer Programmiersprache einfach nicht dieses Verständnis erreichen.
Gabriela Moreira
Gabriela Moreira19. Mai 2025
Ein Einblick, wie es sich anfühlt, eine Quint-Spezifikation aus einer leeren Datei zu schreiben. Eine neue Spezifikation für den Tendermint-Konsens zu schreiben, jetzt mit all dem Wissen und den Techniken, die wir in den letzten 3 Jahren entwickelt haben. Mein Lieblingsteil sind die Ausführungsbeschreibungen. Sie zu schreiben, hat alles so gut zusammengefügt!
2,73K