Pi²では、どのプログラミング言語を使用するかは気にしません。形式的なセマンティクスがあるかどうかを気にします。そうすることで、何かが真実であることを証明できるのです。

@RosuGrigoreが@commonwarexyzで@_patrickogradyと共に解説↓

物事の仕組み #2：実行可能なセマンティックフレームワークとK

昨日、@Pi_Squared_Pi2 の @RosuGrigore と、誰でも独自の言語をデプロイできる新しいタイプのブロックチェーン実行環境についてチャットしました。

すでにRISC-VまたはWASMにコミットしている場合は、視聴しないでください。