News for hackers. Stuff that matters.

A comment on The Deep Link Equating Math Proofs and Computer Programs. Parent comment

Re:The Deep Link Equating Math Proofs and Computer Programs by bluGill on Thursday October 12, 2023 @07:11AM (#37855670)
Sure, but i'm contending those algorithms we cannot prove are mostly not used in programming in the real world.
[ Parent | on HN ]

There are no comments on this comment yet.