Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

A Dependently Typed Assembly Language

Introduction to Deep Learning (CMU)

HOT: A Height Optimized Trie Index for Main-Memory Database Systems

Feature Flags vs Configuration Options (2020)

Feature Flags vs. Configuration Options – Same Difference?

Databases in 2024: A Year in Review

SQL or Death? Seminar Series – Spring 2025

CMU 15-799 :: Special Topics in Databases: Query Optimization (Spring 2025)

Vector Models for Data-Parallel Computing

Code helper

Reasonable Person Principle

MVCC – the part of PostgreSQL we hate the most (2023)

Are you sure you want to use MMAP in your database management system? (2022)

A seven-dimensional analysis of hashing methods [pdf] (2015)

Bloom: Optimization-Driven Interactive Diagramming

Pseudo Scheme: Scheme Implemented on Top of Common Lisp

What goes around comes around and around [pdf]

Common Lisp Names All Sixteen Binary Logic Gates

Penrose – Tool for Diagrams

The power of interoperability: Why objects are inevitable (2013) [pdf]

Mirage: A Multi-Level Superoptimizer for Tensor Programs

Church's λ-Calculus (2023) [pdf]

Ken Thompson: Reflections on Trusting Trust (Turing Award Lecture, 1984)

About Compiled and Vectorized Queries (2018) [pdf]

Xerion: Neural Network Simulator (1995)

Penrose – Create diagrams by typing notation in plain text

My favorite database shirts

Introduction to Probability for Computing

Car allergic to vanilla ice cream (2000)

A CD Spectrometer (2006)

More →