Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-25

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

All times shown according to UTC.

Time Nick Message
08:43 mornfall xstill: ad jitování instancí, nejjednodušší asi bude vzít jeden instance soubor bez instance ale se všema includama, prohnat to preprocesorem (nebo rovnou vydumpovat clang AST) a pak nakonec jen přilepit tu jednu explicit instanciaci šablony...
08:43 mornfall xstill: ten preprocesor spustíš počas buildu, takže si to ponese stejný libstdc++/libc++ jako používá divine
09:52 xbarnat joined #divine
10:05 xbarnat Podivejte se na servery.abacus.cz,  a vyrknete/exportujte konfiguraci rekneme do 100 000 Kc.
10:06 xbarnat Uz se nekdo dival na tu annu?
10:06 xbarnat Co s ni je?
10:06 mornfall no, v kontextu tohoto to říkám nerad, ale anna jede ;-)
10:07 xbarnat :-)
10:07 xbarnat I tak se muzes podivat na konfiguraci a poslat mi ...
10:08 xbarnat jen nevim jestli nam dovoli dalsi stroj tam zapojit ...
10:08 xbarnat mornfall: vykaz!
10:08 mornfall teď by už snad i mohli
10:08 mornfall xbarnat: hm, nepřišel ti?
10:09 mornfall mi to píše stav: předáno
10:10 xbarnat mornfall: j, akorat jsem necetl postu, schvaleno
10:19 mornfall máš aj nějakou konfiguraci, snad se k tomu vyjádří aj xstill
10:34 wilmer joined #divine
10:35 wilmer left #divine
10:57 xbarnat na antee divine nejde prelozit (G++ 4.7.2) ?
10:57 mornfall potřebuješ 4.7.3
10:57 mornfall nix-env -iA nixpkgs.gcc47
11:00 xbarnat to to nejde udelat system wide?
11:00 mornfall system-wide je 4.6
11:00 xbarnat ach tak
11:04 mornfall https://t.co/TE9mmbOYyV povinné čtení do labu :-)
18:09 xstill hej tady se dneska neco delo
18:09 xstill (já už dnes skoro nevnímám)
18:12 mornfall :-P
18:13 xstill pěkný no
18:13 xstill (server)
18:13 xstill víc paměti tam asi v rozumné ceně nedáme co?
18:14 mornfall asi jedině s jinou deskou
18:14 xstill aha
18:14 xstill jasný deska to mě nedošlo že 2CPU deska bude mít jen na 32GB
18:15 xstill hm, zajímavý, pokud chce člověk aby mu někdo odpověděl na mail nesmí ty maily číst...
18:17 mornfall já mam 91 referencí a to jsem tak v polovině psaní...
18:18 xstill ?
18:18 mornfall dizertačka
18:18 xstill aha
18:19 mornfall bibliografie má 7 stran
18:19 xstill tak zase by bylo podezřelé kdyby byla krátká
18:19 xstill já měl 2 strany i v bakalářce
18:21 _ilbot joined #divine
18:21 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
18:21 xstill tak za 20 minu
18:21 xstill +t
18:22 mornfall hm, já jsem tak trochu idiot :D
18:23 mornfall tý RAMky tam je 96G :-)
18:23 mornfall 3x32
18:23 xstill :-D, to by mohlo stačit :-D
18:23 mornfall ale 9xx16 je levnější
18:23 mornfall 9x16
18:25 _ilbot joined #divine
18:25 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
18:25 mornfall 16x12 je za 100500 (s tím 2x6 core teda)
18:39 _ilbot joined #divine
18:39 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
18:44 * xstill feels like idiot
18:44 mornfall co?
18:45 xstill moje přihláška na erasmus
18:45 xstill to bylo rozbité u mě
18:45 xstill nebo teda jako oni mohli lépe ošetřit chybu
18:46 mornfall :-)
18:46 xstill ale problém byl buď v něčem co s tím udělal firefox nebo v diakritice někde
18:47 xstill takže mě tam snad vezmou
18:47 xstill i když pošta to asi nedoručí to úterý když to pošlu zítra odpo...
18:48 xstill tak jo ještě výkaz a jdu na ten abstrakt
18:50 xstill mám v inetu mezi oblíbenýma aplikacema nultici :-P
18:53 mornfall já bych si měl asi zaregistrovat předměty nebo co
18:54 xstill ty se ještě něco učíš na fakultě?
18:54 mornfall ne, ale mám spoustu virtuálních předmětů, protože kreditové studium
18:54 xstill super...
18:57 mornfall hm
18:57 mornfall ale kredity za studium už mám odkroucený
19:01 xstill :-)
19:01 xstill tebe už asi nebaví si dát jen tak předmět co?
19:03 mornfall ale jo, já si třeba příští semestr zapíšu HV8MP_PSMU nebo tak něco :)
19:16 xstill :-D
19:17 xstill ty i spíváš?
19:24 xstill mornfall: ad abstrakt: to vypadá docela dobře, o víkendu se mrknu na benchmarky
19:25 xstill je teda pokud chceme měřit uppaal tak to bude trvat asi tak rok :-P
19:43 mornfall no, se z, občas ;-)
19:44 mornfall ještě si pořídím kytaru
19:45 mornfall Hm, Jiřík sice odklikl v ISu IV074, ale že by reagoval na abstrakty... ;-)
19:47 xstill tak já třeba někdy prioritizuju maily podle délky...
19:47 mornfall :-)))
19:48 mornfall ještě aby se vzbudil spito :-)
19:48 mornfall články třeba i napíšu, ale potřebuju data
19:48 xstill náhodou, zítra jde dělat na divine...
19:49 mornfall supr
19:49 xstill jsme domluvení na spolupráci
19:49 mornfall doufám teda že to zvládne samostatně, protože já budu celej den offline asi
19:50 mornfall on má dodělat shared owcty a map ještě co?
19:50 xstill jo, to zvládnem snad
19:50 mornfall :-) když to bude fungovat tak vyrobím alfa 2
19:51 xstill ona už je alpha 1?
19:51 mornfall jo, už 2 měsíce :)
19:53 xstill ajo :-D
19:55 xstill já jdu rozbalovat tuple do function callu...
19:56 mornfall JITuješ?
19:57 xstill zatím ne
19:57 mornfall to přijde...
19:57 mornfall napsat k tomu abstrakt jsem zatím ale neměl odvahu :]
19:58 xstill :-D nejdřív by to chtělo vědět jestli to fakt dokázeme
19:58 xstill ale to půjde :-]
20:39 xstill tak jo forwardoval jsem si tuple :-P
20:39 xstill to už bych dokázal udělat i tail nad tuple...
20:45 xstill asi neopravuješ Jiříkovi projekt z paraleních systémů?
20:45 xstill teda úkoly do...
20:49 mornfall ani ne
20:51 xstill tak to já zvážím programovat trochu umírněně

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