Followers
@venriched.bsky.socialChirag Wadhwa @emose.bsky.social Quantum Property Testing. PhD student @ University of Edinburgh https://chirag-w.github.io/
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. 🏴🇬🇧←🇩🇪←🇯🇵 https://micchie.net
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/ GitHub: https://github.com/gfngfn Twitter (”X”): https://twitter.com/bd_gfngfn
- F ふしぐ @fushigu.bsky.social
- 5 Atsushi Igarashi @50storms.bsky.social
Ross Duncan @rossquantum.bsky.social Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser. Senior Fellow @ Quantinuum (I cannot read DMs on Bluesky)
Masaki Waga @maswag.net
kotapiku @kotapiku.bsky.social https://x.com/kotapiku
Tiramister @tiramister.net Japanese 🇯🇵 / Software Engineer (Java, AWS) / Competitive Programming (AtCoder: Orange)
Kazuki Watanabe @kwatanabecs.bsky.social 本垢: https://x.com/KWatanabeCS
mora @moratorium.bsky.social 人生の落とし穴はどこにあるかわからない https://x.com/moratorium08
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
@kimworrall.bsky.social @kimworrall.bsky.social
Ivan Di Liberti @diliberti.bsky.social Academic at Gothenburg University. Mathematician. Late millennial.
Az @azaika.bsky.social 何かをしている場合もある Web/Chromium/C++/Rust/形式検証
サクラ @1997-takahashi.bsky.social サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
tani @tani.cc I am a LISP interpreter.
もの / mono @mono-cat.bsky.social interested in chromatic homotopy theory and ∞-category theory
- A @alwe-logic.bsky.social @alwe-logic.bsky.social
ほしのけいすけ @catjigary.bsky.social Rims Keisuke Hoshino
Μίττον@圏論ソルジャー(गजस्पृशन्ध) @mitton5772.bsky.social RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)
MIT(Μίττον)@大学垢 @mit00042.bsky.social 数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)
くろの @khronos2106.bsky.social RIMS, M2 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft
- S @sanataka.bsky.social @sanataka.bsky.social
Hayato Nasu @ngaastue.bsky.social Halifax, Canada/ PhD student/ Categorical logic (or, logical category theory) Homepage: https://hayatonasu.github.io/hayatonasu/
- Y Yukihiro Oda @yukihiro0036.bsky.social Specially appointed research fellow at Tohoku Univ. Logic/Software verification/Cyclic proofs
杏仁豆腐の\psi難 @mq-spark.bsky.social 肉投稿多めの都内Data Scientist / 余裕ARIMA温泉 / やる気ARIMA\mathbb{X} / ぬりぬりローラー(Spla2: XP2560, Spla3: S+50カンストXP2603) / Twitter: https://twitter.com/mq_spark
suibaka @suibaka.bsky.social