Kaitlyn Gebhard @emeraldiris.bsky.social Photography ๐ท Art ๐จ Nature ๐ฟ Cottagecore ๐ Space ๐ Music ๐ถ Drums ๐ฅ Reading ๐ Gaming ๐ฎ Democracy ๐ Atheist Pagan โ๏ธ
Vegan ๐ฑ Witchy ๐ฎ Spooky ๐
xbarx1 @roberteames.bsky.social Democrat ๐ and descendant of immigrants. ๐ซ๐ท ๐ฌ๐ง ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ Native New Englander from NH, educated in ME.๐ฆ Lived in FL, CO, No. & So. CA, and coastal NC. ๐บ๐ธ Make America Honest Again. ๐
Matt Moon @mattm00n.bsky.social Countryside walks. Morecambe Bay > Sheffield. Cincinnati Bengals.
Ian Carter @iancarter67.bsky.social Galloway-based naturalist and author: Rhythms of Nature | Human, Nature | The Red Kite | The Red Kiteโs Year | The Hen Harrierโs Year | Wild Galloway
https://pelagicpublishing.com/collections/ian-carter
https://www.whittlespublishing.com/Wild_Galloway
NavyMichelle @navymichelle.bsky.social ๐บ๐ธNavy disabled veteran ET2.
๐จ๐ฆ๐บ๐ฆ๐ต๐ธ๐ฒ๐ฝ
Always armed.
The second time I am embarrassed to be American. Can you guess when the first time was?
Not here for romance, chat, nor sugar momma.
MK Hardy @mkhardy.bsky.social I am a photographer that lives in London and grew up in Cornwall. I specialise in capturing the beautiful coastline of Cornwall and the bustling streets of London.
Roy Batty @roybattyreplicant.bsky.social "I've seen things you people wouldn't believe. Attack ships on fire off the shoulder of Orion. I watched c-beams glitter in the dark near the Tannhรคuser Gate. All those moments will be lost in time, like tears in rain. Time to die."
da.le.art by Dariusz Leszczynski @dariuszl.bsky.social #art #acryl #digital #photography ๐ซ๐ฎ๐ต๐ฑ
๐จ @ instagram.com/dariusz.abstract.art
๐ธ @ instagram.com/dariusz.mytravels.photo
Semi-retired
#biochemist (PhD & DSc) #chief_editor @ Frontiers #science_blogger
fmr. #Professor @ Harvard๐บ๐ธZhejiang๐จ๐ณSwinburne๐ฆ๐บSTUK๐ซ๐ฎ
DaveB728 @davebphotography.bsky.social Amateur photographer from Nottinghamshire UK, mostly shoot landscape/seascape/wildlife.
DEFINITELY NO MAGA's
MAGA's WILL BE VERBALLY DESTROYED DELETED AND BLOCKED
NO REFORMites
NO CRYPTO
NO FOOTBALL
TROLLS BLOCKED
Cocker Spaniel Owner
Mark Philpott @markphilpottphotos.bsky.social ๐ช๐บ Former Pro Photographer ๐ท Tech Degrees MEng & MSc ๐ CEng ๐ Agile Software Leader & Manager ๐จโ๐ป Ex Camera Shop Manager ๐ Cotswolds ๐ณ Vegan ๐ฑ Rabbit Dad ๐ฐ Green ๐ Centre-Left Anti-Fascist ๐ Books ๐ Atheist โ๏ธ Anti Hunt ๐ฆ He/Him ๐ณ๏ธโ๐ DEI ๐ณ๏ธโโง๏ธ LLAP ๐ IDIC ๐บ๐ฆ๐บ๐ณ.
Darcy Kieran @darcykieran.bsky.social Scuba Diving Instructor Trainer | Author | Engineer | Business of Diving | The Immersion Zone Podcast | @KaneBeckThunder
darcykieran.com
AlanVaughanPhotography @alanvaunphotos.bsky.social My name is Alan I'm a photographer that is constantly learning. A repost of any of my photos will help more people share in my joy of photography. Some of my photos have also been published.
Steve Grant @stevetg.bsky.social Ex sec school Head /charity Director; English specialist; MAs Literature and EdMngmnt. Indy Scotland, Irish unity, free Palestine; pics taken by family members, some by me; PD limits movement ; DMswelcomeโฆ.letโs connect! #spoonies
Matti Palli @mpg.is aka Dr. Matthรญas Pรกll Gissurarson | uncertified Haskell engineer
james @yoo.bsky.social 
Andrew K. Hirsch @akhirsch.bsky.social 
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
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh โค๏ธ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ
Former technical and creative writer
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Talia Ringer @taliaringer.bsky.social 
David Moon @dm0ney.bsky.social PhD UMich โข building http://tylr.fun http://hazel.org โข dmoon.info
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Servo @servo.org Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
https://servo.org
https://github.com/servo/servo
Dev @sincerely.dev I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If youโre in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
Alexis King @lexi-lambda.bsky.social computers can be understood โข she/her, โข โข Chicago
julesh @julesh.mathstodon.xyz.ap.brid.gy Applied Compositional Thinking
๐ bridged from โ https://mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Randall Munroe @xkcd.com 
Stephen @sp.degabrielle.name Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Zach Weinersmith @zachweinersmith.bsky.social New Book out this summer: Sawyer Lee and the Quest to Just Stay Home.
Other things of mine: Bea Wolf, A City on Mars, and SMBC
Website: www.smbc-comics.com
Patreon: https://www.patreon.com/ZachWeinersmith?ty=h
Tom Siddell @gunnerkrigg.bsky.social www.gunnerkrigg.com
SMBC comic Bot @smbc-bot.bsky.social A bot for BlueSky that posts SMBC comics and shows the alt text.
By @perevillega.com
Olivier @oliviersb.bsky.social 
Tim Ng @timng.bsky.social I teach computer science https://cs.uchicago.edu/~timng/
Orland Hoeber @ohoeber.bsky.social Professor of Interactive Information Retrieval (IIR) | Head of the Department of Computer Science at the University of Regina | Traveller
๐จ๐ฆ Joey Eremondi @joey.mathstodon.xyz.ap.brid.gy PL Researcher. Assistant Professor at the University of Regina. ๐จ๐ฆ
Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/ [โฆ]
[bridged from https://mathstodon.xyz/@joey on the fediverse by https://fed.brid.gy/ ]
Jorge A. Pรฉrez @perezjorgea.bsky.social Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Sacha Chua @sachachua.com Interests include: #Emacs, #OrgMode, #elisp, #nodejs, #python, #sketchnotes, #parenting, #cooking, #gardening, #knitting, #sewing, #captioning. Originally from Manila, now in Toronto. Married to a Vim guy, raising an 8-year old (editor?) sachachua.com
Fredrik Nordvall Forsberg @fredriknf.com Senior Lecturer University of Strathclyde.
Hiking, orienteering, running, etc.
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Phil Plait @philplait.bsky.social Bad Astronomer (formerly @BadAstronomer), SciCommer, Dork. Crash Course Astronomy guy. He/him. Newsletter: badastronomy.beehiiv.com
I'm self-employed so my opinions do in fact represent my company's.
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.
Alexander Bandukwala @bandukwala.me ๐ป Pursuing the Future of Computing
๐ฌ PhD Student @ University of Michigan (Future of Programming Lab)
๐ช Building Hazel: Live Functional Programming & Malleable Systems
๐พ Dog Parent
๐ ๏ธ Ex-Software Engineer
๐ Computing Maximalist 
Pierre Donat-Bouillud @pierredb.bsky.social Computer science researcher/assistant professor at CVUT (Prague)
Research on programming languages, including R
www.pdonatbouillud.fr
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Miguel de Icaza @migueldeicaza.bsky.social ๐Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
@jhemann.bsky.social @jhemann.bsky.social 
@ksbaliko.bsky.social @ksbaliko.bsky.social 
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
๐ฏ๐ต๐บ๐ธ
Tamara Lopez @parseraisin.bsky.social Lecturer at the @openuniversity.bsky.social, member of @ou-sead.bsky.social. Following, reading and reposting here, professional updates can be found on LinkedIn: https://www.linkedin.com/in/parseraisin/
William Gibson @greatdismal.bsky.social Author of Neuromancer and, most recently, Agency (still above from โKill Switchโ, The X-Files, Season 5, Episode 11, co-written with Tom Maddox)
Matt Keenan @negabinary.bsky.social 
Taylor Smith @taylorjsmith.bsky.social ๐จ๐ฆ Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Alberta Tech @albertatech.bsky.social I make funny videos about tech + AI
ex-google engineer (but in a fun and chill way)
beacons.ai/albertatech
Damien @damienstanton.com ๐ hello, I build research software at PwC & am a @colorado.edu CS grad student. Code tinkerer for 12+ years; into distsys, PL/types, aviation, & practical AI.
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affiliรฉ ร France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
tom larkworthy @larkworthy.bsky.social Computers and decentralization.
Daffodil Soup @lindag.bsky.social Chef, baker, wine judge, food & wine writer. Bullshit detector. Wordsworths community cafรฉ ๐ข ๐ฟ๐ฆ๐ฌ๐ง๐ช๐บ
Ewan Mellor @ewanmellor.org Research engineer at XBOW.
Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
Chris Mungall @cmungall.bsky.social Berkeley Lab, Environmental Genomics and Systems Biology division. #GeneOntology #MonarchInitiative #AllianceGenome #NationalMicrobiomeDataCollaborative #OBOFoundry.
Garry Kasparov @garrykasparov.bsky.social Vice-president of the World Liberty Congress. Founder & Chair of the Renew Democracy Initiative. Board of the Human Rights Foundation. Father, activist, author, speaker, 13th World Chess Champion.
Cรฉdric Moisy @cedric-moisy.bsky.social Research scientist ๐๐ฅ๏ธ๐ฑ๐ฆ ๐ฌ
Plant Pathology | 3D+t imaging | MRI | Xrays tomography | IA | Image Analysis ๐โข๏ธ๐งฒ
Trunk diseases | Fungal Pathogens | Genetics | Molecular Biology | Grapevine | Breeding & Selection
French Wine and Vine Institute, France ๐ซ๐ท
Unai @usainzg.bsky.social computer aficionado
Paul Allison @paulallison.bsky.social Working with National Writing Project teachers and students to create Writing Partners writingpartners.net a social annotation platform that supports AI-guided writing, reading, and discussion. I'll be posting here about what we are learning together.
@mjholgate.bsky.social @mjholgate.bsky.social 
David Soria Parra @thedsp.bsky.social Creator of the Model Context Protocol (https://modelcontextprotocol.io) with @jspahrsummers.bsky.social. Member of Technical Staff @ Anthropic. Ex-Meta, Ex-Sun. https://experimentalworks.net
Guillaume Hiet @guillaumehiet.bsky.social Professor at CentraleSupรฉlec | Head of SUSHI Research Team (Inria/CentraleSupรฉlec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
Jeremy Manson @jeremymanson.bsky.social Software engineer. Parent. Other stuff.
Justin Spahr-Summers @jspahrsummers.bsky.social Building Exsolum (exsolum.com), a roguelite space sim where the only way home is forward.
Vaastav Anand @vaastav.bsky.social http://www.vaastavanand.com
PhD student at Max Planck Institute for Software Systems
Peyman Milanfar @docmilanfar.bsky.social Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Posts are personal opinions. May change or disappear over time.
http://milanfar.org
Nick Gideo @engid.bsky.social writing software, sometimes music..
nickgideo.com
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Andrea Lattuada @utaal.bsky.social Research Group Leader @ MPI-SWS
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Jack Matusiewicz @boogalooh.bsky.social Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
Yaman Umuroฤlu @maltanar.bsky.social Full stack engineer of a different kind - FPGA compilers, quantized deep learning. ๐ณ๏ธโ๐๐จ๐พ๐น๐ท in ๐ณ๐ด. Cat dad and freediver.