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

#programming

threaded - newest

vapeloki@lemmy.world on 18 Feb 2026 21:37 next 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.

MadhuGururajan@programming.dev on 20 Feb 2026 17:22 collapse

it is quite terrifying that people think translating from formal constraints in math to informal english is either accurate or deterministic.

And they ask the LLM to not look at requirements but who is guaranteeing it won’t just hallucinate them out of thin air later when messy prompts inevitably trigger a butterfly effect?