OCaml で Mastodon 用の Kubernetes operator を書きました。
2/28/2024NuSMV をインストールして、簡単なモデルを書いて、それをバッチモードと対話モードで動かします。
2/25/2024Waq という ActivityPub の実装を書いていました。詳細はこちらの記事をどうぞ。
12/31/2023ISUCON 13 に「[a, b, u] <- 3σ」というチームで出ていました。最終スコアが 18,673 点で、公式発表のページで上から数えると 113 位くらいでした。
11/26/2023or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up