Matthew Sanabria @matthewsanabria.com Christian. Husband to my beautiful wife. Engineering at @oxide.computer. Podcasting at @fallthrough.fm.
matthewsanabria.com
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
butterfly @butterflysky.dev identity proof: $argon2id$v=19$m=64,t=512,p=2$macfsyKpkmqcLvJJkYx1LA$cf0eA5lZu6obbLB+TSx2AA
https://keyoxide.org/34DC3FE36C0ED20335D7F24701B5A5A1ECAD46FA
antirez @antirez.bsky.social Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
Alessandro Diaferia @alediaferia.com I think about and build software
ti zhang @solarizedtitanium.gg any | staff site reliability engineer|roots in SWE | Daoist,artist,writer,musician,complex systems thinker | soft,like the ocean is soft.gentle,like the sun could be gentle | www.nombiezinja.com | married, not poly | parent | formerly @zerochilltea
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
Jon Severs @jonsevers.bsky.social Editor of Tes Magazine
Chris Krycho @chriskrycho.com Anglican Christian. Software engineer, composer, theologian, writer, runner, photographer. Platform engineering at Vanta. Co-author of the Rust book. Previously front-end platform at LinkedIn; Ember TS & Framework teams alum.
→ chriskrycho.com
Rémi Forte @rmfrt.com Poetic Program, Typographic System
https://www.rmfrt.com/
Kieron @kieronlanning.dev 🇪🇺 | .NET | Solution Architecture | Nerd | Techie | Gamer | BBQ | Foodie | Isle of Wight (UK)
https://kieronlanning.dev/
https://kjl.dev/
Venkat @venkatamutyala.com Platform Engineer/CTO @ a PaaS startup.
Touching Apache HTTP Server since I was 12.
SQL since I was 15.
I'm also a "SQL expert" and can prove it.
Feel free to tag me with your DevOps/Platform/K8s questions!
AWS/GCP/Azure/DigitalOcean/Hetzner
Python/C#
Jorge Sánchez (xurxodev) @xurxodev.com Saber crear software de calidad te da libertad.
Escribo historias, consejos y experiencias.
https://xurxodev.com/libros
https://xurxodev.com/estudio-comunidad-xurxodev/
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
Aravind Putrevu @aravind.dev Dev Tools | Builder | Angel Investor
Ex - Fireworks, SurrealDB, Elasticsearch
aravind.dev
Andrey Satarin @asatarin.bsky.social Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement.
http://asatarin.github.io
Microsoft @microsoft.com AI, Cloud, Productivity, Computing, Gaming & Apps ☀️
Abel Dantas @abeldantas.bsky.social Researcher, Distributed Systems
Rudy Onfroy @rudyonfroy.bsky.social Product Builder, Développeur, CTO, CPO.
The Embedded Rustacean @theembeddedrust.bsky.social The source for everything Embedded Rust. Curated news and resources to up your Rusteacean game. 2x a month. 🦀
🗞️ Subscribe: http://theembeddedrustacean.com/subscribe
Nate Butler @nate.rip Making things, writing software • nate.rip • build native & open, share your ideas with the world • future exploration @githubnext.com, ex @zed.dev / fb
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Uncle Joe @sydseter.com Co-leader OWASP Cornucopia. If you like what we do for open source, visit our code repository https://github.com/OWASP/cornucopia and give us a star ⭐
🌈 «Difference is of the essence of humanity» 🦄 – John Hume
#appsec #owasp #cornucopia #threatmodeling
Henry Garner @hendroid.io Principal Engineer & AI Lead @juxt.pro
AI/ML • data intensive applications • product
Author of Clojure for Data Science https://cljds.com/book
Maintainer of Clojure(Script) library kixi.stats
{London | Cambridge | Brighton}, UK
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Praveen Chandar @pchandar.bsky.social LLM, Recsys, IR; Spotify; Startups
Sainath Adapa @sainatha.bsky.social Staff Machine Learning Engineer at Spotify, working on Homepage personalization
Willy Brauner @willybrauner.com Front-end developer, driven by design.
Former lead front-end @ cher-ami.tv.
Musician, drummer.
Based in Lyon, France.
Freelancer
↳ https://willybrauner.com
↳ https://github.com/willybrauner
Jason Lee @jasondeanlee.bsky.social Associate Professor at Princeton
Machine Learning Researcher
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Michael Kevin Spencer @aisupremacy.bsky.social Canadian in Taiwan. Emerging tech writer, and analyst with a flagship Newsletter called A.I. Supremacy reaching 115k readers
Also watching Semis, China, robotics, Quantum, BigTech, open-source AI and Gen AI tools.
https://www.ai-supremacy.com/archive
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
Cloudflare @cloudflare.social Cloudflare is the world’s leading connectivity cloud, and we have our eyes set on an ambitious goal — to help build a better Internet.
Phil Hawksworth @philhawksworth.dev Developer adoption at @cloudflare.social.
Previously @deno.land, @netlify.com,
Late-blooming choir boy.
Eater of foods.
https://philhawksworth.dev
he/him
Zoe Kleinman @zsk.bsky.social BBC Technology Editor 🤖
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Andrew W Moore (he/him) @awm22.bsky.social Stumbling through life
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
Davanum Srinivas (@dims) @dims.dev
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Steven Murdoch @steven.murdoch.is Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
James Landay @jlanday.bsky.social Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
Niall Murphy @niallm.bsky.social Entrepreneur-in-residence. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
Lizard Queen @pvineetha.bsky.social Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
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
Brian T. Rice @briantrice.bsky.social Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Navy nuclear tech pre-9/11, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸. On hiatus! Be well.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
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
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Lorenzo De Carli @ldklinux.bsky.social Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
James Dawson Brock @jamesbrock.bsky.social Pure functional programming, Haskell, PureScript, Nix.
Vermont provenance, Yokohama residence.
https://github.com/jamesdbrock
https://twitter.com/jamesdbrock
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Greg Michaelson @gjmichaelson.bsky.social An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
Johan Jeuring @johanjeuring.bsky.social Professor of Software technology for learning and teaching, Utrecht University
José Cano @jocare.bsky.social Reader (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security
https://www.dcs.gla.ac.uk/~josecr/
Naren Ramakrishnan @profnaren.bsky.social Thomas L. Phillips Professor, CS@Virginia Tech. Data science, machine learning, urban analytics.
Dave PhD @cmsdengl.bsky.social HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #cats #music #musicmaking #piano #space #gardening #IAmEuropean
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicar’s wife, accidental banker
Venkatesh-Prasad Ranganath @orderwithchaos.bsky.social Curious about software and computing. I consume skeets via curated lists hoisted as feeds :)
[he/him]
http://rvprasad.com
Roderick Murray-Smith @rodmurraysmith.bsky.social Professor of Computing Science at the University of Glasgow.
Paul Brauner @polux2001.bsky.social 
Jonathan Merritt @lancelet.bsky.social AI, deep learning, numerical, functional programmer.
Looking for a job!
Uilleann piper, highland piper, extreme Gaelic music enthusiast.
https://jmerritt.blog
Lucas Bordeaux @lucabordo.bsky.social 
Naums Mogers @naumsmogers.bsky.social Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Michio Honda @michioh.bsky.social Faculty at Edinburgh. Computer network & OS research. Foodie. 🏴🇬🇧←🇩🇪←🇯🇵
https://micchie.net
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Katie Ots @kjots.bsky.social Coder. Communicator. Creative.
Salar Rahmanian @salarrahmanian.bsky.social Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
George Porter @georgemporter.bsky.social AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmporter
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
rohit @rnair.bsky.social agi whisperer 
Lauritz Thamsen @lauritzthamsen.org Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
@avsm.bsky.social @avsm.bsky.social 
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Michael Moore @michaelmoore.ai #AI, #Cybersecurity, and other technology topics. Trying to make the world a better place. Personal account; my views only. Work: https://s1.ai/purple at @sentinelone.com
Technology Brobdingnagian @dfeldman.org 
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
@earlence.bsky.social @earlence.bsky.social (Assistant) Professor at @UCSanDiego. I hacked a Stop sign once, and it is now in a museum. Also hacked a bicycle. I mostly spend my time building stuff though.- R @rsnikhil.bsky.social @rsnikhil.bsky.social
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her