Backlog

Types as propositions, programs as proofs, et al:

https://kseo.github.io/posts/2015-06-19-proofs-are-programs.html

https://www.cs.uleth.ca/~gaur/post/progasproof/

https://www.cs.cmu.edu/~fp/courses/15317-f08/lectures/04-pap.pdf

https://www.cs.cornell.edu/courses/cs3110/2017fa/l/21-curryhoward/lec.pdf

Unix Philosophy

http://www.catb.org/esr/writings/taoup/html/ch01s06.html

http://www.catb.org/~esr/writings/taoup/html/ch06s06.html Bernstein chaining

https://thenewstack.io/log4j-the-pain-just-keeps-going-and-going/

https://www.cisa.gov/sites/default/files/publications/CSRB-Report-on-Log4-July-11-2022_508.pdf

https://www.mindtools.com/pages/article/smart-goals.htm

https://www.notion.so/

Documentation / wiki system

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

https://en.wikipedia.org/wiki/Information_theory

https://en.wikipedia.org/wiki/AMPL

https://en.wikipedia.org/wiki/Graph_partition

https://en.wikipedia.org/wiki/Partition_(database)

https://en.wikipedia.org/wiki/Shard_(database_architecture)

Why Go Getting Generics Will Not Change Idiomatic Go

http://www.jerf.org/iri/post/2955 This is really about how functional paradigms do not really work in non-functional languages.

How To Design Programs

https://htdp.org/2022-6-7/Book/index.html

https://www.udacity.com/course/design-of-computer-programs–cs212

Design of Computer Programs course by Peter Norvig

https://drmaciver.substack.com/p/task-estimation-101