Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-08

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

All times shown according to UTC.

Time Nick Message
06:35 spito joined #divine
08:13 xstill mornfall: asi neexistuje žádný principiální důvod proč by se měla NTree rozsehat na dvouvláknovem nested-dfs?
08:15 xstill (ono se to totiž rozseká na assertu v Timed generátoru, že je nevalidní matice
08:17 xstill spito: to ty jsi vypnut shared i pro nested-dfs?
08:19 xstill zajímavé, když jsem to pustil nad shared tabulkou tak to zatím nepadlo
08:19 xstill aha tak jo
08:19 xstill to bylo jednovláknové
08:25 spito xstill: nesteddfs by nad shared vůbec běhat nemělo, ne?
08:25 spito to potřebuje procházet do hloubky
08:26 xstill spito: no ono totiž běží s DFS vistorem tak, že první vlákno přidává a druhé jen čte
08:27 xstill ono by se pak snad dokázalo i zvětšovat, i když nevím no
08:27 xstill no já už jsem si ověřil že race v tabulce to nebyl (skusil jsem tam zapnout shared)
08:28 xstill otázka teda je co za bordel to udělalo v inicializaci
08:29 spito nestedDFS ani nepoužívá instanciaci normálních visitorů
08:29 xstill (stejně je to hack to dvouvláknové NDFS)
08:29 xstill spito: to je taky fakt ono asi kašle na to co má za visitora v setupu
08:29 spito to o hacku řekni mornfall-ovi, dělal na to bc
08:30 spito nested DFS prostě použije DFV visitora a šmitec
08:30 xstill myslím že tohle navrhnul Holzmann
08:31 xstill je to mám pocit ze spinu
08:33 spito to paralelní?
08:33 xstill jo
08:35 xstill ach jo, zase stejný problém asi
08:35 xstill sdílený Pool
08:35 xstill (protože je jen 1 generátor)
08:36 spito u nested dfs?
08:36 spito toho paralelního?
08:36 xstill jo
08:36 xstill ono všude jinde to funguje protože generátor obsahuje pool a on se od něj vezme v insertHinted
08:36 xstill ale v ndfs je jen 1  generátor
08:37 xstill paradoxně by to asi fungovalo kdybych nevyhodil ten fetch
08:51 spito hehe, píšou nám až z pákistánu
08:56 xstill sem si všiml ale nečetl jsem to
08:59 xstill chudák, neví že když se podívá do divine tak bude mít zážitek na celý život
08:59 spito právě
08:59 spito chce volat funkce z divajnu
08:59 xstill to není vůbec jednoduché
09:00 spito ono to ani nejde
09:00 xstill spito: to není pravda
09:00 xstill bych mu asi dokázal poradit
09:00 spito to je taky pravda
09:01 xstill mornfall asi spí takže mu psát nebude
09:01 mornfall nespí
09:01 spito i když nevim, jestli se špatně nevyjádřil a nestačil by mu manuál
09:01 spito brýránko
09:01 mornfall :-)
09:01 xstill mornfall: a budeš mu psát?
09:02 xstill nebo jsou veřejné vztahy jen na Jiříkovi?
09:02 mornfall Veřejný vztahy jsou na tom kdo odepíše první.
09:03 xstill já bych klidně i tomu člověku napsal
09:03 mornfall Tak mu napiš, cc na divine@
09:03 mornfall On je hlavně trochu zmatenej. :)
09:03 xstill no tak ono z toho úplně neplyne co chce
09:03 spito no, mě přijde, že chce manuál
09:04 xstill to se uvidí
09:04 xstill jak moc formálně na něj mám jít, je možný začít Hello Tariq, ?
09:05 spito jiřík psal: Hi Hao
09:05 spito takže možná jo
09:46 xstill mornfall: to dvouvláknový nested-dfs s NTree se asi nedá nějak rozumně vyřešit
09:53 xstill a nebo možná jo, vytvořím read-only DFV visitora, co nebude moct přidávat do tabulky
09:53 xstill (přidám ti jeden šablonovej parametr k visitor::Common)
10:09 mornfall xstill: Určitě dá. :)
10:09 mornfall No, on ten inner loop nikdy nic nepřidává.
10:09 mornfall inner dfv
10:10 xstill mornfall: jo právě
10:10 xstill jsem přišel na to že to půjde
10:10 mornfall já bych mu dal vlastní generátor a dál to neřešil
10:11 xstill to testuju
10:13 xstill problém čílo 2, ono je potřeba aby se to taky dalo poskládat
10:14 mornfall No, store to může (musí) mít společnej.
10:14 mornfall Hmm.
10:15 mornfall Aha. :D
10:15 mornfall Chápu.
10:15 xstill ono to bere Pool z storu, tedy asi z grafu
10:15 xstill což je na nic
10:15 xstill leda by inner měl vlastní graf
10:16 mornfall 12:10 (@ mornfall ) já bych mu dal vlastní generátor a dál to neřešil
10:16 mornfall Jenže store, žejo.
10:17 mornfall Vlastní graf může klidně mít.
10:17 xstill aha vidíš jsem četl něco úplně jiného a ještě jsem ti odpověděl že to dělám a zatím jsem dělal read-only visitor :-D
10:22 xstill hmm kdyby běžel nad shared tak může mít každý svůj store, ale bude se to blbě instanciovat
10:22 xstill (a může to být pomalejší protože spin-lock)
10:22 xstill (ale zase by to mohlo růst)
10:23 mornfall No, to by asi bylo nejlepší.
10:23 mornfall Jen je potřeba namergovat tu novou SharedHashSet taky.
10:23 mornfall Teda shared store, nikoliv shared visitor.
10:23 xstill no jasně že store
10:24 xstill namergovat je to potřeba proč?
10:24 mornfall No, jen proto že teď to funguje furt dost mizerně. :-)
10:24 xstill to asi neuděláme před 20.
10:24 xstill no tak zatím bude doporučeno tomu dávat -i
10:24 mornfall Uvidíme.
10:25 mornfall 20. je ještě daleko. Dneska na divine spíš čas nemam, ale to přijde.
10:25 xstill no to leda že bys to dal dohromady ty no
10:26 xstill já byc možná skusil zapnout ten shared nested-dfs to by mělo jít rychle
10:26 mornfall Zkus.
10:32 spito já udělám úpravu tabulky, aby to bylo kompatibilní s ntree kompresí
10:32 spito ale až budu mít dopsáno :)
10:33 spito hehe, ono mi to škáluje
10:33 spito trochu....
10:34 mornfall spito: Ty seš horší než ženská co oškubává sedmikrásky a ptá se jestli ji miluje.
10:35 spito eh....asi jo
10:35 spito ale stejně to není úplně super
10:35 spito na 32 vláknech je fisher7 pomalejší než na 24
10:36 xstill co říká system-time? a perf?
10:36 mornfall Ono by bylo mnohem lepší kdybys to nějak systematizoval. :)
10:36 mornfall Takhle jsou to takové výkřiky do tmy.
10:37 spito systematizoval jako jak?
10:37 spito udělat víc testů, pěkně zvedat počty vláken
10:37 spito a udělat to pro víc modelů?
10:38 mornfall Třeba.
10:38 mornfall Teď teda aspoň vidíte k čemu (by) byl dobrý fungující a spolehlivej benchmark tool. :-)
10:39 xstill mornfall: nemusíš to ani říkat, já už jsem si za to vynadal před týdnem
10:40 spito vlastně bych mohl použít to udělátko
10:40 xstill to bys měl, já ho taky používám
10:41 xstill jen jsem ti trochu znásilnil config tak se podívej na aura:dve_executor_thesis/config.conf jak to má vypadat v tom co je v svn
10:42 xstill mornfall: co dělá to  this->initGraph( *this )
10:42 mornfall g->read, g->useProperty, ...
10:42 mornfall algorithm/common.h:106
10:42 xstill aha tak on už dokonce má vlastní graf koukám
10:43 mornfall No, vlastně jo, protože graf není threadsafe, žejo.
10:43 mornfall :-)
10:44 xstill proč je tam sakra store a pak se nepoužije?
10:45 mornfall protože kdyby se použil tak to nemůže fungovat :-)
10:46 xstill tak proč tam je?
10:47 mornfall To je asi nějaký pozůstatek něčeho. On to je jen nullptr ne?
10:47 xstill no je
10:48 mornfall // TODO create a standalone store as well!
10:48 mornfall heh. :-)
10:48 mornfall asi proto tam je...
10:49 xstill no já to opravím
10:51 xstill mornfall: proč Allocator::setPool bere ten Pool hodnotou?
10:51 xstill to tam pak nemusí ten set být ne?
10:51 mornfall Protože to je jedno, stejně z něj chce vytáhnout jen pointer na shared.
10:51 mornfall Teda na Lake.
10:52 xstill aha tak, to není vůbec jasné
10:53 mornfall To je totiž to co dělá kopírovací konstruktor Pool-u.
10:53 mornfall Prostě vyrobí nový pool se stejným Lake-em.
10:53 mornfall Resp. nový Dereference/Wharf.
10:53 xstill co znamená Wharf?
10:54 mornfall n 1: a platform built out from the shore into the water and
10:54 mornfall supported by piles; provides access to ships and boats
10:54 xstill aha molo
11:04 xstill zdá se že to funguje
11:11 xstill nějaký malý model kde nepatí LTL?
11:11 xstill už mám
11:28 mornfall xstill: Pošleš patche pak?
11:28 xstill jo, ale teď cyklí
11:29 mornfall Aha. :-)
11:40 xstill mornfall: co se stane když udělám fetch na něco co tam není?
11:41 mornfall xstill: Měl bys dostat nic.
11:41 xstill takže invalid?
11:41 mornfall J.
11:41 mornfall std::tie( found, had ) = this->table().getHinted( s, h ? h : hash( s ) );
11:41 mornfall return isNew( found, had );
11:44 xstill ok
12:21 xstill veseké inner loop se pokusil něco vložit
12:24 mornfall je možný že je rozbitý DFV?
12:24 xstill nevím, budu to zkoumat
12:24 mornfall Jako teda on volá store() ale mělo by to vždycky vrátit že to tam už je.
12:57 xstill Store::fetch() vrací isnew obráceně
13:04 xstill už to necyklí
13:04 xstill ale padají některé timed testy
13:06 mornfall xstill: To je proto že getHinted / insertHinted to vrací obráceně, ne docela intuitivně. :-)
13:06 xstill no jo, opravil jsem to fetch
13:06 mornfall Já asi časem celý IsNew protlačim až do tabulek.
13:06 mornfall Tím se to sjednotí.
13:07 xstill hmm ten timed je ale víc špatně, ono to totiž padá i na reachability bez komprese
13:07 mornfall Tohle už je druhej bug co těma boolama vznikl.
13:07 xstill proč sakra běží reachability nad LTL v testech?
13:08 mornfall Proč ne?
13:08 mornfall To je úplně legitimní, žejo. :)
13:09 xstill je to nějak strašně rozbitý i tam kde jsem do toho nehrabal
13:09 xstill máš u sebe needitovaný mainline kde bys mohl zkusit jestli projdou testy?
13:10 mornfall Jo, můžu to zkusit.
13:11 xstill díky
13:11 mornfall asi to chvíli potrvá, musí se to celý buildnout
13:11 mornfall (a vedle běží build gcc)
13:12 xstill WTF report říká Algorithm: Reachability a test ### Expected Algorithm = 'OWCTY' but got 'Nested DFS' instead
13:12 xstill proč builduješ gcc?
13:12 mornfall Jo, to jsem taky někde zachytil, v hydře.
13:12 mornfall Protože jsem změnil glibc. :-)
13:12 mornfall Takže teď se všechno musí rebuildnout.
13:12 xstill aha
13:13 xstill ty testy jsou ve strašným bordelu
13:14 mornfall No, třeba u těch timed příkladů chybí několik volání "check clear".
13:15 mornfall (Teda dvě, před obouma zeno.xml testama.)
13:16 xstill co to zanamená?
13:16 mornfall No, že pokud by ten další test zvládl nevyrobit report, tak tam zůstane ten předchozí.
13:17 xstill aha
13:17 mornfall To může být docela matoucí.
13:17 mornfall I když teda tohle by asi neměl být tenhle případ.
13:20 xstill jdu to buildnout bez timed a uvidím jestli je problém jen tam
13:21 mornfall No, lokálně mi to moc nepadalo, ale já mam timed vypnutý většinou.
13:26 mornfall Tady prošlo aj NDFS dokonce. :-)
13:27 xstill máš vypnutou komresi
13:27 mornfall Jistě.
13:27 xstill pak projde no
13:27 mornfall Teď jede reachability.
13:27 xstill to -D už funguje?
13:27 mornfall Jo, prošlo.
13:27 mornfall MPI popadalo.
13:27 mornfall Ale to je skoro s podivem že to vůbec jde přeložit. ;-)
13:28 mornfall metrics-shared umřelo
13:28 mornfall parse error in context i: expected valid token at line 1, column 1, but seen INVALID ''
13:28 mornfall :D
13:29 mornfall Zdá se že -D tak docela nefuguje.
13:29 mornfall nefunguje*
13:31 xstill zajímavý teď mi map a reachabilty prošlo
13:32 xstill to je bordel když jsem spustil s T=nested tak to padlo, teď to prošlo
13:33 mornfall :-)
13:33 mornfall Asi to padá jen občas.
13:36 xstill super
13:37 mornfall Já si totiž nevšim že nemám boost.
13:38 mornfall Proto to funguje. :-)
13:38 xstill no on si ho cmake na nixosu neumí najít
13:39 mornfall Tak ještě jednou.
13:39 mornfall Aspoň si vypnu MPI.
13:48 mornfall Jinak se zdá že bude aj to IPMI pro annu.
13:48 xstill dobré
13:49 xstill jak se s dot-u generuje obrázek?
13:49 mornfall dot :D
13:49 mornfall dot -Tpng
13:49 mornfall nebo podle toho jakej chceš obrázek
13:50 mornfall -Tsvg, -Tpdf etc
13:51 xstill aha a takový to že se to rovnou zobrazí se dělá čím?
13:51 xstill aha xlib
13:51 mornfall nebo x11
13:52 mornfall scrollovátkem v tom můžeš aj zoomovat dokonce :-)
13:52 xstill super :-)
13:53 mornfall (a chycením středním tlačítkem se posouvat...)
13:53 mornfall trvalo mi několik let než jsem na to přišel ;-)
13:53 spito já vim, že se na to ptám už po několikátý, ale který modely z BEEMu jsou rozumně velký?
13:54 mornfall spito: Začal bych tím co bylo v tom ltsminu na slajdech?
13:54 spito mornfall: ty zkoušim, ale protože většina končí tak nějak do 30s
13:54 spito tak to jaksi nemá cenu zkoušet škálovat
13:54 mornfall no, proč nemá?
13:54 mornfall jim to škáluje, nám musí taky :-)
13:55 spito no, tak oni mají naškálovaný například bakery
13:56 spito má cenu se zabývat modely, který se verifikují řádově sekundy?
13:56 spito ani to ne?
13:56 mornfall sekundy už asi fakt ne
13:57 mornfall ale desítky třeba i jo
13:57 spito jasný, fischer 7 měřím
14:01 xstill mornfall: zkoušel jsi ty testy timed?
14:01 mornfall No, zatím to běží.
14:03 mornfall == 14 out of 18 passed (total of 876 subtests passed). 4 tests skipped.
14:03 mornfall Padlo jen draw a LLVM testy protože jsem mu dal blbou cestu k ar.
14:04 mornfall draw si nerozumí s -D kdovíproč
14:04 xstill zajímavé, u mě to padá v timed
14:05 mornfall Otázka je, na čem to padá?
14:05 mornfall Co to je za assert?
14:05 mornfall (A furt mám vypnutý ntree teda.)
14:05 xstill poušítm to ještě jednou celé
14:10 mornfall Máš tam TBBMALLOC btw?
14:10 xstill padá všechno
14:10 xstill mornfall: snad jo
14:13 xstill jo mám, jsou tam tbb symboly
14:15 mornfall A padá to aj bez toho?
14:15 xstill no to může otestovat, máš podeření že je špatnej?
14:16 mornfall Ani ne, ale bylo by trapný kdyby to bylo tím.
14:17 xstill to by bylo
14:17 mornfall Achjo, co to ten Erbureth zase zbastlil.
14:19 mornfall ten preprocessor je složitej jak rádio :-)
14:25 xstill padá to i bez tbb
14:33 mornfall load 5 a začíná mi lagovat laptop
14:35 xstill co vlastně tohle číslo přesně zamená
14:35 xstill ?
14:38 mornfall to je průměrnej počet procesů ve frontě scheduleru
14:38 mornfall takže 5 znamená, že v průměru čekají 4 procesy nečekají na nic jinýho než na CPU
14:39 mornfall Teda, 3, protože mám 2 cory.
14:39 xstill aha
14:41 xstill mornfall: můžu ti poslat ty patche? i když nevím proč to padá
14:41 mornfall Pošli.
14:43 xstill mělo by to tam být
14:59 spito cesmi rozhraní je náš výrobek, že?
15:04 mornfall Je.
15:04 mornfall Jdu cvičit, vrátim se.
16:05 spito xstill: umíš se dostat na  antea:/home/xweiser1/bc/text/bc.pdf ?
16:08 mornfall Jsem zdecimován.
16:08 spito čím?
16:08 spito během?
16:10 mornfall Ale kde...
16:10 spito hraním?
16:10 mornfall Lucka je doma. :) A taky jsem si dal zápas s trávníkem.
16:10 spito jo....
16:10 spito aha
16:10 spito no....
16:10 spito pozdravuj ji
16:10 spito :)
16:11 mornfall Je někde venku.
16:11 mornfall Asi zametá tu trávu co je úplně všude. :D
16:11 spito ten pozdrav snad udržíš (a nebudeš jako já - jsem snad nevyřidil ani jeden za život)
16:11 mornfall Ona si to nejspíš přečte. :-)
16:11 spito máš nějakou hustokrutopřísnou sekačku?
16:11 mornfall Ne, úplně obyč ruční einhell.
16:12 spito kosa?
16:12 mornfall Ale není úplně lehká a jak si člověk odvykne...
16:12 mornfall Ne, elektrická strunová.
16:12 spito jo tahle
16:12 mornfall Kosa by teoreticky byla fajn, ale to bych s ní prakticky musel umět.
16:12 spito hele to není těžký
16:13 spito já to například zvládnul a to jsem fakt levej na všechno
16:14 spito jediný, co je těžký, je dát si pozor, aby sis při broušení nepřefiknul nějaký šlachy
16:14 spito kamarádovi se to povedlo
16:14 spito je rád, že s těmi prsty může hýbat
16:14 mornfall to by mě asi dost naštvalo no
16:14 spito dostaneš se na anteu do složky co jsem ti psal?
16:15 spito to chápu...a brousí se většinou pravou
16:15 mornfall Jistě, jsem root. Ale aj jako uživatel jo.
16:15 mornfall To je docela jedno, já potřebuju úplně všechny prsty.
16:15 spito takže to by bylo velmi nepříjemné
16:15 spito jasný....drž se od kosy dál ;)
16:16 spito mornfall: myslíš, že to zvládneš přečíst dnes?
16:16 mornfall Je to možný, budu se snažit.
16:17 spito :)
16:18 mornfall xstill: Ta tvoje declaration je to z webu fi, co?
16:26 mornfall xstill: 2.2.1 je asi fakticky nesprávná, minimálně teda v tom s těma fixníma stavama
16:26 spito mornfall: tak jsem si všiml, že nemám dopsaný popis té poslední zvětšovací tabulky, ale spíš mě zajímá, jestli je správně forma popisu, což lze poznat i z popisu ostatních tabulek
16:29 mornfall xstill: avare -> aware
16:29 mornfall a hyphen předtím
16:41 mornfall xstill: Jo, a leafs je sice technicky správně, ale fakt se to nepoužívá :) běžně se píše leaves
17:01 mornfall xstill: Fakticky aj obsahově je to dobrý, možná by to sneslo update VertexId -> Handle.
17:01 mornfall xstill: Ale ten jazyk by zasloužil vylepešit.
17:02 mornfall spito: A ty si oprav neslabičné předložky na koncích řádků, hned mě to praštilo do očí.
17:05 mornfall spito: A to /program counter/-ů je zvěrstvo. :D
17:10 spito mornfall: typografie se bude opravovat jako poslední, už i Jiřík mi to říkal
17:10 spito ty program countery mám úplně vyhodit?
17:12 mornfall Tak, ono to fakt kole oči. :-)
17:13 spito kole oči? parse error
17:13 spito klove? kope do?
17:13 spito koulí?
17:17 mornfall On ten idiom asi česky ani neexistuje.
17:19 mornfall Ale bylo by to klovat kdyby to bylo. :-)
17:22 mornfall jdu chvíli cvičit, pak si to přečtu
17:34 spito xstill: ne, teď ne vláďo
17:34 spito budeš mít zkreslené časové výsledky
17:35 spito taková na zamyšlení - je validní dát do tabulky výsledných časů jen ten nejlepší?
18:18 xstill přišel jsem z venku, čtu backlog
18:18 spito 4 hodinky...jsi dobrý :)
18:19 xstill co?
18:19 spito tak měl jsi 4 hodiny neaktivitu
18:20 spito tak jsem předpokládal, že jsi byl 4 hodiny venku
18:20 spito a to jsi dobrý, já byl venku tak hodinku, ani ne
18:20 xstill podle mého logu od tak od 17:45 ale jo, jenže já neběhám já jen chodím
18:21 spito he, já byl venčit myšky na dvorek :D
18:21 xstill aah
18:21 xstill *aha
18:21 xstill mornfall: ad 2.2.1 provedu detailnější průzkum
18:22 xstill mornfall: ad VertexId -> Handle, tam jsem plánoval přiložit k tomu verzi bez Lake, než jsi mi to překopal, aby to bylo skutečně to co jsem vytvořil já
18:23 xstill jazyka asi není úplně ideální no
18:23 spito :D
18:24 xstill mornfall: to Modeling-language-aware má mít pomlčky takhle všude?
18:26 xstill mornfall: declaration je z fithesis2, je nějak špatná?
18:28 xstill spito: neslabičný předložky v češtině řeší vlna
18:29 spito 19:10spitomornfall: typografie se bude opravovat jako poslední, už i Jiřík mi to říkal
18:29 spito a o tom vím, ale stejně dík :)
18:29 spito (a správně předpokládáš, že to nevim)
18:30 xstill mám pocit že k tý věci nejsou binárky a že jsem si ji na win buildil ;-)
18:36 Erbureth joined #divine
18:36 xstill mornfall: ad automaty, je fakt teda že asi není důvod aby se nedali tím reprezentovat i různě dlouhý stavy, on jenom Hozmann v tom paperu se zabývá jen fixními. To mi mohlo dojít.
18:51 mornfall S tou asociativní mapou fakt nevim, ale to by taky mohlo jít ohackovat, ale určitě by to dost stratilo na efektivitě.
18:53 spito mornfall: Ztratilo ;)
18:53 mornfall Jo, ztratilo.
18:54 xstill mornfall: budu to muset nějak přeformulovat
19:04 xstill mornfall: co se ti nezdálo na té deklaraci?
19:05 mornfall Že to je úplnej jazykovej úlet. :-)
19:05 mornfall Třeba work out by šlo volně přeložit jako vykoumat.
19:06 xstill nojo mě se nechtělo nic vymýšlet
19:07 xstill akorát teda zase ta deklarace takhle není můj text, tak nevím jak se k tomu má přistupovat
19:07 mornfall Okopíruj tu moji, ta taky není nic moc, ale aspoň to neporušuje Ženevskou úmluvu. :-P
19:08 xstill co?
19:08 mornfall Ta verze od studijního vypadá jako nepovedenej strojovej překlad.
19:08 mornfall Ále nic, hyperbola.
19:09 xstill no tak jo
19:09 xstill co ty ostatní věci co jsem ti odpovídal?
19:10 mornfall xstill: VertexId nedbám, může klidně zůstat
19:11 mornfall xstill: modeling-language-aware jako přídavné jméno by mělo být takhle, jo
19:12 xstill ok
19:13 xstill mornfall: co si myslíš o obsahu, je to dostatečné?
19:13 mornfall Jo, obsah je OK. Předpokládám že doplníš zbytek dat.
19:14 xstill jo no, data čekají na měření bohužel
19:15 xstill mornfall: myslíš že je potřeba u všech měření uvádět i čas?
19:15 spito xstill: tak můžeš ukázat, že zpomalení není velké...
19:16 xstill spito: to můžu, tak kde není ;-)
19:16 xstill na timed mám u sebe zpomalení 2% třeba
19:16 xstill ale na dve je to mnohem víc
19:17 xstill což je problém protože tam to ani moc nekomprimuje
19:20 spito mornfall: aktualizoval jsem si pdf
19:21 spito to kdybys náhodou už začal číst....
19:21 xstill a hlavně teda na dve mi chybí data
19:26 mornfall xstill: Není to nevyhnutný.
19:27 mornfall spito: Ten úvod by to chtělo napsat nějak úplně jinak.
19:28 mornfall Ta obsese program countrem je fakt nezdravá. :)
19:28 spito hej, ale zase na druhou stranu to pochopila i Zuzka
19:28 spito (ale musel jsem ji vysvětlit, co je to graf)
19:29 xstill mornfall: no uvidím, a teda nějak musím vymyslet jak tu tabulku sázet aby se tam vešla, už teď je ve \scriptsize
19:29 mornfall xstill: Na šířku?
19:29 mornfall Už teď se tam nevejde. ;-)
19:29 xstill no právě
19:30 mornfall Já bych jednak zrušil přesný počty stavů (stačí v K/M na jedno desetinný místo).
19:30 xstill ale zmenšit písmo už nepřipadá v úvahu to bych k tomu musal dodat lupu
19:30 mornfall Druhak bych zrušil ".xml" a pokrátil názvy.
19:30 xstill to by šlo
19:30 xstill jo
19:31 mornfall A procenta stačí na 3 platný místa.
19:31 mornfall (113, 63.5, 9.18)
19:32 mornfall Paměť v MB.
19:32 mornfall (Max na jedno desetinný...)
19:33 xstill taky fakt
19:33 spito mornfall: opět změna v pdf, ale pouze v sekci 3.3.4
19:33 xstill s tím si pohraju
19:33 spito *4.3.4
19:35 mornfall spito: Pokud chceš ten úvod koncipovat z „programátorskýho“ hlediska, tak se zkus inspirovat poslední sekcí v manual/llvm.mdwn.
19:36 spito mornfall: a je to vyloženě obsahově špatně, nebo je to jenom nevhodné?
19:37 mornfall spito: je to zavádějící
19:37 mornfall A vztah předek-následník je definovaný kruhem.
19:38 mornfall Protože dosažitelnost se definuje pomocí hran, takže když definuješ hranu podle dosažitelnosti, tak to moc nedává smysl.
19:38 mornfall Jo, a negenerují se zdaleka všechny možné stavy, ale jenom ty dosažitelné.
19:40 mornfall konkurentní běh asi fakt nejde říct
19:41 mornfall A není jasné co znamená škálovat.
19:41 mornfall A používáš zbytečně anglická slova i tam kde existuje český ekvivalent.
19:44 mornfall Přístup k tabulce není správa paměti (kapitola 3 první strana).
19:46 mornfall (a kód je snad i hromadný)
19:52 mornfall nalezení a vyhledání -> jedno z toho asi mělo být vložení
19:54 mornfall a konkurenční prostředí je na trhu, ale ne v divinu :D
20:00 mornfall operátor hranatých závorek je indexace
20:05 spito mornfall: správa paměti je tedy asi něco jiného než to, že mi nikdo nebude hrabat na píseček, že?
20:05 mornfall správa paměti je malloc, free, případně stránkování
20:05 spito správa dat je tedy asi lepčejší
20:08 mornfall No, tak jsem to dočetl.
20:09 mornfall První dojem je, že ten text kolíše od škrobeně formálního až ke slangu, občas v rámci jediné věty.
20:10 mornfall A druhý, že je hodně technický a chybí tomu kontext -- neznát jej, tak jsem polovinu času ztracen.
20:12 mornfall xstill: Ty si na to asi taky ještě dej pozor.
20:13 xstill mornfall: na co, na kontext?
20:13 mornfall Bylo by dobrý to projít a u každého konceptu, třídy, etc. se ujistit, že je to buď věc obecně známá, nebo je v tom textu už dříve popsaná.
20:15 xstill ok
20:16 spito mornfall: já jsem se snažil tam všechno popisovat, je něco, co si pamatuješ, že je nedostatečně/vůbec (ne)popsané?
20:16 mornfall xstill: U tebe mi nic takového vysloveně do očí neudeřilo, ale zase je riziko, že to je čistě proto že to znám i když je to dost divine-specific.
20:17 xstill no jo, já si to pro jistotu projdu
20:17 mornfall spito: Třeba strana 7, "děděním z obecné třídy Common a použitím fonty ..."
20:17 mornfall fronty*
20:18 mornfall spito: Taky není jasný co je hash uzlu.
20:25 spito chjo, to jsem si myslel, že tyhle věci jsou jakože už známý
20:27 mornfall Tak, co je obecná třída Common netuší ani divá sviňa.
20:27 spito to je mi jasné
20:27 spito to bylo mířený na ten hash
20:27 mornfall A hash uzlu není jasnej, protože není jasný co je uzel.
20:30 xstill aura ze mě bude mít radost
20:30 mornfall Taky strana 5, první výskyt "komunikaci mezi jednotlivými instancemi" -- instancemi čeho, co je instance?
20:31 mornfall Jo, a teď jsem si všiml, ukládání do hashtabulky není z důvodu stavové exploze.
20:32 spito tak stavovou explozi tam popsanou mám
20:33 spito str. 4, konec 1. ods
20:33 spito ale pravda, není to přesný popis
20:33 mornfall To je klidně možný, ale to nemění nic na tom, že stavová exploze není důvod proč se používá hashovací tabulka.
20:33 spito to bych šéfe řekl, že je asi rychlost
20:34 mornfall No, pokud bys řekl že se používá hashovací tabulka a ne binární strom protože rychlost, tak to je smysluplný.
20:35 mornfall Jinak ta hashovací tabulka je prostě implementace množiny, resp. v případě divinu asociativního pole.
20:35 mornfall s/pole/mapy/ cokoliv :)
20:37 mornfall No, zamysli se nad tím, já jdu do postele. Zítra budu dopoledne někde kolem FI, kdyby někdo chtěl něco osobně tak napište, ale kolem poledne zase snad zmizím.
20:47 spito oka
20:47 spito dík
21:13 spito xstill: tobě tam ty testy asi taky pojedou dlouho, co?
21:30 spito left #divine

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