Jestem negatywnie nastawiony do długoterminowych RISC-V i LLVM dla weryfikowalnych obliczeń (aka "zero-knowledge-proving/ZKP"), ponieważ myślę, że większość ludzi znacznie nie docenia trudności w eliminowaniu wszystkich błędów związanych z poprawnością i znacznie nie docenia katastrofalnych konsekwencji nawet jednego takiego błędu. ⤵️