Good Trailcams @goodtrailcams.bsky.social trailcams
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
SE Gyges @segyges.bsky.social Como todos los hombres de Babilonia, he sido procónsul; como todos, esclavo; también he conocido la omnipotencia, el oprobio, las cárceles.
very sane ai newsletter: verysane.ai
all writing: https://segyges.github.io/
also @antiantiai.bsky.social
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
mcc @dryad.technology glitch girl — I do not trust this place and would prefer you follow me on Mastodon: https://mastodon.social/@mcc — A mixtape for you: https://bsky.app/profile/dryad.technology/feed/listening-to — Avatar by @urnash.com — 🏳️⚧️🏳️🌈 — she/her
Eric Zhang @ekzhang.bsky.social computer systems nerd, interaction designer
work @ https://www.ekzhang.com
“i see nothing but the candle in the mirror”
miniKanren.org @minikanren.bsky.social A little constraint logic programming language and associated community of researchers!
Nick Rioux @nickrioux.bsky.social Programming will get better.
rapparu @rapparu.bsky.social ✒️ 2D animator
web: http://rapparu.nl
instagram: https://www.instagram.com/rapparu/
patreon: https://www.patreon.com/rapparu
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Edwin Brady @edwin.type-driven.org.uk 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/
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Stephanie Weirich @fancytypes.bsky.social Tell me about types
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
Kartik Agaram @akkartik.name Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewheeling-apps
Brendan Zab @brendanzab.bsky.social Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Pete Vilter @petevilter.me Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach.
https://petevilter.me
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Paul Biberstein @paulbib.bsky.social Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
🇨🇦 Joey Eremondi @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.
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet- E Evan Patterson @epatters.bsky.social Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@mflatt.bsky.social @mflatt.bsky.social 
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Jannis Harder @jix.one open source dev, inactive demoscener, occasional CTF crypto challenge solver
working on SAT solving, HW formal verification tools, yosys
https://jix.one/
they/them
Sam Lindley @reifyreflect.bsky.social 
David Tate | cat profile.txt | grep aws @mixteenth.bsky.social work in software - http://blog.davidtate.org
Bad Software Advice
https://badsoftwareadvice.substack.com/
I have 1 more cat than the guidelines recommend.
@dwarfofyore.bsky.social @dwarfofyore.bsky.social Compilers, formal logic, blacksmithing, robots, roleplaying games
went to cranberry melon
King's Lead Hat @antitechbro.com (Applied) mathematician? Computer scientist?
Musa al-Gharbi @musaalgharbi.bsky.social Asst. Professor of Communication, Journalism and (by courtesy) Sociology at Stony Brook University. Author of, "We Have Never Been Woke: The Cultural Contradictions of a New Elite" -- out now via Princeton University Press.
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
Anil Madhavapeddy @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 work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
🐘@jack@jackrusher.com
🐦@jackrusher
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
Alexander Bandukwala @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 
Cyrus Omar in NYC @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Tim Vieira @xtimv.bsky.social http://timvieira.github.io/blog
ozy @ozymandias272.bsky.social 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Grant Wu @grantwu.bsky.social propic @dum.bsky.social
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
Michael Nielsen @michaelnielsen.bsky.social Searching for the numinous
Australian Canadian, currently living in the US
https://michaelnotebook.com
Justin Falcone @justinfalcone.com See you on app dot net!
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Bodega Cats @bodegacats.bsky.social https://www.bodegacats.nyc
Freya Holmér @freya.bsky.social 🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
🪡 neoluddite
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Natalie Wynn @contrapoints.bsky.social Ex-philosopher, ex-Tweeter.
Email: info@contrapoints.com
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
JMCT @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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
Peter Goodman @cxx.dev C++ developer specializing in source and binary program analysis and transformation.
Yihong Zhang @yihozhang.bsky.social Programming languages and database systems.
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Alex Knauth @alexknauth.bsky.social I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random
he/him | they/them & 29
http://pronoun.is/he?or=they
Ivy Reese @spiralganglion.com I want to smush software between my fingers and
turn my weathered feelings into wriggly music.
merveilles.town/@spiralganglion Δ masto
@inkandswitch.com Δ research
feelingof.com Δ podcast
ivy.boo Δ myself
she / hrt 🏳️⚧️
ab 🇨🇦- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Sam Westrick @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/
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
SkillfulCroissant @handle.invalid 🛠️🥐 · Average Blahaj enjoyer. · she/they
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts- J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Edward Kmett @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
Julian Hyde @julianhyde.bsky.social On a mission to tame data. (Ex-Google, always ASF, working on something new.)
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Dani Díaz @diazcarrete.bsky.social 
@jhemann.bsky.social @jhemann.bsky.social 
@jcreed.bsky.social @jcreed.bsky.social 
Shadaj Laddad @shadaj.me PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Razbuten @razbuten.bsky.social i talk about video games
youtube.com/@razbuten
Kate @katef.bsky.social If I unfollowed you, it's because you keep posting things without alt text
Amy Quispe @amyquispe.bsky.social if there’s one thing I’m good at, it’s things | NYC technologist & mom (mostly mom rn) | ex-USDS/Medium/Google | CMU/Stuy
Ian Smith @2over124.bsky.social Security engineer working on program analysis research things, currently compositional symbolic execution, type inference and some other stuff.
joomy @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
Dominic Orchard @dorchard.bsky.social 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