Chris Henson
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
@isabelroses.com
Black magic-practitioning Nix witch 20 | she/her | 🖤 @robinroses.xyz my website -> https://isabelroses.com hell -> https://isabelroses.com/api/discord
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.
@mfornet.bsky.social
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@tijanaminic.bsky.social
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸 tijanaminic1.github.io
@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/
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@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
@jukkasuomela.fi
Associate Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
@mattrusselluk.bsky.social
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@gok99.bsky.social
Undergrad @ NUS and walkable city enthusiast doing Programming Languages research
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@dabeaz.com
Free-range computer scientist living in Evanston, Illinois. I wrote some Python books. If you want to talk code, take a CS course https://www.dabeaz.com/courses.html. I'm mainly here for dogs, bikes, trombones, and other random stuff.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@simeondermaats.bsky.social
Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon.
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@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
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@spiralganglion.com
i want to feel something when i program the computer @inkandswitch.com Δ futureofcoding.org Δ ivanish.ca he/him, canadian, let's be friends
@paulbiggar.com
Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@tonofcrates.bsky.social
@amyko.phd
Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@harrisongrodin.com
PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/
@miclugo.bsky.social
northerner in exile, data scientist, reads too much, lover of cats, parent of world's cutest chaos muppets