Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-09-09

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
05:58 ilbot3 joined #divine
05:58 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
09:58 mornfall no, tak Brno až zejtra...
09:58 mornfall jak to vypadá s rozvrhem a divine schůzkama?
09:59 mornfall já bych asi byl pro ten pátek
09:59 mornfall pondělí a čtvrtek mám podle očekávání orchestr
09:59 xstill špatně
10:00 xstill v úterý vůbec
10:00 xstill ve středu taky ne
10:01 xstill takže jedině pátek po obědě asi…
10:02 xstill a naše rozvrhy vidíš v isu snad, jen si musíš najít i učitelskej
10:02 mornfall no, vidim jen ten učitelskej
10:03 xstill no musíš jít na mojí osobní stránku
10:03 mornfall jo, a dál? :)
10:03 xstill není tam?
10:03 mornfall no já nevim kde ho hledat
10:03 mornfall pod výukou je rozvrh učitele
10:04 mornfall a pod studiem výsledky studia
10:05 mornfall když vjedeš na svou osobní stránku tak ti píše kdo vidí rozvrh studenta
10:06 xstill jo, známí, posll jsem ti pozvánku nebo jak se to jmenuje
10:07 mornfall prej máme známost
10:07 mornfall :D
10:09 mornfall hm, IA072 to patří pod koho?
10:10 xstill strejček
10:10 mornfall FMDSA je v pondělí co pamatuju, takže to musí být ještě něco jinýho
10:10 mornfall to jo, ale skupina
10:10 xstill jaká skupina?
10:11 mornfall hm, on je Strejda jen na ITI
10:11 mornfall vypadá to jako postgrad seminář jako paradise nebo fmdsa
10:11 xstill nevím o tom, že by to byl předmět pro určitej lab nebo tak něco
10:17 mornfall nevíš jaký to bude mít téma? nic novějšího než 2011 jsem o tom nenašel
10:39 spito joined #divine
10:40 spito pátek souhlasí, můj rozvrh bys měl vidět celý
10:44 mornfall tak, jedna možnost by byla udělat to fakt odpoledne a případně to pak můžem občas vzít domů přes hospodu
10:45 mornfall vstávat tak brzo abychom něco smysluplnýho udělali před desátou se mi asi nechce
10:45 mornfall (Jiřík má taky v deset přednášku myslim)
10:46 mornfall chvíli jsem zvažoval jestli bychom neměli to IA072 „přibrat“ k divinu a chodit tam všichni, ale asi to nemá moc smysl
10:47 mornfall a Marek žádný rozvrh nemá, ale nevim jestli on není někde mimo stejně
10:53 spito joined #divine
11:08 xstill mornfall: marek je v estonsku asi
11:10 mornfall jo, zdálo se mi
14:42 xstill dostaneš se na https://is.muni.cz/auth/elearning/test_pruchod.pl?kod=IB015;predmet=788612;testurl=/el/1433/podzim2014/IB015/odp/Test_externiho_vyhodnocovani.qref ?
14:43 mornfall zkuste to rozbít to píše
14:43 xstill to je v pořádku
14:43 xstill a můžeš i odpovídat?
14:44 mornfall zdá se že jo
14:44 xstill ok, dík
14:44 xstill (a můžeš si to zkusit)
14:46 mornfall no
14:46 mornfall je to dost divoký :)
14:47 xstill jak divoký?
14:48 mornfall no, když napíšeš fci obecnějšího typu tak to lehne
14:48 mornfall TypesNotEqual (NotEqual "Type contex mismatch: () /= (Num t1, Ord t1). Type mismatch: Int -> Int /= t1 -> t1, could not match type constructor Int with type variable t1, type constructor Int with type variable t1.")
14:48 xstill no to jo
14:48 mornfall navíc teda FAILED: CannotParse "f :: (Integral i) => (a -> i) -> Integer"
14:49 mornfall možná to chtělo jen typ bez toho f ::?
14:49 xstill jo to chce jen typ
14:49 xstill ten parser by mohl dávat větší zpětnou vazbu, ale to tak možná za rok :-D
14:49 mornfall ale ten obecnější typ mi přijde jako dost hloupej problém
14:50 xstill jo, to chce nějak vyřešit
14:50 mornfall aha, ono znovu odpovídat nechá otázky
14:50 xstill jo
14:53 mornfall hm, zase slejvák
17:43 xstill hm, nějak jsem zacyklil IS nějak

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary