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

Intersection Types in Sorbet are Surprisingly Common

Conventional knowledge is that union types are common and intersection types are rare. But actually that’s not the case—intersection types show up in nearly every program Sorbet type checks thanks to control flow. Continue reading

What makes type checking Ruby hard?

Published on December 29, 2019

Surgery on Code from the Command Line

Published on July 30, 2019