miniblog.

One advantage I've come to appreciate about Dash/Zeal docsets: it's really nice having focused search. The text search is constrained to the languages I care about enough to download the docset, substantially increasing the relevance. In Google I'd need to specify the language.

Trying the nix CLI today, and I'm seriously impressed with the formatting of its --help output. Indented warnings, italics, bullets, even adding a left border to code snippets! It's a nice reminder to take full advantage of terminal features to help the reader.

I'm designing a programming language and trying to decide the type of `let x = 1;`. Should it be Unit or Int? Advantage of Int: really convenient when evaluating snippets in a REPL. Advantage of Unit: It's much less confusing when type inference runs on an incomplete function.