-
codice matematicamente bug free?☺
http://punto-informatico.it/2716370/PI/News/microk...
hm come si fa a fare una dimostrazione simile?-
Re: codice matematicamente bug free?Scritto daNon Autenticatoil 2010-12-17 15:44:00.0 alle 2010-12-17 15:44:00.0
- Scritto da: Caccola
>
>
>
> hm come si fa a fare una dimostrazione simile?
devi iniziare col fare analisi I e poi continuare
-
Re: codice matematicamente bug free?Scritto daNon Autenticatoil 2010-12-17 16:01:00.0 alle 2010-12-17 16:01:00.0
- Scritto da:
>
> - Scritto da: Caccola
> >
>
> >
> >
> > hm come si fa a fare una dimostrazione simile?
>
> devi iniziare col fare analisi I e poi continuare
>
comunque http://www.sigops.org/sosp/sosp09/papers/klein-sos...
-
-
Re: codice matematicamente bug free?☺Scritto daavvelentaniCubicolarioil 2010-12-17 17:36:00.0 alle 2010-12-17 17:36:00.0Trollate totali: 18184
- Scritto da: Caccola
>
>
>
> hm come si fa a fare una dimostrazione simile?
Non si puo`, pero` puoi scrivere cosa vuoi fare due volte e controllare di aver scritto la stessa cosa.I think happiness is love
- Vladimir Putin-
Re: codice matematicamente bug free?Scritto daNon Autenticatoil 2010-12-17 17:50:00.0 alle 2010-12-17 17:50:00.0
-
Re: codice matematicamente bug free?☺Scritto daavvelentaniCubicolarioil 2010-12-17 20:18:00.0 alle 2010-12-17 20:18:00.0Trollate totali: 18184I think happiness is love
- Vladimir Putin-
Re: codice matematicamente bug free?Scritto daNon Autenticatoil 2010-12-17 20:23:00.0 alle 2010-12-17 20:23:00.0
-
-
-
Re: codice matematicamente bug free?☺
- Scritto da: avvelentani
>
> - Scritto da: Caccola
> >
>
> >
> >
> > hm come si fa a fare una dimostrazione simile?
>
> Non si puo`, pero` puoi scrivere cosa vuoi fare
> due volte e controllare di aver scritto la stessa
> cosa.
Qua dice che si può
http://www.forumdeitroll.it/m.aspx?m_id=2554736&m_...
si può? o sei te che non lo sapevi?
ntani, io mi fido di te, se tu mi dici che non si può non si può. Però allora che cacchio hanno dimostrato?-
Re: codice matematicamente bug free?☺Scritto daavvelentaniCubicolarioil 2010-12-18 07:36:00.0 alle 2010-12-18 07:36:00.0Trollate totali: 18184
- Scritto da: Caccola
>
> - Scritto da: avvelentani
> >
> > - Scritto da: Caccola
> > >
> >
>
> > >
> > >
> > > hm come si fa a fare una dimostrazione simile?
> >
> > Non si puo`, pero` puoi scrivere cosa vuoi fare
> > due volte e controllare di aver scritto la
> stessa
> > cosa.
>
> Qua dice che si può
> http://www.forumdeitroll.it/m.aspx?m_id=2554736&m_
>
> si può? o sei te che non lo sapevi?
>
> ntani, io mi fido di te, se tu mi dici che non si
> può non si può. Però allora che cacchio hanno
> dimostrato?
Hanno dimostrato che il loro codice rispetta i vincoli della loro specifica formale. Ammesso che non la loro dimostrazione, che e` centinaia di migliaia di righe che nessuno ha mai letto, sia giusta.I think happiness is love
- Vladimir Putin-
Re: codice matematicamente bug free?Scritto daNon Autenticatoil 2010-12-18 09:35:00.0 alle 2010-12-18 09:35:00.0> > > > hm come si fa a fare una dimostrazione
> simile?
> > >
> > > Non si puo`, pero` puoi scrivere cosa vuoi
> fare
> > > due volte e controllare di aver scritto la
> > stessa
> > > cosa.
> >
> > Qua dice che si può
> >
> http://www.forumdeitroll.it/m.aspx?m_id=2554736&m_
> >
> > si può? o sei te che non lo sapevi?
> >
> > ntani, io mi fido di te, se tu mi dici che non
> si
> > può non si può. Però allora che cacchio hanno
> > dimostrato?
>
> Hanno dimostrato che il loro codice rispetta i
> vincoli della loro specifica formale. Ammesso che
> non la loro dimostrazione, che e` centinaia di
> migliaia di righe che nessuno ha mai letto, sia
> giusta.
Hanno dimostrato una pietra miliare dell'informatica e nessuno la legge.
-
-
-
-
-
Tutto il forum —
-
- Discussioni: Cronologia Nuove (Per utente) Ultime
- |
- Nuovo messaggio
- |
- Sondaggi
- |
- Inserisci fake ad
- Notizie: Cronologia Nuove (Per utente) Ultime
- |
- Nuova notizia
Mostra notizie nelle discussioni