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

IMHO, if you can't test the hypothetical code equivalent, you can't trust whatever you clicked together using visual tools either.


Validation of autogenerated code is a well established field. E.g.

https://www.mathworks.com/products/transitioned/simverificat...




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: