Mon Feb 19 17:44:26 CET 2018

Naming it

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.

Some ideas:

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

- Haskell:
  - build system
  - DSL for algorithm (modeling + code gen)
  - property based testing

- Rust: operational code