Saya bearish pada RISC-V dan LLVM jangka panjang untuk komputasi yang dapat diverifikasi (alias "zero-knowledge-proving/ZKP"), karena saya pikir kebanyakan orang sangat meremehkan kesulitan menghilangkan semua bug kesehatan, dan sangat meremehkan konsekuensi bencana dari bahkan satu bug tersebut. ⤵️