๐ต๐น snipe, lixo tรณxico โญโญโญโญโญ @snipe.lol Hacker, dev, CEO of @grokability.com, author, speaker, open sourcerer, sudo incarnate, poo doula. I make @snipeitapp.com. Was @snipeyhead. Married to @uberbrady.com. Vivo em Lisboa ๐ต๐น. #Laravel #FOSS
๐ snipe.net
๐ snipe.pt
๐ @snipe@hachyderm.io
@virtue-carrot.bsky.social @virtue-carrot.bsky.social 
Patrick McGahon @paadzer.bsky.social Irish gay guy in the East of England ๐ณ๏ธโ๐
In my fifties
EastEnders & Bargain Hunt fan
RIP mum ๐ 2022
Worked at Cambridge University & NHS
Awful at responding to DMs
Sober a few years
Not looking for hookups
David Gasquez @davidgasquez.com Data @ Protocol Labs.
Open Data, Open Source, Open Protocols.
Walks taker. Progressive Metal enjoyer.
davidgasquez.com
Adharsh Kamath @adharshkamath.bsky.social CS PhD student at UIUC
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Neeldhara Misra @neeldhara.bsky.social โ http://www.neeldhara.com
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb ๐ญ๐ท. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Aaron Ansuini @aaronlinguini.bsky.social ๐ฑ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐โฟ๏ธ
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
Tamara @tamarapolajnar.bsky.social 
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh โค๏ธ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
Former technical and creative writer
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
ATTAP @attap.bsky.social i'm Bruce Edward Spector. Technologist, OG internet entrepreneur, investor. I founded WebCal the first Personal Information Manager for the web (acquired by Yahoo!) My current project, ATTAP (All Things to All Peopleยฎ), can be found at https://attap.ai
Freya @aivlog.bsky.social Digital Diary | Live the moment, love my cats, create a life I love ๐
Pocket AI @pocketai.bsky.social a billion parameters in your pocket
Ferhat Erata @erata.bsky.social PhD student @Yale โข Applied Scientist @AWS AI โข Automated Reasoning โข Neuro-Symbolic AI โข Alignment โข Security & Privacy โข Views my own โข https://ferhat.ai
Lorenzo De Carli @ldklinux.bsky.social Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S. L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ด;Nno๐ฎ๐ธ๐ซ๐ด
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Jens Scherbl @jensscherbl.bsky.social Tell โem a hookah smoking caterpillar has given you the call.
Sharun @sharunkumar.com ๐จโ๐ปSoftware Engineer | ๐ฎGamer | ๐ปTech & ๐Car Enthusiast | ๐ฑCat Person
sharunkumar.com
Bill Stewart @billstewart.bsky.social Techie, bad musician, SF fan (either Science Fiction or San Francisco.)
NorCal
He/They/Thou/Yo/Oook/Whatever
Not actually a crypto-owning selfie-taking copyright monkey.
๐ฒ druth ๐ @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
๐ป github.com/massivefermion
๐ธ instagram.com/massivefermion
Raymond Mumme @rpmumme.bsky.social Grad Student in Comp Sci @ UIUC @uofigrainger.bsky.social | Former Sr. Research Asst. in Radiation Physics @ Univ. of Texas MD Anderson Cancer Center @mdanderson.bsky.social, developed AI for RPA https://rpa.mdanderson.org | ๐ณ๏ธโ๐ he/him | Views are my own
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@julesjacobs.bsky.social @julesjacobs.bsky.social 
@1hamidr.bsky.social @1hamidr.bsky.social 
Goodie 2Shoes @goldenphallus.bsky.social Enjoying life under blue skies, in tight blue jeans, chewing blue bubblegum, wearing blue shoes.
Lucas @priime.bsky.social Interested in Racket, Emacs, NixOS
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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
Sydney Wicker๐ป๐ฆ๐๐ @sydneywicker.bsky.social ๐ I enjoy learning, gardening, hiking, fitness, animals, food, & equality for all. Dislikes- ๐ซMAGA, Trump, loud uneducated folks, threats to democracy, & eating mushrooms.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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
Mounia Lalmas @mounialalmas.bsky.social Research @ Spotify
https://mounia-lalmas.blog/mounia-lalmas/
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
Technology Brobdingnagian @dfeldman.org 
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.
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.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
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
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
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)
Sam Westrick @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/
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
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
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPVโฆ and the rest of life, too.
tijana miniฤ @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | ๐ท๐ธ๐ฆ๐ช๐บ๐ธ
tijanaminic1.github.io
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@mahboobehad.bsky.social @mahboobehad.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Mina Bach @minabach.bsky.social I believe in tech for good & open design
๐ฆ Design @DuckDuckGo
โ๏ธ Lead @DesignClub
โ Mental Health First Aider
๐ minabach.com
sabine ๐ซ๐ฆ / "use ocaml"; @sabine.sh OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ
twitch.tv/sabine_sh
github.com/sabine
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
supersingular @supersingular.bsky.social Hi! I'm interested in Security, Cryptography, Math, Programming, Algorithms, Rust, Computer Graphics, Machine Learning
he/him
Albert Flasher @albertflasher.bsky.social If you're a Trump supporter, FUCK OFF & DIE.
Err... I mean, please don't follow me & have a nice day!
Tories & MAGAts... the exit is over there โก๏ธ
๐๐ ๐ ๐ฎ๐ฟ๐ฒ ๐๐๐ฟ๐ป๐ฒ๐ฑ ๐ผ๐ณ๐ณ!
#BlueWave๐
๐Ally๐ณ๏ธโ๐
#BLM
#ASL๐ค
#VetsAgainstTrump
#GoFins
#GoAvsGo
Yoz Grahame @yoz.bsky.social A small yoz-type object. He/him/oh.
Passive Londoner, active Oaklander.
Only eats kosher planets.
Also @yoz@mastodon.social.
Grupo de Aรงรฃo Revolucionรกria Antifascista @gara-nacional.bsky.social Grupo de Resistรชncia Antifascista contra todas as formas de opressรฃo em Portugal ๐ด๐ฉ
Nossas redes : https://linktr.ee/GARAPT
#Antifa #AntifaPT #Portugal #Antifascism
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. ๐บ๐ฒโค๏ธ๐ต๐น, she/her, Dr. Sherry, Mamรฃ, working at AS8!
www.justinesherry.com
Sabine @sabines.bsky.social One of those immigrants; once overran the UK. Australo-Germano Frenchie. Going back to the various places I came from. https://www.instagram.com/sabinecards
PhD Voice @phdvoice.bsky.social Amplifying the voices of PhD Students. Tag us with @phdvoice.bsky.social
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.
James Landay @jlanday.bsky.social Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
Helen Wilson @winnfrith.bsky.social Refugee from the Twitterverse
49 She/Her
Single and not looking
Self Employed
Proud Pagan.
Pro EU membership, politics closely aligns with the Green Party with some divergences.
From the city of Milton Keynes, North Bucks, England
Crista ๐ถ @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the Universityโs.
I like light and clarity.
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. 
Steve Peers @stevepeers.bsky.social Professor of EU and Human Rights Law. Usual disclaimers. Latest book: European Union Law, 5th edition, co-edited with Catherine Barnard.