Followers
@kwatanabecs.bsky.socialHan Bao @han-b.bsky.social Associate Professor@The Institute of Statistical Mathematics, working in machine learning theory https://hermite.jp/
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/ GitHub: https://github.com/gfngfn Twitter (”X”): https://twitter.com/bd_gfngfn
K.Hirata @venriched.bsky.social 豊穣圏
Masaki Waga @maswag.net
Kuniwak @kuniwak.com Formal Methods Learner (2019-), Software Engineer in Test (2018-), iOS/Web app developer, Git Challenge Problem Author (-2018). /kɯɲiːwʌk/
kotapiku @kotapiku.bsky.social https://x.com/kotapiku
Az @azaika.bsky.social 何かをしている場合もある Web/Chromium/C++/Rust/形式検証
mora @moratorium.bsky.social 人生の落とし穴はどこにあるかわからない https://x.com/moratorium08