Skip to main content Link Menu Expand (external link) Document Search Copy Copied

Why Pintos?

Why the name Pintos?

First, like nachos (the operating system previously used in CS 162), pinto beans are a common Mexican food. Second, Pintos is small, and a pint is a small amount. Third, like drivers of the eponymous car, students are likely to have trouble with blow-ups.