Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-20

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

All times shown according to UTC.

Time Nick Message
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/
09:45 xstill mornfall: k tématu githubu, pro github dost mluví to, že je možné tam mít issues aby ti je mohli přidávat i cizí lidi, a ještě je to dobré v tom, že se pak dá jednoduše prezentovat co člověk dělal, třeba potenciálnímu zaměstnavateli, protože je to na jednom místě. Zas je tam teda potenciální riziko, že se to jednou někdo doprasí a nebude to použitelná platforma.
10:29 mornfall když tak po tom githubu toužíte tak si ho mějte, ale já to používat nebudu...
10:39 xstill jakože se ti github příčí natolik, že bys tam nepoužíval ani issues?
10:45 xstill 15 stránek LNCS je dost málo :-/
11:37 xstill spito: zas někdo prudí se závěrečnýma zprávama, my to doufám už máme všechno hotový, že?
11:38 spito ano
11:39 spito teda...studentská projekt máme hotový
11:39 spito tvoje frmu si vyřeš sám :P
11:42 xstill dík, jasně, frmu si nějak vyřeším, já až tak nespěchám aby mi to vyplatili hned :-D
11:44 spito *tvoje => svoje (grammar nazi)
11:44 spito meh
11:47 mornfall xstill: tak to máš se vším, „proč nemůžeš být jak všichni ostatní a používat windows? (mac)“
11:49 mornfall někdo musí být aj jinej, jinak to tady můžem rovnou zavřít :P no a máte tu smůlu že jsem to zrovna já
23:15 spito joined #divine

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