Puncak bagaimana rasanya menulis spesifikasi Quint dari file kosong. Menulis spesifikasi baru untuk konsensus Tendermint, sekarang dengan semua pembelajaran dan teknik yang kami kembangkan selama 3 tahun terakhir. Bagian favorit saya adalah deskripsi lari. Menulisnya membuat semuanya klik dengan sangat baik!