Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-05-26

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:09 yaqwsx joined #divine
06:12 mornfall yaqwsx: jsem zjistil ze ty ukazatele bych mel reprezentovat uplne jinak :p
06:16 mornfall ve value je zbytecny (primo kontraproduktivni) je mit v bittuple a na halde ta reprezentace stejne zavisi na implementaci ty haldy
06:19 mornfall tzn. ze bych zamergoval DiOS jak je, ja prepisu ty ukazatele a doresim inttoptr/ptrtoint a pak se k tomu vratime
06:28 yaqwsx Ok, já bych ho tedy ale prvně přejmenoval na DiOS místo DRT
06:30 yaqwsx Dělal jsi tedy nějaké zmněy nebo to přejmenování můžu udělat rovnou?
06:34 yaqwsx joined #divine
06:39 mornfall klidne prejmenuj, do drt jsem nehrabal
06:43 xheno joined #divine
16:03 yaqwsx joined #divine
18:35 xheno joined #divine
18:54 xstill mornfall: jak to vypadá s ss haldou? Stíháš vůbec sám programovat?
18:56 yaqwsx joined #divine
19:17 yaqwsx Když budu posílat patch na DiOS, mám do něj zahrnout v současné podobě i tracy?
19:22 xstill jaké tracy?
19:22 xstill jakože debug výpisy?
19:23 yaqwsx DiOS jj, ralizované přes __vm_trace
19:24 xstill já bych v téhle fázi vývoje nebyl proti, pokud jich není nějak extrémně moc a pokud se dá počítat, že je budeš ještě potřebovat, ale já to schvalovat nebudu :-D
19:33 mornfall xstill: no moc nestíhám, ale uvidíme :)
19:34 mornfall noc je ještě mladá, nebo něco
19:36 mornfall yaqwsx: jo ty trace tam nehc
19:36 mornfall nech*
19:52 xstill mornfall: zvaž jestli nedokážeš na ss haldě vygenerovat podproblém na který bych se mohl podívat já, má to podle mě vyšší prioritu než native codegen
19:54 yaqwsx DiOS už dokáže spustit jednoduchý program bez vláken až do konce (jen na konci padne, ale fix bude hotový cobydup)
19:54 mornfall super :-)
19:55 mornfall já teď refaktoruju ukazatele a zatím se zdá že dneska ještě něco udělám
19:56 mornfall nějakou základní reprezentaci té ss haldy bych taky snad měl, bude prozatím leakovat paměť ale to už se pak spraví
19:56 mornfall xstill: nezávislej podproblém je reprezentace shape, ale to moc prioritní není protože to bude fungovat aj bez toho, jen míň efektivně
20:01 xstill hm, tak asi nic
20:05 mornfall já se ještě zamyslim a ráno se domluvíme
20:08 yaqwsx Path s fungujícím DiOSem je k nalezení v mém repu. Zítra otestuji spouštění více vláken; teď jdu psát článek...
20:08 mornfall gl&hf :-)
20:13 xstill to je co?
20:13 yaqwsx *Patch
20:15 xstill myslel jsem to mornfallovo
20:15 mornfall good luck & have fun
20:16 xstill ah

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