×
You are not logged in
Bluesky Followers
patrick
Followers of @patrick.sirref.org
rshbhprsd.bsky.social
Registered:17 Mar 2025 17:04
Boris
Registered:23 Nov 2022 23:40
Web tinkerer. Pooling capital and collaboration.
What if we made things a little bit better?
#Vancouver #cooking #restaurant #atproto
gawwrgi.bsky.social
Registered:20 Oct 2024 22:13
Tomas Petricek
Registered:28 Oct 2024 21:14
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Daniel McCrystal
Registered:27 Nov 2024 22:32
💻💭👾 | 🎹🎸🎶 | ⛰️🌲🍄
Dreaming of a better way to interact with my computer
📍Washington, DC
Dr. Ruchira Datta
Registered:22 Nov 2024 15:59
Mathematician and computer scientist. Have done research in game theory, AI/ML for NLP, and computational biology (phylogenomics, cancer, and immunology). Now working on making energy-efficient AI/ML. Vegetarian.
Patrick McGahon
Registered:16 Nov 2024 08:20
Irish gay guy living in England 🏳️🌈
In my fifties
EastEnders & Bargain Hunt fan
RIP mum 💔 2022
Worked at Uni of Cambridge & NHS
Awful at responding to DMs
Sober a few years
Chris Armstrong
Registered:23 Oct 2024 20:32
Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
(Sundara (Vishnu)) (Satish)
Registered:23 Nov 2024 15:27
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Sam Westrick
Registered:26 Jul 2023 01:33
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl...
https://cs.nyu.edu/~shw8119/
Oussama
Registered:31 Mar 2025 21:06
Computer whisperer
ea640x480.bsky.social
Registered:4 Aug 2023 00:22
Living in the subjunctive
hashr47.bsky.social
Registered:25 Sep 2025 19:29
ValorZard
Registered:2 May 2023 01:55
Bday: 10/25/2001 I shouldn’t even be here. Socially awkward as fuck! I love fighting games, cartoons and comics! RIP Eggbug
Nora Wang
Registered:21 Jan 2025 05:38
10+ years in drug development, specializing in rare diseases and neurological disorders. Expertise in translational medicine and clinical trial design, with a proven record in advancing novel therapeutics.
akshay oppiliappan
Registered:8 Jan 2025 19:19
building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
Curly Braces
Registered:24 Jul 2025 22:35
Daily nuggets of software wisdom.
David
Registered:21 Nov 2023 11:29
match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Master SDL
Registered:14 Jan 2025 21:49
Master Sciences Du Logiciel de l'Université de Toulouse
(précédemment nommé Master DL)
https://www.master-developpeme...
Taylor Hodge
Registered:20 Apr 2023 20:28
Striving to create that in the presence of which we feel more alive
Software gardener/eng, now augmenting intellect ↝ Rupa Health, Narrative Science, WorkOS
jhemann.bsky.social
Registered:12 Nov 2024 00:43
Ignacio Ballesteros
Registered:18 Nov 2024 13:46
Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Adeel
Registered:5 Sep 2024 18:34
Learning Log // Software Developer // CyberSecurity // Wannabe musician
Type Theory Forall
Registered:3 Jan 2025 14:59
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
robmurtagh.bsky.social
Registered:3 Jan 2025 20:55
Ernest Ng
Registered:18 Jan 2025 16:28
PL/Systems PhD student at Cornell
ngernest.github.io
Programming for the Planet
Registered:3 Apr 2025 09:38
The 2nd Programming for the Planet (PROPL) workshop will be co-located with SPLASH and ICFP in Singapore (in hybrid mode) on 13th October 2025. Submit a paper, talk or provocation by the 3rd July! https://conf.researchr.org/hom...
"Carlito" [λ]
Registered:13 Jan 2025 15:11
2025@{🇬🇧🇱🇻🇩🇪🇲🇽}
In a personal revolution against boredom.
Xavier Van de Woestyne
Registered:18 Oct 2023 13:11
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Arduin Findeis
Registered:13 Mar 2025 22:34
Working on evaluation of AI models (via human and AI feedback) | PhD candidate @cst.cam.ac.uk
Web: https://arduin.io
Github: https://github.com/rdnfn
Latest project: https://app.feedbackforensics....
ztilb5412.bsky.social
Registered:2 Nov 2024 18:34
Gabriel
Registered:28 Nov 2023 15:14
code artisan.
internet hippie.
techno optimist.
eu/acc advocate.
[🧑💻...💥](https://codeberg.org/gm0stache...
Sebastien Marie
Registered:20 Aug 2023 16:38
OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
leoliu2007.bsky.social
Registered:6 Jan 2025 09:05
Tiago Cogumbreiro
Registered:23 Nov 2024 17:25
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
David Sancho
Registered:5 May 2023 14:56
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Michael Gebetsroither
Registered:26 May 2023 13:40
Junrui Liu
Registered:12 Nov 2024 02:20
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Kamil 🧑💻 cimatic.io
Registered:11 Nov 2024 09:56