Pingviini veeb

3DNews kirjutab järgmist.

Uus-Lõuna-Walesi ülikooli (The University of New South Wales, UNSW) ja Austraalia rahvusliku uuringuinstituudi (National ICT Australia, NICTA) info- ja kommunikatsioonitehnoloogiate uurijad saavutasid läbimurde tarkvaras, mis tõstab märkimisväärselt koodi turvalisust ja töökindlust ning millel on potentsiaali kommertslikuks eduks. Arvutiteaduste professori ja NICTA uuringuprogrammide direktori Gernot Heiser´i sõnutsi suutis meeskond esmakordselt matemaatilise täpsusega tõestada, et operatsioonisüsteemi tuum – iga arvuti "südame" kood – on 100% vigadest vaba ning järelikult tõrkekindel.

Edasi loe siit: http://www.3dnews.ee/est/software-news/Kood_08_10_2009

// Jutt on asjast, mis kannab nime SeL4. Asi tundub seotud olema nii Pingviinide kui Lumeleopardiga.

kahtlane.
Sest enamikel juhtudest kirjutavad ka teised veavaba koodi - vead tekivad aga hiljem just teiste tarkvarajuppidega läbikäimisel ja riistvaraga suhtlemisel.

see nagu ehitusprojekt. Sina teed veatu ja igati hea projekti, teine teeb supper vundamendi ja seinad selle järgi. Võibolla läheb kogu ehitus nii enam vähem, kuid kui kasutajad kohal on, siis selgub, et teleka pistik vales kohas jne. Ehk hoone läheb lõplikult kasutusele ja siis kasvõi kasutamisest lähtuvalt hakkavad asjad tõrkuma. Ehk tulevad välja vead, mida keegi ei osanud isegi aimata.

vead tekivad aga hiljem just teiste tarkvarajuppidega läbikäimisel ja riistvaraga suhtlemisel.

Seda vaid siis, kui süsteemi loojad ei avalda spetsifikatsioone ja oma nägemusi. Kui hakkaksin praegu tarkvara kirjutama, võrduks see pimesi kobamisega.

Vaata seda: http://www.youtube.com/watch?v=dPAiVyC5zoA

Miks on CAD programmides olemas vidin VRML ? Kas sellise sisekujundusega laev meeldis? praegu saab seda muuta, siis kui laev valmis on juba muutmine raskendatud

Oleks ma linna arhitekt nõuaks teistelt arhitektidelt VRML simulatsiooni.

Samasugune asi tarkvarast, oleksid igasugused beta ja RC paketid.