×
You are not logged in
Bluesky Follows
Max Slater
Follows by @thenumb.at
ะขsัdiะธg
Registered:21 Feb 2024 02:32
Follow date:1 Mar 2026 15:45
Recreational Programming:
- http://twitch.tv/tsoding
- https://www.youtube.com/@Tsodi...
- https://www.youtube.com/@Tsodi...
โ โขโฃฐโฃพโกฟโฃถโฃฟโ ฟโฃถ
โข โฃผโฃฟโฃฟโฃทโฃฟโฃฟโฃถโ
โขธโฃฟโฃฟโฃฟโฃฟโฃฟโฃฟโ โ
noelwelsh.bsky.social
Registered:31 Jul 2023 09:39
Follow date:5 Feb 2026 02:41
(Sundara (Vishnu)) (Satish)
Registered:23 Nov 2024 15:27
Follow date:19 Jan 2026 18:19
PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu โ25
DocJade
Registered:22 Nov 2024 16:30
Follow date:18 Jan 2026 02:06
I make factorio YouTube videos.
EN/TOK
https://docjade.com/
o toki tawa mi a!
David Sancho
Registered:5 May 2023 14:56
Follow date:6 Jan 2026 03:37
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
henry โท
Registered:27 Apr 2023 19:26
Follow date:6 Jan 2026 03:36
a website, betrayed by god.
queer vegan straightedge. free palestine. him.
https://stillness.digital && https://strange.website && https://henry.codes && https://strangersbyspring.com
Shlomi Steinberg
Registered:18 Nov 2024 01:33
Follow date:1 Sep 2025 15:06
Assistant Professor @UWaterloo CS
rendering, light transport & optics
PhD @UCSB, MSc @WeizmannScience, formerly @Crytek @NVIDIA.
๐ฎ๐ฑ๐จ๐ฆโก๏ธ
ssteinberg.xyz
Mattias Gustavsson
Registered:25 Aug 2023 16:29
Follow date:1 Sep 2025 15:06
Hobby game dev, making retro style games: mattiasgustavsson.itch.io and public domain C libs: github.com/mattiasgustavsson
I write about things at mattiasgustavsson.com
Feel free to DM me about anything
Camdar
Registered:8 Oct 2024 01:40
Follow date:27 Aug 2025 03:34
phd student, pl person. i do cool things, occasionally.
Webmaster @ https://feuniverse.us
https://camdar.io
aron
Registered:3 Jul 2023 08:49
Follow date:31 Jul 2025 04:48
โ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
geofflangdale.bsky.social
Registered:15 Nov 2024 21:09
Follow date:29 Jul 2025 03:54
Martin Kleppmann
Registered:18 Nov 2022 10:22
Follow date:28 Jun 2025 13:55
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote โDesigning Data-Intensive Applicationsโ (OโReilly). he/him
Alex Bradbury
Registered:18 Nov 2024 21:29
Follow date:13 Jun 2025 17:35
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Brady Haran
Registered:13 Nov 2024 21:31
Follow date:4 May 2025 16:05
Videos & Podcasts
More about my work at: https://linktr.ee/bradyharan
Pjbomb2
Registered:12 Apr 2024 02:26
Follow date:30 Apr 2025 11:14
Just a guy who likes to learn and play with graphics, with a focus on realtime pathtracing. I enjoy chatting/messages! Always looking for new opportunities
Github: https://github.com/Pjbomb2/Tru...
Nicolas Bonneel
Registered:5 Nov 2023 17:58
Follow date:20 Apr 2025 01:37
CNRS research director in computer graphics, part time assistant prof at Polytechnique
Lesley Lai
Registered:10 Nov 2024 08:46
Follow date:15 Apr 2025 02:51
I organize @gpvm.bsky.social
lesleylai.info/
mastodon.gamedev.place/@lesley
Bernhard Werner
Registered:11 Sep 2023 14:28
Follow date:13 Apr 2025 14:20
Doctor of the Things of Nature
Learning Technology Officer
at Munich University of Applied Sciences
Makes YouTube videos:
youtube.com/@sumandproduct
youtube.com/@untitleddevlog
He/him. #IchBinHanna
https://www.bernhard-werner.de
Mykhailo Moroz
Registered:30 Nov 2024 05:20
Follow date:13 Apr 2025 14:20
Love physics simulations and rendering algorithms. Currently work at
ZibraAI as Lead 3D Research Engineer. Discord: misha.m. michaelmoroz.github.io/about/
Zack Eisbach
Registered:12 Jan 2025 00:00
Follow date:28 Mar 2025 00:48
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Devon
Registered:12 Apr 2023 14:47
Follow date:26 Mar 2025 04:24
I've gone to look for myself. If I return before I get back, please ask me to wait
Kartik Agaram
Registered:6 Apr 2023 04:09
Follow date:26 Mar 2025 04:24
Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewhee...
Neal Agarwal
Registered:11 Nov 2024 22:47
Follow date:26 Mar 2025 04:23
making neal.fun
Dan Luu
Registered:6 May 2023 12:51
Follow date:26 Mar 2025 04:22
Active on Mastodon: https://mastodon.social/@danlu... Also trying https://threads.net/@danluu.da...
Graydon Hoare
Registered:29 Aug 2024 06:21
Follow date:20 Mar 2025 00:57
extremely dubious of "everything is public" social network
Max
Registered:22 Feb 2023 06:20
Follow date:2 Mar 2025 02:14
mammal with hobbies
a ton of crates
Registered:27 Apr 2023 20:26
Follow date:28 Feb 2025 14:34
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything asโcounterintuitive as residual plots or contingency tables.
andrew blinn
Registered:10 Apr 2023 04:21
Follow date:12 Feb 2025 04:51
https://andrewblinn.com
abstractJuiceFactory
Nic Barker
Registered:18 Aug 2023 23:00
Follow date:1 Feb 2025 00:46
Open source developer & programming educator.
github.com/nicbarker for my projects.
https://www.youtube.com/@nicba... for programming videos.
ex engineering @canva & game dev @cerebralfix
Ernest Ng
Registered:18 Jan 2025 16:28
Follow date:31 Jan 2025 06:46
PL/Systems PhD student at Cornell
ngernest.github.io
taylor.town
Registered:20 Nov 2023 14:39
Follow date:30 Jan 2025 22:06
๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
Udit Ranasaria
Registered:14 Nov 2024 17:07
Follow date:27 Jan 2025 01:54
Senior AI Engineer@ SumerSports
Past: Research @ Cleveland Browns, SWE @ Microsoft, ECE @ CMU
Rune Skovbo Johansen
Registered:3 Jul 2023 10:36
Follow date:25 Jan 2025 00:25
Indie game developer, procedural generation enthusiast, Dane in Finland. I made Eye of the Temple, now working on The Big Forest.
๐ Turku, Finland
๐ https://runevision.com
https://www.youtube.com/c/rune...
https://mastodon.gamedev.place...
Ben Golus
Registered:20 Oct 2024 00:37
Follow date:25 Jan 2025 00:24
Principle Tech Artist, Graphics Programmer, general Game Dev, racing snail at Tuatara VFX. (he\him)
https://bgolus.medium.com/
https://ko-fi.com/bgolus
Harry Goldstein
Registered:1 May 2023 21:19
Follow date:19 Jan 2025 17:25
(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
nickbarnes.bsky.social
Registered:24 Feb 2024 16:38
Follow date:19 Jan 2025 16:55
nolen
Registered:5 Jul 2023 22:26
Follow date:16 Jan 2025 19:10
the internet can still be fun!
https://onemillioncheckboxes.c... โข http://eieio.games โข https://everyuuid.com โข https://onemillionchessboards....
oliver
Registered:17 Oct 2024 08:08
Follow date:16 Jan 2025 16:21
absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Daniel Schroeder
Registered:10 Jan 2025 21:26
Follow date:12 Jan 2025 22:27
Making pretty pictures with GPUs
https://blog.danielschroeder.m...
Alexis King
Registered:13 Feb 2024 16:34
Follow date:5 Jan 2025 16:43
computers can be understood โข she/her, โข โข Chicago
Erin Catto
Registered:24 Sep 2024 03:38
Follow date:30 Dec 2024 01:36
I created Box2D. I enjoy all kinds of programming, but specialize in physics and animation. I work in Unreal for my day job (like everyone else). C/C++ and whatever Claude spits out for me. https://box2d.org/
Antal Spector-Zabusky
Registered:2 Aug 2023 17:02
Follow date:25 Dec 2024 04:35
Functional programming, type systems, procedural art | PhD on building hs-to-coq from UPenn | he/him
antalsz on Twitter, Mastodon @types.pl, Tumblr, Cohost, CounterSocial, Hive, GitLab, and GitHub, but not using most of the social ones.
PolyWolf
Registered:6 Aug 2024 15:07
Follow date:13 Dec 2024 14:59
๐ณ๏ธโโง๏ธ https://wolf.girl.technology/
pfp by me
banner by @spect-ion.bsky.social
did you see that cool bug?
antirez
Registered:26 Apr 2023 09:40
Follow date:10 Dec 2024 22:42
Reproducible bugs are candies ๐ญ๐ฌ
I like programming too much for not liking automatic programming.
Sebastian Lague
Registered:17 Dec 2023 02:26
Follow date:6 Dec 2024 14:47
Currently debugging...
Katherine Mohr
Registered:20 Nov 2023 16:49
Follow date:5 Dec 2024 16:13
mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Yann Herklotz
Registered:17 Nov 2024 12:49
Follow date:5 Dec 2024 16:13
Postdoc at EPFL working with interactive theorem provers for hardware design.
Laurent Mazare
Registered:23 Nov 2023 07:45
Follow date:28 Nov 2024 17:57
Functional programming enjoyer.
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:28 Nov 2024 17:56
cutler.pl