Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-07-07

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

All times shown according to UTC.

Time Nick Message
08:29 xbarnat joined #divine
08:29 xbarnat mornfall: ses tu?
08:29 mornfall xbarnat: ano
08:33 xbarnat no jestli si udelame vylet do Yorku vsici nebo jen vy dva nebo kdo ... ptoreba do 15. registraci
08:34 mornfall koukám na program
08:40 mornfall no, peníze asi máme, pokud nám ještě něco letos vyjde bude to spíš levný
08:42 mornfall hm, 9:15 z Vídně, to se bude muset brzo vstávat :D
08:42 xbarnat ok, tak si dej taky cestak
08:43 xbarnat at ho muzu dneska schvalit
08:43 xbarnat od utery do patku
08:45 mornfall xstill: vyplníš to? ;-)
08:45 xstill co?
08:46 mornfall cesťák do Yorku
08:46 mornfall je potřeba se zaregistrovat
08:46 xstill no to vím
08:47 xstill cesťák jdu udělat, ale nevím jak to souvisí s tebou
08:47 mornfall napiš mě tam jako spolucestujícího a zaškrtni tam sdílení dat
08:47 xstill no, nevím jestli já se svýma minimálníma zkušenostma jsem na to zrovna vhodnej
08:48 mornfall to je osud
08:49 xstill když mám jednu dohodu od konce srpna a druhou od září tak to má jít na tu září, že?
08:51 xstill hm, co mám sakra vyplnit do těch časů začátku a konce… a nástupní místo má být fakulta, nebo co?
08:51 mornfall nástupní místo si vyber
08:51 mornfall pokud bydlíš v Brně je to jedno
08:52 xstill no z Brna pojedu no
08:53 mornfall čas tam odhadni
08:53 mornfall asi tak v 5 ráno když máš být v 9 na terminálu :-)
08:55 mornfall xbarnat: a) jedeš taky? b) kolik chcou za tu letenku?
08:56 spito co to je za konferenci?
08:56 xstill SEFM
08:56 xstill článek o kompresi a spol.
08:56 xstill mornfall: mám pocit že ta letenka byla 8-9 tisíc
08:57 mornfall no, xbarnat posílal konkrétní let teď, tak mu to určitě ukázalo aj cenu (zhruba, stejně to bude trochu víc pro nás)
08:58 xstill no právě já jsem byl u něj kanceláři a vyděl jak to hledá
08:59 mornfall jo tak... až na to y teda
09:00 xbarnat jo jel bych taky, a vzal bych auto na dopravu do vidne
09:02 mornfall xbarnat: vyzvednete mě v Lundenburgu? :)
09:03 xbarnat to je breclav?
09:03 mornfall jo
09:04 xbarnat neformalne ano, formalne jedes z Brna
09:04 mornfall OK
09:04 xbarnat nebo ja vlastne nevim odkud jak ty jezdis
09:04 mornfall normálně odsud, ale když je to autem tak bude jednodušší z Brna
09:05 mornfall na ekonomickém nemaj rádi když jízdenka začíná jinde než cesta (pochopitelně)
09:05 mornfall naopak je jim úplně jedno kde ta cesta začíná
09:07 mornfall nicméně už failuje jen fs-*, pthready zdá se fungujou jak mají (neinicializovaná paměť)
09:21 spito fs- má problém v userspace, nebo v interpretu?
09:21 mornfall no, v interpretu určitě, v userspace zatím nevím
09:24 spito jako já VFS zkoušel bokem DIVINE a ve valgrindu to nic nehlásilo (ať už s libstdc++ tak s libc++)
09:28 mornfall xbarnat: já asi taky 2016?
09:29 mornfall pro zajímavost, co jsou ty libry pod 'ostatní'?
10:01 mornfall hm, to jsou zajímavé triky co tady clang dělá
10:02 mornfall návratová hodnota realizovaná ukazatelem v parametru
10:02 xbarnat ano taky 2016
10:03 xbarnat konferencni poplatek
10:03 xbarnat lokalni cesty ... je to jen orientacni pro schvalovatele (ja a mojmir)
10:03 mornfall OK
12:59 mornfall no, mám 800M dump, teď jen najít tu chybu
13:17 mornfall hm, std::string v libc++ je solidní divočina
13:23 mornfall pro krátký řetězce si to v prvním bajtu pamatuje velikost, pro dlouhý v prvních 4 bajtech kapacitu, s tím že první bajt kapacity je ušmudlanej aby bylo poznat že je to kapacita a ne délka
13:23 mornfall no a tady někde se ve filesystému vyskytne neinicializovaná hodnota
13:24 mornfall 614:0 size 24: 1936028680 116 0 0 0 0 , flags = [ 011111000000000000000000 ]
13:24 mornfall ta 0 je uninitialised, a je to přesně tenhle magickej bajt
13:24 xstill veselé
13:25 xstill není to bitfield?
13:25 mornfall není, maskuje se to 'ručně'
13:25 mornfall asi jdu napsat nějaký testy na string
13:27 mornfall {if (__is_long()) __set_long_size(__s); else __set_short_size(__s);}
13:27 mornfall __set_long_size:         {__r_.first().__l.__size_ = __s;}
13:27 mornfall __set_short_size:         {__r_.first().__s.__size_ = (unsigned char)(__s << 1);}
13:30 mornfall aby toho nebylo málo je to 4x, v BE/LE vs 'normal'/'alternate' všechno zaifdefovaný
13:58 xstill :-D
15:20 xstill mornfall: co přesně se stane když divine narazí na problem, kterej není goal? specielně když to bude bad dereferrence
15:21 xstill (jako store na neplatnou adresu)
15:21 mornfall hm, no, instrukce neudělá nic a jede se dál
15:22 mornfall nebo teda neudělá to co nejde udělat
15:22 xstill ok
15:23 xstill takže v kontextu toho co dělají ty weak story je to v pohodě, jen neumíme verifikovat memory safety
15:24 mornfall v jakém smyslu?
15:25 xstill no to je přesně to co to dělá, když uděláš weak store na stack a pak vyskočíš z té funkce. Ne že by to nešlo vyřešit, ale bude to na dýl.
15:25 xstill -> ne na memics
15:26 mornfall jakože neumíme per-addresss flush?
15:27 mornfall (zavolat ho na všechny alloca před koncem fce není těžký, to kdyžtak udělám)
15:27 xstill no, jenže to nestačí, protože výjimky
15:27 mornfall ?
15:28 xstill no každej call budeš muset nahradit za něco co chytí případnou výjimku, uvolní alloca a vyhodí tu výjimku znova
15:31 xstill (a ty adresy není potřeba flushovat, stačí je invalidovat, nezávisle na tom, že nejsou na vrcholu fronty klidně)
15:31 mornfall nemusíš, je pravda že musíš call-y změnit na invoke a vygenerovat cleanup, ale to taky není těžký
15:35 xstill tak jako když bys to tam udělal tak to tam může být, můj plán byl dopsat tu transformaci až se vrátím z MORu a začít psát článek tak, aby si ho Jiřík mohl přečíst a dopsat úvod a related work až se vrátí z dovelené.
15:35 mornfall to jsem rád že mi to dovolíš :D
15:36 xstill dej vědět jestli ti mám poslat to co teď mám, ale je to dost rozpracované a raději bych si to dopsal sám, alespoň bez těhlech cleanupů, ale dneska už na to nebudu mít čas
15:36 mornfall no, určitě pošli co máš než odjedeš
15:36 xstill ok

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