Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Mike Just @justmikejust.bsky.social 
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Jan van Brügge @jvanbruegge.cerberus-systems.de 
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
The Independent @the-independent.com News, comment and features from The Independent, the world's most free-thinking newspaper.
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
Rob Simmons @simrob.com boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
suraj @essnine.dev code monkey, bit lost right now
RC - F2 '23
Niema Moshiri @niema.net Associate Teaching Professor of Computer Science at UC San Diego, consulting for PlayStation and Blizzard, Bioinformatician by training, SD-raised. https://niema.net- R @rsnikhil.bsky.social @rsnikhil.bsky.social
Federico Biccheddu @f15u.dev Software Engineer, CTO @ Parcy, Inc · Effect-TS enthusiast · EDM Composer
Jean Niklas L'orange 🦆 @hypirion.com Norwegian algorist & functional programmer at Kodemaker, death/doom/avant-garde metalhead, sci-fi reader, angry feminist and duck fan 🦆
hypirion.com
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Jim @ludflu.bsky.social functional programming, generative music, medical informatics, meditation, postgresql, baduk
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.
Graham Sivills FBCS @grahamphoto.bsky.social Photographer Left Leaning Catholic Yorkshireman, Catenian, Musician of sorts, Mandolin Guitar Former Computer person (38 yrs)
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
Chris Hoar @chrisjhoar.bsky.social Writer of stuff / Software Developer / Musician and lead singer Courting Ghosts / Lib Dem / History lover /Despiser of Brexit.
Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
Phil Bartie @philbartie.bsky.social spatial data science, ML / AI, HCI, music... 
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer- H Harold Carr @hcarr.bsky.social https://haroldcarr.bandcamp.com/
Joss @josstified.bsky.social Former USS negotiator
Still quite interested in pensions
"Mad politics"
Knitter, potter & trainee basket weaver
Hill walker & path stomper
Dog & guineapig facilitator
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!
Chuck Schumer @schumer.senate.gov Official Account of Senator Chuck Schumer, New York’s Senator and the Senate Democratic Leader.
schumer.senate.gov
Á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
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
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
Gavin Abercrombie @gavina.bsky.social natural language things @ https://sites.google.com/site/hwinteractionlab/
gavinabercrombie.github.io
Euskaldun berria
Tha beagan Gàidhlig agam
Bill Scherer @emacs914.bsky.social Emacs, Python, and Linux. Atheist.- E Ender Özcan @enderozcan.bsky.social software developer. emacs lover
P(aul) Frazee @pfrazee.com CTO at Bluesky. Not a nerd.
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
🇨🇦 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.
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
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
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.
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
🏳️🌈♿
Sam Lindley @reifyreflect.bsky.social 
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
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
UofG Computing Science @uofgcompsci.bsky.social School of Computing Science at the University of Glasgow
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/
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Anton Gerashchenko @antongerashchenko.bsky.social Ukrainian patriot. Advisor to Internal Affairs Minister (2021-2023). Support my team of volunteer translators: http://patreon.com/TwitterAG
Jon Cooper @joncooper-us.bsky.social Democratic strategist. Formerly Long Island Campaign Chair for Barack Obama; Majority Leader of the Suffolk County Legislature. Gay dad of five terrific kids. Writer and producer of echoesoftheunknownpodcast.com. Coffee addict. New York/Florida. 🌴
Brian Tyler Cohen @briantylercohen.bsky.social Political commentary. Over 3 billion views on YouTube. #1 NYT bestselling author. Past: MSNBC
https://linktr.ee/briantylercohen
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
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/
Our World in Data @ourworldindata.org Our World in Data is a free, nonprofit website with a mission to increase understanding of the world’s largest problems and drive informed action to solve them. Based out of Oxford University (@ox.ac.uk), founded by @maxroser.bsky.social.
Nigella Lawson @nigella.bsky.social Just to let you know, there are many, many recipes waiting for you on www.nigella.com
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
Ed Conway @edconway.bsky.social Pre-order TRADE WORLD! https://lnk.to/TradeWorldBook
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
Victoria Derbyshire @vicderbyshire.bsky.social Journalist, broadcaster, Mum of 2 boys, owner of 2 cocker spaniels
Unbelievable Britain - YouTube 🎧
BBC Newsnight 🎥 📱
And Then Came Breast Cancer 🎧
BAFTA RTS Sony Pink News AIB British Podcast Award winner
Sooz Kempner @soozuk.bsky.social "Comedian". Doom in Doctor Who. Host @mysteryontherocks.bsky.social & Long Distance, Bit Weird (https://longdistancebitweird.podbean.com)
Acting: Foundry Management VO: The Joneses
For all enquiries/brand partnerships: info@gagreflex.co.uk
she/her
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
The Guardian @theguardian.com The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com
🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com
🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
BBC Newsnight @bbcnewsnight.bsky.social Welcome! Find us weekdays 10:30pm on BBC Two, BBC News, iPlayer with Victoria Derbyshire, Paddy O'Connell & Matt Chorley - plus Katie Razzall, Nicholas Watt and Faisal Islam
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.
LBC @lbc.co.uk Leading Britain's Conversation.
Download the all-new LBC app: https://app.af.lbc.co.uk/btnc/thenewlbcapp
Caitlin Moran @mscaitlinmoran.bsky.social In the culture wars, I want to be the bit on Christmas Day where they all knocked it on the head for a bit and played football.
Lewis Goodall @lewisgoodall.com Journalist, Reporter, Writer, Presenter @ Britain's biggest news podcast The News Agents (Mon-Fri) and Sunday with Lewis Goodall on LBC 10-12.
Website: lewisgoodall.com
Email: lewis.goodall@global.com
Substack: https://goodallandgoodluck.substack.com
Nick Eardley @nickeardleybbc.bsky.social BBC correspondent @bbcpolitics and BBC Verify
Jimmy Fallon @jimmyfallon.bsky.social 
Laurence H. Tribe @tribelaw.bsky.social After teaching and writing about constitutional law for 50 yrs, it seemed time for me to reach beyond Harvard’s walls — to spread understanding and appreciation of the rule of law, of justice as fairness, and of a republic if we can keep it
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
Jim Waterson @jim.londoncentric.media Journalist. Editor of @londoncentric.media, a modern news outlet covering London in the old-fashioned way: www.londoncentric.media jim@londoncentric.media
Jon Sopel @jonsopel1.bsky.social Host of daily podcast The News Agents. And author of Strangeland. Available at all good bookshops….
Jessica Elgot @jessicaelgot.bsky.social I'm the Guardian's deputy political editor in Westminster.
Story? Email - jessica.elgot@theguardian.com
Signal - jessicaelgot.51
Always #lufc
https://www.theguardian.com/profile/jessica-elgot
Sophy Ridge @sophyridge.bsky.social Lead Politics Presenter, Sky News
Owen Jones @owenjones.bsky.social Socialist, antifascist, writer in various places, geriatric millennial, GQ's 9th Worst Dressed Man in 2016. He/him. YouTube channel http://bit.ly/33iARb3 🏳️🌈
Pippa Crerar @pippacrerar.bsky.social Political Editor, The Guardian
https://www.theguardian.com/profile/pippacrerar
Mike Galsworthy @mikegalsworthy.bsky.social Chair of European Movement UK. 🇬🇧 🇪🇺
Founder of the Bylines Network.
Founder of Scientists for EU.
Lover of science, Europe and humanity. 🙌
Alastair Campbell @alastaircampbell2.bsky.social Writer, strategist, co-presenter the U.K. No1 podcast The Rest Is Politics … love Britain hate Brexit, loved Twitter loathe Musk n Trump 
Ian Dunt @iandunt.bsky.social Journalist. Author. Podcaster. Liberal extremist.
Carol Vorderman @carolvorders.bsky.social Hello lovelies. This is my official account.. 💙💙
Glad to be over here from the "other place"😂
It's like breathing clean air again 👍🏼
James O’Brien @mrjamesob.bsky.social Broadcaster @lbc.co.uk
Author: https://www.waterstones.com/book/how-they-broke-britain/james-obrien/9780753560365
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
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)
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
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
rohit @rnair.bsky.social agi whisperer 
Talia Ringer @taliaringer.bsky.social 
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Roderick Murray-Smith @rodmurraysmith.bsky.social Professor of Computing Science at the University of Glasgow.
Malcolm Wallace @malcolmwallace.bsky.social haskell hacker, vicar’s wife, accidental banker
Anthony Cowley @acowley.bsky.social Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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/
Greg Michaelson @gjmichaelson.bsky.social An idle singer of an empty day
https://www.stairwellbooks.co.uk/product/solstice/
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