Matt Teichman
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
@hotelbarpodcast.bsky.social
Three philosophers. One bartender. Pouring wisdom straight into your earbuds. Co-hosts: @drleighmjohnson.bsky.social, @talia-mae.bsky.social, and @rickleephilos.bsky.social www.hotelbarpodcast.com www.patreon.com/hotelbarsessions
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@rosactrl.bsky.social
🇨🇱 ✈️ 🇳🇴 immigrant. I like computers, urbanism, literature and music. Too woke for my age. Posting mostly complaints
@se4fp.github.io
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/
@marutks.bsky.social
I am a software engineer who uses clojure and emacs. I live in Hampshire 🇬🇧.
@joybuchanan.bsky.social
Economics faculty at Samford, economistwritingeveryday.com, most research falls under Experimental Econ and recently A.I.
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@mehran.bsky.social
@patriciahurducas.bsky.social
Mapping our urban experiences. www.theflaneursproject.com
@megangafford.bsky.social
Artist and writer at Fashionably Late Takes (I can't draw fast enough for hot takes) ✏️ Fashionablylatetakes.com Contributer at Quillette ✒️ https://quillette.com/author/megan-gafford/
@emilyherring.bsky.social
Writer My biography of Henri Bergson – Herald of a Restless World – is out now! "The most intellectually stimulating book I read this year.” John Banville She/Her https://linktr.ee/eherring
@simon-r07.bsky.social
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer Early student in CS at Technische Universität München Other interests: Physics, Accordion, Judo and Design https://simonreilich.github.io/
@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.
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@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!
@codeteacher.bsky.social
Secondary school CompSci teacher and PhD student. MIEE, interested in programming pedagogies and how these can be developed in the age of AI.
@batsov.net
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order. The artist formerly known as @bbatsov. Personal blog: https://batsov.com FOSS projects blog: https://metaredux.com Emacs blog: https://emacsredux.com
@innocentzer0.bsky.social
Thorough Rustacean, and wanting to love C++ but can't. Trying out haskell (and loving it so far). innocentzer0.is-a.dev
@www.stephendiehl.com
Softwares, maths, physics and bears. https://www.stephendiehl.com/
@ttahko.bsky.social
Prof of Metaphysics of Science & Head of School of Arts at University of Bristol. I run, hike, take photos, drink craft beer, and eat my veg. www.ttahko.net
@ncmathsadist.bsky.social
This is Morrison of NCSSM (retired August of 2022). I have a website at https://johnmmorrison.com
@ruchiradatta.bsky.social
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
@qswarm.com
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@jon.recoil.org
@tmnflck.bsky.social
Trying to be a decent human, developer and human. Currently helping carla.se to be the best car seller in Sweden. Working with: rescript, react, GraphQl, relay, NextJs
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@caethel.bsky.social
she/her ₊‧°𐐪♡𐑂°‧₊ prog rock nerd, cs student, persona series enthusiast, raver 📍de
@derw-lang.com
Write about language design, perf, lifting people up, and pragmatism. I take joy from when things are done well, by people who enjoy doing them Creator of the Derw language. Leader of Tekna's developer network. Tech Enabler @ Schibsted Media
@truesciphi.org
Technologist | Erstwhile computational physicist | Projects at TrueSciPhi.org: Explorations in computational philosophy via AI dialogues • Curated science & philosophy podcast collections