@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@samderbyshire.bsky.social
Cohomology enthusiast. I've seen rings you people wouldn't believe.
@tomasp.net
Assistant prof at Charles University. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
@davidbarsky.com
i like cooking and reading books. my day job is to work on rust-analyzer. he/they is fine.
@www.stephendiehl.com
Softwares, maths, compilers and bears. https://www.stephendiehl.com/
@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/
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@flora.pm
Flora is a package index for the #Haskell ecosystem. We serve the community. Follow for development news, operational status and higher-kinded memes
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@andreshouldwrite.bsky.social
Writer, Game Designer, Developer, Secure Scuttlebutt Hermie, and Solarpunk Anarchist. https://andregarzia.com/links
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@notplants.sunbeam.city.ap.brid.gy
experiments in online gardening permacomputing, mycology, queer poetry all labels are temporary [bridged from https://sunbeam.city/@notplants on the fediverse by https://fed.brid.gy/ ]
@jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock
@lucastauil.bsky.social
Participative Culture and Commons Governance geek. I contribute to the Holochain and Enspiral projects. Also post on education, journalism, sailing & Brazil.
@chrischirp.bsky.social
Prof Operational Research , @UCL_CORU, passionate about health care, women in STEMs, defending liberal democracy (!). Member of @independentsage, posts personal.
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@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
@jmct.bsky.social
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 @[email protected] I miss Yorkshire
@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
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @[email protected] on fedi
@dsyme.bsky.social
GitHub Next. Copilot Workspace. F#. GitHub Next. Visiting Professor Kings College London. https://linktr.ee/dsyme
@dcreager.net
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro. This is a 9 planet family, kids! ♇ 🌐 https://dcreager.net/ 🧭 Massachusetts
@bnewbold.net
dweb, cycling, snow, big cities, wiki. I like speculating about found objects. protocol engineer @bsky.app. formerly archive.org elsewhere: bnewbold.net / @[email protected]
@dustyweb.bsky.social
Co-author/co-editor of ActivityPub (what connects together the fediverse, including Mastodon, etc). Executive Director of the Spritely Institute. Lisp/scheme enthusiast, chaos transfem, sketcher of tiny creature drawings. https://dustycloud.org
@fullmoon.id
Author of Dhall, http://haskellforall.com, professional doggirl, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@jonty.bsky.social
Also http://chaos.social/@jonty Previously http://twitter.com/jonty Always http://jonty.co.uk
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@edmundedgar.unconsensus.com
Main account is @goat.navy, this one is for tinkering with a self-hosted PDS
@sussexwildlife.bsky.social
Sussex Wildlife Trust. For everyone who cares about nature in Sussex. Become a member, volunteer & support our campaigns. https://sussexwildlifetrust.org.uk/
@taliaringer.bsky.social