Followers
@50storms.bsky.socialK.Hirata @venriched.bsky.social 豊穣圏
mora @moratorium.bsky.social 人生の落とし穴はどこにあるかわからない https://x.com/moratorium08
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
@kiszk.bsky.social @kiszk.bsky.social
@garriguejej.bsky.social @garriguejej.bsky.social
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣 @tomooda.bsky.social Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。仕様はIDEで書け。後悔あとをたたず。ダイナブック信者。熊本城主。
Antony Hosking @antonyhosking.bsky.social Garbage collector. Professor.
Nazeem @n4ze3m.com (?:I|i) writes? code\s*?🤖 / fun side project github.com/n4ze3m/dialoqbase , github.com/n4ze3m/page-assist 🔗 https://n4ze3m.com
- Y @yajima.bsky.social @yajima.bsky.social
Keigo Imai @keigoi.bsky.social
Kohei Suenaga @ksuenaga.bsky.social
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/ GitHub: https://github.com/gfngfn Twitter (”X”): https://twitter.com/bd_gfngfn
Sarah @sarahiscute.bsky.social they made a huge mistake letting me in here
Keiichiro Shikano @golden-lucky.net Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
Jun Furuse @jun.dailambda.jp Fishing, Kyoto, OCaml, No Phishing 釣り、京都