×
You are not logged in
Bluesky Follows
Edward Kmett
Follows by @kmett.ai
bitonic.bsky.social
Registered:21 Nov 2024 19:48
Follow date:9 Jun 2025 14:40
Dr Huw Campbell
Registered:7 Jan 2024 22:29
Follow date:3 Feb 2025 03:53
Last post:6 Mar 2026
Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
Samidh
Registered:1 Sep 2023 05:00
Follow date:14 Dec 2024 00:42
Last post:4 days ago
Last like given:4 days ago
Last like received:2 days ago
Co-Founder at Zentropi (Trustworthy AI). Formerly Meta Civic Integrity Founder, Google X and Google Civic Innovation Lead, and Groq CPO.
presheaf.bsky.social
Registered:4 Dec 2024 10:39
Follow date:14 Dec 2024 00:42
Kat Woods
Registered:5 Dec 2024 19:52
Follow date:14 Dec 2024 00:42
Leni
Registered:12 Nov 2024 22:44
Follow date:2 Dec 2024 15:51
Last post:10 minutes ago
Last like given:24 seconds ago
Last like received:2 minutes ago
Music obsessive | Tech | AI | Personal agency |Philosophy | Ethics | Coffee wanker |
Matteo Capucci
Registered:15 Nov 2024 14:31
Follow date:2 Dec 2024 15:48
🇮🇹, amateur professional poster and professional amateur mathematician (general abstract nonsensology applied to systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Nadia/Надя/नादिया/娜迪亚/ نادية
Registered:6 Feb 2024 21:02
Follow date:2 Dec 2024 15:48
Last post:20 Feb 2026
Prenzlauer Berg, Berlin Deutschland
en: C1 | es: B1 | de: A2 | eo: A1 | tok: A1
elle|ella|ela|sie|она|इसकी|她|هِيَ
J Rogge
Registered:2 Dec 2024 15:12
Follow date:2 Dec 2024 15:47
I am a nurse who makes art and music sometimes. Mostly I play video games these days cause burnout is a bitch.
Tiago
Registered:10 Nov 2024 12:44
Follow date:28 Nov 2024 02:53
he/him • Computer Scientist @ UCL PPLV
Lambda Days
Registered:25 Nov 2024 17:38
Follow date:28 Nov 2024 02:52
Last post:6 Mar 2026
Dan P
Registered:16 Aug 2024 11:38
Follow date:28 Nov 2024 02:52
Last post:3 days ago
Last like given:9 hours ago
Last like received:3 days ago
Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
yudkowsky.bsky.social
Registered:26 Nov 2024 20:52
Follow date:27 Nov 2024 16:54
karpathy
Registered:2 Mar 2023 22:30
Follow date:27 Nov 2024 16:46
Last like received:1 day ago
AI @ OpenAI, Tesla, Stanford
Simon Thompson
Registered:26 Nov 2024 20:49
Follow date:26 Nov 2024 21:37
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Matt Noonan
Registered:25 Nov 2024 21:45
Follow date:26 Nov 2024 06:45
Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
Felix Dolderer
Registered:2 Nov 2024 22:05
Follow date:25 Nov 2024 20:13
Create the future you want to live in.
trishume.bsky.social
Registered:24 Nov 2024 17:46
Follow date:25 Nov 2024 20:12
Kyle Corbitt
Registered:2 Nov 2024 04:52
Follow date:24 Nov 2024 23:33
Last post:4 days ago
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:24 Nov 2024 18:57
Last post:15 Feb 2026
Last like given:11 hours ago
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Peter Gent
Registered:15 Nov 2024 01:14
Follow date:24 Nov 2024 03:06
Interested in tech, politics, design
λdu.du
!! Invalid Handle !!
Registered:21 Nov 2024 01:06
Follow date:22 Nov 2024 02:48
🇧🇷
logic | PLT | Concurrency
Soares Chen
Registered:13 Nov 2024 11:24
Follow date:22 Nov 2024 02:48
Last post:6 days ago
Last like given:17 hours ago
Last like received:4 days ago
Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
Travis Whitaker (hs/acc)
Registered:21 Nov 2024 15:53
Follow date:22 Nov 2024 02:47
I am weaponizing Haskell and Nix.
Mike Dodds
Registered:21 Nov 2024 21:22
Follow date:22 Nov 2024 02:47
Last post:5 Mar 2026
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Renaissance Grrrl
Registered:17 Nov 2024 01:46
Follow date:20 Nov 2024 22:26
Last post:2 days ago
Last like given:1 day ago
Researcher and educator in linguistics, mathematics, computer sci., cognitive sci., gender/sexuality, philosophy
https://wrengr.org
she/her 🏳️🌈🏳️⚧️🏴♿️🦓🥄☸️🪷
Jason Glover
Registered:12 Nov 2024 21:19
Follow date:20 Nov 2024 22:24
Last post:2 days ago
#AI | #DigitalMarketing | #B2B
Senior Digital Marketing Manager.
Science fiction and video game nerd.
Father to young Padawan.
Dr. Katya Vrtis
Registered:20 Nov 2024 20:06
Follow date:20 Nov 2024 22:23
Last post:2 days ago
Last like given:2 days ago
Queer/crip scholar of freaks and monsters in pop culture and politics, here to talk about history, literary theory, and cats.
They/them or xe/xen/xens pronouns.
David Darais
Registered:9 Nov 2024 17:13
Follow date:20 Nov 2024 18:31
Principal Scientist at Stealth Software.
Karl Eklund
Registered:19 Nov 2024 23:17
Follow date:20 Nov 2024 18:30
Josh Arnold
Registered:5 Aug 2023 19:18
Follow date:20 Nov 2024 18:29
incubating neural ventures + accelerating ambitious companies.
prev @wharton / @beondeck / @patronusai / @patronusai / @strategyand
お前はもう死んでいる with applied ai.
Ilya Sergey
Registered:20 Nov 2024 17:32
Follow date:20 Nov 2024 18:28
Last post:9 Feb 2026
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Joseph Lindley
Registered:8 Oct 2023 22:17
Follow date:20 Nov 2024 11:16
Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything.
Watch a film about it here: https://designresearch.works/p...
Was @joegalen on ‘ex’ platform
Jasper Van der Jeugt
Registered:18 Nov 2024 22:22
Follow date:20 Nov 2024 11:15
I like Haskell
Shane Simms
Registered:15 Oct 2023 22:00
Follow date:20 Nov 2024 11:07
Last post:2 Mar 2026
VFX artist living in Melbourne, learning to write tools in C++ ⌨️
Currently learning about path tracing 🔮
🩵 Deputy Rabbit Appreciator 🩵
Registered:19 Aug 2023 05:45
Follow date:19 Nov 2024 22:20
Last post:3 hours ago
Last like given:3 hours ago
Last like received:2 days ago
Polyglot functional programmer in more ways than one. Montréal resident and novice French understander.
Bunny parent (Liza, Spot, and KitKat)
Any Pronouns.
@storakatten formerly on Twitter.
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:19 Nov 2024 22:18
Last post:29 Dec 2025
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....
Gordon
Registered:24 Jan 2023 00:52
Follow date:19 Nov 2024 04:58
Last post:28 minutes ago
Last like given:34 minutes ago
Last like received:11 hours ago
Everything around me was someone’s lifework.
Rob Stewart
Registered:18 Nov 2024 21:06
Follow date:19 Nov 2024 04:58
Last post:27 Jan 2026
Associate Professor at Heriot-Watt University. Accelerating functional languages and AI in software and hardware.
https://www.macs.hw.ac.uk/~rs4...
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:19 Nov 2024 04:58
Last post:19 Feb 2026
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Ryan Fitzpatrick
Registered:10 Nov 2024 08:12
Follow date:19 Nov 2024 04:57
Last post:26 Feb 2026
🔗 Links https://linktr.ee/ryanfitzpatr...
🌎 Wide Worlds: https://app.wideworlds.ai/worl...
🎶 Spotify: https://open.spotify.com/artis...
Eitan Chatav
Registered:18 Nov 2024 23:25
Follow date:19 Nov 2024 04:57
Soul of a mathematician
Pushon 🎨
Registered:20 Oct 2024 17:01
Follow date:18 Nov 2024 20:11
I'm an experimental digital artist who uses many mediums & tools to craft mind-bending visuals, Beautiful Modern, Blazing Fast Websites & Paintings. #blender
YoavCodes
Registered:21 Sep 2024 00:11
Follow date:18 Nov 2024 20:10
Last post:10 hours ago
Last like given:11 hours ago
Last like received:11 hours ago
Technical founder. Building new stuff at my startup lab https://blackboard.sh | 20+ years in early startups | prev: 7 years at webflow
You might have met me as Jeff, Joab, or Larry.
#startups #ziglang #typescript #bun #electrobun #webflow
Rohit
Registered:10 Apr 2023 08:35
Follow date:18 Nov 2024 20:10
Last post:3 days ago
Last like given:3 days ago
Last like received:1 day ago
I think, I write, sometimes I bleep? skeet? bleat? |
Read essays here https://www.strangeloopcanon.c... |
Read the book here http://amazon.com/dp/B0CJ9F327... |
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:18 Nov 2024 17:06
Last post:8 hours ago
Last like given:8 hours ago
Last like received:2 hours ago
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
Paul Biberstein
Registered:18 Nov 2024 14:53
Follow date:18 Nov 2024 17:06
Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Flora.pm
Registered:18 Nov 2024 11:35
Follow date:18 Nov 2024 17:06
Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes
Sy Brand
Registered:28 Apr 2023 20:25
Follow date:18 Nov 2024 15:50
Last post:5 Mar 2026
Last like given:1 day ago
Last like received:15 hours ago
bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh