Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-11-11

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

All times shown according to UTC.

Time Nick Message
01:59 divine-buildbot joined #divine
03:23 divine-buildbot joined #divine
10:37 xstill_ mornfall: díval jsi se na ten DevConf
14:30 mornfall 2016/scp-exceptions
15:38 xstill_ fungují mi unit testy \o/
18:50 mornfall :)
18:50 mornfall já commitnul první verzi talk.md
19:03 xstill podívám se
19:13 mornfall přidal jsem bio
19:16 xstill zní to dobře :-) na první pohled je mi ale podezřelý "reversible debugging almost for free"… to působí jako že je to skoro zadarmo ve srovnání s normálním debugováním (gdb) což mi příjde, že není tak úplně pravda, pořád ten program musíš přeložit specielně
19:17 xstill asi bych si měl vylepšit bio (počkám až pushneš workshop radši, ať neudělám konflikt)
19:17 mornfall no, tím se myslí že to je v podstatě vedlejší efekt
19:18 mornfall ale přeložit něco pokud to je bezbolestný je taky almost for free
19:18 mornfall (neříkám že překládat divine nebo firefox, ale většina programů je docela hned)
19:21 xstill jo, to jsem si říkal, že tím nejspíš myslíš, že je to vedlejší efekt toho že máme model checker, jen mi přišlo, že se to dá pochopit i jinak. Ale zas můžeme se tvářit, že přeložit je taky for free. Ono až bude divinecc a syscally tak i bude v podstatě
19:21 mornfall klidně do toho hrábni, já se snažim nabootovat laptop :D
19:23 mornfall jdu vykopat nějakou fotku a submitnu ten talk, pak se vrhnu na workshop
19:24 xstill u mě bylo dost těžký nějakou najít, a ta co jsem našel je tady dost na nic…
19:31 xstill no, nevím, asi neumím psát bio, ale pushnul jsem to
19:31 xstill tak mi to případně oprav
19:37 yaqwsx joined #divine
19:53 xstill yaqwsx: výhledově budu chtít aby ses domluvil s Katkou jak protlačit do VFS informaci o tom, jak se má zacházet s stdout/stderr. Možnosti by měly být něco jako ignorovat, tracovat pro každé volání write, tracovat pro každý vypsaný řádek (tj. všechno po \n), kde to poslední by asi měl být default, protože se to chová relativně rozumně (i když to je na zvážení, v paralelním
19:53 xstill programu je možná lepší b.). + ...
19:53 xstill ... by to mělo jít nastavit pro každej ten FD zvlášť
19:58 yaqwsx Ok
20:15 xstill spito: díval jsi se na ty testy?
20:31 xstill tak, první výsledky běhu bricks testů v DIVINE jsou, že 9 prošlo bez jakéhokoli problému, 16 failnulo. Nicméně většina failnula na kompilaci (vesměs regex.h, případně procesy)
20:33 mornfall xstill: pushnul jsem workshop.md (abstrakt)
20:33 xstill mrknu
20:36 xstill to bio je teda podle tebe OK?
20:36 mornfall pokouším se zbavit se toho 'doing'
20:36 mornfall jinak jo
20:36 mornfall aha už vim
20:37 mornfall nebo nevim
20:37 xstill asi bych nahradil sanitizer -> sanitizers (protože není jeden sanitizer ale víc různých)
20:38 mornfall jo asi jo
20:39 xstill example source code -> example source codes
20:40 mornfall code by v tomhle významu mohlo být nepočitatelný
20:40 mornfall zjistim
20:41 xstill aha
20:41 xstill ještě bych vypustil tu zmínku o LLVM (jinak se o něm nemluví, takže nedává smysl)
20:42 mornfall lol, matcha je word of the day na OEDu
20:42 xstill + asi realiably, easily -> realiably and easily (četlo by se mi to líp)
20:42 xstill co?
20:43 mornfall nicméně code (ve smyslu instructions) je mass noun
20:44 xstill jakože nepočitatelný?
20:44 mornfall matcha → práškovej zelenej čaj co se dává do čokolády a celkem všeho
20:44 xstill aha
20:45 mornfall jsi tam byl jak přišel strejda ne?
20:45 xstill jj, když bych to slyšel tak by mi to došlo, z textu ne…
20:45 mornfall napsal jsem easily and reliably
20:47 mornfall a reliable → robust, protože to tam je 3x
20:47 mornfall LLVM jsem vyměnil za model checking
20:47 mornfall hm, kruci, model checking tam taky není zmíněnej :-)
20:48 xstill :-D
20:48 xstill jen v biu
20:49 xstill ale to vlastně nebude napsaný u toho
20:50 mornfall ale ten model checking tam asi nechám, ono to zas tak nevadí... to LLVM bylo spíš nepochopitelný
20:50 mornfall takhle to lze chápat jako náznak co ten divine teda dělá :)
20:50 xstill ok
20:50 mornfall bio a abstrakt budou vedle sebe
20:50 mornfall nevim v jakým pořadí
20:52 mornfall commitnul jsem ty úpravy v abstraktu, ještě to 'doing'
20:55 xstill aha, koukám, že mezi attendant a attendee je docela rozdíl…
20:56 mornfall docela jo :-)
20:56 yaqwsx Jaký je ten rozdíl?
20:57 mornfall yaqwsx: no, buď se věnuješ nebo se je ti věnovánó
20:57 mornfall věnováno*
20:57 xstill yaqwsx: https://www.macmillandictionary.com/dictionary/american/attendant_1, https://www.macmillandictionary.com/dictionary/american/attendee
20:58 yaqwsx Dík
20:58 mornfall rozdíl jako caller a callee, třeba
20:59 xstill mornfall: za mě je ten text teď OK
21:03 xstill tak, divine našel chybu v brick-data a brick-bitlevel, zbytek je chyba kompilace zdá se
21:03 mornfall skutečnou nebo falešnou? :)
21:04 xstill to ještě nevím, počítám, že ta v bitlevel je skutečná, ale může nastat jen pokud něco naalokuje objekty, které nebudou zarovnané na 4 bajty (read 3B za)
21:06 xstill a bylo by fajn být schopný produkovat (a v sim číst) trace záznamy ve tvaru X^N protože ty 4 obrazovky 0 jsou dost strašný
21:18 xstill hm a sim úplně 6k stavů nedává
21:20 xstill (sežere paměť)
21:21 mornfall to říkáš teď když jsem submitnul ty abstrakty? :P
21:22 xstill :-D to nejspíš zvládneme zamlčet
21:22 mornfall no, nebo opravit
21:22 yaqwsx ...proto to právě skončilo v logované IRC kanálu :D
21:22 xstill ovšem ten protipříklad v brick-data má nejspíš 200k stavů
21:22 mornfall není v principu moc důvod proč by sim neměl zvládat podobný počty stavů jako verify
21:22 xstill nechybí tam nějaká deduplikace?
21:23 xstill samozřejmě opravit to je ideální
21:23 xstill mornfall: takže jsi odeslal oba?
21:24 mornfall ano
21:24 mornfall teda doufám, ono to asi nemá žádnej jinej feedback než jakousi web 2.0 fajfku
21:24 mornfall snažilo se mi to vnutit že si mám taky vyrobit typeform
21:24 xstill :-D
21:24 xstill díky
21:25 xstill nojo, trace je 183595 nul za sebou
21:26 xstill akorát teda v "the error trace" chybí co to bylo za fault
21:26 xstill yaqwsx: což moc nechápu jak se může stát
21:27 xstill volané přes __dios::Fault::hanlder, takže počítám, že z VM
21:27 yaqwsx To je divné. I pokud to byl user-space fault, tak se traceuje.
21:28 yaqwsx Aha, není to divné.
21:29 yaqwsx Fault handler netraceuje tip faultu, jelikož to buď dělá __dios_fault anebo VM
21:29 yaqwsx *typ
21:29 mornfall zrovna jsem přemýšlel jakou má fault špičku
21:29 yaqwsx :-D
21:30 yaqwsx Vybrat si nový telefon je nemožné.
21:31 xstill to skoro vypadá jako bug v algoritmu, když to pustím s --threads 1 tak to tam je
21:32 yaqwsx To je asi bug v algoritmu, protože když jsme psal __dios_fault, tak se počítalo s tím, že faulty si hlídá VM
21:32 xstill jo no, ten trace skončil někde ve třetině
21:32 xstill yaqwsx: jo, tvoje chyba to nebude, chybí i jiné trace
21:34 xstill hm, verify nebere argumenty pro main?
21:35 mornfall asi by mělo... nefunguje to?
21:35 mornfall (čekal bych že je to odpovědnost WithBC, ale jistě si to nepamatuju)
21:35 xstill $ divine verify --threads 1 -o nofail:malloc unittest.bc brick::t_data::TestSmallVector
21:35 xstill ERROR: unexpected options: 'brick::t_data::TestSmallVector'
21:36 xstill anyway, SmallVector potřebuje bit-precise tracking inicializace, takže to není validní chyba
21:38 xstill a clang zjevně nedokáže nulování dvou prvků stejného bitfieldu hned za sebou sloučit
21:40 xstill no nic, dneska jdu raději spát
21:40 mornfall tak nějak
21:54 xstill +

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