Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-26

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

All times shown according to UTC.

Time Nick Message
01:02 mornfall hm, spito to docela rozmlátil :D
01:02 mornfall doteď to fungovalo skoro vždycky, teď to funguje občas
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:33 xstill pokrok je svině
05:34 mornfall žejo
05:34 mornfall --> vlak
05:39 xstill --> blbá zkouška (proč bych jinak asi byl vzhůru, že)
08:45 xstill hm a to se těm spambotům daří jak toto
08:46 xstill nebo to ve skutečnosti fakt posílaj nějací otroci někde kdo ví kde
10:01 spito joined #divine
10:03 spito_ joined #divine
10:16 xstill hm, ten bug v ndfs, ono to prohledá 5 stavů a prohlásí za celé, ale podle normálního průchodu je tam 9 stavů
10:28 spito brick-data.h:391:9: warning: assuming signed overflow does not occur when assuming that (X + c) < X is always false [-Wstrict-overflow]
10:28 spito if ( count < _size )
12:23 xstill mornfall: máš tam patche (kdybys je třeba přehlíd přes ten spam)
12:23 xstill opravil jsem murphi
12:42 xstill to paralelní nested-dfs stejně funguje jen náhodou
12:43 xstill teda zastaví
12:43 xstill ono by taky krásně mohlo zůstat cyklit v tom cyklu v inner threadu
13:15 xstill mornfall: našel jsem ten race v ndfs
13:24 xstill teda aspoň jeden, ale vypadá dost nepravděpodobnej na to jak často to nastávalo
13:28 xstill (pustím to přes testy a pak pošlu)
14:16 spito mornfall: já mám pocit, že shared visitor je celý tak nějak špatně
14:28 spito tak ne...ale je to dost neintuitivní
14:46 spito ne...je to asi špatně
14:59 xstill mornfall: ten divine test na shared tabulku někde máš?
16:49 mornfall někde jo
16:50 mornfall hm, řekl bych že ta captcha moc nezabrala co?
16:54 mornfall xstill: pomohl ten patch na to ndfs?
16:54 xstill no u mě to nepadlo, ale to neznamená nutně, že to nepadne v hydře
16:55 xstill ale ten race tam byl, tím jsem si docela jistej
16:55 mornfall mi přijde že to nemůže stačit
16:55 mornfall (ale možná může... vyrobí relaxed load __sync_synchronize?)
16:55 xstill no po té co je finished = true už se nedá do fronty nic přidat
16:55 xstill nevyrobí, alespoň podle toho co jsem zkoušel
16:56 xstill nevyrobí vůbec nic
16:56 xstill teda load jo :-D
16:56 xstill ono to dává smysl, na x86
16:56 xstill aj jinde vlastně, hlavně se tím brátím proti kompilátoru
16:56 mornfall no nevim, ten relaxed load mi přijde že by měl být noop
16:57 xstill no je to normální load +-
16:57 mornfall aha už vidím ten rozdíl :)
16:57 mornfall +                    if ( outer->finished && process.empty() )
16:58 xstill no jasně rozdíl je v tom pathchy fix race condition
16:58 mornfall mi to přišlo celý jako noop než jsem si všiml toho &&
16:58 xstill ten druhej asi reálně rozdíl nedělá
16:59 mornfall to mám z toho že to čtu v mailu místo v darcs apply -i...
16:59 mornfall spito: co ten approximatecounter?
16:59 xstill šel domů, bude ten unit verifikovat divinem asi
17:00 mornfall takže to mám prozatím revertnout?
17:00 mornfall protože teď to failuje skoro furt...
17:00 xstill jo to nevím jestli ta změna je špatně
17:01 mornfall hm, já bych měl spravit to že to generuje build error místo tests failed
17:06 mornfall jsem pustil build na laptopu ... už jsem si stih úplně odvyknout od toho že buildy divinu funí
17:10 mornfall hm, na jakýho boyfrienda ten spito myslel :D
17:11 mornfall ale fakt by mě zajímalo jestli jsme něco zmastili v těch captchách nebo na to fakt maj fungující solver
17:12 xstill ??
17:20 mornfall co?
17:23 mornfall neměl přestat chodit spam z tracu? nebo to že jsme rozjeli captchu na new tiket se mi jen zdálo?
17:23 xstill nezdálo, captcha asi i funguje ale nepomohlo to no
17:24 mornfall to je to čemu nerozumim, jak to mohlo nepomoct?
17:24 xstill nevím
18:04 mornfall gcc 4.9 prej rádo failuje protože make -j (>1)
18:04 mornfall tak zkouším rebuild, třeba se to chytne napodruhé
18:10 spito joined #divine
18:11 spito ne, ten test je pořád blbě
18:12 spito a jakýho boyfrienda? coco?
18:13 mornfall brick::bf::splitFileName jsi napsal
18:24 spito heh, kde?
18:25 mornfall xstill to teď opravil
18:25 mornfall už dávno
18:25 mornfall (jsi to napsal)
20:10 spito na kdy dopadnou divine setkání příští semestr?
20:11 spito teda...jestli je teď ten správný čas na to tohle řešit...
20:13 mornfall tak, asi stejně správnej jako kterejkoliv jinej
20:13 xstill zase v pátek?
20:13 xstill když se tak dívám na svůj rozvrh…
20:14 spito já bych mohl v pátek až tak od 2
20:14 spito leda bych nechodil na přednášky
20:14 xstill hm, od 2 můžu teoreticky i ve čtvrtek
20:14 xstill jaký přednášky?
20:14 spito čtvrtek mám úplně volný
20:14 mornfall nojo rozvrh ala xstill :)
20:14 mornfall čtvrtek nemůžu ani náhodou
20:15 xstill jako nejmíň toho mám v pátek a ve středu, ale ve středu učím 14-16
20:15 xstill (jinak nemám nic)
20:16 mornfall tak já můžu v principu aj dopoledne
20:16 mornfall (ve středu)
20:16 spito hmm, středa...2 přednášky
20:16 mornfall večer stejně musím dom
20:16 spito takže asi zase pátek :)
20:16 mornfall nebo rovnou sobota ne :P
20:41 spito no super, bych nemohl jezdit k rodičům :)
20:42 mornfall tim líp ne? :P
20:43 mornfall rozhodně by to bylo velice neortodoxní
20:44 xstill já bych přeci jen preferoval alespoň teoretickou možnost volné soboty
20:51 mornfall kulantně řečeno
20:52 mornfall a rozvrh je furt neveřejný
20:53 xstill ne když máš privilegia
20:54 mornfall to je jen jiné slovo pro neveřejný
20:54 mornfall (veřejnost jsou ti bez privilegií)
20:56 xstill nojo ty veřejnost
20:57 xstill ty stejně žádnej mít nebudeš, ne?
20:59 xstill a ndfs teď na hydře prošlo
21:00 xstill jen nechápu jak se může buildovat gcc 4.9 x86 release když debug selhal na dependency
21:00 mornfall 19:04 (@ mornfall ) gcc 4.9 prej rádo failuje protože make -j (>1)
21:00 mornfall 19:04 (@ mornfall ) tak zkouším rebuild, třeba se to chytne napodruhé
21:01 xstill to jako dneska?
21:01 xstill v logu to nemám
21:02 mornfall to jako dneska jo
21:02 mornfall (každopádně se to chytlo, gcc 4.9 už tam je)
21:02 xstill je možný, že jsem zrovna uspal počítač a znc to nezjistilo
21:02 xstill to je taková trochu nemylá věc totiž
21:02 mornfall restartoval jsem aj ty ostatní 4.9 buildy
21:03 mornfall nemilá*
21:03 mornfall to s tím suspendem?
21:03 xstill jo
21:03 mornfall jo, on to ten playback modul řeší, ale nemá to lepidlo pro irssi
21:03 mornfall (v tom communi-desktop to funguje tak že klient si řekne co viděl posledně a znc mu pošle všechno novější)
21:04 xstill jak to řeší? on si toho pamatuje víc?
21:04 xstill (já myslel, že si pamatuje jen pokud je to odpojené)
21:05 mornfall no, znc defaultně jo ale když ho nastavíš takhle tak si pamatuje vždycky
21:05 mornfall ale posílá jen to co chybí
21:05 mornfall jen pak to s irssi nejde moc používat
21:05 xstill protože to tam nablije všechno?
21:05 mornfall jo
21:06 mornfall s každým reconnectem
21:06 xstill super
21:06 mornfall někdo by musel nabušit skript do irssi asi
21:06 mornfall a to se mi zrovna nechce
21:06 mornfall on je to hroznej werk když se to vezme kolem a kolem
21:07 mornfall druhá možnost by bylo nějak to ubít těma client id co teď znc umí
21:07 xstill hm? mě to nepříjde až tak strašné s tím irssi
21:07 mornfall tak ty perlový skripty jsou dost umaštěný :)
21:07 mornfall a je to docela historickej kus Cčka
21:08 mornfall pravda, funguje to
21:08 mornfall (ale třeba to jak to počítá co má malovat na obrazovku je fakt děsivý :)
21:08 mornfall teda ten šablonovací systém
21:08 xstill no hlavně já už to mám propojený s xmobarem a tak
21:08 xstill takže by nebylo asi moc praktický to měnit
21:09 mornfall mně se xmobar někde ztratil a nějak mi nechybí :D
21:10 mornfall když chci aby mi IRC pípalo pustim si ho v mobilu... a maily a IM mi v něm pípaj už teď (teda maily jen ty co padaj do inboxu)
21:11 xstill tak pípání nechci, ale že se to objevuje na panelu je fajn
21:13 xstill a tu replay věc si ten tvůj klient nastaví sám?
21:13 mornfall jo to jo
21:14 mornfall teda musíš ten modul mít, pak už to funguje samo
21:14 mornfall on to je beztak tak napůl znc klient
21:14 xstill jakej modul?
21:14 mornfall playback (v znc)
21:14 mornfall žádný hacky typu znc_timestamps
21:17 xstill nojo
21:23 xstill se divím, že mi to tu hučí a on tu pořád běžel divine v cyklu s tím ndfs
21:24 mornfall :D
21:24 mornfall advanced engineering methods
21:25 xstill jo no
21:26 xstill hm, 4.9 failnula ale v details to není vidět
21:26 xstill a na failed se pořád nedá kliknout
21:26 xstill aha test (log)
21:26 xstill hm,   # case brick_test::data::TestSmallVector::defcon failed: /tmp/nix-build-divine-gcc49_full_relwithdebinfo_x86-3.2.2+pre5517.drv-0/divine-3.2.2+pre5517/bricks/brick-data.h: 655: assertion `int( vec[ i ] ) == 0' failed; got [42] != [0] instead
21:28 xstill mám to rozbitý zdá se
21:30 xstill hm, až na to, že u sebe chytnu tak maximálně ten alarm v approximate counteru
21:36 xstill nojo v release to fakt padne
21:41 xstill co zas to gcc dělá
21:41 mornfall hm, přišel CFP co slibovali na AVoCSu
21:42 xstill ?
21:43 mornfall no to asi znamená že musím dát dohromady journal paper
21:43 xstill aha
21:44 mornfall a ten rozvrh jsem vlastně načal protože jsem chtěl řešit cvika do C, ale ono to už možná stejně nemá smysl
21:45 mornfall a nevim jestli jsem takovej optimista
21:45 xstill co s cvikama do c?
21:46 mornfall Švenda se tvářil že by bylo dobrý abych si vzal skupinu abych měl s tím předmětem nějakej kontakt
21:46 xstill hm, můžu nějak dát catchpoint na všechny jiný throw než RegistrationDone?
21:47 mornfall catchpoint? to ani nevím že existuje :-)
21:47 xstill jo tak, a to není už dávno rozhodnutý kdo bude cvičit?
21:47 mornfall možná je, já už si nepamatuju jak to funguje :D
21:47 xstill existuje no, a je to dost užitečné když máme ty asserty přes výjimky
21:48 xstill no tak cvičící si posílali požadavky na rozvrh tak  před 2 měsíci pomalu
21:48 mornfall ono to je už dost dávno, ale on se neozval a já to taky vesele pustil z hlavy
21:49 mornfall no, zorganizovat se na fi bude ještě bolehlav
21:51 xstill tak ono, když bys byl přednášející tak to organizuješ ty, žejo a ta rozvrhářka ti řekne kdy to máš poslat
21:51 xstill dokonce i včas
21:51 mornfall to je jedno, takovýhle věci budu řešit kdyby mi to náhodou dali
21:53 mornfall ani nevim kdo se nakonec přihlásil
21:53 xstill mě by zajímalo kolik cvičících na cčku reálně chce windows učebny…
21:53 xstill protože to je dost uptrpení pokud vím
21:53 xstill a to bylo ještě z toby kdy jsem windows používal
21:53 xstill spito: víš o tom, že předáška z cčka se kreje s paradise seminářem?
21:54 mornfall paradise je počítám stejně jako vždy?
21:54 xstill jo
21:57 xstill ještě je vtipné jak Bártek a Zlámal už maj vybraný cvika, zatímco ostatním se pak nejspíš nabídne ať se poperou o zbytek
21:57 xstill nebo je to proto aby se studenti mohli připravit kam nechodit
21:57 mornfall tak jak to je s těma cvičeníma teda? :-)
21:58 mornfall teď jsi říkal něco že se to dělilo dva měsíce dozadu...
21:59 xstill to ví spito, zdá se že nejsou rozdělený mezi lidi, ale tipuju, že alokace lidí jsou už známý, jen ne časy
21:59 xstill mám pocit, že Petr dělával doodle před registrací studentů kde si cvičící vybíraly které chtějí
21:59 xstill nebo tak něco
22:01 xstill (ono takhle je to dost neobvyklé, spíš jsem se setkal s tím, že si každej cvicící dává sám požadavky na rozvrh)
22:01 mornfall ty tvoje -y jsou takové mile antisexistické :-)
22:02 xstill hej já nad tím moc nepřemýšlím co píšu, kdybych přemýšlel tak by se to tolik nedělo
22:02 mornfall hm, ono už je taky zase 11
22:10 xstill jo a za hodinu bude SIGUSR2
22:11 mornfall co kde kam?
22:12 xstill :-D nic, jen že se mi ta 11 asociovala automaticky se SIGSEGV
22:13 mornfall :D
22:13 mornfall to máš z toho debugování
22:13 xstill :-D, ale musel jsem teda otevřít man 7 signal abych zjistil co je 12

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