Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-29

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:44 spito joined #divine
09:32 spito mornfall: jsi vzhůru a živý?
10:05 mornfall trochu ...
10:06 spito http://anna.fi.muni.cz/~xweiser1/paper/
10:53 xstill spito: bylo by asi fajn kdyby nějak bylo zvýrazněné které vlákno má tu buňku zamknutou (počítám teda, že ty # věci jsou vlánka a ta čára znamená,  že se snaží vkládat)
10:53 spito jop
10:55 xstill jinak mi to příjde docela dobré, samozřejmě to chce popsat co jsou ty části buněk, ale to je asi jasný
11:33 mornfall spito: kdyby k tomu byl nějakej kus textu nebo tak (třeba i česky, ať nežeru...)
11:33 mornfall Jiřík je ještě v háji?
11:34 spito jako popsan7, co se na těch obrázkách děje? s tím počítám
11:34 mornfall hm, to s tou klávesnicí jsem fakt vyhrál, má jinak posunutej altgr (delší mezerník) teď to na laptopu nemůžu trefit
11:34 spito nevím, chtěl jsem se zastavit na FI
11:34 spito jinak mám další sadu obrázků
11:34 spito resize-01 až resize-11
11:34 mornfall každopádně platí co jsem psal (btw. mělo to funkční diakritiku?)
11:35 spito eh, co platí?
11:35 xstill no máš diakrituku
11:35 mornfall spito: mail
11:35 xstill Jiřík tu byl a vypadal dost přepracovaně
11:35 mornfall no to on je
11:36 spito a co s tou diakritikou?
11:36 mornfall no nic, jak jsem psal Petrovi tak tam byla spousta čtverečků...
11:36 mornfall (aspoň podle quote)
11:37 spito jsem beznadějně ztracený
11:37 mornfall spito: přišel ti mail co jsem psal ad ACSD?
11:37 spito jop
11:38 mornfall takže oznamuju že ten mail platí a ptám se jestli v něm náhodou nebyla rozsypaná diakritka
11:38 spito gmail to dal
11:38 mornfall ok
11:38 spito tzn všechno hezky čitelné
11:38 mornfall tak to byl nějakej jednorázovej fail
11:39 spito teda chybí tam čárky mezi větami, ale to není problém kódování
11:39 mornfall :D
11:40 xstill jo v mailu, tam diakritika taky byla
11:41 mornfall xstill: aha to aborted v F20 je timeout totiž (hodinovej)
11:41 mornfall tam to gcc je nějaký hrozně nemocný
11:41 xstill no asi spíš je teď potřeba řešit ten paper
11:41 mornfall hm
11:42 mornfall vsadím se že tam je zase rozhasený tmpfs
11:42 mornfall teda že se mountuje tmpfs na /tmp a builduje se to v tom
11:42 mornfall to pak dořeším v pátek
11:42 mornfall paper jo
11:42 mornfall já teď nemam moc čas tak řeším co jde v mezerách...
11:42 xstill akorát teda nechápu jak tam chcete mít 20 obrázků
11:43 mornfall no, bude se to muset namlátit na 2 strany nějak
11:43 mornfall jsou to A4 tak to nějak půjde
11:44 xstill spito: ad resize, bylo by fajn vidět kdo zahájil ten resize a kdo se na měm podílí v kterou chvíli
11:44 mornfall z resize se asi jeden obrázek bude muset vyhodit
11:44 spito xstill: počítám, že to bude mít legendu
11:45 xstill 6 nebo 7 nejspíš, nebo spojit 9/10
11:45 xstill jo ale kdyby to bylo třeba tučně u těch co se podílí bylo by možná taky dobré
11:48 xstill mornfall: pokud ti to pomůže můžu skusit poeditovat ty listingy a případně tam zkusit naházet ty obrázky
11:48 mornfall 10 jich na stranu nějak namlátim
11:48 mornfall xstill: jo určitě to pomůže
11:49 xstill hm, měl bych si opravit nebo vypnout notifikace "xstill: jo urit to pome" je úžasná zpráva
11:50 xstill mornfall: a nemáš žádné změny?
11:50 mornfall zatím ne
11:50 mornfall v hlavě něco
11:56 xstill to je jako záměrně, že ty kódy se odkazujou na brick?
11:56 xstill předpokládám, že je vhodné použít listings na kódy
11:58 mornfall asi něco jo (listings)
11:59 mornfall na brick se odkazujou jen proto že to je doslova, může se to zeditovat
12:07 spito hmm, jak mám zadefinovat hashovací fci? mám normální mapování (x mod row.size)
12:08 spito ale když je výsledek 0, tak se přeřadí jako hash row.size
12:08 spito a indexování mám v obrázkách od 1
12:15 xstill hm, a proč nemáš mapování (x mod row.size) + 1?
12:16 spito hmm, tož tak to opravím
12:54 xstill hm, docela tam chybí popis toho algoritmu vkládání
12:54 xstill (a zvětšování
12:54 xstill )
13:07 xstill spito: můžeš ten algoritmus vyhrabat a hodit ho tam?
13:08 spito jako jenom zdroják?
13:08 spito a hlavně - kam?
13:44 xstill Tak možná i nějakej popis
13:44 xstill Před tu verifikaci
13:44 xstill spito: ^
13:47 spito a ta verifikace je kde?
13:50 xstill V článku v svn :-D
14:01 spito a svn je kde?
14:06 spito (zhruba tuším, že jsou články na svn, ale nemám ponětí, kde a ke článkům můžu přistoupit)
14:15 xstill spito:  svn+ssh://antea.fi.muni.cz/srv/code/svn/papers
14:20 xstill hm ale on je ten algoritmus dost dlohej co
14:20 xstill mornfall: jakej je page limit?
14:20 spito jj
14:23 xstill hm a Jiřík už taky zmizel
14:23 xstill ale podle mě by v tom concurrency vs resizing měl být algoritmus vložení, tam je vidět i jak probíhá resize, ne?
14:23 xstill jen teda bude asi dost brutální to nacpat to toho sloupce
14:25 xstill alternativně by se to asi dalo přepsat všechno do pseudocode a přeložit ten algoritmus z tvojí bakalářky
14:29 mornfall 10
14:31 mornfall (stran)
14:32 xstill končí ti to uprostřed věty
14:33 xstill mornfall: vyjádři se k tomu algoritmu, asi bych dal před verification jednu kapitolu kde by se to nějak finálně popsalo a dal se tam kód (část)
14:33 mornfall jo souhlas
14:34 xstill akorát teda nevím kolik se tam toho vejde když implementace má 400 řádků
14:35 mornfall 10 stran ... 2 stt spitovy obrazkuy 1 gnuploty
14:35 mornfall bylobtam ca 5 str. textu takze zbyvaji 2
14:36 xstill jo
14:36 mornfall na uvod a ten kod
14:36 mornfall a zaver
14:36 xstill jo a zbytek referencí
14:37 xstill dost ti jich tam totiž chybí
14:37 mornfall jo to se musi vykopirovat.n.
14:37 mornfall ja jdu pomalu na orch, pak udelam svn up a na vlak... :)
14:38 xstill nojo, ale zdrojáky dizertačky si nám nedal, takže to musíš vykopírovat ty
14:46 xstill mornfall: co je chm za tabulku? v popisu to chybí
14:51 mornfall concurrent hash map
14:51 mornfall z tbb
14:52 xstill hm, z textu jsem pochopil že cus je tbb
14:54 xstill spito: a budeme ty obrázky potřebovat v pdf nebo prostě v něčem co tex zvládne sežrat
14:54 xstill s tím že by to chtělo se nějak zbavit toho jednoho resize obrázku
14:55 spito nemám problém z toho vytvořit pdf
14:55 spito jenom že svg se líp distribuuje
14:58 xstill mornfall: dá se udělat stránka jen na figury která nebude mít sloupce?
15:09 spito heh, taková blbá otázka - z venku se na to svn nedostanu?
15:11 xstill dostaneš, ale jen přes to svn+ssh
15:13 xstill (stejně jako zevnitř)
16:12 xstill spito: co ty obrázky?
16:12 spito nojo, mám je
16:12 spito snad
16:12 spito ale nemám svn, tortoise to odmítá
16:13 xstill tak to budeš muset dělat na antee, nebo si sehnat commandline klienta
16:13 xstill hoď ty obrázky aspoň zatím do té složky cos posílal
16:14 mornfall ano gigury jsou bezsloupcovy
16:14 mornfall figury
16:18 spito pdf jsou na místě
16:19 xstill nojo, ale nemuselo by kolem nich být to bílé místo
16:20 spito nemáš nějaký skript, který to jenom projede a ořeže to?
16:20 spito případně nejde tohle nadefinovat v texu?
16:21 xstill hm
16:21 spito protože to znamená, že musím jednotlivě všechny pootevírat, upravit, znovu nastavit spoje a exportovat
16:21 xstill jako teoreticky to jde v texu
16:24 xstill ok, zdá se že to půjde
16:50 spito mornfall: chceš ten popisek k obrázkům?
16:51 spito http://anna.fi.muni.cz/~xweiser1/paper/bla.txt
16:52 mornfall jo
16:52 mornfall do svn pls
16:55 xstill to tam hodím když tam dávám ty obrázky
16:56 spito (opravit angličtinu prosím)
17:03 xstill jo, něco ti opravím a zbytek zvládne mornfall
17:05 xstill (hodil jsem tam část, zbytek po večeři)
17:08 mornfall hm, dejte tam všechno já jdu za 15 minut na vlak :P
17:09 mornfall ok už jsem si uložil bla.txt
17:11 mornfall no jdu balit, ozvu se kolem osmé počítám
18:11 xstill hm, asi bych potřeboval abyste to už zvládly sami, budu nedřív za 2-3 hodiny
18:14 spito heh, zvládlI
18:20 xstill nojo, ale pointa je stejná
18:50 mornfall tak jsem doma
18:51 mornfall mně hlavně zajímá jak jste dopadli s tím pseudokódem nebo co jste tam chtěli dát?
18:53 spito heh, nijak
18:53 mornfall to mám radost :-P
18:56 spito heh, nepřeložím ten tex
18:56 mornfall počkej
18:56 spito to asi není úplně správně, že?
18:57 mornfall svn up
18:57 mornfall v \caption nejde mít zalomený řádky
18:57 mornfall to se asi bude muset přestěhovat do hlavního textu stejně
19:03 mornfall divine is awesome, tak to vidíte
19:06 spito jo, to jsem četl už ráno
19:06 spito jenom si nejsem jistý, jestli to nebyl trolling
19:07 mornfall to asi nebyl
19:22 mornfall no
19:22 mornfall spito: vyrobil jsem sekci Implementation, kam půjdou jednak všechny ty tvoje obrázky druhak by tam asi měl být popis toho algoritmu (verification tam bude poslední podsekce)
19:49 zbeasnyy joined #divine
19:56 zbeasnyy tak bych řekl že ten ieee styl neumí víc než 18 figur
20:17 spito heh, obrázků ode mě je přesně 18
20:19 mornfall figur už je jen 6
20:19 mornfall (přeskládal jsem to)
20:19 mornfall já tam ještě dám 2 gnuploty, to se vleze k fig. 6 na stránku
20:21 spito a co ty popisky k obrázkům - je to aspoň rámcově v pohodě?
20:21 mornfall nevím ještě jsem to nečetl
20:21 mornfall :-P
20:21 spito jo a kdy se to musí submitnout?
20:21 mornfall do rána
20:21 spito tak je prosím přečti
20:21 spito tj do zítra 6:00?
20:21 mornfall jo na to přijde
20:21 mornfall no, dneska do půlnoci AOE
20:22 mornfall my jsme +1 takže tak do 11?
20:23 mornfall nebo dokonce do 1?
20:23 mornfall každopádně bych to poslal než si lehnu, resubmit jde udělat i tak
20:29 spito a kam mám vložit ten pseudokód?
20:29 mornfall do Implementation
20:30 spito a chceš tam celý ten kód? (je dlouhý) nebo jenom pseudokód
20:30 mornfall no, musí se to vlézt na cca stránku
20:31 spito není šance
20:32 mornfall tak, víc místa nemám :-)
20:32 mornfall dělej co umíš
20:32 mornfall ta stránka je relativně velká
20:32 spito jako pseudokód by byl jednodušší
20:33 mornfall a máme?
20:33 spito jop
20:34 mornfall tak do toho :-)
20:34 spito vykopu to z bakalářky
20:34 mornfall vykop
20:47 spito ale teda mám tu algoritmus jenom toho vnitřního cyklu
20:47 spito je potřeba i ten vnější?
20:48 mornfall kterého vnitřního?
20:48 mornfall je potřeba aby to dávalo smysl :-)
20:48 spito ok, zkusím to tam napasovat
20:55 spito pseudokód je napsaný jako algorithm - nevadí to?
20:56 mornfall to záleží...
20:57 mornfall já to kdyžtak překopu kdyby to bylo problémový
21:28 xstill jsem zpátky, chcete něco po mě?
21:31 mornfall určitě, jen nevim co
21:31 mornfall každopádně máme skoro přesně 9 stran
21:31 mornfall zbývá conclusion, dopsat intro a ta implementace
21:32 xstill viděl jsem, bez algoritmu
21:32 mornfall a celý to přečíst
21:32 mornfall (teď jsem commitnul grafy)
21:32 mornfall (teda ještě vyberu jiný, ale v principu)
21:32 mornfall ještě je asi bude potřeba zčernobílit nějak
21:32 mornfall (i když to taky nevim jistě)
21:34 xstill hm, to řazení resize obrázků je nějaký jetý ne? první 2 části se čtou zhora dolů a poslední zleva doprava
21:35 xstill možná bych to alespoň očísloval na začátku každého popisu
21:36 mornfall jo to asi jo... jinak se to čte prostě po sloupcích
21:36 mornfall jen jsem je nechtěl míchat s gnuplotama
21:36 xstill ty texty jsi tam jen zkopíroval, nebo jsi je už korigoval?
21:36 mornfall jen kopie
21:37 xstill protože mě to příjde místama trochu divné, tak jsem nevěděl jestli to jen nechápu, nebo jsi to ještě neměnil
21:37 xstill když to budu měnil labely u popisků tak neudělám konflikt?
21:37 mornfall ne, já teď nic neměním
21:37 xstill ok
21:38 mornfall musím dořešit výběr grafů
21:38 mornfall a asi bych se měl hluboce zamyslet nad referencema
21:38 mornfall spito: ty určitě nějaký máš
21:38 spito hehe, jo, něco jo
21:39 spito Split-Ordered Lists -- Lock-free Resizable Hash Tables}. \MakeUppercase{Shalev}, Ori a \MakeUppercase{Shavit}, Nir [online]. © 2006 [citováno 8.\,11.\,2012]. Dostupné z: <\url{http://www.cs.ucf.edu/~dcm/Teaching/COT4810-Spring2011/Literature/SplitOrderedLists.pdf}
21:40 mornfall tys nepoužíval bibtex? jaj
21:40 spito ne, jsem to nerozchodil
21:40 mornfall nojo já si to nějak přeberu :-)
21:40 spito \textit{Bit Twiddling Hacks}. \MakeUppercase{Anderson}, Sean Eron.  © 1997 -- 2005. Dostupné z: <\url{http://graphics.stanford.edu/~seander/bithacks.html}>
21:41 spito a zbytek je nerelevantní - odkazy na paradise publikace
21:41 mornfall tos tomu moc nedal teda :P
21:41 spito nedal
21:41 mornfall ale jo, ještě tam přihodím Alfonze 2010
21:41 spito ale na druhou stranu tam mám vyjmenovaný všechno, co jsem použil
21:41 spito jo alfonze tam mám taky
21:42 spito ale jenom nějakou prezentaci
21:43 spito http://www.win.tue.nl/ipa/archive/springdays2010/Laarman.pdf
22:01 spito mornfall: posláno
22:01 spito ale chtělo by to hodně učesat
22:02 spito a na stránku se to nevejde
22:02 spito něco se bude muset vyhodit
22:02 spito a i tak to není kompletní - některé funkce tam chybí
22:02 mornfall co na stránku ono se to nevejde ani na výšku :D
22:03 mornfall (ale když pominu výšku tak je to jen 1/2 strana)
22:04 xstill nojo teď to vypadá obvzlášť vtipně
22:04 spito :D
22:04 spito ale jako cpát tam to c++ asi nechceme
22:04 mornfall nejde tomu říct ať to nesází end?
22:04 mornfall to by stačilo
22:04 xstill jde nějak
22:04 xstill (viz memics myslím)
22:05 xstill ale nepudou tam pak asi ty čáry
22:05 mornfall to je trochu šoda
22:05 mornfall škoda*
22:05 mornfall jen to je teda jinej balík
22:05 mornfall (než memics)
22:06 spito ne, mělo by to jít
22:06 xstill aha
22:06 xstill tak potom nevím
22:06 mornfall noend
22:07 mornfall jo, a zrušil jsem boxed
22:07 mornfall už to vypadá docela OK
22:07 mornfall ještě bych z toho udělal figuru asi
22:08 spito no já půjdu nejspíš spát
22:09 mornfall hm, to nejde
22:09 mornfall tzn. popis k tomu si mam napsat sám jo? :-)
22:09 mornfall ale jo klidně spi, aspoň zejtra něco uděláš :-))
22:09 spito popis k implementaci?
22:09 spito no neudělám
22:09 spito musím napsat python
22:09 mornfall blabla
22:09 spito jinak budu mít ošklivé červené políčko
22:10 mornfall výmluvy :D
22:10 spito v sobotu je deadline
22:10 spito a co mám jako napsat?
22:11 mornfall já už to dotáhnu, běž spat
22:11 mornfall on je totiž ten algorithm float sám o sobě
22:19 xstill pushnul jsem ty popisky
22:24 mornfall takže zbývá dopsat sloupec textu a doplnit ty reference
22:25 mornfall (a ty grafy)
22:25 mornfall tak to asi nakonec stihnem :-)
22:25 spito ale teď už fakt jdu
22:25 mornfall doufám že bude mít Jiřík radost, jinak na něj budu mít zlost :P
22:25 mornfall spito: brouk
22:25 spito (a asi nechcete, abych nic psal, protože to byste měli za trest :D )
22:27 mornfall obrázky asi nechám prozatím barevný, to by na recenze nemuselo mít vliv a když to budou chtít černobílý tak nám to snad editor řekne
22:28 xstill jo, mohlo by jim to stačit
22:30 xstill možná bych někde v té implentaci zmínil, kde se dá najít celej kód (třeba i odkaz, https://divine.fi.muni.cz/trac/browser/bricks/brick-hashset.h)
22:30 mornfall jo
22:31 xstill teda https://divine.fi.muni.cz/trac/browser/bricks/brick-hashset.h#L481
22:53 xstill mornfall: co ode mě ještě potřebuješ, mám si to přečíst celé znova jestli to dává smysl?
22:55 mornfall xstill: to by bylo fajn
22:56 mornfall případně tam nasekej % poznámky, já ještě musim douklidit a dát si sprchu než se k tomu zase dostanu
22:57 xstill jo a čas je teda do kdy?
22:57 mornfall no, do rána určitě
22:58 mornfall já to submitnu než půjdu spát a na FI bych mohl dorazit ... no, uvidíme, pokud dokážu vstát tak na osmou
22:58 mornfall tak to můžem ještě projít, doladit a resubmitnout
22:58 xstill ok
23:15 xstill hm, já teda proti tobě houby umím gramatiku, ale nemělo by být "in accord with changing needs" -> "in accordance with…"
23:20 xstill hm, jdu se taky osprchovat a pak to dočtu
23:28 mornfall možná (accordance) ... taky jsem to tam chvíli měl
23:39 xstill jako, nějk mi přijde, že Design nijak nenavazuje na úvod, ale to asi až tak vadit nemusí
23:43 mornfall no, to intro není úplně hotový, minimálně jeden odstavec tam ještě vrazím
23:55 xstill ok

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