Olen laskeva RISC-V:n ja LLVM:n suhteen pitkällä aikavälillä todennettavissa olevan laskennan suhteen (alias "nollatiedon todistaminen/ZKP"), koska luulen, että useimmat ihmiset aliarvioivat suuresti kaikkien järkevyysvirheiden poistamisen vaikeuden ja aliarvioivat suuresti jopa yhden tällaisen virheen tuhoisat seuraukset. ⤵️