ezyang’s blog

the arc of software bends towards understanding

May, 2012

Thoughts on gamifying textbooks

Earlier this year, Woodie Flowers wrote this criticism of MITx: We seem to have decided to offer “courses” rather than participate in the exciting new process of replacing textbooks with more effective training tools. Logitext, true to its name, was intended to explore what a chapter from a next-generation textbook on formal logic might look […]

  • May 24, 2012

An Interactive Tutorial of the Sequent Calculus

You can view it here: An Interactive Tutorial of the Sequent Calculus. This is the "system in three languages" that I was referring to in this blog post. You can also use the system in a more open ended fashion from this page. Here's the blurb: This interactive tutorial will teach you how to use […]

  • May 22, 2012

Ubuntu Precise upgrade (Thinkpad/Xmonad)

It is once again time for Ubuntu upgrades. I upgraded from Ubuntu Oneiric Ocelot to Ubuntu Precise Pangolin (12.04), which is an LTS release. Very few things broke (hooray!) The Monospace font changed to something new, with very wide glyph size. The old font was DejaVuSansMono, which I switched back to. Xournal stopped compiling; somehow […]

  • May 18, 2012

What happens when you mix three research programming languages together

“...so that’s what we’re going to build!” “Cool! What language are you going to write it in?” “Well, we were thinking we were going to need three programming languages...” “...three?” “...and they’ll be research programming languages too...” “Are you out of your mind?” This was the conversation in streaming through my head when I decided […]

  • May 16, 2012

Some thoughts about literature review

While working on my senior thesis, I had to write a prior work section, which ended up being a minisurvey for the particular subfield my topic was in. In the process, a little bird told me some things... If you can, ask someone who might know a little bit about the subject to give you […]

  • May 13, 2012