Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-02-03

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

All times shown according to UTC.

Time Nick Message
00:41 ilbot3 joined #divine
00:57 ilbot3 joined #divine
01:03 Erbureth joined #divine
01:03 xstill joined #divine
01:03 ChanServ joined #divine
01:03 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
01:48 Erbureth joined #divine
01:48 xstill joined #divine
01:54 xstill joined #divine
02:06 xstill joined #divine
02:34 xstill joined #divine
07:13 xbarnat joined #divine
10:05 mornfall joined #divine
10:46 ilbot3 joined #divine
10:46 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
14:07 xbarnat joined #divine
14:11 xstill__ joined #divine
16:21 ChanServ joined #divine
16:22 mornfall joined #divine
17:52 xHire joined #divine
19:05 ChanServ joined #divine
21:10 xstill joined #divine
21:10 xstill no konečně to začalo fungovat
21:13 mornfall co?
21:13 mornfall aha, freenode
21:15 xstill jo freenode. Nemohl jsem se dneska připojit. Ale viděl jsem že ani ty ne. Tak jsem to neřešil
21:15 xstill koukám že jsi začal pracovat na tom jazyku pro specifikaci LTL vlastností v LLVM
21:16 xstill silk je tvůj vynález?
21:18 mornfall j
21:20 xstill ta lambda |x| |y| x + y to je jako \x. \y. x + y?
21:21 mornfall j
21:22 xstill můžeš ještě pushnout ty moje patche (alespoň ten LLVM a external pokud ještě nemáš nový nixos)?
21:24 mornfall hm, ty nothrow? (mám plný ruce práce s arke, takže možná se k tomu dostanu až zítra...)
21:25 xstill jo to. Jako ono to v podstatě nespěchá. Ale oba (nothrow a pdclib) by měli jít jak do mainline tak do 3.1. (i ten NIX potom)
21:25 xstill jak to teda vypadá s arke?
21:26 mornfall no :-)
21:26 mornfall dost vesele
21:26 mornfall dneska jsem po paměti vyráběl partition tabulky
21:27 mornfall protože ten wipefs sice smazal tu signaturu, ale při té příležitosti aj MBR a partition tabulku
21:27 mornfall I přesto že jsem mu explicitně zadal offset který chci smazat, a bylo to na konci disku
21:28 mornfall ale to se mi povedlo, takže jsem to nabootoval, opravil jsem chybu v initrd, dokonce se mi povedlo ten supermicro bios nastavit tak aby se hlásil na ipmi
21:28 mornfall takže aby nebyla nuda tak jsem před půl hodinou zničil /nix/var/nix/db
21:29 mornfall ale niksnut se tváří že ten assert co hází nix-store může být chyba v nixu :-P
21:29 mornfall třeba se mu to povede spravit :-)
21:29 xstill no to je dost veselé
21:30 xstill vyrábět partition tabulky po paměti jsem naštěstí nikdy nemusel
21:30 mornfall jo a rozbalili jsme to iSCSI pole a našroubovali do racku
21:30 xstill :-)
21:30 mornfall tak kdybych si to nepamatoval tak bych proskenoval disk na PV labely, jen bych se upočítal k smrti
21:31 mornfall je dobrým zvykem používat pro každej typ offsetu na disku jiný jednotky (sektory, cylindry, bloky, megabyty, kdoví co ještě)
21:31 mornfall extenty :-)
21:31 xstill :-)
21:32 xstill a ty LVM labely jde nějak rozumně najít?
21:33 mornfall když víš jak maj vypadat tak jo
21:34 mornfall a dokonce jsem opatchoval serial-getty@ aby tam šlo nastavit bitrate, tak by mohl plynule fungovat aj login po ipmi... až se dostanu k tomu abych tuhle feature deploynul
21:37 xstill to jsi patchoval systemd?
21:38 mornfall ale ne, je to textovej unit v nixpkgs/nixos
21:38 mornfall naštěstí
21:41 xstill tak to hádám ještě jde...

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