Edwin Brady
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/
@churchcat.bsky.social
Curmudgeon, poet, writer, ex stand-up comic, European, playwright, woke lefty Grauniad reader, Irish trad mandolin player and blues harp playing anarchist and agnostic. Also happen to be a recovering Catholic. Website www.mikeharding.co.uk
@genevievecogman.bsky.social
Author of Invisible Library and Scarlet Revolution series, classifications specialist, quilter, knitter, tired. Pronouns she/her.
@samaaron.bsky.social
Live Coding Artist. Creator of Sonic Pi, programmer, educator, musician, PhD, Sam 'transcends the present' - Rolling Stone. he/him bookings@sonic-pi.net
@jezlowe.bsky.social
Musician, singer, songwriter and occasional novelist from the County of Durham in North East England.
@haloquin.bsky.social
author, storyteller, witch, singer-songwriter. queer, pagan, neurodivergent. feral goblin queen. www.haloquin.net
@chantellesong.bsky.social
Folk singer, shepherd, cat minion, knitter, writer, code monkey, prehistory geek, socialist. Trying to be a force of kindness in the world
@colva.bsky.social
@dynamicaspects.org
Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
@dunhamsteve.bsky.social
father, computer programmer, hobbyist computer scientist. Currently dabbling in dependent type theory. @dunhamsteve@mathstodon.xyz
@guitarmoog.bsky.social
Large, slow-moving, land mammal. Bed-dweller. Horizontal guitarist. Loser of remote controls, vapes and plectrums in blankets. Deactivater of account for no reason sometimes. Late adopter of fuzz. Haver of Long Covid. He/him/Moog
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@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.
@thedailydalek.bsky.social
Cartoonist of Daleks and other such things. . . HE/HIM | Illustrator | Writer | Nurd | Geek | Whovian 🩵🩵 | MCU | Sci Fi | Father | Friend | ==> FOLLOWS BACK <== 🏳️🌈
@dotsandlines.bsky.social
Bat fan who makes geeky music. 🦇 They/them. If you're looking for friends from the bird site, Exogeology Rocks (purple planet).
@silentmoviegifs.bsky.social
I like to watch silent movies, and then make gifs from them. Created by Don McHoull
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@tnhh.org
Computer scientist (ish) at St Andrews. Insane in the membrane. Except when running. Running photos at @tnhh.pixelfed.social.ap.brid.gy
@redpenblackpen.bsky.social
Webcomic covering parts of science, peer review, data, academic careers, and puns. #science #scicomm #sciart Comic/cartoon art shared under CC-BY-NC-SA Get my newsletter at http://redpenblackpen.substack.com
@robinince.bsky.social
Latest book - Normally Weird & Weirdly Normal out 1st May Robinince.com
@cosmicshambles.com
Independent creators of content for the curious. cosmicshambles.com | patreon.com/cosmicshambles| youtube.com/cosmicshambles
@astrokatie.com
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr. Personal account; not speaking for employer or anyone else.
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@channingwalton.bsky.social
Scala dev, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Mastodon account: https://types.pl/@jmid
@paulandstorm.bsky.social
Two guys, lotsa songs, and a cruise (http://jococruise.com). 3 seasons of "MST3k", plus Despicable Me 2 (long story). P=Paul, S=Storm in posts. Both he/him.
@marcinbenke.bsky.social
@robertpicardo.bsky.social
Actor, collectible, Planetary Society Board Member and AI since the 90s .
@inkytonik.bsky.social
Computer Scientist, programming addict, music lover, sports tragic. Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle. Opinions here are my own. Also https://mastodon.acm.org/@inkytonik.
@petebrownbeer.bsky.social
Writer, speaker, consultant, mainly on beer, pubs, food, drink, social history. http://petebrown.net http://patreon.com/petebrownbeer Agent Jim Gill at Felicity Bryan Associates.
@brendanzab.bsky.social
World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet