@jamesmunns.com
Notable Protocol Enjoyer. Doing stuff, mostly in Rust and on Embedded systems. Need help with that? Hire me @onevariable.com Co-host @sdr-podcast.com DMs (matrix): @jamesmunns:beeper.com DMs (signal): jamesmunns.255 he/him Kein Ort für Nazis
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@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
@rustfoundation.org
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
@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
@tonofcrates.bsky.social
@nikomatsakis.com
Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@helbl.ing
Senior Member of the Technical Staff at Draper Laboratory, Programming Language Theory & Gamedev are my jam
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@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/
@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.
@michaelbjames.bsky.social
AI research scientist @ Sailplane. He/him Usability of AI-based Programming Tools. PL/HCI 🏳️🌈🏺
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@kirshanthans.bsky.social
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@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
@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
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@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.
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@soe.bsky.social
Gaming & Esports | Caster & Host | Creative Gremlin | Swiss | Mother | Pessimistic Optimist 🛒 http://etsy.com/shop/JustSoeThings ✉️ justsoethings@gmail.com
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@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 🫡
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@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.
@simzart.bsky.social
Illustrations / Character Designs / Comic Books / Partnered Twitch Streamer https://linktr.ee/simz.art
@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/)