Stories by mpweiher

The Syntax and Semantics of Quantitative Type Theory

Opening the Lid on Criminal Sentencing Software

If You Liked SQL,You'll Love XQUERY (2005)

Targeting Meritocracy

New C++ experimental feature: The tadpole operators

Zeolite catalysts convert carbon dioxide to fuel

NASA’s cold fusion tech could put a nuclear reactor in every home car and plane

Before the Internet

Is Productivity Growth Becoming Irrelevant?

Android Killed Windows Phone, Not Apple

If Object-Oriented Programming were announced today

“Fixing the Web” with Jeff Jaffe, Brewster Kahle and Steven Gordon

The perils of async void

Making Engineering Team Communication Clearer, Faster, Better

MAL (Make a Lisp) in GNU Smalltalk

A Field Guide to Boxology: Preliminary Classification of Architectural Styles

Measuring Empirical Computational Complexity (2007) [pdf]

Common Ground and Coordination in Joint Activity (2004) [pdf]

A Unified Theory of Garbage Collection (2004) [pdf]

RethinkDB: why we failed

221 222 223 224 225 226 227 228 229 230