Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-10

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

All times shown according to UTC.

Time Nick Message
06:21 mornfall bleble
06:24 xstill hm, ICE, někde v llvm
06:24 xstill pravděpodobmě v lambdě
06:25 xstill (gcc ICE)
06:28 mornfall supr
06:28 mornfall já zase zjistil že mi segví unit testy dost brutálně
06:28 mornfall ale zdá se že chyba je někde v driveru
06:29 xstill v driveru?
06:29 mornfall no, těch unit testů
06:30 xstill aha tak
06:30 mornfall runner-u
06:30 mornfall http://divine.fi.muni.cz/hydra/build/2814442/log
06:32 mornfall nic, jdu pomalu na vlak... to su zvědavej na ten rozvrh :]
06:53 xbarnat joined #divine
06:53 xbarnat mornfall: jaka je syntax toho divine_choice s probabilitama?
06:59 xstill xbarnat: divine/llvm/usr.h:112 (komentář)
07:02 xbarnat d
07:07 xbarnat a kodovani one pravdepodobnosti do labelu je?
07:09 xstill divine/toolkit/probability.h snad
08:23 xstill xbarnat: víš něco o hesle v biosu těch nových pythií?
09:21 xbarnat joined #divine
09:21 mornfall joined #divine
09:21 xHire joined #divine
09:21 xstill joined #divine
09:21 ChanServ joined #divine
10:00 xbarnat ne nevim
10:05 xstill no já bych typnul že je tam technici nechali
10:05 xstill spustil jsem memtest na té pythia05, tak se uvidí
10:25 mornfall xbarnat: můžeš si ty pravděpodobnosti namalovat divine draw
10:25 mornfall xbarnat: (--probabilistic --labels)
10:26 mornfall xbarnat: je to cluster: pravděpodobnost
10:26 mornfall jen se obávám že si budete muset renormalizovat ty cluster id, protože tam asi dám uint64_t jen na jejich číslování...
10:30 mornfall a hlavně tam mam bug v thread ID, tam měl být pow místo *
10:30 mornfall to máš tak když má něco být hotový do večera :-P
10:31 xstill hm, to pythia05 nevypadá že by měla vadnou paměť
10:35 xbarnat Linking CXX executable divine /usr/bin/ld: ../divine/libdivine-instances.a(instance-4.cpp.o): TLS transition from R_X86_64_TLSLD to R_X86_64_TPOFF32 against `' at 0x3d00000001 in section `.debug_ranges' failed ../divine/libdivine-instances.a: could not read symbols: Bad value collect2: error: ld returned 1 exit status
10:35 mornfall xstill: už jsi zkoušel ten coin example? :-)
10:35 xstill běží na auře
10:35 xstill ale jen chvíli
10:36 xstill hm, jenže jsem ho pustil pod nice a někdo mi to vyžral
10:41 xstill hm, compact by asi měl poznamenat někde do hlavičky že používá Probability jako label
10:43 mornfall kdyby se to udělalo takhle tak to asi bude OK, jen ty labely budou fakt potenciálně dost velký
10:43 mornfall protože číslovat ty clustery je dost netriviální, když máš redukci
10:45 xstill no já nevím moc jak to funguje (clustery,...)
10:46 mornfall xbarnat ti to vysvětlí, mi zachvíli jede vlak :-)
10:47 mornfall xbarnat: něco ti asi někde vyteklo, nevim... máš dost místa na disku?
10:47 mornfall xbarnat: kdyžtak si vypni nějaký instance co nepotřebuješ
10:47 mornfall možná clean a rebuild
10:48 mornfall nebo něco :-)
11:20 xstill tam se dějí nějaký strašně divný věci s těma clusterama ne? Prvočísla a tak...
11:23 xstill xbarnat: jak to teda bude se seminářem -- zmizel mi z rozvrhu?
11:28 xbarnat xstill: zatim ne
11:31 xstill xbarnat: potřeboval bych vědět jak to bude s časem který si mám v pondělí vyhradit pro lab. Jestli třeba bude porada od 10 hodinu, nebo jak? Aspoň předběžně...
11:34 xbarnat chapu, ale zatim plati to, ze je v pondeli seminar od 10:00 do cca 11:00
11:35 xbarnat precejen, nechceme uplne sklouznout k implementacim divinu pouze, chceme se i vzdelavat v labu a cist clanky ....
11:35 xstill jasný, já jsem za vzdělávání rád :-)
11:46 xstill hm, hodil by se C++14 optional
11:46 xbarnat research chalenge: datova struktura, ktera se dobre distribuuje pametove a ma signifikantni kompresni ucinky na stavove prostory
11:47 xstill hmmm, zajímavé :-)
11:48 xbarnat teda i tak bych chte videt (v cislech) degradaci te stromove komprese pri pouziti klastru
11:50 xstill no, to já taky, musím udělat ty automatické testy
12:01 xbarnat xstill: BTW nemas nekde pt.hs (pascaluv trojuhelnik, cviceni IB015) ?
12:02 xstill podívám se
12:05 xstill antea:/tmp/pt.hs
12:15 xstill (poznámka pro pobavení: dávat rbreak na run není vhodné, udělá to 4757 breakpointů a to mám málo instancí :-P)
14:08 mornfall vypnul jsem trac, dumpuju databáze
14:08 mornfall je na čase dát tam postgres 9
14:08 mornfall stejně tak hydru
15:46 mornfall tak jo, trac už je zase živej
15:53 mornfall a teda to s tou datovou strukturou bych byl fakt zvědavej jestli jde :-))
15:53 mornfall ale není mi moc jasný jak by to mělo fungovat
16:14 mornfall xstill: btw. ad instance -- ono asi nic nebrání vyrobit těch souborů třeba 128, cpát tam X (třeba 10) instancí a ten ocas co zbyde prostě nechat prázdný...
17:04 xstill jo to s těma prázdnýma instancema mě taky napadlo, stojí to za zkoušku
17:10 mornfall resp. to může fungovat i tak že se do souboru dá std::min( i/n, 10 ) instancí
17:11 mornfall default souborů se nastaví na 100
17:11 mornfall a bude :-)
17:11 mornfall nebo std::max ;-)
17:11 mornfall to by mohlo fungovat trochu líp
17:11 xstill jo to je asi nejrozumnější
17:12 mornfall a ty prvočísla jsou tam proto, že potřebuju zakódovat libovolné větvení do jednoho čísla
17:12 mornfall takže to je 2^a * 3^b * 5^c * 7^d * 11^e ...
17:13 mornfall kde a, b, c, ... je vždycky index následníka v dané úrovni zanoření
17:13 mornfall tahleta řada je hrozně dobrá, až na to že mega roste mega moc rychle
17:13 mornfall :-P
17:14 mornfall jdu radši nakupovat, bbl
17:15 xstill to bude strašně moc růst, to asi bude problém, ne?
17:15 xstill proč potřebuješ vědět větvení?
17:40 mornfall no, to je totiž tak že nedetminismus a pravděpodobnost se můžou libovolně prolínat
17:41 xstill jo
17:41 mornfall já tam dám buď nějaký arbitrary precision číslo nebo vektor, asi
17:41 mornfall ale teda problém je, že to musíš roztřídit, každá nedet větev musí mít nějaký číslo
17:41 mornfall aby šlo odlišit která pravděpodobnost patří k čemu
17:42 xstill hm, to pak ale nepůjde moc uložit v kompaktu (vektor...)
17:42 mornfall no, to jsem myslel tím, že to asi bude potřeba renormalizovat
17:42 mornfall protože v praxi těch čísel bude v jedné úrovni jen několik (stovek, tisíc)
17:43 mornfall jenže to poznáš teprv až máš nagenerovaný všechny následníky nějakýho stavu
17:44 mornfall zejména teda poznáš kde sis nechal v tý sekvenci díry zbytečně
17:46 mornfall [ 98%] Building CXX object divine/CMakeFiles/libdivine-instances.dir/instances/auto/instance-1.cpp.o
17:46 mornfall 3654terminating with uncaught exception of type std::bad_alloc: std::bad_alloc
17:46 mornfall to je 972 instancí, http://divine.fi.muni.cz/hydra/build/2819126/log
17:47 xstill hm clang žere víc paměti
17:48 xstill já udělám ten tweak dneska
18:29 xbarnat joined #divine
18:46 xstill hm, chtěl jsem poslat patche, ale nejde mi ssh na anteu
18:46 xstill teda, spíš mi nejde připojení nikam
18:47 xstill kromě vpn a tím pádem irc
18:53 xstill spíš asi nemám dns
18:58 xstill hm, proč mám v /etc/resolf.conf
18:58 xstill domain fi.muni.cz
18:58 xstill nameserver 147.251.48.14
18:58 xstill nameserver 147.251.48.41
18:58 xstill to by mě zajímalo
19:08 xstill blbá (ne)inicializace field-u ve struktuře
19:38 xstill hm, v těch compact patchích je chyba
19:39 xstill (oni ještě neodešli ale neumím je vyhodit z fronty)
19:40 mornfall postsuper -d <id> (postqueue -p ti řekne id)
19:41 xstill dík
20:16 xstill nějak mi zůstávají vyset dns
20:16 xstill jako, že když se po rebootu připojím na fi, tak tam mám fi dns i když se vrátím domů
20:18 mornfall zkusil bych restart dhcpcd
20:23 mornfall ale nevim no
20:23 mornfall už se mi to stalo, ale fakt si nepamatuju jak jsem to vyřešil
20:23 mornfall asi stárnu
20:27 xstill no, já jsem už stihl restartovat počítač než jsi to napsal. ale dík kdyby se mi to zase stalo tak to zkusím
20:28 xstill ten compact s label mám rozbitý
20:28 xstill nějak strašně moc

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