Ik ben bearish over RISC-V en LLVM op de lange termijn voor verifieerbaar computergebruik (ook bekend als "zero-knowledge-proving/ZKP"), omdat ik denk dat de meeste mensen de moeilijkheid van het elimineren van alle deugdelijkheidsbugs enorm onderschatten, en de rampzalige gevolgen van zelfs maar één zo'n bug enorm onderschatten. ⤵️