Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-12

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

All times shown according to UTC.

Time Nick Message
00:09 Erbureth joined #divine
01:05 Erbureth joined #divine
03:39 ChanServ joined #divine
07:12 spito joined #divine
07:42 spito mornfall: hoj, pošleš ten můj patch ohledně haše, nebo počkáš, až nahradím celou hašovací funkci spooky hashem?
07:45 mornfall Dobrá otázka. Já si předtim nevšim žes to změnil až na úrovni hashovací fce. Ale můžu to pushnout.
07:45 spito však ono to je jedno
07:45 spito jenom jestli si to mám revertovat nebo ne :)
08:59 xstill mornfall: Tomáštík si stěžuje, že jsi mu bloknul pheme
09:10 spito tomu teda nezávidim
09:19 mornfall Vím o tom.
09:19 mornfall Když ono pak umíraj buildy protože gcc hodinu swapuje.
09:20 mornfall A to co běží jemu nejspíš stejně tak.
09:26 xstill tak mu to budeš muset vysvětlit
09:27 xstill nebude z toho mít radost
09:27 Erbureth joined #divine
09:36 xstill mornfall: jak vycentruju tabulku uvnitř figure?
09:37 mornfall \centering
09:40 xstill nějak se tomu nechce, to se používá stejně jako třeba \small?
09:40 mornfall No, před začátkem tabulky.
09:40 mornfall Ale funguje to jenom dokud je ta tabulka užší než místo co na ni máš.
09:40 mornfall Prostě to centruje přidáním prostoru vpravo.
09:41 mornfall Vlevo.
09:41 mornfall Meh. :)
09:41 xstill to je jasný, mě příjde že tam místo je ale neposune se to
09:44 xstill hmm tan jsem našel alternativu \begin{center}
09:44 xstill a to funguje
09:44 xstill mám asi nějakej divnej latex
09:44 mornfall No, \begin{center} sice funguje, ale vyrábí vertikální mezery.
09:44 mornfall A to není vždy žádoucí.
09:45 xstill hmm, právě jsem to zjistil
09:45 xstill sakra
09:46 mornfall Ale \centering místo \begin{center} by fakt mělo fungovat.
09:55 xstill hmm pokud se \cetering ukončí před \caption tak to nefunguje, jinak jo
10:04 mornfall No, má nějakej smysl zavírat \centering do groupy, když to je ve figuře?
10:10 xstill no já měl  v grupě small, tak jsem to připsal za to
10:40 xstill fuj, tak a existuje i závěr
11:20 xstill mornfall: kdyby jsi měl čas, mohl by ses podívat na to co jsem vyplodil u experimentů a závěr? pdf na webu jsem aktualizoval
11:21 spito no, ale on mornfall jede dnes na výlet
11:21 xstill no jo vlastně
11:22 mornfall Jede.
11:22 xstill leda by sis to ještě stihl stáhnout a pak se nudil v letadle...
11:22 spito to bude dlouhá cesta....
11:22 spito a může se v letadle pracovat?
11:23 spito nemají problém s elektronikou? nám zakazovali i foťáky
11:23 spito (ale stejně jsme fotili a točili :D)
11:23 xstill to je dost na nic
11:25 spito ale tak je to pár let zpátky....
11:26 mornfall xstill: Kdybys ten text vysadil na menší formát tak si to stáhnu do čtečky... :-)
11:26 xstill doufám, že mi nebude internetový provider nadávat za to že dělám rsync kompletních dokumentů z Brna domů...
11:27 xstill mornfall: no to můžu skusit, co mám říct tex-u?
11:27 spito hele, od 1TB dat je FedEx rychlejší než net
11:27 xstill ale teda vyjedou tabulky ze stránek ale to asi teď nevadí
11:27 spito a od 2TB je rychlejší i Česká pošta :D
11:28 xstill spito: no já nemám 1TB a rsync dost pomůže když část dat už na druhé straně skoro je
11:28 xstill a nepotřebuju k tomu ten disk navíc
11:28 spito jop, jenom že i velké firmy alá google takhle řeší transport dat
11:28 xstill spito: u české pošty bych měl dost obavu že ten disk nebude po doručení fungovat
11:29 spito tak nevím
11:29 spito a v africe zkoušeli holuba s SD kartou a byl rychlejší než africa net :D
11:30 spito xstill: nemáš náhodou nějaký skript, který vytáhne data z krmítka?
11:31 xstill mornfall: je https://anna.fi.muni.cz/~xstill/thesis/bc/thesis_a5.pdf čtečkou-akceptovatelné?
11:32 xstill spito: no to co mám tahá data jen z jednovlánkového a podle komprese, je to dost specifické
11:32 mornfall Jo nejspíš jo.
11:33 spito xstill: ok :)
11:35 xstill v podstatě to dělám tak že z toho vygrpuju podle to co potřebuju do samostatných souborů a pak to parsuju haskelem
11:35 xstill spito: antea:/home/xstill/repo/resultParser/process by ti mohl možný být užitečný
11:35 xstill ta haskellová část asi ne
11:39 xstill hmm tak aktualizovat na kernel 3.9 týden před odezvdáním bakalářky fakt nebudu ;-)
11:39 spito ty vláďo, kdy tě tak můžu citovat?
11:42 xstill jak kdy?
11:43 spito no píšu seznam literatury
11:43 spito a tam se má psát i datum citace, ne? aspoň peňáz to po nás chtěl
11:44 xstill no to je zajímavý problém a nevím jak ho vyřešit
11:44 xstill protože mě nemůžeš citovat teď protože to tam ta práce není, a až tam bude tak zase bude pozdě na to abys mě citoval
11:44 spito hehe :)
11:45 xstill a citovat mě potom co to odevzdáš je taky hloupé
11:45 xstill a navíc je tam cyklus
11:45 spito jo
12:37 mornfall Jakej zas datum citace.
12:37 mornfall To je volovina.
12:38 mornfall Prostě vyrob .bib hotový a zveřejněný práce, nepiš tam žádný URL a máš.
15:08 spito hmm, tak jsem doplnil do textu obrázky a pseudokód a jsem na 30 stranách
15:09 spito a to ještě nemám tabulky s měřením
15:18 Erbureth|2 joined #divine
15:28 xstill spito: když je toho víc tak to nevadí ;-)
15:33 _ilbot joined #divine
15:33 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
16:24 mornfall No, blíží se to.
16:26 mornfall Co bych si tak měl vzít. :-)
16:31 spito tak ntb
16:31 spito svého milovaného plyšáka
16:31 mornfall Plyšák jede zejtra do Belgie...
16:32 mornfall Kartáček už mam.
16:32 spito zauvažoval bych nad věcmi běžného života, ale netuším, jak budeš ubytovaný
16:32 mornfall Počítač balim poslední. :-)
16:32 spito nabíječka je taky důležitá
16:32 spito peněženka, doklady
16:32 spito batoh na výlety?
16:32 spito foťák
16:33 spito nějaké oblečení odpovídající předpovědi počasí
16:34 spito čtečka, sluchátka
16:34 spito mornfall: víc asi nevím, většinou jsem jezdil mimo civilizaci
16:35 mornfall Jo, to asi všechno mám.
16:36 mornfall Já se radši vždycky ptám, občas něco zapomenu...
16:36 spito však jasný
16:37 spito nevím jak by se tvářili třeba na kapesní nožík
16:37 mornfall Škaredě.
16:37 mornfall Ostrý a špičatý věci nechávám doma.
16:37 spito i v kufru?
16:37 mornfall Já žádnej nemam. :-)
16:37 mornfall Prosimtě.
16:37 mornfall Nejsu včerejší. :D
16:37 spito jo, jedeš do civilizace
16:37 mornfall Přesně tak.
16:53 Erbureth|2 joined #divine
16:58 spito a víš co mornfalle?
16:58 spito něco pěkného nám dovez :
16:59 spito :)
17:16 mornfall Španělskou chřipku.
17:37 mornfall Tak tedy hrr.
17:37 mornfall Bajbaj.
19:26 spito xstill: jak se dělají tabulky v latexu?
19:27 xstill nějakou ti pošlu
19:27 xstill \shorthandoff{-}
19:27 xstill 1326 \begin{tabular}{|l|l|c|c|c|c|c|c|c|c|c|} \hline
19:27 xstill 1327     \multicolumn{2}{|l|}{size of instance}
19:27 xstill 1328                           & 8    & 9    & 10    & 11    & 12   & 13 & 14 \\ \hline
19:27 xstill 1329     \multicolumn{2}{|l|}{memory estimate}
19:27 xstill 1330                           & 147  & 803  &       \\ \hline
19:28 xstill 1331     memory & normal       & 268  & 923  & 4478  & 23352 &            \\ \cline{2-9}
19:28 xstill 1332     [MB]   & compressed   & 185  & 211  & 321   & 826   & 2916  & 19420 &    \\ \hline
19:28 xstill 1333     \multicolumn{2}{|l|}{millions of states}
19:28 xstill 1334                           & 0.12 & 0.55 & 2.5   & 11.1  & 48.8 & 212.9 &    \\ \hline
19:28 xstill 1335     \multicolumn{2}{|l|}{compression ration}
19:28 xstill 1336                           & 69\% & 23\% & 7.2\% & 3.5\% &  \\ \hline
19:28 xstill 1337 \end{tabular}
19:28 xstill 1338 \shorthandon{-}
19:29 spito j, dík
19:29 spito za chvíli budu otravovat s grafem :D
19:30 spito ale ne, snad znásilním gnuplot
19:31 spito hehe, aura, shared, 5 vláken, dummy: 94s
19:31 spito antea, shared, 5 vláken, dummy: 47s
19:35 xstill veselé, na to že mají relativně srovnatelné CPU
19:42 spito paměti bych řekl
19:43 spito jo a taky vytíženost sběrnic....
19:43 spito ono asi docela záleží na frekvenci RAM
19:45 xstill hmm podívám se jestli se frekvence RAM dá zjistit
19:47 xstill zdá se že pro normálního uživatele to nejde
19:51 xstill antea má 6x 4GB po 1333MHz
19:53 spito jasný, aura je kolik let stará? tehdy byly normální 600 a 800 MHz paměti
19:54 xstill tak 3
19:54 xstill někdo vraždí pheme01 a 02
19:55 xstill mají load 100!
19:55 spito zabít
19:55 xstill (naštěstí to není faktoriál)
19:55 spito ...vrahy...
19:55 spito to je jasné, že to je zvolání v údivu
19:55 spito ...rozhořčeném...
19:56 xstill nicméně na 01 není vůbec jasné co to způsobilo
19:57 spito tak něco tam běží...
19:58 xstill jak se mu to skara povedlo?
20:00 xstill no nevím ale běží tam asi milion kompilací od uževatele xtomast1
20:01 spito vy jste mu zase povolili přístup?
20:01 spito není to hra na kočku a na myš?
20:01 xstill nevím
20:01 xstill právě jsem mu zabil terminál
20:02 spito ten bude mít radost
20:02 spito protože tohle nejde řešit stylem "když se nám to nebude líbit, tak ti to vypneme"
20:03 spito když už má povolený skrz Brima přístup, tak by se mu tohle stávat nemělo, ale zase naopak on musí respektovat, že se ty stroje využívají i pro jiné věci, než je zoufalé měření do bc
20:03 xstill no já vím ale jako ty stroje pomalu začínají odmítat rootovské ssh
20:04 xstill jo tak já bych mu ten přístup býval nechal
20:05 spito a už jste ho upozorňovali, že se na fémách dělá i něco jinýho než jeho bc?
20:05 xstill jo, mornfall mu psal mail, jen nevím jestli ho tam zase pustil nebo ne
20:09 xstill sakra to je jak kdyby spustil make -j
20:10 xstill už se to stabilizovalo
20:11 spito vynadej mu
20:11 spito i když, mě se to na antee už taky povedlo :D
20:11 spito ale kompilovaly se pouze instance, takže jako kdyby "make -j 6"
20:11 xstill no právě
20:12 xstill to tak bývá s divine
20:26 xstill spustil jsem na auře nechutný experiment
20:34 xstill po 55 hodinách pokořený největší timed model který jsem si předsevzal
20:35 xstill 992 milionů stavů, trochu jsem doufal, že se dostanu přes miliardu
20:39 spito xstill: že zkoušíš i paralelní výpočty, nějak to ovlivní kompresi?
20:40 spito xstill: na čem jsi ho verifikoval?
20:40 spito s kompresi a nad partitioned, ne?
20:40 xstill no tahle šílenost co tam běží teď má zjistit jo to s tím udělá
20:40 xstill je to nad shared
20:40 xstill ale to už do bc asi fakt nejde
20:40 xstill těch 55 hodin bylo na auře 75GB ram, 1 vlákno
20:41 spito až tam bude shared, tak to nebude trvat 55 hodin
20:41 spito kolik to sežralo paměti?
20:44 xstill to ne ale teď testuju o 1 menší instanci, ta běžela "jen" 11 hodin s 20GB ram
20:45 spito to by antea zvládla jak prd
20:45 spito se shared na 16 vláknech to máš za oběd
20:46 xstill na antee nemůžu pustit něco s 20GB ram, by to nedala
20:46 xstill navíc to může mít víc
20:47 xstill nevím co to přesně udělá s tou starou tabulkou
20:47 spito antea má 24
20:47 spito pokud by tam nejelo nic jinýho, tak bych řekl, že v pohodě
20:48 xstill tam se vždycky děje něco jiného
20:49 spito nojo
20:49 spito ale bylo by to rychlejší než na auře
20:49 xstill třeba teď je volných 7GB, dalších 13 je v cache, takže 20GB by bylo úplně hraniční
20:49 xstill ale s tím si stejně budeme hrát po 20
20:49 spito jasný
20:52 xstill mám docela veselý graf, který by bez posledního měření s ntree vypadal divně
20:52 xstill ještě že tu auru máme
20:52 spito hehe, ti pošlu obrázek s tabulkou rychlostí
20:53 spito to je test nad dummy generátorem
20:54 spito s naalokovanou pamětí tak, aby se tabulka nemusela zvětšovat
20:55 xstill aura má problém
20:55 spito že?
20:55 spito :)
20:55 xstill zvlášť na to že antea ani nemá 16 skutečných jader
20:55 spito ale tam to prostě škáluje tak nějak samo
20:55 xstill btw, ten graf https://anna.fi.muni.cz/~xstill/thesis/bc/thesis.pdf strana 32
20:59 spito tyjo, tys toho naměřil docela dost
20:59 spito já mám jenom dva modely
21:00 xstill zajímavý, shared visitor je pamětově o dost úspornější než partitioned na 1 vlákně
21:03 spito jak jde udělat popisek v buňce tabulky na víc řádků?
21:03 spito prostě to zalomit
21:05 xstill já to dělám tak že dám ten popisek skutečně na víc řádku a nedám mezi ně rámeček
21:06 xstill (to je to \cline{-} místo \hline)
21:07 spito aura nemá 64 plnohodnotných jader, že?
21:07 spito jenom 32
21:09 xstill má 64 plnohodnotných
21:09 xstill hyper threading je tam vypnutý
21:09 xstill ty procesory jsou 8-jádra
21:10 spito to je možná škoda, že to je povypínaný
21:10 spito i když....chtělo by to zrychlit RAM a sběrnice :)
21:11 spito jak se dá pojmenovat hyper threading?
21:11 spito mrzáčkama je nazvat nemůžu
21:11 spito nejsou to virtuální jádra?
21:14 xstill prostě hyper-threading bych napsal, ono se to špatně vysvětluje
21:14 xstill (zvlášť když nejsi Intel)
21:21 Erbureth joined #divine
21:31 xstill jdu spát, tak zítra
21:33 spito už?
21:33 spito :D
21:33 spito snad nebude pršet
21:33 Erbureth jaký je vůbec náhradní program?
22:07 spito left #divine

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