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

116.

Always do Extra

www.bennorthrop.com/Essays/2021/always-do-extra.php

Extra is different than More. Extra is finishing those two screens, but then researching a new library for form validation that might reduce the boilerplate code. Or it's learning ways to protect against common security vulnerabilities from data entry. These little off-ramps from the main highway of Normal Work could be dead-ends and not have any practical value to the project. But they might also be important contributions. And that's the thing with Extra. While the tangible value to the project is uncertain (it could be nothing this time or it could be something), the value to you is real.

2025-05-30

115.

The PGP Problem

www.latacora.com/blog/2019/07/16/the-pgp-problem

Why do people keep telling me to use PGP? The answer is that they shouldn’t be telling you that, because PGP is bad and needs to go away.

2025-01-21

99.

Algebraic Effects for the Rest of Us

overreacted.io/algebraic-effects-for-the-rest-of-us

2025-01-09

97.

if got, want: A Simple Way to Write Better Go Tests

mtlynch.io/if-got-want-improve-go-tests

2025-01-07

96.

Write your own tiny programming system(s)!

d3s.mff.cuni.cz/teaching/nprg077

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

93.

GBA From Scratch With Ferris

lokathor.github.io/gba-from-scratch

2024-10-16

83.

Damas-Hindley-Milner inference two ways

bernsteinbear.com/blog/type-inference

2024-09-30

79.

On Leaving Apple

typesanitizer.com/blog/leaving-apple.html

2024-08-15

66.

Planning Weekly Workouts in 100 lines of Haskell

alt-romes.github.io/posts/2024-08-14-planning-a-workout-week-with-100-lines-of-haskell.html

A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.

2024-07-09

61.

Using use in Gleam

erikarow.land/notes/using-use-gleam

2024-07-05

60.

JavaScript-Free Sidenotes in Hugo

danilafe.com/blog/sidenotes

2024-06-18

41.

Comparing Objective Caml and Standard ML

adam.chlipala.net/mlcomp

2024-06-17

35.

OpenBSD, the computer appliance maker's secret weapon

hiandrewquinn.github.io/til-site/posts/openbsd-the-computer-appliance-maker-s-secret-weapon

Between our ESP32 prokaryotic organisms and our 24/7 Internet-enabled megafauna servers, there exists a vast and loosely-defined ecosystem of things the B2B world likes to call computer appliances. Picture a bespoke Pi 4 packaged up neatly with some Python scripts, a little fancy plastic embossing, and maybe a well-guarded id_ed25519.pub in case you end up in hot water during the (long - very long, stable cash flow for generations long) maintenance contract, and you’re in the ballpark.

2024-06-14

34.

Nix as a WebAssembly build tool

determinate.systems/posts/nix-wasm
29.

pounce - IRC bouncer

git.causal.agency/pounce/about

2024-06-13

15.

OpenBSD extreme privacy setup

dataswamp.org/~solene/2024-06-08-openbsd-privacy-setup.html

In this article, you will learn how to install and configure OpenBSD to reduce its network activity over clearnet

2024-06-11

6.

Go evolves in the wrong direction

valyala.medium.com/go-evolves-in-the-wrong-direction-7dfda8a1a620

Go programming language is known to be easy to use. Thanks to its well-thought syntax, features and tooling, Go allows writing easy-to-read…

Hard disagree on this one, but still interesting.

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.