Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-19

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

All times shown according to UTC.

Time Nick Message
01:02 spito left #divine
05:19 xstill joined #divine
06:50 xstill1 joined #divine
06:51 xstill1 left #divine
08:50 xstill mornfall: haló? Spíš?
10:06 spito joined #divine
11:23 xstill mornfall: haló?
13:13 mornfall Brýtro.
13:13 mornfall Spal jsem, no.
13:13 mornfall Už mnoho hodin.
13:13 mornfall updatoval jsem /tmp/xstill-thesis.tex
13:14 mornfall V 11 jsem usnul a vzbudil se teď. :-)
13:14 mornfall To je asi 16 hodin co?
13:15 xstill mornfall: sorry že tě budím
13:15 xstill a díky za tu revizi
13:16 mornfall Nebudíš, po IRCu to nejde. :-)
13:17 mornfall A mobil mám vypnutej.
13:17 mornfall extended atributy nevím, je tam teď nfs3
13:17 mornfall Ve třetím pádu nemám konsensus.
13:18 mornfall Ročkaimu nebo Ročkaiovi
13:18 mornfall To první je asi trochu víc správně.
13:20 spito komu? Petru Ročkaimu.
13:20 spito To zní divně
13:21 mornfall No, v češtině jo. :)
13:22 mornfall Slovensky by to bylo Petrovi. A vůbec. To jméno je prostě divný.
13:24 xstill mornfall: tobě se nelíbí "vast state-spaces"?
13:26 mornfall No, je to dost expresivní. :)
13:26 mornfall A nehodí se to do každý věty.
13:27 mornfall To je dobrý když to chceš trochu zdramatizovat.
13:27 xstill ok
13:30 spito mornfall: tak po konzultaci s babičkou tě nemám skloňovat
13:30 mornfall lol
13:31 spito máš prý pošmodrchané jméno
13:32 mornfall No ono má maďarskou koncovku.
13:32 spito takže tě neskloním
13:33 mornfall Slovensky si můžeš vybrat, -ovi je „fonetické“ skloňování, protože to je to co bys použil kdyby to končilo na -j.
13:33 mornfall A -mu je „pravopisné“, protože to končí na -i. :)
13:35 mornfall U Marečka bude nejspíš docela fronta. :D
13:35 mornfall xstill: Cos to vůbec původně potřeboval? :)
13:36 xstill mornfall: no chtěl jsem se tě zeptat jestli máš jsi se díval na tu druhou část...
13:36 xstill tý frony se docela obávám...
13:37 spito xstill: já tam půjdu cca na půl 8 do fronty :D
13:37 xstill spito: to je asi docela rozumný
13:38 spito mornfall: budeš ale nakonec Ročkaiovi, babča změnila názor
13:41 mornfall xstill: Ale nedojel jsem do konce.
13:41 mornfall Najím se a vezmu to od konce nebo něco. :)
13:44 xstill mornfall: díky
13:58 Erbureth joined #divine
15:16 mornfall xstill: update (zbývají asi 4 sekce z kapitoly Tree compression)
15:16 mornfall Jdu nakupovat. :-)
15:17 xstill mornfall: díky
15:18 mornfall Kdyžtak si to zatím projdi ještě sám a updatni svoji verzi na anně, já se pak kouknu do toho.
15:32 xstill ok
16:00 xstill teď je tam aktualizovaná verze (v mém home)
16:08 spito x
16:09 spito xstill: jak přemýšlím nad tou 3. úlohou, tak ona bude mít taky složitost O(V*E), ne?
16:12 xstill nevím já nad tím nepřemýšlel
16:13 mornfall spito: To je podle zadání moc.
16:13 spito to já vim
16:14 spito he, ale pokud by to bylo v O(V*V), tak je to OK, ne?
16:15 mornfall Ono na to stačí pustit dijkstru...
16:15 Erbureth zdar
16:15 mornfall :-P
16:15 spito Erbureth: no nazdar draku
16:15 mornfall Ale jde to ještě líp.
16:15 Erbureth mornfall: mrkneš se mi prosím na poslední patch?
16:15 mornfall Erbureth: Jj, už jsem ho četl.
16:16 mornfall Ale teď jím, potom se na to dokoukám.
16:16 Erbureth ook, thx, dobrou chuť
16:16 spito mornfall: a to jde, když hrany mohou být ohodnocené v R
16:16 spito ?
16:17 mornfall Ha, R.
16:17 mornfall To je solidně zákeřný.
16:17 spito právě
16:18 spito po uvážení p. Černé nebudou v grafu záporné cykly, což by nám ani nevadilo
16:19 mornfall To by asi zrovna vadilo.
16:20 spito úvaha: beru postupně jeden vrchol po druhým a počítám pro něho vzdálenost od S tak, že se kouknu na všechny sousedy a jejich vzdálenost a vyberu si toho, který má do S nejkratší cestu a zároveň je ta cesta semimonoténí
16:20 spito spočítané vrcholy si ukládám
16:20 spito tedy složitost by měla být O(V*E)
16:21 mornfall Tzn. Bellman-Ford?
16:22 mornfall Aha ne, tohle má sice stejnou složitost ale navíc to nefunguje. :)
16:23 spito proč by to nefungovalo?
16:24 mornfall Vyberu v první iteraci X. Co teď? :)
16:24 mornfall Žádný soused není S, a nevím co dál. :)
16:32 mornfall Hm, on ten graf nemůže obsahovat negativní cyklus ze zadání, protože pak by neexistovala semimonotonní cesta taková že je nejkratší. ;-)
16:39 spito mornfall: pokud není vrchol spočítaný, tak rekurzivně spočítám
16:39 spito a protože si vrcholy pamatuju, tak by to mělo být v O(V*V)
16:40 mornfall Nemělo. :)
16:41 mornfall Dostaneš se do situace že se musíš zeptat na vrchol který už je na zásobníku ale není dopočítaný.
16:41 mornfall Tohle nemůže fungovat z principu, žejo.
16:42 spito hmm, no ne no
16:43 mornfall (Navíc na prvním cyklu to bude počítat donekonečna, podle popisu. :)
16:45 spito jo, já tam nenapsal, že si pro každý vrchol kromě vzdálenosti od S pamatuješ cenu směrem k S a jestli jsi už alternoval
16:45 spito právě ta alternace ti zamezí jakýkoliv cykly
16:46 spito *cenu 1. hrany směrem k S
16:46 mornfall To taky nefunguje. :-)
16:47 spito jakto?
16:47 mornfall No, nevleze se to do toho času.
16:47 mornfall Mimo jiné.
16:48 mornfall Erbureth: Funguje to? :)
16:48 mornfall Ne že nám zase budou dva týdny padat testy a budu je muset opravit já...
16:48 Erbureth mornfall: něco tam padá, mmnt
16:49 Erbureth mornfall: překompiluju bez small
16:50 mornfall :-)
16:52 spito mornfall: proč by to nemělo fungovat? ale do času se to nevleze, to je pravda
16:53 mornfall spito: Ani do toho E*V myslim.
16:54 mornfall spito: A když si budeš pamatovat jestlis alternoval, tak nejspíš nenajdeš ani ty nejkratší cesty.
16:54 mornfall Určitě.
16:54 mornfall (Protože jakmile vybereš bod alternace a nevybereš ho správně, tak máš pech.)
16:55 mornfall Docela by mě zajímalo jak je možný že občas projdou testy s MPI.
17:00 spito ne, já si budu v uzlu pamatovat, jestli se na cestě z S do něho alternovalo, nebo ne
17:01 spito jo a ještě si pamatuju, jestli se rostlo, nebo ne
17:06 Erbureth mornfall: musím ještě spravit compile, s něčím to nepočítá
17:07 mornfall Ok. :)
17:07 mornfall Až bude, houkni, pushnu to.
17:16 Erbureth mornfall: tak teď nechápu, že to fungovalo :D
17:16 mornfall Fungovalo co?
17:16 Erbureth ten kompilátor
17:17 mornfall Jako kdykoliv, nebo po těch změnách?
17:17 Erbureth getProcess by při dotazu na property by vyhodil výjimku
17:17 Erbureth no kdykoliv
17:18 mornfall No, je na to spousta testů, takže to asi fungovalo...
17:20 Erbureth hm, tak ten patch taky přijde do 3.0 :)
17:21 Erbureth ono to nefunguje, když tam jsou property definované přes property process, pro system async property to funguje
17:23 mornfall Jo tak. :)
17:24 mornfall Díra v testovacích datech (#121 v tracu :-).
17:25 mornfall Mohlo by stát za to vyrobit něco jako test/llvm jen pro dve.
17:26 Erbureth tak on to teď pokrývá ten ltltest{1,2}.dve
17:27 mornfall Do jisté míry.
17:27 mornfall Ale kdyby se rozbilo property neverclaim, tak si to furt nevšimeneme, ne?
17:27 mornfall nevšimneme*
17:28 Erbureth neverclaim je která?
17:28 mornfall Büchi
17:28 Erbureth však to je pokryto v tom testu
17:29 Erbureth z property ltl se v preprocesoru vygeneruje property process
17:29 mornfall V kterým? ltltestN.dve obsahujou jen property ltl.
17:29 Erbureth což je ten büchi
17:29 mornfall No jasně, ale to neznamená že ne-ltl property se sparsuje správně.
17:32 Erbureth ook, udělám pak na to ještě jeden test
17:32 Erbureth na to bude stačit překopírovat test1.dve
17:32 Erbureth jo, tak už mi to padá jenom při draw na wibble::exception::System
17:33 mornfall To je zrovna docela zajímavej bug.
17:33 mornfall Nechce se ti zjistit co to je?
17:33 Erbureth ještě se mi ho nepovedlo zdebugovat
17:34 xstill mornfall: nezapoměl jsi na mě?
17:34 Erbureth nepovedlo se mi ho zreprodukovat, když jsem draw spustil samostatně
17:35 mornfall xstill: Zatím ne. :-P
17:35 xstill a kam jsi se dostal?
17:36 mornfall No, od posledního updatu jsem ještě nezačal.
17:36 xstill aha
17:36 mornfall Ale to přijde. Nebo už chceš tisknout?
17:37 spito mornfall: zítra
17:38 xstill mornfall: no tak teď jsem se dozvěděl, že jsem býval mohl tisknout dneska do 9, ale to už teď nebudu nahánět
17:38 xstill spito: http://www.copygeneral.cz/dvorakova-13 mají od 7 otevřeno
17:40 xstill asi půjdu tam, Martin se otamtut právě vrátil...
17:44 spito xstill: a na kolik to vyjde?
17:44 spito já bych tam totiž zašel i dneska
17:45 xstill spito: Martin platil 297,- ale nemá barevné
17:45 xstill spito: to si děláš srandu, že budu poslední ;-D
17:46 spito ale vůbec ne
17:46 spito já zase třeba ještě neobědval
17:46 spito to si nevybereš
17:47 mornfall Hej, já taky ne. :-P
17:48 Erbureth mornfall: další patche jsou na mailing listu, "DVE: Fix handling of property processes in compiler" hoď prosím i do 3.0
17:52 xstill mornfall: ale potřeboval bych abys to prošel v nějakém rozumném čase, nechce se mi to dopisovat o půlnoci.
18:02 mornfall xstill: Já jdu chvíli zkusit fagot po té týdenní pauze, ale dlouho nevydržim. Tak za hoďku se do toho pustim. Erbureth, tvoje ostatní patche hned po tom. :-)
18:03 Erbureth mornfall: ook
18:05 xstill ok
18:31 spito xstill: máme tu 3 asi pořád blbě
18:32 xstill spito: já na to čas nemám, budu rád pokud dotáhnu důkaz složitosti 2, je to tam trochu komplikované ale jsem si jistý, že to platí
18:35 xstill spito: byl jsi tisknout?
18:36 spito ještě ne
18:36 spito asi až ráno
18:36 spito no a radši už od 7
18:37 xstill na já to vidím tak, že tam budu před sedmou, abych se tam pokud možno vecpal jako první...
18:38 xstill asi toho dneska moc nenaspím...
18:38 spito no, to se tak stává
18:38 xstill ono to teď v podstatě nevadí...
18:39 xstill Martin to měl prý vyřízené tak za 20 minut, z čehoš 10 to kontroloval...
18:43 spito no, tak to ještě zkusím dnes
18:44 xstill mornfall: pokud jsi ještě nezačal, tak je tam drobný update
18:57 xstill mornfall: pseudo-BFS/pseudo BFS, jak to má být?
19:06 mornfall xstill: Asi si vyber. V (například) pseudo-BFS traversal tam to - být musí, jinak nemusí.
19:07 mornfall A pseudo-BFS exploration taky (tam mi to aj ušlo).
19:10 mornfall (A v tom co teď čtu je furt spousta present continuous :-P)
19:19 xstill mornfall: jsem ho odstanil minimálně tam kde jsi mi ho smazal...
19:19 xstill a to pseude-BFS dám teda všude s pomlčkou.
19:21 xstill ale já si toho kolikrát ani nevšimu, že to tam mám pokud to nesmažeš, protože jsem si to nějak zažil, nevím proč...
19:30 mornfall xstill: Tak snad to je celý.
19:31 mornfall A tady je bouřka.
19:34 xstill mornfall: díky
19:34 xstill tady je taky bořka.
19:34 xstill *bouřka
19:35 mornfall A v Praze prý taky.
19:37 mornfall Hele pánové.
19:38 mornfall Co teda zítra?
19:38 mornfall Kdy máte deadline na nával?
19:38 mornfall Hm, a Erbureth si zmizne.
19:38 mornfall Ts.
19:40 xstill mornfall: v 10:00 což není moc kompatibiní s bakalářkou...
19:40 xstill mornfall: přijedeš?
19:40 mornfall Na desátou? Můžu.
19:40 mornfall Co budeme dělat? :)
19:43 xstill no pokud nepadnu pod stůl jakmile odevzdám tak můžeme integrovat Share s NTree, nebo vymýšlet dvouvrstvou architekturu pro MPI, a tak...
19:43 mornfall :D
19:44 Erbureth joined #divine
19:46 spito mornfall: já se taky rád přidám
19:46 spito xstill: nestil jsem vytisknout, zítra
19:47 spito mám hlad
19:47 xstill spito: tak zítra se tam uvidíme
19:48 spito já to vidím asi na Marečka
19:49 spito copycentrum je drahé
19:53 mornfall Nojo. Já měl vždycky všechno černobílý a tiskl na fakultní laserovce. :)
19:53 xstill mornfall: to mě taky napadlo, jenže stejně je potřeba to nechat svázat.
19:55 xstill ale teda napadlo mě i že bych to mohl tisknout ve škole a pak jen nechat svázat
19:56 xstill protože ten jeden graf stejně nebudu tisknout barevně, on bude v pohodě čitelnej
19:56 mornfall Nebýt toho že leje, tak bys na FI mohl jít klidně i teď, totiž.
19:57 mornfall A ráno se jen cestou na FI stavit někde kde vážou na počkání.
19:57 xstill no to já stejně nevím kde vážou...
19:57 xstill jsem si to bohužel nestih v pátek zjistit
19:57 spito nad tím jsem taky uvažoval, ale protože to mám barevný, tak to nejde
19:57 mornfall Nevim jestli ještě funguje poyry, ale tam to kdysi šlo.
19:58 spito jo, poyry ještě je
19:58 spito ale oni by to měli svázat i u marečka
19:58 xstill to je kde?
19:58 spito vedle školy
19:58 mornfall spito: U Marečka bude 10x tolik lidí.
19:58 spito u Zahraníkové
19:59 mornfall I když teď to je vlastně dál od FI než Poyry co... :-)
19:59 spito jo
20:00 xstill aha nemáte na to stránky, nemůžu to najít?
20:00 xstill abych věděl jak tam jsou
20:01 spito poyry.cz
20:01 spito ale nevím, jestli tam vážou...
20:02 spito http://www.poyry.cz/cs/reprocentrum/reprosluzby
20:02 xstill ta úvodní stránka na to vůbec nevypadá :-D
20:03 spito právě
20:03 spito tak tam asi zajdu
20:03 spito je to nejblíž
20:03 spito a na FI by o tom nemuseli vědět
20:03 spito a dokonce jedou od 6.30
20:03 spito he, to bude hustý
20:03 xstill no právě
20:04 xstill jen to najít, ale mělo by to být někde strašně blízko...
20:04 mornfall No, je to v křižovatce jak jezdí trolejbus.
20:05 spito na zahradníkově
20:05 spito na té zastávce
20:05 xstill aha
20:05 spito ...dyk jsem to už psal
20:05 spito je to takový velký barák, to nepřehládneš
20:05 xstill no jo
20:05 spito a má to i velký nápis
20:06 xstill mornfall:  processed by _a_ function \texttt{transitionFilter} / processed by _the_ function \texttt{transition} , nechápu proč je tam různý člen...
20:10 Erbureth mornfall: fixed
20:12 mornfall xstill: Protože jsou tam jinak čárky. :D
20:12 xstill ty čárky mě v tom prvím případě příjdou divný
20:13 mornfall xstill: tu první můžeš smazat a změnit člen na the
20:14 xstill mornfall: ok, a za tím  \texttt{transitionFilter} ta čárka být má?
20:14 mornfall a v tom posledním bodě bych asi prohodil expansion <-> function a dal za to čárku
20:14 mornfall no, povinná asi není, takových je v angličtině minimum, ale vhodná určitě jo
20:15 xstill ok
20:15 xstill mornfall: potom by ale měla být i za tím transition v 4. odrázce ne?
20:16 mornfall hej a zrovna tam bych ji nedal :-)
20:17 mornfall (asi proto že to pak pokračuje, takže "provided by th visitor" má v tý větě trochu jiný postavení)
20:17 mornfall když, tak bych to oddělil závorkama
20:17 mornfall a it gets *a* Vertex object for ...
20:19 xstill ok, čárky jsou divný v angličtině
20:20 mornfall (ale zase dvoje závorky za sebou moc nemůžeš udělat :-)
20:21 xstill no to tam dávat nebudu, nechám to bez čárky
20:32 mornfall Hm.
20:37 Erbureth joined #divine
20:37 spito no?
20:40 Erbureth mornfall: sorry, akorát jsem se přesouval
20:40 mornfall Nic. :)
20:40 mornfall Erbureth: Přijdeš zítra?
20:40 mornfall spito: Přijde zejtra Milan, hlavně?
20:40 Erbureth mornfall: jsem v práci
20:41 Erbureth pondělí a čtvrtek, jinak můžu kdykoli
20:41 spito mornfall: tak psal jsem mu
20:41 mornfall spito: A řekl něco?
20:42 spito ještě ne
20:47 xstill sakra potřebuju se zbavit 2 řádků abych neměl 2 skoro prázdný stránky :-D
20:47 mornfall :-)
20:48 spito "Pokud máš hodně stránek, tak nevadí, že budeš mít prázdné stránky....snad...." Vladimír Štill
20:49 spito včera
20:49 spito :D
20:54 xstill no jo ale když tam máš 2 řádky tak to vypadá divně.
20:54 xstill A teď jsem to "vylepšil", jsou tam 3 slova.
20:54 mornfall To dáš. :-)
21:00 xstill tak to by bylo :-)
21:01 spito mornfall: když ses ve vlaku zamýšlel nad příkladem 3 do návalu, co jsme ti poslali, napadlo tě něco?
21:12 mornfall spito: No, mohl bys zkusit vyrobit podgraf který obsahuje jen semimonotonní cesty z s, třeba.
21:12 spito no, a to mi nějak pomůže?
21:13 mornfall Pokud bys ukázal že je řídký, tak jo. :)
21:13 mornfall Protože pak běží Bellman-Ford v O(|V|^2).
21:13 mornfall Ale netvrdím že je.
21:13 spito no, to nemusí být pravda, protože už od začátku může být graf sestavený, že má všude semimonotonní cesty
21:14 spito tedy....jestli to není blbost.....
21:14 mornfall To je jedno. :)
21:14 mornfall Pokud je řídký tak to furt stačí. :)
21:14 mornfall Problém je jen s hustýma grafama.
21:14 mornfall (Protože tam je O(|E|) striktně víc než O(|V|).)
21:15 xstill mornfall: existuje nějaká jednoduchá cesta jak tex-u říct, že má všechno být černobílý?
21:15 mornfall xstill: To tex asi nemá jak udělat, když mu embedduješ barevný obrázky.
21:15 mornfall xstill: Vytiskni to do PDF z okularu jako ČB.
21:15 mornfall Nebo něco.
21:16 xstill ok
21:16 xstill mornfall: mrknul by ses prosím ještě jsetli mám rozumná klíčová slova?
21:17 mornfall Na to snad nikdo ani nekouká. :D Asi jo.
21:20 xstill tak jo :-D
21:21 spito mornfall: a mě na http://anna.fi.muni.cz/~xweiser1/bc.pdf? ten začátek až po úvod...
21:26 spito mornfall: a tím, že bys vyrobil jenom semimonotónní graf, tak bys nezaručil, že dostaneš řídký graf
21:26 mornfall spito: To já nevim, žejo. :)
21:26 mornfall To je jen taková hypotéza.
21:27 spito neznáš ještě nějaký veselý grafový algoritmy?
21:27 mornfall Na hledání nejkratších cest? :)
21:28 mornfall Ani ne.
21:28 spito no, on ten Dijkstra asi nepůjde použít
21:29 mornfall No a nemůžeš prostě všechny hrany navýšit o konstantu, aby použít šel?
21:29 spito ne, to je právě problém, že tohle nejde použít
21:29 mornfall Proč?
21:30 spito A-3->B-2->C
21:30 spito A-10->D-(-12)->C
21:30 mornfall No?
21:31 spito dijkstra najde cestu přes B do C
21:31 xstill mornfall: protože nevíš kolik hran máš na cestě, tedy rozdíl není konstanta (na cestě)
21:31 spito ale správně je přes D
21:31 mornfall spito: 15 + 14 < 10?
21:32 mornfall xstill: Rozdíl v čem?
21:32 mornfall Aha.
21:32 mornfall Jasně, vim.
21:33 mornfall Ty záporný hrany jsou dost zlý no.
21:33 spito ono vybudovat množinu všech cest by bylo asi dost drahý, že?
21:33 mornfall lol :-)
21:33 mornfall spito: Ta je nekonečná, žejo.
21:34 mornfall A kdyby to bylo acyklický, tak 2^|V|.
21:34 spito jenom pokud máš cyklus
21:34 mornfall Cyklus tam být může.
21:34 mornfall A nemůžeš ho smazat protože některý cesty ho můžou obejít celej, jednou.
21:35 spito t
21:35 spito to je taky pravda
21:35 mornfall I když teda pokud není negativní tak ne, celej, ale dvě cesty ho už pokryjou.
21:35 xstill řekl bych že skoro vše co začíní "množina všech..." není dobrý nápad
21:35 mornfall I nejkratší.
21:37 xstill mornfall: bylo by ještě docela hezký, kdyby jsi pushnul ten patch co zapne NTree v konfiguraci defaultně
21:37 xstill (aby si případný člověk který stáhne divine zkompilovat verzi s kompresí)
21:38 mornfall Hmm. To by chtělo hlavně dořešit release.nix.
21:40 xstill je tam problém?
21:41 mornfall No není, ale je to dost výrazně neoptimální. :-)
21:50 xstill mornfall: hmm, hashtable je dohromady, takže i hashset by měl být ne?
21:50 mornfall J.
21:50 mornfall Někde jsem to snad i měnil, ale je možný že ne všude.
21:52 xstill jsem právě narazil na to s pomlčkou, tak jsem si nebyl jistý
22:31 spito xstill: v kolik se pokusíš dojít do labu?
22:32 xstill spito: no ideálně tak v 6, protože si to asi vytisknu ve škole, a jestě si musím okopírovat zadání...
22:36 spito ono se to tam dá někde okopírovat?
22:38 xstill tak v labu je skener...
22:39 spito problem solved
22:42 xstill spito: vyplňoval jsi už archiv v isu?
22:44 spito ještě ne
22:45 xstill musí to být než to odevzdáme fyzicky
22:45 spito to je v pokynech?
22:46 xstill jo
22:48 xstill anotace jsou abstrakt, že?
22:48 spito řekl bych, že jo
22:48 xstill musím to přeložit i do češtiny
22:48 spito já do angličtiny :D
22:48 xstill zní to trochu divně:
22:48 xstill Hlavním cílem této práce je redukce paměťových nároků explicitního LTL model-checkeru za pomoci stromové komprese. Prezentovaná kompresní technika je úspěšně aplikována na model-checking skutečných programů v C a C++ a také na některé formalismy navržené specificky pro model checking.
22:50 spito je dobrý jít tak do hlouky? vysvětlovat na jakých příkladech jsi to testoval hned v abstraktu?
22:50 spito já bych asi oddělal to o formalismech a C/C++
22:50 spito prostě jsi to měřil
22:50 spito já mám toto
22:50 spito V práci jsou prezentovány struktury, které umožňují procházení grafu ve sdílené paměti. Dál jsou v práci prezentovány různá řešení sdílené hašovací tabulky. Na závěr práce jsou provedena měření, která porovnávají stávající implementaci struktur oproti nové implementaci.
22:52 xstill celkem fain. No já tam to Cčko chci mít...
22:55 xstill asi poprvé dělám zip archiv na linuxu, doufám, že bude v pohodě
22:55 xstill je toho 48MB
22:55 spito já udělal tar.gz archiv a mám toho cca 4MB
22:56 xstill myslíš, že přežiou tarball?
22:57 xstill mohli by
22:57 spito tak je to příloha
22:57 spito a běžný komprimační formát
22:59 mornfall xstill: byla aplikována :)
22:59 xstill to mi teda vysvětli, jak to, že to má 4MB, když u mě to má 40
22:59 xstill mornfall: co?
22:59 mornfall xstill: technika
22:59 mornfall v abstraktu česky
22:59 xstill nechápu
22:59 mornfall no místo je aplikována bych psal byla aplikována
23:00 xstill aha
23:00 mornfall xstill: Tam balíš aj _darcs?
23:01 xstill jo
23:03 spito a to já ne, já to mám bez darcsu
23:03 spito Structures for graph exploring in shared memory are presented in thesis. There are also presented different implementations of shared hash table. At the end of thesis, I did some experiments comparing old and new implementation of graph exploting.
23:03 spito (a teď se mornfall osype)
23:06 spito mornfall: je ta angličtina aspoň trochu správně?
23:07 mornfall Ne.
23:07 mornfall :-P
23:08 spito to jsem si mohl myslet
23:09 mornfall Chybí tam skoro všechny členy.
23:09 mornfall Je tam ... jeden? :D
23:09 Erbureth spito: druhou větu udělej podle struktury SVO
23:11 mornfall Jo to taky. There are je produkt českého středního školství, nebo něco.
23:17 spito co je SVO?
23:18 xstill hm kromě textu a zdrojáku v archivu asi nic být nemá co?
23:18 spito a kde by tak ty členy měly být?
23:22 Erbureth subject-verb-object
23:23 mornfall Jo, a exploring a exploration není to stejný.
23:24 spito a to druhý je asi to co chci, že?
23:24 mornfall Jo. A taky není struktura jako struktura.
23:24 spito ?
23:25 mornfall A první věta taky SVO, v činném rodě.
23:25 mornfall No, prezentuješ datový struktury, ne algebry nebo grupy nebo budovy.
23:27 xstill jsem nechal asi flashku v serverovně :-D
23:28 mornfall Jednou se to stát muselo. :-P
23:29 spito I present data structures for the graph exploration in shared memory. I also present different implementations of the shared hash table. At the end of thesis, I did some experiments comparing the old and the new implementation of the graph exploration.
23:29 spito mornfall: lepčí?
23:31 mornfall No, tím činným rodem jsem myslel This thesis presents. :-)
23:32 mornfall A thesis nemůže být bez členu.
23:32 mornfall (Případně this může člen zastoupit.)
23:32 xstill tak snad je vše co má být v ISu, jdu spát, ačkoli nejsem zcela přesvědčený o tom, že to ještě má smysl :-P
23:32 spito no, bude to...zajímavý
23:32 spito to vstávání
23:32 xstill rozhodně
23:33 mornfall exploration pro změnu člen mít nesmí
23:33 mornfall (aspoň v tomto kontextu)
23:33 spito a sdílená paměť?
23:34 mornfall "graph exploration" jako takový nemá různý instance, tak nemůžeš vypíchnout jednu konkrétní členem
23:34 mornfall Shared memory to stejný.
23:42 spito dík
23:43 spito ostatní je dobře?
23:44 mornfall a shared hashtable
23:44 mornfall Ukaž mi to radši celý ještě.
23:46 spito This thesis presents data structures for graph exploration in shared memory. The thesis also present different implementations of the shared hash table. At the end of the thesis, some experiments comparing the old and the new implementation of graph exploration are presented.
23:46 spito jo, chybí tam ty neurčitý členy....bych tak tipnul
23:47 mornfall 01:44 (@ mornfall ) a shared hashtable
23:47 mornfall Jiný členy tam už snad ani nechybí.
23:48 spito graph exploration nemá mít člen?
23:48 mornfall Hej, teď jsem to vysvětloval.
23:48 spito chúúúú
23:49 spito (potichu mlátí hlavou o stůl)
23:49 mornfall (Neurčitej člen potřebuje aby existovaly různý instance úplně stejně jako určitej, jen nevybírá jednu konkrétní ale nějakou blíže neurčenou.)
23:49 mornfall Nemůžeš říct ani the Slovakia ani a Slovakia. :-)
23:50 mornfall (S Czech Republic to je složitější, protože republik existuje hodně...)
23:51 mornfall (Jenže česká je jen jedna, a proto můžeš říct in the Czech Republic, ale už ne in a Czech Republic.)
23:51 mornfall (The vybírá právě tu jednu která je česká...)
23:52 spito jo, asi to chápu....
23:52 spito možná bys měl zauvažovat i nad dráhou učitele
23:53 mornfall Angličtina pro matematicky inklinované? :-P
23:53 spito a vůbec, zkopíruj se a pošli své instance provádět světovou osvětu
23:54 spito ne, Angličtina pro blbečky a nechápavé

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