Post #1802607
2026-03-07 14:24 UTC
In practice preftct programs do exist, they just have to be small enough to do formal verification
Replies (1)
-
@SpacetimeMachine@lemmy.world 2026-03-07 16:03
Very ironic typo there
2026-03-07 14:24 UTC
Very ironic typo there