atree @atree4728.bsky.social B3, IS26, atree4728.github.io, Haskell, OCaml
くるる＠在米中年集合論者 @kururumath.bsky.social みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。
アイコンはbing image creatorによるkururu_goedel。
twitter: kururu_goedel, mathtod: kururu
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
@pigeoy.bsky.social @pigeoy.bsky.social 鳩です
tomerun @tomerun.bsky.social 日常
g000001 @g000001.bsky.social g-000-001
yf @yf0fyf.bsky.social だいたい https://zy.gy/yf に居ます
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
ひよどりBasist @visualbasist.bsky.social Rust🦀すき Python🐍もすき お絵描き練習中
https://cosen.se/VisualBasist/
naoya_t @naoya-t.bsky.social 📍Я⦿Ж⦿R
⛰️ @nenomous.bsky.social はろー(羊羹)
@komori3.bsky.social ひきこもごも
oto @oto-oto-oto.bsky.social 
takumi152🌸🎵 @takumi152.net ミクさんの姿をしています / AtCoder A🔵 H🔴 / icon: @inudesuwa.bsky.social
しめじ(smeghead) @smeghead.bsky.social ビジネス概念を抽出してクラス化してテストを書く。ドメインを純粋に保つ。JIGが羨ましくてphp-class-diagramを作ってます。ドメインプリミティブ。希望の光なんて無くったっていいじゃないか。CでStarbug1というBTSを作ってました。
CodeZine記事 健全なソフトウェア設計の第一歩！ 既存のPHPソースコードからクラス図を自動生成しよう https://codezine.jp/article/detail/20561
やぎ @yagiey.bsky.social 日曜プログラマー。ねこになりたいやぎ。
スマートコン @konn-san.com 小人閒居為不貞寝 @mr_konn from Twitter
海老コチニール @ebicochineal.bsky.social 海老レンジャイ コチニールレッド
AtCoder(highest A水/H橙),TopCoder(MM黄),CodinGame(Grandmaster)
CodeGolf,Python,C#,C++,Unity,Blender,Arduino,3Dプリンタ
スキンヘッド,中卒,引きこもり,ヤマトコン2位,第4回Asprovaコン4位