Med att arbeta på färdplanen för @ethrex_client @eth_proofs RISC-V @alignedlayer VM och @leanEthereum klient. Jag skriver också fler idéer om hur vi kan designa vårt konkreta programmeringsspråk (linjärt typsystem + enkla algebraiska effekter via kapabiliteter + lean-verifierad kärna).