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

2 pointsposted 9 hours ago
by ftyghome

1 Comments

sylware

8 hours 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.