@ulipink.bsky.social
[she/her] inexperienced PL girl Oz arc :3 primarily Standard ML actively learning Oz, Twelf, Beluga, λProlog, Mercury, F#, Ur, INTERLISP back-burner, Pascal, Scala, Isabelle, Scheme, Raku wish to learn Agda, Self, Picat, ATS, Erlang, AliceML & Shen
@deontologistics.bsky.social
Wandering philosopher. Purveyor of Platonic heresy, Kantian computationalism, and Hegelian minimalism. (he/him/it which speaks)
@elevenkb.bsky.social
Premium-mediocre 20-something proover: https://www.reddit.com/r/mathmemes/comments/ftav8h/the_20yearold_proover/. In grave danger of decaying into a лишний человек.
@johnbender.bsky.social
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 📍Seattle, WA
@greggay.bsky.social
Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing. American living in Sweden. Sometimes gaming journalist. 70% composed of memes. More on my work at http://greggay.com
@gro-tsen.bsky.social
Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
@moajohansson.bsky.social
Associate Professor in Data Science and AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and stir.
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@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.
@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/
@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
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Long And Lonesome Road" by Shocking Blue
@marianoguerra.org
🧑🏽💻 Co-founder of Gloodata & Instadeq 📘 Co-author of https://wasmfromthegroundup.com/ 📰 Future of Coding Weekly: https://newsletter.futureofcoding.org/join/
@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
@briantrice.bsky.social
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
@mwh.nz
I make programming languages and interfaces at Victoria University of Wellington
@leif.pl
I study visual and interactive syntax (hybrid textual-visual languages) at UMass Boston. Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
@jayl.in
♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR she/her jayl.in
@negabinary.bsky.social
@wolkenmachine.bsky.social
In(ter)dependant researcher and toolmaker. Currently inventing programmable ink at Ink&Switch. http://wolkenmachine.nl
@dynamicaspects.org
Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
@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
@pierredb.bsky.social
Computer science researcher/assistant professor at CVUT (Prague) Research on programming languages, including R www.pdonatbouillud.fr
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me