zacny.net
declarative v imperative knowledge