Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-08

| 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: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:00 xtomast1 joined #divine
13:08 mornfall spito: http://pastebin.dqd.cz/DYdQ/
13:36 xstill vidíš, pthreads bych taky mohl citovat
13:47 mornfall xstill: vidíš, když si tady, asi bys měl z textu vyhodit 'written by me/written by Petr Ročkai' a 'PhD thesis of ...' (první stejně spadá pod to, že to je spolupráce a druhý je normální citace jako každá jiná)
13:48 xtomast1 ahoj, mam takovy mensi problem: potreboval bych jeste spustit nejakych par testu, ale aura vypada docela preplnene... nemohl bych nahodou pouzit par jader na antee?
13:48 xstill mornfall: jo, no ta poznámka u té transformace byla v podstatě proto, že je to jediná věc v té kapitle kterou jsem nedělal sám
13:48 xstill to s tou citací, to souhlasím
13:49 xstill xtomast1: za chvíli by měla být volná arke
13:49 xstill na antee nic nepouštěj, ta nemá takový výkon
13:51 xstill navíc má dost málo paměti a je kritická
13:52 xtomast1 ok, rozumim
13:53 xtomast1 na arke ale zase nemam pristup
13:53 xstill ale máš, pokud máš přístup na anteu musíš mít přístup i na arke
13:59 xtomast1 v tom pripade mi asi neco unika, protoze se tam nedokazu pripojit: http://pastebin.com/143iH4AE
14:04 xstill xtomast1: nojo, vážně jsi tam nebyl přidaný, zkust to teď
14:05 xtomast1 funguje, diky
14:57 xstill jak jsme se bavili o tom, že resize hashtabulky nevejde na auru, ono by asi stačilo upravit setSize v ntree tak aby tu velikost posílal jen té vnější tabulce a předalokovat ji, trochu se to tím asi zpomalí, ale mohlo by to pomoct. I když stejně, o moc dál se nedostaneme.
21:04 xstill mornfall: mohl by sis prosím přečíst ten zbytek: http://paradise.fi.muni.cz/~xstill/tmp/thesis.pdf (případně https://raw.githubusercontent.com/vlstill/mgrthesis/master/transform.md)? díky.

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