ibobev

Isn't Microsoft also using a monorepo?

If we accept this definition, C++ already seems to be many different languages. At my job, I'm currently fighting floating-point determinism issues across different build configurations, compilers, CPUs, operating systems, and standard library and libm implementations so that snapshot tests pass with the same hashes on all platforms. I can confirm that this is a complete nightmare.

> An infinite loop should compile to an infinite loop.

I think that a compiler option should control this. It can be a nice optimization, but the programmer should be able to opt out.

What about Kona? https://logicalintelligence.com/kona-ebms-energy-based-model...

> A hidden metric here is the number of new bugs created by these fixes.

If the project has proper test coverage, there should be no significant number of new bugs. This is no different than the possible regressions added by a human-implemented feature.

And LLMs have made implementing a massive number of tests far easier and faster than before the LLM era.

The real fiscal burdens on your society are your military spending and the interest on the debt you have already taken on.

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/