David Darais
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@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
@vickiboykis.com
ML Engineering. LLMs 😬. Information retrieval. Infra. Systems. Normcore code. Nutella. Vectors. Words. Vibes. Bad puns (soon). https://vickiboykis.com/what_are_embeddings/
@dfeldman.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
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@k4rtik.bsky.social
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering. Chicago
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@eviedot.bsky.social
forever making a programming language, playing rocket league and being anxious | 🏳️⚧️🏳️🌈 she/her
@benbritten.bsky.social
CTO Of Mighty Build and Test. I teach robots how to play games for a living. Previously worked on many, many games; gamedev for nearly 20 years. I am old. I often post random 3d printing stuff and sometimes bunnies. He/Him. In Australia.
@mjg59.eicar-test-file.zip
Former biologist. Actual PhD in genetics. Security at https://aurora.tech, OS security teaching at https://www.ischool.berkeley.edu. Blog: https://mjg59.dreamwidth.org Signal: @mjg.59 He/him
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@amrrizk.bsky.social
Comp. Engineering, Communication Systems Prof@Leibniz University Hannover Hier privat.
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@carnage4life.bsky.social
Opinions about product management, technology news and inclusivity in tech. Diversity is about demographics, inclusion is about creating a sense of belonging.
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@jvanbruegge.cerberus-systems.de
@staltz.com
JavaScript and open source guy. Working at @socket.dev Previously: Manyverse, SSB, Cycle.js, RxJS
@shashankkirtania.bsky.social
Prospective PhD student working on AI & PL @ Microsoft PROSE. https://5hv5hvnk.github.io/
@remyjck.bsky.social
PhD Candidate @ Cambium, INRIA Paris OCaml x Program Verification https://remyjck.github.io
@chenson.bsky.social
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
@pratikscrypto.bsky.social
Cryptography, ZK, and MPC Researcher | Currently a Research Scientist at Supra | ex-Cryptography Research Intern at Meta and Visa
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@daveandersen.bsky.social
Computer Science Professor, CMU; co-founder and CTO, Enriched Ag Energy-efficient computing, a dash of security, and a pinch of databases. Also on Mastodon (https://hachyderm.io/@dave_andersen ) signal: dga.48 he/him
@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
@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
@ferroussystems.bsky.social
Ferrous Systems builds stable software in and around Rust. We focus on development, tooling and training for embedded systems and network services. https://ferrous-systems.com
@peck.phd
🦬🏔️ @cuboulder.info science prof Vis / HCI - Designing data for the public. 📊❤️ PI @informationvisions.bsky.social Previously: Bucknell CS prof, Tufts CS PhD 🔗 https://peck.phd/
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@huckbennett.bsky.social
Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music. https://home.cs.colorado.edu/~hbennett/
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@blowupscheme.bsky.social
math phd student | topology∩arithmetic | labor organizer⚡️| bus-taker | lynx & timberwolves loyalist | solidarity forever | they/them
@lunacark.bsky.social
luna! ✨️ BS+MS student ✨️ forcing and large cardinals ✨️ 23 ✨️ they/them ✨️ catshark! 🦈🐈 ✨️ @aured.bsky.social 💜 ✨️ 🧵: @AlFursuit twt