Or: ChatGPT eats the world, formal-methods style — Look, I know LLMs and ChatGPT are the big industry-consuming buzz-words right now. I’m as skeptical of the “ChatGPT is going to replace {industry}" mentality as anyone, but it's clear that something is coming and it's going to change the world, whether we like it or not. Believe it or…

A mechanism for consistent parallel computation — Disclaimer: after I started writing about this, I found this paper from the Hydro project which presents a formulation of this idea using lattices & morphisms. What follows is my derivation of a similar technique, albeit significantly less formal. …

Using LXC containers and K3s to spin up a K8s cluster with NGINX Ingress Controller — For a long time now, I’ve self-hosted most of my online services like calendar, contacts, e-mail, cloud file storage, my website, &c. The current iteration of my setup relies on a series of Ansible playbooks that install all of the various applications and configure them for use. This has been…

How I (ab)used the TypeScript compiler to enable transparent runtime data validation using Zod and TypeScript interfaces. — For the last year or so, I’ve been (slowly) building a TypeScript-based Node.js framework called Extollo. One of the design goals with Extollo is to only expose the user (i.e. …

Comparing named-injection, constructor-injection, and property-injection — This post originally appeared on my blog, here. Anyone who has read this blog before knows that I have a particular interest in dependency injection and inversion-of-control paradigms. Over the last few years, I’ve implemented DI in JavaScript for various projects, and I’m currently in the process of rewriting my…

Uphold your constitutional and moral duty. Vote to certify. — Roger Marshall, Congressional representative for the Kansas 1st, has expressed his intention to vote not to certify the result of the 2020 presidential election. I feel very strongly that this is a dangerous and irresponsible move that goes against the core tenets of American democracy. US House Representative, Kansas 1 312…

This post originally appeared on my blog, here. For the past year, I’ve been working on a web application called Noded. Noded is built in Angular on the Ionic framework and provides tools for building a personal tree of information. (If you’re curious, you can try it out here.)​ Because…

Tips, tricks, and downright hacks to make working as a remote developer just a little nicer — This post originally appeared on my blog, here. Given everything that’s happening right now (c. 2020–07–23), many software developers have been fortunate to be able to work from home. However, there are some challenges I encountered with my office’s particular brand of development workflow. Over the last couple months, I’ve…

Setting Up a Kickass, Self-Hosted, GitHub Alternative with Continuous Integration — This article was originally posted on my blog, here. This is part I, wherein we set up the web-based GitHub alternative, Gitea. Stay tuned for part II, where we will setup the Docker-based continuous-integration solution, Drone, with plugins for Gitea. As I have chronicled before, over the last few years…