Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-24

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

All times shown according to UTC.

Time Nick Message
09:59 spito joined #divine
12:00 mornfall xstill: https://github.com/philipc/clang-ast/blob/master/CMakeLists.standalone
12:01 mornfall xstill: https://github.com/philipc/clang-ast/blob/master/cmake/modules/FindLibClang.cmake
12:21 xstill nix-env -i /nix/store/cq4a04wk6gdmbq7i2sjjijjw1z0v1cap-clang-wrapper-3.3
12:38 xstill /nix/store/m4y0jd5y9m0ryz4m52ikm5pdxk8a3g8h-clang-wrapper-3.3/bin/clang
12:39 spito hú?
12:39 mornfall /nix/store/m4y0jd5y9m0ryz4m52ikm5pdxk8a3g8h-clang-wrapper-3.3/bin/clang
12:40 spito joined #divine
15:15 mornfall spito: nix-env -iA nixpkgs.clangSelf
16:33 xstill mornfall: na něco důležitého jsme zapomněli
16:33 xstill on ten jitter totiž nebude fungovat
16:34 xstill specielně pokud máš divine přeložený gcc a tu instanci clangem
16:34 xstill respektive ta instance by potom musala obsahovat všechno
16:35 xstill i libdivine
16:35 xstill a divine by si musal nést i libc++
16:36 xstill respektive ten problém možná není úplně gcc vs clang ale právě ta libc++
16:37 spito xstill: čekal na tebe v labu člověk na automaty :P
16:37 spito a už odešel
16:37 xstill hm, a já odešel domů
16:37 xstill co chtěl?
16:37 spito úlohy na automaty
16:37 spito prý byl s tebou domluvený
16:38 spito takový...jinoch to byl
16:38 xstill co?
16:38 xstill nevíš jméno
16:38 spito no, na šestou
16:38 spito ne
16:38 xstill do kelu
16:38 spito blonďák
16:38 xstill to pochopil špatně
16:38 xstill hm, a jméno teda nevíš?
16:38 spito nene
16:39 xstill ale s žádným blonďákem jsem domluvený nebyl
16:39 spito tak světlovlasý byl
16:40 xstill jediný kdo to mohl být je Martin Jonáš, ale ten mi vyplnil doodle že v úterý nemůže
16:40 xstill a není blondák pokud vím
16:40 spito jo, to byl on
16:41 xstill super
16:41 spito ty vlasy byly oproti šedému kabátu světlé...
16:41 xstill v doodlu mi napsat že v úterý 6-8 nemůže
16:41 spito :D
16:41 spito no, tak mu napiš, že je tukan
16:42 xstill no to byl nějak dost zmatený
16:42 xstill ach jo
16:43 spito jak v darcsu řeknu, že chci zobrazit nezarekordovaný změny?
16:43 xstill darcs wh
16:43 xstill to jsou nezarekordovaný ale přidaný/změněný soubory
16:45 xstill wtf, dneska mi přišel mail, že mi 21. 10. 2011 odpadá výuka :-D
16:45 spito :D
16:46 xstill aspoň nejsem jedinej kdo je poněkud mimo
16:46 xstill napsali jste úvod k článku?
16:46 xstill nebo abstrakt nebo co?
16:46 spito ne
16:46 spito ale už mám napsaný motivační dopis do dánska
16:46 spito jo a nefunguje mi owcty
16:46 xstill jakto?
16:47 spito no, to nevím
16:49 spito counterexample nefunguje
16:49 xstill jak ti fuguje ring topologie nad shared?
16:50 xstill asi je tam normálně local takže se to zbytečné volá na každém vlákně
16:50 xstill asi budeme potřebovat něco jako per_table vedle ring a parallel
16:51 xstill ono to někde asertí nebo co?
16:51 spito jop
16:51 xstill kde?
16:52 spito zkus pls functional test owcty
16:52 xstill no já nemám ten iterátot
16:52 xstill *iterátor
16:52 spito owcty.h : 435 --->
16:53 spito owcty.h : 137
16:53 spito bum
16:53 spito na to právě nepotřebuješ iterátory ;)
16:53 spito divine verify --owcty --report -w 1 --compression=none --property=LTL --no-reduce data/test2.dve
16:53 spito toto umře
16:54 xstill aha ale to není shared ani
16:54 spito no právě
16:54 spito to taky vím
16:55 xstill ale mě to normálně doběhne
16:55 xstill bez assertu, property holds
16:55 spito hmm, někde se to pojebalo
16:57 spito tedy v něčem, co není pushnutý
16:57 spito což je dobrá nápověda :)
16:57 spito těch věcí moc není
16:57 xstill nejspíš nějaká chyba se shareds
16:57 spito no asi...
16:57 spito jenže co? :D
16:58 xstill nemám křišťálovou kouli :-D
16:58 spito no, tu má mornfall
16:58 spito to vím
17:02 xstill :-D
17:19 spito xstill: mrkni se mi pls do ~/divine
17:19 spito mrkni na změny
17:19 spito jestli tě nenapadá, čím to tak může být
17:19 spito (do mého home)
17:25 xstill mrknu
17:28 spito lol, teď všechno běhá, jak má
17:29 spito no, já půjdu asi domů
17:30 spito jen co doběhne test
17:31 xstill :-D, zrovna jsem si říkal že tam žádný problém nevidím
17:31 spito no já právě taky ne
17:31 spito ale nic jsem neupravoval
17:31 spito tak nevim, jestli někde starší knihovna po kompilaci, nebo co....
17:35 spito hmm, neprošlo again
17:36 xstill race? neinicializovaná proměnná?
17:37 spito no, race nevím
17:37 spito je to jednovláknový
17:37 spito ale neinicializovaná proměnná asi jo
17:50 spito xstill: udělej build v release....
17:50 spito nejede to
17:50 * spito jde domů
18:04 spito joined #divine
18:05 spito xstill: ale dnes na to už asi kašlu...
18:08 xstill hm, objevil jsem tajemství toho fóra
18:08 spito :D
18:08 spito no to já už taky
18:08 xstill jsme viděl
18:09 xstill docela dobrej vtip...
18:19 * spito papká, tedy stav se limitně blíží offline
18:23 xstill super
18:24 spito že? :)
18:25 xstill ty komenty v owcty jsou docela veselý, to byla určitě původně nějaká vzorová implementace...
18:25 xstill + si to někdo po sobě nepřečetl "(Set a a Based Approach)"
18:37 timslater joined #divine
18:40 mornfall fuha
18:40 mornfall tady se něco dělo
18:43 mornfall to nikdy vzorová implementace nebyla
18:43 mornfall to jsem tam napsal já
18:44 mornfall teda asi byla kdysi víc vzorová než je teď
18:44 xstill no však tvoje vzorová k paperu jsem myslel
18:44 spito mornfall: asi nemáme nějaké výsledky testů pro release build, že?
18:44 xstill jakých testů?
18:46 mornfall xstill: btw. anna se tváří že ji nic není
18:46 mornfall xstill: jak to vypadalo když jsi tam přišel? black screen?
18:46 mornfall nebo tam bylo něco napsaný?
18:47 spito xstill: functional
18:47 xstill napsaný bylo booting kernel pokud vím
18:47 mornfall hm
18:47 xstill spito: hydra?
18:47 mornfall tak to je fakt divný no
18:48 xstill možná se jen přehřála nebo tak něco
18:48 mornfall když jsem totiž připojil pole a rebootoval to tak to normálně fungovalo
18:48 xstill ty jsi jí ten den rebootoval?
18:48 mornfall ne
18:48 xstill hm
18:48 mornfall ona zdechla jen tak z ničeho nic
18:49 mornfall ach bože, já z toho journalctl snad nedokážu vytáhnout log
18:50 mornfall ale jo už asi umim
18:51 mornfall v logu není vůbec nic
18:51 mornfall hydra něco počítala a pak bum, konec
18:53 mornfall hm, a zabbix nejede protože jsem nevytvořil databázi po upgrade postgresu
18:53 xstill no hlavně já vidím logy ješt2 z pondělí
18:53 mornfall je to bordel
18:53 xstill kdy už anna nereagovala
18:54 mornfall hm, pondělí ve tři nabootovala
18:54 mornfall v pondělí ve 2 ráno zdechla
18:54 mornfall takže to odpovídá
18:55 mornfall 15:40 nabootovala a 15:41 jsi počítám odpojil pole a sesypalo se to :)
18:55 mornfall problém je že systemd logoval někam do ttyS1 a kernel měl loglevel 4
18:56 mornfall takže to vypadalo že se nic neděje
18:56 mornfall ale jestli to viselo v loading kernel, tak ten kernel co se to pokusilo loadnout nedokázal spustit systemd
19:01 mornfall ale ty sériový porty se se mnou vůbec nebaví
19:20 xstill to je blbý. Co si myslíš o tom jitter-u (viz nahoře asi úplně první v backlogu)
19:23 mornfall no
19:23 mornfall clang/g++ by mělo být jedno, libc++ je potenciálně problém
19:24 xstill jo, k tomu jsem taky nakonce došel, protože clang stejně používá normálně tu libstdc++ nabuildovanou gcc
19:24 mornfall spíš je otázka jak vyřešit symboly celkově
19:25 xstill co myslíš?
19:26 xstill jako to co je v libdivine
19:26 xstill ?
19:26 mornfall jo
19:31 mornfall kruci
19:32 mornfall nějak se to hroutí
19:33 mornfall jako nějak to asi fungovat musí
19:34 mornfall hm, llvm má nějakej vlastní runtime linker
19:36 xstill runtime linker? to je co?
19:36 mornfall no jakože ten jitter umí nějak resolvovat symboly
19:36 mornfall a dělat relokace podle toho
19:37 xstill jako llvm jitter co spouští bitkód?
19:37 mornfall j
19:37 xstill zajímavé
19:38 xstill kde se o tom dočtu?
19:41 mornfall http://blog.llvm.org/2013/07/using-mcjit-with-kaleidoscope-tutorial.html možná snad
19:41 xstill dík
19:44 mornfall void *FPtr = TheExecutionEngine->getPointerToFunction(LF);
19:44 mornfall double (*FP)() = (double (*)())(intptr_t)FPtr;
19:44 mornfall FP();
19:44 xstill wow :-D
19:48 mornfall čistě teoreticky by to mělo umět resolvovat aj symboly v tý binárce samotný
19:48 mornfall pokud je u sebe má teda
19:49 mornfall DynamicLibrary se na to používá
19:49 mornfall DynamicLibrary::SearchForAddressOfSymbol, ta volá dlsym
19:50 mornfall getPermanentLibrary posune filename do dlopen(filename, RTLD_LAZY|RTLD_GLOBAL);
19:51 mornfall s NULL by to mělo vyrobit handle na běžící binárku
19:51 mornfall a pak by MCJIT měl vyrobit v paměti object file kterej bude mít resolvovaný reference
19:52 mornfall a dát ti pointer na funkci :-)
19:53 mornfall bude to ukrutně magický teda
19:54 xstill jo no tohle bude strašná věc pro někoho kdo to nezná
19:55 mornfall to jsou zhruba všichni na planetě
19:55 xstill což jsou zhruba tak všichni lidi
19:55 mornfall jinx
19:55 xstill :-D
19:55 mornfall jestli to bude fungovat, napíšeme o tom článek
19:55 xstill :-)
20:13 mornfall hm, jen jsi vyrobil závislosti mezi external/ a divine/
20:14 xstill kde? jak?
20:14 mornfall tím mv
20:14 mornfall a tím cmake patchem
20:14 xstill sakra
20:14 xstill ten cmake můžu rozdělit
20:15 xstill otázka je co s tím mv
20:15 mornfall tak, rm, add, asi
20:16 xstill ok
20:17 mornfall kdyby na to totiž došlo, tak teď můžu libstdc++ aj libsupc++ kompletně smazat z historie
20:17 mornfall aniž bych něco zásadně rozbil
20:17 mornfall ale s tím mv už to nepůjde :-)
20:18 xstill smazat z historie?
20:18 mornfall jakože ty patche prostě unpullnout
20:18 mornfall teď to asi dělat nebudu, ale asi si tu možnost chci nechat otevřenou
20:19 xstill já to zkusím předělat
20:20 mornfall jinak to teda už funguje s libc++
20:20 mornfall ale tohohle jsem si všiml když jsem to chtěl celý pushnout
20:21 xstill to je dobře že to funguje
20:24 xstill a ty jednotlivé věci v external mám dělit?
20:31 mornfall ideálně jo
20:32 xstill ale libstdc++ a libsupc++ můžu smazat spolu?
20:33 mornfall jo to jo :)
20:34 xstill ok, rozdělil jsem, jen jsem musal to smazání zarecordovat znova, protože to na tom bylo závislé
20:34 xstill pošlu
20:34 mornfall jasně
20:34 mornfall ď
20:36 xstill máš to tam, řači si to ještě zkontroluj ale snad je to OK
20:36 xstill (jen jsem to teda nezkoušel kompilovat, ale snad)
20:37 xstill počkej
20:37 xstill hej ne
20:37 xstill jsem neodstranil z cmake libsubc++ a libstdc++
20:37 mornfall :-))))
20:38 xstill a nepřidal libc++
20:38 xstill ale to jsem snad neměl ve stejném patchy jako to smazání z external
20:38 xstill nebo jo?
20:39 xstill aha ne, ale ten patch na tom závisel
20:41 xstill můžu ti to poslat odděleně?
20:43 mornfall určo
20:46 xstill máš to tam, to je zase patchů...
20:46 xstill hej ještě blbě
20:46 xstill jsem to nedap přilikovat
20:46 xstill ach jo
20:50 xstill tak snad, jen je tam teď znovu to stringify s tím duplicitně, protože závislost
20:52 mornfall Fixed (hopefully). je poslední jo?
20:52 mornfall (ne že někde laguje mailserver :-)
21:00 xstill jo poslední
21:01 xstill teda další chybu jsem si nenašel
21:02 xstill jen teda můj původní repozitář se z toho asi zblázní :-D
21:09 mornfall tak jsem to snad poskládal, ještě si to přeložím a pak to pushnu s velkou slávou :D
21:11 xstill :-D
21:12 xstill a já půjdu spát, abych zítra neusnul u Matyáše na přednášce
21:14 mornfall :-)

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