Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-10-01

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:11 mornfall spito: ne
06:12 mornfall ale je to dobrý začátek :P
08:28 spito joined #divine
08:32 spito mornfall: a jak zhruba asi přesně by sis to představoval?
08:32 mornfall ...
08:32 mornfall to je otázka ekvivalentní se zadáním, v podstatě
08:32 mornfall to máš vymyslet ne? :)
08:33 spito ale jakého rozsahu?
08:34 mornfall jednotky odstavců, asi?
08:35 spito acha
08:36 spito já měl za to, že stačí lehká zmínka o tom, že existuje --shared a že to asi někdy zhruba o trochu lepší než to, co tam je defaultně
08:37 xstill no musí z toho být jasné, že je to úplně super, ne?
08:39 mornfall spito: zeptej se Jiříka co si představuje možná :)
08:44 spito mornfall: tak já ho někde ulovim a poptám se
09:24 xstill hm, nenastal už čas zapnout --shared jako výchozí pokud to neměží pod MPI? A zapnout kompresi pro LLVM.
09:26 mornfall kdoví
09:26 mornfall už to funguje? ;-)
09:26 xstill nevím o tom, že by to nefungovalo :-P
09:38 xstill hm, tak já vůbec nedostal mail, s instrukcemi jak řešit to financování memicsu protože šel jen na fi-int nebo kam
13:54 mornfall aha
13:54 mornfall to jsem taky ještě nedořešil
13:57 mornfall ale zato mám nabootovaný rpi s nixosem :)
14:11 xstill tak to máš dobrý
14:11 xstill a funguje? :-D
14:11 mornfall to se pozná
14:12 mornfall jako sshd funguje a konzolu vidim
14:14 xstill tak to jde
14:17 xstill jak jsi na to ten nixos dostal?
14:17 mornfall na nixos wiki je odkaz na image
14:18 xstill aha takže to je jednorázové řešení na rpi
14:18 mornfall jo, každej ARM board má trochu jinej bootloader
14:18 xstill aha, potěší
14:21 xstill hm, dobrý Tomáš nám poslal i expoit
14:21 xstill jdu si aktualizovat systém abych viděl jestli je to opravené
14:27 mornfall hm, to su zvědavej jak dlouho asi trvá build gcc+glibc na rpi
14:29 xstill asi dost
14:29 xstill možná by bylo rychlejší mít arm emulátor na noťasu
14:32 mornfall ono je hlavně veselý že mě to čeká 2x, ten image sám o sobě nemá ani gcc a nix je tam dost starej na to aby nešlo aktuální nixpkgs evalnout
14:32 mornfall navíc ta SD karta teda :-)
14:34 xstill no otázka jak dlouho to vydrží…
14:35 mornfall to nevim, ale /tmp bych asi klidně mohl dát na iscsi
14:38 mornfall hm, tak začíná to perlem
14:42 xstill hm to maj z toho, že bootsrap compiler nedokáže zkompilovat nix
14:44 mornfall jo no, ten bootstrap je celkově nešťastnej
14:49 mornfall hm, ./configure v perlu už běží 10 minut, to su zvědavej jestli to stihne zbuildit aspoň ten nix ještě tento týden :D
14:51 xstill nojo, stěžuj si vedle, že nemaj arm binary cache
14:52 mornfall tak, na to asi nikdo nemá HW
14:52 mornfall si představ že bys tímhle tempem rebuildoval nixpkgs
14:52 xstill no emulátory musí existovat, ne?
14:53 mornfall to asi jo, ale nevim jak moc to vyhraješ
14:53 mornfall teda krom toho že spálíš mnohonásobně víc elektriky
14:53 mornfall ty seš zvyklej že virtuálky jsou rychlý, ale to jen proto že to reálně běží nativně :-)
14:55 mornfall 2.5GHz core2 bootuje ARMovej image v qemu o polovinu dýl než 1GHz ARM :-)
14:55 mornfall a to ani není CPU-bound
14:55 xstill to já vím, ale i tak, x86 pc je násobně rychlejší než ten arm, takže si můžeš dovolit nějakej overhead (ale netuším jak je reálně velkej)
14:56 xstill takže asi dost
14:56 mornfall tak, můžeš počítat že moje i7 bude 2-3x rychlejší než ten ARM, když ji zatížim na 100 %
14:57 mornfall v rpi
14:57 mornfall za 3 tisíce můžeš mít ARM board kterej bude stejně rychlej nebo rychlejší
14:57 xstill hm, to není zrovna výhra
14:57 xstill (pro emulátory)
14:58 mornfall ono takovej valgrind je jako emulátor CPU docela rychlej třeba
14:58 mornfall na poměry emulace CPU
14:59 mornfall ono když na to přijde, tak distcc a iscsi ti dá asi buildy násobně rychlejší než emulace
15:00 mornfall (distcc funguje tak že na x86 běháš armový cross-gcc nativně, a posílá si to nahoru preprocesovaný zdrojáky a dolů .o)
15:00 xstill co je distcc?
15:00 xstill :-D
15:00 xstill zajímavý
15:03 xstill to by za to mohlo stát
15:07 xstill doprčic jak mám donutit haskell aby nabuildoval readline (cčkovou readline mám, a dávám tomu --extra-include/lib-dirs do nixu
15:08 mornfall nevim, není to v nixpkgs?
15:08 xstill možná jo, ale myslel jsem že to dostanu do sandboxu
15:08 mornfall nojo, sandboxy
15:08 mornfall :-)
15:09 mornfall on nix-shell většinou funguje výrazně líp než cabal sandbox
15:25 xstill no ne pokud se mi to nechce balit do nixu
15:32 xstill hm prologovej interpretr napsanej haskellu
15:38 mornfall co napsanej, schelog znáš? :)
15:39 xstill už jsi mi to ukazoval
15:39 xstill ale to v haskellu nejde protože prolog je úchylnej netypovanej jazyk
15:40 mornfall tak, jde, nejde
15:40 mornfall jde, ale jinak
15:40 mornfall nikdo neříká že logický jazyk musí být netypovaný
15:40 xstill to neříká, ale prolog je
15:41 mornfall tak, schelog taky není prolog
15:43 xstill pravda
15:44 xstill to by mohlo být dobrá zvrácenost napsat si vlastní logickej programovací jazyk a pak ho učit studenty :-D
15:47 mornfall asi o nic větší než je učit prolog
15:51 xstill :-D
18:18 xstill joined #divine
18:37 xstill tak co, už máš alespoň perl?
19:03 mornfall už aj binutils, buildí se glibc
19:08 xstill dobrý
20:09 mornfall kdybych na to nebyl línej, mohl bych aspoň zapojit to druhý rpi a nastavit distributed nix buildy...
20:10 mornfall mít tak 10 lidí každej 2 rpi ve VPNce tak by to už lecos utáhlo ;-)

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