Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-04-21

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

All times shown according to UTC.

Time Nick Message
00:55 spito left #divine
05:15 mornfall No jo, vy máte ten debug build LLVM.
05:15 mornfall Budu si to taky muset pořídit.
06:12 spito joined #divine
06:28 spito mornfall: to byl release build
06:29 mornfall No, ale LLVM je debug build.
06:29 mornfall Kdyžtak mi hoď backtrace z toho. :-)
06:39 spito thread apply all bt full?
06:39 spito nebo ještě něco jiného?
06:39 spito q
06:40 spito bez q
06:40 mornfall Jo, stačí.
06:40 mornfall pastebin.dqd.cz tÃ…â„¢eba
06:42 spito http://pastebin.dqd.cz/Kb4m/
06:44 spito hmm, na řádku 23 je blbost, ale to poznáš :)
06:46 mornfall A nechceš to vyrobit z debug buildu aby tam byla čísla řádků? :)
06:46 mornfall Mám teda tip, ale...
06:46 mornfall Hm, nebo na to kašli já si vyrobim ten debug build.
06:47 mornfall Stejně ho potřebuju.
06:47 spito tipuju, že budu rychlejší
06:53 spito no tak asi ne, linker na auře je pomalý
07:07 spito mornfall: už to asi máš, že?
07:08 mornfall Ale kde, já seděl za klavírem. :-)
07:08 mornfall Navíc já si potřebuju přeložit celý LLVM.
07:17 xstill mornfall: jsem nadšenej
07:17 spito http://pastebin.dqd.cz/Easr/
07:17 spito tady to máš i s čísly
07:17 mornfall xstill: :-)
07:17 spito xstill: hoj, je lépe?
07:17 xstill spito: jo
07:18 spito na tvoji počest jsem zmlátil myš
07:18 spito opět...
07:19 mornfall Zajímavé.
07:19 spito mornfall: co?
07:19 mornfall To jsem úplně nečekal.
07:21 spito co jsi nečekal?
07:22 mornfall spito: A teď? :)
07:22 mornfall (update mainline)
07:23 mornfall Sry, až ...
07:23 mornfall ... teď
07:25 spito mornfall: compilint....
07:25 spito *compiling
07:28 spito mornfall: i ještě říkám, jestli ten ticket o pádu draw testu nebyl způsobený tím, že na antee občas vypadne getcwd
07:29 mornfall I kdyby, tak by to nemělo padat takhle.
07:41 mornfall spito: Ty máš thinkpad edge?
07:43 spito jop
07:43 spito proč?
07:45 mornfall Tak. Pokukuju po E130 že bych koupil Lucce.
07:45 spito no, já mám E530
07:45 mornfall To vim že máš nějakou krávu velkou. ;-)
07:46 spito když mě se líbí numerika
07:46 mornfall Jen tam je slim harddisk, tak nevim jestli tam narvu to SSD co mám.
07:50 spito mornfall: za chvilu by mohl být map s podporou shared visitora
07:50 mornfall Supr. :)
07:53 spito jen tu mám teď nějaký race
07:53 spito takže občas to funguje špatně
07:55 mornfall :-)
07:55 xbarnat joined #divine
07:55 xstill mornfall: slim harddisk by měla mít i tvoje X230 ne? mohl bys to porovnat
07:55 spito tools/divine verify -p assert --shared -s -w 16 elevator2.bc
07:55 spito terminate called after throwing an instance of 'wibble::exception::Consistency'
07:55 spito what():  Can't call an undefined function: syscall. Context:
07:55 spito ProgramInfo::builtin
07:55 spito Neúspěšně ukončen (SIGABRT) (core dumped [obraz paměti uložen])
07:55 mornfall xstill: To má. :)
07:55 spito slim hdd je co přesně?
07:56 mornfall xstill: Ale to SSD tady nemam, je teď v jejím HP Mini v Bruselu.
07:56 spito xbarnat: ahoj jiříku
07:56 mornfall spito: 9mm nebo tak cosi
07:56 spito myslíš miniSSD?
07:56 mornfall spito: Ne.
07:56 xstill mornfall: aha
07:56 mornfall 2.5" slim
07:56 spito jo takhle
07:56 spito velikostně normální HDD
07:56 mornfall xbarnat: Hm, s tím libsupc++ budou ještě problémy. :-)
07:57 mornfall xbarnat: Ale to je mainline, ne?
07:57 xbarnat j
07:57 spito mornfall: chceš opět backtrace?
07:57 mornfall spito: Asi ne. :) To je exception.
07:58 mornfall spito: Ten bitcode file je Å¡patnÄ›.
07:58 spito přeloženo aktuálním divine
07:58 mornfall Nojo.
07:58 mornfall To je asi podobnej problém, libsupc++.
07:58 mornfall Přelož to na antea/anna a .bc si překopíruj, třeba to pomůže.
08:01 spito tam je rozbitý clang
08:02 mornfall -isystem...
08:03 mornfall Hm. Ty svině nemaj červený E130 s Intel wifinou?
08:05 xstill mornfall: oni nečekají člověka co ho zajímá barva noťasu a zárovaň hardware
08:05 mornfall Ta barva je snad jeho největší selling point. :P
08:05 mornfall Teda byla by, kdyby tenhle nebyl černej.
08:06 mornfall Jako i3 bych oželel, ale jestli je tam nějakej převlečenej broadcom, tak to je showstopper. :-P
08:07 mornfall (Červenej má pentium 977 a "thinkpad wifi", černej i3 a intel wifi...)
08:07 xstill mornfall: no to není nic moc (ten červenej)
08:08 xstill mornfall: mám pocit že u E120 byka červená s AMD
08:08 mornfall No, červenou s AMD maj taky.
08:09 xstill jsme myslel že už je to přešlo
08:09 mornfall Ale E2 je krám, to si od toho atomu N550 moc nepolepší.
08:09 xstill už ani nevím co vlastně AMD vyrábí
08:10 xstill mornfall: nemáš nějaký příklad prezentace v beameru?
08:11 mornfall A pak maj zase červenej s i5. Já z nich umřu.
08:11 mornfall A non-intel wifi.
08:11 mornfall Na obrázku je navíc černej. :D
08:11 mornfall To je firma.
08:12 mornfall xstill: Mám, počkej.
08:13 xstill mornfall: pokud bys mi ho hodil do anna:/home/xstill/inbox byl bych ti vděčný
08:16 mornfall xstill: http://web.mornfall.net/stuff/slides/divine-2012-02/
08:18 xstill mornfall: díky
08:39 spito xstill: mám metodu ve StoreCommon
08:39 mornfall spito: Jak dlouho to máš btw? (Ten edge)
08:40 spito a chtěl bych ji překrýt
08:40 spito vložením metody to SharedTable jsem si nepomohl
08:40 spito mornfall: mmt, mrknu na účet, tam se to pozná
08:41 spito mornfall: 22.10.2012 koupeno
08:42 mornfall To je docela nový. :) Mě zajímalo jakou to má trvanlivost...
08:42 spito sakra....to jsem na něj dlouho vydělával...
08:42 xstill spito: no nepomůžeš protože StoreCommon dědí SharedTable
08:42 spito nepociťuji nic, kvůli čemu by to mělo se rozpadnout
08:43 spito a jde to dát někam tu obecnou, aby to mohla metoda v SharedTable překrýt?
08:43 xstill spito: takže pokud se to liší pro shared musíš to vložit do SharedTable a PartitionedTable
08:43 xstill spito: nejde ale tak jako tak budeš mít 2
08:45 spito mornfall: make[3]: stat: ../wibble/empty.h: Device or resource busy
08:45 spito tohle dostávám pořád
08:45 mornfall spito: Jo, NFS.
08:45 spito na antee
08:45 xstill spito: jediná nevíhoda teda je že nemůžeš použít tu obecnou
08:46 mornfall íííí
08:46 spito vÝhoda
08:47 xstill joo no
08:49 spito xstill: jakto, že v mapu při procházení storem dostávám VertexId a ne Vertex?
08:49 xstill spito: protože store neobashuje Vertexi
08:49 xstill spito: VertexId je komprimovaná podoba a obasahuje extension a to mapu stačí
08:50 xstill spito: (a dekomprimovat by bylo drahý)
08:50 spito a umim nějak dostat z VertexId Blob? aspoň tak, aby to mělo hlavičku
08:50 xstill spito: dokelu
08:51 spito já totiž umím zamykat jenom Bloby
08:51 mornfall spito: No, asi je na čase ten zámek přesunout do extension. :-)
08:52 mornfall Nějak hrozně chytře.
08:52 mornfall Asi mixin.
08:52 xstill mornfall: jako ono by to Å¡lo i bez toho
08:52 mornfall (načase*)
08:52 mornfall xstill: Šlo, ale on nám asi ten blobheader úplně zmizí.
08:52 xstill mornfall: jen by store musal umět zamknout VertexId (on to většiniou fakticky je blob)
08:53 mornfall Snad už brzo. ;-)
08:53 spito a co bude místo něho?
08:53 xstill mornfall: potom by bylo nejlepší lock přesunout do Vertexu/VertexId
08:53 mornfall xstill: No, tam na to úplně není místo, nebo?
08:54 spito asi to bude muset být v Extension, což o to, dědičností tam ty věci dostanu, ale potřebuju si u každé vzít 1 bit
08:54 mornfall RAII třída může zůstat ve store.
08:54 xstill mornfall: aha to si stejně nepomůžeme, VertexId se ukládá jako parent
08:54 xstill mornfall: no ale jak ti zmizí BlobHeader?
08:54 mornfall spito: No, stačí v OWCTY a MAP.
08:55 mornfall xstill: No, tak že pool podle adresy blobu pozná jak je ten blob velkej a jestli je permanent.
08:55 spito takže umožnit dvojí zamykání?
08:55 xstill spito: když tam narveš vertexId.node tak bys měl dostat blob a já si to potom asi u NTree opravím
08:56 xstill mornfall: to myslíš ty lepší pooly?
08:57 mornfall Jo. :)
08:57 spito mornfall: pointer bývá vždy zakončen nulou, že?
08:57 mornfall spito: Dvouma, dokonce.
08:58 mornfall Jestli je 4-aligned.
08:58 mornfall Jen pak musíš ten bit na konci vždy odmaskovat. :)
08:58 spito jasný....
08:59 spito jenom že můžu takhle ukrást i bit v reachability::extension
08:59 spito ale tam to bude hnusný union
08:59 mornfall To bude. :)
08:59 mornfall Ale to bych asi přecijen nechal být.
09:00 mornfall Dořešíme alignment issues radši.
09:01 mornfall Budeme pěkně alokovat na pointer-aligned adresách, a header tam nebude.
09:02 xstill mornfall: ale pak budeš muset zajisti, že se ptáš poolu který alokoval, ne?
09:02 mornfall To budu muset ještě vymyslet.
09:03 mornfall Myšlenka je, že pooly budou mít nějakou sdílenou tabulku skupin.
09:03 mornfall Nebo tak něco.
09:03 mornfall Ještě to promyslim.
09:04 mornfall Pokud bude Blob mít furt velikost pointru, tak se ta velikost triviálně schová do něj.
09:05 xstill mornfall: no jako na 32b jít stejně nemůžeš protože by nebylo dost blobů na kompresi
09:08 mornfall xstill: Teď cpeš aj forky do blobů?
09:08 mornfall Ono to vlastnÄ› s ntree jinak nejde co.
09:08 xstill xstill: no teď ne protože nepotřebuju znát velikost
09:08 xstill vidíš co dělám?
09:08 xstill :-D
09:08 mornfall :-)
09:08 mornfall Kouknu se.
09:08 mornfall :-P
09:09 xstill mornfall: momentálně Bloby nepoužívám ale pokud nebudou mít hlavičku tak budou výhodnější
09:09 xstill (+ teda Root musí být typově odlišný ale to je jednoduše řešitelné)
09:28 xstill spito: budou krabice?
09:28 spito tss
09:28 spito jo, dnes
09:31 xstill ok
09:34 spito mornfall: chytají se specializace šablon na dědice té specializace?
09:34 mornfall spito: Nerozumim. :-)
09:35 mornfall Aha, asi rozumim. Nechytají.
09:35 spito musí se to přetypovat na předka
09:35 mornfall Subtyping funguje jen na pointrech nebo referencích.
09:39 mornfall Já si uvědomil, že celý mezithreadový fronty jsou úplně na palici.
09:39 xstill mornfall: a tam funguje i specializace (tedy pokud mám specializaci na A* a struct B : A)?
09:40 mornfall xstill: To si asi musim zkusit. :-)
09:41 mornfall Nefunguje. Nemůže.
09:42 xstill mornfall: jakto?
09:42 mornfall Protože specializace není overloading. :-)
09:42 mornfall X< A * > není X< B * >, takže nemůže mít stejnou specializaci.
09:43 xstill hm
09:43 mornfall Specializace jen říká, že X< T > = něco.
09:44 xstill ale jo dává to smysl
09:44 xstill btw. chtělo by to mít C++ REPL
09:44 spito xstill: to je co?
09:45 xstill v podtatě interaktivní interpret, jako třeba ghci
09:45 xstill ale samzřejmě pro C++ je to decala problém (protože šablony)
09:46 mornfall xstill: No, šablony sem šablony tam. :-) To není to nejhorší.
09:46 spito parse error: check your syntax nea decala
09:46 spito *near
09:46 spito :D
09:46 xstill *docela
09:47 spito já to pobral nakonec, ale chvilu mi to trvalo
09:47 spito ale furt nemáš na kámoše, ten mi onehdá napsal sms, že jsem ji četl asi 5x, než mi to začalo dávat trochu smysl
09:47 xstill mornfall: co je nejhorší?
09:48 mornfall xstill: Že ten jazyk na to má nevhodnou strukturu.
09:48 mornfall Statement není výraz.
09:49 mornfall REPL můžeš klidně mít nad překladačem, bude pomalejší ale to je jedno.
09:49 xstill taky fakt
09:50 mornfall A nemá moc type inference.
09:50 mornfall To je možná vůbec největší problém. ;-)
09:51 mornfall Proč mi nikdo neřekl, že partitioned je úplně blbě?
09:51 mornfall Teda visitor.
09:51 xstill mornfall: co?!
09:51 mornfall No, on generuje hrozně velký inter-thread fronty, úplně zbytečně.
09:52 mornfall Přitom ty jsou na paměť mnohem dražší.
09:52 spito mornfall: on se na to nikdo nekoukal....
09:52 mornfall Protože lokální fronta je deduplikovaná (ukazuje do tabulky).
09:53 xstill jeno from stavy jsou deduplikované ne?
09:54 mornfall Tam žádný jiný nejsou.
09:54 xstill aha lokální
09:54 mornfall Následníky to generuje až když to vytáhneš.
09:54 mornfall Facepalmfacepalmfacepalm.
09:56 spito hele, ale takhle mě zase předběhneš v rychlosti :/
09:57 mornfall To asi těžko.
09:57 spito divil by ses, ale s dummy generátorem je i na 8 vláknech partitioned rychlejší
09:57 mornfall Někde je chyba.
09:58 spito jo, řekl bych že ve frontě a tabulce
09:58 mornfall Myslíš?
09:58 mornfall Ta fronta možná.
09:58 spito no, oni čekají, než něco najdou ve frontě
09:58 spito partitioned rovnoměrnějí rozloží práci
09:59 spito ten fígl  tím zvÄ›tÅ¡ováním chunků ve frontÄ› je fajn, ale myslím, že nebude fungovat
09:59 spito rychlost mi celkem narostla, když jsem zmenšil velikost chunků
09:59 mornfall No, on to je vždycky kompromis.
10:00 spito záleží jestli generuješ hodně stavů nebo ne
10:00 spito pokud ne, tak je menší fronta lepší
10:02 mornfall Jo, no.
10:02 mornfall Ideální by to bylo chunkovat podle času ne podle počtu stavů.
10:02 mornfall Nebo to chunkovat podle plnosti fronty.
10:02 mornfall Čím víc stavů ve frontě tím větší chunky.
10:02 mornfall Ale globální počítadla...
10:03 mornfall čím menší chunky tím víc se vlákna perou o spinlock, čím větší tím víc postávaj protože nemaj do čeho píchnout.
10:06 spito mornfall: hele, dělat zámky nad extension je strašná prasečina
10:06 mornfall spito: Proč?
10:06 spito já si udělám zámky nad blob.ptr
10:06 mornfall spito: To budeš zamykat leda tak vzduch. :-)
10:06 mornfall blob.ptr má každej konkurent jinej...
10:07 spito ale jo....taky furt
10:07 xstill nechcete zatím zamikat ten BlobHeader a pak to vyřešit až se budou řešit nový pooly?
10:08 mornfall (...)
10:08 mornfall xstill: No, VertexId nemá header.
10:08 mornfall Tím to myslim začlo, ne? :)
10:09 xstill no jo ale VertexId::node je blob kromě případu kdy je to NTree
10:09 spito no, tohle je potÃ…â„¢eba ale jenom v mapu v cleanup
10:09 xstill no a já si tam taky můžu vložit lock
10:10 spito a ten se dá provést v jednom vlákně
10:10 xstill jedinej problém je že by to chtělo zamikat v storu pomocí nějaký globální funkce kterou půjde specializovat
10:10 mornfall xstill: je to zamykat btw :-)
10:10 xstill no ono je zbytečné dělat cleanup ve více
10:10 mornfall xstill: no, zamykat se bude nějakou RAII třidou ze storu
10:11 xstill vzhledem k tomu že prochhází tabulku a ta je jedna
10:11 spito jo, to už mám napsaný
10:11 mornfall xstill: Tak, někdo by mohl napsat nějakej chytrej iterátor co to rozhází.
10:11 xstill ale tak ta třída může mít tak asi specialozovaný metody
10:12 mornfall xstill: Do disjunktních podmnožin per vlákno.
10:12 xstill mornfall: problém je s dírama ve storu takže nevíš kam skočit
10:12 xstill (invalid)
10:12 mornfall xstill: Proč? Stačí vrátit jiný begin/end.
10:12 mornfall Prostě to rozsekat na linéarní kusy velikosti size/n.
10:13 xstill to by samozřejmě šlo, kolik je workerů víme ne?
10:13 mornfall No, asi to chce begin( int slices = 1 )
10:14 mornfall A MAP už ví.
10:14 xstill mornfall: to by chtělo aby tabulka měla begin( int, int ) a end( int, int )
10:14 xstill a brala počet a id workera
10:14 mornfall Teda, begin( int slice = 0, int total = 1 )
10:14 mornfall Jo.
10:14 mornfall Víme co myslíme. ;-)
10:15 mornfall Ale stejně není potřeba nic zamykat, protože to pracuje na disjunktních kusech.
10:15 spito jo, tam jo
10:15 spito tím odpadne ten problém
10:15 xstill no to pak není potřeba takže VertexId je vyřešen
10:15 mornfall xstill: Není, protože OWCTY. :-)
10:15 mornfall Který zapisuje do from.
10:16 mornfall Ale to je zase jen argument proto mít to v Extension.
10:16 xstill => je potřeba napsat iterátory do tabulek a změnit StoreIterator
10:16 mornfall pro to*
10:16 xstill mornfall: co?
10:16 mornfall Že to vlastně potřebuje jen OWCTY.
10:16 xstill on zapisuje do from!?
10:16 mornfall xstill: Do extension.
10:16 mornfall JasnÄ›.
10:17 mornfall Aha.
10:17 mornfall Sry to je blbost.
10:17 spito právě
10:17 mornfall Zapisuje do to.
10:17 mornfall Ale je to počítadlo.
10:17 mornfall Prostě přečte z to, a něco tam zapíše podle toho co tam bylo.
10:17 mornfall -> data race
10:18 mornfall Ale to máš v MAP taky hele.
10:18 spito no, ale to stačí zamknout blob
10:18 xstill no ono tam je teda podstatný problém s kompresí si uvědomuju
10:18 mornfall transition v MAP musí zamykat
10:18 spito taky že zamyká
10:18 mornfall Ajo, on vlastnÄ› nedostane VertexId.
10:18 xstill (tam se totiž zamyká vzduch)
10:18 mornfall :-)
10:19 mornfall xstill: Jo, no.
10:19 mornfall A tam to nevyhraješ ani se zamkem v extension.
10:19 mornfall zámkem*
10:19 xstill je potřeba předělat všude extension tak aby přistupovalo do Vertex::getVertexId().extension() a pak asi vyhodit update se store
10:19 mornfall Takže tohle padá.
10:20 mornfall Hmm.
10:20 xstill to by mělo jít
10:21 mornfall Takže místo n.getNode() psát VertexId( n )?
10:21 mornfall V     Extension &extension( Vertex n ) {
10:22 spito takže co? zámky budou nad extension?
10:22 mornfall Nevim. :D
10:23 spito no, já to nechám na pondělí
10:23 spito to nemá cenu to psát teď naslepo a pak to zase přepisovat
10:23 xstill no ne psát n.getVertexId().extension< Extension >() a zamykat VertexId který interně zamkne svůj Blob/Root
10:24 xstill ale ty extension by si asi mohl přehodit, ale dneska musím ještě udělat prezentaci
10:24 xstill doufám že to totiž půjde dát všude
10:24 xstill (jinak by to bylo nanic)
10:25 mornfall Aha, Vertex není Blob. Ok makes sense.
10:25 mornfall Ale to že máme aj Node aj Vertex je dost matoucí.
10:26 xstill mornfall: ono by bylo lepší to Node zcela zamaskovat
10:26 mornfall No, někdy jindy.
10:26 mornfall A zničit.
10:26 mornfall :D
10:27 xstill zamaskovat z pohledu algoritmů, visitor to musí vidět
10:36 mornfall Venku je zase hezky. :-)
10:37 spito jdeš běhat?
10:37 mornfall Půjdu. Ale ještě ne teď.
10:37 spito he, kolik tak běháš?
10:38 mornfall Musim se zeptat googlu.
10:40 mornfall Něco mezi 3 a 3.5km.
10:41 mornfall Kdybych na to měl kondičku, tak ten okruh dá tak 4.4...
10:42 spito dobré....
10:43 mornfall A koukám že kdybych pokračoval podle potoka tak to dá klidně 6.4. No, prostor pro růst tady nechybí. ;-)
10:59 spito xstill: antea:/home/xweiser1/naval/sada2.tex
10:59 spito máš tam opravené hrubky :)
10:59 spito aspoˇty, co jsem našel
10:59 spito *aspoň
11:18 xstill spito: dík
11:25 xstill super divine běží hodinu pak najednou stihne jedno vlákno hodit assert a druhý zasegvit než to první zavolá abort
11:31 spito na čem to lehlo?
11:32 xstill na NTreeStore::update Pool::allocate
11:32 xstill spito: tabulka mi tvrdí že v ní není něco co jsem tam uložil
11:32 spito a partitioned nebo shared?
11:32 xstill shared
11:33 xstill ale s NTree takže chyba může být i u mě
11:33 spito máš core?
11:33 spito to se musí pořádně projít
11:33 xstill hmm ale před tím to tam bylo (ve Vistor::edge)
11:34 spito zvláštní, počítám, že se nic nezměnilo....
11:36 xstill já mám asi rozbitý hasher, je tam taková věc kterou jsem zatím nedořešil a ono to teoreticky může rozhodit pool, musí se to předělat
11:36 spito umíš se dostat na atheu?
11:36 spito já ne
11:37 xstill hmm
11:37 xstill asi ne
11:38 xstill pingá
11:38 xstill jako root jo
11:38 xstill ale ne na annu asi
11:39 xstill ciž to vysvětluje
11:39 spito tedy není chyba u mě?
11:39 xstill bohužel ne
11:39 spito že by zase umřela anna?
11:39 spito no ale toto....
11:40 xstill už to tak bude
11:40 xstill sakra
11:40 mornfall Buuu.
11:40 mornfall To je ten disk.
11:40 mornfall Má to talent lehat v neděli.
11:40 xstill mornfall: máme už náhradní?
11:41 spito lepší než kdyby to lehalo v pátek odpoledne
11:41 mornfall xstill: Nevím o tom.
11:41 xstill mornfall: je nějaká šance to restartovat tak aby to šlo?
11:41 mornfall xstill: Dneska asi těžko. Jedině že bys tam zašel.
11:42 xstill pokud nechal Jiřík klíček v labu tak bych si mohl udělat procházku na FI ale doufám že mě vrátný pustí k serverovně
11:42 mornfall Prý nechal.
11:42 mornfall Vrátný tě pustí když mu to vysvětlíš.
11:42 mornfall Oni jsou dost mimo.
11:43 spito :D
11:43 mornfall Ukážeš jim klíč a že je vypnutý zastřežení.
11:43 xstill mornfall: no já jsem napsaný na ParaDiSe listu tak do labu mě pustí určitě
11:43 xstill ok
11:43 mornfall A že tam potřebuješ opravit počítač. :-)
11:44 mornfall xstill: Kdy to tak cca plánuješ? Abych nebyl zrovna venku.
11:44 mornfall xstill: A rovnou mrkni na to IPMI. ;-)
11:44 xstill mornfall: no nevím bude mi chvíli trvat než se připravím a pak tak půl hodinu než tam dojdu
11:44 mornfall Když si vezmeš notes, tak v serverovně je wifi signál.
11:44 xstill mornfall: jak na něj mám mrknout?
11:45 mornfall Do BIOSu.
11:45 xstill aha
11:46 xstill mornfall: jo noťas si vezmu, snad půjde wifi
11:48 mornfall http://www.thomas-krenn.com/en/wiki/Supermicro_IPMI_Configuration_through_BIOS_or_Web_Interface
11:48 mornfall Je tam jiná deska ale BIOS bude snad podobnej.
11:49 xstill jo v tom se snad nějak vyznám
11:49 xstill mornfall: můžu poprosit o tvoje telefonní číslo kdyby byl nějaký neočekávaný problém?
11:50 xstill mornfall: to bude potÃ…â„¢ebovat ip adresu co?
11:50 xstill mornfall: díky za číslo
11:50 mornfall Bude.
11:52 mornfall Něco ukradni. Ono jestli se to nějak rozjede, tak přenastavit IP adresu už není problém.
11:52 mornfall V pondělí napíšeme unix-ům ať nám na to vyrobí záznamy.
11:52 mornfall Nebo vlastnÄ› i dneska.
11:53 mornfall Asi anna-ipmi, antea-ipmi, pheme*-drac pÃ…â„¢ejmenovat na pheme*-ipmi.
11:53 xstill mornfall: zatím asi ukradnu IP pegasus07 pokud do té doby neodpoví
12:00 xstill mornfall: pokud teda nevadí, že ta IP je nastavená na MAC
12:03 mornfall Nevadí.
12:04 xstill ok tak snad můžu vyrazit
12:05 mornfall Ok. Mezičasem to odstřežím.
12:05 xstill snad alespoň cestou vymyslím nával
12:05 xstill mornfall: ještě čekej
12:05 mornfall :-)
12:05 mornfall Ok.
12:06 xstill mornfall: já tam budu tak za půl hodiny
12:44 xstill mornfall: jsem na místě
12:49 mornfall Super.
12:49 mornfall Na kterém? ;-)
12:54 xstill mornfall: jsem v BIOSU
12:55 mornfall A co vidíš? :)
12:55 xstill no právě nevidím IPMI
12:55 xstill ale je tam něco remote access
12:55 mornfall Jo, to by mohlo být ono.
12:56 xstill a je to vypnuté asi je to třeba zapnout a restartovat
12:56 mornfall Jo. :-)
12:56 mornfall To bych Ã…â„¢ekl.
12:56 mornfall A rovnou zapni console redirection.
12:56 mornfall Jestli to tam někde je.
12:56 xstill jsem se zrovna chtěl zeptat :-D
12:57 xstill alwais nebo boot loader?
12:57 mornfall always asi
12:57 mornfall ono by to mělo psát všude
12:57 xstill terminal type nechat ANSI?
12:57 mornfall jo asi jo
12:57 mornfall rozbitý to bude tak jako tak
12:57 xstill a port by měl být COM1?
12:57 mornfall nejspíš ano
12:57 mornfall I když.
12:58 mornfall nevim jestli com1 není náhodou fyzickej port
12:58 mornfall Bylo by trapný kdyby to začalo posílat výstup do portu kterej je připojenej k vtraku.
12:59 mornfall Hm.
12:59 mornfall Ale on to možná přečísluje.
12:59 mornfall Jo, to je blbost, to je virtuální port.
12:59 mornfall Dej tam cokoliv. :-)))
12:59 mornfall Asi COM1.
12:59 xstill no když jsem to uložil a nechal znova naběhnout bios tak tam furt IPMI není
12:59 mornfall Pak zjistíme co dál.
12:59 mornfall No, a jak se jmenovalo to cos zapnul?
13:00 xstill remoteAccess
13:00 mornfall Ono to může mít vlastní bios.
13:00 mornfall Ale snad to půjde ovládat z OS.
13:00 mornfall Možná to prostě nabootuj s tímhle nastavením.
13:00 xstill ale ono mi to přesměruje terminál ne?
13:01 mornfall Nemělo by.
13:01 mornfall Ono se to jmenuje redirection.
13:01 mornfall Ale ve skutečnosti to prostě vyrobí virtuální COM port, kterej vede na firmware toho IPMI.
13:02 xstill jo už to bootuje
13:02 mornfall Linux to uvidí jako ttyS0 nebo něco
13:03 xstill jsem přihlášený
13:03 mornfall Já taky.
13:03 mornfall Ale to ipmi teda nevidim.
13:04 xstill hmm od 13:22 nejsou logy
13:04 mornfall Hm. IPMI and remote management is only available for the Supermicro X8SIL-F (not X8SIL).
13:05 xstill co ona to nemá?
13:05 mornfall Nevim. :)
13:05 xstill mornfall: jak se to dá zjistit?
13:06 xstill a co jsem totom zapnul?
13:06 mornfall Hmm.
13:06 mornfall On je to totiž jen BIOS na COM portu.
13:06 mornfall Reálném.
13:07 mornfall Můžeš zjistit jak jsou na tom anna/antea s COM porty?
13:07 mornfall Asi má každá jen jeden co?
13:07 xstill podívám se
13:08 mornfall Každopádně antea IPMI má, takže by v podstatě úplně stačilo mít 2x USB-serial, USB konce vrazit do antea a serial konce vrazit do anny a vtraku.
13:08 xstill anna má 0 volných (home) antea 1
13:08 mornfall Jen teda nemáme power switch, což je horší.
13:08 mornfall Na annu.
13:09 xstill ale antea furt nevidí home (resp permission denied)
13:10 mornfall Už by mohla. Z nějakého důvodu anna po bootu nedělá exportfs.
13:11 xstill mornfall: ono několik věcí při bootu zahlásilo fail
13:11 xstill už to vidí
13:11 xstill mornfall: potřebuješ něco ode mě v serverovně ještě?
13:13 xstill mornfall: a teda ten remote access je zapnutý na COM1 doufám že to nemůže nějak interferovat s home
13:13 mornfall To nevim no. :)
13:13 mornfall Jako microcom funguje.
13:14 mornfall http://www.softech.cz/nezarazeno/supermicro/323218
13:15 xstill btw anna má ještě asi ve předu jeden serial port
13:15 mornfall Hmm.
13:16 mornfall Jako Linux vidí 2 to je pravda.
13:16 xstill mornfall: tak můžu odcházet?
13:16 mornfall Ale ta IPMI věc by stejně byla lepší (protože remote reboot).
13:16 mornfall xstill: Asi jo.
13:16 mornfall Zejtra asi zadáme Jiříkovi nákupní seznam.
13:16 xstill jo a ještě jsi něco jednou říkal o kabelu k diskovému poly k antee
13:17 mornfall Přesně tak.
13:17 xstill odcházím
13:17 mornfall Ok.
13:27 mornfall Já jdu teda běhat, než umřu hlady. ;-)
14:47 mornfall Hm. Cabal hell.
15:19 xstill mornfall: snad ti cabal nebrání v aktualizacích systému (mě jo)
15:20 mornfall Už to skoro mám. ;-)
15:21 xstill já musím čas od času při aktualizaci vyignorovat několik balíků haskellu co mají nové verze ale nemají závislosti, protože arch odmítá dělat aktualizaci pokud selže nějaká kontrola
15:36 spito xstill: možná mám ty krabice
15:36 spito pamatuješ si zadání?
15:36 spito aspoň trochu?
15:59 mornfall xstill: Hele, mohl bys prosím opravit divineperf tarball tak aby odpovídala verze v názvech (taru, adresáře) s verzí v divineperf.cabal?
16:00 mornfall Vyrobil jsem si skript kterej generuje nix expression z cabal install plánu, ale cabal unpack na divineperf selže...
16:01 mornfall Jdu se zatím osprchovat. ;-)
16:07 xstill mornfall: aha chyba se vloudila, opravím
16:08 xstill spito: trochu
16:09 spito xstill: je to děsivý příklad, ale asi jsem něco vymyslel
16:11 xstill spito: no pokud bys nic nevymyslel tak máme smůlu protože já už bych to nestihl
16:11 xstill spito: povídej
16:11 spito nejprve si nainicializuješ krabice
16:12 spito tedy vyrobíš si matici NxN, kdy N je počet krabic
16:12 spito potom postupně vkládáš krabice po diagonále a začínáš v rohu
16:13 spito tedy 1. krabice je v matici jednou v rohu, druhá je tam dvakrát, třetí 3x, ....
16:14 spito vždycky, když na řádek vložíš první N-tou krabici, tak jí dáš příznak, že tahle krabice je na nejnižší možné poličce
16:15 spito a krabici můžeš vložit, pokud součet šířek poznačených krabicích na řádku nepřesáhne šířku skříně
16:16 xstill mornfall: http://paradise.fi.muni.cz/~xstill/dist/divineperf/divineperf-0.1.1.tar.gz by měl být v pořádku
16:16 xstill spito: poslouchám
16:16 spito tímhle si nageneruju množství různých kombinací poskládání krabic tak, že splňují kritérium šířky
16:16 spito má to složitost n*n
16:17 spito protože každou krabici vkládám maximálně tolikrát, jaký je její index
16:17 spito no a pak příjde druhá část, kdy to je potřeba pročesat
16:17 spito (a popravdě tady si nejsem jistý, jestli to je korektní)
16:18 spito resp. nenašel jsem si žádný protipříklad
16:18 xstill spito: bude potřeba důkaz
16:18 spito bereš krabice od nejnižší a koukáš se, kolik jich v matici je
16:18 spito pokud je tam jenom jedna, tak už s ní nemůžeš pohnout
16:20 spito pokud jich tam je víc, tak odstraníš krabici z toho řádku (police), kdy ti její odstranění nejvíc sníží výšku police - zatím je ale v polici naddimenzované množství krabic
16:23 spito pokud se odstranila poznačená krabice, tak je potřeba označit krabici na polici nad ní a odstranit všechny krabice, které by se tam nevešly na šířku
16:23 spito xstill: a sakra......asi to nebude fungovat.....
16:24 spito i když....
16:25 xstill spito: je to takové... zvláštní
16:25 spito já vim
16:25 spito ale jde o to, že máš n^n prostor a musí se nějak prořezat
16:26 spito zkoušel jsem tak nějak různé nápady
16:27 xstill spito: nemůžeš prostě to dělat tak že máš sekvenci krabic a teď se ptáš: jak umístit krabice od i optimálně tak, že na 1 police má déku X (zbylé jsou celé): 1. tak že umístím i na tuto polici a rekurzivně od i+1 (s X - šířka i); 2. tak že umístím vše od další pozice (X = šířka nové pozice)
16:28 xstill to by mělo vést na O(n^2)
16:33 spito no mě ještě napadlo, že si dáš na každý řádek jednu krabici a pak to zkusíš rekurzivně seskládávat - pro každý řádek v každém zanoření dáš jednu krabici (pokud to jde) o polici níž
16:34 spito tím ti vyjde strom grafů, kdy si můžeš pamatovat stav celého regálu (tohle je asi neoptimální, ale budiž)
16:34 spito ale nebyl jsem si jistý, jestli je tohle v O(n^k)
16:35 spito pro 3 krabice to  potÃ…â„¢ebuje 4 zanoÃ…â„¢ení, pro 4 je potÃ…â„¢eba 12, pro 5 28
16:37 spito xstill: hmm, ono to vlastnÄ› vede na n^2
16:38 spito tak jo, pou6iju tohle
16:38 spito mornfall: a ty z nás musíš mít tak akorát legraci :D
16:39 mornfall já to moc nesleduju :-P
16:39 mornfall hraju si s cabalem
16:43 spito xstill: jo, použiju tuhle svoji prvotní úvahu, ono to vychází celkem hezky
16:44 xstill spito: dobře, já zatím snad dodělám ty cestující, právě jsem si vyhodil 2 parametry z rekurzivní definice, zdá se že to nakonec jde řešit poměrně rychle
16:47 spito teď jenom jak anglicky říct regál tak, aby to nebyla police :D
16:48 mornfall cože? :-))
18:04 spito vyhledávání v množině je log(n), že?
18:10 mornfall Jak se to vezme. :-) Pokud máš lineární uspořádání tak jo.
18:32 spito safra, čas je tvrdá měna....
18:37 xstill sakra asi nedokážu dokázat úplně 3. příklad ale už fakt musím dělat prezentaci na zítřek jinak mě Jiřík vyhodí
18:40 spito no, masakr....že my dělali na tom divajnu :P
18:41 xstill člověk si nevybere něco by se stejně nestihlo
18:41 spito a mě ještě přijede Zuzka a bude chtít, abych se jí věnoval
18:41 xstill (teda pokud bysme nezačali včas)
18:41 mornfall divine ftw
18:43 spito mornfall: ty bys mi mohl zkusit poradit
18:44 spito mám matici
18:44 spito mám panáčky na jedné straně
18:45 spito a rekurzivně s mini po diagonále pochoduju od osy X k Y (třeba)
18:45 spito *nimi
18:45 mornfall No?
18:45 spito a mám problém vyjádřit indukci vůči tomuto
18:46 mornfall Co znamená rekurzivně? :)
18:46 spito to že si v každým zanoření projdu všechny panáčky a pošoupnu s nimi
18:46 spito a na každým pošoupnutí si opět zavolám rekurzi
18:47 mornfall to je obyčejnej cyklus ne?
18:47 spito tím se mi nagenerují všechny možné proložení
18:47 mornfall Cože? :)
18:47 mornfall Hm.
18:47 spito no něco jako prokládání vláken, ale nesymetrický
18:48 spito tzn ten, co je ve správným rohu, neujde ani snopel
18:48 spito a je to konečné délky všechno
18:49 spito napadá tě něco?
18:49 mornfall Jakože to je n^n jo?
18:49 spito jako že ukončení a složitost si udělám sám
18:49 spito a tu už mám hotovou
18:49 mornfall Teda panáčků je n aj strana matice je n?
18:50 mornfall No mně hlavně není jasný co ta rekurze dělá.
18:50 spito jop, jde to na n^n
18:50 spito ale díky ukládání mezistavů se to dá zredukovat na polynomiální čas
18:51 spito prostě (asi) klasický problém dynamického programování s Černou
18:51 mornfall No a co bys chtěl dokazovat?
18:51 spito heh.....
18:51 mornfall Jakože ten naivní n^n algoritmus něco (co?) spočítá?
18:52 spito je to příklad s krabicemi
18:52 mornfall Å¡katule hejbejte se
18:52 spito Vmˇestsk´em archivu se nach´az´ı krabic oznaˇcen ´ych ˇc´ısly 1,. . . . Tyto krabice je tˇ reba um´ıstit do
18:52 spito novˇe zakoupen´eho reg´alu tak, aby byla jeho kapacita vyuˇzita co nejl´epe. Krabice budou skl´ad´any
18:52 spito do polic v poˇrad´ı 1,2,..., . Police nemus´ ıb´yt zaplnˇen´e. V ´yˇska jednotliv ´ ych polic je nastavena
18:52 spito podle v ´yˇsky nejvyˇsˇs´ı krabice (tlouˇ sˇtku police zanedb´ av´ame).
18:52 spito V´yˇsku-t´ e krabice oznaˇc´ıme  a jej´ıˇs´ıˇ rku .
18:52 spito ˇ
18:52 spito S´ıˇ rka reg´ alu je.
18:52 spito ´
18:52 spito Ukolem je nal´ezt takov´e
18:52 spito rozm´ıstˇ en´ı krabic, aby celkov´ av´yˇska obsazen ´ ych polic byla minim´aln´ı
18:52 spito mornfall: super diakritika :D
18:52 spito achjo
18:53 mornfall Jo, zhruba rozumim.
18:53 spito a já musim vyzkoušet všechna rozumná proložení
18:53 spito to všechno mám napsaný, ale neumim přijít na indukci
18:53 spito kdyby tě něco trklo, tak zahoukej
18:55 mornfall Hej, to mi není jasný jak to počítáš. To by v P fakt nemělo jít.
18:55 mornfall A pseudo-P asi neznáte?
18:55 mornfall Stejně na to nejde moc použít, asi.
18:56 mornfall Nebo jde, ale bude to děsivě hnusný.
18:56 spito pořadí krabic má být zachováno
18:56 spito co je pseudo-P?
18:57 mornfall A to znamená něco jinýho než že nemůžeš dát krabici 1 na vzduch pod kterým pak bude krabice 2? :)
18:57 spito tzn dáš 1. krabici
18:58 spito pak se rozhodneš, jestli (pokud se tam vejde) dáš 2. kr., nebo ji šoupneš o jedno výš
18:58 spito a tohle rozhodnutí uděláš u každé krabice
18:59 spito ale protože se ti potom ten vygenerovaný storm možností opakuje, tak nebude úplně n^n, ale spíš tak n^3
18:59 mornfall Nemáš link na to zadání?
19:00 spito no a já teď musim pelášit, nelam si s tim hlavu, ale kdyby tě něco napadne, sem s tím :)
19:00 mornfall No, to bych prvně musel mít aspoň představu co se to snažíte řešit. :D
19:00 spito antea:home/xweiser1/naval/IB108_sada_2.pdf
19:37 spito mornfall: tak, jsem zpět....máš nějaký dodatek, nebo máš plno jiných věcí?
19:38 mornfall spito: Ani moc ne, jedině že bych se do toho pustil jinak než indukcí.
19:40 spito a co jiného by se dalo udělat?
19:42 spito jestli takhle od boku něco umíš střelit....
19:42 mornfall spor?
19:43 mornfall algoritmus postaví nějaké řešení, předpokládejme že existuje lepší
19:43 mornfall nevim :-)
19:44 spito he, dobrý nápad, to by i mohli uznat
19:45 mornfall tak, musíš to dovést k tomu sporu :-)
19:49 xstill sakra asi to bude bez prezentace
19:49 mornfall jakto? :)
19:50 xstill nestíhám a potřebuju si ten paper ještě jednou pořádně projít
20:10 mornfall no, mohlo to být horší (mohlo pršet)
20:11 spito není to v závorce out of context?
20:11 spito zrovna když celý den něco dělám, tak je lepší, když je hnusně
20:12 spito nenutí mě to koukat z okna
20:12 spito :)
20:12 mornfall to je standardizovaná průpovídka č. 3
20:13 mornfall původní scéna byla že nějací týpci kopou hrob a jeden si stěžuje a druhej říká že to mohlo být horší, že mohlo pršet... načež pršet začne
20:13 mornfall nebo tak něco
20:14 spito u za vlastní
20:14 spito beru za ....
20:16 mornfall a já se přehupnul za polovinu Noir... na to že na to koukám už přes rok ...
20:17 spito Co to je krom toho, že černý?
20:17 mornfall http://en.wikipedia.org/wiki/Noir_%28anime%29
20:18 spito když....mě anime nikdy moc nebralo...naposledy v pokémonech
20:18 spito (a to se nepočítá, to jsme neměli ještě počítač)
20:56 spito xstill: he, asi mě napadlo, jak to dokázat....
20:56 spito ale možná mě s tím i tak vyhodí
21:01 xstill spito: ni sepiš to, posoudí to oni
21:01 xstill *no
21:06 mornfall Hm. Překlepy v shellu jsou dost bolavý.
21:07 mornfall Jen když to Cabal API je tak hrozně zlý...
21:08 mornfall V podstatě cokoliv si vymyslíš že bys mohl chtít... to neumí.
21:08 mornfall Ani k tomu nejde znásilnit.
21:09 mornfall The following packages are involved in a dependency cycle text-0.11.2.3, test-framework-quickcheck2-0.3.0.1, test-framework-0.8, xml-1.3.13, test-framework-hunit-0.3.0
21:09 mornfall Bože.
21:09 spito cabal...to jsem už někde slyšel
21:13 spito co to je?
21:13 mornfall package manager from hell
21:13 xstill veselé
21:14 mornfall myslím že to je inkarnace motta „avoid success at all costs“...
21:14 xstill no ale nezbavíš se toho to je problém
21:15 mornfall Já bych mohl radši vymyslet jak na ty pooly.
21:16 spito takže hodilo by se ti, aby to bylo thread safe, všechno po kupě, rychlé aby to bylo
21:16 spito ....a naví aby půůl sám od sebe uměl rozpoznat, kolik ten blob drží vlastně dat
21:17 mornfall O to ani nejde, to je v podstatě jednoduchý. ;-)
21:17 spito co jsem to napsal?
21:17 mornfall půůl!
21:17 spito taky na to koukám
21:17 mornfall maž spát
21:17 spito asi blbá klávesnice....nebo už nevim
21:17 spito nemůžu, nemám dopsaný důkaz
21:17 mornfall tak se namaž a důkaz z tebe vypadne aj sám
21:18 mornfall já jen potřebuju nějak chytře zaonačit aby na sebe pooly viděly
21:19 mornfall ty který si maj mezi sebou umět dereferencovat bloby
21:19 mornfall což sice generátory si šoupou blueprint
21:19 mornfall ale je to hrozně ne-elegantní
21:19 mornfall a nechce se mi hrabat na shift... degnerace
21:19 mornfall degenerace*
21:22 spito svinÄ› kaktus
22:04 xstill mornfall: hydra uswapovává annu
22:24 spito xs
22:25 spito xstill: jsi tu ještě?

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