3 ms·
This looks interesting, but I was hoping it would be a language where you could statically enforce security guarantees, like timing invariance in a block to pre
by tokenrove 12y ago
This looks interesting, but I was hoping it would be a language where you could statically enforce security guarantees, like timing invariance in a block to prevent timing attacks, or avoiding optimizations that would remove code that zeros memory.