Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-20

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
06:57 blurry_ joined #divine
07:01 blurry_ yaqwsx: mornfall: mame ID <3
08:07 yaqwsx blurry: Možná je jenom ráno, ale co je ID?
08:08 yaqwsx blurry_: Od kdy se i ty klonuješ?
08:09 xstill_ myslím, že dokud někdo neudělá pořádně ZNC na anně a krátkej návod k tomu, tak se tu budou lidi klonovat
08:11 yaqwsx xstill_: Už to mám v ToDo listu
08:14 xstill_ :-)
08:44 xstill_ hm, tak studentský projekt bude muset prezentovat Jiřík, protože já a yaqwsx jsme na ETAPSu a xlauko kvůli tomu počítám z Francie nepřijede :-D
08:46 xstill_ nebo mornfall který na tom projektu vůbec nebyl
08:46 yaqwsx Jiřík nejede na ETAPS?
08:48 xstill_ nejede
08:49 xstill_ "V případě nepřítomnosti řešitele stud. týmu (není již naším studentem...) ho
08:49 xstill_ může zastoupit vedoucí či garant projektu."
08:49 xstill_ není tam nic o tom, že by hom mohl zastoupit náhodný kolega z labu, který na to reálně dohlížel
08:56 blurry yaqwsx: bolo nam pridelene ID na projekt
08:59 yaqwsx blurry: Ah :D
08:59 yaqwsx Text máme?
14:16 xheno joined #divine
14:29 yaqwsx blurry: Pokud mornfall nemá jiné výhrady k textu, já jsem s ním celkem spokojen.
14:29 yaqwsx Jak to tedy vypadá s LTL v DIVINE4?
14:35 * mornfall sedi na prednasce z dif. geometrie
14:37 xstill_ yaqwsx: ještě není
14:37 xstill_ proč?
15:16 yaqwsx Já myslel, že už nějak pomalu začíná fungovat.
15:16 yaqwsx Jen mě to zajímá v souvislosti s projektem, kde nemůže napsat "DIVINE 4, nástroj pro LTL model checking"
15:18 xstill_ jo to by bylo dobré formulovat nějak jinak, ono to stejně není ideální formulace ani kdybychom to uměli, protože LTL už dost dlouho není to primární o co nám jde
15:20 blurry a o co nam jde?
15:26 xstill_ o hledání těžko nalezitelných bugů v reálném kódu, +-
15:26 xstill_ něco takového jsme psali do abstraktu DevConfu a přemýšleli jsme nad tím dost dlouho
15:27 blurry "DIVINE 4, nastroj pro hledani tezko nalezitelnych bugu v realnem kodu.."
15:28 xstill_ http://pastebin.dqd.cz/oyR5/
16:20 blurry divine mi oznamil, ze volanie bitcode na nie-frame je fuj a ze sa so mnou nebude dalej bavit a zabil sa, je to ziaduce chovanie?
16:21 xstill_ není
16:46 mornfall blurry: mozes opravit :)
19:57 xstill_ joined #divine
22:09 mornfall joined #divine

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