@hj6981146.bsky.social @hj6981146.bsky.social 
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesnโt define me; it is not my identity.
Harry Willliams @harryjwilliams.bsky.social Edinburgh mode
Www.city-scope.co.uk
๐๐ธ๐๏ธฮฉ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
MurrayBlackburnMackenzie @mbmpolicy.bsky.social Edinburgh-based policy analysis collective, with a background in policy-making, research & communications.
www.murrayblackburnmackenzie.org
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.
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Michael Mitchell @michaelmitchell.bsky.social I'm running for City Council in Ward 14 Toronto-Danforth. https://toronto-danforth.ca
Quick, whatโs the longest word you can find โ> https://bsky.app/profile/michaelmitchell.bsky.social/post/3mvadd2s4ic2l
Frank Emrich @fremrich.bsky.social doing PL & compiler work in Edinburgh
Ursula Martin @umartin.bsky.social Knows a lot about Ada Lovelace's science. University of Edinburgh and Wadham College Oxford and Oxford Maths. 
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/
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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
Maria Gorinova @mgorinova.bsky.social Shaping the future of programming @tessl.io ๐ | ex-@TwitterCortex @Birdwatch ๐ | PhD in probabilistic machine learning, loyal servant to a cat, collector of random variables, and lover of well-placed puns.
https://mgorinova.github.io/
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
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
@neuraminidase.bsky.social @neuraminidase.bsky.social Just reading, nothing to see here :-)
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
๐จ๐ฆ 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.
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.
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.
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
Luรญs Caires @lmcaires.bsky.social I live in Lisbon. I work at Tรฉcnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
Sam Lindley @reifyreflect.bsky.social 
George Harris @historylecturer.bsky.social Retired history teacher. Enjoys Lake District, painting, grandchildren, nature, history - lots really. Oh, and wildlife gardening. Still interested in education.
Scott Wortley @scottwortley.bsky.social scottish law lecturer, TV viewer, accidental mental health advocate.
Interested in legislative interpretation and Columbo (but proper Columbo - you know the stuff from the NBC years, and more infrequently ABC episodes)
Chris Banks @banks.ac ๐ป Computer Scientist, ๐ Computational/Mathematical Modeller, ๐ฆ Infectious Disease Modeller,๐ฌResearch Fellow / Core Scientist, ๐ Roslin Institute, ๐ฐ University of Edinburgh, ๐ Mountaineer, ๐ฒ Cyclist, ๐ค Geek.
๐ https://banks.ac/
Ms Marchmont @msmarchmont.bsky.social Seeking solace in scenes of Marchmont, The Meadows, Edinburgh and occasionally beyond.
Knitter.
Alasdair Mackenzie @alasdairmackenzie.bsky.social Immigration and asylum law. All views my own but reposts not endorsement. Refugees welcome๐งก. Green Party member๐. Trans ๐ณ๏ธโโง๏ธ rights are human rights. He/him.
"Lawyers have hitherto only interpreted the law. The point however is to change it."
@judithstark.bsky.social @judithstark.bsky.social 
Alison Stevens @anstevens.bsky.social not one thing, but a world of possibilities. she or they, check your assumptions at the door
www.alisonnicole.com
Cathy Abbott @cathyabbott.bsky.social Professor, eEF1A2/neurological disorders. Mostly talks about research, EDI (tries hard to be a good ally) but sometimes veers off into crafts and photos of Scotland. She/her, views own.
Merrydholl @maryeilmicdom.bsky.social Health #MECFS, sport, history & current affairs, puzzles, language, law & humour #Celtic ๐ #LifeWriting at
merrydholl.wordpress.com ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
Eleanor Harris @eleanormharris.bsky.social Live illustrator, manuscript illuminator, scuba diver, novel writer, church singer, nature expert. Explore Linktree and/or drop me a message. https://linktr.ee/eleanormharris