Stephen Brooks 🦆 on Nostr: nprofile1q…utslx Unfortunately, LaTeX, PDF and the C++ template system don't follow ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0cq07ulfyc7y2l8rczk9s36g8j65tq3m6xk9us8hr3ua4ktfmaqqeutslx (nprofile…tslx) Unfortunately, LaTeX, PDF and the C++ template system don't follow this design rule.
The history of people almost accidentally creating Turing-complete things suggests the threshold isn't that far away.
OTOH, the way you suggest (define the set of allowed program states and check for correctness) is the gold standard for code that can, in theory, be checked for correctness automatically.
The history of people almost accidentally creating Turing-complete things suggests the threshold isn't that far away.
OTOH, the way you suggest (define the set of allowed program states and check for correctness) is the gold standard for code that can, in theory, be checked for correctness automatically.