As some readers may not be familiar with the name Xavier Leroy, I just want to e... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		baruchel 5 months ago \| parent \| context \| favorite \| on: Control structures in programming languages: from ... As some readers may not be familiar with the name Xavier Leroy, I just want to emphasize that he is one of the people behind OCaml and a leading figure promoting Rocq/Coq.

tomsmeding 5 months ago | [–]

That, and the main author of CompCert [1], as well as (apparently) the author of the original threading support in the Linux kernel [2].

[1]: https://en.wikipedia.org/wiki/CompCert

[2]: https://en.wikipedia.org/wiki/Xavier_Leroy

gpderetta 5 months ago | [–]

IIRC He was also the author of the original LinuxThread glibc pthread implementation back in the '90 until it was replaced by NPTL in the mid '00.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact