Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-02-15

| 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 | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
08:59 xstill_ mornfall: dorazíš dneska?
09:00 mornfall xstill_: už jsem tady, docela dlouho
09:00 mornfall vytisknu paper a stavím se v labu
09:01 xstill_ aha
10:11 xstill_ mornfall: /home/xstill/repo/divine-testsuite-private/svc-pthread/fib_bench.pkg/testcase.bc
12:33 xstill mornfall: máš někde v SVN ten text článku na DIVINE 4?
12:34 mornfall xstill: nemám, ale https://paradise.fi.muni.cz/~xrockai/divm.pdf
12:35 xstill a nechceš to tam hodit?
12:37 mornfall no, v podstatě ani nechci, ale jestli chceš markdown tak https://paradise.fi.muni.cz/~xrockai/divm.md
12:37 mornfall (ta organizace v svn kde každej článek má vlastní infrastrukturu moc nefunguje...)
12:37 xstill no ale někde to chceme mít
12:38 xstill to, že se tam duplikují šablony je trochu otrava, ale není to až taková tragédie podle mě
12:42 xstill nebo to teda můžeme rozdělit na šablony a články samotné a pak se zbavíme velké části duplikace
12:50 mornfall já si vyrobil novou infrastrukturu na to co píšu, ~xrockai/doc/papers ... někdy tam dodělám target kterej vyrobí arxiv-compatible bundle a ten se pak může třeba importovat do svn
12:51 mornfall a asi mi přijde že je lepší aby každej článek psal jeden člověk, případný kusy textu od ostatních může vzít jako plaintext a zapracovat je
14:07 mornfall to je nějaká nekonečná schůzka
14:08 xstill no já mezitím udělal statický typeid
14:08 xstill a už to bude asi končit
14:08 xstill akorát mám skoro vybitý počítač
14:09 xstill a benchmarky pořád běží :-/
14:10 mornfall díval jsem se na to generování lsda, použít to co je v codegenu nepůjde
14:10 mornfall ale zlepšit to co tam je by určitě šlo
14:59 divine-next 1 new patch validated [mornfall]
16:08 xstill_ mornfall: /home/xstill/DIVINE/next obsahuje patche na lowering a staticky počítaná typeID
17:08 divine-next 4 new patches validated [xstill]
20:37 divine-next 1 new patch validated [mornfall]
20:51 divine-next 4 new patches validated [mornfall]
21:06 divine-next 5 new patches validated [mornfall]
21:18 xstill_ hm, není ten kód moc hezčí a že by to fungovalo to se taky zatím říct nedá :-/
21:20 xstill_ sim je trochu rozbitý: >>  %52 =  [i32 2 d] [i32 7 d] [i64 8 d] [i64 8 d]          # [const* 0 0 uun]
21:20 xstill_ [code* 0 0 ddp]
21:21 xstill_ ale to je teď jedno
21:21 mornfall to je tail call, nejspíš
21:34 xstill_ mornfall: může být část konstanty neinicializovaná? nějaký padding nebo tak něco…
21:35 mornfall hm, padding
21:37 mornfall neinicializovaný nuly tam být asi klidně můžou
21:37 mornfall ale pokud ta struktura není packed tak to nebude fungovat
21:41 xstill_ jj, tam kde je to potřeba je to packed a má to explicitní padding v tom dwarfu
21:41 xstill_ někde mám ale blbě offsety v té tabulce
21:45 xstill_ něco je těžce blbě :-/, musím už odjet z FI, přespávat se mi tu nechce
22:16 mornfall nojo, vypadá to bledě
23:13 xstill jo, off-by-4
23:15 xstill akorát to pořád nefunguje
23:19 mornfall není divný že callSiteEncoding je absptr když to je offset?
23:19 xstill absprt je intptr_t
23:19 mornfall takže se to jen divně jmenuje, ok
23:33 xstill je to divný, výjimky to chytá ale pak dostanu memory error po __begin_catch
23:33 xstill měl bych jít spát, abych mohl pracovat zítra
23:34 mornfall já jdu taky spát... zítra zkusíme vyřešit tu evaluaci asi nějak jinak, nebo uvidíme

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