20 random bookmarks

2025-07-03

126.

A Higgs-bugson in the Linux Kernel

blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel

We recently ran across a strange higgs-bugson that manifested itself in a critical system that stores and distributes the firm’s trading activity data, called Gord. (A higgs-bugson is a bug that is reported in practice but difficult to reproduce, named for the Higgs boson, a particle which was theorized in the 1960s but only found in 2013.) In this post I’ll walk you through the process I took to debug it. I tried to write down relevant details as they came up, so see if you can guess what the bug is while reading along.

2025-06-26

123.

Box combinators

mmapped.blog/posts/41-box-combinators.html

In functional programming,
combinator libraries refer to a design style that emphasizes bottom-up program construction.
Such libraries define a few core data types
and provide constructors—functions that create initial objects—and combinators—functions that build larger objects from smaller pieces.

Combinators enable the programmer to use intuitive visual and spatial reasoning
that’s vastly more powerful than linear language processing.
As a result, solving problems with combinators feels like playing with lego pieces.

2025-05-15

108.

Writing that changed how I think about PL

bernsteinbear.com/blog/pl-writing

Every so often I come across a paper, blog post, or (occasionally) video that completely changes how I think about a topic in programming languages and compilers. For some of these posts, I can’t even remember how I thought about the idea before reading it—it was that impactful.

2025-05-06

107.

Debian installation with encrypted BTRFS

chaos.tomaskral.eu/guides/debian-encrypted-btrfs-root

2025-04-24

105.

Instrumenting Axum projects

determinate.systems/posts/instrumenting-axum

2024-12-17

93.

GBA From Scratch With Ferris

lokathor.github.io/gba-from-scratch

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-04

80.

Snappy UI Optimization with useDeferredValue

www.joshwcomeau.com/react/use-deferred-value

useDeferredValue is one of the most underrated React hooks. It allows us to dramatically improve the performance of our applications in certain contexts. I recently used it to solve a gnarly performance problem on this blog, and in this tutorial, I'll show you how! ⚡

2024-09-17

75.

Master hexagonal architecture in Rust

www.howtocodeit.com/articles/master-hexagonal-architecture-rust

Everything you need to write flexible, future-proof Rust applications using hexagonal architecture.

2024-08-14

65.

A Flexible Minimalist Neovim for 2024

wickstrom.tech/2024-08-12-a-flexible-minimalist-neovim.html

2024-06-27

56.

plainweb

www.plainweb.dev

plainweb is a framework using HTMX, SQLite and TypeScript for less complexity and more joy.

2024-06-26

53.

A reckless introduction to Hindley-Milner type inference

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

2024-06-19

45.

Avoiding complexity with systemd

mgdm.net/weblog/systemd

Using systemd to avoid having to write some risky code

2024-06-18

41.

Comparing Objective Caml and Standard ML

adam.chlipala.net/mlcomp

2024-06-14

30.

litterbox - IRC logger

git.causal.agency/litterbox/about
29.

pounce - IRC bouncer

git.causal.agency/pounce/about

2024-06-13

19.

A simple, arena-backed, generic dynamic array for C

nullprogram.com/blog/2023/10/05

2024-06-12

12.

I really like the RP2040

dgroshev.com/blog/rp2040

2024-06-11

9.

Exploring Gleam, a type-safe language on the BEAM!

christopher.engineering/en/blog/gleam-overview

From Erlang, to Elixir and now, GLEAM!?

8.

gamja: Simple IRC web client

sr.ht/~emersion/gamja