Root.cz  »  Rozhovory  »  HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář  »  Názory  »  Názor

Názor k článku HelenOS nikdy nebude dokončený, říká jeho autor Jakub Jermář od M. Prýmek - >> různými pokusy o formální verifikaci správnosti kódu. Můžeš...

  • Článek je starý, nové názory již nelze přidávat.

Zprávičky

Další zprávičky
Napište zprávičku

Komerční sdělení

Dále u nás najdete

Obsah vytvořený pomocí AI vidíte každý den. Jen to nevíte

Nejen Coca-Cola, ale i Lidl má červený vánoční kamion

Firmy mají řešit byznys, ne hledat účtenky, razí Fidoo

Svařák bez alkoholu je skvělá varianta pro těhotné či abstinenty

Děti, které nemají praktika, mohou jít do nemocničních ordinací

Sledují vás přes HDMI? Útok využívá elektromagnetické záření

Youtubeři a influenceři se musí registrovat

Nitroděložní tělíska jsou spolehlivá a hodí se i pro mladé ženy

Deepl nově umí překládat v reálném čase řeč

Osvědčené způsoby, jak snížit vysoký krevní tlak

Lumbální punkce sice vypadá děsivě, ale nebolí

Pokud potřebujete půjčit, nemusíte prodávat bitcoiny. Stačí je zastavit

Nová centrální evidence srážek ze mzdy

Od pokeru do dílny: Vyrábí v ní nábytek z ohýbaného betonu

Prokletí slavného spisovatele: duševní poruchy a sebevraždy

Jak Mikýř vyděsil Novu, ale nakonec vydělaly obě strany

Co dělat, když vám zavřou dodavatele IT služeb?

Chrome OS se zřejmě promění v Android

Vláda chce odložit účinnost "digitální ústavy" o dva roky

Vyznejte se v kuřatech. Takhle se liší selské od venkovského

ŠKOLENÍ: Jak bezpečně spravovat a provozovat linuxové servery?
VÍCE INFO