@asymmetriciris.bsky.social @asymmetriciris.bsky.social 
@anne-duprat010.bsky.social @anne-duprat010.bsky.social 
Mike Just @justmikejust.bsky.social 
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/- P @plumenator.bsky.social @plumenator.bsky.social
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Farwest Erica @farwesterica.bsky.social Old Lefty, liberal af, retired; on FB since it was students-only; family genealogist, loner but never lonely; my spare monitor is my window on my world. DM me only if you already know me...
Jan van Brügge @jvanbruegge.cerberus-systems.de 
@101zozo010.bsky.social @101zozo010.bsky.social 
Linotype Pilgrim @symbo1ics.bsky.social Reviews: "unhinged", "deluded", "incoherent", "sick jerk" | Black Lives Matter | Vidas Indígenas Importam | Trans Lives Matter | typography, politics, profanity, analog electronics, retrocomputing, coffee, food | Mastodon: https://timeloop.cafe/@symbo1ics
TheZoq2 @thezoq2.bsky.social Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezoq2
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
DMovies @dmovies.bsky.social your platform for thought-provoking cinema
Mischan Toosarani-Hausberger @abovevacant.bsky.social Programmer; likes debuggers, emulators, runtimes; works on tools for (embedded) vision+imaging pipelines; contractor for systems-level stuff; optimism is the belief that we can do (a lot) better.
https://github.com/supervacuus
suraj @essnine.dev code monkey, bit lost right now
RC - F2 '23
Axman6 @axman6.au Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler.
Also find me on 🦣 @axman6@infosec.exchange
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Agam B @agam-b.bsky.social - R @rsnikhil.bsky.social @rsnikhil.bsky.social
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Federico Biccheddu @f15u.dev Software Engineer, CTO @ Parcy, Inc · Effect-TS enthusiast · EDM Composer
Jim @ludflu.bsky.social functional programming, generative music, medical informatics, meditation, postgresql, baduk
Phil Bartie @philbartie.bsky.social spatial data science, ML / AI, HCI, music... 
Josephine Dorado @jodorado.bsky.social Immersive Learning Pioneer | XR & AI Champion | Fulbright Scholar | WHO Alum | #OpenMetaverse- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
Mikael Olesen @mikaelolesen.bsky.social 
PLT_cheater @cheater00.bsky.social 
four seasons joe (not the hotel) @alacqua.bsky.social Husband, Dad, Unnle. MS Computer Science (yay!). Interests: functional programming, type theory, semantics, and math(s). Repost politics. Thx @reverentgeek.com for the profile pic!
@rozzai.bsky.social @rozzai.bsky.social 
📎🐸🕊️Ω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
Felix Velarde @felixv.bsky.social Author of Scale at Speed, founder of 2Y3X, speaker, advisor
Posting about agencies, AI, leadership, scaling, strategy
Lover of life: just say yes
felixvelarde.com
Gaston Annebicque @gaston-a.bsky.social CEO of ekino France agency, part of Havas CX.
Tech, auto and sports geek.
Roger Federer addict.
Álvaro Ramírez @xenodium.bsky.social Blogs about #emacs and other stuff at xenodium.com.
Authored plainorg.com and flathabits.com for iOS.
Living in an Emacs buffer somewhere in London.
Also at https://twitter.com/xenodium and https://indieweb.social/@xenodium
Gavin Abercrombie @gavina.bsky.social natural language things @ https://sites.google.com/site/hwinteractionlab/
gavinabercrombie.github.io
Euskaldun berria
Tha beagan Gàidhlig agam
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Bill Scherer @emacs914.bsky.social Emacs, Python, and Linux. Atheist.- E Ender Özcan @enderozcan.bsky.social software developer. emacs lover
- M @markermak.bsky.social @markermak.bsky.social
Neil Holmes @neilholmesphoto.bsky.social Photographer based in Kingston upon Hull, UK
http://www.neilholmesphotography.co.uk
Charlie Eaton @charlieeaton.bsky.social Economic sociologist, professor, University of California, Merced.
Research: Wall Street, Big Tech, oligarchs, elites, universities.
Bylines: NYT, WaPo, LAT.
Newsletter and website: https://www.charlieeaton.net
Polimapper @polimapper.bsky.social Polimapper provides tools to engage political stakeholders with hyper relevant information. Geographic Data | Relevant Insight | Policy Actions
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
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
Diocese of Bristol @bristoldiocese.org Transforming Churches. Together at over 200 south-west churches including Bristol, Swindon and Chippenham
linktr.ee/dioceseofbristol
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Calum @zootm.bsky.social So far afraid to post here
Matthew Barr @matthewbarr.co.uk Professor and Head of Education & Practice, School of Computing Science, University of Glasgow. Co-director, Games & Gaming Lab. Director, Ada Scotland Festival.
@sinantie.bsky.social @sinantie.bsky.social 
Sam Lindley @reifyreflect.bsky.social 
The color of television, tuned to a dead channel… @soulhakr.bsky.social Last of the Freelance Hackers
BOFH / Chief Troubleshooter, Savvy Enterprises
Code-Slinger for the LOL
Philosopher, Engineer, Storyteller
Specializing in Media
(🎸🎹🎼🎧, 🎥 , 👨🏾💻)
💛💙❤️🖤∞🖤🤍💜🩶
⛓️💥✊🏾♻️🌎🌲🍃🍥🍜🎮🎲📚🧙🏾♂️🖖🏾🚀🪐🔭🔬🧪🧠🌶️
He/Him
Dan Green @seeinggreen.co.uk Lecturer and PhD Researcher @heriotwattuni.bsky.social
Vice President of @hwucu.bsky.social
Disabled Members' Standing Committee Member for @ucu.org.uk
🏳️🌈♿
Meta Language @language.metaproject.frl Meta, a #HumanFriendly #Programming #Language
Reducing #software waste
- Productive
- Highly efficient & blazingly fast
- Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes
https://language.metaproject.frl
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Concussion Alliance (ConcussionAlliance.org) @concussionalliance.bsky.social Education & advocacy nonprofit providing a safety net of evidence-based resources to help patients and their loved ones navigate recovery––and educating current & future healthcare providers on current best practices for rehab & referral
Afterlight Comics - A Horror Comics Publisher @afterlightcomics.bsky.social 🏆Award winning Indie Horror Comics & Games Publisher 🇬🇧Based in the United Kingdom 🌍Shipping Orders Worldwide since 2018 🕯️We dare you to read..
Association for Public Service Excellence @apsenews.bsky.social At APSE, we help local councils deliver excellent frontline services. Follow us for news, updates and events. Find out more here: https://apse.org.uk/index.cfm/apse/
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
Jason Pedlow @jasonpedlow.bsky.social Climate change, politics, satire and, well, whatever is on my mind
@rtadelacruz.bsky.social @rtadelacruz.bsky.social 
Steph Edusei @stephedusei.bsky.social CEO at St Oswald's Hospice & Chair of Eliot Smith Dance. Speaker & Coach. Mother, dance teacher and Guider
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
🇵🇸🏴☠️🌻TurboKitty🌻🏴☠️🇵🇸 @turbokitty.bsky.social Nevada Green Party Co-Chair
https://nvgreenparty.org/
Glasgow Carbon-Conscious Computing (GC3) lab @glasgowc3lab.bsky.social Computer systems lab focused on Carbon-Aware Cloud and Edge Computing at @uofglasgow.bsky.social @uofgcompsci.bsky.social
Ron Ashtiani @ashtianiron.bsky.social Dad x3, Art Director, Author, Oil Painter. Board Director @SteamforgedLtd, Ambassador @Specialeffect, Serial company founder of @atomhawk & @bigthursday_uk Currently building a new video game studio called Last Arrow Games
https://www.ronashtiani.com/
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Graham Sivills FBCS @grahamphoto.bsky.social Photographer Left Leaning Catholic Yorkshireman, Catenian, Musician of sorts, Mandolin Guitar Former Computer person (38 yrs)
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
Geography facts @geographyfacts.bsky.social Exploring the world through flags and maps🌍 Your daily dose of geography, one post at a time!
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Keir @keirioats.bsky.social 
@thersd.bsky.social @thersd.bsky.social Profit maxi
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.
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
Waqar Nabi @waqarnabi.bsky.social Academic at University of Glasgow
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Joanne Whitehead @jowhitehead.bsky.social ⭐️ Business Strategist | Charity Trustee
🌍 Advocate for ethical leadership & progressive change.
⚡ Campaigning for a better future: pro-EU, anti-far-right.
💜 Yorkshire roots. And as Nanna said: #NeverTrustATory
Chris Hoar @chrisjhoar.bsky.social Writer of stuff / Software Developer / Musician and lead singer Courting Ghosts / Lib Dem / History lover /Despiser of Brexit.
Roisin Sullivan @sheensullivan.bsky.social PhD candidate at the University of Sydney
Passionate about fish health 🐟, pathogens🦠 and knitting 🧶
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
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
Rick Smoking Gun @rick-smokinggun.bsky.social Dad, PR, Burnley FC, CEO @ SmokingGun.Agency, good times, kindness
savannah wooten @savannahewooten.bsky.social transitioning over from X! Putting up the good fight against the military-industrial complex at @publiccitizen.bsky.social by day and making tiny lil' crafts with my dogs by night 
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
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