Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-26

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
17:11 mornfall no, úplně jsme to nevyhráli
18:36 mornfall twitter radí: „If at first you don't succeed, panic because grant application deadline.“
19:11 xstill hm, to jsme dopadli dost špatně co?
19:12 mornfall tak, mohlo to být horší (mohlo pršet)
19:16 xstill tady prší
19:16 xstill ne že by to bylo nepříjemný po 3.5 hodinách na senátu…
19:20 mornfall 3.5 hodin? wtf :-)
19:21 xstill no, výroční zpráva, dlouhodobý záměr a přestavba fakulty, to se prezentovalo "širkoké akademické veřejnosti" = bylo nás asi 30 v D1
19:24 mornfall super no :)
19:25 mornfall a co je teda dlouhodobý záměr?
19:27 xstill navečeřet se…
19:27 mornfall to máš dost krátký horizonty :D
19:28 mornfall (ale bez večeře by pravda mohly být ještě kratší)
19:35 xstill v podstatě je to zatím jen hrubej návrh, takže se to bude řešit ještě v pondělí na kolegiu
19:37 xstill pokud bys to chtěl tak ti to asi můžu poslat
20:07 spito xstill: tady je taky zájem :)
20:08 spito a co s tím článkem? Budeme to přepisovat, anebo se na to vykašleme? :D
20:11 xstill spito: odesláno (ono je to asi už i někde k dohledání alespoň část teda, nebo teda Martin už o tom věděl tak včera)
20:12 xstill spito: nevím, přečteme si recenze pro začátek asi?
20:13 spito Tak já si to už přečetl
20:13 spito Hlavně ten druhý recenzent se vyřádil.
20:14 xstill dlouze… z toho jak jsem to proběhl, nečelt jsem to
20:17 spito No ten napsal něco jako: Vzali jste věci, které jsou známé, nějak jste je zkombinovali a publikujete to jako výsledek, který ani neumíte popsat.
20:18 xstill super, časem si to přečtu…
21:53 mornfall hm, tak se mi zdá že překlad gcc clangem generuje víc warningů než divine :P
21:54 xstill proč překládáš gcc clngem?
22:00 mornfall protože potřebuju gcc (teda spíš gcj)
22:00 mornfall long story :D
22:02 xstill to asi nechci slyšet, to j se mi tam nelíbí
22:10 spito Na co člověk potřebuje gcj?
22:11 xstill na nic dobrýho řekl bych

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