Top all-time · #13451
Jonathan Protzenko
Personal blog · jonathan.protzenko.fr · on HN as protzprogrammingsecurity
Jonathan Protzenko's personal blog at jonathan.protzenko.fr covers programming and security. Since 2019, 5 different Hacker News readers have linked it 8 times, most often “Eurydice: a Rust to C compiler”. It is still writing: the last post was on 2026-05-05, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for writing about Eurydice, a tool that compiles Rust to readable C, and related AeneasVerif projects such as Scylla, Charon and Aeneas.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Google Information Security Engineering (Seattle)
Most-linked posts?
- Eurydice: a Rust to C compiler2 people · 2 mentions · first linked 2025-12-07
What Hacker News says?
Several comments note that the headline is perhaps a little misleading; I agree, and I don't think any of us (I'm one of the cited people in the article) would've made such a strong claim. Ignoring for a moment the fact that this is an alpha release (and that as such, a handful of minor proofs, e.g. mundane facts related to endianness conversions, have yet to be completed), there are several limitations of our work.…
Comment linking /2019/04/02/evercrypt-alpha1.html
on “EverCrypt, a cryptographic library that is provably secure against known attacks”Submitted 15,000 lines of verified cryptography now in Python as a story · 483 points
HN discussionI highly recommend checking out the other projects from AeneasVerif (and Jonathan Protzenko ). Scylla is kind of Eurydice's dual. But also Charon and the eponymous Aeneas . Also, "There is ongoing work to integrate Eurydice-generated code for both Microsoft and Google’s respective crypto libraries." [1] which I find incredibly cool. This link is also a brilliant intro to Eurydice . [1] https://jonathan.protzenko.fr/…
Comment linking /2025/10/28/eurydice.html
on “Compiling Rust to readable C with Eurydice”Submitted Generating C code that people want to use as a story · 225 points
HN discussionSubmitted Eurydice: a Rust to C compiler as a story · 189 points
HN discussionSubmitted Generating C code that people want to use as a story · 4 points
HN discussionSubmitted A case study with Aeneas and jxl-rs as a story · 3 points
HN discussionSubmitted The strange world of GitHub repositories as a story · 3 points
HN discussion
