Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-02-12

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

All times shown according to UTC.

Time Nick Message
11:18 mornfall 18.3. od 12:30 je první kvartální meeting RH projektů
11:21 mornfall spito: pokud budeš moct přijít, tak bys mohl odprezentovat výsledky, jestli nemůžeš tak mi je aspoň nachystej na pár slajdů
11:22 mornfall xstill: ty bys taky měl přijít a ideálně udělat párminutovou prezentaci plánu na první semestr
11:23 xstill jo, to abych do té doby nějakej udělal :-D
11:23 spito to je po avantázce, si ráno přivstaneš a to pude
11:23 xstill naštěstí ne hned po
11:24 spito až den po odpočinkovém dni
11:28 xstill mornfall: jinak teď dopoledne tu byl Kratochvíla z Honeywellu jak prej se daj v DIVINE dělat atomický propozice v Cčku, tak z toho byl takovej zklamanej…
11:30 mornfall už přišel na to že vyrobit korektní CESMI nedokáže? :-)
11:30 xstill a Vojta Havel zas verifikuje s DIVINE něco v AVG a zjistil jsem díky němu, že poslední release je už dost starej
11:30 xstill teď tvrdil, že CESMI sice on vyrobit dokáže ale žádný z jeho kolegů ne :-D
11:31 xstill no nebyl úplně rád, když jsme mu říkali, že by to měl překládat do LLVM te simulink
11:31 mornfall dyť už roky píše nějakej bazmek co to má z toho simulinku převést automaticky
11:32 xstill však jo, něco mají
11:32 xstill ale že jim tam pořád chybý něco (nějaký bloky, já nevím jak ten simulink funguje) a že to moc nikdo není schopnej tam dopsat
11:32 mornfall to asi nebyl, protože zhruba tohle jsem mu řekl někdy v 2010 :)
11:35 xstill jako že má použít LLVM, jo?
11:35 mornfall jo
11:36 xstill a proč nechtěl?
11:37 mornfall ono hlavně C ze simulinku syntetizujou furt
11:37 mornfall tzn. přeložit to syntetizovaný C na LLVM a prohnat divinem to by mohlo být mnohem užitečnější beztak
11:38 mornfall on tam je nějakej problém s certifikací, ale co si matně pamatuju tak tohle by bylo stejně lepší aj z tohoto hlediska
11:38 mornfall tak vlastně nevim
11:39 xstill no s certifikací je to stejně marný, to bys musel mít certifikvanej divine pak :-D
11:39 mornfall ale možná chtěli něco na čem můžou dělat hned, a v tý době bylo LLVM v divinu asi spíš koncept než hotová věc
11:39 mornfall kdo je ten Lukáš Tomovič btw?
11:39 xstill nevím, ale doufám, že mu Jiřík odepíše/odepsal
11:41 xstill dokonce má zapsaný C++ se mnou teď
11:41 mornfall no, studuje PDS a z Cčka má za A
11:42 xstill jojo vypadá nadějně
11:44 spito C++ má taky za A
11:44 spito (teď s Nikolou)
11:45 xstill hm, prej mu mám odpovědět já
11:46 mornfall tak ho pozvi buď na úterý nebo na pátek na pokec?
11:46 xstill spito: jo a Jiřík říkal něco o přinášení chlebíčků na státnice, že prej je to dobrý… a vypadal že to myslí vážně
11:47 mornfall haha :-)
11:47 spito tak oni tam ty chlebíčky jsou pro komisi
11:47 xstill mornfall: jo, napíšu mu a domluvíme se snad nějak
11:47 spito co si pamatuju
11:47 spito nebo že bych měl donést chlebíčky já?
11:47 mornfall spito: tam by default žádný nejsou
11:47 spito to zavání korupcí
11:47 xstill spito: no právě že my že bychom je měli donést prej
11:48 spito do toho nejdu
11:48 xstill no mě taky, navíc se mi nechce dělat chlebíčky :-D
11:48 mornfall že prej korupcí
11:48 mornfall to chci vidět tak levnou komisi :D
11:50 spito krom toho se domnívám, že za stravování na pracovišti si zodpovídá každý zaměstnanec sám, případně to má být v režii zaměstnavatele
11:50 xstill :-D
11:51 spito (nejsme ve feudalismu, abych jako nejnižší poddaný krmil svého pána)
11:51 mornfall spito: no, pointa je spíš že hladová komise je pro tebe spíš nevýhodná
11:51 spito je pravda, že moje komise je před obědem
11:51 spito třeba to budou chtít mít z krku co nejdříve
11:51 xstill moje taky právě
11:51 xstill nebo tě snědí
11:52 spito taky možnost
11:52 mornfall spito: a vzhledem k rozvrhu státnic to má komise docela blbý :)
11:52 spito proto si myslím, že by se na zajištění občerstvení měl podílet zaměstnavatel
11:55 mornfall napiš dopis rektorovi
11:56 mornfall jak jste to řešili u maturit? :-)
11:58 xstill tam se to nějak řešilo za třídu u nás
11:59 mornfall (nicméně já bych se na to taky vykašlal, jen teda ne proto že bych si myslel že se o to má starat škola)
11:59 xstill :-)
12:10 spito mi to teda ještě přijde trochu nedůstojné

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