I paused hardware-oriented work this week while waiting for a package of parts to arrive.
The few consecutive days not focused solely on my main project was a nice change of pace.
I spent more time talking and writing, and as a kind of sacrifice to being public, used my technical focus for most of the week to build this website which I'm now very happy to be writing on.
2024/09/24
Had many nice first introductions with new batch of people starting at Recurse in person today.
Understood better what Hindley-Milner type systems are after learning about Algorithm W from Max and River.
Revived this site (hello), re-writing a half-done static site generator.
2024/09/25
Had still more great conversations with new people.
Worked on this site, making the Atom feed for following and page previews for the index.
Mentioned making a website using as few tools as possible to Max, who has understood the same vision, and shows me unk and his fork adding RSS.
Learned more about wire wrapping, giving me some better ideas for the pipeline from prototype to something more permanent.
Looked around for materials for a category theory study group, and failed to understand the first few sections of Introduction to Higher Order Categorical Logic. Skimmed the later sections less focused on pure math, and they might be worth the overall slog.
2024/09/27
Learned about MIME types and text/atom, needed to specify the ordinary XML file atom.xml is intended as an Atom feed.
All website scaffolding work declared good enough. Now public.
