Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-09

| 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/
15:37 xstill_ mornfall: nebudeš náhodou v pátek v Brně?
15:37 mornfall neměl jsem v plánu, proč?
15:38 xstill_ Tedeáš se ptá kdy by se s náma mohl sejít
15:44 mornfall počítám že ve středu v 6 není úplně dobrej čas, co?
15:48 xstill_ můžu se ho zkusit zeptat, ale máme rozumnou jistotu kdy ten RH skončí?
15:51 mornfall já myslim že 2 hodiny jsou docela rozumný
15:53 mornfall ten pátek bych nechal jako zálohu (kdy?)
17:30 xstill_ napíšu mu
17:33 xstill_ máš nějaké preference v pátek?
17:33 xstill_ já spíš dopoledne
17:36 mornfall mně se nebude chtít vstávat... tak někdy po desáté?
17:38 xstill_ OK

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