{"id":1667,"date":"2021-09-26T16:43:07","date_gmt":"2021-09-26T21:43:07","guid":{"rendered":"https:\/\/www.thinkulum.net\/blog\/?p=1667"},"modified":"2021-09-26T17:12:58","modified_gmt":"2021-09-26T22:12:58","slug":"weeknote-for-9-26-2021","status":"publish","type":"post","link":"https:\/\/www.thinkulum.net\/blog\/2021\/09\/26\/weeknote-for-9-26-2021\/","title":{"rendered":"Weeknote for 9\/26\/2021"},"content":{"rendered":"
\n\t\n\t<\/iframe>\n<\/div>\n

Programming<\/h2>\n

\ud83d\ude0e<\/p>\n

I got through lesson 7 of Get Programming with Haskell<\/em>.<\/strong> At this rate I should be done in five more weeks, though I’ll take some breaks for other projects. I’m having a much easier time with this book, so I think I can complete it without much trouble. Haskell exercises are kinda fun. They’d make good puzzle books.<\/p>\n

I’m dipping my toe into Linux with The Linux Command Line<\/em><\/a> by William Schotts.<\/strong> Haskell and Org mode have put me back in touch with what I think of as “the magic of text,” so I’d like to take another stab at getting to know command-line Linux. Linux does have graphical interfaces that look a lot like Windows, but to me real<\/em>\u00a0Linux means typing. Incanting, you could say.<\/p>\n

I’m dipping my toe into software correctness<\/a> with Practical TLA+<\/em> by Hillel Wayne<\/a>.<\/strong> I found his blog a while back, and I think of it as my keyhole into this important field. After my last foray into software development literature where I learned the many, many ways software can go wrong, I’m finding it necessary to wrap my programs in several layers of straightjackets. But I don’t really know how, so that’s where Hillel Wayne comes in.<\/p>\n

Fiction<\/h2>\n

\ud83d\ude42<\/p>\n

A Charles Dickens project at work put me in the mood for Victorian ghost stories.<\/strong> I think that’ll be my theme for this year’s October, though vampires might also make an appearance. I’m looking through ST Joshi<\/a>‘s Unutterable Horror<\/em> for Victorian recommendations, and I’m looking for LibriVox<\/a> recordings of the ones I pick.<\/p>\n","protected":false},"excerpt":{"rendered":"

Programming \ud83d\ude0e I got through lesson 7 of Get Programming with Haskell. At this rate I should be done in five more weeks, though I’ll take some breaks for other projects. I’m having a much easier time with this book, … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[186,13,167],"tags":[],"class_list":["post-1667","post","type-post","status-publish","format-standard","hentry","category-fiction","category-programming","category-weeknotes"],"_links":{"self":[{"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/posts\/1667","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/comments?post=1667"}],"version-history":[{"count":2,"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/posts\/1667\/revisions"}],"predecessor-version":[{"id":1669,"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/posts\/1667\/revisions\/1669"}],"wp:attachment":[{"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/media?parent=1667"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/categories?post=1667"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.thinkulum.net\/blog\/wp-json\/wp\/v2\/tags?post=1667"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}