Post #2189111
2026-04-03 01:24 UTC
@jacob@social.jacobian.org Jumping on one specific thing: Rice's Theorem means that any "interesting" program has limits on the extent of static analysis, so "provably correct" is not a thing you can get.
The things that would improve product quality the most are things that provably can't actually be automated in the general case. Those are the limits we have to reckon with.
Replies (2)
-
@chrisjrn@social.coop 2026-04-03 01:25
@jacob@social.jacobian.org (this is the subject of my #NBPy talk: https://pretalx.northbaypython.org/nbpy-2026/talk/GQLNDC/ and is a thing I am hinting at in this contemporaneous-to-yours thread: https://social.coop/@chrisjrn/116337892980613263)
-
@jacob@social.jacobian.org 2026-04-03 02:49
@chrisjrn@social.coop Yes of course I already knew about Rice’s Theorem before your toot why would you think otherwise