×
You are not logged in
Bluesky Follows
Tiago Cogumbreiro
Follows by @forkjoin.bsky.social
Janus Troelsen
Registered:17 Nov 2024 22:38
Follow date:3 Mar 2026 17:12
jeg har boet 6 år i cdmx
Carlos Baquero
Registered:3 Jul 2023 11:35
Follow date:29 Jan 2026 02:14
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web...
julien-lange.bsky.social
Registered:1 Oct 2025 08:36
Follow date:12 Jan 2026 19:05
randyisrandom.bsky.social
Registered:29 Dec 2025 13:53
Follow date:11 Jan 2026 02:48
Martin Jambon
Registered:13 Mar 2025 19:44
Follow date:10 Jan 2026 19:52
Ali Rousta
Registered:31 Dec 2025 10:47
Follow date:31 Dec 2025 17:24
Go Enthusiast | FP Lover | AI Skeptic
rntz
Registered:1 Jul 2023 19:28
Follow date:25 Dec 2025 15:10
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
David Monniaux
Registered:23 Oct 2023 18:45
Follow date:13 Dec 2025 15:23
"Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@Mo...
https://cv.hal.science/david-m...
Tristan McDermott
Registered:28 Nov 2025 17:30
Follow date:28 Nov 2025 18:44
Senior at UMass Lowell | CS and Math | Programming languages, formal verification, and systems
Rodolphe Lepigre
Registered:16 Nov 2024 22:19
Follow date:21 Nov 2025 01:16
Computer scientist, OCaml programmer, Coq/Rocq hacker
Cooklang (Alexey)
Registered:2 Dec 2024 11:43
Follow date:28 Oct 2025 12:32
Markup Language for Recipes and Tools http://cooklang.org/
Dan Plyukhin
Registered:19 Nov 2024 20:45
Follow date:16 Oct 2025 17:07
⚠️I’m on the job market for 2026!⚠️
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
winpuc
Registered:28 May 2024 03:27
Follow date:20 Sep 2025 13:27
thumbquat.bsky.social
Registered:20 Feb 2024 14:06
Follow date:20 Sep 2025 13:26
Trese Brothers Games | Strategy RPGs
Registered:6 Jul 2023 18:31
Follow date:4 Sep 2025 01:46
Indie game devs going 10+ years strong. We make deep, highly-replayable RPGs.
Our latest, Cyber Knights: Flashpoint is on Steam!! Squad tactics heist RPG: https://s.team/a/1021210/
View all our games at: https://TreseBrothers.com
Wander
Registered:24 Jul 2023 23:30
Follow date:4 Sep 2025 01:44
Actually Human. Indie Game Curator, Artist, & Essayist
(He/Him) 🚫No AI
https://wanderbot.carrd.co/
Nate
Registered:28 Nov 2023 18:04
Follow date:16 Jun 2025 22:07
Software 🦀➕🐪 • Philosophy 🧐 • Maths 🧮
Having the moment of anagnorisis as a developer
localthunk
Registered:18 Oct 2024 04:06
Follow date:7 Jun 2025 18:31
Literally a fool
Creator of Balatro ( @playbalatro.com )
Business/Media: balatro@playstack.com
Blog: localthunk.com
Direct contact: localthunk.contact@gmail.com
🇨🇦
Chris Martens
Registered:27 Jan 2025 15:51
Follow date:10 May 2025 13:38
mostly not here, but there: https://hci.social/@chrisamaph...
Formal Land
Registered:21 Nov 2024 13:46
Follow date:9 May 2025 23:11
Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
Davanum Srinivas (@dims)
Registered:25 Apr 2023 01:53
Follow date:9 May 2025 22:15
#OpenSource Person, Principal Engineer for Nvidia. He/Him.
Harry Goldstein
Registered:1 May 2023 21:19
Follow date:7 May 2025 23:55
(he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:29 Apr 2025 17:22
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
SE4FP Workshop
Registered:10 Apr 2025 20:00
Follow date:16 Apr 2025 12:47
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/
ETAPS conferences
Registered:1 Jan 2025 19:48
Follow date:14 Apr 2025 19:30
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
Terminal Trove
Registered:7 Jul 2023 21:21
Follow date:13 Apr 2025 16:07
The home of all things in the terminal.
https://terminaltrove.com/
David
Registered:21 Nov 2023 11:29
Follow date:31 Mar 2025 23:36
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Kritoke
Registered:9 Nov 2023 11:08
Follow date:25 Mar 2025 11:14
IT Professional, fan of lesser known programming languages and some functional ones. Currently obsessed with making projects in Crystal Language. Have dabbled with Elixir, Golang, Powershell, Haskell, Ruby, among others.
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:24 Mar 2025 13:50
Mom, foodie, traveller, computer scientist
mflatt.bsky.social
Registered:7 Dec 2024 20:28
Follow date:18 Mar 2025 00:20
Steam
Registered:21 Nov 2024 23:29
Follow date:14 Mar 2025 23:13
Steam, The Ultimate Online Game Platform.
For support: http://help.steampowered.com/e...
SimonR
Registered:12 Mar 2025 09:34
Follow date:12 Mar 2025 13:07
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer, NixOS
Early student in CS at Technische Universität München
Other interests: Physics, Accordion, Judo and Design
https://simonreilich.github.io...
patrick
Registered:26 Jan 2025 12:45
Follow date:11 Mar 2025 00:42
PhD Student @ Uni of Cam
https://patrick.sirref.org
https://github.com/patricoferr...
bacigalupe
Registered:24 Jun 2023 00:02
Follow date:8 Mar 2025 01:39
Professor of counseling psychology at UMASS Boston, psychotherapist, painter, transnational, public health, environmentalist and climate justice activist. Writing and building an art studio next to the ocean. Personal account, not institutional.
Jack Matusiewicz
Registered:8 Aug 2024 07:38
Follow date:27 Feb 2025 22:38
Former game dev now working as a Rust developer in finance.
Love functional programming and making terrible games in my free time!
newobject
Registered:20 Sep 2023 23:24
Follow date:27 Feb 2025 14:17
check out ballionaire! : https://store.steampowered.com...
my itch page : https://newobject.itch.io/
press/inquiries : ballionaire [at] proton [dot] me
seattle, wa
♫⃠
BlueSCSI Ultra
Registered:13 Nov 2024 17:36
Follow date:26 Feb 2025 01:50
BlueSCSI is an open source, open hardware, and open design SCSI solution for vintage computers. It’s designed to replace a SCSI hard drive inside of your vintage computer or device, but it can also do so much more!
https://bluescsi.com/
Simon // RedPixl
Registered:11 Feb 2024 07:59
Follow date:23 Feb 2025 20:13
Teilzeitchaot, Minecraft Building
https://red-pixl.github.io/
Christopher Martell
Registered:11 Oct 2023 17:57
Follow date:19 Feb 2025 15:43
Teacher Educator & Researcher, Associate Professor of Social Studies Education UMass Boston; Boston Public Schools parent; Author of http://bit.ly/teachjustice; Editor of http://bit.ly/ss_te. Dorchester, Boston
http://www.christophercmartell...
CoopCoding
Registered:6 Feb 2024 22:07
Follow date:17 Feb 2025 14:12
Loves programming and making stuff
https://www.coopcoding.org/
phamki.bsky.social
Registered:4 Feb 2025 15:23
Follow date:6 Feb 2025 16:39
Instituto Superior Técnico
Registered:12 Jul 2023 13:40
Follow date:29 Jan 2025 20:16
Instituto Superior TÉCNICO is the largest school of Architecture, Engineering, Science and Technology in Portugal, involving a community of 12000+ people on campus 🏛️🇵🇹
tecnico.ulisboa.pt
CIÊNCIAS ULisboa
Registered:3 Dec 2024 12:44
Follow date:29 Jan 2025 20:15
Vem fazer parte da nossa História construindo o teu Futuro!
Faculdade de Ciências da Universidade de Lisboa.