SimutransとかFactorioとかを遊ぶのが好き。なろう小説をたくさん読む。ArchLinuxとNixOSを使ってる。定理証明支援系Rocqを使う。 🌉 bridged from ⁂ https://mi.sou7.io/@sou7, follow @ap.brid.gy to interact