20 random bookmarks

2025-10-17

136.

Automerge

automerge.org

Automerge is a local-first sync engine for multiplayer apps that works offline, prevents conflicts, and runs fast.

2025-05-23

111.

share_target - Web application manifest

developer.mozilla.org/en-US/docs/Web/Progressive_web_apps/Manifest/Reference/share_target

The share_target manifest member allows installed Progressive Web Apps (PWAs) to be registered as a share target in the system's share dialog.

110.

honk

humungus.tedunangst.com/r/honk

Take control of your honks and join the federation.
An ActivityPub server with minimal setup and support costs.
Spend more time using the software and less time operating it.

2024-12-17

90.

Using Nix to Try Tools

entropicthoughts.com/using-nix-to-try-tools

2024-11-07

87.

Proposal for a Django project template

david.guillot.me/en/posts/tech/proposal-for-a-django-project-template

My take on what could be a project template for Django advanced usage, with modern tooling (for Python and UI dependencies, as well as configuration/environment management), but not too opinionated.

2024-10-16

83.

Damas-Hindley-Milner inference two ways

bernsteinbear.com/blog/type-inference

2024-09-16

74.

Wayland: i3 to Sway migration

anarc.at/software/desktop/wayland
73.

Technical Writing One introduction

developers.google.com/tech-writing/one

2024-09-15

72.

Writing an OS in Rust

os.phil-opp.com

This blog series creates a small operating system in the Rust programming language. Each post is a small tutorial and includes all needed code.

2024-09-02

70.

Parsing awk is tricky

www.raygard.net/awkdoc/pages/awk_parsing_is_tricky.html

A somewhat compact implementation of the awk programming language

2024-07-15

62.

"GitHub" Is Starting to Feel Like Legacy Software

mistys-internet.website/blog/blog/2024/07/12/github-is-starting-to-feel-like-legacy-software

I’ve used a lot of tools over the years, which means I’ve seen a lot of tools hit a plateau. That’s not always a problem; sometimes …

2024-06-26

55.

A (more) Modern CSS Reset

piccalil.li/blog/a-more-modern-css-reset
54.

You probably wrote half a monad by accident

gieseanw.wordpress.com/2024/06/25/you-probably-wrote-half-a-monad-by-accident
53.

A reckless introduction to Hindley-Milner type inference

reasonableapproximation.net/2019/05/05/hindley-milner.html

2024-06-20

48.

build2 | C/C++ Build Toolchain

build2.org

build2 is an open source (MIT), cross-platform build toolchain that aims to approximate Rust Cargo's convenience for developing and packaging C/C++ projects while providing more depth and flexibility, especially in the build system.

2024-06-19

42.

Pimalaya

pimalaya.org

Official website of the Pimalaya project.

2024-06-13

25.

Solving SAT via Positive Supercompilation

hirrolot.github.io/posts/sat-supercompilation.html

2024-06-12

13.

My experience crafting an interpreter with Rust

ceronman.com/2021/07/22/my-experience-crafting-an-interpreter-with-rust

Last year I finally decided to learn some Rust. The official book by Steve Klabnik and Carol Nichols is excellent, but even after reading it and working on some small code exercises, I felt that I …

2024-06-11

10.

Self-serve dashboards

briefer.cloud/blog/posts/self-serve-bi-myth

Sales pitches are the only place where “self-serve dashboards" work. In the real world, it's a different story.

Why "business" people don't use metabase/power-bi.

2024-06-10

4.

soju IRC bouncer

soju.im

soju is a user-friendly IRC bouncer. soju connects to upstream IRC servers on behalf of the user to provide extra functionality. soju supports many features such as multiple users, numerous IRCv3 extensions, chat history playback and detached channels. It is well-suited for both small and large deployments.