When Kernel Programmers Lie to the Verifier: A Tale of Faulty Optimizations (opens in new tab)

(blog.igns.top)

2 pointsftyghome3mo ago1 comments

1 comments

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.

j / k navigate · click thread line to collapse

(blog.igns.top)

2 pointsftyghome3mo ago1 comments

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.

j / k navigate · click thread line to collapse