Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-11-17

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

All times shown according to UTC.

Time Nick Message
09:22 mornfall no, ten invalid opcode je dost veselej totiž... s clang-em to funguje, s gcc ne
09:45 xstill hm, to je docala divný
09:49 xstill hm, když už se hrabu v manuálu, mám odstranit HC nebo ho budeme mít?
09:50 xstill a shared asi taky není v manuálu
10:04 mornfall HC zatím nech, pokud budu mít energii tak to udělám
10:05 mornfall mezičasem jsem aspoň zjistil proč tám timeoutujou buildy v hydře
10:06 mornfall nix si vesele pod jednou cgroup pustí 4 buildy (protože nix.maxJobs = 4) který zaberou všechny zámky v /run/nix a ostatní donekonečna čekají...
10:06 xstill super...
10:08 mornfall ale to gcc je teda fakt za trest...
10:08 mornfall nevim co to vygenerovalo za kód a proč
10:11 mornfall hm, a na pheme jsou mnohogigabajtový /var/log/messages ...
10:13 xstill no to asi souvisí s tím, že se tam hrnou logy GC
10:13 mornfall sshd a systemd-journald
10:13 mornfall jsem tam viděl
10:13 mornfall ono se to hlavně vůbec nerotuje, řekl bych
10:25 mornfall a na antee zase nejsou inody
10:25 mornfall to je za trest tohleto :-P
10:35 xstill hm, jak je možný, že na webu je LLVM sekce v manuálu a když si ho zbuilduju sám tak tam není?
10:38 mornfall to nevim teda :-)
10:38 xstill zdá se že sekce 5 manuálu z webu vůbec není "připojená"
10:38 xstill už jsem to opravil, ten soubor tam byl ale chyběl v CMake
10:38 mornfall jo, vidím
10:38 mornfall ve website/ je
12:52 _ilbot joined #divine
12:52 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:08 mornfall no, ještě něco nefunguje
13:51 spito joined #divine
14:10 spito left #divine
14:19 xstill mornfall: co je správně "which is either A or B" nebo "which are either A or B"?
14:19 mornfall to záleží od toho co je před which :-)
14:21 xstill The exact meaning of data in data block depends on encoded values, which...
14:21 mornfall values are
14:21 xstill díky
14:22 xstill ono to vlastně dává docela smysl
14:22 mornfall :-)
15:46 mornfall xstill: c:/WORK/source/wibble/sys/mmap_v2.cpp:8:22: fatal error: sys/mman.h: No such file or directory
15:47 xstill hm
15:47 xstill no ono to není portovaná ne widle
15:47 mornfall select.cpp dává g++: internal compiler error: Killed (program cc1plus)
15:48 mornfall (řekl bych že se nevleze do 4G)
15:48 xstill po té aktualizaci?
15:48 xstill to je divné
15:48 mornfall jo
15:49 mornfall ale děje se to zdá se ve všech gcc buildech (aj v gcc_minimal)
15:49 xstill počkej pošlu ti patche na manual a podívám se na to
15:49 mornfall Generated 82 instances.
15:50 xstill hm, já gcc neotestoval
15:50 xstill zkusím to
15:50 mornfall 30800 mornfall  20   0 3881m 3.6g 5576 R   99 48.2  10:09.35 cc1plus
15:50 mornfall tohle je na laptopu
15:50 mornfall nezdá se že by se to chystalo skončit
15:51 mornfall (ten stejnej soubor)
15:52 mornfall #16 0x00000000006dcd68 in expand_assignment(tree_node*, tree_node*, bool) ()
15:53 xstill jestli jsem narazil na ten gcc48 bug i v instanciaci tak budu fakt nadšenej
15:53 mornfall no to je gcc 4.7 :-)
15:54 xstill ale já mám 4.8
15:54 xstill hm, gcc fakt chce víc paměti než clang
16:09 xstill hm podle mě to vzalo nejvejš 3.2 GB paměti
16:09 xstill gcc 4.8
16:09 xstill asi nekde seženu 4.7
16:23 xstill 3.8 GB
17:02 mornfall a skončilo to?
17:02 mornfall tady to fičelo 10 minut a pak jsem to zabil...
17:03 mornfall ale tak asi nemam úplně volný 4G paměti
17:03 mornfall každopádně hydra to se 4G nedá
17:04 Erbureth joined #divine
17:26 xstill skončilo
17:26 xstill ale trvalo to asi víc než 10 minut
17:27 mornfall jo tak
17:27 xstill což je teda dost na nic
18:42 spito joined #divine
19:20 xstill ať žije GCC člověk přepíše using na typedef a najednou zmizí error.
22:03 spito left #divine

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