@kkawasima.bsky.social @kkawasima.bsky.social 
西郷甲矢人 @hayatosaigo.bsky.social 数学者（ZEN大学教授）
しらおか @whitetamaaa.bsky.social フロントエンド寄りのプログラマー
TS/React/Hono/PHP/Laravel/Rust/Haskell あたりを深めていきたい
Mutsuha Asada @momee.mt Nix / Automated software engineering / Reproducible builds / Compilers
Science Tokyo 27M ← ITF.coins22
https://momee.mt / x.com/mutsuha_asada
try! Swift Tokyo @handle.invalid International Swift developer conference in Tokyo 🇯🇵
Talks, ideas, and community around Swift & iOS
Apr 12–14, 2026 | Tokyo
https://tryswift.jp/en
KENYA @kenya353.bsky.social 2025年11月1日始動！
日常の面白いことを呟いていくよ👦🏻
【YouTube】
https://youtube.com/@kenya896?si=AizpBqWiyOhjbvox
@grippppong.bsky.social @grippppong.bsky.social 
yoshitsugu @k-yoshitsugu.bsky.social 
れんくす @lenqth.bsky.social https://twitter.com/Lenqth
元数学科（卒業してない）。主に数学,情報などを中心に色々放浪してる。 語学は不得意。 よく使ってる：python,JS/TS(Vue, Svelte),Rust,Julia AtCoder青(Rust)
MtGとかVRC、Resonite、生成AIやります たぶんなんでもアカウントになりますので注意
採用・就活支援者 @bananachip.bsky.social 1.理系学生の就活生、理系学生を採りたいと考えている企業を支援
2.エンジニアが不足している企業のリソース獲得支援
Moritz Schauer @mschauer.bsky.social Statistician, Associate Professor (Lektor) at University of Gothenburg and Chalmers; inference and conditional distributions for anything
https://mschauer.github.io
http://orcid.org/0000-0003-3310-7915
[ˈmoː/r/ɪts ˈʃaʊ̯ɐ]
ガルオン @garon114514.bsky.social 工作と博物館が大好きなオタク。
物理、数学、レトロゲーム、マイコン、ヒューマンバグ大学が大好物。イアン・マルコムみたいな数学者兼恐竜屋になりたい。
Twitterの裏垢的な側面もある関係で、愚痴も多いのでご了承ください。
ゆます🌕 @agywst.bsky.social 
Umu @umu-mu.bsky.social 都内で働くITエンジニア。
コピーフリーPDFで販売される電子書籍販売サイトをまとめています。
https://twitter.com/Umu999_0YOtJHCt/status/1286591433776828416
http://zenn.dev/umu
http://umu-mu.hatenablog.com
アイコンとヘッダーは世界で一番美しい山。
atree @atree4728.bsky.social B3, IS26, atree4728.github.io, Haskell, OCaml
@ilyaletre.bsky.social @ilyaletre.bsky.social Ops 寄りの仕事をする擬プログラマ。
関数型プログラミング , 一部のLisp方言, ネットワーク技術, 丹沢山系 #ときのそら 🐻 と #ぜったい天使くるみちゃん が好き。ロボットになりたい。
Janos0207 @janos0207.bsky.social Data Engineer, Master of Science (Mathematics)
https://linktr.ee/janos0207
nghialv 🐳 @nghialv.bsky.social Software Engineer
Lover of OSS. Creator of PipeCD, Promviz, LotusLoad, Hakuba, MaterialKit...
github.com/nghialv
satler @satler.dev langs: ja, Rust, Nix, Elixir, (en, Haskell, CLisp)
https://keybase.io/satler
https://satler.dev
Izaias *Blancore ❅ @blancore.bsky.social brazillian aspiring artist, student, 20y 11/11
écletico, e alem doq uma bio poderia resumir
i am not spam
pardon me bluesky
びしょ〜じょ @nymphium.bsky.social ex-WORD マスターオブプログラムランゲージ
x.com/Nymphium
github.com/Nymphium
nymphium.github.io- Y @yoshikunijujo.bsky.social @yoshikunijujo.bsky.social Haskell好き
サクラ @1997-takahashi.bsky.social サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
wasabi @wasabi315.bsky.social :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
adultpostingman @adultpostingman.bsky.social 🫶大人な本や画像・動画を紹介していくよ 🫶
🔞いい動画揃ってます🔞
Motonori Shindo / 進藤資訓 @shindo.bsky.social 生涯エンジニアでいたい。
Logicoffee @logicoffee.tech 数学科卒データエンジニア/統計学/ランナー
https://blog.logicoffee.tech/
しお @sios.io how 誰 you
ishiy @ishiy1993.bsky.social 
Yudai Tanabe @yudaitnb.bsky.social 
らきりと @lakiryt.com AtCoder緑/🐥推し
音楽/言語
Masaki Waga @maswag.net - H @hikobae.bsky.social @hikobae.bsky.social
あくすと @akusto.bsky.social ﾊﾟｿｶﾀ好き大学生
極稀に奇妙な絵をupすることがあるかもしれません。
Wataru JK1KTT @jk1ktt.bsky.social Haskell, electric circuits, Ham Radio, minerals, violin, leather crafts
1アマ、一陸持ちの10W局
まざっち @mazamachi.bsky.social Twitter: @mazamachi
ソフトウェアエンジニア@HERP
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
お卿々さん太郎 @lord-mayo.bsky.social okeke 20↑ぶうんぶうんきゅるるああああ 𠷡は嫌いじゃないです。膝のえくぼすき
ちまめ @shingox.bsky.social アプリ開発（Androidが多い）のお仕事をしています。
YOSHIMURA Yuu @y-yu.bsky.social Scala，LaTeX，Swift，型システム，暗号，量子計算．筑波大学情報科学類（COINS11，WORD編集部），未踏ターゲット（2018ゲート式量子コンピュータ），コーヒー☕️
X: https://twitter.com/_yyu_
GitHub: https://github.com/y-yu
Zenn: https://zenn.dev/yyu
CTF: https://urandom.team
安全第一 @kripkejoyal.bsky.social 本日のKYは、ヘルメット安全帯を装着し、
高次元圏作業時には安全圏の使用を徹底します。
作業後には手摺り足場等の現場復旧並びに、
高次切り捨て１圏復旧を徹底します。
今日も一日ご安全に！- F Genki Sato/gksato @fine-sugar-hill.bsky.social
Francesco Teopini @drfingerstyle.bsky.social Classical guitarist, recording artist, music educator, musicologist (PhD), Classical/Pop Int. Examiner 🎸💿🔎🎶
Follow me on 👇
YouTube: youtube.com/@FrancescoTeopini
IG: instagram.com/francesco_teopini
Spotify: https://open.spotify.com/artist/3mOYZ1urMzWb
ukikagi @ukikagi.jp 人や銀河や修羅や海胆
mkashi @mkashi.bsky.social twitter: https://twitter.com/mkashi
mastodon: https://mstdn.jp/@kashi
ヘンゼルの記憶 @han-sel.com 小説好き
コミック好き
ゲーム好き
アニメ好き
音楽好き
プログラミング好き
スイーツ大好き
sumi @sumi.space gay liberal vegetarian
https://3.sumi.space
2026-09-17 twitterが凍結したのでbluesky活性化
SuzumiyaAoba @suzumiyaaoba.bsky.social 
patho_logic @patho-logic.bsky.social ランニングぐらいしか書くネタがない日々。もっと数学ついて色々書きたいんだが。
Kazuya Mitsutani @kmitsutani.bsky.social 理論物理学博士課程単位取得退学→機械学習・データサイエンス界隈
余暇をほぼすべて物理に使っている気がします．
最近は場の量子論を学び直しながら量子測定とか量子情報とかサーベイしようとしています．
https://sites.google.com/view/kmitsutani/
takuya-a @takuya-a.net 
Rikito Taniguchi @tanishiking.bsky.social Scala Compiler Engineer @ VirtusLab
Toru3 @toru3.gitlab.io 好きなもの: Rust/C++(20以降)/i3wm/HPC/計算機代数/グレブナー基底/剰余環/FFT/多倍長計算/円周率/ボードゲーム/ドミニオン/鉄道/早見沙織
HP https://toru3.gitlab.io/
X(Twitter) @Toru31415926535
syocy @syocy.bsky.social Twitter: @syocy
Mastodon: @syocy@fla.red
YAMAMOTO Yuji （HN: すがすがC言語） @igreque.info プリキュアと音ゲーとポムポムプリンとプログラミングが大好き
Loves PreCure, rhythm games, computer programming, and Pompom Purin!
Personal Website: https://the.igreque.info/
Misskey: https://rhythmisskey.games/@igrep
GitHub: https://github.com/igrep
旧Twitter: https://twitter.com/igrep
名無し。 @nnc5522.bsky.social MLE(ML, Kaggle, Computer Vision, Neovim)
GitHub: https://github.com/daikichiba9511
HP: https://daikichiba9511.github.io/my-personal-site/
Date @date.bsky.social Main organizer of try! Swift Tokyo
335g @335g.bsky.social 目移りばかりして何がしたいのかわからなくなってきた
もの / mono @mono-cat.bsky.social interested in chromatic homotopy theory and ∞-category theory
Takanori @11takanori.bsky.social 自動運転のsimulationを実行するための基盤を開発したり、社会人大学院生として形式検証したりしてる
Wild pentachoron correspondent @crossslide.bsky.social Ame
thyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
44 years old.
淡中 圏 @tannakaken.xyz ソフトウェアと小説を書く空手家。数学好き。
どうでもいいことと何の関係もないことについて呟きます。
Kazzix @kazzix.bsky.social 
inamiy @inamiy.bsky.social Interests: Programming, Logic, Math, Physics, Biology, AI, Natural History, Anthropology, Books, Travel, Culture.
Language: 🇯🇵🇬🇧
ymtszw @ymtszw.cc 農村でPCゲームして育ちました。2019/06よりSiiibo証券株式会社( http://siiibo.com )取締役CTO。「人は獣」。
https://ymtszw.cc
どら @dora1998.bsky.social Web Engineer / https://twitter.com/d0ra1998/status/1676178173929881602?s=20
ミカヅキモ @midorimushi.bsky.social ミカヅキモ
h8t0（ハヤテマル） @h8t0.bsky.social SWE/NLP見習い ← Ph.D. in Physics @UT
Twitterと同じID
https://ho-oto.github.io/
Masahiro Sakai @msakai.bsky.social Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/
GitHub: https://github.com/gfngfn
Twitter (”X”): https://twitter.com/bd_gfngfn
正気・腕力・犬 @tsukimikaze.bsky.social 本垢 https://misskey.io/@tsukimikaze よりpostを転送しています
たまに画像や動画がうまく貼れない時に misskey.io へのリンクになっていることがありますがたぶん怪しい物ではないです
ほりたみゅ @hyrodium.bsky.social 幾何とかの具現化をやってます。
💜 → JuliaLang/数学/工作/3Dプリンタ/レーザー加工機/いきもの/クランベリー/世界平和
個人サイト → https://hyrodium.github.io/ja/
Booth販売 → https://hyrodium.booth.pm/
ぴくすふぁんく @pxfnc.bsky.social 
Hiroyuki Miyoshi @metaphusika.bsky.social Research interests: mathematics (category theory, mathematical logic, etc.), theoretical computer science, philosophy of computation.
ほとけ @schwmtl.bsky.social Sono Motoki
https://twitter.com/schwmtl
wanimaru @wanimaru.jp 広告プラットフォームエンジニア, クライマー
Signal:wanimaru.02
YHWH @vertical-blank.bsky.social 飲酒は自傷行為
だいし @daishijtt.bsky.social Emacs, 競プロ, Python, サーモンランNW, CAE, LOD, Obsidian
https://twitter.com/toot_jtt
Mizunashi Mana @social.mizunashi.work 弱い Haskeller。C言語が書けないのでプログラミングできないです
主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を
Home: https://mizunashi-mana.github.io/profile/
kikuyuta @kikuyuta.bsky.social Working on rebirthing regional societies as a professor of Kochi tech. Also on telecommunication and renewable energy as board members of business startups. An alchemist loves Elixir also Nerves.
msawa @msawady.bsky.social 主にバスケとか将棋とかです。エンジニアですが仕事の話はしません。よろしくおねがいします。
すてびお @stevioside.bsky.social スプラ3
Haskell
Python
Satoshi Watanabe @sassy-watson.bsky.social まじめなエンジニア、まじめにエンジニア。仕事はソフトウェアエンジニア。趣味は写真撮影と読書。モノノフ。一児の父。
口玉(くちたま) @kuchitama.bsky.social かつてのScalaニンジャ、今は…
I was a Scala Ninja, but now...- Y Yoshie Nagatomo @yoshienagatomo.bsky.social
yasuo_ozu😶量子コンピュータエンジニア @ozu.bsky.social QunaSys 早稲田/名古屋大 理論物理学/Arch Linux/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/SAT Solver/定理証明/新井朝雄/アカペラ/人狼
https://twitter.com/yasuo_ozu
@calkinos.bsky.social @calkinos.bsky.social I love chocolate mint.
kakkun61 @kakkun61.bsky.social https://kakkun61.com- M ふじたく @magiepooh.bsky.social
Takuya Kano @can0724.bsky.social Director of Product Management | smartround
niszet @niszet.bsky.social 
popyson @popyson.bsky.social Computer Science Student
ken5scal @ken5scal.com Cyber Security Engineer, SRE, SysAdmin in Fintech/Securities/Asset Mgt / AWS / EntraID / Go / TypeScript / Organizer of Secure Brigade. Publishing a podcast, 'Secure Liaison,' and a newsletter, 'Security Intelligence for Busy People'. UC Berkeley Alumni
usadamasa @usadamasa.bsky.social 各自なかよく。