You are not logged in
Bluesky Followers
@
tarides.com
Followers of @tarides.com
benvenue.bsky.social
Registered:13 Nov 2024 00:11
gckeller.bsky.social
Registered:16 Jul 2023 17:29
Professor, Software Technology, Utrecht University
Growl Marx
Registered:6 Dec 2023 23:51
Puff
Registered:15 Nov 2024 15:18
Puff likes Haskell and Compiler stuff
Functional Programming India
Registered:27 Aug 2025 15:33
Uniting Functional Programming Language enthusiasts across India. Discussions: https://t.me/fpncr Web: https://functionalprogramming....
bitznbrewz.bsky.social
Registered:19 Sep 2023 15:06
iAmiteshKr
Registered:30 Jan 2026 13:13
Lorenz Leutgeb
Registered:18 Sep 2023 19:26
PhD student in Automation of Logic at Max Planck Institute for Informatics
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
randyisrandom.bsky.social
Registered:29 Dec 2025 13:53
Formal Methods/Digital Philology #OCaml #Rocq #Agda #C Investigating the illusion of discreetness
tolmix
Registered:22 Dec 2025 18:59
tolmix.com: The first A.I.R. network (Augmented Intelligent Reality) 3D AI/VR on ALL screens with AND without headset .. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius
Registered:21 Dec 2025 19:07
Nucleus Fuselius, Director of Philosophy @ tolmix.com 📜 tolmix.com/Fusion-Punk-Aesthetics
Akhil 🚀
Registered:26 Apr 2023 12:37
tulluri.me | Software Engineer | Distributed Systems, Databases, Operating Systems
albx79.it
Registered:11 Nov 2023 08:58
Julian
Registered:20 Oct 2024 09:37
Software Engineer from Munich 🥨 | ⚗️ Elixir | 🐦 Flutter | 🦀 Rust | 🎛️ Synthesizers | ⌨️ Mechanical Keyboards | ☕ Coffee | 🌐 https://j4nk.dev
sbahri
Registered:16 Dec 2025 07:02
Stig Helmer
Registered:7 Nov 2023 02:39
#1 Mindy Furano fan account
Tristan McDermott
Registered:28 Nov 2025 17:30
Senior at UMass Lowell | CS and Math | Programming languages, formal verification, and systems
Rasyid
Registered:25 Nov 2025 02:43
Alfonso Uceda
Registered:11 Nov 2023 08:19
Software Engineer. Ruby. Rails. DevOps apprentice
Andy Wingo
Registered:31 Aug 2024 18:24
wingolog.org / haute-savoie / iterating to a fixed-point
StepBroBD
Registered:12 Nov 2023 02:02
F/KC1VZR λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥)) https://github.com/stepbrobd
rohenry.bsky.social
Registered:16 Nov 2024 01:29
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
Michael Kohl
Registered:22 May 2023 12:54
Your friendly neighborhood anarcho-cynicalist. I do things with computers and occasionally succeed. 🇦🇹 in 🇹🇭 since 2013. Fan of 1990s pop culture. I delete old posts. I'm more active on Mastodon: https://chaos.social/@citizen4...
akuebler.bsky.social
Registered:4 Feb 2024 07:49
Camilo de Azevedo
Registered:27 Jun 2023 20:50
- DEV #OCaml #Elixir #Clojure - Mestrando em Engenharia de Software na UTFPR - ADM/ORG na ulivre.dev + gambiconf.dev
jcferreira.bsky.social
Registered:16 Aug 2024 17:34
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
QueensGetTheMoney
Registered:8 Feb 2024 21:49
Long time NYer
Richard Davison
Registered:27 Sep 2023 21:45
OCaml. Alt keyboard layouts (creator of Graphite). Musician. nyc
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
miki_rocket
Registered:19 Nov 2024 10:33
Principal SWE @ WorldAnvil (+4M Users) doing rust @ @conjured.ink MOGAD leftist https://github.com/mikolaszko talk to me about anything regarding software engineering, preferably not frontend/webdev (ironically, I work in the space)
Emil Privér
Registered:16 Oct 2023 06:02
Founding engineer and Part-Owner at http://enad.io | Love rust and go
Simmo Saan
Registered:6 Sep 2025 11:35
Computer science PhD student. https://sim642.eu/
corncorncorncorn.bsky.social
Registered:8 Aug 2025 21:38
George Brown
Registered:3 May 2023 19:19
Fast machine enthusiast - HPC and F1. Be the mosh pit you want to see in the world.
Visruth Srimath Kandali
Registered:6 Nov 2024 16:59
Cal Poly Statistics student broadly interested in Bayesian statistics, computational methods, and modeling--e.g. BNPs, VI, and MC methods. I like R, Julia, and functional friends. visruth.com
Owen
Registered:19 Nov 2023 15:28
bad at science https://bean.computer
Skeptic
Registered:18 Nov 2024 10:49
Avishek ghosh
Registered:1 Dec 2024 16:42
Simon Rowe (wiremoons)
Registered:20 Nov 2023 07:06
| photography | open source | programming | cycling | technology |
Илющя
Registered:16 Dec 2024 17:40
"Всё очень просто"©️ 🌏 🇰🇿Алматы🍏 #ПодАскорбинкой с 2019 :D Удивительный гибрид продюсера и компьютерного учёного (безработный)
rctcwyvrn.bsky.social
Registered:3 Mar 2025 13:48
alexmikhalev.bsky.social
Registered:7 Feb 2024 00:28