All posts published on this site.
Everything published here, newest first.
Ctrl-C only flips an atomic counter in the client; the receive loop notices, writes a Cancel packet, and keeps draining packets so the connection stays in sync.
ClickHouse’s JSON type splits a document into per-path subcolumns, with typed paths, bounded dynamic paths, and a shared-data spill.
BuzzHouse pairs every random query with an oracle query and compares the two result files by MD5 to catch wrong answers, not just crashes.
ClickHouse moves WHERE conditions into PREWHERE by cost per rejected row, and reads PREWHERE columns in separate read steps.
ClickHouse flattens the join tree into a graph, searches it for a cheaper order, and rebuilds the plan.