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/
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@taliaringer.bsky.social
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@gjmichaelson.bsky.social
An idle singer of an empty day https://www.stairwellbooks.co.uk/product/solstice/
@gibtsdes.bsky.social
Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@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. https://liamoc.net
@profrejones.bsky.social
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@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.
@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
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@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.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@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
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@lesliehudson.bsky.social
Singer songwriter, pianist, storyteller, recording artist & touring musician. Deep loves: folklore, poisonous plants, wolves, crows, Star Trek. They/them, queer, autistic, poly, non-binary hedgewitch & sonic alchemist. https://lesliehudson.com
@jmcdaid.bsky.social
science fiction writer, folk/filk singer-songwriter, theatre critic, adjunct professor of media ecology. SFWA, ATCA. he/him johnmcdaid.bandcamp.com Opinions mine.
@anniegriffith.bsky.social
She/Her. Choir Leader, Community Musician, Community Builder. Woowoo Worker, Tarot Reader, Chronic Oversharer…
@markbernstein56.bsky.social
Filker, actor, singer, songwriter, lover of wordplay, and generally silly person. Stuff I've written is available at https://markbernsteinfilk.wordpress.com.
@werewulver.bsky.social
Very enthusiastic, very trans. Studying biology, history of science, and cultural studies at the University of Minnesota. Scicommer, archives assistant, cosplayer, social justice bard/ranger, and that guy with the viola (he/they) 🏳️⚧️🐺🌿
@cathymcmusic.bsky.social
Lifelong musician playing solo and with my band, Random Fractions, as well as lots of other fabulous folks as opportunity allows. Also an avid crafter, GSUSA volunteer, outdoor/travel lover, and recent transplant to the PNW. cathymcmusic.com
@stealthcello.bsky.social
Nonclassical cellist, cat lover, artist, mom, and many other things I can't think of right now. She/her.
@sjtuckermusic.bsky.social
Witchy HopePunk MythPunk singer, Delta born. she,her. AKA Bard Mom, Firebird’s Child, or Sooj. 💖💛💙 Linktr.ee/SJTuckerMusic #WitchSky #MusicSky
@catsittingstill.bsky.social
Songwriter, filker, mandolin player, aspiring violin player, canoe builder. She/her Trans women are women and my sisters.
@adapalmer.bsky.social
Novelist (SF, fantasy), historian (Renaissance Europe, intellectual history, Italy, classical reception), composer (filk, Viking stuff), disability (chronic pain), manga/anime (Tezuka), food, cool photos of history (#SomethingBeautiful) Blog exurbe.com
@filklore.bsky.social
Friends and friends of friends, feel free to follow me. For folk I don't know (or with really obscure profile names), drop me a line explaining who you are, and/or why you'd like to follow me. Who knows, I might follow you back.
@filkertom.bsky.social
Singer-songwriter, gamer, MCU fanatic, hug machine, Iron Chef Beef Glot. I love all of humanity unconditionally, although Donald Trump, J. D. Vance, and Ron DeSantis are really pushing it. You can find my music at https://tomsmith.bandcamp.com .
@siliconchef.bsky.social
Professional nerd, video producer, homebound world traveler. As seen on @DragonConTV. NerdSteading on YouTube & siliconchef on🐦 & 🐘.
@christianlipski.bsky.social
Guitarist/vocalist for the PDX Broadsides (@pdxbroadsides.bsky.social) Drummer for himself Day-job haver Alt text promoter AI blocker Portland OR He/him
@jesshebert.bsky.social
HEE-bert | Assistant Professor | Kidney/Repro/DOHaD scientist | #TeamPlacenta | The PDX Broadsides chanteuse | Mama | 85% Muppet by volume | https://jesshebert.carrd.co/
@karenisagm.bsky.social
Sometimes Game Master, always musician, filker, and sf/fantasy fan. Not that Karen, I hope. Don't want to talk to a manager, and I still hate potato salad. She/her San Diego County, California
@pented.bsky.social
Software Engineer by trade. λ, PL theory, distributed systems, all jawns Philly 🔔