Re: A way to do a huge Ada promotion

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 27/05/14 20:37, Shark8 wrote:
> On 27-May-14 08:45, G.B. wrote:
>> On 27.05.14 07:51, Shark8 wrote:
>>> IMO, the two items which [if adopted] would profoundly change the web
>>> are the following:
>>
>> IMO, in view of apps and browser plugins, the only thing that
>> can actually change the web is a mathematically proven algorithm
>> that addresses this part of HTTP:
>>
>> "10.4.3 402 Payment Required
>>
>> "This code is reserved for future use."
>>
>> http://www.w3.org/Protocols/rfc2616/rfc2616-sec10.html
>>
>>
>> Is this problem more difficult to solve than Fermat's last
>> conjecture? (Perhaps not to be discussed in an Ada newsgroup.)
>>
>
> I fail to see how this would not be addressed by (a) a generalized, protocol for describing state-machines [recursive & modularizable], *and* (b) formally verified security modules.
>
> Granted, (a) is a move away from HTTP and likely to be shunned because it's not building on existing technology. Even if that were forgone, (b) is needed independently of the underlying networking protocols.

Verified state will, I think, require hardware, at least
whenever high assurance is necessary. I suppose that
organized distribution of media and phone based behavior
mining are already looking into further possibilities.

So, yes, it can't be HTTP.