Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-10

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

All times shown according to UTC.

Time Nick Message
07:06 spito joined #divine
07:36 xstill mornfall: ty moje patche jsi tam ale mohl stihnout dát...
13:39 xstill mornfall: ltlce.h:203, nechápu proč ukončíme prohledávání když narazíme na iniciální stav grafu, dávalo by smysl ukončit prohledávání při oběvení iniciálního stavu cyklu, který hledáne, ne?
13:40 xstill navíc teda si dokážu představit graf, kde iniciální stav vůbec není dosažitelný z (žádného) cyklu
16:07 xstill mornfall: máš tam další patch, podle mě mám pravdu ;-) takže jsem ti to poslal
16:28 mornfall spito: dal ti Jiřík vědět kde máš chybu?
16:39 spito co?
16:40 spito v owcty+shared?
16:40 mornfall jo
16:42 spito ne
16:42 mornfall to je trumpeta
16:42 mornfall FindCE::queueInitials
16:42 mornfall nacpe tam první stav 2x
16:44 spito a kdy mě to měl jiřík říct?
16:44 spito a proč ne ty? .P
16:45 spito mornfall: ale jakto, že to pak nefunguje jenom někdy?
16:45 xstill a to vadí?
16:45 mornfall protože jsem mu ráno poslal SMSku, nemaje internet
16:45 mornfall a tys mi nedal číslo :-)
16:46 spito neptal ses ;)
16:46 mornfall spito: protože někdy se to stihne objet dokola dřív, počítám
16:46 mornfall xstill: tak, jak by to mohlo nevadit
16:48 spito heleď a jak to může objet dokola, když je u všech kromě jednoho uzlu predCount==1
16:48 mornfall co jakej predCount?
16:48 mornfall bavíme se o FindCE ne?
16:48 spito jo, to jo
16:49 spito já jenom ze zvědavosti
16:49 spito jakto, že se vyrobí cyklus, když mají všechny vrcholy predCount == 1
16:49 spito ale fuj, jsem tukan...
16:49 spito nic
16:54 mornfall xstill: s tím LtlCE nevím proč to tam je
16:54 mornfall vypadá to jako nějaký dědictví
16:58 spito mornfall: tedy nějak zaručit, aby se ty stavy nacpaly do fronty jenom jednou počítám
16:58 spito a ještě aby to fungovalo nezávisle na visitoru
17:04 mornfall xstill: pushuju na tvoje čestný slovo ;-)
17:05 mornfall xstill: a vůbec, nestěžuj si, nebo to dostaneš na starost ty ;-) ... v práci na review kolikrát čekám měsíc
17:06 mornfall ještě tam mám ty Milanovy patche, achjo
17:06 xstill :-D
17:06 xstill já asi ani moc nestěžuju
17:06 xstill ale ty moje patche byly krátký
17:06 xstill proti Milanovým
17:07 spito mornfall: mám dobře myšlenku toho, co s tím?
17:08 mornfall spito: jakou myšlenku?
17:13 spito tedy nějak zaručit, aby se ty stavy nacpaly do fronty jenom jednou počítám
17:13 xbarnat joined #divine
17:22 mornfall spito: mám v tom nějakej zmatek... ty se ptáš jako to máš opravit? :-)
17:23 mornfall s,jako,jak, ;-)
17:23 spito no...jo
17:24 spito budu na to koukat
17:24 mornfall nevim, něco vymysli... :)
17:24 spito ale zatím nevím
17:24 mornfall kdyžtak se nad tím zítra zamyslim
17:26 xbarnat dotaz, mame v divine sanci vyrobit visitor, ktery chodi proti smeru sipek? Pripadne mame ho uz (po nejakem prvnim pruchodu, samozrejme).
17:27 xstill xbarnat: explicit to umí
17:27 xstill teda je to nad ním triviální
17:27 xstill jen je potřeba zvolit iniciální stav
17:28 xstill k čemu to chceš?
17:28 xbarnat no, a je teda realne dostat do divinu taky CTL pripadne CTL*
17:28 xstill :-D
17:28 mornfall koukám že to oběhlo svět už
17:28 xstill co oběhlo svět?
17:29 mornfall fáma o Pamikovi
17:29 xbarnat :-) no nekdo se prihlasil k tematu co ma Brim-sef vypsany uz asi 2 roky ...
17:29 xstill on má dělat CTL*
17:29 xstill ?
17:29 xbarnat a on mu to rozmluvil ...
17:29 mornfall 18:54 (    Palmik ) mornfall: Říkal že tam to téma teda má, ale pÅ™ilo mi, že by byl radÅ¡i kdybych dÄ›lal na něčem jiném (konkrétnÄ› zmiňoval nÄ›jakou analýzu stochastických systémů a pak ta jeho novÄ›jší vypsaná témata (napÅ™. visualizace CTL*)).
17:29 mornfall 18:55 ( Palmik ) Taky říkal, že se tě pak zeptá jak by případně to o čem jsme se bavili bylo reálné (já mu říkal že jsi říkal, že to reálné je)
17:29 mornfall 18:56 ( Palmik ) Měl hlavně obavy, že takový zásah do DIVINE by byl dost komplikovaný.
17:29 xbarnat :-))
17:30 mornfall Palmikovi* kruci
17:30 xstill a CTL* potřebuje zpětné hrany?
17:30 xbarnat no ale bez ohledu na to, je to realne? podle me ano
17:30 mornfall tak nevím co by na tom mělo být nereálné
17:30 xstill já nevím co je pro to CTL* potřeba
17:30 xbarnat no, je tady samozrejme algoritmicka vyzva prijit na algoritmus, kteremu staci dopredny pruchod ...
17:30 mornfall explicit-state CTL určitě jde, CTL* asi taky ale bude to víc bolet
17:31 mornfall otázka je proč *
17:31 xbarnat (jako OWCTY) je jen one-way ...
17:31 xstill ten zpětný průchod potřebuje 2 iterace na to aby se vytvořil
17:31 xbarnat no pro zacatek by samozrejme stacilo CTL ...
17:31 xstill je na čase udělat JIT
17:32 xbarnat ne, je nacase vyhnat spratky od bedny na cisteni zubu ...
17:32 mornfall no, chodit reverzně stačí v jednom průchodu, když si to někam nacpeš
17:32 xstill jinak budeme kompilovat celý den
17:32 mornfall a nepotřebuješ to zkompaktit
17:32 xstill hm, no potřebuješ mít kam cpát předchůdce
17:33 mornfall to se už nějak zařídí
17:33 xstill jako můžeš je cpát do vektoru
17:33 xbarnat ve starem DIVINu byl reverzni owcty
17:33 xstill takže by to šlo i na jeden průchod
17:33 xstill reverzní owcty?
17:33 mornfall xstill: owcty^{op} ;-)
17:33 xbarnat ktery proste ukladal v "appendixu" dnes je to tusim SLACK, seznam pointeru na predchudce ...
17:33 mornfall když je cyklus v A tak je aj v A^{op}
17:33 mornfall a obráceně
17:34 xstill A^{op} je transponovaný graf?
17:34 xbarnat finta byla v tom, ze to bylo pametove narocnejsi, ale samorejme rychlejsi, protoze se generator volal jen jednou ... na kazdou hranu
17:34 mornfall no, A^{op} je kategorie s otočenýma šipkama, takže jo ;-)
17:34 xstill kategorie ještě neznám
17:35 mornfall kategorie je takovej lepší graf
17:35 mornfall (ale radši to nikde nezmiňuj)
17:35 xbarnat :-) nevim, jestli je to dobre rikat nahlas ...
17:35 xbarnat :-))
17:35 mornfall ale o ko-věcech je spousta vtipů
17:36 xstill jaký ko-věci?
17:36 mornfall nebo co-
17:36 mornfall co- a ^{op} je to stejný
17:36 xstill aha
17:36 mornfall můžeš znát comonad třeba
17:36 xbarnat orech obraceny 2x naruby?
17:37 mornfall nebo codata
17:37 xstill comonad jsem viděl ale nedošlo mi k čemu je
17:37 mornfall nebo nevím :-)
17:37 xstill codata jo
17:37 xstill ještě jsem slyšel coindukce ale to taky neznám
17:37 mornfall coindukce se má ke codatům jako indkuce k datům
17:37 mornfall nevim jestli to psát s k nebo s c
17:38 xstill to jo, ale z toho si to nepředstavím
17:38 mornfall jedno horší než druhý
17:45 xstill ještě jeden mikro-patch
17:59 mornfall hm, já mam skoro pocit že hash tabulky na GPU moc nejdou z principu (re cuda na divine@...)
17:59 mornfall xstill: zavři si #257 :-)
18:00 mornfall aha, pozdÄ›
18:53 spito mornfall: teď jsem na to koukal, ale nějak mi nejde na rozum, jakto, že když se 2x nahážou věci do fronty, tak to pak celý přestane fungovat
18:54 spito resp to občas bouchne
19:39 spito hmm, začíná se mi zdát, že to jaksi celý blbě
19:39 spito a že to celý funguje tak nějak omylem :D
19:48 * spito jde do hajan, ale tuší, co provede se shared, aby to nebylo jako jeden veliký omyl
19:48 spito left #divine
20:08 mornfall omg :-)
20:28 xstill co?
20:31 mornfall viz patch :-)
20:32 mornfall (teď jsem deset minut zjišťoval, jestli tam má být 3. kondicionál... :-P)
20:32 xstill který?
20:32 xstill ten nový?
20:33 mornfall j
20:37 xstill veselé no
20:38 xstill to by se pěkně blmě hledalo
20:38 xstill *blbÄ›
20:50 xstill hm, vracím se k původní otázce, proč v Owcty::FindCE::queueInitials vadí, že tam bude iniciální stav 2x? Nevidím co by se tam mohlo rozbít když se zpracuje znova.
20:51 mornfall jo, je to jedno, updateIteration je idempotentní což jsem si ráno neuvědomil
20:52 xstill takže ten bug je stále nezvěstný?
20:53 mornfall ten bug je opravený :-)
20:53 xstill aha, jsem něco přehlíd
20:53 mornfall s --shared to prostě docela často vyšlo na to poslední místo v tabulce
20:53 mornfall v tom jednom příkladu
20:53 xstill aha
20:54 mornfall ono předtím tam byl cyklus přes indexy a ne přes iterátor, tak to bylo ještě podstatně vzácnější :-)
20:54 xstill já jem z toho popisu měl pocit, že jsi to našel jako hypotetickou situaci
20:54 xstill jasný
20:55 mornfall teď by to každopádně mělo docela fungovat
20:58 mornfall nic, postel

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