Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-06-08

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

All times shown according to UTC.

Time Nick Message
09:53 spito joined #divine
12:43 mornfall achjo, ten little-endian
12:53 xstill :-)
12:53 xstill ?
13:00 mornfall ani se neptej
13:00 xstill souvisí to s BitTuple?
13:01 xstill (za 25 minut dostaneš malý patch na hash v NTree)
13:02 mornfall jo, souvisí
13:05 xstill z toho posledního patche bych řekl, že u LE bude podoba v paměti záviset na zorovnání...
13:09 mornfall o to nejde, jen o to že když potřebuješ N bitů a počítáš je od nejvyššího, tak na LE skončí na konci slova
13:09 mornfall takže nemůžeš alokovat po bajtech ale musíš po slovech
13:13 xstill po tak velkých slovech jak s tím potom pracuješ počítám...
13:16 xstill hm buď v beameru nesedí \textheight s výškou která je k dispozici nebo pgplots používají výšku fakt divne
13:25 xstill mornfall: co by asi tak mělo být v prezentaci na obhajobě?
13:26 xstill (kromě grafu, ten už jsem tam dal ;-))
13:42 mornfall no to nevím :-)
13:44 xstill no já právě taky ne, navíc tyhle věci nejsou veřejný, takže se člověk ani nemá kde inspirovat. Nemáš někde tvojí prezentaci k inspiraci?
13:58 mornfall Někde asi. :-)
14:46 mornfall jo, pomalu to zelená
16:21 xstill hm, airlines.cpp je fakt velkej model, na auře už běží 2 dny na 48 vláknech. Celkem zatím miliarda stavů.
17:18 mornfall Já nevim, proč myslíš že by to nemohlo mít třeba 10^20 stavů?
17:25 xstill Co já vím, pokud má tak se to nedozvíme.
17:42 mornfall Mi jako mnohem lepší strategie přijde zmenšit parametry. :-)
17:49 xstill jo pokud je cílem to nějak zverifikovat, já chci vidět co to dokáze. Navíc teda většina parametrů tohohle modelu už je dost nízko.
17:52 xstill ale jo, aura na tohle asi stačit nebude
18:01 mornfall A jak z toho jestli to dojede co to dokáže? :)
18:01 mornfall +poznáš
18:01 mornfall Já bych prostě srazil parametry, zjistil jestli to pak jde.
18:01 mornfall A jestli jo, tak zjistil co kterej s velikostí stavovýho prostoru udělá.
18:04 xstill jako jo, ale chci prostě vidět jestli to dokázeme takhle
18:05 xstill ono to při nejhorším tak za dva tři dny vyjede z limitu a pak můžu začít experimentovat s parametry
18:09 xstill mornfall: kdyby jsi se chtěl podívat na mojí prezentaci, tak na https://anna.fi.muni.cz/~xstill/thesis/bc/pres.pdf abys mi mohl říct jesli je to úplně na nic
18:09 xstill (dělat prezentace je ještě horší než psát úvod)
18:09 xstill nevím nakolik jít do hloubky a když nejdu tak se toho o TC nedá moc napsat
18:10 xstill (teda hlavně pokud člověk nejde do popisu implementace, za což by mě asi nepochálili)
20:31 ChanServ joined #divine
20:31 ChanServ joined #divine

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