Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-19

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

All times shown according to UTC.

Time Nick Message
08:56 xstill no jo, jen jsem mu asi řekl, že G(x) vůbec nefunguje ale ono funguje pokud tam bude nějaká dobrá podmínka x a ne jen atomická propozice (!ap by fungovat mělo ne?)
09:12 mornfall jo, !ap funguje
10:44 xstill hm, pointer v LLVM je tak velký jako kdyby to bylo nativně kompilované na dané platformě, že?
10:45 mornfall no, je tak velký jak řekne frontend že je velký
10:46 mornfall je to v hlavičce bitkódu
10:46 mornfall on totiž frontend občas nageneruje konstaní offsety v bajtech
10:46 mornfall takže s tím nejde nic moc udělat
10:46 xstill jo ale clang řekne to co je na dané platformě
10:46 mornfall (kdyby striktně používal getelementptr tak to není potřeba řešit)
10:47 xstill mě jde jen o zarovnání struktur v userspace
10:47 xstill že můžou být 64 bit pointry
10:47 mornfall jo, můžou
10:47 mornfall řekl bych že většinou i jsou
10:47 mornfall můžem zkusit v compile používat -m32 defaultně ;-)
10:48 xstill to můžeme někdy zkusit, mohlo by to trochu pomoct
10:58 mornfall :D náhlé nutkání pomoct s iv112 :-)
10:58 mornfall (jojo, jsem trošku pozadu s poštou...)
10:59 xstill máš? :-D
10:59 xstill (ostatní jsou asi ještě víc pozadu než ty)
11:00 xstill hm, unix píše že se nám někdo hlásil neúspěšně z arke na hydra@antea
11:00 mornfall no, to je hydra sama :-)
11:00 mornfall má na antee špatný uid tak si nevidí do home
11:00 mornfall už běží deploy kterej to snad napraví
11:01 xstill ok
11:01 mornfall ona se snaží po ssh udělat checkout z antea:/etc/nixos
11:01 mornfall ne že by to tak nebylo už několik měsíců... :P
11:09 mornfall re iv112, můžeš mě minimálně přidat do CC
11:13 mornfall ještě by mě zajímalo proč nemá hydra css a js...
11:21 xstill cc kam, jen do normálních mailů, nebo i na patche?
11:24 mornfall na patche jsem myslel
11:24 xstill tak jo :-)
11:33 mornfall jak jako nejedou servery?
11:35 xstill jedou
11:35 mornfall no, píše Vilík na paradise-supp@ že nejedou
11:36 xstill jo viděl jsem, asi má chybu někde u sebe
11:37 mornfall hmm, jeho home vidí aj anna, tak nevim
11:37 mornfall (kdyby tam byl zaseklej nfs mount mohlo by mu to bránit v loginu...)
11:48 xstill odepsal jsi mu něco? třeba je chyba někde na jeho počítači (možná laptop)
11:48 mornfall zatím ne
11:52 mornfall koumám ten alokátor
11:52 mornfall teď máme ve store jako parametr generátor, což je trochu overkill
11:52 mornfall bylo by dobrý vytáhnout splitter jako extra objekt
11:53 mornfall a zatím nevidim důvod proč by nemohl store mít Extension jako parametr
11:53 xstill to by šlo (ale nevím jak to souvisí s alokátorem)
11:53 xstill jako v konstruktoru?
11:54 mornfall no, jde mi spíš o typový parametry
11:54 xstill předával se 2x jednou přímo a jednou uvnitř grafu
11:54 mornfall no, s alokátorem to souvisí tak, že kdyby byl ve store a store by znal Extension, šlo by volat konstruktor Extension
11:55 xstill aha, no protože extension já závislý na vertexu takže je tam kruhová závislost
11:55 mornfall na Handle myslíš
11:56 mornfall a Handle = TrivialHandle, všude -- je otázka jestli to někdy můžem chtít jinak
11:58 mornfall (a TrivialHandle je jednoduchej nešablonovej wrapper kolem Blob-u)
11:58 mornfall (navíc jsem stejně chtěl udělat trochu pořádek mezi Vertex, Node a Handle...)
12:01 mornfall vertex a node jsou totiž synonyma a dělá to zmatek
12:03 xstill jako mít alokátor ve store by bylo celkem fajn, jen teda nevím jak vyřešit šablonování store extension (z hlediska instanciace, store je teď parametr algoritmu)
12:06 mornfall no, extension asi nemá důvod být definovaná uvnitř algoritmu
12:06 mornfall stejně jako jsme vytáhli Shared se může vytáhnout aj Extension
12:06 xstill hm, jo to by mohlo jít
12:07 mornfall já to asi zkusím
12:07 mornfall asi to budu dělat nad tím cos poslal, ale pushnu to až pak dohromady
12:09 xstill ok
12:11 mornfall btw. existuje nějakej důvod mít alokátor v ALGORITHM_CLASS místo v Algorithm?
12:36 xstill asi ne. důvod byl když jsem experimetoval s alokátorem co byl parametrizovanej extension
12:36 xstill a pak jsem to tam asi zapoměl
12:39 mornfall ok
12:47 xstill poslal jsi něco tomu Vilíkovi? Pokud ne napíšu mu aspoň že to funguje  a chyba je u něj
14:58 xstill btw. weak je dost blbej název algoritmu, to se tváří jako kdyby to byla nějaká aproximace nebo něco
15:12 mornfall tak, umí to podmnožinu toho co reachabilita
15:12 mornfall nevim jak to nazvat líp :-)
16:54 xstill (jo jinak nemůžu se koukat na ty Milanovy makra v pthreads takže to refaktoruju)
17:11 xstill hm chybu mám v těch testech co jsem poslal
17:13 xstill a typovou, ale přehlídl jsem jí kvůli tomu zprasenýmu pthreads (a tomu že cčkový type-system stojí za nic)
17:41 xstill hm, to je fakt vtipný, pthread_t je v bits/pthreadtypes.h definovanej jako typedef unsingned long, a libc++ se k němu chová jako k intu a předpokládá že 0 je neinicializovaný
17:42 xstill // FIXME: pthread_t is a pointer on Darwin but a long on Linux.
17:42 xstill // NULL is the no-thread value on Darwin.  Someone needs to check
17:42 xstill // on other platforms.  We assume 0 works everywhere for now.
17:42 xstill wtf
17:42 xstill (což znamená že std::thread je v divine trochu rozbitý
17:42 xstill protože 0 je v divine identifikátor main threadu
17:46 xstill jako k čemu je typovej systém pokud se takhle blbě obchází
17:52 xstill hm, tak global thread id začíná na 1, takže to nebylo rozbitý
17:52 xstill v tom případě celá ta šaškárna s +1 v mutexu je ale zbytečná
17:53 xstill kecám, main thread má i dtid 0
17:53 spito joined #divine
18:05 spito left #divine
18:57 mornfall zajímavý
19:14 xstill ale no tak, ne jen že to nejsou bitfieldy, ale ani když je tam pěkně 16 bitový počítadlo + příznak tak to není rozdělený
19:19 mornfall :-)
21:48 mornfall ta druhá verze se může pushnout?
21:48 mornfall co ty refaktorizace?

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