Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, Deno) with a systems reliability and security focus. Recovering SRE. https://www.susanpotter.net/

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.

Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems. My blog: https://www.softinio.com

Software Engineer | AI | Scala Back-end | Google Summer Of Code 2024 & 2025 Org Admin & Mentor @Scala Center | Global Speaker | llm4s maintainer | AI Community Builder

Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and […] 🌉 bridged from ⁂ https://mathstodon.xyz/@MartinEscardo, follow @ap.brid.gy to interact

they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan. @pigworker@types.pl on fedi

Trucks and Drones are the easiest way to save Ukrainian lives www.help99.co?utm_source=bsky.app&utm_medium=69

NAFO Head Of Tea Drinking Division, Boinker Of Vatniks, Master of Bastards, Maker of Memes

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain

Supporting the Formal Mathematics revolution

ACM SIGPLAN Workshop on Functional Software Architecture https://functional-architecture.org/

🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar

Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com

Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him

Your favourite Functional Programming conference is here 🥳 Mark your calendars for 2026: 11-12 June 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥

Author of dhall-lang.org and trygrace.dev, professional doggirl, endurance hunter, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️ https://linktr.ee/gabriella439 💖 @ember.pet

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

Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q1 2026) Newsletter: https://buttondown.email/hillelwayne/

computers can be understood • she/her, ⚢ • Chicago

When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch