Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-23

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

All times shown according to UTC.

Time Nick Message
02:17 xHire joined #divine
06:24 xstill mornfall: anna nejede?
06:28 xstill mornfall: zítra musíme připojit ten kabel a zvážil bych rozchodit home přes anteu
06:28 xstill teda zjistit jestli a proč s nima nebootuje
06:37 spito joined #divine
13:16 mornfall hm, vy jste ji nezprovoznili?
13:16 mornfall s*
13:33 mornfall a tuší někdo co se vůbec stalo?
13:43 mornfall Hm, a spito zase nemá testy. :) Ne že by to teď šlo pushnout... :)
13:45 spito joined #divine
13:46 spito mornfall: jaké nemám testy?
13:46 mornfall no, žádné :)
13:46 mornfall shared owcty, shared map?
13:46 spito no ale to ještě nefunguje
13:46 spito anna spadla
13:46 spito kernel nefunguje
13:46 mornfall jak kernel nefunguje
13:46 spito na anně
13:46 mornfall jakože to nenabootuje?
13:46 spito říkal xstill
13:46 spito jop
13:47 mornfall ani staré konfigurace jo?
13:47 spito shared map mám u sebe, ale neběhá
13:47 mornfall a shared owcty?
13:47 spito to jsem zatím ani nezkoušel
13:47 spito není napsaný paralelní procházení store
13:47 mornfall zajímavé
13:47 spito ale to zítra doklepnu
13:47 mornfall jo tak
13:47 mornfall tak ok
13:48 spito to by mělo být to poslední, co chybí
13:48 mornfall já bych to aj pushnul ale není kam
13:48 spito :)
13:48 spito jako mě to nevadí
13:48 spito jinak dokud mi nebude fungovat home na antee, tak stejně nic nenaprogramuju
13:48 mornfall mě popravdě i trochu jo
13:48 mornfall ale tak co
13:48 spito ptž mám všechno na antee
13:48 mornfall mně, dokonce
13:49 xstill mornfall: nevím nezkoušel jsem moc starých konfiguraci padala mi za krk omítka
13:50 mornfall supr...
13:50 mornfall a co to zhruba hlásí?
13:50 xstill booting kernel
13:50 xstill a nic
13:50 mornfall nechci strašit, ale je možný že to umřelo úplně
13:51 xstill (přesouvám se na předášku)
14:00 xstill (přesun dokončen)
14:01 xstill mornfall: vidíš tam ty home?
14:01 mornfall kde?
14:01 xstill na antee
14:02 mornfall podívám se
14:03 mornfall jo vidím
14:04 mornfall prozatím jsem přemountoval /home z pole
14:04 mornfall ale jestli se anna nebude chtít probrat tak budeme muset udělat redeploy, nějak
14:05 mornfall hm, a řekl bych že asi nemáme konfiguraci
14:06 mornfall ona se sice importuje do storu ale nezdá se mi že bych ji viděl někde replikovanou mimo annu
14:08 xstill sakra
14:08 xstill no to budeme muset dořešit zítra
14:08 xstill protože v 6 už mě tam nikdo nepustí
14:08 xstill a teď mám přednášku
14:09 mornfall no, kdybych zhruba tušil jaký měl poslední deploy nix hash tak to asi vykopu z binary cache
14:13 mornfall jo, mám aj konfiguraci
14:13 mornfall nějakou :-)
14:15 xstill :-)
14:15 mornfall jestli někdy dojede grep přes všechny narinfa tak poznám jestli třeba máme aj tu aktuální
14:18 mornfall /nix/store/3sa0vw0r9qimrzibj5fxk3agrkv9s9hm-network-configuration
14:19 mornfall nenapsal jsem ten deploy až tak špatně :-P
14:34 mornfall jo, deploy manifest aj deploy distribute fungujou
14:36 mornfall podle svého nejlepšího vědomí a svědomí jsem přepsal konfiguraci, pouštím deploy s tím že horší už to nebude a jdu si koupit nějakou večeři
15:21 mornfall řekl bych že co jet může, jede
15:40 mornfall jo, důrazně doporučuju před deploy-em sebrat antee anninu adresu, jinak by se mohlo stát lecos nemilého
15:41 xstill :-) jo
15:43 mornfall měli bychom si vyhradit jednu virtuální
15:43 mornfall ať ten failover tolik nebolí
15:44 mornfall ne že by zrovna teď bylo kam nějakej failover dělat
15:46 mornfall asi mam nějaký potíže s karmou
15:46 mornfall včera se mi pod rukama zrebootoval notebook
15:46 mornfall a večer mi pod rukama vytuhla anna
17:07 xstill no mě by zajímalo co s tou annou je
17:07 xstill a failover bysme nějak vyřešit měli
17:40 spito joined #divine
18:01 xstill spito: ještě bysme mohli na inspiratorium pozvat Jiříka :-P
18:11 xstill mornfall: co jsi myslel tím, že to možná umřelo úplně?
18:22 spito jiříka ne
18:22 spito nebo myslíš, že je ještě hravý?
18:23 spito xstill: jinak mizím do hospody (opět)
18:23 spito mornfall: ano, mám těžký život :D
18:23 mornfall xstill: no, že umřela deska, procesor, nebo něco takového
18:23 mornfall spito: umři
18:23 mornfall spito: spravil jsem ti home a prd z toho :-P
18:23 spito mornfall: ty jsi zlatíčko
18:24 mornfall jj
18:24 spito něco bych ti koupil, ale....
18:24 mornfall spal jsem cca 4 hodiny
18:24 spito tolik? mornfalle, už se horšíš
18:24 spito dřív ti stačila hodinka...
18:24 mornfall a čtu op-ed od Putina
18:24 mornfall teda ty komentáře pod tim
18:24 spito copak psal Putin?
18:24 mornfall a TIME je za paywallem, to je trapný
18:25 xstill neruzumím řeči tvého kmene
18:25 xstill hm, kdyby nám úplně umřela anna to by bylo dost blbý
18:26 mornfall bylo no
18:26 mornfall chtělo by to nějakej zdroj peněz
18:27 spito mornfall: poslanecká sněmovna? tož abychom začali kandidovat....
18:27 mornfall xstill: http://www.nytimes.com/2013/09/12/opinion/putin-plea-for-caution-from-russia-on-syria.html?pagewanted=all&_r=0
18:28 mornfall taky vyšel nějakej článek v TIME, nejspíš related
18:28 mornfall no to je fuk
18:28 mornfall stejně su hrozně pozadu :-)
18:31 xstill aha
18:31 xstill btw. kdy zítra?
18:31 mornfall v deset asi
18:31 spito no já dřív nemůžu
18:31 mornfall budeš mít kocovinu, víme
18:31 xstill ok, já abych vědět kdy jít spát, potřebuju to dohnat
18:32 mornfall o tom mi něco povídej
18:32 mornfall když mě nemá kdo tahat do postele tak je to úplně marný
18:32 mornfall bydlet dlouhodobě sám asi bych časem umřel na nevyspání
18:33 spito mornfall: já od 8 učim ;)
18:34 mornfall to budou mít studenti radost :-)))
18:39 xstill hm, objevil jsem výrobní postup na průhledný papír za použití bábovky :-P
18:40 mornfall ono se to vyrábí aj průmyslově
18:44 xstill no, ale pak tam nebudeš mít tu bábovku...
20:14 xstill hm, jak se dokazuje, že konečný automat rozpoznává daný jazyk?
20:19 mornfall jak máš zadaný ten jazyk?
20:19 mornfall počítám že chceš ukázat ekvivalenci dvou zápisů
20:20 mornfall (automat a něco)
20:20 mornfall (determinizovat) minimalizovat a ukázat že odpovídá ~L by třeba mohlo fungovat
20:20 mornfall ale zní to jako spousta práce
20:25 xstill hm, to nezní úplně jako něco co by člověk mohl ukázat studentům pod dvou přednáškách
20:26 xstill jazyk L = {a}* . {b}, udělat automat a dokázat L(A) = L
20:26 xstill asi už nemám svoje materiály do automatů když jsem se je učil...
20:26 xstill což je docela chyba
20:27 xstill ale nemusím to s nima dělat, je to pro pokročilé
20:27 xstill jen jsem si říkal že bych to asi měl vědět
20:29 mornfall tak
20:29 mornfall tak to je docela dobrej jazyk
20:29 mornfall to vytlučeš z definice L(A)
20:31 xstill hm, to je asi fakt
20:31 mornfall w náleží L(A) iff \exists w'. w = w'b \wedge w' náleží L(A') ...
20:31 mornfall i když zrovna to A -> A' nevím jestli bych uměl udělat
20:32 mornfall ale nějak to půjde, chtělo by to papír a na to jsem línej zase
20:33 xstill :-D, to jsme na tom stejně, ale já se k tomu časem propracuju, až uploadnu zamítnuté úkoly
20:36 mornfall hm, a*b to uděláš indukcí a máš
20:36 mornfall sežere to b, když to sežere w tak to sežere aj aw
20:36 mornfall šmitec
20:41 xstill taky fakt
20:43 mornfall tak, je to jen jedna strana inkluze

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