@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Book your spot and see you soon: 12-13 June 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@pikuma.com
An education platform created by Gustavo Pezzi to teach the fundamentals of #ComputerScience, #Programming, and #Mathematics.
@ocornut.bsky.social
programmer of things and stuff. dear imgui / the dragon’s trap / dreams / tearaway / pixeljunk shooter / soul bubbles / meka Paris, France https://www.miracleworld.net
@sebaaltonen.bsky.social
Building a new renderer at HypeHype. Former principal engineer at Unity and Ubisoft. Opinions are my own.
@ericlengyel.bsky.social
• PhD, Computer Science • Creator of Slug Library, C4Engine • Math/gamedev author • #GeometricAlgebra researcher • Former Naughty Dog, Apple, Sierra
@tpflug.bsky.social
@was.tl
Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
@impurepics.bsky.social
FP Advocat. Distilling functional programming for the good of all. http://youtube.com/@impurepics
@freya.bsky.social
🎮 indie tech artist 🏗️ I made Shader Forge & Shapes 🌐 working on https://half-edge.xyz 🔥 shader sorceress 📏 math dork 🎥 rare YouTuber/streamer 📡 ex-founder of @NeatCorp my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈⬛ @thor.acegikmo.com
@www.stephendiehl.com
Softwares, maths, compilers and bears. https://www.stephendiehl.com/
@molly.wiki
independent writer of citationneeded.news and @web3isgoinggreat.com • tech researcher and cryptocurrency industry critic • software engineer • wikipedian support my work: citationneeded.news/signup links: mollywhite.net/linktree
@eviefp.bsky.social
they/she commie & queer activist apprentice field mathematician, functional programming enjoyer DMs are open
@niallm.bsky.social
CEO Stanza Systems. Speaking in personal capacity. Author/instigator SRE books, Reliable Machine Learning, History of the Irish Internet. Photography at http://www.edge-cases.photos
@delroth.mastodon.delroth.net.ap.brid.gy
Reverse engineer, open source developer and maintainer. Ex-infrastructure security tech lead, now on break. he/him. pfp: vgen.co/angelrosestar [bridged from https://mastodon.delroth.net/@delroth on the fediverse by https://fed.brid.gy/ ]
@nicuveo.gay
Friendly neighbourhood queer nerd. My cutie mark is a lambda. They / them. https://linktr.ee/nicuveo
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@gerardonunez.bsky.social
(Typed) Functional programming enthusiast. Haskell, Purescript.
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@arianvp.me
Working on banking infra at @[email protected] prev: @[email protected], @[email protected] Opinions are my own and do not reflect that of my (past) employer(s)
@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
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@susanpotter.net
Antifascist, founder, options trader, and polyglot software engineer (Haskell, PureScript, Erlang, Scala, Nix, NixOS, Deno) with systems reliability and scalability focus. Irreverent heretic. Work with me: https://www.susanpotter.net/
@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
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @[email protected] on fedi
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@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
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@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/
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]