Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-07-04

| 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/
07:17 mornfall ano jsem mimo
07:17 mornfall → vlak
07:17 mornfall bude-li čas mrknu se
08:40 xstill tohle až tak nespěchá, nicméně, někdy bychom se měli sejít nad dlouhodobější vizí, mám pocit, že teď vidím tak na +- rok
13:24 xstill mornfall: Jakub má verifikovat LVMetad a ta věc jaksi nemá testy zdá se, máš nějakou ideu odkud začít, nebo jestli to vůbec má smysl?
13:24 xstill jestli by nebylo lepší vrhnout úslilí na něco jiného
17:04 mornfall unit testy nemá, ale ty jde samozřejmě napsat
17:05 mornfall odkud začít jsem mu už někdy vysvětloval
17:05 xstill aha, to se nepřiznal
17:06 xstill odkud?
18:54 xstill každopádně teda nevím moc jak ho směrovat aniž bych to sám musel nastudovat, což mi ale příjde těžce kontraproduktivní :-/

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