Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-14

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

All times shown according to UTC.

Time Nick Message
06:33 Erbureth joined #divine
06:59 spito joined #divine
07:32 spito xstill: co ti jiřík napsal na bc?
08:33 xstill spito: no ještě mám doplnit cíle práce do úvodu, pár věcí formulovat jinak, a že nepoužívám dostatečně členy
08:39 spito no, já to mám celé přepsat...zase
08:43 xstill no to nepotěší
11:39 mornfall Hm. Jetlag jak z učebnice.
11:40 mornfall Local time 4:40am.
11:53 xstill mornfall: ahoj, to je nějak brzo ne?
11:59 xstill přednášíš už dneska?
12:25 mornfall xstill: No brzo je, ale já mam už odpoledne. ;-)
12:25 mornfall Teda interní hodiny mají.
12:26 mornfall Jo, dneska v deset zdejšího času.
12:26 xstill aha, to nepotěší mít posunuté hodiny
12:26 xstill v deset (tam) ráno?
12:28 mornfall J.
12:29 mornfall To je tak za 4.5 hodiny.
12:29 xstill no furt máš ještě čas který se dá využít ke spánku
12:35 mornfall Už ani moc ne, a navíc jsem už spoustu hodin spal.
12:35 mornfall Krize přijde odpoledne...
12:36 mornfall Za hodinu a půl začíná registrace.
12:36 mornfall Jako, moc se mi tam nechce... :-)
12:36 xstill aha
12:37 mornfall spito: Co ta tvoje bakalářka? To zase dramatizuješ ne?
12:37 mornfall xstill: Jo, a is providing -> provides.
12:37 mornfall so-called
12:38 mornfall obsahově asi nemám námitky
12:40 xstill mornfall: díky, Jiřík po mě ještě chce abych do úvodu přidal sekci s popisem cíle své práce, ale mě příjde že už to tam mám...
12:40 xstill jen teda ne jako samostatnou sekci
12:41 xstill nějak asi nechápu jak by měl takový úvod vypadat
12:54 xstill na pheme je od 10.5. vypnutý journal
12:56 xstill ale přitom ho jde zapnout
13:01 xstill mornfall: je to tam nějaké rozbité, navrhuju že udělám nový deploy a při té příležitosti zapnu cups-u debug logování aby bylo vydět proč ddosujeme print.fi.muni.cz
13:02 mornfall No, journald když dojde disk tak prostě přestane logovat.
13:02 mornfall Já ho sice restartoval, ale možná to nepomohlo.
13:04 mornfall Ale jo, udělej.
13:04 xstill on došel disk?
13:04 mornfall No, na některých párkrát jo.
13:04 mornfall Než se mi povedlo systemd timer přesvědčit aby pouštěl nix-gc.
13:04 mornfall Nic, jdu snídat.
13:04 mornfall Bbl.
13:05 xstill nojo /nix/store je dost velký no, disk jsem včera řešil na pythiích
13:06 xstill dobrou chuť
13:54 spito mornfall: no, jiřík mi napsal, že to mám zase celý blbě
13:54 spito mornfall: kolik máš hodin?
13:55 spito mornfall: a jak se dá udělat italika na IRC? (jak jsi nám mával)
14:01 * xstill baf
14:03 spito eh?
14:03 spito kdo to byl?
14:04 spito * takhle?
14:07 xstill spito: takhle: /me baf
14:09 mornfall To není italika. :D
14:13 mornfall A zdá se že nikdo nechodí. Asi tady budu sám. :D
14:14 xstill to už je registrace?
14:14 mornfall Už čtvrt hodiny.
14:14 mornfall Čekal bych že Evropani tady budou nastoupení v řadě. :-)
14:15 mornfall Asi se nebudí ve čtyři ráno jako já.
14:15 mornfall Ale ne, už tady jsme dva.
14:16 xstill aspoň někdo
14:16 mornfall V letadle jsem přečetl druhou půlku A Feast for Crows.
14:16 mornfall Podle jména Francouz. :-)
14:21 xstill hmm oni mi snížili náročnost magisterského oboru
14:22 mornfall Hrůza.
14:24 mornfall Už se to rozjíždí.
15:18 Erbureth|2 joined #divine
16:36 spito https://github.com/kripken/emscripten/
16:37 spito aneb jak lze znásilnit LLVM
16:41 xstill WTF
17:22 _ilbot joined #divine
17:22 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
17:41 mornfall Starý. :-P
17:48 xstill mornfall: tak co, jaká byla prezentace?
17:49 mornfall cojávim, zeptej se Jiříka, sledoval to online :-)
17:49 xstill počkej to se dalo sledovat?
17:50 xstill to jsem měl vědět, bych se tady díval
17:52 mornfall jediná adresa co mám je http://www.ustream.tv/channel/nasa-arc , nevím jestli tady ale prý to jde sledovat aj dodatečně
17:53 mornfall http://www.ustream.tv/recorded/32822027 asi
17:54 xstill to asi bude ono, jsem tě tam viděl hned v prvním záběru do publika ;-)
17:54 xstill a jakej z toho máš pocit?
17:54 mornfall ne, to končí keynotem
17:55 mornfall ale prostě to tam někde bude, třeba až skončí session
17:55 xstill ok, já to pak prozkoumám
17:55 mornfall tady ten internet docela solidně laguje :-)
17:56 xstill no jestli odtamtuď stremují lidi z celýho světa tak se nediv
17:56 mornfall to není ten problém :-)
17:56 mornfall ta wifina tady nestíhá
17:57 xstill no to je potom jiný problém, asi fi není jediná kde nemají pořádnou wifi
17:57 spito mornfall: kdy budeš povídat?
17:58 spito tak jsem zase mimo :D
17:58 spito ty tam nejsi na záznamu
17:59 mornfall teď prezentuje Alfons
17:59 xstill no já jsem to pustil a slyšel jsem že zmínil OWCTY
17:59 xstill kdo to je?
18:00 mornfall Laarman
18:00 mornfall já - divine ~ alfons - ltsmin ;-)
18:00 xstill jasný
18:02 xstill doufám že se dostane k něčemu zajímavýmu
18:03 mornfall spito to měl sledovat a rovnou psát do úvodu :-)
18:04 mornfall spito: záznam ze session bude za hodinku, dvě, řekl bych
18:04 xstill no já jsem v úvodu nešel moc do hloubky, buchy jsem ani nezmínil
18:04 spito no, já se chci vyhnout i LTL :)
18:05 spito přijde mi blbý tam psát něco, čemu vůbec nerozumim
18:05 xstill no však se podívej co jesem tam psal, v podstatě jen že LTL existuje
18:05 xstill počkej není SWARM záležitosní spinu?
18:09 xstill 18x rychlejší není zas tak moc na tolik threadů ne?
18:11 mornfall je to LTL
18:11 mornfall to je těžší než reachabilita
18:11 xstill to je jasný
18:11 xstill uvidíme co na to řekne divine
18:13 xstill ;-)
18:14 mornfall :-P
18:18 spito že to porovnává jenom proti SPINu?
18:22 xstill sakra
18:23 xstill to bylo jejich owcty, nebo naše?
18:23 mornfall klidně bych řekl že jejich
18:26 mornfall Oběd! :-)
18:26 xstill :-D
18:26 spito brouchuť
18:30 xstill spito: už je záznam
18:30 xstill http://www.ustream.tv/channel/nasa-arc
18:30 xstill hned na začátku
18:45 spito dík
18:54 spito tak tomáštík skončil na auře měření na 16 jádrech
18:54 xstill snad to neznamená že začne měřit na 32...
18:55 spito ne, prý jenom na 10
18:55 spito tak na 8
19:09 xstill mornfall: pěkná přednáška
19:13 mornfall :-)
19:14 mornfall jdu se projít, za půl hodinu su zase tady
19:14 mornfall na to že ráno byla docela kosa je teď zase docela hic
19:14 mornfall a sluníčko praží co to dá
19:14 mornfall na displeji vidím uplný kulový :D
19:15 xstill :-D, kde to vlastně je?
19:16 xstill aspoň máš pěkně, v Brně už je tma
19:44 _ilbot joined #divine
19:44 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:57 mornfall Blbý je, že začínám pomalu usínat.
20:03 spito buď silný
20:04 spito bojuj
20:04 xstill no jo ty jsi naladěný pořád na naší časovou zónu
20:04 xstill ale to zvládneš
20:04 mornfall No, bude kafe.
20:05 spito hele, jak probíhal vůbec let?
20:05 spito na kolik hodin to bylo?
20:06 mornfall No, čistej čas ve vzduchu o kousek víc než 10 hodin, AMS->SFO.
20:06 spito San Francisco?
20:06 spito to jsi letěl bez přestupu v NY?
20:07 spito jak se to řeší být 10 hodin na sedačce? jde po letadle chodit?
20:07 spito nebo se má spát?
20:07 spito (vím, četl jsi knížku)
20:11 mornfall spát, číst, občas se projdeš
20:11 mornfall přestupy v NY jsou nebezpečný :-)))
20:11 spito že by tě mohli zkontrolovat a poslat zpátky?
20:12 mornfall to můžou aj v SFO, ale je velká neznámá kolik času strávíš s celníkama a jestli ti neodletí přípoj
20:13 xstill hm. to je dost na nic
20:15 spito mornfall: a jak se dělá ten šikmý text? když jsi mával z AMS?
20:15 mornfall spito: to není šikmý text, to jen tak tvůj klient namaloval
20:15 xstill spito: už jsem ti to říkal
20:16 mornfall Jo, xstill má pravdu, bylo to /me xxx
20:19 spito chjo, jsem nějaký zmatený
20:19 spito asi toho už nechám....
20:26 mornfall čeho?
20:28 spito no těch blbých textů tady
20:29 spito mě už fakt asi hrabe
20:29 mornfall mně :D
20:30 spito dyk to píšu
20:37 xstill spito: jinak to o C a Švendovi je fáma
20:38 spito super
20:38 xstill Martin se ho ptal
20:38 mornfall Jaká fáma?
20:39 spito tak poslední kousky měření a mám měření hotový
20:39 mornfall spito: Tak se pochval. :)
20:39 spito že C převezme místo švendy bártek
20:39 xstill že má úvod do C začít přednášet Bártek
20:40 spito jak se udělá to, že budu mít na antee (nebo anně, to je fuk) webovou adresu?
20:40 xstill složka public_html
20:41 xstill mornfall: to divine demo běží na anně nebo antee?
20:41 spito tak koukám, že na antee je taky dost uživatelů
20:42 xstill ale antea to v pohodě dává
20:42 xstill zato anna má pořád load 26
20:42 spito jo, ale co tam dělají?
20:43 spito jako že tam mají home
20:43 xstill no na antee mají home všichni
20:43 spito http://anna.fi.muni.cz/~xweiser1/bc.pdf
20:45 spito ale ten úvod...no, nevim
20:45 spito i ten závěr....
20:46 xstill s úvodem taky ještě musím něco udělat
20:47 xstill navíc jsem dostal feedback že ta implementační sekce není zrovna moc pochopitelná
20:47 spito já zase že to popisuju jako v hospodě
20:47 spito ale asi to tak nechám....
20:48 mornfall kdo to říkal s tou hospodou? :-))
20:48 spito jiřík
20:48 spito jsem dostal veselý mail od něho
20:48 spito "...Znovu a lepe!"
20:53 xstill já jdu spát, zítra mě ještě čeká bakalářka, projekt z logiky a vůbec
20:53 spito brouk
20:53 mornfall :-)
20:53 spito (a mornfall tiše závidí)
20:54 mornfall Tss.
21:04 spito mornfall: ty se mě zase můžeš smát, že nemám ještě napsanou bc
21:06 mornfall Ještě máš pár dní. :)
21:06 spito jo, a pak propukneš v záchvat smíchu :D
21:06 spito a ještě větší, až to budeš oponovat
21:06 spito *a v ještě...
21:07 mornfall Uvidíme.
21:07 mornfall Spíš mě zajímají ty čísla. :-)
21:07 spito ty naměřený?
21:07 mornfall Jj.
21:07 spito ty tam už jsou
21:07 spito skoro všechny
21:07 spito ale aura je prostě divná
21:08 spito to vypadá, že si náhodně vygeneruje číslo, které znamená, jak dlouho divine poběží a udělá všechno proto, aby tomu tak bylo
21:08 mornfall Proč to furt spomaluje z 1 na 2?
21:08 spito když je na
21:08 mornfall z?
21:08 mornfall Cokoliv. :)
21:09 mornfall Ale nerozumim tomu.
21:09 mornfall To jsem přece spravoval, ne? :)
21:09 spito co jsi spravoval?
21:09 mornfall Že partitioned je na 2 vláknech pomalejší než na 1.
21:10 spito na auře prostě dostaneš čas běhu 70s i 210s
21:10 mornfall Ale to se děje všude.
21:10 spito no ale to by se dít nemělo
21:10 spito ne v takovém rozsahu
21:10 spito protože třeba na antee se to neděje
21:11 mornfall Obrázek 4.1...
21:11 spito a co s ním?
21:12 mornfall 23:09 (@ mornfall ) Že partitioned je na 2 vláknech pomalejší než na 1.
21:12 spito pozor, to jsou nejlepší časy z mnoha běhů
21:12 spito jo, to vidim
21:12 mornfall 23:10 ( spito ) no ale to by se dít nemělo
21:12 mornfall No, ale děje se to.
21:12 spito ne, to moje nemělo by se dít je na to rozmezí času běhu
21:13 spito krom toho tohle je ta opravená verze tuším
21:14 spito cyklus prochází přes hranu, nebo vrchol je v cyklu grafu?
21:15 mornfall vrchol leží na cyklu
21:15 mornfall coffeebreak! :-)
21:16 mornfall coffeebreak bez kafe... zatraceně
21:16 spito a mega coffee pro mornfall-a
21:16 spito eh?
21:16 spito proč?
21:16 mornfall prej došlo
21:16 mornfall a další bude až v dalším breaku
21:16 spito no lol
21:16 mornfall meh
21:16 mornfall tak aspoň sežeru nějaký ovoce
21:16 spito pomáhá pohyb...ale to jde na konferenci blbě
21:17 spito lko/// ;řý;iýxk
21:17 spito to se mi myš prošel po klávesnici
21:18 mornfall hh
21:20 mornfall Honeydew (melón) je docela dobrej. A ani ten canteloupe mi není tak proti mysli jako býval. Hmm.
21:20 spito nech si čvachtat
21:35 mornfall Ale ten jetlag mě fakt zabije.
21:36 spito buď silný
21:37 spito ale za chvíli tě stejně opustím
21:37 mornfall Navíc je zrovna děsně nudnej talk.
21:40 spito není tvým úkolem paky tady na FI podat zprávu o tom, co bylo zajímavý a bylo by fajn napsat do divine?
21:42 mornfall Ani ne, proč? :)
21:43 spito aha....jenom že mě malinko (fakt jen trochu) třeba zaujal talk Alfonse
21:44 spito a ty budeš koneckonců na všech talcích
21:44 spito ale nedokážu posoudit, jestli to není blbost a tak
21:44 mornfall není to blbost
21:47 spito a bylo by smysluplné to implementovat?
21:47 mornfall Určitě bylo.
22:41 mornfall Hm. On má partitioned docela dost problémy s loadbalancingem.
22:41 mornfall Na antee je 24 vláken rychlejších než 16, třeba.
22:43 spito jo, o tom vím
22:47 mornfall Na tom je hrozně zajímavý, že počet stavů maj všichni na 3 platný číslice stejnej.
22:48 mornfall Ale přesto maj někteří skoro furt prázdnou frontu.
22:51 spito ono když se podíváš na měření, který dělal Alfons, tak počet workerů mocnin 2 dává oproti jiným počtům workerů horší výsledky
22:52 spito http://www.win.tue.nl/ipa/archive/springdays2010/Laarman.pdf
22:52 spito slide 18
22:59 mornfall Zrovna tohle v tom obrázku vůbec nevidim.
22:59 mornfall 4 funguje líp než 3
23:01 spito u některých modelů poklesne efektivita
23:09 spito hehe, lehnul mi shared
23:09 mornfall nemyslím že by to jakkoliv souviselo s tou mocninou 2
23:11 spito race v tabulce
23:13 mornfall kde, co?
23:13 spito přetočil se int :D
23:14 spito to je to segmentování při zvětšování
23:17 spito no, ale to teď nebudu dělat
23:26 mornfall hh
23:27 mornfall já to nebudu dělat!
23:29 mornfall No, teď snad opravdu kafe? :-)
23:29 spito no, tak jsem to opravil
23:29 spito ale ono tu je už pozdě, víš?
23:29 spito a já zítra musím vstát
23:29 spito a nadiktovat jim písemku

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