Skip to content

monkeynut.org

Using wgpu with Electron on macOS

Here is a brief guide to adding a wgpu-rendered underlay to an Electron window on macOS. Doing this isn't particularly difficult once you know how, but I couldn't find this information anywhere else. So here's the guide that I wish had existed before I went down this path!

Using control-tab to switch between Emacs buffers on macOS

I use VSCode as my main code editor and emacs for everything else. When in VSCode, I use control-tab to switch between recent buffers. In Emacs, this key binding doesn't work (by default, it toggles visibility of the tab bar), causing me endless minor frustrations. This post documents how I brought the VSCode control-tab behavior to Emacs.

On a non-routing pfSense WAN connection after a power failure

2024-03-29 update: As of 23.09.1-RELEASE, the underlying issue appears to be fixed.

After a power-failure, my pfSense router (running 23.05.1-RELEASE) often fails to route packets over its single Starlink WAN connection. This is tedious because (i) power failures are relatively common around here, and (ii) the pfSense router is somewhat inaccessible. Wouldn't it be nice if everything "just worked" when the power came back on?

Tic Tac Toe in TLA+

Although I've written many informal specifications of software as part of my employments, I haven't ever written any formal specifications (and for good reason: in most domains, the return-on-investment likely isn't there). I like to pretend to myself that given enough time, I probably could write a formal specification, but what's it like to actually do this?