Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-12

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

All times shown according to UTC.

Time Nick Message
05:53 xbarnat joined #divine
05:53 xbarnat hola vsichni
05:55 xbarnat mornfall: Zda se mi, ze llvm s probabilistic nejak nefacha, tak jak by melo. Viz priklad co jsem poslal, ktery 5x hodi minci. Kdyz to ale nakreslim  draw vidim pouze jednu volbu.
07:15 xstill xbarnat: on ten příklad je špatně
07:15 xstill protože v printf je pravděpodobně assert
07:16 xstill a tím se to zařízne
07:16 xbarnat aha ... to je dobre vedet ...
07:16 xstill + chybí include na divine.h (nebo assert.h což je momentálně totéž)
07:16 xbarnat tak to chce za #ifdefovat
07:16 xstill když to předělám tak dostanu dost voleb řekl bych
07:17 xbarnat proc chybi inklude, nikdo si nestezoval ...
07:17 xbarnat include ...
07:17 xbarnat ok oprav priklad a posli patch
07:17 xstill u mě si clang stěžoval na impicitní deklaraci __divine_coice
07:17 xstill jo pošlu ten opravenej
07:18 xbarnat u me divine compile nestezoval
07:18 xbarnat j tak, aby sel prelozit primo do binarky ...
07:18 xbarnat ne to je blbost
07:19 xstill ne, v divine compile
07:22 xstill ještě jedna věc, nesouvisející
07:23 xbarnat ?
07:24 xstill mám známou -- Eva Tesařová -- která u tebe byla někdy ke konci roku zeptat se na bakalářku, ty jsi jí nabízel spinju/spins podle toho co říkala. Bavil jsem se s ní o labu a tak a možná by měla chuť se k nám přidat. Myslím, že na to má. Myslíš že jí můžu říct aby se přišla podívat na seminář nebo úterní session?
07:47 xstill mornfall: __attribute__((constructor)) asi nepodporujeme co?
07:55 xstill (používá to pdclib k nicializaci interních mutexů -- třeba v printf a tak)
07:59 xstill @llvm.global_ctors = appending global [1 x { i32, void ()* }] [{ i32, void ()* } { i32 65535, void ()* @init_stdio }]
10:04 xstill bla
11:21 xstill pythia05 je divná, paměť má v pořádku, ale čas od času se sekne
12:54 xstill mornfall: přeteklo ti počítadlo basic-bloků
13:07 xstill (to jsou strašně divný věci, třeba to jak konvertuješ PC na Pointer)
13:08 xstill (nebo to mám chápat jako union diskriminovnej code?)
13:21 xstill začínám pochybovat o tom, že ten RERS fakt verifikujeme, spíš generujeme náhodné chyby způsobené míchním basic-bloků
13:27 xstill ale možná ne, některé končí celkem smysluplně na assertech nebo dokonce platí
13:27 xstill takže to nemusí být tak strašné
13:28 xstill jen to teda nemám moc proti čemu ověřit, protože mi padají loňské příklady
15:41 mornfall xstill: pythia může mít vadný CPU
15:41 mornfall cokoliv :)
15:41 mornfall cosntructor fakt neumíme
15:41 mornfall a funkce co má 1000 basicbloků je zvrhlost :-P asi to budu muset natáhnout, nebo celý nějak přečíslovat
15:52 mornfall xstill: Evu zavolej na úterý, jestli se nelekne a neuteče tak ji berem, ne? :-]
16:41 xstill nemůžeme tu pythiu nějak "reklamovat"?
16:56 xstill basic-block je vlastně co -- to je to co je v disassembly mezi dvěma label-y?
16:57 xstill Hlavně nesmíme Evě ukázat ty největší šílenosti co v divne jsou, některých věcí bych se před rokem leknul taky...
17:01 xstill pořád je v divine gcc ice
17:04 xstill na antee není clangSelf a libcxxLLVM?
17:12 xstill teda nikde není
17:15 xstill jen v hydře asi je
17:17 xstill mornfall: ty máš vůbes strašně zastaralý nixpkgs na těch strojích
17:18 xstill (btw. v nixos/nixpkgs/master už je llvm 3.3 i s pluginem)
17:54 mornfall xstill: v master to je zhruba od víkendu, kdy to vcunat mergnul :-)
17:54 xstill jo no
17:55 mornfall a to jsem mu taky tak trochu vnutil ;-)
17:56 mornfall xstill: no, jak vidíš v hydře, tak desktopy vůbec nejdou buildnout protože chybí někde nějakej freetds-stable, ať to je co chce
17:56 xstill to je blbý
17:57 mornfall (manifest-next)
17:57 mornfall v zásadě bych asi navrhoval vyrobit manifest-xstill, dej mi nějaký github url :)
17:59 xstill no já nemám čerstvej nixpkgs s clangSelf, protože mi systém jede na upstream verzi
17:59 xstill a clang tam mám jen dohozenej
17:59 mornfall :-) jo, no
17:59 mornfall to je tragedie toho nixosu :-)
18:00 xstill leda bych zmergoval zase jednou svůj master, pokud to půjde
18:00 xstill a přidal do něj clangSelf a spol
18:02 xstill zkusím to udělat, zatím se možná mrkni na ten gcc ICE protože je nejspíš v LLVM a já netuším kde má a kde nemá this-> být (je to v lambdě zdá se)
18:04 mornfall to je divný, hydra to totiž přeložila
18:04 mornfall http://divine.fi.muni.cz/hydra/build/2819615
18:05 xstill divný
18:06 mornfall jsou tam nějaký signed/unsigned warningy ale jinak nic nevidím
18:06 mornfall jak vypadá to ICE?
18:06 xstill /home/xstill/DiVinE/debug/divine/instances/auto/instance-2.cpp: In lambda function:
18:06 xstill /home/xstill/DiVinE/debug/divine/instances/auto/instance-2.cpp:52:1: internal compiler error: in get_expr_operands, at tree-ssa-operands.c:1035
18:07 xstill leda by to v 4.7.3 bylo opravený
18:08 mornfall asi jedině
18:11 xstill proč mě rebase nenechá vyhodit commit?
18:12 xstill aha ono to dává smysl
18:12 xstill bych ho neměl mazat z repa žejo
18:13 xstill mornfall: co ti vlastně chybí v upstreamu kromě clangSelf & spol.
18:15 mornfall xstill: se koukni na ty commity :) vidíš to u vrchu v githubu -> commits
18:15 mornfall pár balíků, a hlavně spousta změn v tom jak se vyrábí VMka
18:17 xstill hm, potom bysme ale asi stejně nemohli použít moje nixpkgs ne?
18:18 xstill nebo to pořebuje jen hydra?
18:19 mornfall no, šlo mi spíš o to že bys mohl editovat ten můj a vidět to v hydře a pak vyrobit pull request, nebo tak něco
18:19 mornfall nevím jestli jde githubu říct že můžeš zapisovat do mojeho repa
18:20 mornfall jakej máš login? něco jsem možná našel :)
18:20 mornfall ah, vlstill
18:21 mornfall můžeš zkusit udělat ssh klon a uvidíš :)
18:21 xstill jo vlstill
18:22 mornfall (git close ssh://.../mornfall/nixpkgs.git, asi snad)
18:22 mornfall git clone*
18:23 xstill ssh klon dělám normálně, pokud vím
18:23 xstill ono to funguje asi vždycky
18:24 xstill pull request kam?
18:24 mornfall tak bys měl mít možnost tam aj pushovat teď, nevim :)
18:25 mornfall prostě jsem tě přidal do collaborators
18:25 mornfall toho nixpkgs
18:25 mornfall co mam na githubu
18:27 xstill ok
18:29 xstill jo github mi dokonce poslal mail, že můžu pushovat
18:29 mornfall až to bude zelený v hydře tak to můžeme zkusit deploynout
18:31 xstill manifest-next funguje jak? To jsou konfigurace které se překládají při aktualizaci nixpkgs a spol?
18:36 mornfall jo, viz build inputs
18:37 mornfall tab configuration
18:37 xstill aha
18:40 xstill no problém s tím freetds je že tarball neni
18:40 xstill "Libraries to natively talk to Microsoft SQL Server and Sybase databases"
18:40 xstill to jako potřebujeme?
18:47 xstill aha calligra na tom závisí
18:48 xstill zase jedna z těch kravin který závisí na všem a určitě se buildují sto let
18:48 xstill (jako openoffice)
18:51 xstill mornfall: updatuju url, dokonce i hash je stejný
18:55 xstill mornfall: tak push funguje
18:57 mornfall no, builduje se podstatně rychlejc :)
18:57 mornfall libreoffice je fakt mega
18:58 mornfall calligra je docela malá, myslím že podstatně menší než chrome nebo firefox
18:59 xstill no já zrovna čekám až hydra dodělá libreoffice, abych mohl udělat switch
18:59 xstill protože já ho sám nenabuilduju
18:59 xstill nemám dost velký /tmp
19:00 mornfall :-)
19:00 xstill (navíc je to teda dost opruz buildovat to skoro po každém větším updatu)
19:01 mornfall no, já mam právě nainstalovanou tu calligru
19:01 mornfall na ten jeden .doc co tu za měsíc přistane to docela stačí
19:01 xstill tu já neznám
19:01 mornfall to je bývalý koffice
19:02 mornfall a je to použitelný aj v mobilu, tak to nemůže být až takovej moloch
19:03 xstill hm já bych si hlavně ten libreoffice mohl hodit do svího profilu a ne systémovýho
19:04 xstill wtf: undefined reference to `llvm::ParseBitcodeFile(llvm::MemoryBuffer*, llvm::LLVMContext&, std::string*)'
19:08 mornfall to zní dobře, jak se ti to povedlo?
19:10 xstill to nevím
19:16 xstill do kelu, nixos-rebuild mi shodil Xka
19:17 xstill a při té frontě v hydře budeme na manifest týden

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