Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-04-18

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

All times shown according to UTC.

Time Nick Message
03:04 mornfall joined #divine
06:24 spito joined #divine
06:31 xstill spito: mám nějaký problém s konsistencí SharedVisitor testů ma mainline, ještě jsi nestahoval patche?
06:33 xstill spito: tak nic, vidím, že SimpleParReach jsem nezakomentoval já ;-
06:39 xstill hups těch testů shared co jsem vypnul a ono se to dostalo do mainline je víc
06:44 spito xstill: ne, já si počkám, až se to usádlí
06:45 xstill spito: dobře děláš
06:45 spito co ti nejde s visitorama?
06:45 spito mornfall: a nevrněl mi mobil, protože jsem si prosíravě přestal přeposílat poštu na IS :P
06:46 xstill už je to v pohodě byl tam divnej test a já sjem ho zapnul protože jsem myslel že jsem ho vypnul já
06:48 spito eh?
06:48 spito jinak z mailů jsem pochopil, že celé shared* je rozbité
06:49 xstill ne proc?
06:50 spito už to funguje?
06:50 spito kompletnÄ›?
06:50 xstill no oni asi chybí jenom patche který říkají že je to zase zapnutý
06:51 xstill ale zapnutý to je, vzhledem k tomu, že to funguje s kompresí tak by to mělo fungovat celý
06:51 spito super
06:51 spito já mám zase podivný race v tabulce :D
06:52 xstill to naštve
07:09 spito opakuji si: jsem tukan, jsem tukan, jsem tukan....
07:10 spito ono je totiž vhodné si umět zamknout mutex
07:20 spito opeakuji si: jsem tukan, jsem tukan, jsem tukan
07:27 spito mornfall: proč je v toolkit/shmem.h implementace SpinLock udělaná pomocí std::atomic<bool>, namísto std::atomic_flag?
07:28 spito je mezi nimi nějaký výkonnostní rozdíl?
07:56 spito xstill: jak jsi upravoval SharedHashSet, nechtěl jsi parametrizovat všechny věci, které závisí na metodě getHinted?
07:58 xstill spito: nepotřebuju, ono to bude fungovat, já volám jen getHinted
07:58 spito oka
07:58 spito (ale udělal jsi s tím psí kusy)
07:58 spito s tím divinem
07:58 xstill :-D
07:59 spito chudák linker
07:59 spito teď už to vilík nebude používat
07:59 xstill nezapínej compression
07:59 spito už to jede o dost víc než 3 minuty
07:59 spito měl jsem to defaultní
07:59 spito defaultně je zapnutá?
07:59 xstill ne
07:59 spito no, tak to mám bez komprese
07:59 xstill začíná mi přednáška, končím
07:59 spito hoj
08:02 spito jdu do práce a tam je špatný internet (povolené porty pouze 80 a 443), takže se můžu koukat na historii vašeho tlachání, ale nemůžu vám odpovědět (ledaže existuje IRC web klient, to ještě pohledám)
08:07 spito left #divine
08:45 spito joined #divine
10:30 spito joined #divine
12:32 mornfall Bleble.
12:36 spito jé, bůh vstoupil mezi nás
12:36 spito :D
12:37 mornfall Za nohu tahej toho co na ní má rolničky.
12:37 spito btw: teď dělám v práci něco, za co by mě mohli vyrazit
12:37 mornfall IRC web klient skutečně existuje. Vidím dokonce, žes ho i našel.
12:37 spito jo a dokonce si rozumí i s IE8
12:38 spito což je téměř zázrak, například s IRC loggerem si IE8 nerozumí
12:39 spito mornfall: proč je v toolkit/shmem.h SpinLock implementovaný pomocí atd::atomic<bool> a ne pomocí std::atomic_flag
12:39 spito je mezi tím nějaký výkonnostní rozdíl?
12:41 mornfall Nevím. :-)
12:42 mornfall (Přiznávám se bez mučení.)
12:45 spito protože while( b.test_and_set() ); je hezčí než to co tam je
12:45 spito a navíc jako jediný z atomic rodiny zaručuje opravdu atomicitu
12:46 spito jo a doufám, že nevadí, že jsem tu zvětšovací tabulku udělal se zámkem na zvětšování
12:46 spito resp. ona není lock-free tak nějak od návrhu celá
12:49 mornfall Wat?
12:50 mornfall No jestli tím myslíš, že zamkneš když už víš že jdeš zvětšovat, tak je to přece jedno ne?
12:50 mornfall Ten vektor se sám nepohlídá.
12:50 mornfall To je jasný.
12:50 spito no že když se jedno vlákno rozhodne, že zvětší, tak to uzamkne, aby se zbytečně neplýtvalo pamětí
12:51 spito kdyby jich víc naalokovalo a pak se to muselo zahazovat
12:52 spito takže dnes večer budeš mít patch se zvětšovací tabulkou i s testama
12:52 mornfall Supr.
12:53 mornfall Jak to vypadá s těma extensionama? Předpokládám že jsme ti to komplet roz...bili včera.
12:53 spito no vzhledem k tomu, že jsem věděl, co se chystá, tak jsem si hrál se svojí tabulkou
12:53 spito ptž vláďa seděl vedle mě
12:54 mornfall Okej.
12:54 spito a budu na tom dělat dnes a zítra
12:54 mornfall Jedinej problém v podstatě je, že asi neutečeš té vlastní RAII třídě.
12:54 mornfall Protože Blob je teď "hloupá" třída.
12:54 mornfall A musí se na něj mluvit skrz pool.
12:55 spito to nevadí, já dám jednu NOOP třídu do partitioned store a druhou zamykací do SharedStore
12:55 spito (bo jak se to teď jmenuje)
12:56 mornfall xstill: Předpokládám, žes zaznamenal že jsem nepushnul všechno, třeba offsettree, ale myslím že ho nebude potřeba?
13:02 xstill mornfall: to jsi udělal dobře
13:02 xstill já jsem to teda nekontroloval detailně zatím
13:03 mornfall Btw. Jiřík už to stihl zesegvit.
13:03 xstill mornfall: co kompresi nebo normální běh?
13:04 mornfall Normální běh, asi.
13:04 xstill hmm to je nemilé
13:04 mornfall Ale je možné že za to nemůžeš. :)
13:04 xstill to bych potřeboval vědět na čem to zasegvil
13:04 mornfall /home/mornfall/dev/divine/mainline/divine/graph/store.h:468:8: error: changes meaning of 'Store' from 'struct divine::visitor::Store<divine::visitor::SharedTable, G, TestHasher<typename G::Node>, divine::NoStatistics>' [-fpermissive]
13:05 mornfall xstill: elevator2.bc
13:06 xstill hmm skusím ten elevator2, co je to za chybu kompilace?
13:06 mornfall unit testy, to hned spravim
13:06 xstill divné já už jsem nějaké unity spravoval (kompilaci)
13:06 mornfall Houby nespravim. :-)
13:07 mornfall No, gcc nemá rádo stejný jméno na obou stranách typedefu.
13:07 xstill gcc je svinÄ›
13:07 mornfall Fixed.
13:08 xstill dneska jsem narazil na veselou chybu, která způsobovala, že se divine s gcc neslinkoval
13:08 mornfall V tomhle je shodou okolností GCC přísnější než clang. Stejně tak s foo.template bar mimo template.
13:09 xstill kdyby ses podíval na ten patch který to linování opravuje tak vidíš že jediná podstatná změna je v použití std::integral_constant namísto vlastního typu
13:09 mornfall Koukal jsem na to no.
13:09 xstill skoro bych řekl že mají u gcc nějakou chybu v optimalizacích
13:09 mornfall overall 55/61 ok
13:09 mornfall To není moc. :D
13:09 xstill (nedokážou vyhodit swich podle konstanty)
13:09 mornfall Stane se.
13:10 xstill no on problém je že nejsou spravený testy visitoru, s tím, že transition nesmí vracet IgnoreTransistion
13:10 mornfall Ale aspoň to jde přeložit, to mi teď úplně stačí.
13:10 mornfall Nojo. Hm, ale to trochu bolí.
13:11 xstill no nikdo to nepoužívá
13:11 mornfall No, v těch testech myslim.
13:11 mornfall Ono to stačí rozdělit na transition a transitionHint.
13:11 xstill problém je ža algoritmy potřebují vidět to co je v tabulce
13:12 xstill jo to by asi stačilo
13:12 mornfall Ale je to takový bolavý, už teď mě trochu prudí že ty testy jsou zbytečně velký a složitý.
13:12 spito testy čeho jsou velký? visitora?
13:12 xstill promiň ale já jsem zatím neměl čas a chuť to opravovat
13:12 mornfall J.
13:12 mornfall Však nic neříkám.
13:13 mornfall To se dočistí pak, já stejně teď musim ještě doladit 3.0 a tak.
13:13 xstill sakra nevejde se mi divine na disk :-D
13:14 mornfall Chtělo by to nějaký vnuknutí jak to zjednodušit.
13:15 mornfall Třeba jen to, že spousta kódu tam je 4x v lehkých variacích.
13:15 mornfall Achjo, visitor.test.h je noční můra.
13:15 spito :D
13:15 spito ale naučíš se do toho koukat
13:45 xstill zajímavé, ten elevator2.bc zverifikuju bez problémů, kromě snad --shared --compression=ntree kde je ten problém s pooly
13:48 mornfall Hm. Tady to umře.
13:49 xstill zajímavé, co spouštíš?
13:49 mornfall metrics
13:49 mornfall Jdu zkusit 3.0.
13:49 xstill a umře to rychle?
13:49 mornfall RelativnÄ›.
13:50 xstill takže ne u protipříkladu?
13:50 mornfall Ne, metrics žádný ani nemá.
13:50 xstill aha blbnu
13:51 mornfall S -w 1 zatím běží a nepadá. Hm.
13:52 xstill sakra, no ale já to testuju na dvou
13:52 mornfall Už to spadlo.
13:52 mornfall Zjistím co řekne gdb.
13:53 mornfall Achjo, mně se dneska tak hrozivě nechce. Asi si uvařim kafe, třeba to pomůže....
13:53 xstill no mÄ› to ne a ne spadnout (je to debug)
13:54 xstill skusím udělat release ale zjistím to až po cviku z návalu, Nikola by mě nepochlálil kdybych přišel pozdě
13:55 mornfall Zdechne to na nulovej programcounter.
13:56 xstill hmm a to je 3.1 nebo 3.0?
13:56 mornfall mainline z teď
13:56 mornfall 3.0 se překládá
13:57 mornfall Utíkej na ty cvika radši. ;-)
13:57 xstill tak to máme asi stejný build, nevím
13:57 mornfall Pak dám vědět jestli to zdechá aj v 3.0.
13:57 xstill jo já budu zdánlivě online
14:40 mornfall xstill: Kolik stavů ti to nagenerovalo? 3.0 zatím 90k a furt běží...
14:57 mornfall Hm. Debian 7 má být začátkem května.
15:23 mornfall 340k stavů
15:41 xstill hmm dostal jsem taky segv
15:44 xstill a protože jsem na začátku pouštěl reachability bez -r tak nemám počet stavů
15:47 mornfall zsh: segmentation fault  `otb pwd`/tools/divine metrics elevator2.bc -w 1 -s
15:47 mornfall Smutné.
15:48 mornfall Umřel aj 3.0 nakonec.
15:48 xstill to je dost na nic
15:48 xstill ona ta rechabilita zkončila s deadlockem 290k stavů jsem zjistil
15:49 xstill a metrics mi nakonec taky umřela
15:57 xstill mornfall: je to veselá nekonečná rekurze v divine::llvm::MachineState::StateAddress divine::lens::Array<divine::llvm::MachineState::Frame>::advance<divine::llvm::Mac
15:57 xstill hineState::StateAddress>(divine::llvm::MachineState::StateAddress, int, int)
15:57 mornfall Hm. To máš jinej segv než já.
15:57 mornfall Tos mi udělal radost. :D
15:58 mornfall I když obojí asi vypovídá o tom, že máme zkorumpovanej stav.
15:58 xstill no to je v release ten segví na počkání, u debuggu je to dost nepravidelné
16:14 spito joined #divine
16:21 xstill spito: co děláš na IPv6 síti v tuhle dobu?
17:07 mornfall Idlí.
17:08 mornfall Je mi zima a nic se mi nechce. Jsem mysli zítra se na to vykašlat a zůstat v posteli. Meh.
17:09 xstill tam je možná klíčové na co se vykašlat
17:10 xstill já jsem si opět empiricky ověřil že mě nejde myslet v sedě, potřeboval bych programovat za pochodu
17:12 xstill mornfall: klíček od serverovny má Jiřík?
17:12 mornfall xstill: Hm, nevim.
17:12 mornfall xstill: Na konzervatoř, hlavně teda hodinu tonální harmonie.
17:13 xstill mornfall: řekl bych že jo, měli bysme se s ním domluvit aby jsme v pondělí nezjistili, že jsme bez klíčku
17:14 xstill aha zajímavé to názvy, ale já jako hudebně hluchý člověk si pod tím nic nepředstavím
17:14 mornfall Napsal jsem mu.
17:14 mornfall xstill: Tohle je zrovna aplikovanej constraint solving. ;-)
17:14 xstill :-D
17:16 mornfall xstill: Donese je do labu.
17:17 xstill monfall: tak to je dobré
17:17 mornfall (Tohle je přesně to co je na IM hrozný.)
17:17 xstill mornfall: proč?
17:18 mornfall No, že někdo musí dělat telefonní ústřednu.
17:18 mornfall A já se dneska normálně spálil na slunci. Wut. :D
17:18 xstill no jo ale tak to by se dalo vyřešit tak že bysme všichni poslouchali na jednom irc, ale ostatní nechtějí
17:19 xstill mornfall: zase máš dobré že jsi venku, já jsem seděl celej den na FI
17:19 mornfall xstill: Nasadíme nějakej coercion. :-)
17:20 xstill monfall: co že nasadíme?
17:21 xstill mornfall: sorry, překlepl jsem se ti v jméně, co že nasadíme?
17:21 mornfall xstill: Používej tab. :-)
17:21 mornfall Nátlakové prostředky.
17:22 xstill mornfall: to mě nedošlo zkusit :-D
17:22 mornfall Já píšu jen x<tab> a s<tab>...
17:27 spito xstill: jsem ve Å¡kole, ne? Gotex, G125
17:27 xstill spito: aha zajímavé, takhle pozdě jsem ve škole kromě labu už dlouho nebyl
17:28 spito no, cvičím :D
17:28 xstill aha :-D
17:28 xstill doufám že nás nepromítáš pro pobavení studentů
17:29 spito ne, to bych si nedovolil
17:32 spito home sweet home
17:32 spito mornfall: hehe, TAB funguje :D
17:32 spito a mě se to zdálo otravné furt psát celá jména
17:33 xstill spito: zajímavé že to funguje i v GUI klientovi
17:34 mornfall xstill: To je IRC tradice od nepaměti.
17:34 mornfall Myslím že vydat klienta který to neumí si dovolí málokdo.
17:34 xstill to je asi taky fakt, i když očekávám že thunderbird to nedá
17:35 xstill1 joined #divine
17:35 xstill1 mornfall: no tak jsem ho podcenil
17:35 mornfall :D
17:36 xstill tak je to asi fakt nutnost
17:58 spito joined #divine
18:00 spito mornfall: nebudeš se zlobit, když přepíšu SpinLock na std::atomic_flag?
18:00 mornfall Asi ne, měl bych se? :)
18:01 spito nevím, občas to děláš
18:01 spito hele, je normální, že testy visitora dělají neplechu?
18:01 mornfall Normální ne, ale teď to tak je.
18:01 spito ok
18:01 spito tak já pošlu patch
18:02 spito testy sdílené tabulky rostoucí a tabulku samotnou
18:03 spito hehe, terminate test ani nezastaví
18:03 mornfall Tss.
18:03 spito resp. radši jsem ho po 2 minutách zabil
18:04 mornfall Zastavit by to zato mohlo. :D
18:04 mornfall No co.
18:04 mornfall Opravíme. Někdy.
18:04 mornfall Někdo. ;-)
18:04 spito jo.....
18:04 spito ale tohle se mi nelíbí, já nebudu moct udělat měření s divinem
18:05 mornfall VÅ¡ak vezmi --tag 2.96
18:05 mornfall (darcs get --tag 2.96 ...)
18:06 xbarnat joined #divine
18:06 spito ahoj jiříku
18:06 xbarnat baf, jen zkouska spojeni
18:07 xstill spito: to je dost divné že ten terminate nezastaví
18:07 xstill xbarnat: ahoj, vítej
18:07 xbarnat bite nekdo zhlavy, kde je ten irc log?
18:07 xbarnat bite -> vite ;D
18:07 spito http://irclog.perlgeek.de/divine/
18:08 spito je to nahoře v místnosti
18:08 spito v popisku
18:08 mornfall \o/ :-)
18:08 spito xbarnat: ale pozor, nefunguje v IE8 :D empiricky ozkoušeno dnes v práci
18:08 spito mornfall: to první je co za smajlíka?
18:09 mornfall spito: To je hurá, to o je hlava a ty lomítka ruce...
18:09 spito super
18:09 mornfall _o/ je ahoj :-)
18:09 spito super
18:09 mornfall (Jako že máváš jednou rukou.)
18:09 mornfall Tady se dovíš věci co?
18:09 spito mornfall: já to pochopil
18:09 spito no jasnÄ›, proto jsem v labu
18:10 xstill máme zajištěný univerzální rozvoj osobnosti ;-D
18:10 spito no....pro ten univerzální je potřeba asi zajít někdy třeba na střední školu, do práce
18:11 spito v labu je specifický výběr lidí
18:11 xstill tam je moc zbytečných věcí
18:12 spito xstill: no, ale nedozvíš se tam třeba takové zajímavé věci jako kde mají slevy a tak :D
18:13 mornfall spito: To patří mezi zbytečné věci. :P
18:13 spito no, pokud ti nakupuje žena nebo máš množství financí jdoucí k nekonečnu, pak ano
18:13 xbarnat penize budou a mi nebudem ...
18:14 mornfall spito: Čas je tvrdá měna.
18:14 spito mě třeba přítulka občas nenakupuje, pak se mi to hodí
18:14 mornfall A slevy maj všude. :-)
18:14 mornfall A vůbec.
18:14 spito já vim
18:14 mornfall Berem to moc vážně co? :)
18:14 spito hele, je možný, že se divajn linkuje tak dlouho?
18:14 mornfall spito: Jo, je.
18:14 spito ha, úspěšně dojel
18:15 xstill spito: hádej kdo za to může
18:15 mornfall Budeme muset vytáhnout větší kalibr magie.
18:15 spito mornfall: jako....?
18:15 spito mornfall: ....co?
18:15 mornfall To kdybych věděl.
18:16 xstill no na linkování mě nic nenapadlo, na kompilaci jako takovou bych možná prasácký nápad měl
18:16 mornfall spito: Kdyby třeba --shared bylo rock-solid, tak se může partitioned nechat jen jako compile-time option.
18:16 mornfall xstill: Jaký?
18:17 xstill vygenerovat při kompilaci instanciaci podle algoritmu + generátoru do samostatných cpp
18:17 xstill ale zase by tam bylo dost duplicit
18:17 xstill takže by se to kromě paralelního buildu asi nevyplatilo
18:18 mornfall Nojo, to bude potenciálně furt dost bolet.
18:18 xstill a je to hnus a vůbec
18:20 xbarnat Hola, to su zase ja.
18:20 xbarnat Kdyz dam darcs get --tag 2.96
18:20 xbarnat a pak dam darcs pull, tak se dostanu do mainline?
18:20 mornfall Jo.
18:21 xstill xbarnat: co jsem zase rozbil?
18:22 mornfall xstill: Nic, myslim. :)
18:22 mornfall xbarnat: Btw. tvůj segv s elevator2.bc se děje aj v RC 1.
18:22 mornfall Není to moc dobře.
18:22 spito mornfall: rock-solid? jako že by shared bylo napevno?
18:22 mornfall spito: Jako že to bude stabilní a funkční a nebudou v tom chyby. :-)
18:22 xbarnat jo a mimochodem debian ve virtualboxu 4.2.12 pada ...
18:22 xbarnat xstill: proc by si mel neco rozbijet?
18:23 xstill xbarnat: jen že rozdíl mezi tag 2.96 a aktuálním mainlinem jsou vesměs moje patche
18:23 xbarnat no aspon vime, ze to neni bezchyby
18:23 xbarnat ten RC 1
18:23 spito mornfall: jo, dokud se v tom vláďa nezačal vrtat, tak to i fungovalo
18:23 mornfall No jo. Ale byl bych radši kdyby bylo.
18:23 spito :D
18:23 xbarnat xstill: jo, ok, ja si nestezuju
18:25 xstill xbarnat: klidně si i stěžuj, jsi můj vedoucí bakalářky tak si můžeš stěžovat
18:25 mornfall xstill: Od toho jsem tady já.
18:25 mornfall Předpokládám že perspektivní oponent.
18:26 xbarnat vase problemy na moji hlavu
18:27 xstill mornfall: ty si taky můžeš stěžovat
18:27 mornfall xstill: No, já začnu až si to líp přečtu. ;)
18:27 mornfall Nebo něco.
18:27 spito až se skoro začínám bát....
18:29 xbarnat hele, jaky panuje tady nazor na to, ze bychom otagovaly zdrojove kody treba doxygenem?
18:29 xbarnat (vim ze Mornfall je proti)
18:29 spito heh, s tím jak se to furt mění....
18:29 spito pak ty komentáře budou nefunkční
18:29 spito každou chvilku někdo něco překope....teď byly na mušce story
18:29 spito ale....já su hovno vývojář, že :D
18:30 xstill xbarnat: no já nevím spíš bych se přiklonil k méně drastickým řešením, jako třeba používat smysluplné názvy proměnných
18:30 xstill ono i to dost pomůže
18:30 xstill problém s povinými komentáři je že se musí udržovat
18:31 xbarnat no, ono mozna nejde ani o ty komentare, ale o  klikaci strukturu trid (sablon) pro lepsi orientaci
18:31 xstill (mornfall mě ovlivnil k negativnímu postoji ke komentářům)
18:31 xbarnat ok
18:31 xstill xbarnat: nevím jak doxigen přežije šablony
18:32 mornfall xbarnat: The force is strong in this one. ;-)
18:32 xstill nikdy jsem to neviděl v praxi na takovém projektu
18:32 xbarnat nevim jestli treba doxygen to umi nebo neumi, ale verim, ze existuje tool (free) ktery neco nejakou analyzu kodu a vizualizaci sablon dela ...
18:32 xstill podle mě totiž klikací struktura nepůjde bez parseru c++ který si s těma šablonama poradí
18:33 mornfall xbarnat: Bojim se že ne.
18:33 mornfall Jedině že by něco v clangu.
18:33 xstill teda jako vizualizace by byla dobrá
18:33 xbarnat dobre, vy jste tu exprdi ...
18:33 xstill mornfall: to by možná nějak jít mohlo
18:34 mornfall http://www.computer.org/csdl/proceedings/scam/2010/4178/00/4178a167-abs.html
18:34 xbarnat (mozna by slo generovat dot rovnou pri prekladu, ne? checht)
18:34 xstill xbarnat: no já ne, já jen vím, že co jsem viděl IDE který se snažili o nějaké zobrazování struktury tak šablony nedali
18:34 mornfall xbarnat: No, problém je, že C++ nemá koncepty.
18:34 mornfall Furtještě.
18:35 mornfall Takže typy těch šablon jsou jen hvězdičky a šipky.
18:35 mornfall Z toho analyzátor stejně prd pozná.
18:35 mornfall To by musel vygenerovat všechny instance a z toho odvodit co kam pasuje.
18:35 mornfall Teda ty co se použijou.
18:36 xstill mornfall: možná že by se na to nějak dalo jít přes ty instance respektive symboly
18:37 mornfall Dalo, ale bude to podstatně víc než 30 řádek perlu.
18:37 xstill fuj perl
18:37 xbarnat xstill: napis to v haskellu
18:38 mornfall xbarnat: A máme pro to nějakou konkrétní aplikaci? :)
18:38 xstill xbarnat: mám obavu že se ještě nějakou dobu nebudu natolik nudit abych něco takového pokoušel
18:38 spito to už by bylo skoro na bakalářku ne?
18:39 mornfall spito: Nebo na PhD, podle toho jak pořádně se to udělá.
18:39 xstill :-D
18:40 spito no, dobré téma....jestli bude za čas C++ ještě používané, tak by to mohlo mít i budoucnost
18:40 spito i když se trochu bojím, že  bude C++ pÅ™eválcované Javou a C#
18:41 spito potažmo dalšími python-like jazyky
18:41 mornfall spito: O to se moc nebojim.
18:41 xbarnat ja tez ne
18:41 xstill spito: a co bys chtěl používat, to co říkáš není moc pěkné
18:41 mornfall spito: Pokud JavÄ› nenarostou koule.
18:41 spito no, všechno velké se píše Javě
18:41 xstill spito: všechno co je potřeba udělat rychle spíš
18:42 xstill spito: a s malými náklady
18:42 mornfall Já nesouhlasim ani s jedním. :-)
18:42 mornfall A myslim že Fred Brooks by taky nesouhlasil.
18:42 xbarnat j, navic C/C++ ma silnou zakladnu v legacy kodu
18:42 xstill spito: ono sehnat programátory v c++ je větší problém než pro Javu/C#
18:42 spito no, protože je příliš těžké
18:42 mornfall xstill: To záleží jak moc dobré programátory potřebuješ.
18:42 spito proto se bude víc tlačit něco jednoduššího
18:43 spito tedy Java
18:43 mornfall http://www.paulgraham.com/power.html
18:43 xbarnat jestli jako Java je jednodussi ... tak to teda nevim
18:43 mornfall ^ povinné čtení :-)
18:43 mornfall xbarnat: To zase je.
18:44 mornfall Pokud ti nevadí bušit furt to stejný dokola.
18:44 xstill no jednodušší je ale nesmíš se ptát proč se něco děje jak se to děje
18:45 mornfall Jo, a tohle taky http://www.paulgraham.com/icad.html (odkazuje se na to na začátku toho succinctness is power)
18:45 xstill (resp. ví to ještě menší množtví programátoru než u c++)
18:48 mornfall Já jdu chvíli cvičit, pak dejte vědět co si myslíte o Grahamovi. ;-)
18:48 mornfall Elfinka mi třeba po přečtení třech vět že nesouhlasí. :D
18:48 mornfall +řekla
18:51 spito mornfall: Elfinka je ?
18:52 spito a teď mne omluvte, čekají mne ťousti se dvěma slečnami
19:01 xbarnat v debianu Wheezy, jsem naistaloval llvm-3.1 a configure ho nedetekuje ...
19:03 xbarnat protoze neni binarka llvm-config ale jen llvm-config-3.1
19:05 xstill xbarnat: nejde CMAKE dát přímo tu cestu k llvm-config?
19:07 xbarnat jde samozrejme
19:07 xbarnat ale to neni co by lama uzivatel jako ja chtel ...
19:10 xstill no já nevím nakolik je problém to detekovat že je to s verzí a jakou, ale zase kvůli debianu by možná stálo za to to spravit
19:11 mornfall No, problém je, že wheezy má default 3.0.
19:12 xstill mornfall: aha to jsou ty distribuce co jsou "stabilní"
19:13 mornfall xstill: On bude stabilní až v květnu. :P
19:13 xstill mornfall: tím hůř
19:14 mornfall spito: Hmm, ale to že to je zase nová implementace se mi ani trochu nelíbí. Navíc zase kopie.
19:14 mornfall spito: To je úplně v protisměru toho že to chceme co nejvíc sjednotit.
19:17 mornfall xstill: To jsem ti vlastně chtěl taky, že bys mohl treecompressedhashset zrušit, jestli se už nepoužívá.
19:18 xstill mornfall: jo treecompressedhashset jsem tam nechal jen pro svou kontrolu pokroku, zrušení je v plánu
19:19 xstill (ntree by měl být efektivnější i na binárním stromě tak to chci ověřit)
19:19 mornfall Ok.
19:19 xstill jinak je kničemu protože se na paralelním běhu rozbije
19:24 spito mornfall: ono to je zatím teď na porovnání, pak ta konstantní půjde pryč
19:28 mornfall Meh. :-P
19:44 xbarnat joined #divine
19:44 xbarnat divine compile -l --cflags="-std=c++11" elevator2.cpp
19:45 xbarnat sh: 1: llvm-link: not found
19:45 mornfall xbarnat: Stejnej problém jako llvm-config, řekl bych.
19:45 xbarnat tj
19:45 xbarnat ale configure jsem nastavil a prosel a divine se zkompiloval
19:45 xbarnat vcetne llvm
19:46 mornfall xbarnat: Jasně, ale to s tím nemá nic společnýho.
19:46 xbarnat no to ja chapu, jen poukazuju na to, ze asi llvm-link by mela byt dalsi polozka v configuraci
19:46 mornfall compile hledá clang a llvm-link v cestě...
19:47 mornfall xbarnat: To si nepomůžeš, pak upgraduješ systém a divine přestane fungovat.
19:47 xbarnat ale ja nemam llvm-link jen llvm-link-3.1
19:47 xbarnat aha n, tak ted si to hold nezkompiluju vubec
19:48 mornfall xbarnat: mkdir ~/bin, ln -s /usr/bin/llvm-link-3.1 ~/bin/, PATH=$PATH:$HOME/bin
19:49 xbarnat mi je jasny jak to obejit ... jen se ptam, jestli je to takto spravne
19:50 mornfall xbarnat: No, o moc líp to nejde. Máš nějaký nápad?
19:50 mornfall Teda krom toho překopat divine compile tak aby to dělal všechno interně.
19:50 xbarnat llvm config.cmake jsem si opravil tak, aby aby kdyz nenajde llvm-config hledal llvm-config-3.2 a -3.1
19:50 mornfall Jedině snad přidat parametry --clang-path, --gcc-path, --llvm-link-path.
19:51 mornfall xbarnat: Pošli patch.
19:51 xbarnat j to jsem mel namysli ...
19:51 mornfall Ale myslel jsem runtime teda. :)
19:51 mornfall Takže budeš volat divine compile --llvm --llvm-link-path=/usr/bin/llvm-link-3.1
19:52 mornfall Zakompilovat to natvrdo do binárky tě nezachrání.
19:52 xbarnat no nezachrani pred upgrade systemu ...
19:52 mornfall xbarnat: Nebo před NFS, nebo kopírováním binárky.
19:53 xbarnat hmm jasne ... uaaa proc to neni systemove negde
19:53 mornfall xbarnat: No, ono by ti stačilo nainstalovat balík llvm, krom llvm-3.2.
19:53 mornfall Řekl bych.
19:54 mornfall (Protože zrovna llvm-link by mohl fungovat, i když jistě to nevim.)
19:54 mornfall Ale s clangem a gcc je stejnej problém.
19:54 mornfall A systémové řešení na to není, proto se snažíme externích binárek volat co nejmíň.
19:55 mornfall Ale tady to je dost práce navíc, i když se snad časem udělá.
19:56 mornfall xbarnat: Ještě mám dotaz, cesťák na CAV mi se studentskou conference fee vychází na 40.7kKč.
19:56 mornfall Což asi není moc dobře.
19:56 xbarnat ja jsem rezervoval u hlineneho 40 k
19:56 xbarnat btw jak letis?
19:56 xbarnat a uz mas vizum?
19:56 mornfall Zatím nijak, ale asi Austrian.
19:57 mornfall Vízum nemam, jen invitation letter.
19:57 xbarnat tak to jsme na tom uplne stejne ...
19:57 xbarnat a bydlis? mozna je mozne sdilet pokoj s nekym
19:57 xbarnat MIlan, Sven, Ja ...
19:57 mornfall Tuchkov Hotel, 12.5k.
19:58 mornfall Letenky budou snad do 10.
19:58 xbarnat aha
19:58 xbarnat kolik noci?
19:58 mornfall Ale je to free cancellation bez zálohy, takže se to dá posunout.
19:58 mornfall 8
19:59 xbarnat hmm jedes se svou drahou?
19:59 xbarnat nebo sam
19:59 mornfall Sám.
19:59 xbarnat btw s llvm-link verze 3.0 to facha ...
20:00 xbarnat no ja myslim ze 41k je ok
20:00 mornfall Jak řešíte pojištění?
20:00 xbarnat jake?
20:01 xbarnat cestovni? hmm na to jsem nemyslel
20:01 mornfall No, potřebuješ doklad že jseš pojištěnej abys dostal vízum.
20:01 xbarnat (navic jsem pojisteny zamestnavatelem)
20:01 mornfall Normálně máš kartičku od FI.
20:01 xbarnat aha
20:01 xbarnat ja zatim nijak ale koukam, ze to budu muset resit
20:02 xbarnat to vizum je mozna ziskat v Brne? nebo se musi do Praglu?
20:02 mornfall No, potřebuješ libovolnej konzulát. Já mam slovenský pas, takže Blava.
20:02 xbarnat cha
20:10 xstill mornfall: jak se dá v irssi scrollovat?
20:10 mornfall xstill: page up, page down
20:11 xstill mornfall: sakra na to jsem mohl přijít sám, díky
20:11 mornfall Nz. :)
20:12 xstill spito: jsi tady ještě?
20:30 spito jo
20:30 spito :D
20:30 spito xstill: mám odezvu jak sviňa
20:31 spito xstill: mám opravit test visitorů?
20:31 xstill spito: to můžeš taky, ale dostaneš ode mě mail s návalem potřeboval bych aby ses mrknul jsetli tam nepíšu kraviny, hlavně u těch obchodních cestujících (nejsou kompletní)
20:32 spito oka, zítra, teď jdu.....no, asi spát
20:32 mornfall :-P
20:32 xstill no jasný, a potřeboval bych abys dodělal ty krabice
20:32 spito dopoledne do práce, abych měl jídlo zadarmo a pak mě čeká víkend plný divajnu, návalu a pejpru
20:33 spito s tím počítám, proto zůstávám sám v Brně na víkend
20:34 xstill no já jsem taky v brně, původně jsmem měl jet domů ale to bych se z toho zbláznil
20:35 mornfall spito: Jakýho pejpru?
20:36 xstill mornfall: pravděpodobně toho co bude přednášet za týden na labu, mě to čeká v pondělí :-(
20:37 mornfall Jo tak.
20:37 mornfall To máte prohozený?
20:37 mornfall Nebo už šilhám? :)
20:37 spito nejdřív vláďa, pak já
20:37 spito a už fakt
20:37 spito jdu
20:37 spito left #divine
20:37 mornfall Jo takhle.
20:38 mornfall To mně nějak nenapadlo že by to někdo chystal víc než týden napřed. :D
20:38 mornfall Nebo spíš mě.
20:40 xstill no tak já s tím nemám zkušenosti a na poprvé jsem rozhodně nepochopil co tam dělali, ale teda ještě to nemám připravené protože nebyl čas, tak doufám že to v pondělí nebude katastrofa
20:41 mornfall :-) Je to ParaDiSe, to je katastrofa v prášku.
20:41 xstill :-D to neříkej
20:43 mornfall :-P
20:49 xstill no nic já budu končit pro dnešek, dobrou noc
20:49 mornfall Dobrou. :)

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