herumi @herumi.bsky.social 光成滋生 MITSUNARI Shigeo/目指せ生涯ウォーキングプログラマ/x86最適化と数学と暗号が好き/サイボウズ・ラボ/暗認本『図解即戦力 暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書』4刷
https://gihyo.jp/book/2021/978-4-297-12307-9
https://github.com/herumi/
Dai MIKURUBE @dmikurube.bsky.social Software groundworker. Hardly-working fully-stuck go-fer person.
Competed in ACM-ICPC. Lived in UK. Maintained Embulk. Worked for OS/VM/middleware/web browser. Ex-researcher at industry.
Moved from: https://twitter.com/dmikurube
Sigma @superhacker.bsky.social #Haskell
I’m studying English.
[My tech Articles(Translated into English by AI)](https://zenn.dev/sigma_tom)
[GitHub](https://github.com/RyosukeDTomita)
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
Mune-san @muneoiz.moizumi99.com Image Processing IP Architect at NVIDIA／いわずもがなですが発言は個人のものであり所属先とは関わりありません／同人誌「ゼロから作るRAW現像」PDF版 http://moiz.booth.pm/items/1292480 / US/California/SouthBay
I @wx257osn2.template.typena.me twitter.com/wx257osn2
github.com/wx257osn2
しらおか @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
津茶利休 @ttylys.bsky.social 
かつて ゆうだい だった何か.jl @tenfac.bsky.social Tensor factorizer
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Haskell Interlude @haskellinterlude.bsky.social The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@terrorjack.bsky.social @terrorjack.bsky.social 
折登 樹 @bsky.orito-itsuki.net https://strata.orito-itsuki.graphics
wanimaru @wanimaru.jp 広告プラットフォームエンジニア, クライマー
Signal:wanimaru.02
かおるこたゃ @x56.jp プログラミング言語の研究。生活。しばらくスイスへ。
Wataru JK1KTT @jk1ktt.bsky.social Haskell, electric circuits, Ham Radio, minerals, violin, leather crafts
1アマ、一陸持ちの10W局
霧咲空人/アッキーだよ✨ @akihitokirisaki.bsky.social エンジニア/絵描き
https://klara.works
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
t3tra @t3tra.dev 5000兆円欲しい
https://t3tra.dev/
https://x.com/t3tra_x
https://github.com/t3tra-dev
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Az @azaika.bsky.social 何かをしている場合もある Web/Chromium/C++/Rust/形式検証
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Masaki Hara @qnighy.qnmd.info.ap.brid.gy 言語処理系いじりとロジックが好き 相方→@qnighy
※バニラのマストドンのため、カスタム絵文字スタンプを使えません。
🌉 bridged from ⁂ https://qnmd.info/@qnighy, follow @ap.brid.gy to interact
Koji Miyazato @viercc.bsky.social Twitter(X), GitHubなどにいるのと同一人物です
openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6
興味: Haskell, 数学
Firefox @firefox.com The only major non-profit backed, people-first browser ️🔥
Niccori 250k @niccori250km.bsky.social ja / en / la / (grc)
好きなものを書き連ねようとしたけどどれもまとめ方に困ったので諦めました。
h8t0（ハヤテマル） @h8t0.bsky.social SWE/NLP見習い ← Ph.D. in Physics @UT
Twitterと同じID
https://ho-oto.github.io/
@ilyaletre.bsky.social @ilyaletre.bsky.social Ops 寄りの仕事をする擬プログラマ。
関数型プログラミング , 一部のLisp方言, ネットワーク技術, 丹沢山系 #ときのそら 🐻 と #ぜったい天使くるみちゃん が好き。ロボットになりたい。
Mizunashi Mana @social.mizunashi.work 弱い Haskeller。C言語が書けないのでプログラミングできないです
主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を
Home: https://mizunashi-mana.github.io/profile/
kakkun61 @kakkun61.bsky.social https://kakkun61.com
ミカヅキモ @midorimushi.bsky.social ミカヅキモ
技術書典 公式アカウント @techbookfest.org #技術書典 21は2026年11月21日(土)〜12月6日(日) オンラインマーケットで開催！オフライン会場は11月23日(月・祝) ＠池袋！お困りごとやご相談はDiscordに参加してサークル参加経験者に聞くか、公式サイトの「お問い合わせ」からどうぞ。 https://blog.techbookfest.org/
windymelt @capslock.dev プログラミング言語Scalaのコミュニティ「Scalaわいわいランド」を運営しているよ。←ググって！！！
https://www.3qe.us
PGP: F2FC 63C2 42C0 4D9D
kubo39 @kubo39.bsky.social D言語とブルアカとトリッカル
GitHub: https://github.com/kubo39
kagami-hr @kagami-hr.bsky.social 神奈川県藤沢市在住 東北大学卒業理学修士 (数学専攻) 現在プログラマー 社民党党員 (X https://x.com/kagamin_hr)
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
@khibino.bsky.social @khibino.bsky.social 
しらそら @silasol.la プログラミング言語と数理論理学がすきです🐹
・個人サイト: https://silasol.la
・Keybase: https://keybase.io/silasolla
・ソーシャルメディアは、基本的に silasolla というユーザ名でやっていますが、例外もあります: https://silasol.la/links
dif_engine @dif-engine.bsky.social 超準解析／翻訳『計算論理と人間の思考』／豚肉食へのヘイトから自由／
岡本和樹（サークル 趣味はデバッグ……） @kakkun61.com https://kakkun61.com/
@zenamp.bsky.social @zenamp.bsky.social 
Nobuo Yamashita @nobsun.bsky.social I love programming in Haskell, and playing low flute (e.g. bass flute, contrabass flute and subcontrabass flute in F).
サクラ @1997-takahashi.bsky.social サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
mfuji🦦 @fuji.bsky.social #os #cpu #robot
しお @sios.io あなた自身について少し教えて
taf @taf360.bsky.social 3月まではIT系専門学校教員。スクラム開発、デザイン思考などを教えておりました。その先はまだ未定。
https://lit.link/taf
popyson @popyson.bsky.social Computer Science Student
wasabi @wasabi315.bsky.social :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
星にゃーん @takoeight0821.bsky.social 
yoh @yohhoy.bsky.social https://x.com/yohhoy
k0kubun @k0kubun.com Optimizing Ruby JIT. ZJIT team at Shopify.
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
夜糸@bsky @yai.to 
@fetburner.bsky.social @fetburner.bsky.social https://fetburner.hatenablog.com/
鵺（マッチ） @nue-of-k.bsky.social 情報と数学をなんとなく愛する 0x24 歳のかわいい生き物。 雑学; 鉄道（乗り潰し派）; 卓ゲ; 散歩; 献血; 文字; 計算機科学; プログラミング; 超準解析; 圏論; 変人; 運痴; 記録魔; 少食系; 光のほげほげ士
📍関東平野 👤 tā/tā 🎈誕生日: 1989年7月6日
📆 2023年7月からBlueskyを利用しています
Masaki Waga @maswag.net 
さのたけと @taketo1024.bsky.social 数学の研究者, プログラマ, 二児の父 (9歳女, 0歳男)
https://taketo-sano.me/- Y @yoshikunijujo.bsky.social @yoshikunijujo.bsky.social Haskell好き
- B @bloomfilter.bsky.social @bloomfilter.bsky.social https://highload.fun/ でSIMD高速化バトルをしています
Umu @umu-mu.bsky.social 都内で働くITエンジニア。
コピーフリーPDFで販売される電子書籍販売サイトをまとめています。
https://twitter.com/Umu999_0YOtJHCt/status/1286591433776828416
http://zenn.dev/umu
http://umu-mu.hatenablog.com
アイコンとヘッダーは世界で一番美しい山。
@minemaz.bsky.social @minemaz.bsky.social 2025 年ですがOpenCOBOL(主にコンパイラの中)とか弄ってます。Haxeとか組込とかRoundcube Webmail(カスタマイズとかplugin開発)も。インフラ/サーバ関連なども。長崎で開発会社運営 SW-2051-8278-4526 銀モデもち
syocy @syocy.bsky.social Twitter: @syocy
Mastodon: @syocy@fla.red
Keiichiro Shikano @golden-lucky.net Lambda Note Ltd. https://twitter.com/golden_lucky
「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
Haruhiko Okumura @okumura.bsky.social Professor Emeritus, Mie University, Japan
https://okumuralab.org/~okumura/
uint256_t @uint.bsky.social compiler and microarch
https://sigfpe.info/about
きえだゆうすけ @p-typo.bsky.social 『数式組版』ラムダノート
https://www.lambdanote.com/products/mathtypo
㈱清閑堂／ハクバオウジ㈱代表
™︎ @tmaehara.bsky.social https://www.tmaehara.com/ TCS Researcher & ML Engineer.
Brilliant British Foods: https://bsky.app/profile/did:plc:dqxsa5cjfrzulhalom4kuyd2/feed/aaaiqwjhlzavy
Bluesky Bots https://gitlab.com/tmaehara/bluesky-newsbots
Masaki Hara @qnighy.bsky.social @qnighy.qnmd.info.ap.brid.gy
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
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/
GitHub: https://github.com/gfngfn
Twitter (”X”): https://twitter.com/bd_gfngfn
ほりたみゅ @hyrodium.bsky.social 幾何とかの具現化をやってます。
💜 → JuliaLang/数学/工作/3Dプリンタ/レーザー加工機/いきもの/クランベリー/世界平和
個人サイト → https://hyrodium.github.io/ja/
Booth販売 → https://hyrodium.booth.pm/
Sho Yokoi @shoyokoi.bsky.social (理解|納得)のための(説明|正当化|推論|議論)を担う(言語|知識)の数理と上達の方法論とインセンティブデザインとアナログゲームに興味があります。
Iwao KIMURA @iwaokimura.bsky.social I’m a mathematician.
某ZR（ざんねん🙃） @zr-tex8r.bsky.social zr_tex8r is ZR and can make mistakes.（ざんねん🙃）
Toru3 @toru3.gitlab.io 好きなもの: Rust/C++(20以降)/i3wm/HPC/計算機代数/グレブナー基底/剰余環/FFT/多倍長計算/円周率/ボードゲーム/ドミニオン/鉄道/早見沙織
HP https://toru3.gitlab.io/
X(Twitter) @Toru31415926535
Yusuke Terada @doratex.bsky.social 
Muskeltrainingsübermenschbot @wtsnjp.com Nichts ist wahr, alles ist erlaubt
📍 die bunte Kuh
🪦 https://wtsnjp.com