Mon Feb 19 17:44:26 CET 2018
Time to accept it: it isn't as it used to be, and it's not getting
better. For a couple of years now I've seen a steady decline in
fatigue and working memory.
I want to keep programming, so I need to re-tune my tools.
- types: a large part of the problem is not catching small
inconsistencies early enough. A good type system catches 99% of
- automate everything. a working tool is the best documentation.
- raise the abstraction level
Practically, this means mostly Haskell and Rust.
- build system
- DSL for algorithm (modeling + code gen)
- property based testing
- Rust: operational code