Idle Cycles

Stringing Together Some SML 2026-07-25 I had fun poking around SML so I thought I'd keep it up.

Poking Around SML 2026-07-18 I was reading how the grocery store H-E-B actually uses Haskell of all things in production systems and it sent me looking through my bookshelves to dust off my copy of Elements of ML Programming.

Consolidating Repositories 2026-05-16 After the recent update to this server and a bit of retrospective on those services I both use and get value from I have been consolidating some old repositories to simply host them on this server rather than one of t…

Imagining a Device Provisioning Process 2026-03-07 This is a kind of follow up to a prior post about integrating hardware devices in a robust, repeatable way.

Integrating Hardware with systemd and udev 2026-02-28 Documenting a simple system for process management in the context of integrating hardware into a linux environment in the face of multiple devices and hot-plugging.

SQLite Stress Test 2026-02-25 I saw a "100-million-row challenge in PHP" posted today and it reminded me of the last time I saw something like this.

PostgreSQL Row Level Security 2026-02-21 I've recently been interested in whether PostgreSQL's row security policies could be a good fit for a few different projects.

A Toy Spring Boot Application 2026-02-16 I wrote the other day about a series of design choices that I aim for when starting a new project.

Notes on Provisioning a New Project 2026-02-14 Some incomplete notes on provisioning web stuff in a way that allows for fast feedback without leaving me hamstrung with technical debt at the level of project infrastructure.

Debian 13 2026-02-13 Unsurprisingly, I've been lax in maintaining things around here.