Blog


Building a Raft

Learning Raft by making one. »

Backing up my Google Takeout data

Storing my Takeout backups in S3 Glacier »

Recently - April

The Explore/Exploit cycle, Inadequate Equilibria, and Z3 »

Book Review: Gödel, Escher, Bach

Review of Gödel, Escher, Bach: an Eternal Golden Braid »

Two Types of Infinity

On the uncountability of real numbers. »

Recently - February 28

Snow, Perseverance, and links »

Three Layers of Information

On Douglas Hofstadter’s three-tiered hierarchy of information in messages »

A Hand-wavy Proof for the Infinitude of Prime Numbers

A brief look at Euclid’s proof »

Recently - January 31

Tampermonkey, Obsidian, recent books, and links »

A Tour of Go 1.16's io/fs package

Looking into Go’s new standard library packages for filesystem abstraction. »

Page: 1 of 13