Xv6, a simple Unix-like teaching operating system

Folklore of ClarisWorks

How Wikipedia Influences Judicial Behavior

Mathematical Marbling

The New Spectre-Like 'PACMAN' Flaw Could Affect ARM-Based Chips (including Apple's M1)

PACMAN: Attacking ARM Pointer Authentication with Speculative Execution

The Right to Privacy (1890)

The Next Mainstream Programming Language: A Game Developer’s Perspective (2006)

Untangling mechanized proofs

ElectroVoxel: Electromagnetically Actuated Self-Reconfigurable Robots

Benefits and costs of writing a Posix kernel in a high-level language (2018)

Raft

MIT 6.S081 – Operating System Engineering

Application Performance and Flexibility on Exokernel Systems (1997)

On relational compilation

Our ancestors may not have been rich, but they had an abundance of leisure

Design and Implementation of a 256-Core BrainFuck Computer

Viewstamped Replication (1988)

MIT CSAIL network design principles

Commit: MIT's Compiler Group

Introduction To Program Synthesis

History of Hacking the Nintendo 3DS

The Michael Jackson Design Technique: A study of the theory with applications (2009)

Mental Poker

A Brief History of the Internet

The Missing Semester of Your CS Education

Man-Computer Symbiosis (1960)

Differentiable Rasterizer for Vector Graphics

MIT study: Covid-19 vaccines may be less effective for racial minorities

Packrat Parsing: Simple, Powerful, Lazy, Linear Time

More →