Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
uecker
on April 12, 2025
|
parent
|
context
|
favorite
| on:
Rust to C compiler – 95.9% test pass rate, odd pla...
It is not terribly hard to generate C code that does not use undefined behavior.
lmm
on April 12, 2025
[–]
Maybe. But when carefully investigated, the overwhelming majority of C code does in fact use undefined behaviour, and there is no practical way to verify that any given code doesn't.
uecker
on April 13, 2025
|
parent
[–]
It is easy to create code where this can be verified. It is difficult to verify for arbitrary code.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
