A series of essays and books impacted my life the most. It all started on a sunny day, when I was a structural engineering intern full of hope and a beautiful g

A series of essays and books impacted my life the most. It all started on a sunny day, when I was a structural engineering intern full of hope and a beautiful girlfriend, waiting for my code to run(blah blah iteratively determine deflections of structures with non-linear stress-strain responses blah blah), when I read: https://www.cs.utexas.edu/~EWD/transcriptions/EWD10xx/EWD1036.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD10xx/EWD103... I quit my job the next day. This was the beginning of the end. Like with all drugs, there is a slippery slope. You start with marijuana, and you move onto heroin. In my case, I graduated to: "Formal Methods of Software Design": http://www.cs.toronto.edu/~hehner/FMSD/ http://www.cs.toronto.edu/~hehner/FMSD/ After that I read: https://www.amazon.com/Predicate-Calculus-Program-Semantics-Dijkstra/dp/1461279240 https://www.amazon.com/Predicate-Calculus-Program-Semantics-... Now in general I am quite depressed: * I am very judgemental and look down upon most HN posts, especially the ones that praise Alan Kay, natural language programming, or view programming as a "craft" rather than a "science"; my favourite HN feature is the "hide" button * I am disappointed with my math education, and tired of all the rabbits being pulled out of hats in my textbooks * I wish I had enough will power and discipline to write a programming language that is nothing more than predicate calculus, but I don't I foresee that as a result of these readings, I will die alone, sad, and depressed...oh AND penniless. I wish I was joking. That's a pretty huge impact.