Unai
aficionado of computers interested in {compilers ∩ distributed computing} ∪ {quantum computing} || PhD student at UPV/EHU
@josephpolitano.bsky.social
Writing a data-driven newsletter about economics @ apricitas.io Nuance? In this Economy Perpetually awaiting that “trade deal” with Japan |
@sophie.huiberts.me
linear programming enthusiast. investigator of evil science. haunted by beans. she/her
@dataandpolitics.net
Data and Politics. Engineer, then academic, now engineer again. Daytime is AI/ML research. I care a lot about the open Internet and security. Wikipedia administrator. Very San Francisco with an ATLien heart. A widow who misses their husband. 🏳️🌈
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@bobnifty.bsky.social
Asst. Prof. UMass Amherst Trapped Ion Quantum Computing https://websites.umass.edu/rniffenegger/ My Quantum Computing Course: https://github.com/UMassIonTrappers/Introduction-to-Quantum-Computing
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@djc.ochtman.nl
Fan of Rust, open source maintainer. Please consider sponsoring my OSS work on GitHub.
@tsoding.bsky.social
Recreational Programming: - http://twitch.tv/tsoding - https://www.youtube.com/@Tsoding - https://www.youtube.com/@TsodingDaily ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@frame.work
Remaking consumer electronics to respect people and the planet. 💻🪛 Framework Laptop 13 and 16 are now in stock, and pre-orders are open on Framework Desktop!
@neovim.io
Neovim is a hyperextensible Vim-based text editor Ways to support the project: - https://github.com/sponsors/neovim - https://store.neovim.io - Have fun using it and spread the word
@axccl.bsky.social
computational physicist • accelerates accelerator research at @berkeleylab.bsky.social • laser-plasma aficionado • PByte connoisseur • mostly memory BW bound • openPMD • sciency C++ & 🐍 • GPGPU since before it was cool • he/his • Dr. rer. nat. Dipl.-Phys.
@ericmigi.com
Inventor of things. Previously: cofounder Beeper.com, partner @ycombinator, founder @pebble
@behackl.dev
Postdoc for math and software at @uni-graz.at, Austria. I like counting things. And computers. Maintainer of Python animation thingy, manim.community
@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
@reflexive.space
he/him (John), near-30, looking for work! 🌙 your nonlocal hacker friend 🦀 hw/fw/sw, security, microarchitecture, rust, etc 🐬 hacks on gc/wii/melee stuff sometimes 🐘 @eigenform@treehouse.systems 🐦 @eigenform
@llvm-dev.bsky.social
LLVM Developer, OpenMP contributor, Beer drinker, not in this order. Opinions are mine; for better or worse.
@qmisanz.bsky.social
Ramón y Cajal Researcher and Ikerbasque Fellow at the University of the Basque Country and Basque Center for Applied Mathematics. #QuantumComputing #QuantumAlgorithms #QuantumTechnologies #QuantumMetrology
@thoefler.bsky.social
Professor ETHZ, head of SPCL, Chief Architect ML at CSCS researching large-scale #HPC and #AI systems and #Climate computing - youtube: http://bit.ly/3h1VgIU
@nickbrown-hpc.bsky.social
Senior Research Fellow @epcc.bsky.social, University of Edinburgh. Interested in novel architectures, HPC, FPGAs, RISC-V, programming language design and LLVM & MLIR.
@lpalmieri.com
Author of zero2prod.com, a book on backend development in Rust, and https://rust-exercises.com. Building pavex.dev, a new Rust web framework. Principal Engineer at Mainmatter. Opinions are my own. He/him. @algo_luca on Twitter.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@eikopf.dev
he/him | absolutely will not shut up about programming languages | a little gayer than is legal in this jurisdiction | 🇨🇭 🇦🇺 🇬🇧
@foonathan.fosstodon.org.ap.brid.gy
C++, compilers, and programming languages. Library developer @ think-cell, chair for std::ranges @ C++ standardization committee. [bridged from https://fosstodon.org/@foonathan on the fediverse by https://fed.brid.gy/ ]
@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.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Long And Lonesome Road" by Shocking Blue
@tonofcrates.bsky.social
@chriskrycho.com
Software craftsman, composer, theologian, writer, runner, photographer. Anglican Christian. Platform eng. at Vanta. Co-author of the Rust book. Previously LinkedIn; Ember TS & Framework alum. I can help you adopt Rust or TypeScript! → chriskrycho.com
@hpcnotes.bsky.social
25 years using + researching + buying #supercomputers. Now engineering leader for future #supercomputing capabilities at Microsoft Azure. Impartial in HPC community (as much as is possible) Posts about #HPC #AI #cloud #tech #F1 #LFC #aviation #travel …
@matropert.bsky.social
C++ Gamedev and Lead. Ex Paradox Dev Studio. Ex Paris C++ User Group organizer. Avid roleplayer, amateur photographer and occasional winetaster.
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@henrichlauko.bsky.social
Compilers at Trail of Bits ~ VAST: MLIR frontend for C++ ~ Program Analysis