Dan P @copumpkin.bsky.social Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
cronopio @cronopiob.bsky.social Books, maths, thinking.
Nile @hairyears.bsky.social Archetypal Geek, perpetrates puns and Limericks, did a bit of Aikido.
My profile pic is a male Green-Eyed Flower Bee; the profile header is a female Orange-Tipped Mining Bee: both were photographed close to home on Wanstead Flats, in suburban East London
Cameron Johnston @cameronjohnston.bsky.social Scottish fantasy author. Archaeology & history fiend. The Maleficent Seven and The Last Shield out now from Angry Robot Books, represented by Ed Wilson at Johnson & Alcock. www.cameronjohnston.net
Daniel Douglas Howell @shinydan.northsky.social No, not that one.
51, UK, Bisexual, autistic, proud nerd. Hope. Billionaires: pogue mahone.
#LookDadNewTunes #DouglasWatchesEveryAnime
April aka cyberglot @cyberglot.bsky.social PL nerd, digital artist. Making programs typecheck in the UK.
Mike Bell @rebelmike.bsky.social Electronics tinkerer, narrowboater, puzzle hunter, board gamer and occasional geocacher.
Also on fedi @rebelmike@hachyderm.io
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Nate The Prole @nateprole.bsky.social AnCom 🏴Ⓐ
https://substack.com/@peacefulrevolutionary
https://kolektiva.social/@NateProle
d@nny disc@ mc² @hipsterelectron.bsky.social typing free software to break the shoulders of giants from golden handcuffs. i build tools to level the playing field. @hipsterelectron@circumstances.run
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
really? in front of my FIFA Peace Prize?! @palkyrie.bsky.social east portland, politics, surviving while poor, snark, halfBlackness #RinkBack #FireBillups #YNWA
between forty and fifty, between lower-class and upper lower-class, between pendleton and rainier. bnuuy hug on Goblin.
inchoaterica.wordpress.com
Sam Kuhn @samkuhn.bsky.social 
clarissa @leftadjoint.bsky.social That educator in computational peculiarities. Phenomenologist. Algomusician. Anarchafeminist. Obligate herbivore.
Govy Scum ONLY @mewgwen.bsky.social 49. Portland, the second one, next to Vancouver, the first one, Oregon (the world's largest trailer park.) Queer. Autistic, but the scary kind. Tired. Managed by an orange cat. Likes beer and dislikes posers. Alleged Govy Scum member. Outta my line, Kyle!
Shani @andustar.bsky.social 
EC Hallewell @echallewell.bsky.social Writer of stories, dreamer of dreams, parent of child, and so on...
I like shiny things 🌟
@em.h.writes.things on Instagram 🦋
Fiona Leslie @bibliofi.bsky.social Author of SFF.
On sub: A ghost filled Urban Fantasy based in Edinburgh.
WIP: A Christmas movie goes horribly wrong - paranormal horror meets RomCom
Rep: Judith Murray - Greene and Heaton
PhD in evolutionary genomics/ bioinformatics
@cgreil.bsky.social @cgreil.bsky.social 
Adrian Ogden @ade-on-drums.bsky.social Shy and quiet, neither scene nor herd.
No Tea: Dropped.
He/Him.
Also @Ade_on_drums@mendeddrum.org- L Laurence Aitchison @laurenceai.bsky.social Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Rebecca Mae @rebeccamaewrites.bsky.social Writer ✏️ Reader 📚 Tutor 📝 Cat Mama x 3 🐈 Bona Fide Martian 👽
🏳️🌈
Sarah Clarke - Not your doll @damselindystopia.bsky.social Researcher of anti-trans harms (on hiatus). Moody anarchafeminist. A natural source of vitamin 1312.
https://damselindystopia.ghost.io
Mz. April Daniels ⚧ @aprildaniels.bsky.social Queen of the Omelet Bar, and friend of Dax
Dreadnought, Sovereign, and a forthcoming third book
I unfollow and/or mute anyone I see posting generative AI images.
Amanda Dorts @mx-creant.bsky.social Evidence-based creative. I learned most of my science and history through reading SF
AuDHD, Disabled, queer, non-binary, anti-Zionist Jew for a free Palestine
Captures birds and politics in pixels
Fights for a better today
Dreams of a better tomorrow
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es- K Kade @kadetheyeen.bsky.social Personal account. He/him.
Jeff Eaton @eaton.fyi Conceptual corvid currently fixated on organizational topology, design systems as languages, structured content as embodied doctrine, antifascism, and shitposting as a service.
My views do not represent those of my employer, no matter what they claim- D @davebook.bsky.social @davebook.bsky.social
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Lena Lucretia Lamont @derryderrydown.bsky.social - L lionelbrits.bsky.social @lionelbrits.bsky.social
Roly Perera @handle.invalid 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
@gabedijkstra.bsky.social @gabedijkstra.bsky.social 
Kade Peregrine @kadeperegrine.bsky.social Streamer, artist, crafter, dogparent.
he/him
Tips: https://ko-fi.com/kadeperegrine
Store: payhip.com/kadeperegrine
Elaine Scattermoon 🏳️⚧️🏴 @scattermoon.bsky.social Elaine, from the Internet.
Trans, Scottish, Tired.
@scattermoon on Twitter. I did that thread that one time.
Anna Nicholson @transponderings.bsky.social AuDHD trans non-binary human. She/her. Scribbler of words, music and pictures. Meds reminder. Erstwhile linguist etc.
Blog: transponderings.blog
Mastodon: @transponderings@eldritch.cafe
Mallory Moore @sexabolition.blog Trans liberation and information security. @transsafety.network
Manchester, UK
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
David Valley @sonicdave2112.bsky.social Film Composer, Songwriter, Progressive coffee enthusiast and music nerd, Ally to all. No DM's🚫 No crypto🚫
Ask me about the Black Sheep Social Club!
It's finally out!
#Blueresisters
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
@gadgetgrrl.bsky.social @gadgetgrrl.bsky.social 
Abel Dantas @abeldantas.bsky.social Researcher, Distributed Systems
Lesley Weston @lesley210.bsky.social SJW. Into afp, SF... anything, really, so long as it's funny.
Eduardo Serrano @eduserrano.com Editor. Brazil. || The Secret Agent, Bacurau, Aquarius, Boi Neon, War Pony || https://www.imdb.com/name/nm3810896/
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.
Tiago @tiferrei.com he/him • Computer Scientist @ UCL PPLV
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Praharsh Suryadevara @praharsh.bsky.social Physics PhD Student @ NYU- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
@ultimatelambda.bsky.social @ultimatelambda.bsky.social Epic Games employee
Jeremy Manson @jeremymanson.bsky.social Software engineer. Parent. Other stuff.
@colmmchugh.bsky.social @colmmchugh.bsky.social 
Lady Kayla @ladykayla.bsky.social Painter (all kinds); crafter ("never met a craft she didn't like" - my husband); quilt maker; mother & grandmother; book lover (SFF); fibro fighter; cancer survivor.
Jewlz56 @jewlz56.bsky.social 
Gary @garytang.bsky.social Recommendation Systems at Netflix
@josehrami.bsky.social @josehrami.bsky.social 
Martin - Oh... @martinoh.bsky.social Preference for the dialectical over the rhetorical. Mostly.
Bread and Rosie @rosiemund.bsky.social MF Pride of the Tyne
🏳️🌈 🚲 😷
She/her.
pfp: black and white photo of me, dark circles painted under eyes as though extremely tired, black lipstick, collar of black faux-fur coat
Gillian Hadfield @ghadfield.bsky.social Economist and legal scholar turned AI researcher focused on AI alignment and governance. Prof of government and policy and computer science at Johns Hopkins where I run the Normativity Lab. Recruiting CS postdocs and PhD students. gillianhadfield.org
Andre Videla @andrev.bsky.social I like trains
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
joao @joao.omg.lol Research Engineer at Google DeepMind
A special snowflake existing in 196883 dimensions
#ActuallyAutistic He/Him
Joseph Lindley @designresearch.works Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything.
Watch a film about it here: https://designresearch.works/permission-to-muck-about
Was @joegalen on ‘ex’ platform
@kim-yve.bsky.social @kim-yve.bsky.social 
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/
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Rob Stewart @robstewartuk.bsky.social Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs46/
Dave G ~ espressococo book blog @dakegra.bsky.social Book tempter at espresso coco. Stationery geek. UX guy. Easily distractible with a hot beverage and cake. He/him.
https://linktr.ee/dakegra
Dom Wright @rpdom.net Linux/Scifi geek, also likes cooking, wine and reading.
Mastodon: @dom@mendeddrum.org
Not a megalomaniac billionaire
Brett Taylor @bretttaylor.bsky.social Photographer Reader of books owned by two Jack Russells...
Adolfo Neto @adolfont.github.io Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
https://ko-fi.com/adolfoneto
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
@marlonblumer.bsky.social @marlonblumer.bsky.social 
Furious Sheep @furioussheep.bsky.social FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
Chris Crowther (hikari) @hikariuk.bsky.social Software architect, geek, and roleplayer from Maldon in Essex.
Nick Murray-Smith @murrth.bsky.social Interested in "having a society", tech, art and people.
Mostly current events & politics but also whatever miscellanea I find interesting and/or enjoyable.
Cultivating my appreciation for the absurd for mental health reasons 🫠
Sam Vimes @samvimes6.bsky.social Pratchett, Photography, Scifi, Science, Technology, Space and Whisky (Not Bearhuggers, obviously).
Hates Brexit, Trump and Intolerance.
Loves Cats and NoMansSky.
Often sarcastic, sometimes sweary.
#FBPE
Unsolicited DM's = Block
perfectoid @perfectoid.bsky.social 
Lisa W @ciciaye.bsky.social Lover of cats and dogs, maker of shiny jewellery, enjoys soul, jazz, R&B music. Former writer of funny stuff with werewolves and vampires. Discworld fan since 1993, afper since 2001
Flora.pm @flora.pm Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes.
https://flora.pm
BryanTheSnail @bryanthesnail.bsky.social Is this the AfterLife? I ate'nt dead.
Same as it ever was - birdsite, infosec.exchange
Fabricati diem, pvnc
Paul Biberstein @paulbib.bsky.social Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com
Ashraf Aboulnaga @ashrafaboulnaga.bsky.social Professor of Computer Science at the University of Texas at Arlington
https://ashraf.aboulnaga.me/
John Louge @jlouge.bsky.social Current Lead Directive Manager at UAL Association of Languages 
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
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
Casillic @casillic.bsky.social Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
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.
Chung-chieh Shan 單中杰 @ccshan.woof.group.ap.brid.gy He misses theorizing and practicing in a leather bar.
📍PEAMSBOSAARNYCBZOITHTYOSFOINDT
🌉 bridged from ⁂ https://woof.group/@ccshan, follow @ap.brid.gy to interact
Ryan Marcus @handle.invalid Assistant professor at UPenn. Database systems. https://RyanMarc.us
I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
Andrew Drozdov @mrdrozdov.com Research Scientist @ Mosaic x Databricks. Adaptive Methods for Retrieval, Generation, NLP, AI, LLMs https://mrdrozdov.github.io/