Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-06-18

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

All times shown according to UTC.

Time Nick Message
01:28 xstill joined #divine
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:55 xstill tak co? Jak to tam vypadá?
09:03 mornfall vesele :-)
09:04 mornfall mám hlad :D
09:07 xstill :-D, tak už se blíží polední pauza ne?
09:08 xstill vědí něco?
09:08 mornfall no, zatím celková známka jiná než B nepadla
09:09 mornfall asi dvě C ze státnic
09:09 xstill tak to je celkem dobrý ne?
09:10 mornfall asi jo :-)
09:11 mornfall teda já bych to lískal, ale je to INVS
09:11 mornfall maj prej semestr teoretické informatiky, všeho všudy
09:12 xstill no oni maj ten veselej předmět co učí černá a je to úvod do informatiky + automaty + vyčíslitelnost a složitost v jednom myslím
09:13 xstill daj se poslouchat ty jejich bakalářky?
09:14 mornfall je to docela veselý :)
09:15 mornfall sexting tu padl už kolikrát :-)
09:16 xstill super
09:16 mornfall docela se tu řešilo co (z právního hlediska) se šetnáctiletou slečnou která zveřejní fotografie sama sebe se sexuálním obsahem...
09:16 mornfall a jestli by měla být stíhána pro šíření dětské pornografie...
09:19 xstill no spíš pro blbost, jenže ta není trestná
09:20 mornfall no, technicky naplňuje skutkovou podstatu
09:20 mornfall takže otázka je fakt jen jak se k tomu postavit, zákon je v podstatě jasný
09:22 mornfall a maj teda každej jednu otázku právnickou a to je takový detailismus
09:24 xstill co ten právník tam v komisi?
09:26 mornfall jo dobrý
09:55 mornfall tak padlo první Fko... na právu :-)
10:41 mornfall komickej vrchol dne :-)
10:42 mornfall jednak si všichni vykaj a druhak „paní doktorka Svoreňová“ :D
10:48 xstill :-D
10:49 xstill to řekl kdo?
10:49 mornfall Ivana
10:49 mornfall teda ona řekla pani
10:51 xstill no, nepřehání to trošku?
10:51 mornfall :-))
11:09 mornfall tak se mi zdá, že bych do těch protokolů mohl psát docela cokoliv
11:18 xstill jakto?
11:20 mornfall hmm, potřebuju sehnat kafe
12:05 xstill hm, nechceš třeba pushnout ten můj včerejší patch?
12:05 mornfall vidíš, chci
12:06 mornfall já ho aplikoval do svýho stromu a při tom to zůstalo
12:06 xstill :-)
12:48 mornfall já asi umřu
12:48 mornfall na osmihodinový tahy nejsem stavěnej
12:50 xstill no loni jsi to nakonec přežil ne? :-D
12:51 mornfall ale jo
13:20 xstill mornfall: poslal jsem ti patch na ty extension v NDFS
13:20 xstill (to abys tam měl co číst)
13:29 mornfall vypadá to OK
13:29 mornfall až na ty veselý masky :P
13:29 xstill co je na nich veselýho?
13:30 mornfall je to takový trochu 90s ;-)
13:31 xstill tak ono to nejde udělat jinak, protože bitfield z atomiků neuděláš
13:33 xstill spíš mě štve, že tam musí být geter a seter
13:35 mornfall tak to je daný tak trochu těma maskama :-)
13:35 xstill no jo, ale jak bys to chtěl dělat jinak?
13:37 xstill já jsem spíš zvědavej jestli to pomůže
13:42 xstill hele já neumím kopírovat copyright :-D
13:42 xstill jsem si napsal do weakatomic 2013
13:42 xstill mornfall: mám si to opravit? Pokud jsi to ještě nepushnul.
13:43 xstill (při té příležitosti bych mohl opravity i ty překlepy v tom komentáři)
13:45 mornfall nepushnul, jak chceš
13:48 xstill odesláno (jen ten jeden)
14:31 mornfall ha, došla mi baterka
14:32 mornfall atomickej bittuple by napsat šlo, myslim si
14:33 xstill jistě že šlo, ale je to trochu zbytečný, navíc celá ta šaškárna je kvůli tomu aby se nezvětšino extension, jinak bych tam vrazil 2x atomic< bool > a bylo by
14:33 mornfall :-)
14:33 mornfall můžeš specializovat std::tuple< bool, bool > ;-)
14:33 mornfall a vrazit ho do atomicu
14:33 mornfall nevim
14:34 mornfall setter/getter by šel udělat přes proxy
14:34 mornfall ale asi to je celkově jedno
14:34 mornfall klidně to může zůstat jak to je, já jen teoretizuju
14:45 xstill jo, možná, kdyby to bylo potřeba takhle použít na víc místech
14:45 xstill mohl bys to pushnout? u mě ten win build prochází, jenže u mě to prozázelo i před tím
14:53 mornfall ale consisten*d* ti tam zůstalo :D
14:54 mornfall a je po státnicích
14:54 mornfall mám z toho hlavybol :D
14:54 xstill hm, no protože patche jsem si po sobě nepřečetl
14:55 xstill jaká byla ta druhá půlka?
14:56 mornfall různorodá
14:56 mornfall docela dost lidí vyletělo
14:56 mornfall ale spíš na práci než na otázkách
14:57 mornfall Jarda vytáhl statistiku a ananas, byl z toho nadšenej. :-)
14:57 xstill hm, jakto? To byly tak špatný?
14:57 xstill (ty práce)
14:58 xstill no to bych byl taky nadšenej
14:58 mornfall jeden student odevzdal prázdný desky a státnice rovnou vzdal
14:59 mornfall takže to bylo hned F F F
14:59 xstill super
14:59 mornfall jeden měl práci na 14 stran, navíc dost od věci
14:59 mornfall takže posudky sice na C C ale odešel s Fkem

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