@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
@brendanzab.bsky.social
World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
@rpjohnst.bsky.social
@arachno.capital
pfp by @goblinodds | a short, sturdy creature, fond of drink and industry | he/him
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@shift.click
rust stdlib maintainer (library team member) | watches a lot of anime | on twitter as at_tcsc, and hachyderm as zuurr | bi | they/he
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@plaidfinch.net
watch bird, zoom car, eat snack email me! finch@plaidfinch.net age123456789pqc3kgk33jrca6vqlf7pl8me3vqzjqj7jf60qdm9l42sm5ffva λ □ · ν ○ · □ ◇ Δ ○﹕□ ( □ ○ → ○ ) → □ ○
@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
@davidshor.bsky.social
Head of Data Science at Blue Rose Research, based in NYC, originally from Miami. I try to elect Democrats. Views are my own. he/him🌹
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@drmaciver.bsky.social
@sarahm.bsky.social
@aella.bsky.social
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@mattyglesias.bsky.social
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@moertel.art
Pixel artist from Hamburg, Germany | Neo-Noir | Animation | Android Themes