Thursday, January 31, 2019

Incredibly retroblogging

An honest assessment indicates that I mostly want this blog as a post-dated account of things I once did, some time ago. Want up-to-date Lila information? want breaking Lila news? want to know where Lila is, what she's doing, and what she's thinking?

... well, you won't find it here.

On the other hand, you will find all that information, edited and curated as usual, for past iterations of Lila. In particular, starting with the "Repatriation Phase 1", you can now find the following new old posts:

The tiniest steamroller
Purple tree
Sky in mirrored skyscrapers
Ithaca is gorgeous
Bring Up the Bodies
License to Quill

Just so you know, my sycophantic readers, my curious future students, and my intermittently-checking-in relatives, I have made a resolution in 2019 to blog more consistently. And I've beeminded it, so if I fall off from my goal, the sharp sting of a penalty will (maybe) prompt me to post more frequently. I've successfully managed my akrasia on several other topics using beeminder. Here's to 2019, and the 11/12ths of it that remain!


This post's theme word is nuncupate (v tr), "to solemnly pronounce," or "to declare a will orally." Long-time readers considered Lila's nuncupation as tenuous and tongue-in-cheek, which it probably was.

Monday, January 28, 2019

In which "snake" is not a valid proof technique

Non-proof techniques that students tried today in lab, hesitantly, knowing that I wouldn't buy it:

  • proof by picture
  • proof by snake
  • proof by interpretive dance

This post's theme word is satisfice (v intr), "to satisfy the minimum requirements in a given situation." Your snake is very clever, but it does not satisfice in this class.