Clicky

Harry R. Schwartz

Software engineer, nominal scientist, gentleman of the internet. Member, ←Hotline Webring→.


Going to OPLSS 2016!

Published 13 Mar 2016. Tags: computer-science, formal-methods, personal, oplss.

I’ve been accepted to the Oregon Programming Languages Summer School! I’ll be spending the second half of June studying PLT in Eugene, OR. I’m hugely looking forward to it.

As such, expect to see a little more Haskell, type theory, and math on the blog as I frantically prepare to get the most out of it.

Unrelatedly, it just might be spring in Boston:

Spring in Boston