Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-07-05

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

All times shown according to UTC.

Time Nick Message
01:50 _ilbot joined #divine
01:50 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
02:28 ChanServ joined #divine
02:31 xHire joined #divine
03:14 xHire joined #divine
03:49 ChanServ joined #divine
04:22 ChanServ joined #divine
07:04 xstill joined #divine
08:30 _ilbot joined #divine
08:30 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:04 spito joined #divine
10:17 spito left #divine
10:27 spito joined #divine
13:15 ChanServ joined #divine
13:15 Guest32692 joined #divine
13:15 mornfall joined #divine
13:15 xstill_ joined #divine
13:15 spito joined #divine
13:19 Guest32692 joined #divine
14:39 ChanServ joined #divine
17:58 xstill_ mornfall: anna je stále přetížená protože jí chybí swap?
18:00 xstill_ měli bysme s tím něco udělat
18:01 mornfall no, ono by ho stačilo zapnout, ale není jak :)
18:01 mornfall prostě neodpovídá
18:01 mornfall vůbec na ničem
18:01 xstill_ přepokládám že je to tím build-remote
18:01 mornfall částečně
18:01 mornfall prostě došla paměť
18:01 xstill_ jo no protže se snaží buildovat
18:02 mornfall co se snaží buildovat?
18:02 xstill_ cokoli
18:02 mornfall anna nic nebuilduje
18:02 xstill_ jde mi o to, že k tomu potřebuje pheme
18:02 xstill_ jasný nepřímo
18:02 xstill_ pokud bysme vypnuli pheme tak ty build-remote popadají
18:03 xstill_ snad
18:03 mornfall no, pheme nic nedělají
18:03 mornfall ale je pravda že tam mají nějaký sshd
18:03 mornfall můžeme to zkusit
18:03 xstill_ jo no
18:04 mornfall z root@antea.fi.muni.cz to není problém
18:04 xstill_ a pak je zapneme pomocí impi
18:04 xstill_ až zapneme na anně swap
18:04 xstill_ začnu je vypínat
18:04 mornfall ok, já udělal poweroff na 01
18:05 mornfall ok, poweroff funguje :)
18:05 xstill_ jo
18:05 xstill_ teď myslím, že můžeme počkat do zítřka, než se anna probere
18:17 xstill_ pak by ještě stálo za to zvážit jestli nestrčit celou hydru & build_remote do cgrupy která by měla omezenou paměť
18:25 mornfall to by mohlo pomoct
18:25 mornfall aspoň trochu
18:25 mornfall případně aj CPU jedno vyhradit kam hydra nesmí
18:37 xstill_ jo no
18:41 xstill_ hm, nemělo by náhodou platit, že pokud jsou dvě funkce které se dají zavolat a jedna z nich není šablonovaná, tak ta se preferuje?
18:47 mornfall myslím že ne
18:47 mornfall mělo by to být ambiguous
18:47 mornfall musí to být explicitní specializace aby měla přednost, IMHO
18:48 xstill_ hm
18:48 xstill_ a ani když je to v objektu?
18:53 xstill_ budu to muset udělat nějak jinak
18:54 xstill joined #divine
18:54 xstill_ left #divine
18:55 mornfall to je asi jedno
20:30 xstill joined #divine

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