claimcheck: Narrowing the Gap between Proof and Intent (midspiral.com)
from cm0002@toast.ooo to programming@programming.dev on 18 Feb 06:34
https://toast.ooo/post/12332108

#programming

threaded - newest

vapeloki@lemmy.world on 18 Feb 21:37 collapse

Safe you all the click. Author claims ai is getting better at writing code and we should think about what we want not how we want it.

Friendly reminder LLMs are not good a writing software. They can only put pieces together that may make sense.

Want proof? Ask it to write some valid C++26 without raw pointers, using modules and reflection.