Scattered Thoughts
- 2026-07-01: Artificial adventures
- 2026-06-24: I'm not a cat
- 2026-06-21: 0060: SF
- 2026-06-05: 0059: NYC and SF?
- 2026-04-22: Borrow-checking without type-checking
- 2026-04-07: 0058: borrow-checking surprises, books, links
- 2026-04-07: Borrow-checking surprises
- 2026-02-17: 0057: consulting, zest progress, reads that lasted, books, links
- 2026-02-17: 2025
- 2025-12-06: 0056: consulting, zest progress, existentialize, modular borrowing, do we understand sql, zjit updates, books
- 2025-11-01: 0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
- 2025-09-04: SQL needed structure
- 2025-09-02: 0054: zest namespaces, store tags after payloads, go allocation probe, everyones got one, pprof labelguns, go value types, go perf probe, tpde, anyblox, books
- 2025-08-05: Everyone's got one
- 2025-07-18: Go allocation probe
- 2025-07-13: Store tags after payloads
- 2025-05-31: 0053: consulting, go tips, benchmark_mode, niri, linkrot, sea of nos, llm outsourcing, books
- 2025-04-04: A rough survey of compilation, recompilation, and compile-time evaluation
- 2025-03-14: 0052: hytradboi videos and post-mortem, zest repo, no internet, on social media, my product is my garden, datafusion and clickhouse jits, books
- 2025-03-03: HYTRADBOI 2025 postmortem
- 2025-02-24: Other kinds of talks
- 2025-02-13: 0051: hytradboi program and tickets, query compilers, decorrelation encore, books, misc
- 2025-01-31: HYTRADBOI 2025 program and tickets
- 2025-01-12: The missing tier for query compilers
- 2024-11-25: 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
- 2024-11-16: It's ok to be afraid
- 2024-10-30: What is the point of an online conference?
- 2024-10-20: Serious fun
- 2024-10-08: 0049: hytradboi 2025, consulting, zest progress, labeled continue, bet against sql, zero-cost costs in debug, packed memory arrays, papers, books
- 2024-10-06: Smolderingly fast b-trees
- 2024-09-21: HYTRADBOI 2025
- 2024-08-31: 0048: zest progress, zest ordering, wasm alignment, umbra papers, future of fast code, new internet, books, other stuff
- 2024-07-11: 0047: babys second wasm compiler, zig honggfuzz, values can be values, dont look UB, surely you can be serious, other links, books
- 2024-07-09: Baby's second wasm compiler
- 2024-06-03: Ruminating about mutable value semantics
- 2024-05-02: 0046: zest syntax, zest progress, sponsors-only repos, future compilers, error-handling implementations, suboperators, why we drive
- 2024-04-16: Zest: syntax
- 2024-03-28: 0045: unexplanations, business things, zest progress, internal consistency repro, why murat blogs, compiler books + papers, compiling sql to wasm, other books
- 2024-03-27: Notes on compiler IRs
- 2024-03-23: Miscellaneous ideas
- 2024-03-21: How to trade software for small money?
- 2024-03-18: Unexplanations: sql is syntactic sugar for relational algebra
- 2024-03-11: Unexplanations: relational algebra is math
- 2024-02-28: 0044: zest progress, unexplanations, generic dilemma, bitc retrospective, adversarial memory safety, done list, tiny muffins, anti-anti-spam, happiness, daily rituals, other books
- 2024-02-28: Zest: dialects and metaprogramming
- 2024-02-21: Unexplanations: query optimization works because sql is declarative
- 2024-02-04: Zest: notation and representation
- 2024-01-15: 0043: 2023, debog, never sort, critique of sql, status game, more fuel you
- 2024-01-15: 2023
- 2023-12-01: 0042: consulting lessons, there are no strings on me, buttondown, focus goof, jsfuck, 1ml
- 2023-11-22: There are no strings on me
- 2023-11-04: 0041: columnar kernels in go, go grouches, column sketches, why user-mode threads, gross margins vs open source, celebrity worship
- 2023-10-20: Columnar kernels in go?
- 2023-09-29: 0040.1: meta in myanmar
- 2023-09-29: 0040: olap survey, lobster, feldera, innovation, wizard papers, umbra papers, olap papers
- 2023-09-28: A shallow survey of OLAP and HTAP query engines
- 2023-08-29: 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
- 2023-08-28: Baby's first wasm compiler
- 2023-08-24: Implementing interactive languages
- 2023-08-10: 0038.1: consulting
- 2023-07-28: 0038: cheap compilation, mvs-to-wasm, automatically isolating bugs, mastodone, other stuff
- 2023-06-27: 0037: dynamic mutable value semantics, interior pointers, uninterning, functionless effects, papers, books
- 2023-05-29: 0036: typescript, papers, books
- 2023-05-04: 0035: back to the shack
- 2023-04-19: What is a database?
- 2023-03-31: 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
- 2023-03-05: 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
- 2023-01-31: 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
- 2023-01-05: 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
- 2023-01-05: 2022
- 2022-12-05: 0030: lsm perf, colorblind concurrency, tracing, evacuating preimp, reading, fixing my shoulders
- 2022-11-04: 0029: san francisco, seattle, tigerbeetle, studying, links
- 2022-10-05: 0028: HYTRADBOI jam, sqllogictest in a week, how safe is zig again, rr on alder lake, google maps jank, links
- 2022-08-31: 0027.1: hytradboi jam
- 2022-08-28: 0027: preimp, framework, dotfiles and backups, links
- 2022-07-26: 0026: break, preimp essay, focus + clojure, zed experiments, decorrelation and nested relations, bunny, sqlite mode, reading, links
- 2022-06-24: 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
- 2022-05-28: 0024: HYTRADBOI postmortem, HYTWACFI?, preimp, emergent ventures, data and reality, merkle search trees, readyset, julia compilation times
- 2022-05-02: HYTRADBOI 2022 postmortem
- 2022-04-24: 0023: HYTRADBOI teaser, dida vs datalogui, preimp cruft, dbsp, links etc
- 2022-03-29: The shape of data
- 2022-03-28: 0022: preimp, shape of data, hytradboi progress, office hours, in nyc, riffle, cue, technical dimensions, js compound keys, hop
- 2022-02-21: 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
- 2022-02-03: 0020: hytradboi, milestones, data soup, airtable, self-hosting
- 2022-01-26: 0019: Refactor
- 2022-01-17: 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
- 2022-01-10: Imp: heterogenous types
- 2021-12-30: 2021
- 2021-12-20: Coding
- 2021-12-17: Why start a new database conference?
- 2021-12-15: 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
- 2021-11-26: Testing
- 2021-11-25: Writing
- 2021-11-15: 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
- 2021-11-01: Emotional management
- 2021-10-23: Moving faster
- 2021-10-14: Speed matters
- 2021-10-12: 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-10-12: 2021 Q3 roundup
- 2021-10-09: Better operator precedence
- 2021-10-06: Setting goals
- 2021-09-29: Things unlearned
- 2021-09-22: On bad advice
- 2021-09-22: Reflections on a decade of coding
- 2021-09-06: 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
- 2021-09-06: Focus: intro
- 2021-09-06: Focus: rendering
- 2021-09-06: Focus: text
- 2021-09-06: Thoughts on benchmarking streaming systems
- 2021-09-04: Imp: live repl
- 2021-08-07: 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
- 2021-08-05: Implicit ordering in relational languages
- 2021-07-27: Ultralearning
- 2021-07-09: 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-07-09: 2021 Q2 roundup
- 2021-07-09: Against SQL
- 2021-06-14: 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
- 2021-05-18: 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
- 2021-05-18: Making live repls behave
- 2021-05-08: Why query planning for streaming systems is hard
- 2021-04-24: 0009: 2021 Q1 roundup, updates to internal consistency, garden of forking paths, push vs pull, beca, cambria
- 2021-04-22: 2021 Q1 roundup
- 2021-04-17: 0008: the last internal consistency, geoffrey litt's new newsletter, business structure vs quality, aws throttling, papoc, our machinery, on twitter, injuries
- 2021-04-17: Internal consistency in streaming systems
- 2021-04-03: 0007: yet more internal consistency, re: how safe is zig, async performance, local-first software, fuzzers and emulators, deterministic hardware counters, zig goto
- 2021-03-19: 0006: more internal consistency, how safe is zig, bullshit jobs, debt, utopia of rules, kevin's zig adventure, pinebook pro, trio
- 2021-03-19: Bullshit jobs
- 2021-03-19: Debt
- 2021-03-19: Utopia of rules
- 2021-03-19: How (memory) safe is zig?
- 2021-03-08: Memory-mapped IO registers in zig
- 2021-02-27: 0005: internal consistency in streaming systems, MMIO in zig, a small matter of programming, rxi, martin kleppmann's new patreon, redpanda benchmarks
- 2021-02-27: An opinionated map of incremental and streaming systems
- 2021-02-25: A small matter of programming
- 2021-02-16: 0004: map of incremental/streaming systems, draft of thoughts on benchmarking streaming systems, the mature optimization handbook, various dataflow and database talks
- 2021-02-16: The mature optimization handbook
- 2021-02-16: How Materialize and other databases optimize SQL subqueries
- 2021-02-06: 0003: optimizing correlated subqueries, digital minimalism, data-oriented design
- 2021-02-06: Digital minimalism
- 2021-01-30: 0002: correlated subqueries intro, text editor data-structures, working in public, thoughts on independent research
- 2021-01-26: Working in public
- 2021-01-25: 0001: welcome, text editor intro + rendering
- 2021-01-21: Why isn't differential dataflow more popular?
- 2021-01-15: 2020 spending
- 2020-12-13: Looking for more debugger
- 2020-12-13: Looking for debugger
- 2020-10-26: Canada's Express Entry program
- 2020-10-19: Assorted thoughts on zig (and rust)
- 2020-09-07: Small tech
- 2020-06-17: Imp: iteration
- 2020-06-02: Imp: boxes
- 2020-04-29: Imp: solving functions
- 2020-04-28: Open multiple dispatch in zig
- 2020-04-27: Pinephone first steps
- 2020-04-16: SELECT wat FROM sql
- 2020-02-02: Imp: decorrelation
- 2020-01-04: 2019 spending
- 2019-10-18: Imp: simple interpreter
- 2019-10-14: Imp: types
- 2019-10-01: Imp: denotational semantics
- 2019-09-30: Imp: core language
- 2019-09-27: Imp: intro
- 2019-04-09: Frugality is non-linear
- 2018-08-28: Zero-copy deserialization in Julia
- 2018-08-16: Julia as a platform for language development
- 2017-12-11: Psychology vs the graphics pipeline
- 2017-11-22: Staged interpreters in rust
- 2017-11-21: Contrast codes are an implementation detail
- 2017-07-28: A UI library for a relational language
- 2017-07-08: Decision points and utility
- 2017-03-16: Monolog
- 2016-11-17: Quick and dirty review of Psychology of Programming Interest Group 1989-2015
- 2016-10-28: Vive experiments
- 2016-10-11: A practical relational query compiler in 500 lines of code
- 2015-10-25: Complexity budgets
- 2015-06-04: Three months of rust
- 2015-02-09: Scaling down
- 2014-07-21: Imperative thinking and the making of sandwiches
- 2014-05-17: Pain we forgot
- 2014-02-17: Local state is harmful
- 2012-12-19: Search trees and core.logic
- 2012-12-04: Strucjure: motivation
- 2012-08-16: Causal ordering
- 2010-12-08: Optimising texsearch
- 2010-09-04: Design and analysis of a gossip algorithm
- 2010-05-19: Examining scampy
End of feed.