top | item 45731612 (no title) 010101010101 | 4 months ago If you have a mechanism that can prove arbitrary program correctness with 100% accuracy you’re sitting on something more valuable than LLMs. discuss order hn newest tonyhart7|4 months ago so human powered LLM user ?? freedomben|4 months ago For sure, I've never seen a human write a bug or make a mistake in programming load replies (1) emptyfile|4 months ago [deleted]
tonyhart7|4 months ago so human powered LLM user ?? freedomben|4 months ago For sure, I've never seen a human write a bug or make a mistake in programming load replies (1)
freedomben|4 months ago For sure, I've never seen a human write a bug or make a mistake in programming load replies (1)
tonyhart7|4 months ago
freedomben|4 months ago
emptyfile|4 months ago
[deleted]