progscrape: cmu.edu

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

14 months ago cs.cmu.edu turing

About Compiled and Vectorized Queries (2018) [pdf]

15 months ago 15721.courses.cs.cmu.edu pdf

Xerion: Neural Network Simulator (1995)

15 months ago cs.cmu.edu

Penrose – Create diagrams by typing notation in plain text

17 months ago penrose.cs.cmu.edu

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

18 months ago act-r.psy.cmu.edu

My favorite database shirts

18 months ago cs.cmu.edu database

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

18 months ago ri.cmu.edu pdf wifi

Introduction to Probability for Computing

19 months ago cs.cmu.edu compsci math

Car allergic to vanilla ice cream (2000)

21 months ago cs.cmu.edu

A CD Spectrometer (2006)

21 months ago cs.cmu.edu

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

21 months ago cs.cmu.edu apple c compiler

Diagram Layout in Stages

22 months ago penrose.cs.cmu.edu compiler graphics

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

22 months ago cs.cmu.edu pdf

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

23 months ago cs.cmu.edu c compiler pdf

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

22 months ago andrew.cmu.edu refactor

Penrose 3.0

23 months ago penrose.cs.cmu.edu

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

23 months ago db.cs.cmu.edu database

Autonomous robot to stave off spotted lanternflies

23 months ago cmu.edu

EinNet: Optimizing Tensor Programs with Derivation-Based Transformations

23 months ago cs.cmu.edu compiler

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.

23 months ago cs.cmu.edu

Principles of Imperative Computation

23 months ago cs.cmu.edu

Magvit: Masked Generative Video Transformer

24 months ago magvit.cs.cmu.edu video

Building a new database management system in academia (2017)

24 months ago cs.cmu.edu database

Programming in Standard ML (2011) [pdf]

24 months ago cs.cmu.edu pdf

Everything you always wanted to know about mathematics (2013) [pdf]

24 months ago math.cmu.edu pdf

Purely Functional Data Structures (1996) [pdf]