News for hackers. Stuff that matters.

A comment on Don't encode POST bodies like GitHub Copilot, use URLSearchParams. Parent comment

Re:Don't encode POST bodies like GitHub Copilot, use URLSear... by Tainnor on Thursday July 01, 2021 @11:47AM (#27700358)
The halting problem doesn't prevent you from writing proofs for programs, same as Gödel's theorems don't prevent mathematical proofs from existing.

Fully verified programs do exist (e.g. CompCert C compiler), although for various reasons, it's still a niche.

[ Parent | on HN ]

There are no comments on this comment yet.