cm0002@toast.ooo to Programming@programming.dev · 3 days agoclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comexternal-linkmessage-square2fedilinkarrow-up16arrow-down14cross-posted to: [email protected]
arrow-up12arrow-down1external-linkclaimcheck: Narrowing the Gap between Proof and Intentmidspiral.comcm0002@toast.ooo to Programming@programming.dev · 3 days agomessage-square2fedilinkcross-posted to: [email protected]
minus-squarevapeloki@lemmy.worldlinkfedilinkarrow-up1·edit-22 days 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.