News for hackers. Stuff that matters.

A comment on Everything I built with Claude Artifacts this week. Parent comment

Re:Everything I built with Claude Artifacts this week by xmprt on Thursday October 24, 2024 @01:22AM (#41932187)
There's a lot of code that compiles but isn't correct.
[ Parent | on HN ]
Re:Everything I built with Claude Artifacts this week by literalAardvark on Thursday October 24, 2024 @03:45AM (#41933067)
Because we're using languages with flexibility but no correctness, but the vast performance advantage AI programming has over us could be used to manage the formal proofs for a verified toolchain.

We're not quite there yet, but while regular programming is quite tough for AI due to how fuzzy it is, formal proofs are something AI is already very good at.

[ Parent | on HN ]