Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-09-22

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

All times shown according to UTC.

Time Nick Message
12:08 mrek joined #divine
13:13 xstill mrek: žiješ?
13:41 mrek joined #divine
13:42 mrek xstill: tak trochu :) mal si pravdu, pocas Erasmu vela casu nemas
14:06 spito joined #divine
18:26 xstill no, to mohli říct trochu dřív než "tento týden vám chcem přesunout servery"
18:54 xstill hm, já bych to viděl na to vytvořit framework který by umožnil symbolické/abstraktní manipulace v LLVM v divine a nad tím pak budovat buď abstrakce, nebo případně i ty bitvektorové množiny
18:56 xstill jedna věc, tys párkrát mluvil o tom, že je pěkné, že můžeš vzít bitcode pro divine a ten stejný pustit, ale to stejně nejde, protože bys měl problém s pthreads
19:17 xstill každopádně se budu muset naučit celý llvm…

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