-
Replacing the old battery on rechargeable bike lights
-
0061: i'm not a cat, artificial adventures, synthetic sagas, anthropic, sponsors
-
Synthetic sagas
-
Finding Bugs
-
Static Allocation, Constant Work
-
Cancelation Terminology
-
Pointer Stability for ArrayLists
-
Rust Glancer
-
Better Batteries
-
Printing Lists
-
Zig's Io.Threaded is Neat
-
Some more things about Django I've been enjoying
-
Memory Safety's Hardest Problem
-
Learning a few things about running SQLite
-
Backtrack-free cursive
-
Artificial adventures
-
All Package Management Functionality Moved from Compiler to Build System
-
SPIR-V Backend Progress
-
New @bitCast Semantics and LLVM Backend Improvements
-
I'm not a cat
-
0060: SF
-
0059: NYC and SF?
-
CSS: Unavoidable Bad Parts
-
How to build a shitty robot
-
ELF Linker Improvements
-
Build System Reworked
-
Interleaved deltas
-
TIL: Symlinking NixOS Dotfiles
-
Moving away from Tailwind, and learning to structure my CSS
-
Links to CSS colour palettes
-
Testing Vue components in the browser
-
Borrow-checking without type-checking
-
Whispering gallery
-
I've sold out
-
Incremental compilation with LLVM
-
0058: borrow-checking surprises, books, links
-
Borrow-checking surprises
-
Thoughts on slowing the fuck down
-
Kirk, Scotty, and Spock
-
Examples for the tcpdump and dig man pages
-
Type resolution redesign, with language changes to taste
-
The third hard problem
-
Notes on clarifying man pages
-
0057: consulting, zest progress, reads that lasted, books, links
-
2025
-
io_uring and Grand Central Dispatch std.Io implementations landed
-
Two Package Management Workflow Enhancements
-
Bypassing Kernel32.dll for Fun and Nonprofit
-
zig libc
-
Some notes on starting to use Django
-
2025 retrospective
-
A data model for Git (and other docs updates)
-
Advent of Code 2025
-
Year in Review 2025
-
0056: consulting, zest progress, existentialize, modular borrowing, do we understand sql, zjit updates, books
-
What I learned building an opinionated and minimal coding agent
-
Armin is wrong and here's why
-
What if you don't need MCP at all?
-
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
-
Compilation is communication
-
Notes on switching to Helix from vim
-
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
-
SQL needed structure
-
0054: zest namespaces, store tags after payloads, go allocation probe, everyones got one, pprof labelguns, go value types, go perf probe, tpde, anyblox, books
-
Tag-based logging
-
MCP vs CLI: Benchmarking Tools for Coding Agents
-
Patching Claude Code for debugging and /cost support for Max users
-
Everyone's got one
-
cchistory: Tracking Claude Code System Prompt and Tool Changes
-
Go allocation probe
-
Stepanov’s biggest blunder
-
Store tags after payloads
-
Parasites found
-
New zine: The Secret Rules of the Terminal
-
Using `make` to compile C programs (for non-C-programmers)
-
Prompts are code, .json/.md files are state
-
Box combinators
-
0053: consulting, go tips, benchmark_mode, niri, linkrot, sea of nos, llm outsourcing, books
-
Three degrees of validity
-
Boxie - an always offline audio player for my 3 year old
-
3000 days of Duolingo
-
A rough survey of compilation, recompilation, and compile-time evaluation
-
Static types are for perfectionists
-
0052: hytradboi videos and post-mortem, zest repo, no internet, on social media, my product is my garden, datafusion and clickhouse jits, books
-
Standards for ANSI escape codes
-
HYTRADBOI 2025 postmortem
-
Other kinds of talks
-
ONNX introduction
-
How to add a directory to your PATH
-
0051: hytradboi program and tickets, query compilers, decorrelation encore, books, misc
-
Some terminal frustrations
-
HYTRADBOI 2025 program and tickets
-
2024 retrospective
-
The missing tier for query compilers
-
What's involved in getting a "modern" terminal setup?
-
Advent of Code 2024
-
Square joy: tile crush
-
"Rules" that terminal programs follow
-
Why pipes sometimes get "stuck": buffering
-
0050: smolderingly fast b-trees, serious fun, what is the point of an online conference, it's ok to be afraid, HYTRADBOI progress, no other progress, vancouver.systems, not the incentives, llm garbage, books
-
Transposing tensor files
-
Importing a frontend Javascript library without a build system
-
It's ok to be afraid
-
Programming avant-garde
-
What is the point of an online conference?
-
Serious fun
-
0049: hytradboi 2025, consulting, zest progress, labeled continue, bet against sql, zero-cost costs in debug, packed memory arrays, papers, books
-
Smolderingly fast b-trees
-
HYTRADBOI 2025
-
Effective design docs
-
0048: zest progress, zest ordering, wasm alignment, umbra papers, future of fast code, new internet, books, other stuff
-
Electronic Nights III - Animated LEDs and Buttons
-
Transaction models are programming paradigms
-
Electronic Nights II - Basic Circuits
-
Electronic Nights I - Getting Started
-
macOS code injection for fun and no profit
-
Two years in review
-
Dissecting history
-
0047: babys second wasm compiler, zig honggfuzz, values can be values, dont look UB, surely you can be serious, other links, books
-
Baby's second wasm compiler
-
The plan-execute pattern
-
Ruminating about mutable value semantics
-
Enlightenmentware
-
0046: zest syntax, zest progress, sponsors-only repos, future compilers, error-handling implementations, suboperators, why we drive
-
Extending HTTPS outcalls
-
Zest: syntax
-
Good names form Galois connections
-
0045: unexplanations, business things, zest progress, internal consistency repro, why murat blogs, compiler books + papers, compiling sql to wasm, other books
-
Notes on compiler IRs
-
Miscellaneous ideas
-
How to trade software for small money?
-
Unexplanations: sql is syntactic sugar for relational algebra
-
Unexplanations: relational algebra is math
-
0044: zest progress, unexplanations, generic dilemma, bitc retrospective, adversarial memory safety, done list, tiny muffins, anti-anti-spam, happiness, daily rituals, other books
-
Zest: dialects and metaprogramming
-
Universal domain types
-
Unexplanations: query optimization works because sql is declarative
-
Base 10 Is Not a Good Base
-
Zest: notation and representation
-
The off-chain reporting protocol
-
0043: 2023, debog, never sort, critique of sql, status game, more fuel you
-
2023
-
0042: consulting lessons, there are no strings on me, buttondown, focus goof, jsfuck, 1ml
-
The numeric tower fiasco
-
There are no strings on me
-
0041: columnar kernels in go, go grouches, column sketches, why user-mode threads, gross margins vs open source, celebrity worship
-
Columnar kernels in go?
-
0040.1: meta in myanmar
-
0040: olap survey, lobster, feldera, innovation, wizard papers, umbra papers, olap papers
-
A shallow survey of OLAP and HTAP query engines
-
0039: implementing interactive languages, baby's first wasm compiler, zig 0.11, attack of the killer features, zed, attention span, psychology's loss, privatizing sovereignty
-
Baby's first wasm compiler
-
Implementing interactive languages
-
Flat in-order binary trees
-
0038.1: consulting
-
0038: cheap compilation, mvs-to-wasm, automatically isolating bugs, mastodone, other stuff
-
Mach’s principle
-
0037: dynamic mutable value semantics, interior pointers, uninterning, functionless effects, papers, books
-
Candid for engineers
-
0036: typescript, papers, books
-
0035: back to the shack
-
ckBTC internals: event log
-
What is a database?
-
If composers were hackers
-
0034: perf handover, compaction unchained, crash harder, sketching the query engine, focus catchup, android update policies, legopunk, a world without email, nobody cares, segcache, bloomRF, existential consistency, ssd parameters, fantastic ssd internals
-
Scaling Rust builds with Bazel
-
0033: table sizing, bench harder, wasm first steps, sycl vancouver, breathing for warriors, move your dna, the molecule of more, how to decide, slouching towards utopia
-
Book summary: Building a Second Brain
-
When Rust hurts
-
0032: undroppable tombstones, forest fuzzer, manifest race, hash_log, zig coercions, zig pointer hops, zig object notation, domain knowledge, built from broken, database internals, papers
-
Tutorial: stable-structures
-
0031: 2022, systems distributed, random ids, deleting tombstones, disorderly compaction, juggling blocks, code review woes, holiday shutdown, searching for implementors, everything is copy, sharing the page cache after fysncgate, 9/10 climbers, rise and fall of peer review, real-world concurrency
-
2022
-
IC internals: the ICP ledger
-
0030: lsm perf, colorblind concurrency, tracing, evacuating preimp, reading, fixing my shoulders
-
Designing error types in Rust
-
0029: san francisco, seattle, tigerbeetle, studying, links
-
IC internals: Internet Identity storage
-
0028: HYTRADBOI jam, sqllogictest in a week, how safe is zig again, rr on alder lake, google maps jank, links
-
Fungible tokens: payment flows
-
Dimension vs. Rank
-
0027.1: hytradboi jam
-
0027: preimp, framework, dotfiles and backups, links
-
Fungible tokens 101
-
0026: break, preimp essay, focus + clojure, zed experiments, decorrelation and nested relations, bunny, sqlite mode, reading, links
-
Roe v. Wade
-
IC internals: XNet protocol
-
0025: preimp, focus + mach, emergent ventures, clockwork labs, success, hytradboi ideas, zig debugging tips, dev-setup.sh, clojurescript blues, analogies for end-user programming, half-arsed workflows, javascript vs serialization, links
-
Pronouncing Hex
-
Square joy: pre-order
-
0024: HYTRADBOI postmortem, HYTWACFI?, preimp, emergent ventures, data and reality, merkle search trees, readyset, julia compilation times
-
HYTRADBOI 2022 postmortem
-
IC internals: orthogonal persistence
-
0023: HYTRADBOI teaser, dida vs datalogui, preimp cruft, dbsp, links etc
-
Debug like Feynman, test like Faraday
-
The shape of data
-
0022: preimp, shape of data, hytradboi progress, office hours, in nyc, riffle, cue, technical dimensions, js compound keys, hop
-
0021: hytradboi schedule + tickets, imp v3 ideas, real world of technology, changing minds, essence of software, typed image-based programming with structure editing, fosdem 2022, introspecting async
-
Square joy: trapped rainwater
-
0020: hytradboi, milestones, data soup, airtable, self-hosting
-
0019: Refactor
-
Rust at scale: packages, crates, and modules
-
0018: last reflections, why start a new database conference, 2021 retrospective, imp schemaless db + crdt, office hours, internal inconsistency in the wild, rss feeds, salsa needs finite collections, tiddlywiki vs unigraph, multidimensional indexes, arrow, just don't fsync, testing distributeds systems, tigerbeetle perf demos, web3, explicit formal structure, zig doctests, rust arenas, semidirect products of crdts, single-program distributed systems, sqlite qpsg, valhalla, mundanity of excellence, to mmap or not to mmap, libgavran, relational e-matching
-
Imp: heterogenous types
-
2021
-
Coding
-
Why start a new database conference?
-
0017: hytradboi updates, imp stonks, misparaphrasing oracle, technical books, rum, creator economy, friend groups, ub, omg design principles, zig build, fossil and indexes, flatpak, skiplang, convex, fuzzing beyond testing, tigerbeetle dev videos, wafl
-
IC internals: replicated state machine
-
Testing
-
Writing
-
0016: dida validator and debugger, focus selector perf and async children, emotional management, speed matters, moving faster, have you tried rubbing a database on it, handmade highlights, airtable scripts, bank python, napa, pollen, against markdown, zig-snapshots, exhaustive test inputs, gf, nixos debug symbols, duckdb blog
-
Emotional management
-
Effective Rust canisters
-
Moving faster
-
Speed matters
-
0015: imp internals, reflections, precedence, make mode, mutant, q3, error recovery, tonsky ui, subtext 10, factfulness, benchmarking advice, dependency hubs, independent research, zig wayland, retool, observable dependencies, ugly buildings, without scihub, wasm virtual memory, huawei breakdown, infrastructure langauges, stencil vectors, chiX
-
2021 Q3 roundup
-
Better operator precedence
-
Setting goals
-
Things unlearned
-
On bad advice
-
Reflections on a decade of coding
-
0014: imp live repl + syntax + errors, focus highlighting + squigglies, dida nop, web woes, undrafting, rel, oracle encore, chidb, pinebook touchpad, toplev, use of a life, imgui accessibility, wheel reinvention jam, chibicc, files vs web silos, handwritten parsers, perf ninja
-
Focus: intro
-
Focus: rendering
-
Focus: text
-
Thoughts on benchmarking streaming systems
-
Imp: live repl
-
0013: till death do us part, minimum wage, dida free, implicit ordering in relational languages, ultralearning, responses to against sql, oracle decorrelation, gede improvements, antisponsoring, convivial design heuristics, knowledge transfer, crafting databases, rust complexity, antitrust, gelly, shakti, lumosql, anti-marketing, NAAL, ledger of harms, tonsky icfp, debugging stories
-
Implicit ordering in relational languages
-
Ultralearning
-
0012: dida wasm api + indexes + reduce, food and carbon emissions, async rust, handmade seattle, ideas matter, tools for thought and dida animations, redpanda wasm, live 2021, opportunity costs of twitter, work vs jobs, sourcehut simplicity, writing tools faster, ec2 trends, the state of academia
-
2021 Q2 roundup
-
Against SQL
-
0011: dida release, DD reading, antirez and small tech, reactive ui, how to test, doom vs memory safety, state of academia, wasm-bindgen, apl compilers, relational.ai and salsa.jl
-
0010: dida, live repls, query planning for streaming, rust allocators, more zig goto, database resources, guix on mac, criticising people's work, pay what you want
-
Making live repls behave
-
Why query planning for streaming systems is hard
-
0009: 2021 Q1 roundup, updates to internal consistency, garden of forking paths, push vs pull, beca, cambria
-
2021 Q1 roundup
-
0008: the last internal consistency, geoffrey litt's new newsletter, business structure vs quality, aws throttling, papoc, our machinery, on twitter, injuries
-
Internal consistency in streaming systems
-
0007: yet more internal consistency, re: how safe is zig, async performance, local-first software, fuzzers and emulators, deterministic hardware counters, zig goto
-
0006: more internal consistency, how safe is zig, bullshit jobs, debt, utopia of rules, kevin's zig adventure, pinebook pro, trio
-
Bullshit jobs
-
Debt
-
Utopia of rules
-
How (memory) safe is zig?
-
Memory-mapped IO registers in zig
-
0005: internal consistency in streaming systems, MMIO in zig, a small matter of programming, rxi, martin kleppmann's new patreon, redpanda benchmarks
-
An opinionated map of incremental and streaming systems
-
A small matter of programming
-
Homeschooling
-
0004: map of incremental/streaming systems, draft of thoughts on benchmarking streaming systems, the mature optimization handbook, various dataflow and database talks
-
The mature optimization handbook
-
How Materialize and other databases optimize SQL subqueries
-
0003: optimizing correlated subqueries, digital minimalism, data-oriented design
-
Digital minimalism
-
0002: correlated subqueries intro, text editor data-structures, working in public, thoughts on independent research
-
Working in public
-
0001: welcome, text editor intro + rendering
-
Why isn't differential dataflow more popular?
-
2020 spending
-
Looking for more debugger
-
Looking for debugger
-
Canada's Express Entry program
-
Assorted thoughts on zig (and rust)
-
Small tech
-
Imp: iteration
-
Imp: boxes
-
Imp: solving functions
-
Open multiple dispatch in zig
-
Pinephone first steps
-
SELECT wat FROM sql
-
Imp: decorrelation
-
Static Type Annotation vs. The Entire World of Contemporary Web Development
-
2019 spending
-
Acceleration
-
Imp: simple interpreter
-
Imp: types
-
Imp: denotational semantics
-
Imp: core language
-
Imp: intro
-
Frugality is non-linear
-
Competence
-
Those Who Study History Are Doomed To Repeat It
-
Fox and Rabbit Products
-
Zero-copy deserialization in Julia
-
Julia as a platform for language development
-
Psychology vs the graphics pipeline
-
Staged interpreters in rust
-
Contrast codes are an implementation detail
-
A UI library for a relational language
-
Decision points and utility
-
Monolog
-
Quick and dirty review of Psychology of Programming Interest Group 1989-2015
-
Vive experiments
-
A practical relational query compiler in 500 lines of code
-
Complexity budgets
-
Three months of rust
-
Scaling down
-
Imperative thinking and the making of sandwiches
-
Pain we forgot
-
Local state is harmful
-
Search trees and core.logic
-
Strucjure: motivation
-
Causal ordering
-
Optimising texsearch
-
Design and analysis of a gossip algorithm
-
Examining scampy