Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-29

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

All times shown according to UTC.

Time Nick Message
05:19 mornfall good day, sunshine!
05:19 mornfall *zív*
07:30 mornfall No jo, jsem u Jiříka.
07:30 mornfall Přijdu brzo.
07:51 xstill zatím jsem tu sám
08:08 spito joined #divine
13:32 xstill mornfall: neumíš náhodu slabou bisimulaci?
13:35 spito ne, nemá ji rád
13:35 mornfall :D
13:35 mornfall slabá je to stejný co silná jen jsou tam \tau* všude
13:35 mornfall iirc
13:37 xstill jo ale máme s tím problém
13:40 mornfall jakej?
13:41 xstill máme příklad a nedokážeme se rozhodnout
13:42 xstill Q = \tau . a . a . nil + \tau . nil
13:43 xstill R = \tau ( a. a. nil + \tau . nil )
13:43 xstill jestli jsou slabě bisimulačně ekvivalentní
13:43 xstill kdyby se ti náhodou chtělo
13:44 mornfall no, nevidím důvod proč by nebylo
13:44 mornfall i když :-)
13:44 xstill ...
13:45 mornfall :-P
13:46 mornfall asi je, protože když R udělá a, tak už je commitnutý na tu levou větev
13:46 mornfall takže ho Q může sledovat
13:48 mornfall máš tam někde definici? :)
13:49 xstill my jsme nějak přesvědčení, že ne, co když R udělá jen tau? Q nic, a pak Q udělá tau....
13:50 mornfall to záleží právě na tom jak to je přesně definovaný
13:50 mornfall ale já myslim že to je tak, že i kdybys R dovolil udělat tau, tak Q může neudělat nic, protože tau je vždycky pod hvězdičkou
13:51 mornfall na tau můžeš vždy odpovdět nic
13:52 xstill hmm
13:57 xstill mornfall: nechceš nám přijít pomoct do B410?
13:58 mornfall kolik vás tam je? :)
13:58 xstill 6
13:59 mornfall ale jo, já se stavim
14:00 xstill :-)
15:49 spito joined #divine
15:50 spito takže aby bylo jasno - dík xstill, je to tak....pro ostatní: pokud do lambdy dáte volání metody a nedáte před to "this->", tak dostanete v GCC ICE jak vyšitý
15:53 xstill :-) jen doufám, že o tom v gcc vědí
16:31 xstill WTF, ten static assert v MAPu selže při kompilaci gcc
16:49 xstill někdo by to mohl vytáhnout ven ověřit a poslat jako bug do gcc...
17:37 spito xstill: tak jsem to poslal
17:37 spito i s předupravenou buňkou pro komprimované vkládání
17:39 spito tak nic, patch je Å¡patnÄ›
17:44 xstill v pohodě, já už podruhé tento týden odrovnal hydru...
17:45 mornfall builded -> built ;-)
17:45 mornfall ten static assert bys mohl vyhodit :D
17:46 xstill mohl, ale teda to nic nemění na tom, že v GCC je to špatně
17:48 mornfall no a není to proto že tam je unpacked podstruktura?
17:50 spito netušíte, proč dostanu error, pokud chci std::atomic< Blob >?
17:50 spito error: function ‘std::atomic<_Tp>::atomic() [with _Tp = divine::Lake::Pointer]’ defaulted on its first declaration with an exception-specification that differs from the implicit declaration ‘std::atomic<divine::Lake::Pointer>::atomic()’
17:51 xstill atomic asi očekává noexcept konstruktor
17:52 xstill nebo tak něco, mrkni se jaké jsou požadavky atomicu na strukturu
17:54 spito pak na to mrknu
17:54 spito mornfall: ten patch je blbÄ›
17:55 spito jdu pít
18:05 mornfall metyl?
18:48 xstill mornfall: můžeš pushnout odstanění toho static_assert? Chtěl bych vidět zelené buildy ;-)
18:55 mornfall pushnu a jdu na vlak :-)
18:56 mornfall jestli se mi to sem dosyncuje
18:57 xstill díky
20:11 mornfall Dostat se 60km z čajovny dom je podstatně rychlejši než překlad divinu... ještě nedojel ani jeden build. :-P
21:50 spito left #divine

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