Domácí vzdělávání – cesta k vědě?


Domácí vzdělávání je způsob, jakým se mohou žáci základních škol vzdělávat. Je postaven na myšlence, že v domácím, důvěrně známém prostředí se děti mohou učit snáze a lépe, bez zbytečného násilí, jakým je frontální vzdělávání ve školách. O domácím vzdělávání jsme si povídali s Hankou Žezulkovou...

Arch, Secure Boot a falešný pocit bezpečí


Nedávno jsem s kolegou diskutoval právě o tomhle vynálezu, SecureBoot. Došli jsme k závěru, že nemá smysl mít podepsaný zavaděč a jádro, když se dá podvrhnout initramdisk a díky tomu odposlechnout heslo šifrovaného disku. Nedalo mi to a pročetl jsem si kus ArchWiki, mimochodem nejlepší dokumentace...

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


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

Startup Týdne #107: smitio, kariérní platforma od lidí v IT pro IT komunitu


„IT specialisté nechtějí ztrácet čas s inzeráty o moderním pracovním prostředí a litrech kávy. Chtějí pracovat na inovativních projektech se zajímavou technologií a ve své profesi se posouvat,“ říká Radoslav Pittner. Ten dříve vedl kariérní centrum brněnské Masarykovy Univerzity a zkušenosti sbíral...

Krsek s Rubešem z BVC investovali do chatbotu Feedyou


Investiční fond BVC ze skupiny BHM miliardáře Tomáše Krska dokončil v minulém týdnu investici do startupu Feedyou, který poskytuje firmám chytré komunikační chatboty. Investice pomůže Feedyou v expanzi do Německa a na další trhy. Chatboty od Feedyou dnes využívají například ČEZ, ŠKODA AUTO...

Nedostatek žen v IT: Proč jsou ženy ohroženým druhem


Prvním programátorem byla žena. Ještě před 20 lety tvořily dámy u nás třetinu IT odborníků. Dnes jich je jen desetina a mezi programátory dokonce pouhopouhá tři procenta. Proč tomu tak je a jak situaci změnit, o tom budou v Praze 23. října diskutovat přední dámy z IT v čele s Ditou Přikrylovou...

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


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á...

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