13 ms·

I've also taken David's compiler course, and it was excellent. I highly recommend taking any course he offers that interests you.