Unreal Numbers

Reals are really weird. A while ago, I posted an article about the 19th and early 20th century quest to derive mathematics from the principles of formal logic. We kicked off with Peano arithmetic, which built natural numbers from two ad-hoc constructs: an element representing zero and an abstract “successor” function S(…). Later, we leaned […]
Two Bits Are Better Than One: making bloom filters 2x more accurate

A bloom filter is a probabilistic data structure that potentially can make SQL queries execute orders of magnitudes faster. Today I want to tell you how we use them in Floe, and how we make them produce 2x fewer false results.
Is Show HN Dead? No, but It’s Drowning
← Back Feb 17, 2026 · Arthur Cnops A few days ago I posted to Show HN. I had good fun building that useless little internet experience. The post quickly disappeared from Show HN’s first page, amongst the rest of the vibecoded pulp. And to be clear, I’m fine with that. The behavior on Show […]
GrapheneOS – Break Free from Android and iOS

🇬🇧->🇵🇱 Przejdź do polskiej wersji tego wpisu / Go to polish version of this post Table of contents: Introduction (feel free to skip) Just a year ago, I was really deep into the Apple ecosystem. It seemed like there was no turning back from the orchard for me. Phone, laptop, watch, tablet, video and music […]
WD and Seagate confirm: Hard drives sold out for 2026

(Bild: hispan/Shutterstock.com) Hyperscalers are tearing hard drives out of the hands of manufacturers. Prices are therefore also rising for SSDs. With Western Digital and Seagate, two of the three remaining hard drive manufacturers worldwide have confirmed that they have already sold their production quotas for 2026 completely or almost completely. The situation is likely to be […]
Gitas – A tool for Git account switching

Git Account Switch / Git As Installation # Install Script (Linux & macOS) curl -fsSL https://raw.githubusercontent.com/letmutex/gitas/main/install.sh | sh # Install Script (Windows PowerShell) irm https://raw.githubusercontent.com/letmutex/gitas/main/install.ps1 | iex # Homebrew brew tap letmutex/tap brew install gitas # Cargo cargo install gitas
Why Affordability and the Vibecession Are Real Economic Problems

Affordability is a major concern among voters in practice. But is it a major concern in theory? You’ve probably seen some version of Graphic 1 below, which shows real median household income from Census. After falling during the post-pandemic inflation surge, real incomes recovered. By 2024–2025, they had ended up higher than in 2019. This […]
Poor Deming never stood a chance

This post is an elaboration of a shorter post I wrote about five years ago. The two management giants of the mid-twentieth century were Peter Drucker and W. Edwards Deming. Ironically, while Drucker hails from Austria-Hungary (like me, Drucker emigrated to the U.S. as an adult) and Deming was born in the U.S., it was […]
AI is destroying Open Source, and it’s not even good yet
Over the weekend Ars Technica retracted an article because the AI a writer used hallucinated quotes from an open source library maintainer. The irony here is the maintainer in question, Scott Shambaugh, was harassed by someone’s AI agent over not merging it’s AI slop code. It’s likely the bot was running through someone’s local ’agentic […]
Show HN: Scanned 1927-1945 Daily USFS Work Diary
Daily work diaries of Reuben P. Box, US Forest Service Ranger for the North Butte Protection Unit of the Lassen National Forest, stationed at Stirling City, California. These diaries document forest management, fire suppression, law enforcement, road construction, and daily life in the northern California mountains from 1927 to 1945.