The fun thing about skimming the unsafe rust bugtracker is that, aside from wondering how any computer ever works at all, you pick up some fun compsci terms.
Today's term: demonic non-determinism, which describes a program that resolves all non-deterministic execution steps in favor of not halting. Contrast with angelic non-determinism, which given a choice always prefers to halt.
=> More informations about this toot | View the thread | More toots from danderson@hachyderm.io
text/geminiThis content has been proxied by September (3851b).