@qianli.dev
Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.
@flaviocorpa.com
Software Engineer 🦥 Haskell & 🌳 Elm @Scrive ♟️ First #chesspunks on this app 🏯 日本語を勉強中(N3)
@pyviv.bsky.social
Combinatorist, Mathematician, CS PhD, pythonista, teacher, feminist, and more. She / her Also here on Mastodon https://t.co/TdGPTS8KMq
@joeyneilsen.bsky.social
Black hole astrophysicist at Villanova. Formerly: MIT, Boston University, Harvard, Kenyon College | X-rays | husband | dad of 2 | cooking. He/him. Skeets are my own.
@gro-tsen.bsky.social
Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
@notrimskiy.bsky.social
Making logistics software by day, catching photons with a bucket by night. Recovering vis comp sci. Occasionally security, compliance, electronics, and tech policy enthusiast. Good randos are welcome in mentions. Largely in Mpls.
@saeedamenfx.bsky.social
FX quant macro/Python/burgers. Co-founder: Turnleaf Analytics forecasting inflation with ML. Founder: Cuemacro. Books: Trading Thalesians, Book of Alternative Data.
@abigailnussbaum.bsky.social
Blogger, critic, 2017 best fan writer Hugo winner. Blogs at wrongquestions.blogspot.com and www.lawyersgunsmoneyblog.com Review collection TRACK CHANGES available at briardenebooks.uk/shop/
@gbodwin.bsky.social
Assistant professor at UMich. I do theoretical computer science and graph theory.
@codereport.bsky.social
Research Scientist NVIDIA • YouTube Content Creator • Host of ADSP, ArrayCast, Tacit Talk, The R4 Running Podcast • Organizer of PLVM Meetup
@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 🇯🇵🇺🇸
@jackrusher.com
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin. 🐘@jack@jackrusher.com 🐦@jackrusher
@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
@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
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@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.
@taylor.town
🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀 taylor.town 🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀 🐀🐀🐀🐀🐀🐀🐀🐀🐀
@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
@stevekrouse.com
@marianoguerra.org
🧑🏽💻 Co-founder of Gloodata & Instadeq 📘 Co-author of https://wasmfromthegroundup.com/ 📰 Future of Coding Weekly: https://newsletter.futureofcoding.org/join/
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@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.
@predr.ag
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@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
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi