@mattecapu.bsky.social
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@taliaringer.bsky.social
@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
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@wiredaemon.bsky.social
Formal Methods, Programming languages, Specifications. discord: wiredaemon she / her 🏳️⚧️
@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.
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@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
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/
@harrisongrodin.com
PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
@tonofcrates.bsky.social
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@chenson.bsky.social
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.