cm0002@toast.ooo to Programming@programming.dev · 2 months agoclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comexternal-linkmessage-square2linkfedilinkarrow-up17arrow-down14
arrow-up13arrow-down1external-linkclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comcm0002@toast.ooo to Programming@programming.dev · 2 months agomessage-square2linkfedilink
minus-squarevapeloki@lemmy.worldlinkfedilinkarrow-up1·edit-22 months agoSafe 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.
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.