Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-15

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

All times shown according to UTC.

Time Nick Message
05:07 xstill joined #divine
06:18 xstill já jsem si nedávno pořídil ADATA XPG SX300 256GB, na disku jsem nechal velký data a systém hodil na SSD. Teď mám místa dost :-)
06:18 xstill což mi připomíná, že bych mohl zahodit ten nixos co jsem nechával na disku
09:08 xstill hm, mám další divnou BAD DEREFERENCE v shared_ptr
09:08 mornfall ukaž :)
09:12 xstill dávám to do tracu
09:13 xstill https://divine.fi.muni.cz/trac/ticket/256
09:13 xstill jo tiket 2^8 :-P
09:14 mornfall :-]
10:25 xstill libstdc++ je za trest
10:26 mornfall je
10:38 xstill už mě fakt štve
10:41 xstill navrhuju jí v úterý vykopat a dát tam libc++
10:41 mornfall /etc/nixos/pkgs/dsched/dsched-shell:                print "OK";
10:41 mornfall xstill: chybí tam newline a hydra z toho nemůže :-)))
10:41 xstill :-D
10:41 xstill opravím
10:42 xstill ale bude to vyžadovat deploy
10:42 mornfall jasně
10:42 mornfall nějak se jí blbě parsuje OK@ build-succeeded
10:44 xstill je to na anně
10:45 mornfall deploy jede
10:46 mornfall pro jistotu jsem to ještě přesměroval do /dev/null :)
10:47 mornfall no
10:47 mornfall libc++ v úterý by šlo
10:56 xstill nix na auře je nechutně pomalý
10:59 mornfall všechno na auře je nechutně pomalý, mi přišlo
10:59 xstill no v podstatě jo, ale nix je extrém
10:59 xstill ono asi dost trvá vytvořit profil po nfs
11:00 xstill všechny ty linky
11:04 xstill sakra, ten rers je problém, ale ne proto že bysme nestíhali, jenže oni chtějí LTL jen na větvích kde není assert
11:06 xstill když mám LTL formuli P, dokážu nějak jednoduše udělat P' která platí pokud P nebo nastane assert?
11:06 xstill nestačí P || F( assert )?
11:16 mornfall no, to by fungovalo kdyby existovalo ap assert asi
11:16 xstill tak jasně to už je detail
11:17 mornfall možná taky G( !assert ) -> P
11:17 mornfall až na to že G v LLVM neumíme
11:17 mornfall teda G( !x ) asi jo
11:17 xstill no to by bylo trochu jiné než chtějí, oni chtějí aby P platilo na bězích bez assertu
11:17 xstill nebo tak něco
11:20 mornfall já bych si to asi musel namalovat, ble :-)
11:20 mornfall ale něco takového by fungovat mělo
11:20 mornfall s fairness se to dává do implikace, ale teď nevím proč
11:20 mornfall GF( progress ) -> P
11:21 xstill jakto že neumíme G?
11:21 xstill aha
11:21 xstill protože AP platí jen někdy
11:21 mornfall jo
11:24 xstill sakra teď nemůžu na těch stránkách najít co vlastně chtějí
11:25 xstill hm "The LTL properties are intended to only specify the error-free behavior of the system."
11:26 xstill a chtějí vědět pro každej label zvášť jestli failnul
11:26 xstill to jsem taky přehlíd
11:27 xstill ale tak to asi udělám tak, že ty labely nahradíl AP a dodám k tomu !F( e# ) pro každý label
11:27 xstill je jich "jen 59"
11:41 mornfall víš o tom že umíme max. 44 různých AP?
11:41 xstill co?
11:41 xstill to jako fakt?
11:41 mornfall jo :)
11:41 xstill to žádnej rers nebude :-(
11:42 xstill jakto?
11:42 mornfall potřebuješ na každý AP bit ve stavu
11:42 mornfall a nemáme tam žádnej nafukovací bitvektor
11:42 mornfall resp. teď by to nebylo potřeba protože platí nejvýše jedno
11:42 mornfall ale tak to nebude věčně
11:43 xstill no a navíc jsem zjistil, že to P || F( assert ) nefunguje, protože to platí kdykoli kdy je tam assert
11:58 xstill hm já těch AP potřebuju 114, nebo alespoň 82, ale pak by s tím bylo víc práce
11:59 xstill a stejně ty LTL asi nepřepíšu do stavu ve kterém by dělali to co oni chtějí
12:01 mornfall no, já si hlavně myslim že snažit se o to rers teď je spíš zlý než dobrý nápad
12:02 xstill tak já jsem si myslel, že to zvládnu s pár modifikacema zdrojáků grepem
12:02 xstill ale vidím, že ne
12:02 xstill takže z toho asi nic nebude
12:03 mornfall no, bylo by produktivnější napsat na to randomized tester, asi :-)
12:03 mornfall nebo small instance tester
12:03 mornfall divinem stejně neděláme nic jinýho, jen to místo nativně běží interpretovaný
12:04 xstill tak on u těch menších příkladů není takovej problém ve výkonu
12:04 xstill jenže pak zase nemáš LTL
12:04 xstill a teda nesmíš se splíst, protože mají dost velkou penalizaci
12:04 mornfall proč bys neměl, to jde udělat taky
12:05 xstill ale tak Jiříkovi šlo o to ukázat divine, což by v podstatě fungovalo kdyby měli normálnější zadání
12:06 xstill kdyby nechtěli "error free LTL" a znát labely tak jsme mohli udělat small / easy a možná meadium / easy
12:10 mornfall no, to bychom leda ukázali že máme kladivo a všechny problémy vidíme jako hřebíky
12:11 mornfall mít nástroj a hledat co by tím tak šlo udělat je hrozně zoufalý
12:11 mornfall a pokud chceme dělat to na co je RERS zaměřenej, tak to děláme úplně blbě
12:17 xstill hm, clangSelf pořát není na antee, ani po deploy
12:18 mornfall no, deploy není to stejný jako upgrade, žejo :-)
12:19 xstill ah :-)
12:19 mornfall manifest-next jde postavit, krom antei
12:19 xstill proč krom antei?
12:19 mornfall user-thrown exception: Multiple definitions of integer. Only one is allowed for this option.
12:20 xstill wtf
12:29 mornfall nj, on totiž postgres má dva různý gid-y
12:34 xstill hm, hydra má tak dobrou distribuci práce že na žádné pheme nejsou dva volné CPU...
12:34 mornfall :D
12:34 mornfall to budeme ještě muset domyslet
12:36 mornfall ani 19, 20?
12:36 mornfall podle https://divine.fi.muni.cz//auth-hydra/machines
12:38 xstill do auth-hydra se asi nedostanu
12:38 mornfall normální paradise login
12:38 xstill aha
12:41 mornfall ok, udělal jsem upgrade, to su zvědavej jak to dopadne
12:41 mornfall zejména teda desktopy dostanou nový kernel
12:41 mornfall i když
12:41 mornfall to už možná bylo
12:42 xstill hm tak tam se dostanu ručně asi mám někde chybu
12:42 mornfall ale to je asi i důvod proč se nedostaneš na pheme
12:42 mornfall ok
12:42 xstill který kernel?
12:43 mornfall 3.10 asi
12:43 mornfall koukám že ještě jedou na 3.7
12:43 xstill tak na tom jedu a v pohodě
12:43 mornfall pythia05 na 3.9
12:43 mornfall zajímavé
12:43 mornfall jo, 3.9 je všude jen něco se už dlouho nerebootovalo
12:43 mornfall a 3.9 tam aj zůstane
12:44 mornfall u sebe mám 3.10.7 zdá se
12:44 xstill ta 05 stále běží btw
12:45 xstill (a kompiluje instance)
12:45 mornfall nerozumím tomu :-)
13:06 spito joined #divine
13:14 xstill mornfall: ty v hydře používáš z dsched jenom create-group a join-group a destroy-group přímo při připojování ssh?
13:15 xstill nepoužíváš create-group <name> <cpu> <memory>?
13:15 xstill asi to překopu trochu
13:28 mornfall jo, tak
14:37 xstill bude něčemu vadit když cgroup wrapper poběží po celou dobu session?
14:40 mornfall nic mě nenapadá
14:43 xstill ok
15:16 mornfall /home/mornfall/dev/divine/pristine/gui/dve/dveModule.cpp:452:6: warning: variable 'prop' is used uninitialized whenever 'if' condition is true
15:16 mornfall docela hustej warning :-)
15:17 xstill wow
15:17 xstill to dal clang?
15:17 mornfall j
15:17 xstill drsný
15:59 xstill mornfall: hydra potřebuje vědět návratový kód vzdálenáho jobu, že?
16:04 xstill to je jedno, stejně to snad bude fungovat
16:11 mornfall jistě
16:13 xstill můžu udělat deploy? Modifikoval jsem dsched, snad nic nebouchne...
16:20 xstill mornfall: ^^^
16:38 mornfall tak jestli určitě nic nebouchne... ;-)
16:38 mornfall jen ještě nedoběh ten předchozí
16:39 xstill no zaručit to nemůžu
16:39 xstill tak mi dej vědět až doběhne
16:40 mornfall já do hydry nasypal x-updates a stdenv-updates abych ji pořádně provětral
16:40 mornfall takže teď se pere deploy s hydrou o zdroje
16:41 xstill :-D
16:44 xstill takže hydra už je předělaná?
16:46 mornfall jj
16:47 xstill :-)
19:23 xstill hm, proč unique_ptr má deleter v šabloně, a shared_ptr ne...
19:53 mornfall protože standard :]
20:49 xstill sakra, měl bych jít spát
21:02 mornfall :-)
21:02 mornfall jo, tak nějak

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