Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-06-29

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

All times shown according to UTC.

Time Nick Message
06:16 xstill mornfall: tak začínám docela pochybovat, že jsme to měli prověřený s 2 zvětšeníma, T=2 N=2 (což by teda mělo vyplnit tabulku na 100% po 1. zvětšení) vygenerovalo 20M stavů
06:18 xstill ah, tak tohle dokonce byla verze kde jsem nastavil aby se ten counter aktualizovat pokaždé, tak je možný že se to zvětšilo dvakrát
06:19 xstill už budu kdyžtak měnit jen ten text k verifikaci, jinak nic
06:20 xstill a pustil jsem si ještě T=2 N=3 na auře, třeba to během několika málo hodin doběhne, přeci jen na 32 vláknech je milion stavů otázka ani ne 5 minut
07:17 xbarnat joined #divine
07:19 xbarnat Hola jak je na tom SPIN ... ?
07:20 mornfall pracuju na tom
07:25 xstill mornfall: to T=3 N=1 jsi bral ode mě se sefm, nebo z dizertačky?
07:26 mornfall nevim
07:26 mornfall spíš od sebe
07:26 xstill ok, aha ale tam vlastně stejně se to mělo vejít do 1 resize, takže to by mělo být OK
07:26 mornfall ano
07:27 mornfall zacheckinoval jsem upravenou verification sekci
07:28 mornfall když už se to teda celý rozkopalo tak bys mohl přidat relevantní #ifdef __divine__ do brick-hashset a ten driver do examples/llvm/hashset.cpp (odkazuju na to z paperu)
07:29 xstill jo, to udělám
07:31 xstill co jsi tam přidal, že máme opět 18 stránek?
07:31 mornfall (to maxcollisions by pod ifdefem být nemělo, to má dopad aj na normální použití)
07:31 xstill j
07:31 mornfall pár vět
07:32 mornfall latex kolem nadpisu 2.7 vyrobil hodně velký mezery :-)
07:32 xbarnat bože jakou èeštinou to píšete :-)
07:33 mornfall xbarnat: jakou?
07:33 xbarnat unicodem
07:33 xstill kde?
07:33 xbarnat sem
07:33 mornfall utf8
07:33 xstill no normální
07:33 xbarnat nj, ale to kwirc neumi
07:33 xbarnat :-) nic, nenechte se rusit
07:33 mornfall asi jako každej za posledních 10 let
07:39 xstill zajímavý je, že divine je schopnej celkem v klidu jet s tím, že má 8GB alokované paměti ale v RAM má jen 4GB a ani se nesnaží si alokovat ten zbytek volné ramky. Takže možná by mělo časem smysl si pořídit nějaký ssd ještě k tomu serveru :-D
07:39 xstill to jen tak náhodou, že jsem nechal divine běžet u sebe přes noc
08:25 mornfall co s tím 'shrnout finální návrh'?
08:26 mornfall xbarnat: ty bys mohl dořešit ty reference?
08:26 mornfall já projdu překlepy a spol a pak kouknu na ty grafy
08:30 xstill mornfall: no, trochu jsem rozšířil sekci o implementaci (už někdy včera)
08:31 xstill ale nepříjde mi zase potřeba psát takové věci jako jakou používáme hashovací funkci
08:34 xstill xbarnat: jak to funguje s tím review co mám dělat? To zadám to hodnocení do easy chair, nebo ti to mám poslat? Asi bych potřeboval aby si to po mě někdo přečetl, sice nehrozí, že bych měl horší angličtinu než autoři, ale aj tak by to mohlo vypadat blbě…
08:35 xstill a teda, ten článek je hroznej
08:37 xstill mornfall: ještě jsem uvažoval jestli každou sekci design neukončit jednou větou kde by se shrnulo, co jsme teda vybrali k implementaci
09:06 mornfall hm
09:07 mornfall ok, zbývá tohle (popis finálního designu), reference a grafy/experimenty
09:07 mornfall plus ty TODO na čísla
09:26 mornfall no, koukám že to nebude levnej výlet
09:38 xbarnat xstill: prijmes pozvanku k recezni a uploadnes to jako subreviewer do easy chairu, me prijde pak vyzva abych to schvalil ...
09:38 xstill ok
09:43 xbarnat joined #divine
09:44 xbarnat našte něco s háčkama a čárkama pls
09:44 xbarnat *napište*
09:44 xstill háček?
09:45 xbarnat j d9k
09:45 xbarnat j dík
09:46 mornfall :-)
09:55 xbarnat xstill: v zápise ze senátu máme, že 8 hlasů je planých ...
09:56 mornfall no a není? :D
10:01 xbarnat xstill: jelikož jsem ho ještě nevystavil, mužeš mi poslat opravené pdfko?
10:06 xstill xbarnat: kde?
10:06 xstill v bodu 1 má být 8 hlasů platných
10:06 xbarnat 1. bod, hlasování o souhlasu s Lukášem Ručkou
10:07 xstill no však to souhlasí, Lukáš tam nebyl
10:07 xbarnat no ale jde o planých -> platných
10:08 xstill ah :-)
10:08 xstill jaké chceš datum podepsání?
10:08 xstill dnešní?
10:09 xbarnat klidnÄ›
10:09 xbarnat no do 5 pracovnich dnu ...
10:09 xbarnat takze ano klidne dnesni
10:09 xstill hm, ale ty už jsi to vystavil předtím asi, protože Tomáš mi o tom něco psal
10:09 mornfall xbarnat: jak jsme na tom s cestovníma penězma? tady ten JAR vychází na plusminus 60 tisíc (snad jsem započítal všechno)
10:10 xstill no teda, to není levná sranda
10:10 xbarnat no v dokumentovem serveru to teda neni ...  akorat jsem posilal vysledky hlasovani o dekanovi
10:10 xbarnat na cestu na SPIN v GACRu mame
10:11 xstill máš to na mailu
10:11 xbarnat myslim, ze se jsem pocital 120 tis na rok
10:11 xbarnat takze zbyde jeste 60, neco bude ten York
10:12 xbarnat a bud pojedou dva na SEFM (York), nebo jeste klapne ICFEM (Pariz)
10:12 mornfall OK
10:34 xbarnat ty doporucene reference jsou fakt dost mimo
10:35 xbarnat hlavne ten janssen to neni ani v dblp
10:52 xbarnat copyright jsem vlozil do SVNky ... az bude finalni verze, muze se jen vzit a prilozit
11:03 mornfall hm, vidíš, \thanks jsem chtěl dořešit
11:04 mornfall 'we list refer to' asi nebylo cos chtěl napsat?
11:05 xbarnat asi ne
11:05 xbarnat http://www.research.ibm.com/people/m/michael/spaa-2002.pdf
11:09 mornfall no, já jdu na výlet, na grafy v paperu se mi moc hrabat nechce, asi bych to pak vyřešil odkazem na online verzi (barvy) a na /benchmarks který mi přijdou jako výrazně lépe investovaný čas
11:09 mornfall ale jestli na tom trváte tak s nima něco večer provedu
11:53 xbarnat netrvame
14:09 xstill hm, tak mám alespoň T=2 N=3 který určitě pustil 2 zvětšení
14:10 xstill ale běžel 7.5 hodiny na 32 vláknech, takže ty původní testy asi měli jen 1 zvětšení
14:10 xstill (116M stavů)
14:26 xstill mornfall: aktualizoval jsem sekci o verifikaci, musel jsem i trochu změnit text, protože T=2, N=4, O=2 fakt asi nejstihne doběhnout (on má totiž 3 zvětšení), měnil jsem jen ty 2 odstavce kde zmiňujeme jak dlouho ty testy běželi a co jsme teda zverifikovali
14:27 xstill (T = 2, N = 1, O = 1 sice ještě nedoběhl, ale něco takového už jsme měli zverifikované dřív, takže tomu věřím)
14:28 xstill (v SEFM máme dokonce T = 2, N = 4, O = 2, s jedním zvětšením)
14:56 xstill hm, tak ICFEM nebude :-/
16:54 mornfall nojo
18:22 xstill mornfall: pošleš ten SPIN?
18:22 mornfall jo, az dojedu
18:22 mornfall mame veselo :)
19:14 xstill jo?
19:16 spito nečteš #fi.muni? plavili se na skoro-móři
19:16 spito a pak jeli vlakem
19:16 spito většinou se neplavíš bez alkoholu...a tak
19:16 xstill nojo, ale tak já měl za to, že pro mornfalla je ježdění vlakem normální
19:18 xstill alkohol to je ovšem jiná, asi
19:37 xstill hm, existuje nějakej návod podle čeho se mají dávat známky na review článku, nebo to prostě střelím od oka jak moc se mi to hnusí?
19:38 mornfall tak, nějaký recenze už jsi četl, nic lepšího není
19:38 xstill ok
19:40 spito mornfall: když už tě tu vidím, pošleš ty moje patche? ;) ;)
19:42 mornfall jojo, prvnÄ› spin pak patche
19:43 xstill ty moje poslední (test Extend test for malloc…) ale neposílej, ty to rozbijou, budu se na to muset podívat
19:46 mornfall hm, Jiřík si po sobě to 'we list refer to' taky neopravil ... :P
19:48 xstill nojo, to zvládneš. Otázka je teda co tím chtěl říct.

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