Re:Terence Tao, "Machine Assisted Proof" [video]
by renonce on Thursday February 15, 2024 @12:50AM
(#39379564)
That’s far off, your program also branches to standard libraries and kernel syscalls and networking with other servers and maybe loops that aren’t guaranteed to terminate, that there are 10000s of cases where HTTP requests map to an error (bottom) instead of a response
[ Parent
| on HN ]
There are no comments on this comment yet.