David Justo
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@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
@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.
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@azhenley.bsky.social
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft https://austinhenley.com/
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@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.
@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
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@taliaringer.bsky.social
@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/
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@steampowered.com
Steam, The Ultimate Online Game Platform. For support: http://help.steampowered.com/en/
@thomaswue.dev
Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@cyberglot.bsky.social
PL nerd, digital artist. Making programs typecheck in the UK.
@amandaksilver.bsky.social
Head of Product for Developer Division @Microsoft @Code @VisualStudio @TypeScript @dotnet @JavaAtMicrosoft @Azure @AzureDevOps @OpenAtMicrosoft Engineering
@captainsafia.com
👩🏾💻: Building the C# web stack at @microsoft.com. ✨: Dream big and follow through even bigger.
@cher.blue
Software engineer and physics student; researching space stuff @Caltech and @NASA-JPL ✊🏴☠️
@vertedin.de
Staff Engineer @ Slack, Core Maintainer @ Electron 💻 Loves electric bikes, coffee, horror games & planting tomatoes. 🪴 She/They. 🐶 Luna📍Portland
@ashley.dev
👩💻 Sr Dir of DevRel at @GitHub. 🔥 Grandmother of the first-ever hellthread. 🖨️ Will probably convince you to buy a 3D printer.
@zkat.tech
nb (she/they). boricua. rustacean. newbie artist. 1312. pfp by @kimstramat.bsky.social ✨ wasm @ fastly
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@kefimochi.bsky.social
software eng, wildlife photographer, artist “hyperactive wondering weirdo” 🏳️🌈✨
@cynthiadunlop.bsky.social
ScyllaDB | P99 CONF | "Writing for Developers: Blogs That Get Read" book (https://github.com/scynthiadunlop/WritingForDevelopersBook)
@sarna.dev
Currently: poolside Hacking history: Turso, libSQL, Seastar, ScyllaDB, LizardFS, some kernel stuff
@izzys.casa
Occult Programmer and Code Bruja. void* made manifest. "That CMake Expert" Opinions are my own. 💥🏴💥 Find my webzone at https://izzys.casa PFP by @tombofnull.bsky.social
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
@thephd.dev
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀 ✍ Writing: http://thephd.dev 📷 Avatar KIINGKISMET (https://kiingkiismet.com/) 🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@migueldeicaza.bsky.social
🍉Fun Stack Vibing at @xogot.bsky.social Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
@chumer.dev
Working on Truffle/GraalVM at Oracle Labs. ME/CFS Caretaker and Activist (https://ooe-mecfs.at). Austrian expat in Zurich. https://chumer.dev
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.