Stories by dlo

Source Code Analysis for Security Through LLVM

An Old Article I Wrote: What to Know Before Debating Type Systems

John Cage on the Necessity of Boredom

Matthew Might just got tenure

Deep Habits: Plan Your Week in Advance

How to Read Proofs Faster: A Summary of Useful Advice

My Deliberate Quest to Read Proofs Faster

Reactive Streams

Postdoc Year-In-Review

Mandatory course load limits for undergraduate students?

How I Learned to Stop Worrying and Love the Tenure-Track Faculty Life

Getting Past Superficial

Pivotal's Experience at the Kaiser Code-A-Thon

Advertising adstock

Materialized views (PostgreSQL)

Healthy Start For Your Nutrition

Marissa Mayer's Lectures ecorner

Woody Allen and the Art of Value Productivity

Dropbox: Sweating the Details

To make it to the next level, strength training is a must (re: running)

1 2