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.
Germ DM is end-to-end encrypted with Messaging Layer Security and is never connected to your phone number.
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.
DMs off for now while the UK sorts itself out, email me! Anything @ my domain will work.
He/him.
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones
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
the most authentic person you know
@sentry.io @syntax.fm @peated.com
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