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.
Julia Evans on Examples of floating point problems and Examples of problems with integers
It’s good to get have some additional concrete examples of what often feel like abstract concerns.
Future of Memory Safety: Challenges and Recommendations
Consumer Reports wades into the programming language safety debate? The source and timing are both mildly hilarious, but it’s a good high level overview.
Geoff Greer on Software Rot
Sometimes rewriting from scratch is not the worst option.
Steven Wittens with Use.GPU Goes Trad
This is not really my space, but I have a weak spot for folks who seem to be revisting assumptions about how things can work.
Automerge 2.0 is released!
I’ve been looking forward to this batch of improvements for a while now. I’m especially excited about the memory improvements, which should make this a much more practical option for a bunch of use cases.
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.