asciilifeform: perhaps the game is not being played formally because 95% of the btc community is already playing it informally
asciilifeform: there's no possible substitute for arena reputation, though; with the possible exception of holding the contest inside a faraday cage, with the target machine signing messages with its addr key on demand.
asciilifeform: otherwise nobody cares to part with an 0day for a prize that may or may not exist.
asciilifeform: if the arena keeper is reputable, people will play
asciilifeform: pwn contests for btc prize are an underdeveloped field
asciilifeform: that was simply an answer to the question 'if it catches on, won't someone slip appropriate silicon under it.'
asciilifeform: decreeing that buildings shall have water pipes but no drains would make the lives of construction crews easier, but for some odd reason isn't a popular idea.
asciilifeform: benkay: if 'nothing ever actually gets deleted' isn't shitty, i don't know what it.
asciilifeform: and reality has a nasty habit of violating your priors. because a physical machine is not a mathematical object.
asciilifeform: the proof doesn't tell you anything about your priors being valid
asciilifeform: but 'you can't transition from the informal to the formal by formal means'
asciilifeform: they have this notion that if you constrain the system in various odd and quite unpleasant ways, you will then be able to mathematically prove useful facts about it.
asciilifeform: the whole 'immutability' thing is an outcome of a decades-long acid trip by 'mathematical cs' wankers
asciilifeform: urbit (or any other graph-reduction machine with 'immutable data') is exquisitely unsuited to hardware. at least in this universe.
