Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-06-30

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

All times shown according to UTC.

Time Nick Message
04:18 xbarnat joined #divine
05:01 xbarnat joined #divine
05:47 xbarnat joined #divine
06:29 mornfall :-)
07:57 xbarnat cemu se smejes
08:03 mornfall jen tak
08:03 mornfall jaký je číslo zakázky na gačr?
08:03 xbarnat 2016
08:04 mornfall ď... jdu si zabojovat s inetem
08:10 xbarnat na GACRu je 135 tisic na cestovani
08:10 mornfall hm, to je skoro škoda že ten ICFEM neprošel
08:10 xbarnat je no, ale o ICFEMu jsem to "vedel" dopredu
08:10 xbarnat holt, implementace, neni to, co chcou na tehle konferencich slyset ...
08:11 xbarnat TACAS ma deadline 16 rijna
08:12 xbarnat podle me je to vhodna platforma kam prodat implementacni veci ...
08:12 xbarnat a samozrejme casopisy ...
08:12 xbarnat ale jak rikam, je treba prodavat myslenku podporenou implementaci ... to je to proc nam papery neberou ... (nepocitaje spin, kde vzali vsechno co melo hlavu a patu :-)
08:14 mornfall a SEFM
08:17 mornfall mi ale teda přijde že ICFEM zase spíš skrachoval na related work (a na 'důkazech')
08:21 xbarnat hmm, to je otazka ... z recenzi to tak vypada
08:21 xbarnat jestli ale to neni spis tak, ze clovek to chce zamitnout a pak hleda duvody proc ...
08:22 xbarnat evidentne ale priznavam, ze related work je nase slaba stranka ... (ani final version SPINu jsem nebyl schopen dostat tam, kam bych chtel)
08:22 xbarnat priste na tom budu muset vice zapracovat ... :(
08:22 xbarnat chlast ... ten za to muze ...
08:22 xbarnat problem je, ze lidi moc pijou ...
08:23 xbarnat a pak pisou blaboli, kdo to ma furt cis t...
08:23 xbarnat blaboly
08:23 xbarnat asi
08:24 mornfall :-)
08:25 xbarnat teda tech 135 tisic mame na GACRu i pro pristi rok
08:25 xbarnat a dalsich 135 i pro rok 2017
15:18 xstill hm, a já si říkal co se děje že mi pořád chodí maily
15:20 xstill spito: můžeš si vesele volat raise
15:27 mornfall spito: na tvoje patche mi běží testy, plus jeden je moc velký gramatický zvěrstvo, zbytek zachvíli pushnu (projdou-li ty testy)
15:28 mornfall * LLVM: Make interrupt after call any function from VFS.
15:28 mornfall ^^ tohle si prosimtě oprav :P
15:29 xstill hm, ten paper co jsem recenzoval byl asi horší
16:07 spito mornfall: a jak by to mohlo být gramaticky správně?
16:09 mornfall nebuď línej a zamysli se
16:11 spito tak já to zkusím
16:11 spito btw - existuje v LLVM věc, která umí partial evaluation?
16:11 mornfall definuj partial evaluation
16:11 spito dáš tomu kus LLVM bitkódu a všechna vstupní data
16:12 spito a chceš dostat konstantu jako výsledek
16:12 mornfall to nezní moc partial :-)
16:12 spito jestli něco takového vůbec existuje, nebo jestli je potřeba napsat vlastní interpret
16:13 mornfall no podle týhle definice to je prostě (jakýkoliv) interpret
16:14 mornfall pokud chceš superkompilátor, budeš si ho ale asi muset napsat
16:14 xstill superkompilátor?
16:15 mornfall google to zná
16:15 xstill víš co je to lenost?
16:15 mornfall jo, když něco nevyhodnotíš dokud to nepotřebuješ :-P
16:16 xstill nojo…
16:18 mornfall (to je to co si normálně představim pod 'partial evaluation')
16:20 mornfall http://stackoverflow.com/questions/9067545/what-is-supercompilation
16:21 xstill aha
16:23 mornfall ono lze asi jednoduchej partial evaluator poskládat z existujících optimalizací (constant propagation, inlining, DCE, ...)
16:35 mornfall (mám ale pocit že je to problém, kterej není rozhodnutelnej ani s orákulem který ti v jednom kroku dá výsledek libovolnýho turingáče)
16:36 xstill jakože co je takovej problém? maximálně to vyhodnotit s ohledem na vstup?
16:37 mornfall jo
16:37 mornfall (ale mohl by s tím orákulem být v r.e., tak třeba není vše ztraceno :-P :-P)
16:41 xstill ono… to jestli není vše ztraceno vůbec nezáleží na nějakém orákulu
19:15 xstill hm, watchpointy v gdb jsoud pekelně pomalý…
19:38 xstill mornfall: když dostanu nějakej haluznej pointer (segment úplně mimo) z forPointers, tak to asi znamená, že jsem něčemu omylem dal flag, že je to pointer, co?
19:42 mornfall asi jo
19:44 xstill nojo, kdybych nebyl blbej
19:45 xstill ono ICmp nemá propagovat pointer flag, jen uninitialized…
19:58 mornfall jo to by asi fakt nemuselo no :P
19:59 xstill jo už to nepadá zdá se
20:01 xstill ale máme teď milion neinicalizovaných proměnných v testech
20:01 mornfall zajímavý
20:04 xstill nojo, bitfieldy :-/
20:05 xstill oni jsou předpokládám v llvm implementovaný jako shifty a podobný věci, že?
20:06 xstill (viz test/llvm/memory-init.sh:164)
20:07 mornfall jo, plus nějaký andy a ory
20:08 xstill jasný, otázka je co s tím, protože zase říct, že přes or/and se neinicializovaná hodnota nepropaguje taky není ideální :-/
20:09 mornfall no, původně se řeklo že bitfieldy se musí inicializovat memsetem nebo tak něčím
20:09 mornfall jednotlivý bity sledovat fakt nemůžem
20:09 xstill jo to si uvědomuju
20:10 mornfall (aspoň dokud nevymyslíme nějakou neskonale geniální metodu jak to udělat rychle a kompaktně)
20:10 xstill jako v knihovně to můžme inicializovat tak aby to fungovalo (c-style inicializace na všechny prvky taky zdá se funguje)
20:10 mornfall c-style inicializace na cokoliv vynuluje vždy celou strukturu
20:10 xstill jakože celej zbytek jo?
20:10 mornfall jo
20:10 xstill ok
20:16 xstill hm, to že s redukcema dostanu unitialized memory  a bez assert se mi moc nelíbí
20:25 xstill aha, ale to je asi jen pořadím
20:41 xstill no nic, pro dnešek stačilo, zítra snad opravím ty neinicializované hodnoty

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