@tmyklebu @pervognsen My slow acceptance of the limitations of this whole line of research is a large part of what made me accept that if there is some widespread usage of program verification, proof assistants will play a role.
=> More informations about this toot | View the thread | More toots from zwarich@hachyderm.io
=> View tmyklebu@mastodon.gamedev.place profile | View pervognsen@mastodon.social profile
text/geminiThis content has been proxied by September (ba2dc).