Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-11-26

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

All times shown according to UTC.

Time Nick Message
07:37 ilbot3 joined #divine
07:37 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:58 xstill joined #divine
08:58 spito joined #divine
17:41 spito joined #divine
19:14 mornfall joined #divine
19:14 xHire joined #divine
20:24 xstill mornfall: když tak koukám na to, že jsem zjevně přes jednu noc zvládnul napočítat dva modely co maj dohromady 1G stavů, tak na té auře dokážeme běžet tak max 3 dny spíš míň…
20:27 mornfall něco děláme blbě
20:28 mornfall je možný že ten 3.7 interpret je rychlejší?
20:47 xstill nechápu… proč blbě?
20:48 mornfall ale nic :)
20:52 mornfall jen že začíná trochu hrozit že bude zase záležet na algoritmu (hlavně pro nějaký to dve-on-llvm nebo tak)
20:53 xstill jakože interpreter nebude bottleneck?
20:53 mornfall jo no
20:54 mornfall život byl takový jednodušší když se mohlo rozhodit rukama a říct že llvm je prostě pomalý
21:11 spito joined #divine
22:56 xstill jo, například to začíná dost vyditelně brzdit komprese

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