×
You are not logged in
Bluesky Follows
Racket
Follows by @racket-lang.org
countvajhula.bsky.social
Registered:12 Feb 2026 20:38
Follow date:14 Feb 2026 19:18
jbz
Registered:6 May 2024 23:31
Follow date:31 Jan 2026 22:24
🧙♂️ Software engineer turned clanka babysitter.
👨💻 Rust // Elixir // Python
👉🏻 https://jbz.ee
John Clements
Registered:4 Jan 2026 20:39
Follow date:4 Jan 2026 23:30
scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
Rust Language
Registered:28 Jun 2023 20:17
Follow date:5 Apr 2025 23:55
A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@...
Hila Peleg
Registered:8 Jul 2023 08:47
Follow date:18 Mar 2025 09:20
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Mark Guzdial
Registered:14 Nov 2024 17:37
Follow date:16 Mar 2025 00:45
Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computin... Computing Ed Researcher, blogger, dad. https://computinged.wordpress....
laurentorseau.bsky.social
Registered:28 Jan 2025 14:15
Follow date:6 Mar 2025 12:45
CompSciOxford
Registered:20 Aug 2024 16:45
Follow date:3 Feb 2025 13:44
Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science #CompSciOxford
gregorkiczales.bsky.social
Registered:15 Nov 2024 19:01
Follow date:22 Dec 2024 00:35
Kiran
Registered:11 Sep 2023 13:04
Follow date:8 Dec 2024 20:26
Programming Languages Researcher
https://kirancodes.me
Cody
Registered:28 Aug 2023 21:37
Follow date:8 Dec 2024 20:24
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/...
Divyanshu Ranjan
Registered:15 Nov 2024 08:10
Follow date:8 Dec 2024 20:24
Srikumar
Registered:18 Sep 2024 02:14
Follow date:8 Dec 2024 20:23
Math, music (@patantara.com), human and computer languages, small data and natural intelligence, visiting prof of computer science at Krea University. Blog - https://sriku.org .
Does the dog have Turing nature?
Mark J. Nelson
Registered:27 Jul 2023 02:26
Follow date:8 Dec 2024 20:22
Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
mflatt.bsky.social
Registered:7 Dec 2024 20:28
Follow date:8 Dec 2024 10:11
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:4 Dec 2024 00:19
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Jacqueline
Registered:9 May 2023 06:00
Follow date:4 Dec 2024 00:16
rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
ICFP Conference
Registered:26 Nov 2024 00:07
Follow date:26 Nov 2024 09:04
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Thomas Dickerson
Registered:8 May 2023 13:43
Follow date:16 Nov 2024 14:39
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
Bogdan Popa
Registered:31 Mar 2024 06:46
Follow date:16 Nov 2024 14:31
defn.io
David Van Horn
Registered:25 May 2023 15:55
Follow date:16 Nov 2024 10:49
Prof at UMD CS.
Shriram Krishnamurthi
Registered:9 May 2023 13:25
Follow date:16 Nov 2024 10:49
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.
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:16 Nov 2024 10:48
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Stephen
Registered:30 Jul 2023 20:23
Follow date:16 Nov 2024 10:48
Cat feeder.
London(UK) / Garramilla (Darwin) / Naarm (Melbourne)