Still on break, but I had to log in to celebrate the first anniversary of Logic for Programmers!

I wrote about the process of first getting it out, how the book has changed since then, and the plan to get it to 1.0. Read here: buttondown.com/hillelwayne/...

it turns out 撫劒傷世路 "caressing your blade and lamenting the state of it all" is from an earlier, Tang-dynasty poem:

zh.wikisource.org/zh-hant/%E8%...