dcreager.net

[Reading log] “Polymorphic functions with set-theoretic types” parts 1 and 2

[Link] Arcade1Up Raspberry Pi mod

[Reading log] “Programming with Union, Intersection, and Negation Types”

[Link] Hotspot performance profile viewer

“Imperative” property testing and the `arbtest` crate

Viewing man pages using neovim

[Link] Piccolo: A stackless Lua interpreter in Rust

Generating HTML from Go

[Link] Paul Downen's linear logic lecture

“Full” screen within a window in Firefox