What about the performance characteristics of the Lean programs? I know it is a natively compiled language, but is the code it produces comparable to that of modern system programming languages in terms of performance?
More interesting to me is the actual algorithm that the software uses and whether it is practical to apply it with pen and paper in an actual competition, if the number of steps is not too high, of course. Unfortunately, the article didn't go into that depth.
I intentionally shortened the title because there is a length limit. Perhaps I didn't do it the right way because I was unfamiliar with the mentioned meme. Sorry about that.
The author is Jencel P.? I saved this book sometime ago under the author name Boris Marinov? Is this the same person now writing under a different pen name?
Actually, throughout Eastern Europe, there was an excellent math and science curriculum during the socialist era. Despite all the negatives of this system, the good education was one of the huge positives. In the last 30 years in Bulgaria, there has been a significant decline, but some good traditions are still maintained, at least in the elite schools.
This reminds me of [this](https://www.youtube.com/watch?v=pW-SOdj4Kkk) talk by Jonathan Blow. He compared the startup time of an older and newer version of Photoshop. The newer one was several times slower despite basically being the same program.