×
You are not logged in
Bluesky Follows
Liam O'Connor
Follows by @liamoc.net
Technology Connections
Registered:18 Nov 2023 22:50
Follow date:31 Jan 2026 00:53
I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now.
he/him
https://www.youtube.com/techno...
Oliver Brewer-Lennon
Registered:10 Oct 2023 14:22
Follow date:22 Jun 2025 15:27
Zixian Cai
Registered:4 Jun 2025 08:25
Follow date:4 Jun 2025 11:25
PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Kagi HQ
Registered:3 Sep 2024 02:13
Follow date:3 Jun 2025 10:36
Humanizing the web with a user-centric search engine and browser - no ads, no trackers, just you and the product you love: https://kagi.com/
Ron Pressler
Registered:18 Oct 2024 08:57
Follow date:11 Apr 2025 04:42
Playdate
Registered:26 Sep 2023 00:09
Follow date:3 Apr 2025 08:15
A brand new handheld video game system from Panic.
➡️ Available at https://play.date
💬 Need help? Go to https://help.play.date
Panic
Registered:7 Feb 2024 23:45
Follow date:3 Apr 2025 08:15
panic.com • Maker of apps (Nova, Prompt, Transmit) • Publisher of Firewatch, Untitled Goose Game, Nour: Play With Your Food, Thank Goodness You're Here, Arco, Despelote, Time Flies • Oh, and also @play.date
Vivian Jenna Wilson
Registered:17 Oct 2024 16:49
Follow date:30 Mar 2025 14:17
She/Her 🍉
Forever an enigma
Jen 🌻
Registered:7 Aug 2023 01:59
Follow date:14 Feb 2025 16:34
25 she/her
Aspiring pianist
Has brainworms
Error at line 4: Type Girl expected, found type Robot instead
Alexandria Ocasio-Cortez
Registered:27 Apr 2023 19:39
Follow date:31 Jan 2025 00:56
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
elisabeth lemma ☔
Registered:18 Oct 2023 18:33
Follow date:11 Jan 2025 02:57
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
Ian Stark
Registered:15 Nov 2024 19:09
Follow date:7 Jan 2025 14:34
Mio
Registered:28 Oct 2024 08:02
Follow date:21 Dec 2024 14:22
🇨🇦 Joey Eremondi
Registered:20 Dec 2024 06:25
Follow date:21 Dec 2024 14:22
PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
The Origenist
Registered:12 Nov 2024 03:19
Follow date:18 Dec 2024 18:33
*Philosophy MA
*Christian-Platonist
xenaproject.bsky.social
Registered:11 Dec 2024 17:17
Follow date:13 Dec 2024 06:34
Dr. Claire Le Goues
Registered:4 Jul 2023 16:59
Follow date:11 Dec 2024 04:29
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Laurence Tratt
Registered:23 Sep 2023 06:57
Follow date:11 Dec 2024 04:28
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
hajin 하진
Registered:10 Nov 2024 20:46
Follow date:10 Dec 2024 05:28
fuck fascism
julesjacobs.bsky.social
Registered:24 Nov 2024 04:02
Follow date:4 Dec 2024 05:57
Eunsuk Kang
Registered:2 Dec 2024 23:15
Follow date:3 Dec 2024 18:33
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Alexa VanHatttum
Registered:20 Jun 2023 05:04
Follow date:1 Dec 2024 22:34
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Sam Lindley
Registered:1 Dec 2024 20:16
Follow date:1 Dec 2024 22:33
Axman6
Registered:19 Apr 2024 00:29
Follow date:1 Dec 2024 12:04
Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler.
Also find me on 🦣 @axman6@infosec.exchange
April aka cyberglot
Registered:31 Jul 2023 13:42
Follow date:1 Dec 2024 12:04
PL nerd, digital artist. Making programs typecheck in the UK.
Brendan Zab
Registered:11 Aug 2023 11:34
Follow date:1 Dec 2024 10:52
Thinking about programming languages and imaginary landscapes. he/him
- https://types.pl/@brendan (preferred)
- https://github.com/brendanzab
Tony Sloane
Registered:1 Dec 2024 06:45
Follow date:1 Dec 2024 10:51
Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inky...
Matteo Capucci
Registered:15 Nov 2024 14:31
Follow date:1 Dec 2024 10:51
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
augustsx.bsky.social
Registered:28 Nov 2024 16:02
Follow date:29 Nov 2024 23:05
Sjoerd Visscher
Registered:4 Sep 2023 11:28
Follow date:26 Nov 2024 11:22
Frank Emrich
Registered:25 Nov 2024 15:23
Follow date:26 Nov 2024 03:54
doing PL & compiler work in Edinburgh
Dr. Benjamin Chetioui
Registered:21 Aug 2023 21:35
Follow date:24 Nov 2024 09:45
@__SIben__ on Twitter.
Working on ML compilers for GPU @Google 🇨🇭
🇫🇷 PhD in PL from UiB 🇧🇻
(Ex?) Go player, CTFer w/ The Flat Network Society
SIGPLAN
Registered:23 Nov 2024 19:27
Follow date:23 Nov 2024 21:35
The ACM Special Interest Group on Programming Languages.
Jasper Van der Jeugt
Registered:18 Nov 2024 22:22
Follow date:22 Nov 2024 16:29
I like Haskell
Alexis King
Registered:13 Feb 2024 16:34
Follow date:22 Nov 2024 16:28
computers can be understood • she/her, ⚢ • Chicago
Susan Potter
Registered:21 Jun 2023 18:43
Follow date:22 Nov 2024 16:28
Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
gelisam
Registered:4 Nov 2024 00:22
Follow date:22 Nov 2024 16:28
professional Haskeller
shaun
Registered:3 Jul 2023 16:46
Follow date:22 Nov 2024 13:44
Alcides Fonseca
Registered:18 Nov 2024 07:59
Follow date:22 Nov 2024 13:44
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
a ton of crates
Registered:27 Apr 2023 20:26
Follow date:22 Nov 2024 05:50
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.
Daniel Litt
Registered:27 Apr 2023 15:19
Follow date:21 Nov 2024 12:21
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:21 Nov 2024 12:19
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:21 Nov 2024 12:19
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Andre Videla
Registered:25 Apr 2023 13:55
Follow date:21 Nov 2024 12:10
I like trains
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:20 Nov 2024 22:11
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:19 Nov 2024 15:32
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk...
https://www.lambda-miners.org....
Dr Eugenia Cheng -- no advice please --
Registered:18 Nov 2024 04:25
Follow date:19 Nov 2024 05:21
Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc. "Unequal" out 2025!
Rob Stewart
Registered:18 Nov 2024 21:06
Follow date:19 Nov 2024 00:02
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs4...