As usual, my argument brought all the people out of the woodwork who have some o... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		phendrenad2 56 days ago \| parent \| context \| favorite \| on: Becoming a compiler engineer As usual, my argument brought all the people out of the woodwork who have some obsession about an argument that's tangential. Sorry to touch your tangent, bud.

1718627440 55 days ago [–]

> LLMs not being able to detect correctness is just demonstrably false if you play around with LLM agents a bit.

How is telling you that this method of determining correctness is incapable of doing so, only tangential?

phendrenad2 48 days ago | [–]

Correctness and proven correctness are different things. I suspect you're a big Rocq Prover fan.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact