./tests/async_client.py: Async zencomm(binary) Json RPC client./tests/async_server.py: Async zencomm(binary) Json RPC Server./tests/client.py: Sync zencomm(binary ...

Why? Because now you can write your own test harnesses and symbolic search tools that interact with TLA + and Quint specifications. Use it with an AI agent, and you have got superpowers! Minimalistic.

Ethereum系の操作はそれなりにやってきましたが、最近はSolana（Rust）やSui（Move）といったSolidity以外の言語で書かれるスマートコントラクトも多数登場しており、Ethereum系以外になると急に取っつきにくさを感じることがありました。 そして、Eclipseの登場が ...

この記事の続きです。 本当はプログラム（EVMでいうスマートコントラクト）をpythonで触る、というのをやりたかったのですが、結構EhtereumとSolanaが違う・・・、ハードルが高かったので送金をやってみました。 徐々に課題をクリアしていきます。 自己送金 ...

アジア最大級の国際Scalaカンファレンスである「ScalaMatsuri2020」がオンラインで開催されました。そこでTreasure DataのTaro L. Saito 氏がScalaに関するいろいろなテクノロジーを紹介しました。2つ目は、Scalaで直接通信する方法について。前回の記事はこちら。