Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-04

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
22:41 xstill mornfall: prosím tě, mohl by ses podívat na http://paradise.fi.muni.cz/~xstill/tmp/thesis.pdf, konkrétně kapitolu 5? (Ta by měla být finální, zbytek (převážně related work a results + závěr) budu ještě měnit). Ocením jakoukoli zpětnou vazbu.
22:43 spito se ti to píše, když už to máš hotový :P
22:44 xstill nojo, ještě ta zatracená related work… a celkem s chutí bych si odpustil to dopisování o 2 v noci co jsem dělal u bakalářky :-D
22:46 xstill spito: jo a ptal jsem se dneska na tu vazbu, ten podnik sice změnil jméno, ale termovazbu pořád dělají, takže je to v pohodě :-)
22:46 spito :)
22:46 xstill trochu mě teda vyděsili když jsem šel okolo a koukám, že je tam jiný logo :-D
23:16 mornfall v 5.4.1 nějak upadla kvalita textu
23:16 mornfall a stuttering-free LTL nejspíš asi neexistuje
23:17 mornfall stutter-invariant možná?
23:18 mornfall (na druhý straně mám trochu dojem že jestli ta formule je nebo není stutter-invariantní nebude dělat rozdíl)

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