OCaml で Mastodon 用の Kubernetes operator を書きました。
2/28/2024NuSMV をインストールして、簡単なモデルを書いて、それをバッチモードと対話モードで動かします。
2/25/2024Waq という ActivityPub の実装を書いていました。詳細はこちらの記事をどうぞ。
12/31/2023OCaml で Discord
12/1/2023or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up