"Types: general but weak theorems, [...] Unit tests: specific and strong theorems" http://t.co/glyQ9QoM
miniblog.
Related Posts
I love how JS makes project-specific imports unambiguous: `import "./project-dir/foo"` versus `import "installed-pkg/foo".
I've been doing the same in my PL. I've just realised that `import "/home/wilfred/project/foo"` now works too. It's weird but probably harmless?
I'm increasingly treating terminal sessions as short lived: starting a fresh terminal tab keeps scrollback short and easy to search.
I'd love to have a terminal emulator that allows me to skip over output of specific verbose commands when searching.
I'm surprised there aren't more tools out there for starting a new project with some default config files.
There's `cargo new` but it's Rust specific and very minimal. create-react-app is React specific.
The only option I know of is cookiecutter. Surely it's a common problem?