Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Lucretiel @lucretiel.me Neophile. #ADHD. #rustlang at @datadoghq.com. #boardgames. Mercator Projection Apologist.
Jujutsu VCS @jj-vcs.dev Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
Armin Ronacher @mitsuhiko.at Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
Tangled @tangled.org https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Orhun Parmaksız @orhun.dev Terminal Chef 🐀
@ratatui.rs · @jetbrains.com · @archlinux
Open source: https://github.com/orhun
Livestreams: https://youtube.com/@orhundev
Andrew Lilley Brinker @alilleybrinker.com memory safety / Rust, #jj-vcs, urbanism, and more.
🧔🏼♂️ general words: alilleybrinker.com
🦀 rust words: possiblerust.com
Developer Security @ Anthropic (opinions posted are my own)
he/him
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Ricardo Garcia @rg3.name Open Source Developer at Igalia. Gamer and FOSS enthusiast. He/Him. Opinions expressed here may not reflect the views of my employer.
@rg3@mastodon.online on Mastodon.
Michael Hladky @michael-hladky.bsky.social Nx, Monorepo, Web Performance, Architecture, Angular, Reactive Programming
performance.now() conference @perfnow.nl A single track conference with fourteen world-class sessions covering today’s most important web performance insights. #perfnow
https://perfnow.nl
19th and 20th of November, Amsterdam
Curated by Tim Kadlec, Tammy Everts, Harry Roberts, and PPK- N Nicholas Nethercote @nnethercote.bsky.social he/him (or they/them)
@eddyb.lyken.rs @eddyb.lyken.rs
@vectorware.com @vectorware.com
Carl Lerche @carllerche.com I do stuff, I say stuff. It's serious business.
Servo @servo.org Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
https://servo.org
https://github.com/servo/servo
Igalia @igalia.com Igalia is an open source consultancy specialized in innovative projects and solutions with desktop, mobile, and web technologies.
Joyee Cheung @joyeecheung.bsky.social She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. Blog: https://joyeecheung.github.io/blog/
Jon Kuperman @jonkuperman.com TC39 - Signals - Source Maps - TS/JS @Bloomberg. Previously I did web at Adobe and Twitter.
Opinions are my own.
Barry Pollard @tunetheweb.com Web Performance Developer Advocate at Google Chrome helping to make the web go faster! All opinions my own.
Addy Osmani @addyosmani.bsky.social Former Engineering lead working on Gemini and Google Cloud AI
I want you to win :) For more on what I'm up to, I'm at addyosmani.com
`fogus @fogus.me bibliophile, flâneur, occasional programmer, Clojure core
https://www.fogus.me
https://blog.fogus.me
🇺🇸🇯🇵
@titzerbl.bsky.social @titzerbl.bsky.social
eliza🌻 @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
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Solon Barocas @s010n.bsky.social Researcher, Microsoft Research
Microsoft Research @msftresearch.bsky.social We advance science and technology to benefit humanity.
http://microsoft.com/research
Compiler Explorer @compiler-explorer.com A website for exploring the output of compilers. aka godbolt.org
Supports C, C++, Rust, Fortran, COBOL and many many more.
Support us at https://patreon.com/mattgodbolt - R rntz @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.
The Rust Foundation @rustfoundation.org The Rust Foundation is an independent nonprofit organization dedicated to stewarding the Rust programming language and its global community. rustfoundation.org
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Adam Sawicki @asawicki.info Independent graphics programmer. Previously at AMD, Intel, Microsoft, gamedev, television... Developer of VMA, D3D12MA, D3d12info projects.
a quiet misdreavus @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
Michael (compiler-errors) Goulet @errs.io https://errs.io
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Unison @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
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
Deno @deno.land A modern runtime for JavaScript and TypeScript
https://deno.com
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
mcyoung 🏳️🌈 @mcy.gay a whimsicott crawled into your compiler and got stuck
call me sunny. yes! i am a furry artist!
⌨️ mcy.gay
🎨 art.mcy.gay
💰 art.mcy.gay/comms
🔞 @art.mcy.gay
📍Seattle, WA
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
LLVM Weekly @llvmweekly.org A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury.org
Alex Bradbury @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
Chandler Carruth @chandlerc.blog Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️🌈 http://pronoun.is/he or http://pronoun.is/they
Kristof Beyls @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.
JF Bastien @jfbastien.com Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
Jessica Paquette @barrelshifter.bsky.social compiler engineer from hell
GCC - GNU Toolchain @gnutools.bsky.social GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
Thomas Lively @tlively.bsky.social Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
@petrhosek.bsky.social @petrhosek.bsky.social Fuchsia Toolchain lead at Google and #LLVM contributor, previously research in software reliability at Imperial College London. pronoun.is/he
Bigcheese @bigcheese.pony.dev Compilers and Ponies.
PFP by @kuzuyukuroo.bsky.social
Banner by @ffloweryoutoday (Twitter)
Shafik Yaghmour @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
Simon Cook @simoncook.org
Keith Smiley @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
Tobias Hieta @hieta.se Toolchain and build tools for games. Previously at Ubisoft. LLVM Release Manager.
Dean Berris @deanberris.com Software Engineer, writes at https://modernsoftware.info - ex-Microsoft, ex-Google.
Alex Denisov @lowlevelbits.org Talking to machines- A Amir Ayupov @aaupov.bsky.social LLVM BOLT 🔩 @ Meta
@arsenm.bsky.social @arsenm.bsky.social
Eric Christopher @echristo.bsky.social Cats, Games, Compilers, Software Performance,
Open Source.
Avid side-quest enthusiast.
Alex Rosenberg @ohmantics.bsky.social Compilers, Games, and Operating Systems
Björkus "No time_t to Die" Dorkus @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/)
@jeremysiek.bsky.social @jeremysiek.bsky.social
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Atomic @atomic98.bsky.social Aerospace Engineering, Robotics, Defense, Nuclear Physics, Silicon, Sustainability, Markets
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Shriram Krishnamurthi @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.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Bartosz Milewski @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
Edward Kmett @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
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
daniel:// stenberg:// @daniel.haxx.se I write curl. I don't know anything. I am @bagder@mastodon.social
My mastodon posts are mirrored to Blusky here: https://bsky.app/profile/bagder.mastodon.social.ap.brid.gy
Weekly email at https://lists.haxx.se/listinfo/daniel
Henri Sivonen @hsivonen.fi Making Firefox load about:blank correctly
Posting more often at https://mastodon.social/@hsivonen
Yehuda Katz (he/him) @wycats.bsky.social Open Sourcerer. Co-author of the Extensible Web Manifesto. Creator of Bundler, Cargo and Ember.js. Father of wykittens and wifelette's husband. he/him
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
ashley williams @agdubs.bsky.social a mess like this is easily 5 to 10 years ahead of its time
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
iximeow @there.is.no.aarch64.mov made out of meat. making computers pretend to be computers
Software Mansion @swmansion.com A software company built around improving developer experience
and bringing innovative clients' ideas to life. #ReactNative core contributors, webRTC experts, community builders.
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
Martin Kleppmann @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
dan @danabra.mov no, this is how it works
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Sean McArthur @seanmonstar.com Open Source maintainer of the rust-lang @hyper.rs.
More at seanmonstar.com
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!