JMCT
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@wiredforflight.bsky.social
Sr. Director of Business Process Automation, 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.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 American Airlines. PFP and banner from @unlikelyfanatic.bsky.social Current hyperfixation: Gundam
@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.
@johnnelsonmaps.bsky.social
I make posts about making videos about making maps about stuff.
@nataliehakim.bsky.social
ATC at Toronto Centre. Mom. Lover of alpine skiing, the universe, exotic beaches, adventure travel, my Westies, and cosy video games.
@tacotuesgay.bsky.social
He/him 🏳️⚧️ | Student pilot, #avgeek, A319 Lover | Gamer and occasional streamer | 📍 Chicago living, Texas raised
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@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
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@elevatedaccess.bsky.social
Free air transportation from volunteer pilots for people needing abortion or gender-affirming care https://linktr.ee/elevatedaccess
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@ultramagic.bsky.social
Bending elliptic curves and constructing languages for a living. ZKP researcher. Turning coffee into cryptographic protocols. Views are my own, proofs are formally-verified. 🏳️🌈🏳️⚧️
@iand675.bsky.social
I used to be smart, now I just try hard. Haskell enthusiast Engineering at Mercury, formerly Forge, CircleCI, others
@cristobal55.bsky.social
Music professor by day, D&D and tarot enthusiast by night. Salvadoran-American 🇸🇻🏳️🌈 ♐️☀️♍️🌙♐️⬆️
@brewcitychaser.com
Weather, aviation, baseball, photography, spaceflight, astronomy, cats. Milwaukee, Wisconsin, USA.
@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
@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
@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-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@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
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@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
@taktoa.bsky.social
Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
@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.
@middleseatview.bsky.social
Lover of travel, coffee, airplanes, D-ABYA, books, beer & Cleveland sports ball. Former DCA/IAD PIO. Avgeek who does PR stuff. Views expressed are my own.
@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
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@echou1.bsky.social
undergrad at @umdcs (currently doing randomized testing stuff). i like to make videos and take photos.
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@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
@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.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@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
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Save the date for 2025: 12-13 June! 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥