Learning Lean: Part 1
Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal mathematics is generating such excitement in the mathematical […]
Arrays in Forth
A natural question that beginners often ask is: Why doesn’t Forth have features that are standard in other languages, for example, arrays? The answer is that Forth is so facile at creating new data types that it is usually easier to invent something that exactly suits your needs than it is to force your program […]
Two different tricks for fast LLM inference
Anthropic and OpenAI both recently announced “fast mode”: a way to interact with their best coding model at significantly higher speeds. These two versions of fast mode are very different. Anthropic’s offers up to 2.5x tokens per second (so around 170, up from Opus 4.6’s 65). OpenAI’s offers more than 1000 tokens per second (up […]
Four Column ASCII (2017)
I found this gem on Hacker News the other day. User soneil posted to a four column version of the ASCII table that blew my mind. I just wanted to repost this here so it is easier to discover. Here’s an excerpt from the comment: I always thought it was a shame the ascii table […]
Oat – Ultra-lightweight, semantic, zero-dependency HTML UI component library
Semantic, minimal, zero dependencies. ~8KB CSS and JS. Oat is an ultra-lightweight HTML + CSS, semantic UI component library with zero dependencies. No framework, build, or dev complexity. Just include the tiny CSS and JS files and you are good to go building decent looking web applications with most commonly needed components and elements. Semantic […]
Hamming Distance for Hybrid Search in SQLite
Published on 5 February 2026 This article shows how I implemented semantic search in SQLite using binary embeddings and Hamming distance, enabling hybrid search without external vector databases. SQLite’s FTS5 extension provides excellent text search with BM25 ranking. However, it doesn’t support semantic search, which means you can’t combine keyword matching with meaning-based retrieval, a […]
Ex-Tech –> Homeless in SF
Dignity moves, the mission of survival, and $140 million across the river Last week, I helped build Super Bowl activations for DraftKings, Bud Light, and Spotify, turning San Francisco into a vice-centric Disneyland for the rich and famous. It was plastic. It was loud. It was profitable. On Wednesday, I traveled from Berkeley to the […]
Flashpoint Archive – Over 200k web games and animations preserved
Welcome [embedded content] Flashpoint Archive is a community effort to preserve games and animations from the web. Internet history and culture is important, and the web is evolving at such a rapid pace that what might be commonplace today could be obsolete tomorrow. This project is dedicated to preserving as many experiences from these platforms […]
I love the work of the ArchWiki maintainers
For this year’s ”I love Free Software Day” I would like to thank the maintainers of Free Software documentation, and here especially the maintainers of the ArchWiki. Maintainers in general, and maintainers of documentation most of the time get way too little recognition for their contributions to software freedom. Myself, Arch Project Leader Levente, ArchWiki […]
Show HN: Off Grid – Run AI text, image gen, vision offline on your phone
The Swiss Army Knife of On-Device AI Chat. Generate images. See. Listen. All on your phone. All offline. Zero data leaves your device. Not just another chat app Most ”local LLM” apps give you a text chatbot and call it a day. Off Grid is a complete offline AI suite — text generation, image generation, […]