ibobev

But still, Lean is executable and can be used as an ordinary programming language.

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?

I'm also wondering why the same URL for both submissions isn't recognized as the same, and why the new submission was allowed.

I'm wondering why my submission, made 22 hours ago, is marked as a duplicate, but this submission, made just 12 hours ago, isn't.

https://news.ycombinator.com/item?id=47438490

Isn't Yandex a European Google? :D

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.

It is common for some titles to exceed the allowed length limit on HN. I often do not have enough time to contemplate the best way to shorten them.

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 source repository is here: https://github.com/CorsixTH/CorsixTH

Rainier had one of the most excellent C++ blogs. He is also the author of several books on modern C++ standards. Rest in peace, Rainer. :(

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?

Aren't checkouts much lighter than cloning the entire repository, both in terms of speed and space usage? I think so.

At least it is honest. If it were named the US Department of Peace, it would be very like 1984. ;)

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.

Ask Greeks for their work week. ;)

I hope the original hardware of retro systems will be in production again someday.

The Bulgarian parliament refused to organize a referendum despite the civil petition for such.

The personal website of Dmitry V. Sokolov. Includes the TinyRenderer: https://haqr.eu/tinyrenderer, TinyCompiler: https://haqr.eu/tinycompiler, and TinyOptimizer: https://haqr.eu/tinyoptimizer tutorials. Other tutorials and the same in other formats can be found in the author's GitHub: https://github.com/ssloy/.

* Tiny renderer or how OpenGL works: software rendering in 500 lines of code: https://github.com/ssloy/tinyrenderer/wiki)

* TinyRaytracer: Understandable RayTracing in 256 lines of bare C++: https://github.com/ssloy/tinyraytracer/wiki

* TinyRaycaster: 486 lines of C++: old-school FPS in a weekend: https://github.com/ssloy/tinyraytracer/wiki

* KABOOM! in 180 lines of bare C++: https://github.com/ssloy/tinykaboom/wiki/KABOOM!-in-180-line...

* Least squares for programmers: https://github.com/ssloy/least-squares-course)

I'm a long-time Grammarly user. I just tried Harper, and it simply performs very poorly. It is a good initiative, but I don't feel the current state of this software to be worthwhile.

A community of homebrew game developers and hardware researchers for the Nintendo Entertainment System (NES) and other retro consoles.

This title is wrong, but I cannot edit it anymore. The real title should be "Why Intelligence Is Not a Computational Process" by Roger Penrose. I wrongly posted the title of another video I watched before by Scott Aaronson. Could the moderators change the title and delete this comment?

The full title of the book is "Algebra, Topology, Differential Calculus, and Optimization Theory For Computer Science and Machine Learning" by Jean Gallier and Jocelyn Quaintance

Here are some other tutorials about operating systems development including some in Rust programming language: https://github.com/bobeff/programming-math-science?tab=readm...

Here is one article on this topic: https://gpuopen.com/learn/mesh_shaders/mesh_shaders-index/

- https://theoldreader.com/

Reading the title initially I was thinking about the Half-Life remake. :)

Hi Fabien,

A bit unrelated, but the links to your books at your website are no longer working. I tried to connect to you via email for this issue. Is this intentional or you will fix them?

Best regards, Ivan Bobev

The article's author now works with his girlfriend on this[1] game also written in Rust.

[1] https://store.steampowered.com/app/2198150/Tiny_Glade/

ID Software released the source code of their classic games up to "Doom 3: BFG Edition"[1] but it is unlikely that they will release the code for any of their newer games. I think that the reason is using a closed-source middleware owned by other companies in their newer titles.

Any modern AAA game even with its own engine uses one or more third-party middleware which hinders its release as an open source.

[1] https://github.com/id-Software/DOOM-3-BFG

Actually, the Cyrillic alphabet was invented in the First Bulgarian Empire by the disciples of St. Cyril and Methodius who created the Glagolic alphabet before that. The Cyrillic alphabet is the greatest civilizational achievement of Bulgaria for its entire history.