the arc of software bends towards understanding
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 […]
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 […]
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 […]
“...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 […]
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 […]