Making the shell magical ✨🐢
https://atuin.sh
i work at the intersection of set theory and figurative language
http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
dreaming of protocol level sovereignty
head of protocol @ bsky 🌅
Tech lead for workers.cloudflare.com
Also made: capnproto.org, lanparty.house, sandstorm.io
@KentonVarda on Twitter.
https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Julia is a high-level, dynamic programming language built for technical computing.
Official Bluesky account of the Julia Language Project
#JuliaLang
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
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/thoughtpolice / overengineering @ersc.io / #jj-vcs maintainer
Building better systems. ceo ersc.io
You might need to put up with an occasional NYC tweet.
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.
We advance internet freedom by supporting research, development, & implementation projects that fight censorship, increase privacy, and improve security online.
opentech.fund
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 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 is a library of data structures for building collaborative applications
📚 https://automerge.org/
💬 https://discord.gg/vvnytpgSnr
📆 https://lu.ma/automerge
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/workhours
He/him.
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
"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.
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Where the future begins. 🚀🔬 One of the world’s leading universities for technology & natural sciences. Posts in both English and German.
www.ethz.ch
Lightweight WASM Postgres by @electric-sql.com
https://pglite.dev
Building AI apps? You need sync.
https://electric-sql.com - see also @pglite.dev
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
@namespacelabs (namespace.so) now building very fast build/test compute so you don’t have to; previously infrastructure@google (i’m @20thr on twitter)
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
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 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 is a group of companies with a shared commitment to paying the maintainers of the Open Source software we all consume.
https://opensourcepledge.com
Get better at getting better.
https://dora.dev
On-call, incident response and Status Pages all under one roof. So good, you'll break things on purpose 🔥
https://go.incident.io/learn-more
The modern cloud for application engineering teams.
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
she sliced like a knife through everything
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.
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.)
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
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/
Connect with a rapidly-growing Local-First community. Join us for our third edition 12-14th of July 2026 in Berlin. www.localfirstconf.com
Your WebAssembly Conference / Next edition:
19-20 March 2026 - Barcelona, Spain. Organized by
@sergialmar.com
Where group chat is all fun & games.
Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Time to meet again <3
Scala Days 19 - 21 August 2025
EPFL, Lausanne, Switzerland
2025 organizing host: Scala Center
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
Database Papers as a Service
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/hillelwayne/
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/@rust
JavaScript Animation Engine → animejs.com
Support the project → https://github.com/sponsors/juliangarnier
Made by → @julian.gr
Making → @animejs.com
Support the project → https://github.com/sponsors/juliangarnier
The only major non-profit backed, people-first browser ️🔥
Building a better internet.
Remaking consumer electronics to respect people and the planet. 💻🪛
For support visit http://support.frame.work
Thunderbird is an open-source, platform-neutral email, calendar and productivity suite designed for users who value customization, privacy, and control. Available on Windows, macOS, Linux, and Android - Thunderbird helps you stay connected without lock in.
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
🇨🇦 Vancouver
💍 @katiewilde.com
🏢 @inkandswitch.com
🎟️ @ucan.xyz
🔰 Always learning
💡 Woke AF
🏳️🌈 Heckin' sapphic
🏳️⚧️ Protect trans kids
✊ BLM/Land Back/Antifa
📝 notes.brooklynzelenka.com
🐘 types.pl/@expede
👩🏼💻 github.com/expede
🏔️ codeberg.org/expede
Committed to the daily re-imagining of what a university press can be since 1962.
Website: https://mitpress.mit.edu
The Reader (our home for excerpts, essays, & interviews): https://thereader.mitpress.mit.edu
MIT Press Direct: https://direct.mit.edu/
Research Manager on the @graalvm.org team at Oracle. Graal Languages, Native Image, developer tools, GraalVM developer experience. Previously at @hpi.bsky.social, @googlecolab.bsky.social, and @matonguitars.bsky.social. Views are my own.
Board & TSC member, co-founder Bytecode Alliance; Wasm lead @fermyon tech; @tc39 & @mozilla alum
Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Own your algorithm.
👉 https://graze.social/
⚙️ Need product support? Skip the DMs: https://tinyurl.com/3hcabn8v
✨ Building something cool? Join us on Discord: https://discord.gg/Y6UkgsFx4D
Senior Software Engineeer snowflake.com
Co-Founder @graze.social
Co-Host of @devtools.fm
hipstersmoothie.com
Bellingcat is an independent investigative collective of researchers, investigators and citizen journalists brought together by a passion for open source research.
Want to support our charity? bellingcat.com/donate
determinate.systems. Nix obsessed.
he/him
📻 no5ig
Cofounder and CEO of the Recurse Center (@recurse.com)
Run web, AI, & app servers close to your users on CPUs and GPUs. Deploy and scale your app in minutes at https://fly.io/speedrun.
Official BlueSky account of Biome.
Website: https://biomejs.dev
Discord: https://biomejs.dev/chat
Go will make you love programming again. We promise.
https://go.dev/
A Weekly Scala Newspaper. Got a story/link/tip? Drop us a line: scalatimes@softwaremill.com!
Curated by the @softwaremill.com crew. Want a sticker? E-mail us!
Technical advisor to @bsky.app - Wizard Utopian
General Partner @ mana.inc
🌱 🪴 🌳
A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Honeycomb is the observability platform that enables engineering teams to find and solve problems they couldn't before.
devx at Modular, maintainer of bazel's iOS support, creator of the Mobile Native Foundation, LLVM & Swift contributor. Previously Principal Engineer at Lyft, Core Team @CocoaPods
The future of observability: https://bitdrift.io
CTO @bitdrift.io. Software engineer and creator of Envoy Proxy.
Author of the Clojure programming language
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
🔗 https://elixir-lang.org/
The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
#Kubernetes: open source production-grade container orchestration management. #CNCF #K8s
PL/VM/Compilers at Oracle. Working on Truffle/Graal.
ME/CFS Caretaker and Activist (https://ooe-mecfs.at).
Austrian expat in Zurich.
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community 😁
Join us at https://racket.discourse.group/
https://racket-lang.org/
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
The best Git client for Mac & Windows
Download free trial 👉 www.git-tower.com
Your shortcut to everything.
✨ Pro → https://raycast.com/pro
🏪 Store → https://raycast.com/store
👥 Community → https://raycast.com/community
We are a team of researchers and engineers at GitHub who prototype the future of software development.
Projects: https://githubnext.com
Discord: https://gh.io/next-discord
Building a local-first music app overtone.pro with @livestore.dev. Host @localfirst.fm. DX Effect. Founded @prisma.io. schickling.dev
A podcast about local-first software development. Hosted by @schickling.dev.
Element is a sovereign, interoperable and secure communications platform. Built by the creators of Matrix.
Signal is a nonprofit end-to-end encrypted communications app. Privacy isn’t an optional mode, it’s the way Signal works. Every message, every call, every time.
Making cloud native ubiquitous
Get more powerful websites and applications with Fastly’s edge cloud platform. We help places like Reddit, Epic Games, the NYT, and GitHub do so every day.
The best way to keep you, your family, and business safe online. Go ahead. Forget your passwords.
Application monitoring software considered "not bad" by 4 million developers.
