Loading...

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

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)

Some of the error messages produced by Apple's MPW C compiler (2006)

Diagram Layout in Stages

Introduction to the Conjugate Gradient Method Without Agonizing Pain (1994) [pdf]

C89 compiler produces printable executables from C code [pdf] (2017)

Penrose 3.0

Are You Sure You Want to Use MMAP in Your Database Management System? (2022)

EinNet: Optimizing Tensor Programs with Derivation-Based Transformations

A team from Carnegie Mellon University's Robotics Institute has developed an autonomous robot to control the spread of spotted lanternflies, invasive insects known to destroy economically important crops.

Principles of Imperative Computation

Magvit: Masked Generative Video Transformer

Building a new database management system in academia (2017)

Programming in Standard ML (2011) [pdf]

Purely Functional Data Structures (1996) [pdf]

Nobody cares about our concurrency control research [pdf]

Recreating Medieval English Ales (1998)

More →