Hacker News new | past | comments | ask | show | jobs | submit login

(Miri is not static analysis)



thats besides the point. its a unit outside of the compiler that exists to give you extra safety checks.


Yes, I do agree that it doesn't change the shape of things, I was just trying to clarify a little detail, not say that you're incorrect. I have my own feelings about this but they're not super straightforward.


thanks for clarifying.




Join us for AI Startup School this June 16-17 in San Francisco!

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

Search: