×
You are not logged in
Bluesky Followers
Eduardo Rafael
Followers of @eduardorfs.com
Sacha Ayoun
Registered:30 Jan 2025 10:29
CTO of soteria-tools.com, building static analysis for the masses
ionchy
Registered:11 Apr 2023 16:17
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
hel
Registered:26 Sep 2025 20:48
personalhel.com
github: personalhel
signal: personalhel.01
matrix: personalhel:matrix.org
she/her
🏳️⚧️🏳️🌈🇵🇸
i use nixOS on apple silicon btw - and i will get you to use typst.
banner imagine created by trine kløve eriksen, 2025
Γ ⊢ quartztz : bnuy
Registered:14 Nov 2024 13:34
[he/they]
EN/FR/IT
quartztz.com
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
Ali Rousta
Registered:31 Dec 2025 10:47
Go Enthusiast | FP Lover | AI Skeptic
Hawry
Registered:30 Aug 2024 21:58
Fullstack developer
Ben Waldman (lambda male)
Registered:8 Oct 2023 13:45
The only person to have ever made a figma balls joke.
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
morespinach.bsky.social
Registered:8 Sep 2024 01:35
Thinking about Databases
Rori
Registered:19 Oct 2025 05:13
The disciplined programmer
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
🌵🍒 apulimu 🍒🌵
Registered:4 Dec 2024 02:36
Existential crisis haver | Math/type theory nerd | Fully-automated gay space communist | University student | Basic knowledge of toki pona | American west coast lover
Between 18 and 29 years old
Pfp and banner by Joel G
Camilo de Azevedo
Registered:27 Jun 2023 20:50
Emrah Seidov
Registered:4 Nov 2024 21:31
JS Dev, (Neo)Vimmer, λ FP Lover, Gamer (Hadouken!)
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
christian
Registered:18 Aug 2023 22:53
I write soft wares for the web. Corgi pops. Sometimes I ride my bike. He/him. 🇵🇭-ish
Thales Fragoso
Registered:31 Aug 2024 20:41
Encantador de areia e apreciador de structured concurrency.
Brendan Zab
Registered:11 Aug 2023 11:34
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Nathan🌸
Registered:9 Jan 2025 16:55
Indie software developer • math lover • ML builder • 48 • NB they/them
Currently working on audio circuit simulation.
Raymond Crawford
Registered:30 Jul 2025 08:10
daxmictar.bsky.social
Registered:6 Aug 2024 21:35
Kristopher Micinski
Registered:13 Nov 2024 06:06
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
CogniDroid
Registered:12 Sep 2024 06:12
Failure at life and the passion I'd wanted to pursue.
winpuc
Registered:28 May 2024 03:27
kylef94.bsky.social
Registered:18 Nov 2024 17:45
Bart Blast
Registered:14 Mar 2025 17:47
Building Hologram, a full-stack Elixir web framework
https://hologram.page
jolman
Registered:12 Nov 2024 17:58
dev & foss enjoyer
slimmus jimmus
Registered:22 Oct 2024 13:18
like biggus dickus only bigger
minakamel.bsky.social
Registered:7 Feb 2025 07:02
movies, tv shows, computers, everton
joomy
Registered:1 Jul 2023 23:12
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
One Happy Fellow
Registered:24 May 2025 14:49
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
Érik Martin-Dorel
Registered:21 Nov 2024 21:12
Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
TypeHoles
Registered:31 Oct 2024 23:33
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
Print Play Protect
Registered:25 Nov 2023 20:32
We make cool tabletop items :D
least informed nerd
Registered:30 Nov 2024 09:11
you’d think being a nerd every waking hour would make me knowledgeable…
boarders.bsky.social
Registered:17 Aug 2024 16:39
Thanks to impermanence all things are possible
Working on a book on topos theory
ronin-red.bsky.social
Registered:14 Aug 2024 19:39
About Computer, Software engineering, Math.
You're warned : Social skills of a hyena on acid.
Nos erimus novissimi
Cthulhu is coming, we are in deep trouble.
orpheee.bsky.social
Registered:30 Nov 2024 01:07
unironically latinx
Aaron Christianson
Registered:22 Apr 2025 10:31
OCaml. Pronouns in bio.
Nick De Roeck
Registered:11 Nov 2024 12:24
🏳️🌈 ex-Twitter exile looking for less manipulation and negativity, and
more democracy and positivism. Blog @ https://publish.obsidian.md/ni...
a public builder
Registered:13 Mar 2025 04:17
doing some experiments to build something in public
CBSoft 2026
Registered:30 Jan 2025 16:38
XVII Congresso Brasileiro de Software 2026 - CBSOFT
8 a 12 de setembro em São Paulo
Site: http://cbsoft.sbc.org.br