×
You are not logged in
Bluesky Follows
Eduardo Rafael
Follows by @eduardorfs.com
Γ ⊢ quartztz : bnuy
Registered:14 Nov 2024 13:34
Follow date:3 Jan 2026 22:41
[he/they]
EN/FR/IT
quartztz.com
MSc @ EPFL
verification obsessed nerd with too little time on their hands.
Helpify
Registered:30 Aug 2024 23:05
Follow date:21 Oct 2025 23:01
🐾 Every tail deserves a second chance.
At our foundation, we rescue, feed, heal, and protect dogs who’ve been forgotten giving them the love and life they deserve. 💛
Join us in changing their world, one paw at a time. 🐶
🐾 Rescue. Love. Transform. Repeat.
Camilo de Azevedo
Registered:27 Jun 2023 20:50
Follow date:3 Oct 2025 15:30
spacecowboy
Registered:7 Feb 2024 01:44
Follow date:7 Sep 2025 00:20
Interests in ML and social aspects of tech.
Building For You feed: https://bsky.app/profile/space...
Hobby project: linklonk.com
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:5 Sep 2025 00:51
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Brendan Zab
Registered:11 Aug 2023 11:34
Follow date:4 Sep 2025 01:46
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:2 Sep 2025 16:25
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
pipewire.org
Registered:1 Dec 2024 13:07
Follow date:27 May 2025 14:20
PipeWire is a media server for Linux systems covering audio, pro audio and video usecases.
One Happy Fellow
Registered:24 May 2025 14:49
Follow date:25 May 2025 20:04
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
joomy
Registered:1 Jul 2023 23:12
Follow date:25 May 2025 20:04
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
TypeHoles
Registered:31 Oct 2024 23:33
Follow date:18 May 2025 03:51
Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
norvid_studies
Registered:2 May 2023 02:52
Follow date:1 May 2025 14:31
charts and graphs
follow me on twitter https://twitter.com/norvid_stu...
least informed nerd
Registered:30 Nov 2024 09:11
Follow date:1 May 2025 14:25
you’d think being a nerd every waking hour would make me knowledgeable…
ionchy
!! Invalid Handle !!
Registered:11 Apr 2023 16:17
Follow date:30 Apr 2025 23:29
it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
https://ionathan.ch
Aaron Christianson
Registered:22 Apr 2025 10:31
Follow date:28 Apr 2025 18:46
OCaml. Pronouns in bio.
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:16 Apr 2025 14:55
1st Workshop on Software Engineering for Functional Programming (SE4FP)
In 2025, SE4FP is co-located with the @cbsoft.bsky.social
Website: https://se4fp.github.io/2025/
CBSoft 2026
Registered:30 Jan 2025 16:38
Follow date:16 Apr 2025 14:53
XVII Congresso Brasileiro de Software 2026 - CBSOFT
8 a 12 de setembro em São Paulo
Site: http://cbsoft.sbc.org.br
Alcides Fonseca
Registered:18 Nov 2024 07:59
Follow date:13 Mar 2025 18:11
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Jeff Silksong Coelho
Registered:3 Sep 2024 22:47
Follow date:10 Mar 2025 18:23
Content on pt-br, sometimes en
Caerbannog-lang
Minha toca => https://computaria.gitlab.io/b...
Javeiro falhando miseravelmente em ficar fora de redes sociais =/
Bora aprender ciência da computação ou matemática? @ulivre.dev
Jake Follest
Registered:5 Jan 2025 06:30
Follow date:8 Mar 2025 22:24
An aspiring compiler engineer currently attending for Trent University for Computer Science.
Github: https://github.com/spotandjake
LinkedIn: https://www.linkedin.com/in/ja...
Tiago Cogumbreiro
Registered:23 Nov 2024 17:25
Follow date:8 Mar 2025 20:17
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/fai... #ocaml #rocq
nikomatsakis
Registered:23 Oct 2024 14:27
Follow date:6 Mar 2025 20:54
Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
sai
Registered:3 Sep 2023 06:53
Follow date:26 Feb 2025 18:39
Giacomo Cavalieri
Registered:8 Nov 2024 12:51
Follow date:22 Feb 2025 15:37
I love functional programming and learning new things ✨ Gleam core team member 💕 (he/him)
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:20 Feb 2025 01:46
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Mark Cuban
Registered:2 May 2023 06:18
Follow date:11 Feb 2025 01:21
Entrepreneur
Costplusdrugs.com
Jeff Dean
Registered:16 Nov 2024 11:04
Follow date:5 Jan 2025 22:03
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
chreke
Registered:4 Oct 2023 09:56
Follow date:26 Dec 2024 18:37
Functional programming enjoyer
Co-founder of https://functionalsoftware.se
Personal website: https://chreke.com
Sometimes I write stuff here: https://blog.snork.dev/
Taras Glek
Registered:16 Nov 2024 14:25
Follow date:24 Dec 2024 20:14
LLMs, system programming
https://taras.glek.net
Rin
Registered:8 Sep 2023 09:51
Follow date:22 Dec 2024 23:07
github.com/r17x - Nix/Neovim/OCaml/JS bEtEwE
Alexander Bandukwala
Registered:1 Jul 2023 17:59
Follow date:21 Dec 2024 22:32
💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist
dennis lam
Registered:16 May 2023 19:19
Follow date:19 Dec 2024 16:05
i live in the bay area and work in fintech. stream of consciousness account. here for a fun time
Roland Rodriguez
Registered:14 Aug 2023 04:18
Follow date:19 Dec 2024 16:05
Independent Practice @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer
Matt Teichman
Registered:28 Nov 2024 02:23
Follow date:19 Dec 2024 16:05
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.ap...
Liro
!! Invalid Handle !!
Registered:3 Sep 2024 23:11
Follow date:19 Dec 2024 03:37
Writing colorful text for a living
Emily Liu
Registered:16 Jan 2023 20:48
Follow date:19 Dec 2024 03:30
this bio is left as an exercise to the reader
🌱 emilyliu.me
Andrew Middleton
Registered:27 Jul 2023 16:38
Follow date:18 Dec 2024 20:38
'Peddler of Wheres,' job creator, Owner at The Map Center in Pawtucket RI- it's like a hip record store but for maps.
www.mapcenter.com
Cartographer, GIS specialist and educator
Linktr.ee/ecoandrewtrc
Flavio 🏴☠️
Registered:6 May 2023 20:27
Follow date:18 Dec 2024 03:56
👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
Xavier Leroy
Registered:30 Nov 2024 15:45
Follow date:14 Dec 2024 16:02
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Jesse Singal
Registered:1 Dec 2024 20:58
Follow date:14 Dec 2024 03:49
Journalist, co-host of Blocked and Reported, author of The Quick Fix and an upcoming book on youth gender medicine. Mostly just asking questions.
More info: JesseSingal.com
Alecs P. Hacker
Registered:20 Nov 2024 22:16
Follow date:12 Dec 2024 09:05
liquid type in liquid type connoisseur
alecsferra.github.io
Maynard
Registered:9 Dec 2024 23:25
Follow date:12 Dec 2024 00:15
Maynard
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:11 Dec 2024 21:31
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Lomig
Registered:12 Aug 2023 11:17
Follow date:11 Dec 2024 20:48
Rationnel, anticlérical, universaliste, réincarnation de Robespierre ; démon de la cohérence diégétique.
Ce qui nous rassemble est plus fort que ce qui nous sépare.
• Pirate de gauche 🏴☠️
• Mastodon : @lomig@social.baradoz.cloud
Matti Palli
Registered:26 Apr 2023 13:04
Follow date:10 Dec 2024 21:39
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Ryan Fleury
Registered:22 Oct 2024 18:36
Follow date:10 Dec 2024 20:31
Working @ Epic Games Tools (RAD) on the RAD Debugger. Opinions my own.
henri
Registered:20 Nov 2023 18:13
Follow date:7 Dec 2024 22:15
Tom
Registered:2 Nov 2024 14:37
Follow date:7 Dec 2024 14:12
appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
David Buchanan
Registered:27 Apr 2023 09:23
Follow date:6 Dec 2024 23:19
reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time
Fedi: @retr0id@retr0.id
Macroblog: https://www.da.vidbuchanan.co....