progscrape: cmu.edu

A Dependently Typed Assembly Language

42 days ago cs.cmu.edu assembly pdf plt

Introduction to Deep Learning (CMU)

2 months ago deeplearning.cs.cmu.edu

HOT: A Height Optimized Trie Index for Main-Memory Database Systems

3 months ago 15721.courses.cs.cmu.edu database pdf

Feature Flags vs Configuration Options (2020)

3 months ago cs.cmu.edu pdf

Feature Flags vs. Configuration Options – Same Difference?

3 months ago cs.cmu.edu

Databases in 2024: A Year in Review

5 months ago cs.cmu.edu database

SQL or Death? Seminar Series – Spring 2025

4 months ago db.cs.cmu.edu database sql

CMU 15-799 :: Special Topics in Databases: Query Optimization (Spring 2025)

4 months ago 15799.courses.cs.cmu.edu compiler database

Vector Models for Data-Parallel Computing

5 months ago cs.cmu.edu

Code helper

6 months ago academy.cs.cmu.edu

CMU, Princeton join forces to use AI for Nuclear Fusion

7 months ago ri.cmu.edu ai

Large Language Models Are Changing Collective Intelligence Forever

7 months ago cmu.edu

Reasonable Person Principle

7 months ago cs.cmu.edu

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

7 months ago cs.cmu.edu database postgresql

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

7 months ago db.cs.cmu.edu database

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

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

Bloom: Optimization-Driven Interactive Diagramming

8 months ago penrose.cs.cmu.edu visualization

The Truth About Linear Regression (2015)

10 months ago stat.cmu.edu

Pseudo Scheme: Scheme Implemented on Top of Common Lisp

11 months ago cs.cmu.edu lisp scheme

What goes around comes around and around [pdf]

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

CMU Launches New Initiative for Human-Centered AI

10 months ago library.cmu.edu ai

Common Lisp Names All Sixteen Binary Logic Gates

11 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.

11 months ago engineering.cmu.edu brain neuroscience

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

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

Penrose – Tool for Diagrams

12 months ago penrose.cs.cmu.edu

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

13 months ago cs.cmu.edu pdf

Mirage: A Multi-Level Superoptimizer for Tensor Programs

13 months ago cs.cmu.edu compiler

What Recent Vulnerabilities Mean to Rust

13 months ago insights.sei.cmu.edu rust

Micro mirage: the infrared information carrier

13 months ago engineering.cmu.edu

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