Stories by luu

When is proof by contradiction necessary?

On Haskell, Ruby, and Cards Against Humanity

Ethos’ Deeply Integrated Distributed Types [pdf]

If your results are highly counterintuitive

Incentivizing Quality and Impact in Computing Research

In Defense of Soundiness: A Manifesto [pdf]

What's Next for Moore's Law? For Intel, III+V = 10nm QWFETs

Origins of Mysterious Radio Wave Bursts Discovered

A “WTF is that sound” widget

Grand truths about human behavior

How the Internet Became a Shame-Storm

Kelly Criterion in detail

How to lie with Wikipedia

Efficient Doesn't Equal Performant

A Gentle Introduction to Semantic Subtyping (2005) [pdf]

The overuse of functions

Boolean parameters to API functions considered harmful (2011)

Parallella Chronicles Part Six: Moving Multiple Bytes Simply

Musings on JIT performance

Reading list for beginners in Computer Vision