./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.

もっといい方法があるよとChatGPTに教わったので、教わった内容を共有します。 私はデータ分析業務に携わってますが、たま～に変なデータ形式のファイルに遭遇します。こういう変なデータにあたってしまうとデータの成型に時間を要してしまうんですよね。

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