Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-08-05

| 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/
07:32 xstill wtf. page limit 6 stránek na tom MUSEPATu, co to je zač?
07:37 xstill a na ten verification track nemůžu najít CfP jestli je to stejné, ale asi jo
07:40 mornfall no ale to není lncs
07:40 mornfall 6 ieee je min. 12 lncs
07:40 mornfall a je to stejný, ano
07:41 xstill aha
07:41 xstill takže zhruba jak na memics
07:52 mornfall zhruba
07:52 xstill a aj úrovní, nebo jen délkou článku?
07:53 mornfall to fakt nevim, spíš by mohl mít představu Jiřík
07:54 mornfall ten verification track bude asi docela seriózní
07:54 xstill no snad se tu Jiřík dneska objeví
08:10 xstill aha, ona je středa, já si říkál kde jste…
08:14 mornfall :D
10:34 AllZ0R joined #divine
10:34 AllZ0R hi
12:08 xstill hm, stává se nám někdy, že by Handle měl nastavený tag? Asi ne…
12:11 xstill ono je to vlastně jedno
12:14 xstill myslím, že dokážu udělat HC
12:15 xstill a nemuselo by to ani bolet
16:08 mito_ joined #divine
20:29 mito_ joined #divine

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