When Kernel Programmers Lie to the Verifier: A Tale of Faulty Optimizations

2 points by ftyghome 148 days ago | 1 comment

sylware 148 days ago |

The future would be standard ISA assembly writting with a good management of "alternatives" for fast paths.

I want hardcore performant RISC-V implementations for mobile/server/desktop already :)

Latest silicon node, ofc.

sylware 148 days ago |

The future would be standard ISA assembly writting with a good management of "alternatives" for fast paths.

I want hardcore performant RISC-V implementations for mobile/server/desktop already :)

Latest silicon node, ofc.