3 ms·
agree, and I think we'll see more use of formal methods with LLMs for this reason
by marcus_holmes 4mo ago
agree, and I think we'll see more use of formal methods with LLMs for this reason
- ryukoposting 4mo agoAt a certain point it just feels like we're reinventing the concept of programming languages from first principles.
- ncruces 4mo agoI'm using this new programming language: it's called LLM prompting, and everything is undefined behavior.
- marcus_holmes 4mo agoHardly the first time we've done this - we had to do it with compilers too