You are not logged in
Bluesky Followers
@
K.Hirata
@venriched.bsky.social
29 followers, 36 follows, 199 posts
Followers of @venriched.bsky.social
Michio Honda
@michioh.bsky.social
467 followers, 264 follows, 230 posts
Registered:18 Aug 2023 10:21
Last post:8 hours ago
Last like received:5 hours ago
Associate professor (Reader) at Edinburgh, Informatics. Networking, security & systems research. Ex-NetApp. Foodie. Dad. 🏴󠁧󠁢󠁳󠁣󠁴󠁿🇬🇧←🇩🇪←🇯🇵 https://micchie.net
画力・博士号・油田
@gfngfn.bsky.social
547 followers, 398 follows, 52 posts
Registered:27 Jul 2023 04:21
Last post:10 Feb 2026
https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/
ふしぐ
@fushigu.bsky.social
7 followers, 7 follows, 26 posts
Registered:7 Feb 2024 12:56
Atsushi Igarashi
@50storms.bsky.social
19 followers, 18 follows, 33 posts
Registered:7 Feb 2024 14:23
Last post:1 Mar 2026
Ross Duncan
@rossquantum.bsky.social
681 followers, 387 follows, 227 posts
Registered:8 Mar 2024 15:07
Last post:1 day ago
Last like received:17 hours ago
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
35 followers, 55 follows, 5 posts
Registered:9 Feb 2024 01:20
Last post:6 hours ago
Last like received:6 hours ago
kotapiku
@kotapiku.bsky.social
10 followers, 10 follows, 85 posts
Registered:13 Feb 2024 16:31
Last post:6 Mar 2026
https://x.com/kotapiku
Tiramister
@tiramister.net
169 followers, 184 follows, 775 posts
Registered:21 Apr 2023 13:31
Last post:12 Feb 2026
Japanese 🇯🇵 / Software Engineer (Java, AWS) / Competitive Programming (AtCoder: Orange)
Kazuki Watanabe
@kwatanabecs.bsky.social
7 followers, 7 follows, 57 posts
Registered:3 Apr 2025 07:14
Last post:6 days ago
本垢: https://x.com/KWatanabeCS
mora
@moratorium.bsky.social
88 followers, 126 follows, 870 posts
Registered:3 Jul 2023 14:55
Last post:2 days ago
Last like given:15 hours ago
Last like received:4 hours ago
人生の落とし穴はどこにあるかわからない https://x.com/moratorium08
Ichiro Hasuo 蓮尾 一郎
@ichirohasuo.bsky.social
35 followers, 15 follows, 18 posts
Registered:2 Dec 2024 08:36
Last post:4 Mar 2026
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
kimworrall.bsky.social
@kimworrall.bsky.social
3 followers, 8 follows, 0 posts
Registered:2 Dec 2024 18:55
Ivan Di Liberti
@diliberti.bsky.social
161 followers, 516 follows, 22 posts
Registered:22 Nov 2024 11:48
Academic at Gothenburg University. Mathematician. Late millennial.
Az
@azaika.bsky.social
236 followers, 214 follows, 1,258 posts
Registered:3 Jul 2023 09:08
Last post:6 Mar 2026
Last like given:4 hours ago
何かをしている場合もある Web/Chromium/C++/Rust/形式検証
サクラ
@1997-takahashi.bsky.social
75 followers, 159 follows, 1 posts
Registered:31 Mar 2024 17:30
サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
tani
@tani.cc
174 followers, 97 follows, 158 posts
Registered:16 Mar 2023 07:21
Last post:17 Dec 2025
I am a LISP interpreter.
もの / mono
@mono-cat.bsky.social
17 followers, 13 follows, 8 posts
Registered:21 Sep 2023 16:04
interested in chromatic homotopy theory and ∞-category theory
alwe-logic.bsky.social
@alwe-logic.bsky.social
47 followers, 40 follows, 6 posts
Registered:9 Feb 2024 13:29
Last post:18 Feb 2026
ほしのけいすけ
@catjigary.bsky.social
14 followers, 13 follows, 9 posts
Registered:13 Feb 2024 09:04
Last post:13 Feb 2026
Rims Keisuke Hoshino
Μίττον@圏論ソルジャー(गजस्पृशन्ध)
@mitton5772.bsky.social
11 followers, 10 follows, 6 posts
Registered:13 Feb 2024 08:30
RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)
MIT(Μίττον)@大学垢
@mit00042.bsky.social
17 followers, 10 follows, 50 posts
Registered:13 Feb 2024 08:04
Last post:10 Feb 2026
数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)
くろの
@khronos2106.bsky.social
10 followers, 10 follows, 8 posts
Registered:13 Feb 2024 08:00
RIMS, M2 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft
sanataka.bsky.social
@sanataka.bsky.social
11 followers, 10 follows, 2 posts
Registered:13 Feb 2024 08:09
Hayato Nasu
@ngaastue.bsky.social
26 followers, 21 follows, 17 posts
Registered:13 Feb 2024 08:00
Halifax, Canada/ PhD student/ Categorical logic (or, logical category theory) Homepage: https://hayatonasu.github.io/h...
Yukihiro Oda
@yukihiro0036.bsky.social
19 followers, 24 follows, 4 posts
Registered:7 Feb 2024 07:24
Specially appointed research fellow at Tohoku Univ. Logic/Software verification/Cyclic proofs
杏仁豆腐の\psi難
@mq-spark.bsky.social
62 followers, 166 follows, 4 posts
Registered:7 Feb 2024 00:51
肉投稿多めの都内Data Scientist / 余裕ARIMA温泉 / やる気ARIMA\mathbb{X} / ぬりぬりローラー(Spla2: XP2560, Spla3: S+50カンストXP2603) / Twitter: https://twitter.com/mq_spark
suibaka
@suibaka.bsky.social
6 followers, 4 follows, 1 posts
Registered:7 Feb 2024 15:39