Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-10-15

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

All times shown according to UTC.

Time Nick Message
01:32 xhire_ joined #divine
07:03 xstill no super, mám memory leak (nebo něco na ten způsob) v haskellovém programu který se ani nedá profilovat
07:03 xstill a nevíc ten leak se začne významně projevovat až po několika hodinách běhu
07:52 mornfall to je docela normální :-)
07:52 xstill jo. ale tohle způsobuje studentům frustraci když jim mizí body
14:06 xstill mornfall: máš nějakej starej divine na auře a žere 32G, zabiješ ho?
14:07 mornfall wat :D
14:08 mornfall nic tam nemám
14:08 mornfall měl jsem tam nějaký zaseklý lldb
14:09 mornfall ale to bylo připojený k procesu kterej umřel (snad)
14:10 xstill no teď už tam není
14:10 xstill ale před chvílí tam byl
14:10 mornfall tak to bylo to lldb asi
14:10 xstill asi
15:43 Kristina_ joined #divine
15:48 Kristina_ mornfall: Ahoj ) Mohla bych tě poprosit, jestli by jsi mi zvládl říct, kolik a jaké parametry může mít funkce divine_choice()?
15:50 mornfall Kristina_: musí mít aspoň jeden -- počet alternativ
15:50 mornfall Kristina_: pak dál buď nic nebo pro každou alternativu jedno celé číslo (váhu)
15:51 mornfall a teda „by jsi“ ... Krob by měl radost :P
15:52 Kristina_ mornfall: To znamená, že pokud má N alternativ, vždy musí mít N+1 parametrů celkově? A tu váhu udávám v intu?
15:52 mornfall jo, váha je int
15:52 Kristina_ mornfall: A uznávám, má čeština je občas vtipná )
15:52 mornfall celkově parametrů N+1 pro __divine_choice( N, ... )
15:52 Kristina_ mornfall: Děkuji ;) (Haha, teď vidím, že jsi i napsal jedno celé číslo, sorry, že přehlížím)
15:54 mornfall není zač... a ideálně si na antee nebo na arke pusť screen a v ní irssi ať nemusíš zápasit s tím webchatem :)
15:56 mornfall něco jako irssi -n nick -c chat.freenode.net a pak /join #divine
15:58 Kristina_ Super, díky ))
16:00 mornfall (hm, ještě bych ti poradil man screen, ale když to tak čtu tak teda nevim :-)
16:01 mornfall potenciálně asi budeš potřebovat hlavně screen -x
16:01 Kristina1 joined #divine
16:01 mornfall hodí se aj k divinu když ho chceš nechat běžet přes noc
16:03 Kristina1 screen -x
16:03 Kristina1 Sorry) Chtěla jsem se zeptat, co s tím screen -x?
16:04 Kristina1 Co když tak čteš, tak nevíš?
16:04 mornfall pokud jsi pustila screen a zavřeš ten terminál kdes ho pustila (aj s ssh), tak můžeš otevřít nový, znovu se přihlásit a screen -x tě připojí k té screeně cos otevřela prvně
16:04 mornfall (koukám že se neumim rozhodnout jestli to je ten screen nebo ta screena)
16:05 mornfall man screen -- čtu a nevím
16:05 mornfall (man je příkaz, pokud neznáš, napiš man man)
16:05 Kristina1 man ještě znám - ale asi to tak vypadá, že je to jedna ze tří věcí, které znám :)
16:05 mornfall tak, man je základ... kolikrát rychlejší než google :-)
16:07 Kristina1 To rozhodně) Díky moc za rady))
16:19 mornfall xstill: hm, deploy je furt nějakej vadnej mi přijde... asi nevíš proč je active aj target nastavenej na 2014-10-07 co?
16:57 Kristina1 Je rozdil mezi 'compile -l' a 'compile -llvm'? A taky jaky je potom rozdil mezi 'divine draw' a 'divine draw -l' ?
16:58 mornfall -l a --llvm je u compile asi to stejný
16:58 mornfall teda určitě :)
16:59 mornfall u draw je -l to stejný jako --labels
16:59 mornfall divine help draw resp. divine help compile napoví
16:59 mornfall (každopádně v aktuálním divinu už je compile a compile -l na .c/.cpp to stejný)
17:02 Kristina1 diky)
17:25 xstill mornfall: nevím, že by to někdo 7. 10. aktivoval? (není to náhodou normální stav, že je to stejné?)
17:27 xstill vyjma toho když běží deploy zrovna
17:36 xstill jo jen tak mimochodem, máme volných celkově 44 IP adres :-)
17:50 mornfall no jaj
17:50 mornfall deploy jsem pustil já
17:50 mornfall no, na tom je spíš divný že tam jsou konfigurace aj z 12.10. a nedává smysl aby byla aktivní nějaká výrazně starší
17:50 mornfall to že je active/target stejný smysl dává, ale jen do jisté míry :)
17:51 xstill aha, takže problém je, že máš moc starej target vlastně
17:51 mornfall no, mam to rozbitý
17:52 mornfall já si hlavně nevšim žádnej rollback ale teď mi ani nejde postavit manifest tak já nevim
17:53 mornfall přitom snad už gcrooty aj fungujou
17:53 mornfall nevim co se mu nezdá
17:54 xstill ty jsi nedělal deploy kvůli tomu shellshocku?
17:55 mornfall tos dělal ty, toho sedmýho ne?
17:55 mornfall já dělal update 12. (na +/- aktuální nixpkgs)
17:56 mornfall jen to vypadalo jako že prošel a ono nic
17:56 mornfall počkám jak to dopadne teď
17:56 xstill tak já jdu požádat o ty změny IP, setřásl jsem to skoro úplně k sobě, jen jsem nechal místo za serverama a pak někde uprostřed kde k tomu z jedné stran ymůže růzst pegasus a z druhé pythie
17:56 mornfall on je zase rozhasenej journald
17:56 xstill nevím, nepamatuju, že bych 7. něco pouštěl
17:56 mornfall zajímavé
17:56 xstill chceš si to nejdřív přečíst, nebo to mám rovnou poslat?
17:57 xstill + plus je tam teda přesun psyche pod unix_sybila
17:57 mornfall a je to tak že pegasus je číslovanej odzadu?
17:58 xstill pythie jsou odzadu, pokud to unix zvládne
17:58 mornfall ok, ono je to asi jedno
17:58 mornfall zvládnout by to mohli, nejsou úplně blbí
17:58 mornfall rovnou to pošli
17:58 xstill posílat na unix@fi, že?
17:58 mornfall cc -supp@
17:58 mornfall jo
17:58 xstill jo
18:08 mornfall aha...
18:08 mornfall machine antea.fi.muni.cz running: /nix/store/8rppjp2sznjaxxv767ppkcnqv6x00w9a-nixos-14.10pre-git expected: /nix/store/d50c8rvgs92k0mphm6rxdcp4g8a72596-nixos-14.10pre-git
18:09 mornfall hm, to že máme rollback je fajn, ale journald se nějak systémově sype z toho
18:11 mornfall antea.fi.muni.cz: /nix/store/ywsp4ydaswv5k3cmkkvncqkg7g9g82zn-grub-2.02-git-1de3a4/sbin/grub-install: warning: your embedding area is unusually small.  core.img won't fit in it..
18:11 mornfall antea.fi.muni.cz: /nix/store/ywsp4ydaswv5k3cmkkvncqkg7g9g82zn-grub-2.02-git-1de3a4/sbin/grub-install: error: embedding is not possible, but this is required for cross-disk install.
18:11 mornfall antea.fi.muni.cz: /nix/store/w7rgpbyqfcz0xfjhmcn05sp6zig8gx8w-install-grub.pl: installation of GRUB on /dev/sda failed
18:11 mornfall takže ten deploy nefunguje kvůli tomuhle
18:11 mornfall fakt výherný...
18:12 mornfall a když vezmu v potaz že /dev/sda je externí SCSI... :P
18:12 mornfall to by mě docela zajímalo jak je možný že to někdy vůbec fungovalo
18:24 mornfall xstill: tušíme kdo vypnul pheme03?
18:24 mornfall jsem ji chtěl powercyclovat a řeklo mi to že je vypnutá...
19:11 ilbot3 joined #divine
19:11 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:33 mornfall na pheme11 se zacyklil systemd-logind

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