Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-05-13

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:00 xbarnat joined #divine
06:33 xbarnat paradise: chceme nove stroje do labu?
06:35 xstill xbarnat: no nevím nakolik má smysl do labu, možná bysme spíš využili nějaké nové pheme…
06:35 xstill jakože mě příjde, že lidi moc nepoužívají ty počítače v labu, a minimálně si nikdo nestěžoval, že by nestačili, ale to se spíš zeptej těch kdo je používají (Běďo, Jarda)
06:36 xstill (já příjdu na FI tak za hodinu)
06:54 xbarnat na nove pheme zapomen
10:37 ilbot3 joined #divine
10:37 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/

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