Reading List

Want to read

• https://kythe.io/docs/kythe-overview.html — Kythe is a set of tools and standards to help software which parses and edits source code to communicate with each other.
• https://www.unison-lang.org/learn/ — Unison is a unique programming language, where so few languages are. Primarily, it stores code in a database as, I believe, an abstract syntax tree. This would allow for a multitude of features not feasable in source-based (normal) languages. For instance, Unison “references code by hash rather than by name”, which appears to allow for automated parallel changes.
• https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf
• https://lukeplant.me.uk/blog/posts/test-smarter-not-harder/
• http://lampwww.epfl.ch/papers/idealhashtrees.pdf
• VALUES AND OBJECTS IN PROGRAMMING LANGUAGES
• https://stackoverflow.com/questions/5400806/what-are-the-most-used-vim-commands-keypresses

Want to read again

• https://journal.stuffwithstuff.com/2015/09/08/the-hardest-program-ive-ever-written/
• https://elisehe.in/2022/10/16/attribute-selectors

Have read and enjoyed

• https://elisehe.in/2022/10/16/attribute-selectors
• https://sharats.me/posts/shell-script-best-practices/ - Part 5 on set -o nounset relates to my idea of exhaustive verification in data parsing. Note that Hacker News had a fairly… opinionated response to this, so take it with a grain of salt.
• Visual design rules you can safely follow every time