Viewing profile — fuklief

Congrats on the 30 years of marriage!

> It's better to use a constant time algorithm, but that's harder to do in a curve generic way and has a pretty significant performance impact (particular before the safegcd paper)…

I didn't know US/UK gov were against hybrids. AFAIU, the French and Germans are recommending hybrids as a first step before stand alone PQC [0]. [0]: https://cyber.gouv.fr/en/publi…

This survey by the same author also provides a good comparison https://saaramar.github.io/memory_safety_blogpost_2022/

I believe it means flattening the AST, here is a nice blog post about this technique https://www.cs.cornell.edu/~asampson/blog/flattening.html

I personally did not know about classes prépa before the last year of high school. I will forever be thankful for my maths teacher who told me about it that year, since I would hav…

- Make them good at science, i.e., Maths and Physics. - Get them into a decent high school, e.g., Henri 4 or Louis Le Grand in Paris. - Hope they have good grades and manage to get…

Maybe they thought it's spelled "your" instead of "you're".

> Google put in significant engineering effort into "Ryu", a parsing library for double-precision floating point numbers: https://github.com/ulfjack/ryu It's not a parsing library,…

See CHERI and Arm Morello https://www.arm.com/blogs/blueprint/morello

> Probably was some dude’s L7 promo project in AWS. Actually a former CS prof at Maryland moving to industry. https://mhicks.me/

> In other words, CHERI can reduce memory-unsafety related slowdowns by two thirds, which is pretty incredible. AMD CPUs are even starting to have hardware support for it, bringing…

I believe it means High Level Synthesis in this context.

You might be interested in [Catala]( https://catala-lang.org/en/ ), a domain specific language for implementing legislative texts. Iirc, they have worked on the french tax code, an…

I'm using the following for fonts. \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage[largesc]{newpxtext} \usepackage{newpxmath} \usepackage[supsfam=newpx]{superiors}…

Would virtual memory still be necessary on a capability machine architecture [0] ? My understanding is that would not be the case since all programs can only access memory that's b…

By "register allocation verifier", I meant the checker as mentioned in the post you quote.

In CompCert's case though, the register allocation verifier itself is verified. I'm not so sure the SMT solver used here are.