×
You are not logged in
Bluesky Follows
Tikhon Jelvis
Follows by @jelv.is
Daniel McLaury
Registered:15 Nov 2024 21:50
Follow date:16 Feb 2026 03:16
depths of wikipedia
Registered:27 Apr 2023 20:15
Follow date:12 Feb 2026 18:03
hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Mat Fournier
Registered:10 May 2023 00:10
Follow date:11 Feb 2026 22:06
Geotech Engineer turned sw dev. http://M.A.Sc. Geological Engineering, Masters Data Science @UBC FP/Rust:
Alexandra Silva
Registered:2 Apr 2024 15:36
Follow date:9 Feb 2026 09:21
Mom, foodie, traveller, computer scientist
Oskar Wickström
Registered:5 Jul 2023 04:15
Follow date:9 Feb 2026 09:21
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
Jenna DiVincenzo
Registered:11 Nov 2024 19:14
Follow date:7 Jan 2026 15:50
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
skyking
Registered:7 Jun 2023 12:41
Follow date:21 Dec 2025 03:06
sounding rockets & bad computer programming
formerly Groq, Soostone, NASA Wallops, among others
Max
Registered:22 Jun 2023 04:30
Follow date:18 Dec 2025 20:39
Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Mark Gritter
Registered:18 Nov 2023 01:19
Follow date:15 Dec 2025 01:29
Math and startup geek. Software Engineer at Thirdlaw. Ex-Postman, Ex-HashiCorp, ex-Tintri. he/him
Cat Hicks
Registered:19 Jun 2023 04:07
Follow date:25 Nov 2025 20:58
Psychologist for the humans of tech. Author of The Psychology of Software Teams (2026). Founder: Catharsis Consulting (strategy * science). she/her 🏳️🌈 https://www.catharsisinsight.c...
Host at: https://www.changetechnically....
terrorjack.bsky.social
Registered:28 Oct 2025 10:48
Follow date:29 Oct 2025 19:39
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:21 Oct 2025 03:24
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Charlie Jane "Lessons in Magic and Disaster" Anders 🏳️⚧
Registered:2 May 2023 18:07
Follow date:24 Sep 2025 18:30
Author of Lessons in Magic and Disaster about a woman who teaches her mother how to do magic — and uncovers a queer scandal hidden in a 300 year old book. Writing Star Trek: Zero Point
SFF book critic @WashingtonPost.com. Co-host @ouropinions.bsky.social.
Salar Rahmanian
Registered:24 Apr 2023 01:50
Follow date:27 Aug 2025 23:47
Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems.
My blog: https://www.softinio.com
José A. Alonso
Registered:15 Oct 2023 09:29
Follow date:27 Aug 2025 17:42
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
htmx.org / CEO of Java Pants
Registered:6 Dec 2024 19:15
Follow date:8 Jul 2025 06:06
i have no idea what i'm doing
joomy
Registered:1 Jul 2023 23:12
Follow date:19 Jun 2025 23:11
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Ink & Switch
Registered:5 Nov 2024 18:38
Follow date:11 Jun 2025 08:26
An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
Mondo Mascots
Registered:7 May 2023 04:44
Follow date:7 Jun 2025 23:51
My hobby is taking pictures of fun and weird Japanese mascots (and other costumed characters).
Nick Harkaway
Registered:1 May 2023 14:33
Follow date:24 May 2025 12:48
Author: Karla’s Choice, Gnomon, Titanium Noir etc. Also husband, dad and occasional clothing-repairer, dog-walker, improviser of temporary solutions. Decreasingly rigorous on social media. Greta not Peter. Cuan cuan.
www.linktr.ee/harkaway
He/him
Dan P
Registered:16 Aug 2024 11:38
Follow date:28 Apr 2025 20:16
Wannabe figure skater ⛸️
I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things
andreymokhov.bsky.social
Registered:28 Nov 2024 20:59
Follow date:24 Apr 2025 05:21
Qian Li
Registered:1 Nov 2024 16:30
Follow date:14 Apr 2025 12:51
Co-founder @dbos.dev • Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on 🐘 Database + Systems + AI
Amateur bird watcher 🦉
Personal site: qianli.dev
She/her.
Thomas Marsh
Registered:25 Nov 2024 14:36
Follow date:13 Apr 2025 17:57
FP, formal methods, urban planning
vivsha.ws
Registered:23 Dec 2023 01:27
Follow date:12 Apr 2025 23:56
silicon whisperer, machine enlightener
https://vivsha.ws / https://keybase.io/vivshaw
Hazel Weakly
Registered:5 May 2023 14:12
Follow date:12 Apr 2025 16:48
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Pavel
Registered:23 Apr 2023 15:29
Follow date:10 Apr 2025 20:04
Raised gifted; non-practicing.
If your reply doesn't have alt text, I won't see it.
🌐 productpicnic.beehiiv.com 💼 UX Design 🟦 Sick of rectangles 🧑 he/him
John Allspaw
Registered:3 Aug 2023 01:47
Follow date:8 Apr 2025 15:07
Cofounder, @AdaptiveCLabs, “the NTSB of Tech” bringing Resilience Engineering to industry. he/him. Won’t speak on all-male panels, and #blacklivesmatter.
Eugene Vinitsky 🍒
Registered:22 May 2023 20:47
Follow date:1 Apr 2025 01:57
Anti-cynic. Towards a weirder future. Reinforcement Learning, Autonomous Vehicles, transportation systems, the works. Asst. Prof at NYU
https://emerge-lab.github.io
https://www.admonymous.co/euge...
Barry
Registered:1 Jul 2023 20:53
Follow date:27 Mar 2025 01:42
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Fencing enjoyer.
Andrew Boardman
Registered:20 Mar 2025 16:24
Follow date:20 Mar 2025 17:26
I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon.
Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:19 Mar 2025 15:48
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
Lean Focused Research Organization
Registered:14 Feb 2025 23:08
Follow date:27 Feb 2025 14:36
Supporting the Formal Mathematics revolution
Flora.pm
Registered:18 Nov 2024 11:35
Follow date:18 Feb 2025 04:22
Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes
vijaychidambaram.bsky.social
Registered:28 Jan 2025 03:57
Follow date:30 Jan 2025 20:16
Monoid Mary
Registered:24 Nov 2024 19:56
Follow date:24 Jan 2025 00:44
just a solarpunk hillbilly living in the gasoline crack of history
i get my glory in the desert rain
Rebecca
Registered:20 Nov 2024 17:29
Follow date:23 Jan 2025 23:11
Reader of poems, Ada Developers Academy alumna, amateur potter. Eternal learner @unison-lang.org
Opinions are my own. Pronouns = she/her.
Ian Duncan
Registered:9 Sep 2023 17:04
Follow date:23 Jan 2025 23:11
I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://www.fascistdb.com/
Engineering at Mercury, formerly Forge, CircleCI, others
Shaenon K. Garrity
Registered:3 Jul 2023 05:11
Follow date:7 Jan 2025 21:15
Cartoonist and skiffy writer. 2022 Inkpot winner. Narbonic, Skin Horse, Willowweep Manor. Repped by Brent Taylor.
https://www.patreon.com/c/Shae...
Edwin Brady
Registered:17 Nov 2024 12:05
Follow date:7 Jan 2025 15:17
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....
Poorly Drawn Lines
Registered:12 Jun 2023 23:04
Follow date:5 Jan 2025 17:54
Comics by Reza Farazmand (official account!)
Alice ✨
Registered:19 May 2023 21:58
Follow date:2 Jan 2025 03:43
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
rntz
Registered:1 Jul 2023 19:28
Follow date:2 Jan 2025 00:50
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Matt Wraith
Registered:3 May 2023 16:55
Follow date:24 Dec 2024 07:45
Paul Chiusano
Registered:21 Nov 2024 14:55
Follow date:21 Dec 2024 04:17
Working on @unison-lang.org
Jon Bois
Registered:28 Apr 2023 03:03
Follow date:16 Dec 2024 15:54
Matt Teichman
Registered:28 Nov 2024 02:23
Follow date:10 Dec 2024 07:35
I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.ap...
Alex Hidalgo
Registered:10 Nov 2024 18:43
Follow date:8 Dec 2024 04:35
I'm back! | Field CTO at Nobl9 | Author of The SLO Book. | "SRE's Raconteur" | I like dogs more than people.
Anthony Cowley
Registered:6 Jul 2023 00:35
Follow date:6 Dec 2024 01:00
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.