Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-07-29

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:22 spito joined #divine
08:35 mito_ joined #divine
09:06 mito_ joined #divine
11:26 mito_ joined #divine
11:34 spito joined #divine
12:03 spito mornfall: mají streamovací sockety nějakou maximální kapacitu?
12:06 mornfall spito: getsockopt
12:08 mornfall (resp. setsockopt)
12:08 spito jj, dík
13:39 spito mornfall: si tak říkám - neměly by se čísla inodů ve FS taky recyklovat?
13:55 mornfall asi jo
19:05 xbarnat joined #divine
19:05 xbarnat Radsi sem, nazdar.
19:06 xbarnat mornfall: Ohledne toho clanku, pokud se vyrazne projevila redukce stavoveho prostoru, tak je podle me mozne to do toho clanku dat, tim co si naprogramoval, akorat je potreba to tam nekde vtesnat.
19:07 xbarnat Myslim si, ze by bylo vhodne to prodat uz i v contribution clanku, jako ze, nejen ze jsme store buffery implementovali na urovni LLVM, jako LLVM 2 LLVM traci, ale zaroven jsme byli schopni pouzit tau redukci.
19:08 xbarnat Uz to tu sice bylo store buffery s POR, (tusim Wolper na SPINu to mel s nekym).
19:08 mornfall ano, četl jsem related work
19:09 mornfall redukce je něco jako 28x
19:09 mornfall a není to tau redukce
19:10 xbarnat nj, to zni krasne, ale jako i prvni tau  redukce redukoval moc, a pak se ukazalo, ze blbe, zejo
19:10 xbarnat no pokud to je neco jineho, tak mozna neni to na separe clanek?
19:10 xbarnat s poradnou argumentaci o korektnosti a experimentalnim vyhodnocenim?
19:10 mornfall ne, je to jeden if v implementaci store
19:11 mornfall argument o korektnosti je na pár vět
19:11 xbarnat aha
19:11 xbarnat no tak separe paragraf vysvetlujici, proc to tak funguje?
19:12 xbarnat no a nevim teda kdo nameri experimenty ...
19:12 xbarnat protoze Vlada je tusim taky mimo
19:12 mornfall no, jsou tam 2 modely dohromady
19:13 mornfall je trochu hloupý že časy jsou z jeho laptopu
19:13 mornfall takže časy tam dát nemůžu
19:13 mornfall ale to je asi jedno
19:14 xbarnat tak co po me chces? jako informovat me, a zadat o souhlas, jestli to muzes do toho pridat? ano muzes ... pridej to tam, premer experimenty, aktualizuj abstract, contribution a resubmitni .. :-)
19:15 xbarnat mozna, to zvysi sanci na prijeti, jako prispevek do LNCS, coz by bylo dobre i pro GACR ...
19:15 xbarnat ... tady chcije ...
19:17 mornfall no, ptám se hlavně proto že to znělo dost jako že jsem dostal z článku padáka tak mi není jasný jestli je mi dovoleno na to hrabat
19:19 xbarnat :-) no kdybych te chtel vyradit, tak te vyradim a hotovo, ale jak si zaznamenal, neudelal jsem to, zejo .. :-)
19:20 mornfall eh
19:20 xbarnat takhle, zvazoval jsem to, jestli by to nebylo vhodne kvuli Vladovi, kdyz je to studentska konference
19:22 xbarnat a vypadalo to, ze tam nebudes mit ani carku textu a implementace ...
19:22 mornfall hm?
19:22 xbarnat ale za napad, impuls a pod, a celkove dlouhodobe vedeni tymu si to zaslouzis, tak jsme te tam nechali ... tak jsem to chapal ja ...
19:22 xbarnat ...komunikacni sum ... to neres
21:20 mornfall spito: pošli mi prosimtě ty výkazy jako PDFka (oba) a zítra to dořešíme a pošleme oficiálně
22:42 spito mornfall: pošlu ti to jako pdfka
22:42 spito dneska...ale až ráno
22:42 spito už to mám vyplněný i od studenta
23:08 spito joined #divine

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