Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-04-20

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

All times shown according to UTC.

Time Nick Message
06:55 kejsty joined #divine
08:32 xstill_ mornfall: pamatuješ si proč jsi mi zakroužkoval každý výskyt "monitors" v tom odstavci o monitorech?
08:47 mornfall hodne se to opakovalo
08:56 xstill_ jo tak
12:15 kejsty joined #divine
12:18 mornfall kejsty: poke
12:33 kejsty mornfall: ano?
12:34 mornfall kejsty: ešte prednáška?
12:38 yaqwsx xstill: Odebíráš SV-COMP mailing list?
12:39 xstill yaqwsx: odebírám ale nečtu
12:40 yaqwsx xstill: Přeposlal jsem ti mail - je možnsot mít poster na TACASu
12:42 xstill to je hezké, ale nemáme poster ani možnost jak ho tam dopravit
12:43 xstill (díky za mail, ale nepříjde mi to realizovatelné)
12:43 yaqwsx xstill: Hádám ale, že 2 minuty pro SymDIVINE budeme chtít využít, ne?
12:43 xstill to by za to asi stálo
12:43 xstill yaqwsx: odprezentuješ si to?
12:44 yaqwsx xstill: asi můžu. Dvě minuty zvládnu :D
16:00 kejsty joined #divine
18:07 mornfall xstill: http://arxiv.org/abs/1704.05551
19:22 xstill díky
19:24 mornfall btw na release bych se vykaslal a na paper page dal tar

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