Erika Lee Sears @erikaleesears.bsky.social Oil Painter and French Fry enthusiast
https://www.atinyrocket.com/p/links.html
Sonny Devane @sonnydevane.bsky.social Woke southerner, love flying, cooking, travel, books. Ret AF PA-C. My wife keeps me sane.
Daniel Lane @gomeral.net Engineer, volunteer, pilot, consultant, loving dad & husband; inventor of the stuffing crouton, child chauffeur, cat servant, and mustachioed lefty. 30+ years in renewables, a few more than that on the planet. Dr/Lt/he/him
LarryS 🇨🇦 @pilotlarry.bsky.social Former RCAF maint, 25 year bushpilot, current private jet pilot. All things aviation. COPA/AOPA. 41 years of flight. Here for Aviation, particularly GA, classic and warbird.
(Twitter: bushav8er)
Wiley @wiley-fox.bsky.social 
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
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
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
@jellyroots.bsky.social @jellyroots.bsky.social 
John Burn-Murdoch @jburnmurdoch.ft.com Columnist and chief data reporter the Financial Times | Stories, stats & scatterplots | john.burn-murdoch@ft.com
📝 ft.com/jbm
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
@jsteinwehr.bsky.social @jsteinwehr.bsky.social 
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@andrherr.bsky.social @andrherr.bsky.social 
Hugh Cook @hqcook.bsky.social Father, husband, pilot, engineer (🚀and other stuff), 🏈,🦮, 🎶….and marked as Christ’s own, forever.
Hana Frluckaj @hanafrl.bsky.social PhD student at UT-Austin iSchool, studying open source software communities. (she/they)
Chris Rybicki @rybickic.bsky.social tinkerer interested in distributed systems, compilers, and sometimes philosophy. he/him.
Jason @jasoncolon.bsky.social Insta: @J_aviates and @halfassed_astronomer
Lover of #Aviation, #Astrophotography, F1, and a good Scotch.
@hannelita.bsky.social @hannelita.bsky.social 
SE4FP Workshop @se4fp.github.io 2nd Workshop on Software Engineering for Functional Programming (SE4FP)
In 2026, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io
Ben Stiller @benstiller.redhour.com Artist whose mediums include film, tv, and soda. www.StillersSoda.com
Sam @wiredforflight.bsky.social Former CTO and current Flight Instructor (CFI) 🛩️.
Lover of aviation, space, photography, good beers, hockey, travel, cruises 🚢 and Disney 🏰. Posts are my own.
https://linktr.ee/wiredforflight
Specter177🐊 @specter177.bsky.social 4th generation aviator. Flight dispatcher. Florida Gator fan. Signal ID Specter.177. He/They.
My posts are my own and do not reflect the views of employer. PFP from @unlikelyfanatic.bsky.social
Andrew Boardman @myshoggoth.bsky.social I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon.
Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
John Nelson @johnnelsonmaps.bsky.social I make posts about making videos about making maps about stuff.
Kendall 🛩️ @tacotuesgay.bsky.social He/him | Student pilot, cycling, and a hodgepodge of whatever in between |📍Chicago living, Texas born and raised
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
SIGPLAN AV @sigplan-av.bsky.social We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Elevated Access @elevatedaccess.bsky.social Free air transportation from volunteer pilots for people needing abortion or gender-affirming care
https://linktr.ee/elevatedaccess
Facundo Domínguez @facundominguez.bsky.social Software engineer, father, based in Uruguay
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/
ULTRA/MAGIC @ultramagic.bsky.social 
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
lexi @orthoplex.bsky.social Miauw, ogen dicht!
Michal Nebes @mislaw.bsky.social Programmer/Architect. Pragmatically functional. He/Him.- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Chris @cristobal55.bsky.social Music professor by day; TTRPG writer, designer, and storyteller by night.
Salvadoran-American 🇸🇻🏳️🌈
Naja nimumachtia nawat.
Member of @openthegatesgaming.bsky.social
Steve Paluch @brewcitychaser.com Weather, aviation, baseball, photography, spaceflight, astronomy, cats. Milwaukee, Wisconsin, USA.
Rich Wellner @richwellner.bsky.social Flying. Camping. Cooking.
If you like any of those, we'll probably get along.
My adventures are here: https://youtube.com/@RichWellner
Sophie Splawinski @aviationwx.bsky.social (She/Her) avgeek and wx nerd, dreams of flying a C172. Opinions my own. Led the creation of a website to help teach folks about weather and its impacts on aviation, check it out at: avmet.navcanada.ca
Eileen Bjorkman @aviationhistgal.bsky.social I tell veterans' stories. Retired USAF. Freelance writer on aviation history topics and author of "The Fly Girls Revolt: The Story of the Women Who Kicked Open the Door to Fly in Combat." https://eileenbjorkman.com/ Please help me tell your stories!
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
laura @laurayuzheng.bsky.social she / her; phd student in autonomous driving and traffic @umd; valorant and one piece enjoyer; 1.9-gen chinese american
laurayuzheng.github.io
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Remy Goldschmidt @taktoa.bsky.social Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
Ida Bzo (Bzowska) @idabzo.bsky.social Functional Programming Ambassador passionate about fostering connections in tech communities. A marketer with expertise in JVM technologies, and organizing events. Enthusiast of Haskell, Scala, and Lean.
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Lauren Peca @laurenonthehorizon.bsky.social Student, pilot, future geospatial analyst.
@macyrichards.bsky.social @macyrichards.bsky.social 🗽🛫🤫
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
ethan c. @echou1.bsky.social umdcs masters graduate in pl.
working on universal pbt at antithesis
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
@thinkmoore.bsky.social @thinkmoore.bsky.social 
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
Zach Bell @ezachbell.bsky.social Take it from a conservative, conservatives have gone off the deep end. I hope that rationalism returns eventually.
Air ambulance pilot constantly questioning if going to work for an airline is worth leaving the fun stuff in small aircraft behind.- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Matt Godbolt @matt.godbolt.org Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here 🥳
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
ethan @ethans.link pilot 🛩️ and embedded software engineer 👨💻
I write software for planes
Joe Chou @incidentalfindings.org Data geek, coder, hacker, ex-student pilot, foodie, Disney fan, neonatologist (MD), PediTools developer, ex-molecular biologist (PhD), snarky nonconformist, and annoying dad (+spouse)
Airplanes.gov.uk @planeyboys.bsky.social Drawer of stout guys who fly
Also frequent Bicycle Postings
Winner of prestigious Guy Who Made Pants For Airplanes Award
https://www.tumblr.com/planeyboys
https://www.redbubble.com/people/TubularAmarok
https://pilkos-musical-wonderland.bandcamp.com/
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
BornToBark @borntobark.bsky.social ❌👑 Hang in there - it’ll probably get better eventually. I hope.
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute 
Eric Lemmon @ericlemmon.bsky.social // Experimental music and instrumental composition with a focus on tech and politics
// https://linktr.ee/eclemmon
// Performing often with ensembledecipher@bluesky.social
// St. Louis based
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
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/
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social- R Divyanshu Ranjan @rdivyanshu.bsky.social https://rdivyanshu.github.io/
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
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.
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
Nigella Lawson @nigella.bsky.social Just to let you know, there are many, many recipes waiting for you on www.nigella.com
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Susan Bell @susanbellair.bsky.social Fed up with Fascism. Rebuilding a 1927 house. Gardener. Cat wrangler. Sometimes I fly upside down.
@lionshield.bsky.social @lionshield.bsky.social 
Julie Boatman @julietbravofoxmedia.com Owner, JulietBravoFox Media. Pilot, instructor, dog mom, adventurous home cook, wine & beer lover, birder, sometimes runner. Always an avgeek & swiftie. My primary site: julietbravofoxmedia.com 🇺🇦🇬🇱
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Andrew Stevens @thearcadepilot.bsky.social Grew up with a love for aviation and video games! I’m a somewhat acceptable sim pilot! QA Manager @cdprojektred.com | EAA Lifetime Member | Prev. at Raven, Bethesda! | Counting down the days to #OSH27
@eliotpeng.bsky.social @eliotpeng.bsky.social 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.