Life, friends, ideas and work.

30.11.04

Úplatky - pokračování

Dneska bylo opět cvičení z algoritmizace. Počet nabízených sester vzrostl na pět. Jejich věk je po řadě 29, 28, 24, 18 a 16. Všechny mají chlapa, ta nejmladší prý několik. Asi půjdu od toho. Vyměnit je za velbloudy, jak navrhoval Dlábík, by sice bylo výnosné, ale co pak s těmi jejich samečky?

28.11.04

Párování pro matfyzáky (a FELáky)

V souladu se svým veřejnoprávním posláním se Česká televize rozhodla uvést speciální díl seriálu Párování pro menšinu fanoušků teorie grafů.


Párování (scientist's cut)

27.11.04

Kenny

Inspirován Filemonem a podporován vlastní ješitností, rozhodl jsem se čas od času sem plácnout svoji fotku. A začínám horkou novinkou: koupil jsem si bundu do Švédska.


Pi a jeho pěkná bunda

26.11.04

Úplatky

Na FELu mají doktorandi poměrně silné postavení. Proto není divu, že se jim studenti chtějí zavděčit. V úterý mi jeden nabízel svoji sestru, dnes ráno jsem zase mohl získat nějakou tu travku. Ale nejvíc mě dostala nabídka volně parafrázovaná asi takto: "Když mi dáš nějaký body navíc, tak pro tebe rebalancuju tenhle AVL strom."

Olympiáda v Praze

Uspořádání Olympijských her v Praze v roce 2020 by stálo 135 miliard korun. Zatraceně drahé. Ale také velmi krásné...

24.11.04

Styl

Na FELu mám studentku Dášu, které (zatím, doufám) moc nejde programování. Dávám jí domácí úkoly. Dáša má bratra, doktoranda na katedře měření. Bratr neumí Javu, jenom C. Pokaždé, když mi od Dáši přijde zdrojový kód, ve kterém je hlavička funkce void f( int[] array, int length), vím, že bratr asistoval.

Aspoň že to Dáša nepopírá.

Fotogenická charita

V metru jsem zahlédl poutač na charitativní módní přehlídku 30 minut pro život. Akce je to jistě bohulibá, jenom se nemohu ubránit určitému podezření z citového kalkulu. Ne konkrétně u této akce, ale obecně. Jako by topmodelky, vědomy si plytkosti svého povolání, měly potřebu zaštít se hloubkou charity a vyrovnat tím před veřejností a především před nimy samými jakýsi morální deficit.

Na druhou stranu proč ne? Pomůže to všem. Ale být "manažerem charity" poohlížím se po stabilnějších zdrojích, abych nezkrachoval až charita nebude in.

23.11.04

Tři sestry

Tři sestry (hudební skupinu, ne divadelní hru) jsem nikdy neposlouchal. Až nedávno jsem si řekl, že jim dám šanci a nahrál si je do přehrávače. Zaujaly mě. Je v nich síla plynoucí z upřímnosti jejich postoje. A taky ladí s mým viděním světa: málo romantiky a mnoho neuhlazenosti, která je vlastně krásná.

21.11.04

Nadhled

V pátek jsem byl na poslední předášce profesora Mareše v tomto semestru. Přišlo mi škoda, že je poslední. Prof. Mareš umí přednášet. Nadhodí rovnice, naznačí jak se dojde k formálnímu výsledku a pak intuitivně vysvětlí, co jsme to spočítali.
V teorii her se někdy tímto způsobem dojde ke starým známým pravdám, které studenti sociálních věd, jako je ekonomie, politologie nebo právo, považují za axiomy. A právě to se mi na vědě líbí. Člověk se v podstatě nedozví nic co by zásadně změnilo jeho pohled na svět, jenom o něco víc vidí do toho jak všechno do sebe zapadá.

ADSL

Kvůli Švédsku jsem nechal mamce domů zavést ADSL. Instalace ADSL má dva kroky: nejdřív se musí něco nastavit u operátora a potom se musí rozchodit ADSL modem u zákazníka. Abych ušetřil, modem jsem pořídil vlastní s tím, že ho nakonfiguruji, až pošlou potřebné údaje.

Tolik úvod, teď už jenom stručně: údaje, které poslali z GTS, se neshodovaly s těmi, které se měly zadat do konfigurační utility modemu. Tomáš, který už ADSL konfiguroval, byl v Itálii. Technické údaje na webu GTS byly ještě stručnější než to, co jsem dostal textovkou od Toma. Operátor infolinky GTS byl sice příjemný, ale můj modem neznal.

Řešení? Ještě před modemem se musí telefonní kabel protáhnout krabičkou zvanou splitter, která (modří už vědí) rozděluje signál na dvě části - tu pro telefon a tu pro modem. A překvapivě se kabel ze zdířky označené slovem telefon musí zapojit do telefonu a kabel ze zdířky označené zkratkou DSL musí zapojit do ADSL modemu.

Ano, vypadal jsem jako kretén. Ne, nestydím se za to. Udělalo to ze mě lepšího člověka. Až někdy narazím na někoho, kdo udělal podobnou chybu, zaplaví mě soucit místo výsměchu.

17.11.04

Linkini

Dlábík nešel a Sváťa psala, že na ni něco leze. Hoblík se odkopal a nechtěně prozradil, že znalost popu jenom předstírá. Evička dlabala pizzu a všem prozradila, že obchoduji s pí-vodou. Borůvek se toho chytil a vypadlo z něj, že by chtěl dělat byznys s pí-vem. Dlába nakonec přišel a tvrdil, že ho prcal Klaus. Hoblík odešel dřív a já zjistil, že na tom vydělám. Borůvek na záchodě vytáhl foťák a ptal se jestli nechci něco vyfotit.

Byl to hezký večer.

id3 v mp3

Dnes jsem si udělal trochu času, abych vyplnil id3 tagy v záznamech přednášek Javy na VŠMIE. Nikdy bych neřekl jak to může být inspirativní. Do názvu tracku píšu číslo přednášky, do názvu alba píšu název přednášky (Object-Oriented Programming Using Java Language). U žánru pořád ještě volím mezi comedy, cult a meditative, současný default je other. A kam píšu svoje jméno? Přece do kolonky artist. Možná bych se měl přihlásit do SuperStar.

16.11.04

Bravo Dlábo!

Po dnešních jazykových kurzech ISC jsem se bavil s jedním ze zahraničních studentů. Mezi zapsanými přednáškami jmenoval také Financial Management a když jsem se ho vyptával na bližší informace, tak dodal že by to měl učit prof. Starý, ale že to učí někdo mladší. Na jméno Martin Hrivňák reagoval pozitivně - říkal, že je dobrej.

Na druhou stranu na FELguidu má Dlába zmínku, že (volně cituji) "v nových možnostech jak oškubávat stát bohužel moc kovanej není". A to by se u Kovyho stávat nemělo.

Přesto: bravo Dlábo!

14.11.04

Korupce v katastru nemovitostí

Ve středu pozval E-klub pana Václava Lásku, aby přednášel na téma "Korupce v praxi". Ten mimo jiné zmínil aplikaci, která umožňuje nahlížet do katastru nemovitostí na Internetu a tvrdil, že se s její pomocí dají jednotlivé případy korupce snadno najít. A taky že jo!


Katastr nemovitostí

13.11.04

Kvíz

Ani Java není bez chyb. Dokáže někdo odhalit, jakou chybu ilustruje následující kód?

class Car extends Vehicle { /* ... */ }

void replaceOldVehicles( Vehicle[] vehicles) {
  for ( int i = 0; i < vehicles.length; ++i)
    if ( vehicles[ i].isOld()) vehicles[ i] = new Vehicle();
}

Car[] cars = new Car[ 100];
// ...
replaceOldVehicles( cars);

12.11.04

Už vím, co budu dělat

Už druhý semestr dělám doktorát. Téma dizertační práce Moderní metody atributovaného překladu. Až do včerejška jsem měl jenom mlhavou představu o tom, jak toto téma naplním. Teď už to vím. Baví mě Java. Učím Javu. Vidím do ní víc, než bývá obvyklé. Vždycky jsem jako jediný důkaz kvalit programátora uznával kód - ne lepý vzhled oken aplikace nebo elegantní znění teoretických vět. Čtu knihu, která pitvá Javu na buňky. Našel jsem výzkumnou skupinu, která zkoumá atributované gramatiky a její poslední články jsou z roku 2004. Jako platformu pro testování svých myšlenek používají Javu.

Budu zkoumat Javu. Možná je špatně, že jsem k tomuto rozhodnutí došel až po osmi měsících studia. Na druhou stranu je dobře, že jsem k němu vůbec došel. Cítím, že je to dobré rozhodnutí. Jsem šťastný.

10.11.04

Nuda na přednášce

Ve středu mám přednášku z matematiky. Měla by to být přednáška plus cvičení, ve skutečnosti jsou to dvě přednášky za sebou. Na té druhé se spolužačka nemohla dočkat konce. Řekl jsem jí: "Klidně běž domů, nic tě tu nedrží, jenom ta touha po vzdělání." Smála se. Proč, když je to pravda?

9.11.04

Formální metody

Na mtv.com je poměrně velký archív klipů. Ani zdaleka v něm není všechno, ale na pár hodin brouzdání by to vydalo. Na spoustu starších klipů se mi místo Windows Media Playeru pouští Real Player - zdá se mi, že jsou to ty, které byly vystaveny v době, kdy Microsoft ještě neuměl streamování. Bohužel, moje současná verze Real Playeru tyto starší klipy nepřehrává dobře. Proč? Pravděpodobně kvůli drobným změnám v datovém formátu.

Člověk by si řekl, že takové věci se stanou a že je přirozené, že starší klipy mají chybky. Já si to nemyslím. Digitální záznam nemusí s časem degradovat. Jenom kdyby se ten formát Realu pořádně popsal. Pořádně = formálně. Sice by to stálo dost peněz, protože je málo lidí, kteří by to uměli, ale spustu chyb s kompatibilitou by to odstranilo.

Manažeři si to zjevně nemyslí. Formální metody se při vývoji softwaru nepoužívají. Mnohdy se najímají programátoři, kteří ani netuší, že za programováním existuje nějaká abstraktní teorie. Kvalitní vzdělání na poli computer science se v praxi bagatelizuje. Systém, který nepotřebuje údržbu, je špatný, protože zákazník nechce platit za servis. To vše za účelem maximalizace zisku.

Škoda. Ale třeba přijde změna. Občas se bavím myšlenkou na zákonný předpis, který by nakazoval, že některé typy softwaru smí vyvíjet pouze vysokoškolsky vzdělaný programátor. Samozřejmě je to blbost, ale aspoň bych měl vyšší plat než diletanti co nevědí co znamená relační v sousloví relační databáze.

8.11.04

Hudební čtvrthodinka

Pod vlivem článku na iDnes jsem se na mtv.com koukl na nový klip U2 Vertigo. Nic moc. Ne že by to bylo špatné, celkem se mi to líbilo, ale na U2 je to slabota. Další interpret zmíněný na iDnes, Dáda Patrasová, na mtv.com vůbec není a tak jsem nakonec skončil u Morcheeby.

Co mě ale opravdu dostalo, byl fakt, že na celé stránce byly tři reklamy na U.S. Army. Zřejmě to funguje tak, že člověk naladěný poslechem hudby má větší sklony do někoho nasypat zásobník. Vím, přeháním a úmyslně zkresluji. MTV je stanice pro mladé a armáda jenom cílí svoje reklamy. Ale trochu mě děsí představa, že kromě správného oblečení, správné hudby a správného slangu se součástí image stane i to, jestli je člověk v armádě.

5.11.04

Cvičení

Dnes jsem se na cvičení odvážil z bezpečných vod teoretické informatiky do neprobádaných hlubin hardwaru. Jeden student se mnou lehce nesouhlasil a tak jsme několik minut nudili všechny ostatní v místnosti vyjasňováním svých názorů. Nakonec jsme se shodli, ale kdyby byl starší a zkušenější, bez problémů by mě rozdrtil. Pro příště jsem si z toho vzal ponaučení, že se nesmím pouštět do sporů o hardwaru s FELáky od čtvrtého ročníku výše. Matfyz je matfyz, jak v kladném, tak v záporném.

Takeoff

Toto je můj úplně první post na mém úplně prvním blogu. Měl by být něčím reprezentativní. Měl by symbolicky naznačovat o čem budu psát. Měl by být hluboký. Měl by být stylisticky vytříbený. Tady je: důležitá je dostatečně dlouhá a pružná přívodní hadice.