I switched to Caddy

Mon 05 May 2025

In a previous blog post, I described how I use nginx to serve my blog, and how uv makes it easier to setup Certbot to manage TLS certificates. I've since switched to Caddy, which manages certificates for me. I never really had any trouble with my nginx+uv+Certbot setup …

The Wallis product and the Euler-Poisson integral

Thu 24 April 2025 Tags:

Math

Years ago I was experimenting with the Euler-Poisson integral in $n$ dimensions when I derived an infinite product for $\pi$ known as the Wallis product.

$$\pi = 2\prod\limits_{i=1}^{\infty}\frac{(2i)^2}{(2i-1)(2i+1)}$$

I was only expecting to calculate the areas of $n$-spheres, so …

I use uv to simplify Certbot automation

Sat 25 January 2025

The VPS hosting this blog is configured to use nginx with a certificate from Let's Encrypt. I chose Certbot to automate certificate renewal. The official setup instructions from EFF for Certbot with nginx and pip are here, but the recommended pip/venv workflow seems inconvenient now that I've started working …