¶ Lua can be a really cool HTML templating engine 
 Riki gives a good overview of some Lua features that make it an especially good substrate for creating DSLs — in this case, as a templating language for producing HTML. 
 Lua can be a really cool HTML templating engine [riki.house] 
 Compare this with the options in a less DSL-friendly language, like Go. (Including…

 
 ¶ Standards for technological innovation, Wendell Berry 
 
 The new tool should be cheaper than the one it replaces. 
 It should be at least as small in scale as the one it replaces. 
 It should do work that is clearly and demonstrably better than the one it replaces. 
 It should use less energy than the one it replaces. 
 If possible, it should use some form of…

 This page is also available via Gemini at gemini://dcreager.net/

 
 ¶ Reading log 
 2025-07-18 
 Continuing digging into Castagna et al's papers about set-theoretic types. I'm in the middle of implementing a “snazzier” unification solver for ty , and so I've been digging through [Castagna2022] looking for specifics about type variables and inferring specializations of them. 
 [Castagna2022] “Programming with Union, Intersection, and…

 
 ¶ Arcade1Up Raspberry Pi mod 
 2025-06-21 
 Going to try modding our broken Arcade1Up at the ski cabin, following this guide: 
 Arcade1Up Costco Super Pac-Man mod [koenaertrs.ca] 
 
 
 This page is also available via Gemini at gemini://dcreager.net/

 
 ¶ Reading log 
 2025-06-11 
 The Python type system builds on the gradual typing literature. We've been chatting with the authors of the Elixir gradual typing work [Castagna2023] to compare notes about modeling and implementing language features in the type system. 
 [Castagna2023] The design principles of the Elixir type system 
 As part of those discussions, Castagna…

 
 ¶ Hotspot performance profile viewer 
 2025-06-02 
 Just ran across Hotspot, a new Linux GUI for viewing profile information. (And in particular, perf profile information.) 
 hotspot [GitHub] 
 Learned about it via Jamie Brandon: 
 monthlog 0053 [scattered-thoughts.net] 
 » Performance 
 
 
 This page is also available via Gemini at…

 
 ¶ “Imperative” property testing and the arbtest crate 
 2025-05-01 
 Came across a new crate for property testing in Rust. It's called arbtest , written by matklad. 
 arbtest crate 
 matklad 
 It aims to provide a simpler API than quickcheck and proptest . In particular, it follows the pattern of “imperative property testing”. Instead of using macro wizardry to…

 
 ¶ Viewing man pages using neovim 
 2025-04-10 
 I get frustrated when I accidentally pull up neovim's man page viewer when I press Shift-K on something. But TIL that you can do it on purpose by using neovim as your MANPAGER : 
 Neovim man filetype 
 lobste.rs suggestion from jbranchaud 
 It includes a local mapping so that a bare q closes the viewer, just like if…

 
 ¶ Piccolo 
 Piccolo is a stackless Lua interpreter written in Rust. 
 Piccolo: A stackless Lua interpreter in Rust 
 kyren/piccolo [GitHub] 
 » Languages » Lua 
 
 
 This page is also available via Gemini at gemini://dcreager.net/