Koji Miyazato

@golden-lucky.net

Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26

@onemegawatt.bsky.social

Fanwork account. JRPGs and lotsa Pokemon

@fp-matsuri.bsky.social

https://2025.fp-matsuri.org

@iokasimov.bsky.social

Software designer muratkasimov.art

@mod-poppo.bsky.social

Haskell / Standard ML

@roborosewaterm.bsky.social

MTG cards designed by an RNN. Trained by @CocoaMix86. Not official content. https://linktr.ee/roborosewatermasters

@aspiwack.bsky.social

Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.

@sigplan-pldi.bsky.social

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.

@capslock.dev

プログラミング言語Scalaのコミュニティ「Scalaわいわいランド」を運営しているよ。←ググって！！！ https://www.3qe.us PGP: F2FC 63C2 42C0 4D9D

@piyokango.bsky.social

セキュリティインコです🐣 Blueskyでは海外のセキュリティ関連記事を中心につぶやきます。気の向くままブログ(piyolog)も書いてます📝Podcast #セキュリティのアレ も参加中です🎤よろしくお願いします～🐦 プロフィール画像はアレティさんに描いて頂きました😃

@shinadayu.bsky.social

小説、エッセイ、ウェブライター、漫画、オモコロ。 https://shinadayu.com/

@dialecticalrussell.bsky.social

Eclectic Bakuninist Math/Computer Science musings can be found over at hegeliantaco@mathstodon.xyz

@aurxenon.io

@aurxenon on Twitter Occasionally good posts - he/him Graduate comp sci researcher at UMBC and now Johns Hopkins :) Opinions are always my own Blog is https://aurxenon.io

@eitan-chatav.bsky.social

Soul of a mathematician

@sjoerdvisscher.w3future.com

#haskell #categorytheory #lumatone 👫 @boekencurator.bsky.social 🏠 https://sjoerdvisscher.glitch.me 💼 https://tweag.io 🗣️ https://strijpskamerkoor.nl

@konn-san.com

小人閒居為不貞寝 @mr_konn from Twitter

@serranofp.com

👨‍💻 Researcher @ Kotlin Evolution @ JetBrains 🧙‍♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books

@jaspervdj.be

I like Haskell

@chrispenner.ca

FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca

@haskell.org

Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org

@gelisam.bsky.social

professional Haskeller

@bartoszmilewski.bsky.social

Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf

@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

@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

@lexi-lambda.bsky.social

computers can be understood • she/her, ⚢ • Chicago

@tokor.org

ロボットっぽいもののソフトウェアを書いてる。カリフォルニアで子猫と暮らしている。 Discord: tokoro10g / VRC: tokorotan / Misskey: @tokoro10g@misskey.io A roboticist / software engineer / homebrewer in LA. Made in Japan. Likes: cats, IPA, cooking, Vim, Geoguessr, language learning

@shriram.bsky.social

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

@p1xelher0.com

λ dysfunctional programmer

@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.

@gfngfn.bsky.social

https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/

@welltypedwit.ch

When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch

@zanzi.bsky.social

I research programming languages and turn Category Theory into code

@flaviocorpa.com

Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)

@khibino.bsky.social

@arakencloud.bsky.social

生活習慣を改善したい飯アカウント。 雲研究者・気象庁気象研究所主任研究官・学術博士。防災・減災のために、雲の仕組みを研究しています。気象監修：映画 天気の子。情熱大陸／ドラえもん／おはスタなど出演。著書：すごすぎる天気の図鑑シリーズ／防災の超図鑑／雲の超図鑑／読み終えた瞬間、空が美しく見える気象のはなし／天気の写真えほんシリーズ／雲の教室／雲を愛する技術など。発信は個人見解です

@shieriru.bsky.social

イラスト作家✴︎ocとfan art 現在、新規のご依頼はお受けしておりません ポートフォリオサイト ▶︎ https://xfolio.jp/portfolio/shieriru

@sios.io

例：アーティスト、犬好き、熱烈な積読書愛好家。

@ngntrtr.bsky.social

。

@wasabi315.bsky.social

:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)

@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

@nobsun.bsky.social

I love programming in Haskell, and playing low flute (e.g. bass flute, contrabass flute and subcontrabass flute in F).

@yoshihiro503.github.io

@yukikurage.net

基本的にうるさいです 🎮ゲーム制作 stellagate.yukikurage.net ♥️ 純粋関数型 (PureScript) zenn.dev/yukikurage/articles/482a8647421fd5 🎵 作曲(Dynamix / Takumi³ / ChainBeeT) soundcloud.com/yukikurage 🎨 イラスト www.pixiv.net/users/44737353 traP元代表 twitter.com/traPtitech

@ababupdownba.bsky.social

ドラクエと暮らしたい

@depthsofwikipedia.bsky.social

hi this is @annierau.bsky.social! my DMs are open

@xkcd.com