progscrape: cmu.edu

CMU, Princeton join forces to use AI for Nuclear Fusion

27 days ago ri.cmu.edu ai

Large Language Models Are Changing Collective Intelligence Forever

30 days ago cmu.edu

Reasonable Person Principle

30 days ago cs.cmu.edu

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

45 days ago cs.cmu.edu database postgresql

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

39 days ago db.cs.cmu.edu database

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

58 days ago 15721.courses.cs.cmu.edu pdf performance

Bloom: Optimization-Driven Interactive Diagramming

2 months ago penrose.cs.cmu.edu visualization

The Truth About Linear Regression (2015)

4 months ago stat.cmu.edu

Pseudo Scheme: Scheme Implemented on Top of Common Lisp

4 months ago cs.cmu.edu lisp scheme

What goes around comes around and around [pdf]

5 months ago db.cs.cmu.edu database pdf

CMU Launches New Initiative for Human-Centered AI

4 months ago library.cmu.edu ai

Common Lisp Names All Sixteen Binary Logic Gates

5 months ago cs.cmu.edu lisp

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.

5 months ago engineering.cmu.edu brain neuroscience

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

6 months ago contrib.andrew.cmu.edu hardware linux risc

Penrose – Tool for Diagrams

6 months ago penrose.cs.cmu.edu

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

6 months ago cs.cmu.edu pdf

Mirage: A Multi-Level Superoptimizer for Tensor Programs

6 months ago cs.cmu.edu compiler

What Recent Vulnerabilities Mean to Rust

7 months ago insights.sei.cmu.edu rust

Micro mirage: the infrared information carrier

7 months ago engineering.cmu.edu

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

7 months ago cs.cmu.edu pdf

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

8 months ago cs.cmu.edu turing

About Compiled and Vectorized Queries (2018) [pdf]

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

Xerion: Neural Network Simulator (1995)

9 months ago cs.cmu.edu

Penrose – Create diagrams by typing notation in plain text

10 months ago penrose.cs.cmu.edu

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

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

My favorite database shirts

12 months ago cs.cmu.edu database

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

12 months ago ri.cmu.edu pdf wifi

Introduction to Probability for Computing

13 months ago cs.cmu.edu compsci math

Car allergic to vanilla ice cream (2000)

14 months ago cs.cmu.edu

A CD Spectrometer (2006)