×
You are not logged in
Bluesky Follows
Brett Evans
Follows by @brettevans.me
A Pat Day
Registered:30 Jan 2026 10:32
Follow date:20 Feb 2026 22:29
Finance, engineering, math
I know about..
➝ Nix, Haskell, lisp, rust, etc
➝ Hedge funds, startups, corporate strategy, etc
➝ HoTT, category theory, etc
Tori
Registered:11 Feb 2026 18:27
Follow date:12 Feb 2026 02:46
Logic, 2-categories, and graded monads, but like mostly 2-categories. I made an account to look employable. Offer me a postdoc position
Bruno Gavranović
Registered:11 Aug 2023 23:13
Follow date:3 Feb 2026 18:42
I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/Ten...
www.brunogavranovic.com
Alexandra Vitenberg 🇲🇽
Registered:10 Nov 2025 10:42
Follow date:3 Feb 2026 18:41
left the tech machine 8 months ago · still have opinions about how it works and who it's working for 💀 ex-PM, now freelancing from CDMX · writing about layoffs, AI hype, and systems designed to exhaust you ☕ she/her
James Ward
Registered:29 Apr 2023 13:08
Follow date:22 Jan 2026 19:31
Just another nerd with a podcast: happypathprogramming.com
And a book:
effectorientedprogramming.com
Andrew Harmel-Law
Registered:1 Aug 2023 16:57
Follow date:22 Jan 2026 19:31
They/them. Technical Principal at Thoughtworks UK. All opinions are my own (at least I sourced them myself) and don't reflect those of my employer.
Bruce Eckel
Registered:4 Aug 2023 18:30
Follow date:22 Jan 2026 19:31
Programmer, Author, Consultant, Speaker
Emily Bache
Registered:6 Oct 2023 06:09
Follow date:17 Jan 2026 04:19
Software Developer, Technical Coach, YouTuber. She/her.
emilybache.com
Oisín Kidney
Registered:16 Nov 2024 13:58
Follow date:15 Jan 2026 19:05
PhD student in functional programming.
doisinkidney.com
Andreas Markus Hahn
Registered:29 Oct 2023 14:29
Follow date:12 Jan 2026 21:29
Senior Data Analyst | Germany | https://a-hahn.com
Zanzi Tangle
Registered:5 Jul 2023 00:04
Follow date:6 Jan 2026 18:23
I research programming languages and turn Category Theory into code
Active Group GmbH
Registered:16 Oct 2023 10:02
Follow date:18 Dec 2025 05:32
happiness through functional programming
Website: https://active-group.de
Fediverse: @activegroupgmbh@discuss.systems
Unsere Konferenz: @bobkonf.bsky.social
arXiv cs.LO Logic in Computer Science
Registered:16 Feb 2025 06:58
Follow date:13 Nov 2025 05:56
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXi... https://arxiv.org/list/cs.LO/n...
List https://bsky.app/profile/vele....
ModList https://bsky.app/profile/vele....
TinyTapeout
Registered:18 Nov 2024 16:06
Follow date:24 Oct 2025 00:53
Tiny Tapeout makes it easier and cheaper than ever to get your designs manufactured on a real chip!
https://tinytapeout.com
wafer.space
Registered:3 May 2025 21:45
Follow date:24 Oct 2025 00:53
https://wafer.space - Budget silicon manufacturing, create integrated circuits without breaking the bank!
$7k USD for 1,000 die of ~20mm2 of GF180MCU (open source) silicon.
Robb Owen
Registered:1 May 2023 07:26
Follow date:16 Oct 2025 00:13
Independent Designer and full stack web developer from South Wales. Serial language botherer. Made Synthwave '84. 日本語ＯＫ
https://robbowen.digital
※写真はイメージです
Andrea Michalek
Registered:18 Nov 2024 11:59
Follow date:8 Oct 2025 18:46
🎯 I am a: serial entrepreneur, mom, leadership coach, indie builder and diy-er.
🔥 passions: product management, women in tech, startups, AI, leadership
🚀 my path: developer → CTO → startup CEO → exit → VP PM → brain injury → consultant/coach
Aimee Gordon
Registered:25 Nov 2024 03:18
Follow date:8 Oct 2025 18:46
don't follow me
building high-converting ✨experiences✨ across brand, web & product.
#cx #uxsky #branding #startups #buildinpublic
Sarah Rainsberger
Registered:24 Apr 2023 12:08
Follow date:8 Oct 2025 18:46
Open source documentation & community wrangling
🚀🧑🚀Core maintainer @Astro.build
📷🐦 Bird photographer
🎼 Choir Alto
⚾ Toronto #BlueJays
💕 @jbrains.ca
🇨🇦 Summerside PEI/Epekwitk
Debbie O’Brien
Registered:25 Apr 2023 13:17
Follow date:8 Oct 2025 18:46
Senior Staff Developer Relations Engineer, Applied AI @Block
Nuxt ambassador, Google Dev Expert, Former GitHub ⭐️ and MVP
Check my site for blog posts/videos/podcasts debbie.codes
Cecelia Martinez McCrea
Registered:23 Apr 2023 14:34
Follow date:8 Oct 2025 18:46
She/her. 🏳️🌈👩🏽💻
I like to create things and connect people! Lead Developer Advocate interested in all things Web/Mobile/DevOps/Testing.
Vue Fangirl 💚 Atlanta JavaScript organizer 🍑 Dog picture aficionado 🐶 Definitely a human 🤖
Erica Stanley
Registered:25 Apr 2023 03:35
Follow date:8 Oct 2025 18:46
ex-Google, Mozilla, Oracle, Engineering Leader | Keynote Speaker | Community/ Ecosystem Builder @refactr.tech & Women Who Code #Atlanta | Investor/ Advisor | Pet Auntie | Low-carb Foodie | Occasional Artist | #HBCUAlum #CAU ❤️🖤🩶
🔗 linktr.ee/ericastanley
Ana Rodrigues
Registered:24 Apr 2023 13:35
Follow date:8 Oct 2025 18:46
8 hours of sleep. 8 hours working as an unprofessional front-end dev @hactar.is
On my other 8 hours I poke my blog, take photos of my cat & try my best.
📧 hello@anarodrigu.es
Keen on IndieWeb, CSS, sustainability, plants, crafts she/her
ohhelloana.blog
Kathleen McMahon
Registered:23 Apr 2023 18:08
Follow date:8 Oct 2025 18:46
Engineer • Designer • Speaker
a11y • design tokens • JS things
cat herder • costume wrangler
she/her
https://kathleenmcmahon.dev
Sylwia Vargas
Registered:23 Apr 2023 22:17
Follow date:8 Oct 2025 18:46
I believe in kindness and empathy 🥰
DevRel strategist, React developer
Stef Walter
Registered:24 Apr 2023 21:27
Follow date:8 Oct 2025 18:46
UX Researcher & Designer, Empathy Peddler, Figma Prisoner, Button Mover. Don't take me too seriously.
She/Her 🌈
https://stephaniewalter.design... http://neurospicy.agency/
Eve Porcello
Registered:24 Apr 2023 13:55
Follow date:8 Oct 2025 18:46
Developer Education at Vercel
Charlie Gerard
Registered:24 Apr 2023 03:55
Follow date:8 Oct 2025 18:46
Senior research engineer 🧪 in cybersecurity, author about ML in JS, and creative technologist. Making weird things in JavaScript (mostly)
https://charliegerard.dev
Amberley Romo
Registered:25 Apr 2023 22:57
Follow date:8 Oct 2025 18:46
👩🏻💻 Eng at Cribl. Prev: Netlify, Gatsby.
🌱 Serial dabbler. 🧶 Made the yarn emoji happen. 🏳️🌈 Y’all means all. 📍ATX. She/her.
🌐 amberley.dev | a11y.coffee | amberley.omg.lol
🌵 Views and opinions my own
Sasha Czarkowski (Rosenbaum) 🇺🇦
Registered:22 Apr 2023 17:39
Follow date:8 Oct 2025 18:46
Startup founder. Speaker. Author. VP of Technology at
Ergonautic. Ex-Microsoft, GitHub, Red Hat. Organizer @devopsdaysChi, @DeliveryConf
Lydia Hallie
Registered:23 Apr 2023 16:29
Follow date:8 Oct 2025 18:46
Stephanie Eckles
Registered:1 May 2023 14:25
Follow date:8 Oct 2025 18:46
(she/her) ✨ a11y • CSS • HTML • 11ty • Design Systems
lauren
Registered:23 Apr 2023 23:29
Follow date:8 Oct 2025 18:46
▼・ᴥ・▼ working on React Compiler. formerly known as [@]potetotes on the cursed place
Shaundai Person
Registered:21 Apr 2023 12:06
Follow date:8 Oct 2025 18:46
Sr Software Engineer @Netflix • Building TypeScript for JavaScript Devs Course (http://tsforjs.com) • linktr.ee/shaundai
Laurie
Registered:23 Apr 2023 17:26
Follow date:8 Oct 2025 18:46
Developing software one mistake at a time. LEGO obsessed.
Jessica Sachs
Registered:23 Apr 2023 18:04
Follow date:8 Oct 2025 18:46
FOSS Necromancer at @herodevs. @faker_js, @cypress_io alum, @vuejs ecosystem.
Veni Kunche
Registered:21 Apr 2023 04:35
Follow date:8 Oct 2025 18:46
🌈 Founder of @DiversifyTech.com
👒 I wear many hats as a dev + founder
🐥 Mom to two girls
🧠 Neurodivergent
🚫 Gen AI deinfluencer
✨ she/her
🔗 https://buff.ly/41WjmcB
Shruti Kapoor
Registered:24 Apr 2023 20:51
Follow date:8 Oct 2025 18:46
On a mission to make YOU the best developer you are meant to be
Content Creator, Speaker ✨Front End Engineer✨
Youtube: https://linktw.in/KDGOei
Newsletter: https://shrutikapoor.substack....
Discord: http://bit.ly/shruti-discord
Simon
Registered:9 Jun 2023 12:16
Follow date:8 Oct 2025 18:30
Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collabo...
Dance more!
Richard Schneeman
Registered:14 Mar 2025 00:27
Follow date:2 Oct 2025 18:11
- Possibility space explorer 🚀
- Open source teacher and author https://howtoopensource.dev.
- Ruby 3.2+ core committer
- Creator of https://www.CodeTriage.com.
- (he/him)
Y’all means all
Penpot
Registered:24 Nov 2023 10:41
Follow date:25 Sep 2025 21:10
Penpot is the first free open-source design tool for Design and Code collaboration.
No handoff drama. Open standards (CSS & SVG). Design as code.
https://penpot.app
Laura Kalbag
Registered:3 Dec 2024 11:26
Follow date:25 Sep 2025 21:10
½ of Small Technology Foundation. Designs, talks, and writes about web, rights-respecting tech, inclusivity, privacy, design and dev. I wrote a book: Accessibility For Everyone: https://accessibilityforeveryo... she/her
Scott Gray
Registered:15 Nov 2024 21:25
Follow date:17 Sep 2025 18:38
GPU Geek at @OpenAI. Background Comp/Systems/Cognitive Neuroscience. Strong interest in exploring the incorporation of more Neuro insights into AI/ML. He/Him.
Elizabeth Spiers
Registered:2 May 2023 18:27
Follow date:17 Sep 2025 02:34
NYT opinion writer, Slate Money co-host, Dem messaging consultant, NYU prof, former EIC The New York Observer, Dealbreaker founder and Gawker founding editor. Brooklyn via Bama. Rednexican. Striver with no chill.
https://linktr.ee/elizabethspi...
espre55o.bsky.social
Registered:22 Nov 2024 17:08
Follow date:2 Sep 2025 04:41
Old Canadian dude. Software consultant trying to update my machine learning skills, and have been focused on upping my math via MathAcademy for most of the last year.
Anil Madhavapeddy
Registered:17 Nov 2024 10:49
Follow date:24 Aug 2025 17:27
Professor of Planetary Computing, University of Cambridge
[bridged from https://amok.recoil.org/@avsm on the fediverse by https://fed.brid.gy/ ]
Alexis Rose RN
Registered:19 Nov 2024 23:56
Follow date:14 Aug 2025 12:46
healthcare, politics, gay as f*ck 🏳️🌈🩷
OddBird
Registered:24 Oct 2024 22:42
Follow date:29 Jul 2025 21:57
Web designers & developers - working on client web applications, open source tools, the CSS specifications, and front-end training:
- OddBird.dev
- css.OddBird.net
- youtube.com/@WingingItOddBird
Culdesac
Registered:9 Jul 2023 20:06
Follow date:28 Jul 2025 02:13
🏠Walkable neighborhoods that embrace belonging, transportation freedom, & thriving local businesses
📍Tempe, AZ // Atlanta, GA
pimoroni
Registered:19 Oct 2023 09:49
Follow date:27 Jul 2025 18:13
Purveyors of fine Maker goods worldwide and creators of fun, useful, and educational electronics for all skill levels. Come play with us! 🏴☠️