×
You are not logged in
Bluesky Follows
Haskell programming language
Follows by @haskell.org
Ola
Registered:17 Apr 2024 19:50
Follow date:16 Feb 2026 21:47
Software Engineer, FP guy (particularly Haskell), I stream on programming (theory and practicals), gaming, piano, etc. on YT and Twitch @ola_musta.
I also sometimes write at https://ola.bearblog.dev/. Opinions are my own
Compositional IT
!! Invalid Handle !!
Registered:10 Jan 2025 14:25
Follow date:16 Feb 2026 13:42
We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
Gergő Érdi
Registered:11 Dec 2024 02:48
Follow date:29 Jan 2026 17:26
Finite tape Turing machine
entropy
Registered:27 Apr 2025 21:43
Follow date:22 Jan 2026 13:19
Making things. I like languages, game design, offsec, and AT Proto.
she/her
psu
Registered:14 Dec 2024 02:14
Follow date:15 Jan 2026 19:41
In the tubes at https://mutable-states.com
Sam Derbyshire
Registered:23 Sep 2024 17:31
Follow date:19 Dec 2025 22:47
Cohomology enthusiast. I've seen rings you people wouldn't believe.
der Elbenkönig
Registered:5 Feb 2025 00:00
Follow date:14 Dec 2025 16:58
Big Haskell guy. Medium-sized kubernetes guy. I also play saxophone and video games. hmu. Looking for a job BTW
hayleigh
Registered:25 Apr 2023 13:42
Follow date:13 Dec 2025 17:25
• Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
NT 5.2 Pyongyang Official™︎
Registered:14 Nov 2024 16:06
Follow date:13 Dec 2025 16:39
I like hacking, she/her
https://nyet.su [website + atprotopds and matrix homeserver]
https://meow.jp.net
https://7bool.sbs
https://codeberg.org/1casie
ReactOS is nice
Ellyse
Registered:6 Nov 2024 15:24
Follow date:11 Dec 2025 19:51
Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages
YouTube: https://www.youtube.com/@ellys...
PeerTube: https://video.mycrowd.ca/c/lea...
Fedi: https://humanwords.cc/@ellyxir
Cat Hicks
Registered:19 Jun 2023 04:07
Follow date:7 Dec 2025 18:45
Psychologist for the humans of tech. Author of The Psychology of Software Teams (2026). Founder: Catharsis Consulting (strategy * science). she/her 🏳️🌈 https://www.catharsisinsight.c...
Host at: https://www.changetechnically....
kephasp.bsky.social
Registered:19 Nov 2024 17:31
Follow date:2 Dec 2025 21:40
David Buchanan
Registered:27 Apr 2023 09:23
Follow date:18 Nov 2025 21:55
reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time
Fedi: @retr0id@retr0.id
Macroblog: https://www.da.vidbuchanan.co....
Lewis
Registered:18 Apr 2025 12:54
Follow date:14 Nov 2025 23:31
It's me!!
Eduardo Rafael
Registered:1 Dec 2024 16:51
Follow date:6 Nov 2025 18:59
26yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
bgamari.bsky.social
Registered:19 Nov 2024 22:47
Follow date:31 Oct 2025 09:14
AndreasPK
Registered:13 Dec 2024 10:35
Follow date:29 Oct 2025 11:17
Compiler enthusiast, GHC Maintainer, working with Well-Typed.
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:28 Oct 2025 12:21
Michael Chavinda
Registered:15 Feb 2024 01:34
Follow date:14 Oct 2025 07:52
Curious about many things
Rudy wants revolution. (did:web edition)
Registered:29 Sep 2025 12:24
Follow date:4 Oct 2025 16:26
founder & ceo, blacksky algorithms [ @blackskyweb.xyz ]
affiliate, berkman klein center @harvard.edu
this is my sovereign account.
biscuitsec.org
Registered:27 Jan 2025 15:48
Follow date:20 Sep 2025 20:11
puppy
Registered:13 Dec 2023 21:38
Follow date:19 Sep 2025 22:12
a pile of small dogs in a meaty land vessel • KC1QGV • they/them
prone to creating technological cognitohazards
making music again
member of Gem Coop's Project Leadership Committee
#rustlang, #rubylang, #pythonlang, #cprogramming
Daniel
Registered:16 Jun 2023 00:29
Follow date:18 Sep 2025 20:00
I Music sometimes 🐈⬛
Mike Sperber
Registered:16 Oct 2023 08:16
Follow date:15 Sep 2025 09:44
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperb...
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:15 Sep 2025 09:42
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
Don't call me Sir.
Joe
Registered:10 Sep 2025 15:16
Follow date:14 Sep 2025 13:28
Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him
I spend more time on Mastodon at:
https://functional.cafe/@hungr...
UpCloud post-FOSDEM
Registered:2 Jan 2025 11:59
Follow date:11 Sep 2025 11:26
A cloud provider from Finland, with data centers around the world.
Private, secure, cost-effective servers.
This account is run by engineers.
Would you like to know more?
https://upcloud.com
Functional Programming India
Registered:27 Aug 2025 15:33
Follow date:10 Sep 2025 16:52
Uniting Functional Programming Language enthusiasts across India.
Discussions: https://t.me/fpncr
Web: https://functionalprogramming....
Simon
Registered:9 Jun 2023 12:16
Follow date:5 Sep 2025 21:59
Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collabo...
Dance more!
Miles Sabin
Registered:1 Jul 2023 20:54
Follow date:30 Aug 2025 16:46
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Nicole Heinimann
Registered:26 Jun 2023 13:14
Follow date:28 Aug 2025 21:06
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
andrherr.bsky.social
Registered:11 Jul 2025 07:40
Follow date:20 Aug 2025 16:11
Erlang Ecosystem Foundation
Registered:16 Nov 2024 17:52
Follow date:19 Aug 2025 19:55
We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
https://erlef.org/
Mark Seemann
Registered:1 Dec 2024 11:57
Follow date:18 Aug 2025 08:16
Unison
Registered:6 Nov 2024 17:39
Follow date:14 Aug 2025 21:10
Friendly programming language from the future
Open source http://github.com/unisonweb/un...
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discor...
Marco Z
Registered:26 Nov 2024 02:14
Follow date:13 Aug 2025 10:25
ML, λ • language and the machines that understand it • https://ocramz.github.io
Alecs P. Hacker
Registered:20 Nov 2024 22:16
Follow date:12 Aug 2025 17:17
liquid type in liquid type connoisseur
alecsferra.github.io
oliver
Registered:17 Oct 2024 08:08
Follow date:4 Aug 2025 22:18
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
teo
Registered:13 Dec 2023 10:00
Follow date:4 Aug 2025 22:17
writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them
Arnaud Spiwack
Registered:5 Dec 2023 15:05
Follow date:29 Jul 2025 21:41
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Alex McLean
Registered:16 Jun 2023 19:32
Follow date:25 Jul 2025 11:49
Researcher + musician based in Sheffield UK https://slab.org/
Co founder of algorave, toplap, algomech, pattern club, strudel, tidalcycles
Part of Then Try This https://thentrythis.org/
Exploring algorithmic patterns https://algorithmicpattern.org...
Kris Nuttycombe
Registered:13 Apr 2023 14:21
Follow date:25 Jul 2025 08:44
Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://electriccoin.co and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
Gleam Programming Language
Registered:18 Nov 2024 13:56
Follow date:24 Jul 2025 22:33
Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:23 Jul 2025 12:38
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
One Happy Fellow
Registered:24 May 2025 14:49
Follow date:15 Jul 2025 08:52
OCaml dev, pondering The Abstract and The Concrete; soft spot for PLT (in recovery), love making computers sweat, trying to write more, a raging nerd
bluesky is just a backup, I’m mostly on twitter
happyfellow.bearblog.dev
jappiejappie.bsky.social
Registered:30 Nov 2024 13:17
Follow date:14 Jul 2025 13:17
David Fox
Registered:3 Dec 2023 14:52
Follow date:10 Jul 2025 08:42
50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
jameshaydon.bsky.social
Registered:13 Jan 2025 08:45
Follow date:29 Jun 2025 07:58
orpheee.bsky.social
Registered:30 Nov 2024 01:07
Follow date:23 Jun 2025 11:20
unironically latinx