News for hackers. Stuff that matters.

A comment on The art of programming and why I won't use LLM. Parent comment

Re:The art of programming and why I won't use LLM by QuantumGood on Monday August 26, 2024 @03:11AM (#41354721)
Curry–Howard correspondence = direct relationship between computer programs and mathematical proofs
[ Parent | on HN ]

There are no comments on this comment yet.