Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-12-12

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

All times shown according to UTC.

Time Nick Message
01:15 spito left #divine
02:27 xstill joined #divine
02:47 _ilbot joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:37 xbarnat joined #divine
06:44 xbarnat Nazdarek, zdravi vas kasparek ...
06:44 xbarnat Vcera dovezli to diskove pole. Mornfalle, nechces si ho prijet zprovoznit?
06:58 mornfall Po ničem jiném netoužím, ale dřív než v úterý to fakt nepůjde...
07:08 xbarnat a co jako delas, ze nemuzes nikdy jindy nez v utery?
07:08 xbarnat krom toho ze v pondeli hrajes v orchestru
07:34 mornfall tak, dneska je čtvrtek
07:34 mornfall takže jediný jindy je zítra (dneska jedu do Ba)
07:35 mornfall a to sice nikam nejedu, ale občas musím aj pracovat...
07:35 mornfall navíc teda v pondělí zkouška z klavíru, takže bych rád i cvičil do tý doby ;-)
07:36 mornfall včera bych byl mohl, a příští středu asi taky
07:36 mornfall čtvrtek ještě nevím
07:43 xbarnat no dobre :-)
07:47 mornfall zdá se že něco s výjimkama není 32b-clean, s 32b clangem to generuje špatnej kód
07:47 mornfall ale já musim na vlak....
07:47 mornfall eh
07:47 mornfall kruci
09:29 xstill joined #divine
13:10 spito joined #divine
13:23 xbarnat spito: dodali borci podklady k zaverecne zprave?
13:24 spito xbarnat: jasný
13:24 spito dodali
13:33 xbarnat supr
13:41 xstill mornfall: podívej se na status hydry, příjde mi, že je tam podezřele moc balíků co se buildují 15 a víc hodin
13:43 xstill mornfall: http://divine.fi.muni.cz/hydra/build/3461404 log je tak dlouhý, že ho hydra nezobrazí
13:48 spito milan píše, že už má vše připravené na rozběhnutí databáze modelů
13:48 spito ale že to není nastavené
13:48 spito ozval se někomu z vás?
13:50 xstill mÄ› ne
13:50 xstill ale stejně by se měl spíš ozvat Mornfallovi
14:01 xstill tak máme na pheme nasazený dsched bez race-condition snad
14:02 xstill hm, ale pheme22 momentálně builduje 8 věcí údajně
14:02 xstill ale jsou tam jen 4 grupy
14:17 xstill mornfall: http://divine.fi.muni.cz/hydra/build/3429277, podle logu build skončil, ale hydra o tom neví
14:47 spito left #divine
17:47 spito joined #divine
18:28 mornfall hm
18:28 mornfall ten Milan je taky trubka, nedá si říct :-)
18:29 mornfall mohlo to mít 10 řádků a generovat to staticky... no nic
18:30 mornfall máme další webovku co bude pár let hnít a pak to vyhodíme :-P
18:44 mornfall xstill: ten build už skončil
18:44 mornfall xstill: může být že čekal než se vygenerují nar-y
18:45 xstill hm, no dobře
18:46 xstill a co ty emacs buildy co tam běží už den?
18:46 mornfall to nevím :-) takovýho bordelu tam je dost
18:46 xstill http://divine.fi.muni.cz/hydra/build/3350289
18:46 xstill a tak
18:46 xstill to je dost otrava
18:46 mornfall cedet má nekonečnej loop někde
18:46 mornfall v testech
18:46 xstill super
18:47 mornfall tak je tam timeout, ale zdá se že nefunguje
18:47 xstill no poslední výpis to mělo včera
18:48 mornfall mělo by to po hodině ticha zdechnout
18:48 xstill a potom tam ještě běží dloho toto http://divine.fi.muni.cz/hydra/build/3428408
18:48 mornfall hmm
18:49 xstill je dost na nic že tyhle dvě věci blokují asi polovinu build slotů
18:49 mornfall --timeout 36000 --max-silent-time 3600
18:50 mornfall tohle má toplevel nix-store jako parametry
18:50 mornfall zdá se že na ně ... jako na placatej kámen
18:50 mornfall musím to ručně napropagovat skrz build-remote
18:50 mornfall snad to pomůže
18:51 mornfall ale tak od včera to stáhlo frontu o 30k jobů, to lze považovat za úspěch
18:51 mornfall vyřeším ti timeouty, ale ještě si dám jabko
18:52 xstill hm, když si grepnu ps aux na pheme22 tak tam --max-silent-time nevidím
18:52 xstill (ani u nix-store ani nikde jinde)
18:54 mornfall tak to má nix-store na arke
18:54 mornfall počítal bych že to bude fungovat i když to běží remote
18:54 mornfall asi ne
18:54 mornfall napíšu to do nix.conf
18:54 mornfall to bude stejně nejlepší
18:56 mornfall běžím deploy
18:56 xstill ok
20:58 xstill hm, ty jsi nikdy neposlal ten constexpr v mmap_v2
20:58 xstill ?
21:14 mornfall nevím; jestli ti ho send nabízí tak asi ne :)
21:15 xstill no hlavně kvůli tomu padá build na fedoře
21:16 xstill ten původní patch už jsem někde ztratil
21:16 xstill ale máš tam novej
21:16 mornfall že zrovna na fedoře
21:17 mornfall 4.7.0
21:17 mornfall to je taky pěkně historická fedora
21:17 xstill hm, no ale pokud je problém jen v tomhle a pak to nabuildujeme
21:17 xstill tak je to jen pozitivní
21:18 mornfall to asi jo
21:19 mornfall no nevim vlastnÄ›
21:19 xstill akorát teda build pro historickou fedoru je lidem asi dost na nic
21:19 mornfall v novým rpc.h je asi tak milion constexpr
21:19 xstill tam byl problém v kombinaci s const kde to const bylo implikované tím constexpr tuším
21:19 xstill takže tam bylo navíc
21:19 mornfall v metodÄ›?
21:20 mornfall už mám mail
21:20 mornfall aha to je proměnná
21:30 xstill btw. hydra má nějaký login to asi není na normální údaje, co?
21:37 mornfall myslíš auth-hydra nebo interní hydrovej?
21:43 xstill interní (sign in nahoře)
21:43 mornfall v hydře je jen uživatel root, heslo najdeš v Alence v říši divů
21:43 mornfall nebo v postgresu...
21:43 mornfall jen tam asi není plaintext
21:43 mornfall hm

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