relint - index

Setting up sketch

() — Fri, 17 Apr 2026 00:00:00 +0200

Setting up Sketch with SBCL running in a toolbox container and Emacs on the host.

Constructive reals

() — Tue, 23 Dec 2025 00:00:00 +0100

Constructive reals

Attractors

() — Sat, 02 Aug 2025 00:00:00 +0200

Some attractors

L-systems explorer

() — Mon, 21 Apr 2025 00:00:00 +0200

L-systems explorer

Simple automatic page reload

() — Sat, 29 Mar 2025 00:00:00 +0100

A simple solution to reload a page when some source file changes

Mandelbrötchen

() — Sun, 05 Jan 2025 00:00:00 +0100

Pictures of quadratic maps inspired by the Mandelbrot set

Ocean waves with WebGL

() — Fri, 25 Oct 2024 00:00:00 +0200

A simulation of ocean waves in WebGL

A very simple eBPF program

() — Sun, 18 Aug 2024 00:00:00 +0200

I wanted to learn how to write a very simple eBPF program that attaches a probe to a kernel function.

The Abel-Ruffini theorem

() — Sun, 07 Jul 2024 00:00:00 +0200

We look at a nice topological argument for the Abel-Ruffini theorem.

Audio visualizer

() — Sat, 27 Apr 2024 00:00:00 +0200

Audio visualizer

Pictures

() — Sat, 23 Mar 2024 00:00:00 +0100

There is now a section in the website with pictures.

Flowfields in Rust and WebAssembly

() — Sun, 10 Mar 2024 00:00:00 +0100

Playground: Flowfields in Rust and WebAssembly

Dualities

() — Mon, 21 Aug 2023 00:00:00 +0200

Projective duality as a duality in category theory

The Poncelet porism and Cayley's criterion

() — Thu, 20 Jul 2023 00:00:00 +0200

The porism by Poncelet says that there exists a closed polygon inscribed in one conic and circumscribed around another conic if and only if there exist infinitely many such polygons.

Generating necklaces

() — Tue, 04 Jul 2023 00:00:00 +0200

How to generate necklaces (with fixed content)

Cayley-Bacharach theorem

() — Fri, 16 Jun 2023 00:00:00 +0200

A cubic that passes through eight of the nine intersection points of two other cubics also passes through the ninth point.

Export the colors of some emacs faces to CSS

() — Sat, 10 Jun 2023 00:00:00 +0200

How to export the colors associated with emacs faces to CSS variables.

The theorems by Menelaus and Ceva

() — Thu, 08 Jun 2023 00:00:00 +0200

The theorems by Menelaus and Ceva are two similar looking theorems about triangles in the plane.

Algebra of segments

() — Mon, 05 Jun 2023 00:00:00 +0200

In his book "The Foundations of Geometry" Hilbert introduces an algebra of line segments that uses Desargues' theorem.

Desargues' theorem

() — Mon, 05 Jun 2023 00:00:00 +0200

Desargues' theorem states that two triangles are in perspective axially if and only if they are in perspective centrally.

Hilbert's axioms of geometry

() — Tue, 30 May 2023 00:00:00 +0200

In 1899 Hilbert proposed a set of axioms that could serve as the foundation for Euclidean geometry.

How the website is built

() — Mon, 15 May 2023 00:00:00 +0200

How the website is built.