@elizas.website
e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
@jon.recoil.org
@swtch.com
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@gabriel-sherman.bsky.social
Ph.D. Student at the University of Utah | Computer Security https://gabe-sherman.github.io/
@aether.gay
it/its | your local cpt-violating pawtistic ADHD yellow slugcat :3 | Im a furry artist and programmer!! | 20 y/o (keep replies to this page sfw though please) | obsessed with shipwrecked 64 and iglooghost
@noamzoam.mathstodon.xyz.ap.brid.gy
Computer science theorist and mathematician interested in the connections between things. Assistant professor in the LIX lab at Ecole Polytechnique. [bridged from https://mathstodon.xyz/@noamzoam on the fediverse by https://fed.brid.gy/ ]
@balajee.bsky.social
CS prof @UIC; computer scientist (networks & systems); previously Nvidia, Purdue, BITS-Pilani; tennis aficionado; designed a chip for the first MacBook Air.
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@sunshowers.io
(gender)queer transsexual / they/them menace / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://sunshowers.io also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
@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
@gok99.bsky.social
Undergrad @ NUS and walkable city enthusiast doing Programming Languages research
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@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.
@reifyreflect.bsky.social
@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.
@noahbogart.com
he/him - cis - straight - white - 30 or 40 years old senior clojure developer living in the shadow of grief friend of eggbug profile pic commissioned from https://www.patreon.com/icelevel i'm NoahTheDuke elsewhere, but personal domains are nice
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@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/
@martinmaas.bsky.social
Staff Research Scientist at Google DeepMind. All opinions are my own.
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@hipsterelectron.bsky.social
typing free software to break the shoulders of giants from golden handcuffs. i build tools to level the playing field. @hipsterelectron@circumstances.run
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@dra27.uk
Cambridge-based singer and computer scientist. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
@dbp.bsky.social
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
@mm-jj-nn.bsky.social
Comp. sci. prof. @ American University, Washington DC. AI researcher with miscellaneous other interests. https://www.kmjn.org/
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@c-cube.bsky.social
@aaroneline.bsky.social