The Effectiveness of Checksums for Embedded Control Networks

15-816 Substructural Logics - Pfenning -- 2016

Discerning the Dominant Out-of-Order Performance Advantage: Is it Speculation or Dynamism? (2013)

Air Pollution Reduced When U.S. Embassies Around the World Installed Monitors and Tweeted the Readings

Common Lisp Names All Sixteen Possible Binary Logic Gates

Tom Mitchell's Machine Learning book now is free

täkō: A Polymorphic Cache Hierarchy for General-Purpose Optimization of Data Movement

Stack Computers: the new wave (1989)

Modeling light for solar panel placement in urban settings

Compilers, Hands-Off My Hands-On Optimizations (2016)

Robots learn and do more than 20 household tasks by watching and recording humans do these tasks: “Instead of waiting for robots to be programmed to complete tasks before deploying them into people’s homes, this technology allows us to deploy the robots and have them learn how to complete tasks”

Reflections on Trusting Trust

Republicans and Democrats See Their Own Party’s Falsehoods as More Acceptable, Study Finds

Researchers have developed a camera system that can see sound vibrations with such precision and detail that it can reconstruct the music of a single instrument in a band or orchestra…

[2018] CMU 15-721 Advanced Database Systems

Toyota Unintended Acceleration and Software Safety

Research explored how abstract concepts are represented in the brain across cultures, languages and found that a common neural infrastructure does exist between languages

The Programmable GPU Core (2011)

Repulsive Curves

Reflections on Trusting Trust (1984)

CMU's Recipe Archive

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

Maximal Length LFSR Feedback Terms

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

Discrete Differential Geometry: An Applied Introduction

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

Repulsive Surfaces

Smiley Lore :-) (2002)

Carnegie Mellon Robotics Academy

Three Sins of Authors in Computer Science and Math

More →