Recitation Notes

September 24, 2017

One thing I miss from being a teaching assistant is getting to write up recitation and lecture notes for technical topics. Like with teaching any other subject, writing up explanations for interesting things I’ve found helps me round out what concepts are still confusing. I also miss getting to make nice LaTeX-typeset PDFs.

Recitation notes are distinguished from normal blog posts in that they’ll cover more CS theory-oriented topics and will be more instructive than experience-based. All recitation notes are tagged with the tag recitation.

All posts tagged with recitation

I might “cross post” a few of the more interesting existing recitation handouts I’ve made over the years (though some of them make a heavy-handed assumption that you’re in the class currently).

Read More

Concurrent Programming in ML: A Race

I want to call attention to what I think is a race condition in one of the code listings in the book “Concurrent Programming in ML”. The problem is that some of the data isn’t protected by a lock, which can lead to a stale read and incorrect behavior. I trace the bad behavior, and propose a fix. Continue reading

Prefer .then() over .catch()

Published on May 31, 2018

Union Types in Flow & Reason

Published on April 19, 2018