Johannes Riecken @rubystallion

Joined April 2009

Tweets

15
Followers

6
Following

81
Likes

5

No recent Tweets. New Tweets will appear here.

Murat Kasimov @iokasimovm

277 Followers 69 Following Software designer, independent researcher, making @ya_language

Will Crichton @tonofcrates

7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.

Casey Muratori @cmuratori

61K Followers 145 Following Programming: https://t.co/Bdh1Xj2PpV Comics: https://t.co/fmdjK9HFxW

VP of Community @ Zig Software Foundation • Zig Livecoding https://t.co/iJK2ZfBJIX • Creator of https://t.co/V2ZSAsvwea • Host of https://t.co/U9x5CnGyWB • 📧 loris@sycl.it

7K Followers 89 Following VP of Community @ Zig Software Foundation • Zig Livecoding https://t.co/iJK2ZfBJIX • Creator of https://t.co/V2ZSAsvwea • Host of https://t.co/U9x5CnGyWB • 📧 [email protected]

Eitan Chatav @EChatav

377 Followers 250 Following Soul of a mathematician

Michael Arntzenius irl. PL design, math, calligraphy, &c.

✉️ daekharel@gmail.com
🐘 @rntz@recurse.social
🟦 https://t.co/bdWP4Lq7Td

rntz @arntzenius

2K Followers 339 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td

Ryan Fleury @ryanjfleury

17K Followers 116 Following Digital Grove | Working on the RAD Debugger at @radgametools / @epicgames (opinions my own)

Paweł Sączawa @sonchava

121 Followers 342 Following I like Haskell. Change my mind

Tom Sydney Kerckhove @kerckhove_ts

3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language

Justin Lê @mstk

2K Followers 1K Following jle / mstksg / Lê Anh Khoa: Computational Science PhD, Physics BS, Haskeller & amateur musician; he / him

Chris Penner @chrislpenner

21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0

PLDI @PLDI

5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0

Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury

I'm a midwife to the hidden beauty in everything

she/her 🏳️‍⚧️

gabby @GabriellaG439

15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️

ICFP Conference @icfp_conference

4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.

There's no sense crying over every mistake.
You just keep on trying till you run out of cake.
- GLaDOS
https://t.co/70SfmxnROe
https://t.co/p6LXXU7dGH

Prophet @welltypedwitch

3K Followers 544 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH

Andor Pénzes @sverien

532 Followers 1K Following Functional programming,software development,compiler construction.

Liam Goodacre @goodacre_liam

476 Followers 457 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.

🪬 Former CTO of @haskellfound
🧘 Advisor/Core Eng Honcho @kadena_io
🐎 Horse and dairy lover
🤠 Cowgirl Utahn

Reject modernity - return to pasture

🌸🐑 mlep🥛🌸 @yandereidiot

6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture

(homotopy, cubical) type theory, category theory, functional programming, music. PhD student at Chalmers. Any pronouns.
@ncf@types.pl

Naïm Camille Favier @ncfavier

142 Followers 293 Following (homotopy, cubical) type theory, category theory, functional programming, music. PhD student at Chalmers. Any pronouns. @[email protected]

🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2
🌿 asst professor @UMichCSE
🍃 poetry
🪸 dendrites
🎶 immersion
〰️ wavy nerd crew

Cyrus Omar (now mainl... @neurocy

3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew

Jon(athan)? Chan 🏳️‍🌈 • he/they ↵
MSc @ubc_spl ⊢ PhD @CIS_Penn ↵
programming languages and type theory ↵
@ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR

🥢 Jon 🍲 @ionathanch

952 Followers 432 Following Jon(athan)? Chan 🏳️‍🌈 • he/they ↵ MSc @ubc_spl ⊢ PhD @CIS_Penn ↵ programming languages and type theory ↵ @ionchy.ca on bsky | coädmin on https://t.co/kUlV1hNtrR

András Kovács @andrasKovacs6

910 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM

Erik Meijer @headinthebox

31K Followers 2 Following

andrew blinn @disconcision

4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone

Lennart Augustsson @Augustsson

2K Followers 199 Following

sinan @_osa1

862 Followers 277 Following

Tom Ellis @tomjaguarpaw

2K Followers 62 Following Groq, Haskell, Bluefin, Opaleye

lotz @lotz84_

4K Followers 544 Following 野生のHaskeller。Lean4見習い

He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. liyao@mastodon.acm.org

Yao Li @lastland0

1K Followers 670 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]

Matti Palli 🧙‍�... @tritlo

3K Followers 2K Following uncertified haskell engineer | certified researcher

Talk to me about Haskell, GHC, general CS or my trumpet

Mastodon: @sgraf@mastodon.online

Sebastian Graf @sgraf1337

285 Followers 254 Following Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]

Tikhon Jelvis @tikhonjelvis

3K Followers 249 Following I like programming languages. A lot. Tools, types and functions.

Oskar Wickström @owickstrom

5K Followers 758 Following Software engineer in rural exile by the sea.

João Forte Carvalho ... @bgamari

2K Followers 315 Following Director of Product @Constellation Network

🌑 Qamarade Hécate... @TechnoEmpress

2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.

assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC

Sam Westrick @shwestrick

1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC

Vanessa McHale @vamchale

8K Followers 2K Following Mainly Haskell, sometimes J/?

Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site

Barry @chiroptical

558 Followers 277 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site

Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

Jacques Carette @jjcarett2

2K Followers 934 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.

Ivan Čukić @ivan_cukic

2K Followers 307 Following dr Ivan Čukić, author of "Functional Programming in C++" (https://t.co/uyFPzzq1TI), @KDABQt and @kdecommunity developer and Free/Libre Software enthusiast.

Gergő Érdi @gergo_erdi

459 Followers 333 Following Finite-tape Turing machine

Andreas Klebinger @AndreasK_Tweets

405 Followers 54 Following Working on the Glasgow Haskell Compiler.

Vladislav Zavialov @int_index

2K Followers 259 Following Haskell programmer since 2012; GHC contributor since 2018.

Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.

jaspervdj (@functiona... @jaspervdj

3K Followers 371 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.

postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)

Dani ✨🐚 @starsandspirals

331 Followers 236 Following postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)

Alejandro Serrano @trupill

4K Followers 481 Following 👨‍💻 Researcher at Kotlin Evolution Team 🧙‍♂️ Haskell wizard 📚 Author of 4 books 👨‍👩‍👦‍👦 +1 of @ElenaVielva

I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.

Luc Tielen @luctielen

1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.