Pseudo Scheme: Scheme Implemented on Top of Common Lisp

What goes around comes around and around [pdf]

CMU Launches New Initiative for Human-Centered AI

Common Lisp Names All Sixteen Binary Logic Gates

Breakthrough approach enables non-invasive bidirectional brain-computer interfaces, or BCIs, using an innovative EEG wearable and novel focused ultrasound stimulation that both encodes and decodes brain waves using machine learning in a study with 25 human subjects.

A trustworthy, free (libre), Linux capable, self-hosting 64bit RISC-V computer

Penrose – Tool for Diagrams

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

Mirage: A Multi-Level Superoptimizer for Tensor Programs

What Recent Vulnerabilities Mean to Rust

Micro mirage: the infrared information carrier

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

ACT-R the theory is embodied in ACT-R the software

My favorite database shirts

Person-in-WiFi: Fine-Grained Person Perception Using WiFi [pdf]

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)

The best multicore-parallelization refactoring you’ve never heard of∗

Penrose 3.0

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

Autonomous robot to stave off spotted lanternflies

More →