I'm busy reading a book [0] by Keith Devlin about the correspondence between Pascal and Fermat. It's called the unfinished game and has been really good so far. It goes through the letters and provides some context around them.
[0] https://www.goodreads.com/en/book/show/4443547-the-unfinishe...
My key takeaway from the book is the importance of conceptual integrity and how hard this is to achieve the bigger the team. I think this is just as true today as it ever has been before.
On the human readability concern, we use protobuf converted to text format. It looks JSON like so very readable and comes with all the other benefits of protobuf.
I was going to mention Peter Naurs paper as well. It's fundamentally changed the way I think about software. The projects I've seen that are in the most trouble are those where the current devs haven't had the opportunity to work closely with developers that understood the codebase well.
Have a look at a site called neetcode. They offer collections of leetcode problems that are representative of what you'd see in an interview. They have tutorial videos for each problem, which should help you get back up to speed with these sort of problems.
Completely agree. Beyond being of interest in its own right, "There exists" is a prerequisite for further work in finding a practical approach to find the path.
I found learning about the binomial model to be particularly good at establishing intuition about option pricing. Nowadays it's considered a toy model but it makes the ideas of a replicating portfolio and risk neutral probabilities very clear with nothing more than basic high school math.