You are not logged in
Bluesky Follows
@
K.Hirata
@venriched.bsky.social
29 followers, 36 follows, 192 posts
Follows by @venriched.bsky.social
Michio Honda
@michioh.bsky.social
466 followers, 264 follows, 227 posts
Registered:18 Aug 2023 10:21
Follow date:3 Mar 2026 23:08
Associate professor (Reader) at Edinburgh, Informatics. Networking, security & systems research. Ex-NetApp. Foodie. Dad. 🏴󠁧󠁢󠁳󠁣󠁴󠁿🇬🇧←🇩🇪←🇯🇵 https://micchie.net
SIGPLAN
@sigplan.bsky.social
450 followers, 87 follows, 15 posts
Registered:23 Nov 2024 19:27
Follow date:1 Jan 2026 15:41
The ACM Special Interest Group on Programming Languages.
Yudai Tanabe
@yudaitnb.bsky.social
8 followers, 16 follows, 0 posts
Registered:6 Feb 2024 15:14
Follow date:28 Dec 2025 13:33
Kohei Suenaga
@ksuenaga.bsky.social
17 followers, 14 follows, 3 posts
Registered:16 Aug 2023 01:31
Follow date:28 Dec 2025 13:33
ETAPS conferences
@etapsconf.bsky.social
81 followers, 23 follows, 79 posts
Registered:1 Jan 2025 19:48
Follow date:28 Dec 2025 13:32
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP. ETAPS 2026: April 11 - 16, Turin, Italy https://etaps.org/
PLDI
@sigplan-pldi.bsky.social
211 followers, 4 follows, 62 posts
Registered:20 Jan 2025 21:34
Follow date:28 Dec 2025 13:32
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
ue
@ueueueuenue.bsky.social
4 followers, 1 follows, 2 posts
Registered:6 Oct 2023 12:16
Follow date:26 Dec 2025 01:01
Masaki Waga
@mastodon.maswag.net
6 followers, 2 follows, 81 posts
Registered:17 Aug 2025 12:49
Follow date:17 Dec 2025 01:47
🌉 bridged from https://mastodon.maswag.net/@m... on the fediverse by https://fed.brid.gy/
ふしぐ
@fushigu.bsky.social
7 followers, 7 follows, 26 posts
Registered:7 Feb 2024 12:56
Follow date:18 Nov 2025 14:07
Atsushi Igarashi
@50storms.bsky.social
19 followers, 18 follows, 33 posts
Registered:7 Feb 2024 14:23
Follow date:29 Oct 2025 19:42
Ross Duncan
@rossquantum.bsky.social
680 followers, 387 follows, 224 posts
Registered:8 Mar 2024 15:07
Follow date:26 Aug 2025 08:25
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, 4 posts
Registered:9 Feb 2024 01:20
Follow date:4 Aug 2025 07:39
kotapiku
@kotapiku.bsky.social
10 followers, 10 follows, 85 posts
Registered:13 Feb 2024 16:31
Follow date:4 Aug 2025 07:39
https://x.com/kotapiku
tani
@tani.cc
174 followers, 97 follows, 158 posts
Registered:16 Mar 2023 07:21
Follow date:2 Aug 2025 17:30
I am a LISP interpreter.
Kazuki Watanabe
@kwatanabecs.bsky.social
7 followers, 7 follows, 56 posts
Registered:3 Apr 2025 07:14
Follow date:24 Jun 2025 20:11
本垢: https://x.com/KWatanabeCS
smallkirby
@smallkirby.bsky.social
57 followers, 31 follows, 1,361 posts
Registered:3 Jul 2023 15:45
Follow date:27 Apr 2025 21:49
🐶my dog is @smallkirby-bot 🐶 https://github.com/smallkirby
mora
@moratorium.bsky.social
88 followers, 126 follows, 860 posts
Registered:3 Jul 2023 14:55
Follow date:25 Apr 2025 12:47
人生の落とし穴はどこにあるかわからない https://x.com/moratorium08
kimworrall.bsky.social
@kimworrall.bsky.social
3 followers, 8 follows, 0 posts
Registered:2 Dec 2024 18:55
Follow date:11 Jan 2025 21:20
Ichiro Hasuo 蓮尾 一郎
@ichirohasuo.bsky.social
35 followers, 15 follows, 18 posts
Registered:2 Dec 2024 08:36
Follow date:3 Dec 2024 09:03
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
Ivan Di Liberti
@diliberti.bsky.social
161 followers, 516 follows, 22 posts
Registered:22 Nov 2024 11:48
Follow date:24 Nov 2024 13:26
Academic at Gothenburg University. Mathematician. Late millennial.
Az
@azaika.bsky.social
235 followers, 214 follows, 1,258 posts
Registered:3 Jul 2023 09:08
Follow date:7 Apr 2024 12:36
何かをしている場合もある Web/Chromium/C++/Rust/形式検証
サクラ
@1997-takahashi.bsky.social
75 followers, 159 follows, 1 posts
Registered:31 Mar 2024 17:30
Follow date:7 Apr 2024 12:36
サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
Yukihiro Oda
@yukihiro0036.bsky.social
19 followers, 24 follows, 4 posts
Registered:7 Feb 2024 07:24
Follow date:24 Feb 2024 13:39
Specially appointed research fellow at Tohoku Univ. Logic/Software verification/Cyclic proofs
もの / mono
@mono-cat.bsky.social
17 followers, 13 follows, 8 posts
Registered:21 Sep 2023 16:04
Follow date:19 Feb 2024 12:22
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
Follow date:13 Feb 2024 17:10
Μίττον@圏論ソルジャー(गजस्पृशन्ध)
@mitton5772.bsky.social
11 followers, 10 follows, 6 posts
Registered:13 Feb 2024 08:30
Follow date:13 Feb 2024 15:54
RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)
ほしのけいすけ
@catjigary.bsky.social
14 followers, 13 follows, 9 posts
Registered:13 Feb 2024 09:04
Follow date:13 Feb 2024 15:54
Rims Keisuke Hoshino
Yuto Kawase
@yutokawase.bsky.social
12 followers, 2 follows, 0 posts
Registered:13 Feb 2024 08:04
Follow date:13 Feb 2024 08:21
RIMS, Kyoto University / Category theory / Academic
MIT(Μίττον)@大学垢
@mit00042.bsky.social
17 followers, 10 follows, 50 posts
Registered:13 Feb 2024 08:04
Follow date:13 Feb 2024 08:21
数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)
Hayato Nasu
@ngaastue.bsky.social
26 followers, 21 follows, 17 posts
Registered:13 Feb 2024 08:00
Follow date:13 Feb 2024 08:21
Halifax, Canada/ PhD student/ Categorical logic (or, logical category theory) Homepage: https://hayatonasu.github.io/h...
くろの
@khronos2106.bsky.social
10 followers, 10 follows, 8 posts
Registered:13 Feb 2024 08:00
Follow date:13 Feb 2024 08:21
RIMS, M2 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft
sanataka.bsky.social
@sanataka.bsky.social
11 followers, 10 follows, 2 posts
Registered:13 Feb 2024 08:09
Follow date:13 Feb 2024 08:21
ぴあのん
@piano2683.bsky.social
14 followers, 0 follows, 0 posts
Registered:9 Feb 2024 03:09
Follow date:9 Feb 2024 06:45
ID確保だけしておきます
画力・博士号・油田
@gfngfn.bsky.social
547 followers, 398 follows, 52 posts
Registered:27 Jul 2023 04:21
Follow date:7 Feb 2024 20:56
https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/
suibaka
@suibaka.bsky.social
6 followers, 4 follows, 1 posts
Registered:7 Feb 2024 15:39
Follow date:7 Feb 2024 17:32
しぐれうい
@uishig.bsky.social
147,830 followers, 0 follows, 45 posts
Registered:7 Feb 2024 04:06
Follow date:7 Feb 2024 08:44
イラストレーターのしぐれういです！※本物 pixiv: https://www.pixiv.net/users/43... Youtube: https://www.youtube.com/channe...