User Profile

[oleid]

https://github.com/KillingSpark/rustysd

Not a complete replacement, though....

[oleid]

How so? The llvm and the gcc backend support lots of hardware....

[oleid]

Astree is commercial. That doesn't help.
And not very fast: "Even large-scale industrial safety-critical software can be analyzed in just a...

[oleid]

Do you know any that works in a multi threading context? And does it work with dynamic memory? Is multi threading used in nuclear power plants and aerospace...

[oleid]

Says who?...

[oleid]

It is in our codebase. Which is mostly C++. AFAIR it is also the case for phoronix benchmarks. It is, however, slower for plain C code....

[oleid]

So in the end it's a "benchmark your code to see what works best". At work I use clang for development and gcc for deployment. Mostly due to...

[oleid]

To be fair: rust is probably not the only language with a similar properties, however probably the most widespread one....

[oleid]

They should be using SI units in their interface: temperatures in Kelvin. Then no negative numbers would be required.

[oleid]

They were talking about dependencies of spider IDE. And dependency handling. It really can be a mess sometimes, even with pip and virtualenvs....

[oleid]

Quite egocentric, aren't we?

iQIYI is the Chinese Netflix, launched in 2010....

[oleid]

According to Wikipedia:

• Facebook
• Netflix
• Vimeo
• iQIYI

https://en.m.wikipedia.org/wiki/AV1...

[oleid]

Actually, yes. most of Nvidia's professional hardware is running on Linux systems. And Microsoft cares so much about Linux they integrate it directly...

[oleid]

I think it is about performance competition, because they believe that the llvm backends isn't on-par with amdgpu-pro's shader compiler and ACO is....

[oleid]

Yeah, I was taking about the same thing. They are defined in the core library. The code snippet on the page you linked also mentions the same index function...

[oleid]

Does it have a spec?...

[oleid]

Please explain how you come to the conclusion that the person asking for backports doesn't know how to build their own kernel. IMHO, there is a difference...

[oleid]

Actually, bound checks in rust are also library functions. There are default implementations of the index trait for slices etc. in the core library....

[oleid]

Does anybody know what exactly got fixed?

I checked https://cdn.kernel.org/pub/linux/ker...angeLog-6.2.10, but nothing caught my...