Re: A way to do a huge Ada promotion

[Shark8 <OneWingedShark@gmail.com>]

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.