Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-20

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

All times shown according to UTC.

Time Nick Message
00:30 spito joined #divine
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/
08:22 xstill mornfall, ad ten Marek T. jsem se o tom krátce bavil s Jirikem, že pokud pomineme ochranu paměti tak fork se nedá udělat v userspace, ale na mpi nutně nemusíme mít fork
08:24 xstill On tam stejně bude muset asi být nějaký wrapper na úrovni programu, který dodá topologii

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