Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-15

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

All times shown according to UTC.

Time Nick Message
00:02 spito left #divine
00:02 mornfall Já si dal kafe s Alfonsem. :-)
00:40 mornfall Asi se jdu projít městem. :-)
05:38 spito joined #divine
05:42 mornfall spito: Spi vole, zrovna si lehám. :D
05:42 mornfall --> zzz
05:44 spito já jsem vstal
05:44 spito kolik máš hodin?
10:15 spito joined #divine
14:45 xstill joined #divine
15:12 mornfall Brmbrm. :-)
15:15 xstill mornfall: ty se tam nudíš co?
15:17 mornfall Ale ne. Teď jsem dorazil.
15:18 mornfall ================== IDLE ================== == SUM == 1013060         8   1916888    599426    3529382
15:18 mornfall Kruci, kam zmizel ten newline...
15:18 mornfall ================== IDLE ================== == SUM ==
15:18 mornfall 1013060         8   1916888    599426    3529382
15:19 xstill to je dost nevyrovnané
15:19 xstill já myslím že se nudíš, furt mi tu bliká mail
15:19 mornfall No, v ideálním případě by všude bylo 1.
15:19 xstill safra
15:20 mornfall Co?
15:21 xstill no že tam zdaleka není 1
15:21 mornfall :-)
15:21 mornfall To je to kolikrát ten thread usnul protože neměl nic na práci.
15:22 spito mornfall: dobré dopoledne, nebo snad ještě ráno
15:22 spito to jsou testy partitioned visitora?
15:22 xstill asi určitě
15:22 mornfall Jj.
15:22 mornfall peterson.7.dve.so
15:23 spito jen tak, čistě náhodou.....
15:23 spito ten samý model, co mám v bc :D
15:25 mornfall Jo, a v těch slajdech jsem koukal na 17 místo 18, jo, ty power of 2 jsou na 18 vidět.
15:25 mornfall Ale nemyslím že by to ještě nutně platilo, 2.2 je dávná historie.
15:26 mornfall A SPIN je teda taky dávná historie, zdá se. :D
15:26 spito oni jsou už rychlejší?
15:27 mornfall Kdo než co?
15:27 spito no SPIN, jestli je rychlejší než kdysi
15:27 mornfall No ne, SPIN per se je dávná historie, nemyslim že se to někdy ještě chytne.
15:27 mornfall Heh, SPIN má novej homepage.
15:28 xstill nějak se to šíří
15:29 mornfall Je klidně možný že už dýl, nevim.
15:30 mornfall http://spinroot.com/spin/Doc/V6.Updates :D
15:30 mornfall Hned první bod. :-)
15:32 xstill co?
15:32 mornfall To vypadá že nás někdo sleduje.
15:33 mornfall inline LTL, více vlastností v souboru, graphviz...
15:33 spito nojo, závod
15:33 spito mají víc peněz jak my?
15:33 spito a víc lidí?
15:33 xstill aha, ale my máme inline LTL až teď, ty jejich novinky jsou z 2010
15:37 mornfall http://spinroot.com/gerard/pdf/spin2012_a.pdf uh oh :-)
15:38 mornfall xstill: inline ltl v divinu přišlo s prvním llvm paperem
15:38 mornfall ale release s tím ještě nemáme
15:39 mornfall podle toho 2012 paperu pro změnu spin zničí ltsmin
15:39 xstill mornfall: no ale ta tabulka škálování pro nás není moc pěkná
15:40 xstill mornfall: hele ten release bysme měli urychleně vydat, co tomu chybí
15:40 xstill ?
15:41 mornfall ten release tomuhle zrovna stejně nepomůže :-)
15:41 mornfall ale ten rozdíl mezi ltsmin unix time a ltsmin self reported time je nějaká hrozná haluz
15:41 xstill no to sice ne ale i tak
15:41 xstill :-D
15:42 xstill no já jsem si všiml, že je dost optimistickej i na paměti
15:42 mornfall oni totiž neberou do úvahy nějakej konstantní startup, zdá se
15:43 mornfall ten rozdíl je napříč počtem threadů docela konstantní
15:43 xstill spito: stálo by za to zkusit spin porovnat se shared (někdy)
15:44 spito já to tak zhruba prolítl, jak to mají tak efektivně paralelizované?
15:44 xstill já to nečet, a ani na to nemám čas
15:44 mornfall spito: No, viz ten paper.
15:45 spito mají nějakou šílenou soustavu front, ne?
15:45 spito mornfall: říkám, že jsem to prolítl, nemám moc času
15:45 mornfall tak si to přečteš pak :-)
15:47 spito a jen tak, od boku, mohli by bát rychlejší jak my?
15:47 spito *být
15:47 xstill spito: tím to asi nebude my mám fron taky dost (v partitoned)
15:47 xstill spito: tak to skus, nainstaluj spin na auru
15:47 spito to umí dve?
15:47 xstill nebo ho ukradni tomaštíkovi
15:47 mornfall spito: v beem-u máš promelový ekvivalenty
15:48 spito no teď to dělat nebudu
15:49 mornfall btw. strana 12, background load, tam je docela zajímavý měření
15:49 mornfall (aj figura 5)
15:50 mornfall taky by to mohlo něco říkat o auře :-)
15:51 mornfall veselý je, že piggyback není ani over ani under...
15:51 mornfall teda sám o sobě je under, ale s HC kterou má zdá se defaultně zaplou už ne
15:52 mornfall nebo nevim, možná je furt under
15:52 mornfall spin je vůbec nějak vysazenej na to under
15:53 xstill zajímavé
15:53 xstill co je piggyback?
15:53 mornfall to je nějakej bughunting pro liveness
15:53 xstill jinak by byl zajímavé vědět co to měli za mašinu, vzhlemek k tomu background load
15:53 mornfall v podstatě
15:53 xstill aha
15:54 xstill pokud to bylo 8 jádrové tak je to asi cache protokolama mezi CPU
15:54 mornfall 2x 16core od AMD
15:55 xstill jasně a AMD 16 core jsou uvnitř 2x8 myslím
15:55 xstill a drujej skok s 16 na 31 je tam taky
15:55 spito jestli jsem to dobře pochopil, tak to na více jádrech zpomaluje, protože se to mele o paměť
15:56 mornfall Jo, maj split L3.
15:56 xstill no cache protokoly jsou drahé i pokud jedou uvnitř cpu, pokud si vylíváš cache a říkáš si o to na zběrnici je to horší...
15:56 spito sběrnice...
15:57 xstill což v podstatě vysvětluje auru, s dalším zpomalení za 16, kdy už na sebe ty CPU nevidí přímo
15:57 spito no, pokud používáš větší model, tak můžeš použít i víc jak 16 jader
15:57 mornfall Má vůbec aura QPI?
15:58 xstill jo
15:58 spito co to je?
15:58 xstill myslím že je to první generace QPI
15:58 mornfall spito: quickpath
15:59 mornfall potřebujem novej HW :-)
15:59 xstill pak potřebujeme tak 2 mega, protože pokud to nebude přímo labu tak si moc nepomůžem
16:00 spito a rychlá cesta je co? rychlejší cache?
16:00 xstill Intel QPI nahradilo FSB
16:01 xstill rychlejší zběrnice
16:02 spito sběrnice, protože Sbírá.....kdyby něco zbírala, tak nevim co dělá :P
16:02 xstill jo, ale je rychlejší...
16:03 spito (to bylo grammar nazi)
16:05 mornfall Hm. 4xX7542 s 256G RAM vyjde na $20k.
16:06 xstill co je X7542?
16:06 xstill nechce se mi teď hledat
16:06 mornfall rychlej 6core xeon
16:06 spito bylo by to menší jak aura....
16:06 mornfall (2.66GHz)
16:06 spito ale možná rychlejší
16:06 xstill tak podstatně levnější
16:07 spito no 400k
16:07 spito cca
16:07 xstill jo no, pokud by jsi šel do 8 socket tak se asi pod 1M nedostaneš
16:09 mornfall aura stála víc než 1.5M
16:09 xstill ale stejně by asi stálo za to počkat na serverovej haswell
16:10 mornfall 1.7
16:11 spito antea byla asi o dost levnější, co?
16:11 mornfall jo :-)
16:11 mornfall zhruba o řád
16:12 xstill ale tak zese kdyby se do antei narvali další paměti bylo by to taky fajn
16:12 mornfall no, antea není výpočetní mašina... minimálně dokud se nezbavíme toho NFS na tom
16:13 mornfall stejně potřebujeme prvně grant kterej to zaplatí
16:13 xstill no jo, to nfs bysme měli vrátit na annu, ale zase ona taky je dost zatížená
16:13 mornfall ale myslím že to skončí čtyřsocketem
16:13 xstill včera měla load 17, dneska už je to dobré
16:14 xstill hm ani do 4 soketu nepříjde haswell letos, jen ivy-bridge
16:14 mornfall xstill: je otázka jestli v ní vyměnit desku na X8SIL-F...
16:14 xstill co? proč?
16:14 mornfall protože IPMI :-)
16:14 xstill v anně?
16:15 mornfall J.
16:15 xstill nemá přijít to přidělávací?
16:15 mornfall to prej nejd
16:15 mornfall nejde*
16:15 xstill aha, no ale deska taky není levná sranda ne?
16:15 mornfall ta deska co tam je si s tím neporadí
16:15 mornfall 4.5kKč
16:15 xstill to jde
16:15 xstill on je to vlastně 1soket
16:15 mornfall jen by to někdo musel udělat
16:16 mornfall jasně
16:16 mornfall (jakože vyměnit desku v tom 1U nebude úplně sranda...)
16:17 xstill při té příležitosti by se dala třeba i doplnit paměť, i když ty moduly co jsou tam teď by se musaly dát pryč
16:17 xstill (ale jde to jen na 32GB)
16:17 mornfall tak, anně by to stačilo
16:17 xstill mornfall: no to nebude, to chce někoho kdo to dělá častěji ne?
16:17 xstill stačilo a pomohlo
16:17 xstill jaj to je jen LGA1156, anna je fakt skoro jak můj noťas
16:18 mornfall až na to že je quadcore :-)
16:19 mornfall xstill: tak až budeš mít volno (třeba když odevzdáš), tak bys to mohl sepsat a hodit to Jiříkovi do mailu... případně zvážit koho bychom uplatili aby nám to sešrouboval
16:19 xstill fakt?
16:20 mornfall http://ark.intel.com/products/42927/Intel-Xeon-Processor-X3430-8M-Cache-2_40-GHz
16:21 mornfall kdyby měla IPMI/SOL tak jí zapnu hyperthreading...
16:21 mornfall hm, nezapnu, protože ho nemá... wut :-)
16:21 xstill aha fakt
16:21 xstill no je to ekvivalent i5
16:21 xstill škoda
16:22 xstill zvlášť v serveru je to na nic
16:22 spito právě, taky jsem koukal že ho nemá
16:22 xstill já jsem překvapený že je to 4 jádro, jsem myslel, že je to 2 + HT
16:22 mornfall tak, to zase záleží...
16:22 mornfall server je často IO-bound tak jako tak
16:22 xstill co? nepredikovatelný výkon?
16:23 spito intelovský serverový cpu jsou xeony?
16:23 mornfall no, může a nemsí to pomoct
16:23 mornfall spito: j
16:23 xstill to turbo taky není nijak super
16:23 xstill mě to jde až k 3.1 tuším
16:24 xstill to je skoro na srovnávací test divinem: anna vs noťas
16:24 xstill přijímám sázky ;-)
16:24 mornfall :)
16:24 mornfall anna tě zničí na těch 16G RAM
16:25 xstill no jasně, že na paměti by mě zničila
16:25 mornfall ale na čas a <8G task fakt nevim
16:25 xstill tak hele na 1 vlákně jsem auru dal asi 2x
16:25 xstill (timed)
16:26 xstill ne vlastně llvm
16:26 mornfall ty máš o generaci novější mikroarchitekturu ne?
16:26 spito aura je lenochod
16:26 spito jak se liší řady těch xeonů?
16:27 mornfall spito: všelijak :-)
16:27 spito tak tam mají řady 7000, 6000, 5000, ....
16:27 xstill no jo mám
16:28 xstill jo ale i proti anně, jak koukám
16:28 mornfall však to jsem myslel
16:29 mornfall ale taky nemáš HT, nebo?
16:29 xstill mám
16:29 mornfall tak to bys asi mohl vyhrát :)
16:30 mornfall a já bych zase pobil tebe :-P
16:30 xstill si to taky myslím
16:30 xstill no to jo no
16:30 xstill ale jen o trochu
16:30 xstill vlastně ty máš ivy-bridge
16:30 xstill tak možná i o víc
16:30 mornfall a turbo na 3.6GHz, žejo
16:31 xstill hmmm
16:31 xstill to je dost
16:31 spito kolik máš jader na i7?
16:31 mornfall žejo :-)
16:31 xstill tak to mě dáš s přehledem
16:31 spito 4+4?
16:31 mornfall spito: stejně jako xstill, 2
16:31 mornfall (2 + HT teda)
16:31 spito no, a já bych byl mezi váma
16:31 xstill spito: je to low-power
16:31 mornfall zase quadcore v 12" laptopu je trochu hrr
16:32 xstill spito: co máš ty?
16:32 spito i5 ivy-bridge 2+2
16:32 xstill frekvence?
16:32 xstill (maximální)
16:32 mornfall rovnou napiš jakej to má typ
16:32 mornfall vyčtem z arku :-)
16:33 spito i5-3210M
16:33 spito 2,50GHz
16:33 xstill máš výhodu jen v tom ivy
16:34 mornfall jo, to je úplně to stejný cpu jen v ivy verzi ne?
16:34 xstill hm tak já umím dokonce 3.2 turbo
16:34 spito tak turbo mám na 3,1
16:34 xstill mornfall: co máš za model?
16:35 mornfall i7-3520M
16:35 xstill http://ark.intel.com/compare/64893,52229,67355
16:36 xstill spito: mě by straště sralo nemít virtualizaci, jinak jsou si dost podobný
16:37 xstill stojí to za test, ale ty nemůžeš pustil divine přímo na linuxu
16:37 spito já ji nemám?
16:37 mornfall xstill: ale VT-x to má
16:38 mornfall xstill: A bez VT-d se žít dá...
16:38 xstill aha jasně
16:38 xstill jsem blbě koukal
16:38 spito a to je dobrý k čemu?
16:39 mornfall no, rychlejší virtuální IO
16:39 mornfall teda DMA bez trapu
16:40 mornfall ale pro instalaci virtuálních windows je stejně rozhodující SSD a ne VT-d :-)
16:41 xstill ssd nemám no
16:42 mornfall no, já když psal ty skripty co vyrobí Windows VM tak jsem si těch instalací užil spoustu
16:42 mornfall mrkvosoftí představa o unattended instalaci je dost divočina...
16:44 xstill ale lepší se
16:44 mornfall http://msft.digitalrivercontent.net/win/X17-59186.iso tohle si zabookmarkujte až budete chtít ten win7_x64 build ;-)
16:45 xstill až na to že win8 tě při instalci nutí k registraci při instalaci
16:45 mornfall xstill: fakt?
16:45 xstill mornfall: počkej to se dá jen tak stáhnout?
16:45 spito já to stahuju
16:45 xstill mornfall: no jo, teda můžeš to neudělat, ale nevím jestli pak všechno funguje
16:46 xstill je to do windows live
16:46 spito tak za 30 minut to budu mít
16:47 xstill kdyby sis raději stáhnul linux
16:47 mornfall release.nix:
16:47 mornfall 13   windows7_iso = pkgs.fetchurl {
16:47 mornfall 14     url = "http://msft.digitalrivercontent.net/win/X17-59183.iso";
16:47 mornfall 15     sha256 = "13l3skfp3qi2ccv9djhpg7a7f2g57rph8n38dnkw8yh8w1bdyk7x";
16:47 mornfall 16   };
16:48 mornfall (59183 je x86, 59186 je x64)
16:48 xstill a to pak magicky udělá instalci?
16:48 mornfall já to v hydře nepouštim k síti
16:48 mornfall takže aktivace nehrozí
16:48 xstill tak ona je nepovinná pro W7 v podstatě
16:48 mornfall navíc se teda vždy všechno pouští ve snapshotu těsně po instalaci
16:49 mornfall zatím jsem s tím nenarazil na problém
16:49 mornfall ale ty skripty tomu umí dat klíč, jen ho je potřeba někam napsat
16:49 mornfall jako productKey parametr tady:
16:49 mornfall 18   windows7_img = pkgs.callPackage nix/windows_img.nix {
16:49 mornfall 19     inherit wimlib;
16:49 mornfall 20     iso = windows7_iso;
16:49 mornfall 21     name = "windows7";
16:49 mornfall 22   };
16:50 spito to vždycky stahuje nové image?
16:50 mornfall spito: je to nacachovaný ve storu
16:50 spito a když se to upraví, tak to stáhne znovu....
16:50 mornfall ale kdyby to GC sežral, tak se to znovu stáhne podle potřeby, jo
16:50 mornfall spito: upraví co?
16:50 spito když se upraví to .iso
16:50 mornfall to iso je fixed-output, má pevný sha256
16:50 mornfall spito: kdo by upravoval to iso?
16:51 spito tak po aktualizaci OS
16:51 mornfall spito: to dostane samozřejmě nový url
16:51 mornfall to by bylo dost debilní měnit inplace
16:51 mornfall tak blbej není ani ms
16:52 xstill tak na to abys buildil divine nepotřebuješ nejnovější aktualizace
16:52 mornfall no, hlavně aktualizace se balí do SP a celý ISO dostane novou verzi
16:52 mornfall s každým SP
16:53 mornfall tady furt povídaj o invariantech
16:53 mornfall skoro mám pocit že bychom měli taky nějaký invarinaty počítat :D
16:55 mornfall a teda windows 8 mě až tak moc nebolí, ono u windows zas tak moc nezáleží na čem buildíš
16:55 mornfall stejně si musíš všechno pořídit extra
16:55 xstill jasně, s 7 jsem ještě dlouho v pohodě
16:56 xstill jen to chce ten 64 bit
16:58 xstill netypovaný jazyky jsou pro masochisty
16:58 mornfall teď myslíš nix? :D
16:59 mornfall (počítám že netypovaný myslíš bez statický kontroly, ne bez typů...)
16:59 xstill v podstatě ale u prologu je to s těma typama veselý...
17:00 mornfall aha, no, prolog
17:00 xstill rvát do seznamu prvku různých typů není úpně v poho
17:00 mornfall to mělo být už nějakou tu dekádu mrtvý
17:00 xstill stále se to na FI učí
17:00 xstill a asi to bude učit i Jiřík
17:00 mornfall na FI se učí věcí :)
17:01 mornfall zrovna prolog v neimperativním programování je dost krok stranou
17:01 mornfall ta kombinace je dost na palici
17:01 xstill tak logické, asi nikdo neřekl že to musí být prolog
17:01 mornfall jistý proděkan se snaží marginalizovat funkcionální programování na FI
17:02 xstill myslíš ten jehož příjmení začíná na P?
17:02 mornfall ten :-)
17:02 xstill jsme s ním o tom diskutovali, má na to dost silný názor...
17:03 mornfall já ani nevim jaký, jen sleduju co prosazuje...
17:04 xstill se mu nelíbí rekurze a tak...
17:04 mornfall tak on má pocit že to je pro studenty nestravitelný
17:05 xstill to se ale naučit musí
17:05 mornfall je to trochu škoda, já bych byl radši kdyby si lidi dynamicko-objektovou fází prošli na střední :-)
17:06 mornfall a na výšce začali dělat něco seriózního...
17:06 xstill to je moc idealizovaná představa, stradní na to nemaj lidi
17:06 mornfall však jo, neříkám že to je reálný, jen že by to bylo hezký
17:06 xstill právě jsi označil jsitý jazyk jehož jméno se nevyslovuje za neseriózní :-)
17:07 mornfall no, o tom co začíná na P škoda mluvit, myslel jsem třeba Ruby
17:08 mornfall To je hezkej jazyk.
17:09 mornfall Snad jen trochu naivní.
17:09 xstill Ruby neznám
17:09 mornfall To je takovej modernizovanej smalltalk.
17:10 mornfall Python je hnusnej bastl.
17:10 mornfall Python je něco jako perl5 kříženej s javou.
17:11 xstill to zní dost strašně
17:11 mornfall Je to úplně ad-hoc a navíc je to děsivě ukecaný.
17:11 mornfall Ruby je mnohem příjemnější na zápis a navíc je mnohem koncepčnější.
17:11 mornfall Jen má teda pomalejší interpret.
17:12 mornfall Ale who cares.
17:12 mornfall Když chceš napsat něco v pythonu a nezešedivět než to skončí, stejně musíš všechno na čem sejde nabušit v C.
17:12 mornfall Z hlediska rychlosti.
17:13 xstill no tak to pak nemá cenu...
17:13 mornfall Tak, na spoustu levný logiky je takovej jazyk fajn.
17:13 mornfall Stejně tak ruby.
17:13 xstill já na věci co chci mít rychle napsaný používám Haskell, jinak C++, myslím, že s tím si vystačím
17:13 mornfall Ale právě proto že to stejně musí být levný mi ten rozdíl mezi pythonem a ruby nepřijde rozhodující.
17:14 mornfall /sys/class/power_supply/BAT0/energy_full: 240000
17:14 mornfall /sys/class/power_supply/BAT0/energy_now: 61150000
17:14 xstill :-D
17:14 mornfall charge: 25463%... wut
17:15 mornfall něco se lehce zbláznilo
17:15 mornfall ach ten linux
17:15 xstill na jakým jádru jedeš?
17:15 mornfall 3.7.10
17:16 xstill ono je 3.7 použitelná na ivy? Na sandy se to strašně přehřívalo
17:16 mornfall Nevim, hlásí to 8W, ale to může být cokoliv, vedle těch procent.
17:16 xstill tak já jsem to poznal na fyzické teplotě v idle...
17:17 xstill teď mám 3.8 a celkem to funguje, až odevzdám tak updatuju na 3.9
17:17 mornfall :-)
17:18 xstill nebudu to teď pokoušet
17:19 mornfall to chápu
17:27 xstill další fáze bude hodit na domácí mašinu nixos, asi ti ukradnu nějaké konfigurace ;-)
17:31 mornfall path is ‘/nix/store/n5x9vlr7sjj7yr88ybx3h2dnwirj3ljz-X17-59186.iso’
17:31 mornfall 0mbf3f5y0kx4qnjs8387ij63k38q2q1b51jakgjp5ylh3d9imbix
17:31 mornfall (to druhý je sha256, je to na anně ve storu)
17:31 xstill co to je?
17:31 mornfall to je to x64 iso
17:31 xstill aha
17:31 mornfall píšu to sem hlavně abych ho nezašantročil v backlogu
17:32 mornfall http://web.mornfall.net/stuff/dell-4x10-512G.pdf
17:33 mornfall Až teda na to, že ten Westmere je docela starej.
17:34 xstill no jinak to vypadá dobře
17:34 xstill ale tak ještě chvíli počkáme, ne?
17:34 mornfall no, teď na to stejně nemáme
17:35 mornfall ale je dobrý vědět kolik to může stát, abychom mohli prudit Jiříka že na to chcem peníze :-)
17:35 mornfall tam je potenciálně zrada v DPH teda
17:38 mornfall (nevim jak fungujou granty vs. dph, je možný že se zase odečte někde)
17:42 xstill sakra mě se nic nechce
17:43 mornfall :-) o tom mi něco povídej
17:45 xstill no jo ale ty neodevzdáváš zítra složitost, v pátek prolog, ..., ..., ...
17:46 mornfall to ne no, ale 7.6. je deadline na AVoCS
17:47 mornfall a nemám naprogramovaný ani ťuk
17:47 mornfall a divine 3.0 by to chtělo, žejo
17:47 xstill co je AVoCS?
17:47 xstill už mlčím
17:47 mornfall http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27961&amp;copyownerid=46091
17:49 xstill aha, co tam jedeš přednášet?
17:50 mornfall no otázka je co tam jdu napsat, a jestli to stihnu :-)
17:50 mornfall to co je v ifm2013 v draft/svn, asi
17:51 xstill aha, to je asi to co jsem si chtěl přečít úvod a pak se k tomu nedostal...
17:59 xstill jak se anglicky řekne čárka? (jako tato: ,)
17:59 mornfall comma
18:00 xstill díky, to jsem i někdy věděl
18:26 mornfall top - 18:26:46 up 48 days, 19:11,  2 users,  load average: 56.99, 65.72, 94.51
18:27 mornfall (pheme22, xtomast1 pouští make -j ...)
18:27 xstill mornfall: to je aura?
18:27 xstill už zase?
18:27 xstill jsem mu to v pondělí vraždil...
18:27 xstill měl load 120
18:28 mornfall tak ono to jednoho dne dojede i takhle
18:28 mornfall ale nemám pocit že by to bylo k něčemu dobrý
18:28 xstill no jám experimentálně ověřené že ani aurou nemá smysl buildovat na víc než 20 vláknech (divine)
18:29 mornfall tak tohle není divine, jinak by to už bylo dávno lehlo
18:29 mornfall ale jsem v pokušení mu za tyhle zvěrstva ten účet prostě zrušit
18:30 xstill nech ho to dodělat, byl by z toho fakt na nervy asi
18:30 xstill má na to čas do víkendu nejdéle
18:30 xstill mimochodem proč nefunguje write na konzolu?
18:31 mornfall nevím
18:33 xstill chtěl jsem mu rychle nadávat...
18:35 mornfall no, je dost problém se na tu 22 vůbec přihlásit
18:36 xstill já tam jaski jsem ale dostat aktuální informaci o loadu potrvá
18:36 xstill on jí uswapuje
18:36 mornfall no, to je jedno, napíšu mu last warning
18:37 mornfall už jsem tam napsal pkill -u xtomast1
18:38 xstill nastavil bych všude overcommit ať nám je úpně nezníčí
18:41 xstill nemůžeme na něj pustit ulimit na počet procesů?
18:41 mornfall on to tam pouští furt dokola
18:42 xstill on je to automatický script z antei
18:42 mornfall už není
18:43 xstill musíme zavést do budoucna nějaké restrikce na externí lidi
18:43 mornfall no, stačí na to mít policy
18:43 mornfall a ty účty prostě po prvním varování mazat
18:43 xstill to by se ovšem neměli externí přidávat do skupiny paradise...
18:44 xstill no myslel jsem něco jako že na ně budeme mít limity
18:44 mornfall ono to ochránit prostě nejde
18:44 xstill přece jen ne vždy to monitorujeme
18:44 mornfall tak jasně, ale ty limity většinou buď nefungujou nebo ti znemožní pracovat
18:44 mornfall dá se s tím bojovat tak, že se pustí jen na virtuál
18:44 mornfall kterýmu se natvrdo omezí zdroje
18:44 mornfall ale jinak těžko
18:44 mornfall a to je taky dost k ničemu
18:45 xstill no to je
18:45 mornfall prostě se ti lidi musí naučit chovat
18:45 mornfall jasný že občas se to stane, ale kruci když už mi admin osobně píše že to dělám blbě, tak si snad dám pozor
18:45 mornfall nic, jdu se najíst :-)
18:46 xstill dobrou chuť
18:47 mornfall jo, na pheme jsem pustil nixos-clean, protože na některých došlo místo kvůli starým generacím, zdá se
18:47 mornfall bbl
18:48 xstill co je nixos-clean?
18:52 xstill aha to co jsem na pythii dělal ručně :-)
19:11 mornfall :-)
19:12 mornfall Je to v /etc/nixos/scripts.nix, kdyby se tomu přidělala option aby nepouštěl nix-collect-garbage, mohlo by se to vrazit jako weekly do cronu třeba (gc běhá co hodinu).
19:14 xstill no možná bude lepší když to budeme monitorovat, aby jsme si nesmazali roblacky které by se mohli hodit
19:15 xstill třeba něco jako že se denně otestuje jestli je na disku alespoň 10% místa a při první detekci se pošle mail na paradise-supp
19:15 xstill nebo tak
19:15 mornfall no, zabbix tohle asi nějak aj dělá, jen neposílá maily
19:16 xstill jak se děla s zabbix-em"?
19:17 mornfall přihlaš se do toho, Admin/zabbix
19:18 mornfall (paradise.fi.muni.cz/zabbix)
19:20 xstill aha
19:21 mornfall údaje to ukládá do postgresu
19:21 mornfall ale to UI je dost složitý
19:21 mornfall jen jsem zatím žádný jednoduchý moc neviděl....
19:22 xstill nějak tam nejsou data
19:22 mornfall ale jsou, jen se k nim probojovat :-)
19:23 xstill no já jsem na grafech, bych čekl, že budu spojitý...
19:23 xstill ne že vidím v hodine 1 měření
19:24 xstill nevidí t annu a anteu
19:24 mornfall nevidí a nevim proč
19:25 mornfall achjo, ten systemd je takovej krám
19:25 mornfall proč zase není log z postgresu?
19:25 mornfall od 22.4.
19:25 xstill hups
19:27 mornfall a zabbix na anně to samý
19:27 xstill jdu se umýt, vrátím se...
19:27 mornfall i když on nic nepíše, tak to ještě chápu
19:27 mornfall jasně
19:28 mornfall Warning: Journal has been rotated since unit was started. Log output is incomplete or unavailable.
19:28 mornfall wat
19:37 xstill nerotuje to nějak rychle?
19:37 xstill (neukládájí se tam snad core-dumpy jako v archu)
19:37 mornfall no, když tam jsou data z dubna?
19:37 mornfall snad to není natolik dementní aby to rotovalo odprostředka?
19:38 xstill aha
19:39 mornfall no to je jedno
19:39 mornfall kdysi to logovalo nějaký errory od zabbixu o duplicitních hodnotách pro klíč
19:39 mornfall tak jsem myslel že by to mohlo souviset s těma dírama
19:39 mornfall ale asi to takhle nezjistím
19:58 xstill já jdu asi spát, vypadá to že stejně dneska už nic rozumného neudělám...
20:03 mornfall nj, dobrou
20:17 spito mornfall: už ses adaptoval?
20:17 spito na změnu času?
20:18 mornfall částečně :)
20:19 spito tak, šel jsi včera spát cca v 11
20:19 spito to se dá chápat za rozumný čas
20:19 mornfall :-)
20:19 mornfall žejo
20:19 spito jo, myslíš, že jsi zaujal některé lidi tak, že se podívají na divajn?
20:20 spito (já vím, ode mě  "to sedí", ale příště si tak nedrž tu ruku furt, vypadá to, že se bojíš, Alfons byl třeba víc uvolněný)
21:02 spito mornfall: tak ve zkratce, co dělá por-3c?
21:03 mornfall c3? cycle proviso
21:03 mornfall co tím myslíš, co dělá?
21:03 spito co je v tom souboru implemetovaný
21:03 spito ?
21:03 mornfall moje diplomka
21:07 mornfall potřebuju nějakou lepší bariéru
21:07 mornfall to co tam je je zbytečně drahý...
21:09 spito v partitioned?
21:09 mornfall jasně
21:09 spito to zní skoro jako že bys chtěl předběhnout shared
21:09 spito :)
21:10 mornfall no, já bych chtěl hlavně líp změřit kolik času to idlení reálně vezme
21:10 mornfall jenže ta bariéra toho idle času spoustu sežere, mám dojem
21:12 spito a to tvoje POR dělá to, že odstraní nějaké stavy, které jsou zbytečné, že?
21:13 mornfall no, C3 naopak dělá to, že tam nějaké stavy vrátí, tak aby to bylo korektní
21:13 mornfall POR jako taková ovšem stavy vyhazuje
21:14 spito a celkově to udělá redukci stavového prostoru za běhu algoritmu
21:14 spito ?
21:14 mornfall jo
21:15 spito hele, ta bariéra je udělaná přes systémový volání, že?
21:16 spito aby vlákno umělo usnout a vzbudit se
21:30 spito to vypadá, že nemáš čas :)
21:30 spito a nebo zajímavý talk
21:37 Erbureth spito: POR je v podstatě o tom, že když tam máš prolínání různých procesů, které nemá vliv na property, tak můžeš vzít jenom jednu kombinaci (s určitými omezeními)
21:38 spito jo, tak nějak jsem si to myslel
21:38 Erbureth spito: jedno z těch omezení je, že na každém cyklu musí být stav, kde budou ty prolínání vygenerována všechna, o to se stará to por-c3
21:39 spito dík
22:00 spito left #divine
22:06 mornfall No, čas, talk, byl jsem venku a povídal si s Alfonsem.

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