I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now.
he/him
https://www.youtube.com/technologyconnections
#Christian; #pisky; #Anglican; #liturgy; #gregorianchant; #tech; #weightlifting; #watchgeek
PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Humanizing the web with a user-centric search engine and browser - no ads, no trackers, just you and the product you love: https://kagi.com/
A brand new handheld video game system from Panic.
➡️ Available at https://play.date
💬 Need help? Go to https://help.play.date
panic.com • Maker of apps (Nova, Prompt, Transmit) • Publisher of Firewatch, Untitled Goose Game, Nour: Play With Your Food, Thank Goodness You're Here, Arco, Despelote, Time Flies • Oh, and also @play.date
She/Her 🍉
Forever an enigma
25 she/her
Aspiring pianist
Bimbocore adjacent
Error at line 4: Type Girl expected, found type Robot instead
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
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.
*Philosophy MA
*Christian-Platonist
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler.
Also find me on 🦣 @axman6@infosec.exchange
PL nerd, digital artist. Making programs typecheck in the UK.
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inkytonik.
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
#haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
doing PL & compiler work in Edinburgh
@__SIben__ on Twitter.
Working on ML compilers for GPU @Google 🇨🇭
🇫🇷 PhD in PL from UiB 🇧🇻
(Ex?) Go player, CTFer w/ The Flat Network Society
The ACM Special Interest Group on Programming Languages.
computers can be understood • she/her, ⚢ • Chicago
Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
https://www.twitch.tv/shaun_vids
https://www.youtube.com/@Shaun_vids
https://www.patreon.com/shaunfromyoutube
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
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
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Applied Compositional Thinking
🌉 bridged from ⁂ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
philosophy doer. kantian. paying people to torture animals is bad.
Principal Scientist at Stealth Software.
Thanks to impermanence all things are possible
Working on a book on topos theory
Garbage collector.
Professor.
Programming Language Researcher at the Australian National University
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
https://ionathan.ch
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Get used to disappointment.
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
CS professor at UT Austin, does research in programming languages & formal methods.
Profile for the LGR YouTube channel. Covering vintage computer hardware, software, and various retro tech oddities. https://youtube.com/@LGR
An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
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
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
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Computer Scientist at the Czech Academy of Sciences
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Theoretical Physicist.
(She/her/hers)
From Eastern KY.
🖥️ Gaming Youtuber, Media Critic, Philosopher King 🤴
💙 Patreon.com/Hbomb
📩 Enquiries to contact@hbomb.zone
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hillelwayne/
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
I research programming languages and turn Category Theory into code
Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.