Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-06-17

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

All times shown according to UTC.

Time Nick Message
00:04 xHire joined #divine
06:46 mornfall ojojoj
07:10 spito joined #divine
07:33 mornfall spito: no nazdar
07:33 mornfall doufám že umíš logiku :-)
07:48 xstill mornfall: ty odtamtud můžeš komunikovat?
07:50 mornfall proč bych nemohl?
07:53 xstill nevím
07:53 xstill jakou má komise náladu?
07:54 mornfall v pohodě, jen trochu teplo :-)
07:54 mornfall zatím všichni prošli
07:54 mornfall i přes incident s logikou
07:55 xstill máte tam klimatizaci? asi ne co?
07:55 mornfall :-) ne
07:55 xstill jaký incident s logikou?
07:55 xstill klimatizace by do místostí kde jsou státnice měla být...
08:04 mornfall nikdy nebyla (klimatizace)
08:04 mornfall incident -- student nevěděl co je predikátová logika
08:04 mornfall resp. neuměl popsat kdy je formule pravdivá
08:14 xstill aha
08:14 mornfall a už mám na stole protokol nějakého Weisera, neznám ho náhodou?
08:15 mornfall (kterej se mezitím potí v kvádru v C525 :D)
08:17 xstill doufám že mu to půjde
08:17 mornfall :-))
08:17 mornfall to pocení mu určitě jde dobře :D
08:17 mornfall nevím co vytáhl
08:18 mornfall teď tady někdo maturuje s definicí dosažitelnosti
08:18 mornfall a souvislosti :-)
08:18 xstill :-D
08:19 xstill snad nebudeš mít důvod se smát ani Jirkovi ani mně
08:20 xstill no já se půjdu pomalu přesunout na FI, doma už nevidržím
08:21 mornfall nevydržím* :-)
08:21 mornfall (důvod se vždycky najde, ale nejsem vysloveně škodolibý...)
08:21 xstill ještě že nestátnicuju z češtiny
08:22 mornfall to by bylo jistě veselé :)
08:22 mornfall ale na tohle by se tam asi neptali :-))
08:23 xstill :-D náhodou odmaturovat z češtiny jsem zvládnul za 1, ale opravdu jen náhodou
08:23 mornfall :-)
08:24 xstill budeš mít polední pauzu? nebo tě tam zavřou?
08:24 mornfall budu
08:24 mornfall zajdu do labu na oběd :D
08:25 xstill :-) to uvidíš maximální nervozitu
08:26 xstill tak a já už fakt jdu
09:07 xstill mornfall: Jirka se tam nějak zasekl ne?
09:11 mornfall xstill: no on šel někam po schodech dolů
09:11 mornfall vypadal lehce zmateně
09:11 mornfall A, C, celkově B
09:11 xstill jaj co měl za otázky? (předpokládám že A je obhajoba)
09:12 mornfall j... lineární algebra a strukturovaná analýza
09:12 xstill no...
09:12 xstill to není úplně výhra
09:13 spito xstill: já neuměl formální definice vektorů a matic
09:13 spito xstill: ty jsi doma, nebo v labu?
09:14 xstill spito: v labu
09:14 mornfall počítám že už je v labu :)
09:14 spito nauč se definovat pojmy formálně matematicky
09:14 mornfall já tam přijdu ve dvanáct, snad mě nikdo neunese
09:14 xstill spito: jsem myslel že projdeš okolo ale asi jsi prošel dřív než jsem čekal
09:15 xstill spito: co chtěli slišet u těch vektorů, že je to n-tice kde složky jsou z nějakého okruhu?
09:16 xstill *slyšet
09:17 mornfall pole! :-P
09:17 mornfall chtěli definovat lineární operaci taky
09:18 mornfall matici, a otypovat násobení matic
09:18 mornfall záludný dotaz zda je skalární násobení lineární operace
09:19 xstill a sakra pole, to bych zrovna nevěděl
09:19 xstill jesli je "skalární násobení lineární operace"?
09:19 xstill hm
09:20 xstill no asi jo
09:21 xstill protože lineární zobrazení bych zadefinoval jako násobení vektoru matizí
09:22 xstill je to asi docela drsný
09:22 xstill mornfall: kolik lidí už dostalo A z otázek?
09:47 mornfall to nevim, ale někdo už určitě
13:57 xstill hm vrtat by dneska teda nemusali
21:48 spito left #divine

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