Erik Simmler

Internaut, software developer and irregular rambler

A hardware boot switch

I recently added a spare SSD so I could play with desktop Linux again, and I again quickly grew tired of trying to catch the GRUB boot selection screen. A bit of searching turned up this project log for a Simplified hardware boot switch.

The basic idea came together smoothly enough, but I have a few minor additions I thought worth mentioning.

January Links

Adding constraints to Canrun

Be sure to read Building Canrun: A statically typed logic programming library for Rust to put this article in context. Also see my update post with more recent API/implementation notes.

In basic μKanren, values interact through unification[^interpretation]. While impressive results can be achieved with a bit of creativity (see: math with Peano numbers), I wanted something more direct, understandable and arbitrarily powerful. I like my toys to have at least a veneer of practicality.