dcreager.net

¶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.

¶Standards for technological innovation, Wendell Berry The new tool should be cheaper than the one it replaces.

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.

¶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.

¶Hotspot performance profile viewer 2025-06-02 Just ran across Hotspot, a new Linux GUI for viewing profile information.

¶“Imperative” property testing and the arbtest crate 2025-05-01 Came across a new crate for property testing in Rust.

¶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.

¶Piccolo Piccolo is a stackless Lua interpreter written in Rust.