@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @[email protected] 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@rustfoundation.org
The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
@dherman.dev
Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
@nikomatsakis.com
Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@asawicki.info
PMTS Software Development Engineer @ AMD. Previously @ Intel, Microsoft, gamedev, television... All opinions are my own and do not reflect that of my employer.
@quietmisdreavus.net
she/her // Vera // trans, autistic, lesbian, polyamorous, plural, oh god why are there so many keywords and it’s still not unique // i work on Swift-DocC for a living
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@unison-lang.org
Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry artist! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 🔞: @slop.mcy.gay 📍Seattle, WA
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@llvmweekly.org
A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury.org
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@chandlerc.blog
Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
@kbeyls.bsky.social
Working at Arm on compilers and related stuff. LLVM Foundation board member, security group, code of conduct committee. Compilers, security, efficiency, performance. https://github.com/llsoftsec/llsoftsecbook/. Views are my own.
@jfbastien.com
Distinguished engineer Woven by Toyota—Compiler engineer—security enforcer—C++ standards committee language evolution chair—WebAssembly co-instigator 🔗 https://jfbastien.com 🔗 https://tlbh.it 📍 東京、日本
@gnutools.bsky.social
GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
@tlively.bsky.social
Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
@bigcheese.pony.dev
Compilers and Ponies. PFP by @kuzuyukuroo.bsky.social Banner by @ffloweryoutoday (Twitter)
@shafik.bsky.social
Compiler Engineer clang front end. Interests: C++, C, and undefined behavior. Martial Artist, Book Worm and Dad. he/him Mastodon: https://hachyderm.io/@shafik Blog: https://shafik.github.io/ #cplusplus #compilers
@simoncook.org
@smileykeith.bsky.social
devx at Modular, maintainer of bazel's iOS support, creator of the Mobile Native Foundation, LLVM & Swift contributor. Previously Principal Engineer at Lyft, Core Team @CocoaPods
@deanberris.com
Software Engineer, writes at https://modernsoftware.info - currently Microsoft, ex-Google.
@echristo.bsky.social
Cats, Games, Compilers, Software Performance, Open Source. Avid side-quest enthusiast.
@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/)
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@atomic98.bsky.social
Aerospace Engineering, Robotics, Defense, Nuclear Physics, Silicon, Sustainability, Markets
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@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.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms