logoalt Hacker News

neuroelectronyesterday at 3:42 PM3 repliesview on HN

It's amazing to me that this is trusted to build so much of software. It's basically impossible to audit yet Rust is supposed to be safe. It's a pipe dream that it will ever be complete or Rust will deprecate it. I think infinite churn is the point.


Replies

pornelyesterday at 4:11 PM

Rust does its own testing, and regularly helps fix issues in LLVM (which usually also benefits clang users and other LLVM languages).

Optimizing compilers are basically impossible to audit, but there are tools like alive2 for checking them.

bigstrat2003yesterday at 5:59 PM

> I think infinite churn is the point.

That would require the LLVM devs to be stupid and/or evil. As that is not the case, your supposition is not true either. They might be willing to accept churn in the service of other goals, but they don't have churn as a goal unto itself.

show 1 reply
hu3yesterday at 3:57 PM

Go is sometimes criticised for not using LLVM but I think they made the right choice.

For starters the tooling would be much slower if it required LLVM.

show 1 reply