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