Sjoerd Visscher
#haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://sjoerdvisscher.glitch.me
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
@flyingguibou.bsky.social
Doing some programming (#haskell, #nix, ..) remotely from 🇷🇪, running or jumping from different objects with a parachute. Naive in politics, but left biased.
@taliaringer.bsky.social
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@johanjeuring.bsky.social
Professor of Software technology for learning and teaching, Utrecht University
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@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
@mromanq.bsky.social
Psicólogo 🧠, Ferroviario en @Renfe 🚂 y Sindicalista en @FSCNavarra👷🏿♀️👨🚒👩🏾🏭 @CCOOnavarra Dividido ☯️ entre el Gym🏃♂️ y el Ñam 🌭 Easy-Peasy ✌️🌈😎
@hyperboieva.bsky.social
Quantum information, useless information, generally informed. Quantum algorithms researcher at phasecraft.io https://ievacepaite.com/
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@victortaelin.bsky.social
@epatters.bsky.social
Applied mathematician and technologist. Research scientist at @toposinstitute.bsky.social
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@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
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@fabiomog.bsky.social
A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
@tacoe.bsky.social
@remcoder3d.bsky.social
I tweet mostly about 3d printing here https://remcoder.xyz/ btw, I'm looking for work as a Scrum Master or Coach or Trainer or Software Engineer https://www.linkedin.com/in/remco-veldkamp-66a4b04/
@boekencurator.bsky.social
Literatuur & natuur | 💚 | boekentips via nieuwsbrief en Signal: boekencurator.nl | Ook gek op: filmhuisfilms, IJsland, nachtvlinders, zaadjes opkweken, ronddolen in een museum
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@fullmoon.id
Author of Dhall, http://haskellforall.com, Nix Steering Committee, and principal engineer at Mercury I'm a midwife to the hidden beauty in everything she/her Discord: https://discord.gg/WvTtjBzMPB 💖 @ember.pet
@aukehoekstra.bsky.social
Sharing hope and debunking FUD against electric vehicles and renewable energy. Director NEONresearch.nl @TUeindhoven Founder Zenmo.com.
@shachaf.net
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @rntz@recurse.social 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@liamgoodacre.bsky.social
I try to tell computers what to do and sometimes they pretend to listen.
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@jbikker.bsky.social
Interests: Graphics 🖼️, Game development 🕹️, Retrodev (MSX / MSX2) 👾. Ray Tracing 📈! Also interested in, but not posting on: Teaching 🎓, piano 𝄞, marriage 🧑🏻🤝🧑🏻, Christianity ✝.
@danshappir.bsky.social
Principal Engineer @Sisense. International tech conference speaker. Host on JavaScript Jabber podcast. Invited Expert W3C #WebPerf Working Group.
@mpdreamz.bsky.social
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@johndcook.bsky.social
Mathematician, data privacy consultant See also @johndcook.mathstodon.xyz.ap.brid.gy
@xkcd.com
@mathieu.social
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain