Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Pierre Bourdon @delroth.mastodon.delroth.net.ap.brid.gy Reverse engineer, open source developer and maintainer. Ex-infrastructure security tech lead, now on break. he/him. pfp: vgen.co/angelrosestar
[bridged from https://mastodon.delroth.net/@delroth on the fediverse by https://fed.brid.gy/ ]
Jonathan Salwan @jonathansalwan.bsky.social Program analysis, reverse engineering and vulnerability research at
Apple SEAR. Some other stuff on https://shell-storm.org and http://github.com/JonathanSalwan 
Furrtek @furrtek.bsky.social Virtual coyote obsessed with retro electronics reverse-engineering, theme park tech, music, and giant robots ๐.
Likes the demoscene, SDR, urbex, pointy animals, graffiti, things on rails, North Korea. No AI bros, shills or posers, thanks. ๐ซ๐ท/๐บ๐ธ
Ken Shirriff @righto.com Computer history. Reverse-engineering old chips. Restored Apollo Guidance Computer, Alto. Ex-Google, Sun, Msft. So-called boffin.
Ian Hanschen @furan.bsky.social Principal OS Engineer. One of the four engineers who built DWM. Shipped graphics code across Windows, Xbox, and beyond. Served time at Microsoft and Intel. Here for retro hardware. Projects at https://www.hackaday.io/furan
Love2Code @love2code.bsky.social ๐ โ ฮป: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice. ๐๐ ๐จ๐ฆ
Personal website: https://pointersgonewild.com
@mithro.bsky.social @mithro.bsky.social 
@pinkflawd.bsky.social @pinkflawd.bsky.social 
Colin Riley @domipheus.bsky.social CTO at JECO; prev FSR 4/3/2 Lead at AMD, GPU Drivers at AMD, Codeplay doing debuggers, compilers and optimizations for various folks. FPGA/Electronics/DIY hobbyist. Own opinion. https://domipheus.com/
R @arcanenibble.bsky.social Full-stack hacker. Chuuni rights! Funemployed (prev. infosec).
they/them
EN/ไธญๆ/ๅปฃๆฑ่ฉฑ (ABC)/learning DE
Tudor Timi @tudortimi.com Verification Engineer by day, Verification Gentleman by night. Posts may contain traces of snark and/or sarcasm.
@new299.bsky.social @new299.bsky.social 
@nanographs.bsky.social @nanographs.bsky.social 
William D. Jones @cr1901.bsky.social At some point, the hard disk platter became my secondary drink coaster. But I still use it :)!
Ben Krasnow @benkrasnow.bsky.social I design & build electromechanical prototypes and host the Applied Science channel on Youtube.
Tony Moor @mrtmoor.bsky.social 
Piotr Esden-Tempski @esden.net fediverse: @esden@chaos.social
Embedded Open-Source Hacker? Founder of 1BitSquared https://1bitsquared.com | Maintainer https://black-magic.org | https://icebreaker-fpga.org
#hardwarehackers #fpga #asic #embedded #risc-v
he/him
Joe FitzPatrick @securelyfitz.bsky.social Trainer and Researcher, SecuringHardware.com
Pepijn de Vos @pepijndevos.bsky.social Saying words recreationally
YosysHQ @yosyshq.com The home for the team maintaining Yosys and related Open Source EDA projects.
https://www.yosyshq.com/
Sign up to our newsletter! https://yosyshq.com/newsletter
Jon Purdy @jonpurdy.bsky.social โฐTPM @ChainSafe
๐ฐ๐ท ํ๊ตญ์ด ๋งํ๋ ์์ด,
๐ motorcyclist,
๐ Dog Dad.
Toronto โ SF ๐.
Foxes In Love @foxes-in-love.bsky.social The official bluesky account of Foxes In Love!
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
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.
sabine ๐ซ๐ฆ / "use ocaml"; @sabine.sh OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ
twitch.tv/sabine_sh
github.com/sabine
Alexis King @lexi-lambda.bsky.social computers can be understood โข she/her, โข โข Chicago
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/
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Mara Bos @mara.bsky.social Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her ๐ณ๏ธโโง๏ธ coworkers DNI
https://linktr.ee/gabriella439
๐ @ember.pet
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.
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Emery Berger @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. 
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/
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Shu-yu Guo @rfrn.org he/him
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ยท
Core Developer, @racketlang.bsky.social ยท
Member, TC39 ยท
Handler, Gravymaker ยท
Bike Advocate, Bloomington IN
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! โ
๐ https://dcreager.net/
๐งญ Massachusetts
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Luke Wagner @lukewagner.name Fastly, formerly Firefox / Mozilla
Wasmburgers, all the way up
Constellation @yusukesuzuki.bsky.social ใใใ ใปใผใโญ๏ธ
https://constellation.slowstart.org
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. โ Compilers, WebAssembly, Java, Rust, Go โ prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit โ organizer Papers We Love Milano
evacchi.dev
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/
Thomas Wuerthinger @thomaswue.dev Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
Thomas Lively @tlively.bsky.social Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
Deepti Gandluri @deepti.bsky.social Compiler engineer, making the web fast at Google Chrome. Bit twiddler and ๐ WebAssembly. I love snacks and tiny projects. She/her
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
John McCall @pathofshrines.bsky.social Language and compiler developer at Apple (Swift, Objective-C, C++, C, security mitigations). Queens resident, 49ers fan, strongly leftish.
Daniel Rosenwasser @danr.bsky.social TypeScript Product Manager and TC39 rep working on JavaScript standards.
Enthusiast of compilers, dev tools, language VMs/runtimes.
Samuel Groร @saelo.bsky.social Working on Project Zero, Big Sleep, and V8 Security. Personal account.
Savannah Ostrowski @savannah.dev Python 3.16 & 3.17 Release Manager. Python Steering Council. Python Core Developer. Building @fastapicloud.com. Likes compilers, open source, film, physical computing + cats.
savannah.dev
github.com/savannahostrowski
@coredispatch.xyz
Pablo Galindo Salgado @pablogsal.com I program the programming program that other programmers use to program programs. Python Steering Council and core developer. Python 3.10/3.11 release manager. Deals with black holes and parsers. Attracts linker problems.
Alexander Bandukwala @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 
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Remko Tronรงon @mko.re Software ยท Music
JF Bastien @jfbastien.com Build & scale platform โ working on humanoid robotics ๐ค
๐ https://jfbastien.com
๐ https://tlbh.it
๐ ๆฑไบฌใๆฅๆฌ
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Jessica Paquette @barrelshifter.bsky.social compiler engineer from hell
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
OCaml @ocaml.org https://ocaml.org
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Talia Ringer @taliaringer.bsky.social 
Hoshino Lina (ๆไนใชใ) ๐ฉต 3D Yuri Wedding prep!!! @lina.yt Hacker & Mad Scientist VTuber!
โถ๏ธ lina.yt
๐ @cyan.yt ๐ฉต | We are @thgirls.yt โจ
ใใ : @heripiro.bsky.social ๏ฝใใ : twitter.com/otozuki_teru
All the links: https://lina.yt/me
amos @fasterthanli.me hi, I'm amos! ๐ they/them ๐ฎ "most level-headed AI user" ๐ซ working on something dataflow-shaped ๐ฆ known for teaching rust and not much else
๐ https://fasterthanli.me
๐บ https://youtube.com/@fasterthanlime
Bluesky @bsky.app official Bluesky account (check username๐)
Bugs, feature requests, feedback: support@bsky.app