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

agree, and I think we'll see more use of formal methods with LLMs for this reason


At a certain point it just feels like we're reinventing the concept of programming languages from first principles.


I'm using this new programming language: it's called LLM prompting, and everything is undefined behavior.


Hardly the first time we've done this - we had to do it with compilers too




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

Search: