You are not logged in
Bluesky Followers
@
Sebastian Graf
Followers of @fixpt.de
tarena.bsky.social
Registered:19 Jan 2026 12:56
Alexis Bouchez
Registered:26 Oct 2025 21:58
Building a real-time monitoring tool for startups. ⇒ palmframe.com 🔗 alexisbouchez.com
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Anupam λ≡
Registered:4 Nov 2025 09:14
“It’s all fine, if the compiler says it’s fine”. "Be irrational. Don't let the economists win" "Rage against walled gardens" #Haskell #Purescript #Rust #APL #FunctionalProgramming #Linux #Coffee #Robotics #3DPrinting #India #FOSS #Atheism
mod_poppo
Registered:7 Feb 2024 13:48
Haskell / Standard ML
Harish Chandramouleeswaran
Registered:18 Mar 2025 17:33
Ph. D. student in computer science at the Chennai Mathematical Institute. Academic webpage: https://sites.google.com/view/...
jane2-06.bsky.social
Registered:19 Oct 2025 17:19
Henry Wallace
Registered:22 Nov 2024 02:25
Learning and hacking! 🌈⚡️🔥💧🌱 https://github.com/arclabs561
nhatanh
Registered:7 Nov 2024 21:05
Maris Ozols
Registered:23 Nov 2024 11:13
Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
Science HR
Registered:8 May 2025 14:43
A career network featuring science jobs in academia and industry. Visit our platform at www.science.hr
Javi Neira
Registered:18 Nov 2024 06:39
Jiří Beneš
Registered:4 Jun 2025 14:11
Interested in effect and coeffect systems, PhD student at University of Tübingen. Website: https://jiribenes.com Mastodon: https://types.pl/@jiribenes
Engineering HR
Registered:16 May 2025 01:02
Engineering Human Resources. A job board and career portal for engineers, researchers and developers. Our website: https://www.engineering.hr
TBD
Registered:11 Aug 2025 23:27
streamlight.bsky.social
Registered:16 Apr 2025 07:51
kephasp.bsky.social
Registered:19 Nov 2024 17:31
chloroauric.bsky.social
Registered:8 Nov 2024 10:21
trans 🏳️‍⚧️, web, javascript, p2p, decentralisation, activitypub, rust, c, c++, browsers, react, design systems, linux
Bart Blast
Registered:14 Mar 2025 17:47
Building Hologram, a full-stack Elixir web framework https://hologram.page
orpheee.bsky.social
Registered:30 Nov 2024 01:07
unironically latinx
Ben
Registered:27 Aug 2023 08:15
Mathematics and compilers. https://kaleidawave.github.io
gaussgivenorder.bsky.social
Registered:20 Nov 2024 12:45
Aspiring TCS researcher
teo
Registered:13 Dec 2023 10:00
writes Haskell mostly | loves public transport | studied philosophy | 🏴 | mid 20s | they/them
Marie Flore
Registered:5 Jun 2025 00:40
I am Marie-Flore, I come from Carouge in Switzerland, I am an interior designer, do not hesitate to contact me if you want a unique decoration that resembles your image
aadaa-fgtaa.bsky.social
Registered:7 Nov 2024 17:28
Ulises Rodriguez
Registered:16 Nov 2024 14:29
I like science 🧪🔭⚗️🔬🧬 former software engineer fascism is bullshit angry army veteran
Eric St-Laurent
Registered:27 Nov 2024 15:32
Musician, GNU-linux enthusiast. Bordel de merde, nur die wurst hat zwei Toronto, 🇨🇦 http://ericst-laurent.com #cumbia #reaper #supercollider #GNU_linux #vim #bash #awk #sed #mutt #calcurse #sd-im #plain_text #openSource
Philipp Krüger
Registered:21 Apr 2023 08:43
Building iroh with the amazing folks at number 0 (n0.computer). Generally striving to increase user agency and excited about commons networks. Only works for Canadian CEOs, apparently. Rust, cryptography, CRDTs & more on my feed
James
Registered:3 Jul 2023 07:15
he/him. Lover of type theory and functional programming. Also, comedy and politics. Not super optimistic.
Haskell programming language
Registered:18 Nov 2024 12:50
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
Yuri Not Igor
Registered:12 Nov 2024 20:42
Cryptic posts in general
alanz.bsky.social
Registered:26 Apr 2023 16:54
Théophile فهيل (ꈍ ᴗ ꈍ✿)
Registered:5 Feb 2024 09:35
Trade unionist, musician, professional software victim. 🇫🇷/🇩🇿 Séparatisme Numérique at @solinfonat.bsky.social Project lead at @flora.pm
midirus.bsky.social
Registered:16 Jan 2025 02:27
boarders.bsky.social
Registered:17 Aug 2024 16:39
Thanks to impermanence all things are possible Working on a book on topos theory
doyougnu.bsky.social
Registered:14 Jan 2025 00:33
proustian.bsky.social
Registered:23 Mar 2025 21:02
🐫
John Ericson
Registered:29 Jul 2023 18:09
José A. Alonso
Registered:15 Oct 2023 09:29
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain