Topological Spaces and Computer Science

Every time computing redefined what 'near' means, a wall came down

The Evolution of the Go Runtime and the Constraints That Matter in Practice

Surveying the scheduler, GC, and stacks along the version axis

What Is a Measure?

Understanding the way of measuring 'size' common to probability and integration

Functional Languages and Category Theory

Functional programming seen through categories, functors, monoids, and monads

Understanding "Infinity" Mathematically: Cardinality, the Diagonal Argument, and Power Sets

A Bird's-Eye View of Mathematics

A comprehensive summary of how the fields are classified and what subfields they contain

What Does Differentiable Mean?

An Introduction to Distributed Systems

Building a table of contents from books and papers, organized around Raft

Software Design and Graph Theory

Kubernetes Overview

Components, Design Philosophy, and Related Papers

Typing in the Visual Studio Code Terminal Is Somehow Slow

Check whether PATH has ballooned

I Built aictl to Review Code and Articles with Generative AI, and Had It Review My Blog Posts

Having an editor who reviews your PRs

Building a Docker-Image GitHub Action That Writes Values to outputs

Watch out for permissions

Auto-upgrading Home Kubernetes

Introducing system-upgrade-controller

Frequently Used apt Commands

Comparing Browsers with Vertical Tabs in 2024

Edge, Arc, Vivaldi

Allowing Repeated Japanese Words Like なぜなぜ, あるある, and よくよく in textlint

How to specify them with allow

How to Load the JS a Hugo Shortcode Needs

The HasShortcode check is handy

Building Hugo Social Share Buttons with FontAwesome and Sass

Docker and Docker Compose Notes

Turning a Bed into Indirect Lighting with a SwitchBot Strip Light

Making winget Usable from PowerShell as a Normal User

Downloading Videos from YouTube with yt-dlp on WSL2

kubectl Commands for Day-to-Day Operations

An Error Despite Having Configured WSL2 in Docker Desktop

Docker Desktop had to be running

Migrating from Synology NAS DS216j to DS223

Watch which slot you put the drive in on the new NAS

Migrating a Domain from Onamae.com to Google Domains

When moving domain management, individuals should watch out for WHOIS disclosure

Domain-Driven Design, Onion Architecture, and Realizing Them in Go

How to lower a devops team's cognitive load

Reading "Reinforcements: How to Get People to Help You"

Ask in a way that lets the person you ask feel agency

Containers Stopped Starting with lima nerdctl run

Recreate the lima vm