Záznamy přednášek

Algoritmy a datové struktury

Rozpoznávání obrazu ("Počítačová grafika naruby") [ROZ]

Co si počít, když dostaneme obrázek a potřebujeme zjistit, co je na něm? Podíváme se na několik základních postupů a fíglů, jak toho zjistit co nejvíc. Ukážeme si nějaké úlohy, kde počítač prohraje i proti batoleti, ale i úlohy, které jsou pro lidi neřešitelné, zatímco počítače je zvládnou hravě. Nakonec ochutnáme trochu z neuronových sítí a dalších oborů umělé inteligence.

Záznamy

Smršť 2015Martin ŠpanělPřehrátMP4Audio (MP3)Stránky akce
Datové struktury ve volném stylu ("Všechno důležité jde spočítat v konstantním čase.") [DSX]

Pojďme spolu na výlet krajinou datových struktur. Vyšlapané cestičky lesem vyhledávacích stromů mineme a raději zahneme do opravdové džungle. Potkáme struktury pracující ve skoro konstantním čase, dynamické reprezentace grafů, roztodivné druhy hešováni a cokoliv dalšího, o co si průvodci řeknete.

Záznamy

Smršť 2015Martin MarešPřehrátMP4Audio (MP3)Stránky akce

Grafika a typografie

MetaFont, MetaPost ("Teď ten obrázek takhle zkroutím a pak ho přeložím.") [MF]

Lehké nakousnutí jazyka, ve kterém můžete opravdu kreslit planimetrické obrázky, ale i třeba písma nebo piktogramy do zadání a řešení KSP. V MetaPostu se obrázky „programují“ a díky tomu se dá vytvořit cokoliv od šachovnice, přes grafy goniometrických funkcí až po fraktály. Podíváme se i jak s fonty zachází TeX a jak vypadají třeba CM fonty.

Záznamy

Smršť 2015Jirka SetničkaPřehrátMP4Audio (MP3)Stránky akce

Programovací jazyky a nástroje

Základy psaní pro Android [ANDROID]

Android se v našich mobilech, tabletech, netboocích a ledničkách zabydlel, a asi se v nejbližší době neodstěhuje. Na nějakém jednoduchém zadání si ukážeme, jak se pro něj programuje. Vlastní notebook s nainstalovaným Android SDK se může hodit.

Záznamy

Smršť 2015Michal PokornýPřehrátMP4Audio (MP3)Stránky akce

Programovací nástroje a techniky

Testování a kvalita softwaru [QA]

Programování není zdaleka jenom o programování. Ukážeme si, jak psát kód tak, aby nejenom fungoval, ale aby vyzařoval krásu a pokoj všem programátorům dobré vůle. Povíme si o různých způsobech testování a dalších nástrojích, které pomáhají vyvíjet kvalitní software.

Záznamy

Smršť 2015Michal PokornýPřehrátMP4Audio (MP3)Stránky akce

Sítě a bezpečnost

Počítačová bezpečnost prakticky ("K čemu je 4096bitový klíč, když si ho napíšu na papírek pod klávesnici?") [NSA]

Nejslabším článkem bezpečnosti téměř vždy bývá člověk. Na co si dát pozor, když si chráníte data a když posíláte zprávu. Co je to trust model a komu můžete (ne)věřit. Jak udělat bezpečné přihlášení. Co dělat ve chvíli, kdy jsou nějaká data kompromitovaná. A proč zamykat dveře a školit zaměstnance, aby za sebou zavírali a nikoho nepouštěli. Kam data neukládat a jaká data neukládat vůbec.

Záznamy

Smršť 2015Michal VanerPřehrátMP4Audio (MP3)Stránky akce
Praktická kryptografie ("A proč jsou všechny ty zámky na papírových dveřích?") [PCRYPT]

Programátoři si často myslí, že pro bezpečnou komunikaci stačí vybrat si z knihovny osvědčenou silnou šifru. Jak naivní! Navrhnout bezpečný protokol není maličkost a dá se při tom ledacos zpackat. Replay útoky (jak otevřít auto krabičkou za 30 dolarů), útoky na padding a na blokovou strukturu. Čí že je ten podpis? Jak nepoužívat RSA a jak nehešovat hesla. Jak náhodná jsou vaše čísla? Postranní kanály: časování, spotřeba, záření. K čemu se crackerům hodí termoska s tekutým dusíkem.

Záznamy

Smršť 2015Martin MarešPřehrátMP4Audio (MP3)Stránky akce

Teoretická informatika

Přehled umělé inteligence [AI]

Kdy se vyplatí nakoupit akcie? O čem je tenhle článek? Kde jsem nechal klíče? Počítače se musí prát s problémy, které jsou strašně těžké, ale někdo je stejně řešit musí. Jak to dělají? To se dozvíte na této přednášce. Ukážeme si reprezentaci vnějšího světa a automatické uvažování nad jeho obsahem, na což naváže vyhledávání ve stavovém prostoru a úvod do programování s omezujícími podmínkami. Následovat bude pár základních algoritmů strojového učení. Nakonec se můžou podávat speciality z oblasti zpracování přirozeného jazyka, umělého vidění, nebo třeba plánování a rozvrhování.

Záznamy

Smršť 2015Michal PokornýPřehrátMP4Audio (MP3)Stránky akce

Matematické přednášky

Derivace a integrály pro zelenáče [DIFF]

Rychlokurz derivování a integrování. Rychle prolétneme limity, nadefinujeme si derivace a procvičíme jejich výpočty. Dále si řekneme, co je to integrál, jak se definuje a počítá. Na závěr si ukážeme, k čemu je to všechno dobré v reálném či středoškolském světě – „rychlé“ odvozování fyzikálních vzorců, grafy funkcí, všemožné optimalizace.

Záznamy

Smršť 2015Kuba MaroušekPřehrátMP4Audio (MP3)Stránky akce

Fyzikální přednášky

Úvod do kvantové mechaniky ("Policista Heisenbergovi: „Víte, jak rychle jste jel?“. Heisenber: „Netuším, ale zato vím naprosto přesně, kde jsem.“") [QM]

Podíváme se na chování našeho světa v rozměrech menších než je atom, kdy je třeba opustit klasické představy a vše popisovat kvantově. Zavedeme vlnovou funkci a pokusíme se ji interpretovat, podíváme se na Schrödingerovu rovnici popisující její vývoj a relace neurčitosti. Jak nahlížet na paradoxy jako je Schrödingerova kočka či kvantové tunelování. Stručně se podíváme na kvantové počítače a kvantové výpočty molekul.

Záznamy

Smršť 2015Radim „Rumcajz“ CajzlPřehrátMP4Audio (MP3)Stránky akce

Nematfyzácké přednášky

Kariéra [WORK]

Povídání o různých aspektech živení se softwarem. Jak se pracuje v malých, středních a gigantických firmách, jak si vybrat a jak se do nich dostat? Jak může vypadat 15 let kariéry? Vyprávění zkušeností z Googlu a z Dropboxu, o startupech, o Křemíkovém údolí a vůbec.

Záznamy

Smršť 2015Michal PokornýPřehrátMP4Audio (MP3)Stránky akce
Sebeorganizace ("Ten úkol bych měl udělat ideálně včera.") [SELFMGM]

Běžný člověk má spoustu práce a úkolů a někteří lidé mají také spoustu starostí s tím, jak to všechno zvládat. Návod na štěstí vám nedáme, ale ukážeme vám kupu prostředků, které jiní s úspěchem používají (a jiní je nechápou). Malé ztrácející se papírky, velké neztrácející se papíry. GTD, myšlenkové mapy. Pomodoro. Časové snímky. SMART, KARAT a další zásady. Pár slov na téma lenora versus prokrastinace. To vše tedy od člověka, který by měl úkoly dělat ne včera, ale před týdnem.

Záznamy

Smršť 2015Karry BurešováPřehrátMP4Audio (MP3)Stránky akce
Technika ve sci-fi ("Scotty, beam me up") [SCIFI]

Technické objevy v různých sci-fi (Star Trek/Gate/Wars i dalších) a pohled na ně z perspektivy dnešních fyzikálních znalostí. Proč se v Hollywoodských filmech ozývá ve vesmíru zvuk laserů, i když je tam vakuum, a je možné cestovat rychleji než světlo? Také možná zabrousíme do některých filozofických otázek – primární směrnice o nevměšování ve Star Treku a jiné.

Záznamy

Smršť 2015Jirka SetničkaPřehrátMP4Audio (MP3)Stránky akce