SQL

TruthTable: A Verifiable Query Engine

TruthTable: A Verifiable Query Engine

TruthTable is a verifiable database engine that produces succinct cryptographic proofs for SQL query execution. It supports a wide range of SQL queries by leveraging query plans, polynomial encoding, and operator-specific PIOPs. It features a query planner with proof-specific optimizations and a novel batch compilation engine (ARCPOP). Benchmarks on TPC-H show average proving times of 55 seconds, verification times of 32 milliseconds, and proof sizes of 24kB, significantly outperforming prior academic and industrial systems in speed and expressiveness.

The 12 KB File That Replaces Weeks of Training (with Tristan Handy)

The 12 KB File That Replaces Weeks of Training (with Tristan Handy)

Tristan Handy, founder and CEO of dbt Labs, details the evolution of analytics engineering from a 2016 study into a tool used by over 100,000 data teams. He explains his decision to use SQL over Spark for accessibility, the concept of "progressive complexity," and how dbt projects transform raw data into modeled tables using a Directed Acyclic Graph. Handy elaborates on the critical role of the semantic layer in ensuring consistent metric definitions for both human users and AI agents, especially in large organizations. He introduces the dbt Fusion Engine, aiming to bring type safety and universal SQL understanding, and discusses how 12-kilobyte skill files can revolutionize large-scale dbt migrations, reducing them from years to weeks by enabling AI agents to absorb vast amounts of expert knowledge.

What Are Large Database Models? AI for SQL Data

What Are Large Database Models? AI for SQL Data

Martin Keen introduces Large Database Models (LDMs), a new AI paradigm that brings advanced analytical capabilities directly into SQL and relational databases. This allows for semantic queries on the 99% of enterprise data traditionally locked away, enabling faster, more secure insights without costly data movement.