Curiosity | Imagination | Rigor
  • About
Categories
All (17)
Agentic AI (1)
API Design (1)
Cloud Computing (1)
Code Review (1)
Combinatorics (2)
Computer Science (1)
DevOps (1)
Formal Verification (1)
Game Theory (2)
Number Theory (1)
Personal (1)
Philosophy (1)
Technical Writing (2)
Test Automation (1)

Your AGENTS.md is rotting

Agentic AI

On why the file that tells your AI agent how to work goes quietly false, and the difference between the rules a script can catch and the ones that still need a person.

Sep 11, 2026
12 min

Verified, not true

Formal Verification

On the widening gap between a system that checks out and one that’s actually right, now that proof itself is getting cheap.

Jul 17, 2026
15 min

A necessary condition for Mersenne primes

Number Theory

A clean proof that composite exponents can never yield a Mersenne prime.

May 7, 2026
3 min

First to call 50: winning strategy using backward induction

Game Theory

Solving a number-calling game with backward induction and modular arithmetic.

Apr 13, 2026
5 min

Counting unordered pairs: three perspectives on C(n, 2)

Combinatorics

Three different proofs of C(n,2), from a checkerboard table to overcounting and dividing.

Mar 18, 2026
6 min

Count the triangles in a five-sided star

Combinatorics

Counting all 35 triangles hidden inside a pentagon and its inscribed pentagram.

Feb 9, 2026
2 min

The joy of useless pursuits: why ancient wisdom will outlast AI

Philosophy

Why civilizations that value knowledge for its own sake are best placed to survive AI.

Jul 12, 2024
7 min

An opinionated approach to software documentation

Technical Writing

Why documentation fails when stakeholders never align, and a framework to fix it.

Feb 10, 2023
4 min

Debugging pods in a Kubernetes cluster

DevOps

A field guide to diagnosing pod status, logs, and crashes in a Kubernetes cluster.

Feb 6, 2023
4 min

A brief analysis of BrowserStack’s documentation

Technical Writing

A technical writer’s nitpicks on BrowserStack’s documentation, from admonitions to IA.

Oct 27, 2022
3 min

Test automation using Selenium, BrowserStack, and GitHub

Test Automation

Automating browser tests with Selenium, BrowserStack, and GitHub Actions CI.

Oct 24, 2022
11 min

Adapted excerpts from SICP’s introduction

Computer Science

Adapted notes from the introduction to Structure and Interpretation of Computer Programs, on what programming actually is.

Jan 4, 2021
4 min

How to not lose in tic-tac-toe

Game Theory

Simple strategies to never lose a game of tic-tac-toe.

Nov 16, 2020
3 min

Landmark detection using Google Cloud and Vision API

Cloud Computing

A hands-on tutorial for landmark detection using Google Cloud Storage and Vision API.

Nov 14, 2020
7 min

Choosing between REST and SOAP

API Design

A practical decision guide for choosing between SOAP and REST web services.

Nov 12, 2020
3 min

Reviewing a Java code snippet

Code Review

Reviewing and refactoring a Java string-frequency counter for clarity and efficiency.

Nov 9, 2020
4 min

Principles of my life

Personal

A short list of personal rules across body, mind, work, money, and relationships.

Jul 10, 2020
1 min
No matching items