Loading...

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

CMU, Princeton join forces to use AI for Nuclear Fusion

Large Language Models Are Changing Collective Intelligence Forever

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

The Truth About Linear Regression (2015)

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)

More →