Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-08-14

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

All times shown according to UTC.

Time Nick Message
03:53 xstill joined #divine
03:55 ilbot3 joined #divine
03:55 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
04:11 ilbot3 joined #divine
04:11 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
11:58 xstill jo hele zaznamenal jsi ten pull request na tvých nixpkgs?
12:57 xstill tohle je ovšem vážný, už mi segví i haskellový programy…
14:23 xstill vtipné
14:23 xstill pokud je se přehazují data mezi interpretovanou verzí modulu (v hintu) a verzí zakompilovanou v binárce tak to hodí segv
14:24 xstill data = typy zadefinované v tom modulu
15:03 AKADEMIK2283MCZ joined #divine
15:15 xstill hm, už jsem vygeneroval 202M stavů
15:16 xstill jen začínám mít trochu obavu aby jsme auru společným snažením nezničili, protože mám limit na 320GB paměti
15:17 xstill aha tak za 6GB narazím na strop cgrupy
16:15 xstill vtipné, ghc-paths nefunguje ani s cabal sandboxy, zatracenej to krám
16:48 xstill nojo jenže ono ghc stejně  v runGhc umí jen jednu cestu
16:51 xstill hm, tak já tu řeším jak kokot už druhej den ghc-paths a zatím stačí nastavit GHC_PACKAGE_PATH
18:01 mornfall to nevyhraješ
18:05 xstill co?
18:06 mornfall no, je to celkově mizerně zdokumentovaný
18:11 xstill to jo
18:26 mornfall 640M
18:26 mornfall řekl bych že ten tvůj už umřel
18:27 xstill ne sem ho zabil protože už zbývalo jen 4GB do hranice cgrupy, to nemělo cenu
18:27 xstill 211M stavů, 443k fronty na konci
18:27 mornfall nj
18:44 mornfall hm, já mam frontu 4.8M ale aspoň se zmenšuje
18:47 xstill to ti to možná i dobíhá
18:50 mornfall jestli se bude zmenšovat konstantním tempem tak zbývá 13 hodin :-)
18:51 xstill :-D

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