Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-26

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

All times shown according to UTC.

Time Nick Message
00:15 xstill joined #divine
09:20 xstill mornfall: objevíš se tu někdy tento týden?
09:21 xstill mornfall: a co ode mě teď potřebuješ k článku, kromě výsledků?
09:22 mornfall výsledky a tu příslušnou sekci (evaluation)
09:22 mornfall a od Jiříka related work
09:22 mornfall co potřebujete vy ode mě?
09:24 xstill domluvit se na dalším postupu na divine, bylo by fajn abys nám řekl, co teda v novém interpretru bude, a abychom se domluvili co kdo bude dělat.
09:26 xstill případně pokud dokážeš odštěpit nějakou práci co by mělo smysl abych dělal já. Alternativně se můžu vyrhnout na pointr analýzu v lartu teda.
09:28 mornfall a nebylo by lepší prvně dodělat ten cav a pak řešit ten zbytek?
09:30 xstill to jo, ale tak říkáš, že po mě v podstatě chceš jen ty výsledky. A Jirka by třeba taky ještě mohl chtít něco udělat, než ho zotročí korporát…
09:31 mornfall chci, ale zase bych chtěl ty výsledky co nejsolidnější :-)
09:32 xstill no, já se snažím, ale aura je jen jedna
09:32 mornfall teoretická motivace je fajn, ale pokud sami nedokážeme vymyslet víc než 3 použítí, tak je to dost slabý
09:33 xstill tak, máme asi 5 front, lock free
09:33 xstill dynamický pole a vektor a hashset
09:33 xstill blbý je, že na čemkoli krom těch front asi nedám víc jak 3 položky v bufferu
09:34 xstill (divine je moc pomalej)
09:35 xstill a tyhle věci v podstatě nemá cenu měřit na čemkoli menším než arke, takže máme i dost nedostatek paralelismu
09:35 mornfall nj, ale recenzent ti řekne že to jsou 3 příklady (fronta, pole, hashset), a když bude obzvlášť zákeřnej tak řekne že to jsou všechno jen datový struktury a že to je vlastně dost omezený
09:36 xstill no, co chceš verifikovat jinýho než datový struktury?
09:36 mornfall no to by bylo právě dobrý vymyslet :-)
09:37 mornfall jako vždycky se tím můžou prohnat nějaký mutual exclusion protokoly, ale to je taky dost nuda
09:38 xstill no ono kromě lock-free věcí moc motivace řešit memory modely není, protože jakmile tam máš mutex, tak ti to buď uteče z toho mutexu a pak to najdeš tak jak tak, nebo to máš všechno za bariérou z toho mutexu
09:39 xstill tak jasně, dát tam petersona nebo něco podobnýho je nejmíň, jenže to je celkem na nic
09:40 mornfall ale tak z fronty a tabulky už nějaký algoritmy na 2 vlákna dáš ne?
09:41 mornfall nebo teda celkovÄ› nevim
09:42 mornfall to je ta cena za publikace, protože to je teoreticky dost málo zajímavý tak je potřeba to prodat na aplikacích a pokud nebudou přesvědčivý tak nám to vrátí
15:35 mornfall haha ty témata :D
15:38 mornfall to gdb je fakt těžce nepoužitelný
15:38 mornfall a libclang těžce nedokumentovanej :\
18:21 xstill jaká témata?
18:22 mornfall cc: paradise@
18:23 mornfall dotáhnout c# -> llvm a java -> llvm jako diplomky
18:24 mornfall (tak aby to Å¡lo verifikovat divinem)
18:24 xstill jo toto

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