Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-08-17

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:58 xstill_ btw. on poitr s nevalidním obj má být asi stejně reportovaný jako fault a ne jako assert v divine, takže ten null je jen specielní případ. On totiž může vzniknout i nějakou pointrovou aritmetickou počítám
06:59 xstill_ nebo minimálně něčím jako int2ptr . (+ 2^40) . ptr2int
06:59 xstill_ což by asi mělo vytvořit něco co je pointr (z hlediska shadow), ale není validní
11:03 evenfall xstill_: http://www.github.com/muennich/urxvt-perls
12:57 spito xstill: ty jsi vytvářel něco jako plán studia?
12:57 spito jo a co za předmět je DACSE?
12:58 spito xstill_: jo a který xstill jsi?
12:58 xstill_ spito: angličtina asi; asi vytvářel
12:58 spito no to jsi musel mít první semestr
12:58 xstill_ spito: to záleží kde sedím
12:59 xstill_ asi musel, ale nevím už co jsem tam sliboval
13:01 xstill_ spito: plánuješ studovat?
13:01 spito no tak jsem přijatý
13:02 spito přesně tak, jak jsme se dohodli s Jiříkem
13:05 xstill_ tak spíš jsem narážel na ten plán studia, co v něm bude…
13:09 spito no, to si bude muset Jiřík vymyslet
13:09 spito je na FI?
13:13 evenfall byl, ale zdá se že už není
13:13 spito náhodou nějaké pivo neplánujete?
13:13 evenfall náhodou jo, ale Jiřík tam asi nebude
13:14 spito a ta bude kdy?
13:14 evenfall kolem šestý asi
13:14 spito dneska?
13:16 evenfall jo dneska
13:34 spito kam jdete?
13:34 evenfall to nevím
13:34 spito takže alterna
13:34 spito :)
13:35 evenfall o tom pochybuju
13:36 spito kvůli jídlu, nebo špatné zkušenosti?
13:36 evenfall jídlo a moc lidí
13:37 xstill_ hlavně tu hospodu hledá Heňo, který tu teď není
13:41 spito tak až budete vědět kam, můžete mi dát vědět
13:41 spito třeba přijdu
14:47 spito jakou jste vybrali?
14:47 evenfall spito: pegas v centru
14:49 spito ack
21:40 xstill a už je to tady, rozvrhářka mi nacpala funcko na středu přesto, že jsem tam psal, že středu ne :-/
21:42 xstill (ale krom těch dvou hodin 12-14 mám volno)

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