Comment by tamnd
18 hours ago
My biggest inspiration for this project, though, is The Art of Computer Programming (TAOCP), that level of depth and precision is the ultimate goal. I'm also planning to include formal proofs of all algorithms in Lean, though that could easily turn into a 10-year project.
Python probably is not suitable for any project that you want to retain value for 10 years or more; the community has a policy against maintaining backward compatibility.
So I will stick with C. Recently, when I updated my very old knowledge, I noticed that C23 is actually pretty nice. It adds proper Unicode support, typeof and constexpr style keywords, improved atomics, and even better support for inline functions and generics.
That is also why in TAOCP, Don Knuth used MIX (and later MMIX) to keep the book language agnostic and timeless. Before Knuth's birthday next year, I am hoping to finish most of the exercises in TAOCP.
That's an amazing goal. I have TAOCP but I got hung up on some of the early questions, mostly because I wasn't sure I understood what he was asking. I didn't want to get in the habit of "looking at the answers" early.
I've been meaning to get back into it and just ask ChatGPT to straighten me out on a few things, e.g. "am I barking up the wrong tree or is this what he wants, but don't spoil me."
2 replies →
Ambitious!