Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-10

| 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/
10:04 xstill hm, koukám že asi do 19. musím udělat CVčko
10:22 mornfall xstill: antea:/tmp/transform.md* (nevim stoprocentně jestli je to .md stejná verze jako ta co jsem editoval, ale asi si to stejně chceš celý přečíst tak to poznáš)
10:22 mornfall (možná to budeš muset diffnout o jednu revizi dozadu nebo tak něco)
10:25 xstill díky
10:26 mornfall mám takové nebezpečné myšlenky poslední dobou... že bychom mohli napsat monografii
10:27 xstill jakože knížku o divine? to by bylo drsný… jak to vůbec je když by člověk chtěl něco takového vydat?
10:28 mornfall no, asi to chce najít vydavatele, ale to by nemusel být problém
13:24 xstill mornfall: mrknul by ses případně ještě na results? (pdf aktualizováno, případně https://raw.githubusercontent.com/vlstill/mgrthesis/4d11352746c910e35987c85719bc6bb035b84eb2/results.md)
13:29 xstill a ještě mi prosím řekni, jestli ty tabulky jsou čitelný
13:30 mornfall no, ta kurzíva je dost zákeřná
13:30 mornfall jina jo, možná 5.5, 5.6 a 5.9 by snesly víc řádkování
13:30 mornfall jinak*
13:31 xstill zákeřná proč?
13:32 mornfall když se podíváš na tabulku, tak si to nejspíš ani nevšimneš jen ti přijde nějaká divně nekonzistentní a teda tě nenapadne hledat v textu vysvětlení
13:32 mornfall a druhak když už víš co to znamená, blbě se to odlišuje
13:32 mornfall lepší by bylo celej ten sloupec/řádek podbarvit, pokud to dokážeš v latexu nahackovat
13:33 mornfall resp. teda ty buňky kterých se to týká
13:33 xstill jakože zašednout třeba?
13:34 mornfall jo, to je mnohem přehlednější než hledat která buňka je kurzívou
13:34 mornfall a v těch dlouhých tabulkách bych možná ty čáry co tam jsou zdvojil a přidal jednoduchou mezi tso a std
13:35 mornfall a nevim teda jestli fakt chceš v tabulce -nan?
13:35 mornfall (jestli jo tak by to zasloužilo vysvětlit v popisku)
13:36 xstill nechci -nan
13:36 xstill už je tam pomlčka, ono to asi nedoběhne :-/
13:38 xstill když dám dvojitou čáru přes \hline\hline tak mi to tu tablulku jakoby rozpojí (svyslý čáry jsou přerušený) nedá se to udělat nějak bez toho?
13:38 mornfall nevím o tom, ale ono by to nemuselo vadit (odpojí to aj ten první řádek, takže to ve výsledku vypadá celkem ok)
13:40 xstill hm mě se zdá že je tam těch čar potom zas moc (vyz teď 5.9 v pdf)
13:45 mornfall nojo, je to celkově nevýherný... tečkovanou čáru asi latex udělat neumí co?
13:46 xstill to by možná i mohl, nějak
13:47 xstill dobrá zpráva je, že zašedlý buňky asi umím celkem snadno
13:53 mornfall umíš víc než jednu šeď? pak by totiž byla možnost čáry zrušit a používat alternující pozadí (ale je teda trochu riziko co s tím udělá tiskárna)
13:53 xstill no, umím libovolnou barvu, ale toho bych se trochu bál, protože se to bude divně kombinovat
13:55 mornfall bude no
13:56 mornfall druhá možnost barvy použít jen na řádkování a místo kurzívy použít třeba dagger
14:08 xstill hm, zkusil jsem tam dát čárkované čáry, to celkem jde, ale ta šedá taky není úplně výhra (opět poslední tabulka upravená)
14:09 xstill navíc teda v závislosti na prohlížeči pdf jsou buď tenké bílé čáry mezi těmi šedými políčky, nebo občas mizí ty černé čáry okolo nich…
14:11 mornfall nojo, není to úplně terno... takhle to zase vypadá že jsou nějak extra důležité
14:11 mornfall hlavně v 5.3
14:12 mornfall ten superskript by mohl fungovat nejlíp... (jo a bylo by asi dobrý to zarovnat na desetinnou čárku, aspoň zhruba)
14:13 mornfall a občas (5.4) máš velký K, většinou malý k
14:14 mornfall a v 5.4 je asi mezislovní mezera místo kernu
14:15 xstill nojo, 5.4 je víc blbě
14:16 xstill ona je totiž zkopírovaná z prezentace, proto tam ani není tolik desetinných míst jak obvykle
14:22 xstill navíc v ní nejsou označený modely co neplatí
14:32 xstill dagger + čárkované oddělení tso a std by asi šlo
14:32 xstill (pdf aktualizováno)
14:34 mornfall antea:/tmp/results.md*
14:34 mornfall první odstavec v LLVM IR Optimizations je trochu matoucí na první přečtení, protože není jasný co se myslí 'in tables'
14:34 mornfall asi by bylo lepší 'in the table', stejně je pod jedním číslem ne?
14:35 xstill dík, no vztahuje se to k 5.7 a 5.8
14:35 xstill takže in the table nepůjde
14:36 mornfall aha teď se dívám do pdfka...
14:37 mornfall tak ... labelled *něco* in tables, ...
14:37 mornfall (přijdeš sice o \tt alloca, ale to asi nevadí)
14:38 mornfall nebo labelled “něco” in tables a může zůstat aj \tt
14:38 xstill jo, to by šlo
14:39 mornfall jo pak nezapomeň opravit druhý odstavec kapitoly 5
14:40 xstill už aj je
14:44 xstill hm, proč jsem sakra napsal "the one difference is lead-dks" místo the "one exception …" to ani moc nedává smysl
15:00 xstill no, tak results snad jsou hotový :-)
15:42 spito když jsou v práci grafy, je potřeba, aby tam byly i tabulky?
15:43 mornfall není, pokud jsou ty grafy čitelný
15:43 mornfall zrovna jsem si říkal jak na tom asi jseš :)
15:43 spito blbě :)
15:44 spito výsledky jsou nejslabší číst práce...krom toho ještě nejsou
15:44 spito *část

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