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-08-21

129.

A Brief Guide to A Few Algebraic Structures

argumatronic.com/posts/2019-06-21-algebra-cheatsheet.html

I started writing this post because, for whatever reason, I keep forgetting what the difference is between a ring and a group, which is funny to me because I never forget the difference between a semiring and a semigroup – although other people do, because it’s quite easy to forget! So, I wanted a fast reference to the kinds of algebraic structures that I am most often dealing with in one way or another, usually because I’m writing Haskell (which has some reliance on terminology and structure from abstract algebra and category theory) or I’m trying to read a book about category theory and they keep talking about “groups.” Wikipedia, of course, defines all these structures, and that’s fine, but what I need in those times is more of a refresher than an in-depth explanation.

2025-07-31

127.

A dive into open chat protocols

wiki.alopex.li/ADiveIntoOpenChat

2025-05-23

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.

2025-04-24

105.

Instrumenting Axum projects

determinate.systems/posts/instrumenting-axum

2024-12-20

94.

Visitor Pattern Considered Pointless - Use Pattern Switches Instead

nipafx.dev/java-visitor-pattern-pointless

In modern Java, the visitor pattern is no longer needed. Using sealed types and switches with pattern matching achieves the same goals with less code and less complexity.

2024-12-17

92.

Building GBA Games in Rust

shanesnover.com/2024/02/07/intro-to-rust-on-gba.html

2024-11-22

89.

New stuff in Emacs 30

www.mgmarlow.com/words/2024-07-28-emacs-30-news

Reading through the Emacs 30 NEWS file and picking
out the stuff I think is the most interesting.

2024-09-18

76.

Typescript is surprisingly ok for compilers

matklad.github.io/2023/08/17/typescript-is-surprisingly-ok-for-compilers.html

2024-09-16

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-06-19

42.

Pimalaya

pimalaya.org

Official website of the Pimalaya project.

2024-06-18

41.

Comparing Objective Caml and Standard ML

adam.chlipala.net/mlcomp
39.

Understanding a Python closure oddity

utcc.utoronto.ca/~cks/space/blog/python/UnderstandingClosureOddity

2024-06-13

25.

Solving SAT via Positive Supercompilation

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

Optimal SQLite settings for Django

gcollazo.com/optimal-sqlite-settings-for-django

There’s plenty of information out there on how to scale Django to handle numerous requests per second, but most of it…

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 …

12.

I really like the RP2040

dgroshev.com/blog/rp2040

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.

2024-06-09

1.

The Hare programming language

harelang.org

Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks.