×
You are not logged in
Bluesky Follows
Omar
Follows by @omarjatoi.com
Tiptap
Registered:12 Nov 2024 11:37
Follow date:17 Oct 2025 01:50
Atuin
Registered:21 Oct 2024 18:32
Follow date:16 Oct 2025 13:03
Making the shell magical ✨🐢
https://atuin.sh
Ian Henry
Registered:10 Nov 2024 06:37
Follow date:10 Oct 2025 12:31
i work at the intersection of set theory and figurative language
http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
daniel 🫠
Registered:17 Nov 2022 01:07
Follow date:23 Sep 2025 23:34
dreaming of protocol level sovereignty
head of protocol @ bsky 🌅
Kenton Varda
Registered:5 Nov 2024 21:24
Follow date:22 Sep 2025 20:19
Tech lead for workers.cloudflare.com
Also made: capnproto.org, lanparty.house, sandstorm.io
@KentonVarda on Twitter.
Tangled
Registered:10 Feb 2025 12:31
Follow date:19 Sep 2025 23:40
https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Julia Language
Registered:25 Nov 2024 14:23
Follow date:5 Sep 2025 01:17
Julia is a high-level, dynamic programming language built for technical computing.
Official Bluesky account of the Julia Language Project
#JuliaLang
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:16 Aug 2025 00:06
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
austin 🇵🇸
Registered:6 Oct 2023 18:37
Follow date:12 Aug 2025 11:38
we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
https://github.com/thoughtpoli... / overengineering @ersc.io / #jj-vcs maintainer
Benjamin Brittain
Registered:8 Dec 2024 19:00
Follow date:12 Aug 2025 11:31
Building better systems. founder @ ersc.io.
You might need to put up with an occasional NYC tweet.
david barsky
Registered:19 Apr 2023 20:15
Follow date:12 Aug 2025 11:19
i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Open Technology Fund
Registered:9 Dec 2024 21:26
Follow date:8 Aug 2025 17:36
We advance internet freedom by supporting research, development, & implementation projects that fight censorship, increase privacy, and improve security online.
opentech.fund
Germ Network
Registered:5 Dec 2024 21:27
Follow date:8 Aug 2025 17:35
Start the conversation, faster.
End-to-end encrypted DMs right from your AT Protocol handle, in public beta now. Drop in.
Learn more at germnetwork.com/blog
Servo
Registered:21 Oct 2024 14:59
Follow date:1 Aug 2025 23:15
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
https://servo.org
https://github.com/servo/servo
Automerge
Registered:23 Jul 2025 18:47
Follow date:25 Jul 2025 02:52
Automerge is a library of data structures for building collaborative applications
📚 https://automerge.org/
💬 https://discord.gg/vvnytpgSnr
📆 https://lu.ma/automerge
Sam Rose
Registered:4 Jan 2024 18:24
Follow date:19 Jul 2025 00:24
That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com. Want to pair on something ngrok related? Let's do it! https://cal.com/samwho/workhou...
He/him.
Alice ✨
Registered:19 May 2023 21:58
Follow date:15 Jul 2025 23:13
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Louis Pilfold
Registered:25 Apr 2023 13:47
Follow date:15 Jul 2025 23:13
"the maintainer is a legitimate communist. i will not be supporting this language"
- some yt guy, 2024
I made @gleam.run and I do gymnastics (badly)
they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
Luc Tielen
Registered:26 Apr 2023 14:27
Follow date:15 Jul 2025 23:12
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
ETH Zurich
Registered:5 Oct 2023 11:38
Follow date:12 Jul 2025 21:53
Where the future begins. 🚀🔬 One of the world’s leading universities for technology & natural sciences. Posts in both English and German.
www.ethz.ch
PGlite
Registered:20 Nov 2024 15:34
Follow date:9 Jul 2025 00:26
Lightweight WASM Postgres by @electric-sql.com
https://pglite.dev
ElectricSQL
Registered:20 Nov 2024 15:17
Follow date:9 Jul 2025 00:26
Building AI apps? You need sync.
https://electric-sql.com - see also @pglite.dev
namespacelabs.com
Registered:6 Dec 2024 07:58
Follow date:26 Jun 2025 02:03
Speed up your development and testing workflows using your existing tools. (Much) faster GitHub actions, Docker builds, and more. At an unbeatable price.
🔗 namespace.so
Hugo Santos
Registered:25 Apr 2023 10:40
Follow date:26 Jun 2025 02:03
@namespacelabs (namespace.so) now building very fast build/test compute so you don’t have to; previously infrastructure@google (i’m @20thr on twitter)
UCAN
Registered:13 Jun 2025 22:38
Follow date:14 Jun 2025 00:34
User Controlled Authorization Networks
A secure, local-first, user-originated auth system
UCAN works offline, online, fully P2P, federated, or with central servers
🏗️ https://github.com/ucan-wg
🗣️ https://discord.gg/zPF6vsZx5T
📆 https://lu.ma/ucan-wg
David Cramer
!! Invalid Handle !!
Registered:27 Mar 2023 00:57
Follow date:10 Jun 2025 02:01
Chad Whitacre
Registered:6 Feb 2024 16:39
Follow date:10 Jun 2025 02:01
Head of Open Source, @sentry.io ❧ On a quest to unlock the gift of Open Source, follow along and join in at openpath.quest. 💃
Codecov
Registered:28 Jun 2023 16:19
Follow date:10 Jun 2025 02:00
Codecov is the all-in-one code coverage reporting solution for any test suite — giving developers actionable insights to deploy reliable code with confidence.
https://codecov.io
Open Source Pledge ⇌
Registered:7 Nov 2024 07:38
Follow date:10 Jun 2025 02:00
Open Source Pledge is a group of companies with a shared commitment to paying the maintainers of the Open Source software we all consume.
https://opensourcepledge.com
Boris Cherny
Registered:1 Jun 2025 22:46
Follow date:6 Jun 2025 17:56
DORA
Registered:22 Oct 2024 13:13
Follow date:5 Jun 2025 01:42
Get better at getting better.
https://dora.dev
incident.io
Registered:2 Nov 2024 04:50
Follow date:3 Jun 2025 22:52
On-call, incident response and Status Pages all under one roof. So good, you'll break things on purpose 🔥
https://go.incident.io/learn-m...
Render
Registered:14 Nov 2024 19:55
Follow date:2 Jun 2025 12:29
The modern cloud for application engineering teams.
Typst
Registered:8 Nov 2024 09:02
Follow date:29 May 2025 12:58
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
A L O N Z O
Registered:8 Nov 2024 15:01
Follow date:29 May 2025 12:57
she sliced like a knife through everything
Tweag by Modus Create
Registered:20 Feb 2025 17:09
Follow date:27 May 2025 16:28
Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
pvh
Registered:26 Sep 2023 02:02
Follow date:23 May 2025 14:49
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
Quanta Magazine
Registered:3 Aug 2023 14:28
Follow date:10 May 2025 18:48
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Imbue
Registered:10 Jan 2025 20:56
Follow date:2 May 2025 16:59
Making a better way to create and edit software, with AI agents that work with us to translate our ideas into code. Join us: http://imbue.com/careers/
Local-First Conf
Registered:16 Jan 2025 10:13
Follow date:24 Apr 2025 03:13
Connect with a rapidly-growing Local-First community. Join us for our third edition 12-14th of July 2026 in Berlin. www.localfirstconf.com
Wasm I/O
Registered:27 Mar 2025 11:51
Follow date:22 Apr 2025 12:45
Your WebAssembly Conference / Next edition:
19-20 March 2026 - Barcelona, Spain. Organized by
@sergialmar.com
Discord
Registered:14 Nov 2024 22:04
Follow date:21 Apr 2025 19:32
Where group chat is all fun & games.
Cody
Registered:28 Aug 2023 21:37
Follow date:18 Apr 2025 19:18
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/...
Scala Days
Registered:3 Dec 2024 16:22
Follow date:15 Apr 2025 12:42
Time to meet again
React Native
Registered:9 Feb 2025 16:57
Follow date:13 Apr 2025 23:15
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Follow date:13 Apr 2025 21:45
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Alex Miller
Registered:22 Oct 2024 21:11
Follow date:13 Apr 2025 03:10
Database Papers as a Service
Hillel
Registered:4 May 2023 16:54
Follow date:12 Apr 2025 12:36
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hille...
DNSimple
Registered:14 Nov 2024 15:45
Follow date:10 Apr 2025 16:01
Rust Language
Registered:28 Jun 2023 20:17
Follow date:6 Apr 2025 11:24
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/@...