jojva

Why not?

You have not read their readme:

> Some of the unformalized results could have issues. We will endeavor to fix any such issues quickly. We are also exploring community-hosted repositories for these materials.

They explain in the article that they eventually redirected all their resources towards NS.

Isn't it immediately obvious that solving something that humans have been unable to do for decades or more is the most tangible proof of ASI, or at the very least pretty good AGI?

Your comment is interesting because it shows how engineers view their work: through the product, i.e the why, or through the craft, i.e the how.

What you consider "exciting", as a theoretical gardener, is the act of taking care of the plants. What OP finds it exciting is that they may now get a team of gardeners that'll build a Versailles-like garden for free.

I wonder how much of it is simply that Sublime has a very pleasant default color theme (Monokai) in my opinion. It feels warmer than other IDEs. I actually use it in VScode too now.

Thesevm processes don't need to be immutable, they could evolve to accept both eventually. LaTeX has had its time, it's good to see competition even though it may not be as mature yet.

Something I rarely see asked would be: what's the maintenance story with rust? Do you have metrics about the number of bugs compared to other languages, e.g. go, python? When you have to add a new feature to an existing rust system, is it easier/harder/the same than with another language? How easy is it to read old rust code? Obviously, you won't have 10 year old rust codebases, but even reading something I wrote a year ago can be difficult in, e.g. C++.