*> Cool if true, but sounds like a very significant amount of work.* Not coincid... | Hacker News

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

		kibwen on July 19, 2023 \| parent \| context \| favorite \| on: A Decade of Rust, and Announcing Ferrocene > Cool if true, but sounds like a very significant amount of work. Not coincidentally, it's the sort of work that the sort of people who use verified compilers have the incentive to pay for.

qzw on July 19, 2023 [–]

Undoubtedly, and having a compliant compiler without being able to use any external crates would certainly be a major downer, so I'm sure they've thought this through and done their market research.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact