Search

Nalezeno "text": 14610

Chromebook jako primární (a jediný) laptop?

17.10.2018
Na většinu hloupých otázek z titulku článku se většinou odpovídá „ne“, přestože se často článek snaží vyznít obráceně. Nicméně se mi podařilo nastavit Chromebook do té míry, že jej bez uzardění mohu používat pořád i na složitější úkoly. A to i na veřejnosti! Mýtus: Chromebook jako online psací stroj

Jemný úvod do jazyka Idris (2) - Některé výrazy jsou si rovnější

11.10.2018
V minulém díle jsme si řekli, že v Idrisu jsou kromě „běžných“ typů také typy rovnostní, jejichž (generickou) definici si můžeme představit zhruba takto: /---pre data (=) : a → b → Type where Refl : x = x \--- Konstruktor je nanejvýš jeden, a to pouze v případě, že se oba argumenty shodují. To dává...

Jemný úvod do jazyka Idris (1) - Konstrukce a eliminace

5.10.2018
Jak je v IT všeobecně známo, typové systémy žijí dvojím životem. Na jednu stranu se tváří jako množiny a operaci nad nimi jako běžné programy, ale na stranu druhou odpovídají typy logickým tvrzením a jejich prvky důkazům. Příslušná symbolická logika není ovšem logikou známou z matematiky....

Analýza úniků zdravotnických dat v USA: přibývá vzdálených útoků po síti

2.10.2018
Před pár dny vyšel v americkém časopise Journal of Americal Medical Association (JAMA) třístránkový článek analyzující dostupné statistiky úniků dat ve zdravotnictví v USA. Celkem očekávatelně a logicky se ukazuje, že klesá počet úniků způsobených ztrátou či krádeží fyzického zařízení (počítače...

Minimalistický http server v C++

29.9.2018
Každý určitě má nějaký koníček. A v rámci svých koníčků člověk často dělá věci, které zdánlivě nemají smysl, nebo v dané době už jsou překonané. Prostě vynalézáme poněkolikáté kolo. Přesto to může být zábava V tomto článku popíšu, jak jsem naprogramoval minimalistický http server v C++ 17. Začalo...

[aktualita] O2 vyplatilo dividendy přes šest miliard a v Česku navýšilo zisk

30.7.2018
Operátor O2 uzavřel první pololetí roku 2018. Od ledna do června vykázal konsolidované výnosy ve výši 18,6 miliardy korun, což je meziroční nárůst o 0,6 procenta. Provozní zisk EBITDA poskočil více – při meziročním růstu 5,6 procenta se usadil na 5,4 miliardy korun. V Česku (O2 operuje i na...

[článek] Únik desítek tisíc hesel z Kuma.cz a hlava v písku

30.7.2018
[9 minut čtení] České herní e-shopy mají tak trochu smůlu (a jejich zákazníci taky). Tohle už je několikátý, kterému unikla databáze přihlašovacích údajů, tentokrát to bylo skoro sto tisíc hesel v čitelné podobě. Provozovateli obchodu Kuma.cz je to navíc úplně jedno, upozornění zůstává bez reakce....

Nahoru
Tento web používá k poskytování služeb a analýze návštěvnosti soubory cookie. Používáním tohoto webu s tímto souhlasíte. Další informace