Sage Griffin ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐ @sgrif.bsky.social Making the database base the data at pgdog.dev. Creator of diesel.rs. Former co-lead of crates.io. Enby. they/them/elle
GM Natchev @natchev.bsky.social Bringing you the best Cloud Experience youโve (never?) heard of ๐๐
Fully sovereign and tailored for the EU and North America, powered by 13 global data centers. Also a fan of epic fantasy! Andโค๏ธ Liverpool
Jake Archibald @jakearchibald.com Developer of sorts at @webdevs.firefox.com, but this is my personal account. No thought goes unpublished. He/him.
Adriana Porter Felt @apf.bsky.social I like writing silly skeets, but that doesn't pay so I also make Google Chrome. mamรก, Eng Director, volunteer at Second Harvest. ๐บ๐ฒ๐จ๐ท
Twitter: @__apf__
Ice Byte @icebyte.bsky.social Ice Byte is an innovative startup: we are dedicated to pushing the boundaries of what's possible by creating groundbreaking digital solutions.
https://icebyte.carrd.co/
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it ๐ & Rust Rec ๐ฆโ๏ธ
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Cuervolu @cuervolu.dev Computer Engineer @ DUOC UC, making fun stuff with code.
https://cuervolu.dev/links
๐ท๏ธSpider Gwen๐ฎ @handle.invalid Berserk lover โค๏ธ
FromSoftware fangirl (obsessed with all Soulsborne) ๐
PC and PS5 gaming ๐ฎ
Comic books/graphic novels/manga ๐
Dark fantasy/sci-fi/horror enthusiast ๐ค
Creature/monster admirer ๐
Baltimore Banner Sports @sports.thebaltimorebanner.com Orioles, Ravens and all things Baltimore sports for @TheBaltimoreBanner.com. Good memes, better stories. Blame Paul Mancano for most authored posts.
amos @fasterthanli.me hi, I'm amos! ๐ they/them ๐ฎ "most level-headed AI user" ๐ซ working on something dataflow-shaped ๐ฆ known for teaching rust and not much else
๐ https://fasterthanli.me
๐บ https://youtube.com/@fasterthanlime
Jon Gjengset @jonhoo.eu Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
FerrousSystems @ferroussystems.bsky.social Ferrous Systems builds stable software in and around Rust. We focus on development, tooling and training for embedded systems and network services. https://ferrous-systems.com
The Rust Foundation - Official [Unofficial] @foundation.rust-lang.org.web.brid.gy The Rust Foundation is the nonprofit steward of the Rust programming language and its vibrant open source community. Learn more and get involved today.
๐ bridged from ๐ https://foundation.rust-lang.org/: https://fed.brid.gy/web/foundation.rust-lang.org
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social ๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Martin Kleppmann @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
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
๐ฏ๐ต๐บ๐ธ
Jack Rusher @jackrusher.com Ex-Bell Labs/AT&T Research'er making art & technology in Berlin.
๐@jack@jackrusher.com
๐ฆ@jackrusher
Ivy Reese @spiralganglion.com I want to smush software between my fingertips
and turn my flittery feelings into multimedia.
merveilles.town/@spiralganglion ฮ masto
@inkandswitch.com ฮ research
feelingof.com ฮ podcast
ivy.boo ฮ myself
she / hrt ๐ณ๏ธโโง๏ธ
ab ๐จ๐ฆ
Paul Biggar ๐ต๐ธ ๐ฎ๐ช @paulbiggar.com Founder Tech For Palestine, Darklang, and CircleCI. Currently running Tech for Palestine https://techforpalestine.org
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
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
Josรฉ Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Joe Cutler @alphaconvert.bsky.social cutler.pl
Matti Palli @mpg.is aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
ionchy @ionchy.ca 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
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
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.
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
taylor.town @taylor.town ๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Jared Forsyth @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
Lu wilson @todepond.com prototypes @wikipedia.org
London
todepond.com
youtube.com/@todepond
Linus @thesephist.com thought & craft
Steve Krouse @stevekrouse.com
์ง์ฐ @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
๐ต NP: "Yam Yam" by No Vacation
Mariano Guerra @marianoguerra.org ๐ง๐ฝโ๐ป Co-founder of Gloodata & Instadeq
๐ Co-author of https://wasmgroundup.com/
๐ฐ Feeling of Computing Newsletter: https://newsletter.futureofcoding.org/join/
๐ Public Projects: https://marianoguerra.github.io/
Jonathan Aldrich @jonathanaldrich.bsky.social 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.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Paul Sonnentag @paulsonnentag.bsky.social No more killer apps, kill the app!
Talia Ringer @taliaringer.bsky.social
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- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
๐ @rntz@recurse.social
๐ฆ @arntzenius
Attempting to use bsky more now that people are showing up.
๐ฎ @chrisshank.com seeding discontent in present-day computing and radical patience in how we reimagining it
libcomp.org โข @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com
Predrag Gruevski @predr.ag Querying (Almost) Everything // Frontier Systems @ OpenAI // Author of cargo-semver-checks & Trustfall // https://predr.ag/blog // ex Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here ๐ฒ๐ฐ // he-him
Satnam Singh @satnam6502.bsky.social 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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Michael Homer @mwh.nz I make programming languages and interfaces at Victoria University of Wellington
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
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
jaylin herskovitz @handle.invalid โช~ แ(แ)แ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
@mechadense.bsky.social @mechadense.bsky.social
Matt Keenan @negabinary.bsky.social
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
Marcel Goethals @wolkenmachine.bsky.social In(ter)dependant researcher and toolmaker. Currently inventing programmable ink @inkandswitch.com
Living in Paris
https://www.marcelgoethals.com/
Cole Lawrence @colelawrence.com End user programming & AI tool designer.
๐ ๏ธ CTO at https://phosphor.co & @forethink.ai
๐ฆ Rust NYC / https://RustEastCoast.com organizer ๐๐ปโโ๏ธhe/him
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Joyee Cheung @joyeecheung.bsky.social She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. Blog: https://joyeecheung.github.io/blog/
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Shu-yu Guo @rfrn.org he/him
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ยท
Core Developer, @racketlang.bsky.social ยท
Member, TC39 ยท
Handler, Gravymaker ยท
Bike Advocate, Bloomington IN
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
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Jessica Paquette @barrelshifter.bsky.social compiler engineer from hell
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Luke Wagner @lukewagner.name Fastly, formerly Firefox / Mozilla
Wasmburgers, all the way up
Constellation @yusukesuzuki.bsky.social ใใใ ใปใผใโญ๏ธ
https://constellation.slowstart.org
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. โ Compilers, WebAssembly, Java, Rust, Go โ prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit โ organizer Papers We Love Milano
evacchi.dev
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Thomas Wuerthinger @thomaswue.dev Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
JF Bastien @jfbastien.com Build & scale platform โ working on humanoid robotics ๐ค
๐ https://jfbastien.com
๐ https://tlbh.it
๐ ๆฑไบฌใๆฅๆฌ
Thomas Lively @tlively.bsky.social Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
Deepti Gandluri @deepti.bsky.social Compiler engineer, making the web fast at Google Chrome. Bit twiddler and ๐ WebAssembly. I love snacks and tiny projects. She/her
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
John McCall @pathofshrines.bsky.social Language and compiler developer at Apple (Swift, Objective-C, C++, C, security mitigations). Queens resident, 49ers fan, strongly leftish.
Samuel Groร @saelo.bsky.social Working on Project Zero, Big Sleep, and V8 Security. Personal account.
Savannah Ostrowski @savannah.dev Python 3.16 & 3.17 Release Manager. Python Steering Council. Python Core Developer. Building @fastapicloud.com. Likes compilers, open source, film, physical computing + cats.
savannah.dev
github.com/savannahostrowski
@coredispatch.xyz