On: Three ways formally verified code can go wrong in practice

[eszed]

Aye, but in many cases a theoretical limit can be ignored in practice. (Stupid example: I need more cooling = "I need more fans", not "I'm running out of air".)

[naasking → eszed]

Finite resources are a common problem though.

[lstodd → naasking]

Stupidity is known to be infinite. And it is a resource.

[naasking → lstodd]

I dispute the infinity of stupidity! It can only be infinite on an infinite timeline, as there are a finite number of people at any given time! But is time infinite?