Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-07-12

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

All times shown according to UTC.

Time Nick Message
06:07 xbarnat joined #divine
06:08 xbarnat hola, tak v nedeli odjizdime prezentovat DiVinE na CAV. Tak si to shrnme:
06:08 xbarnat je patek, a public stable release 3.0 (planovany nekdy na brezen) stale neni
06:08 xbarnat aktualni verze neumi LTL MC pro llvm bitcode
06:09 xbarnat demo na webu je krasne, nicmene nepouziva aktualni build (tudiz "zdanlive cykli" v okamziku kdy dojde k deleni 0)
06:10 xbarnat zaver: jako team leader stojim za velky H, male o, rimskych 5, n & o ... :-)
06:11 xbarnat jdu chystat aspon prezentaci ...
07:19 xstill xbarnat: ono zase nefunguje llvm? Mě před pár týdny přišlo že to funguje.
07:20 xstill a aspoň dobrá zpráva je že branch 3.0 je kompletně zbuildovaný mimo win verze
07:27 mornfall xstill: no, nefunguje, a s 3.2 ani nikdy nefungoval :)
07:27 mornfall xstill: jen nikoho nenapadlo zkusit LTL
07:27 mornfall jsou tam dva problémy, jeden je že clang 3.2 ty konstantní stringy bez externu prostě sežere
07:28 mornfall druhej že když se před ně napíše extern, tak ten kód co ten string má vytáhnout vytáhne něco jinýho
07:28 xstill co? já jsem divine s clang 3.2 normálně používal a i llvm jesem s tím zkoušel pokud vím
07:28 xstill aha LTL
07:28 mornfall že :)
07:29 xstill sakra
07:29 xstill btw. hydra buildy pro nix nemají nastavený CMD_LLVMGOLD
07:29 mornfall xbarnat: co team leader, ale nikdo to prostě netestuje
07:29 mornfall xstill: jo, to se nedivím
07:30 mornfall xbarnat: btw. pythia05 je zdá se vadná, nebo něco v ní
07:30 mornfall ostatní vypadají že fungují
07:30 xstill mornfall: to jsou ty nové stroje už?
07:32 xstill asi jo, na antee máš offending DSA key in /etc/ssh/ssh_known_hosts:37 (pythia01)
07:32 mornfall jo to se snad brzo srovná
07:34 mornfall jen authorized_keys jsou jako obvykle blbě ;-)
07:34 mornfall chce to přepsat...
07:34 xstill mornfall: co je to za konstantní stringy co dělaj problém?
07:34 xstill kde authorized_keys?
07:35 xstill aha vidím
07:35 xstill co to tam deployuješ za staré klíče
07:35 mornfall z klíčenky :-)
07:35 mornfall go.sh je tam kopíruje
07:36 xstill by sis tam měl dát nové
07:36 mornfall no až se dořeší known hosts
07:36 mornfall teď se tam přihlásit je spousta práce ;-)
07:37 mornfall překopal jsem deploy aby si s tím poradil, stejně tam nikdy nepíšeš heslo
10:14 mornfall xstill@fi.muni.cz   #8 |     const int m_slack;
10:14 mornfall 8: Wed Apr 10 17:24:39 CEST 2013  Vladimir Still <xstill@fi.muni.cz> * Hasher: Make slack const.
10:14 mornfall proč :-)
11:03 mornfall meh, /home/xrockai/dev/divine/mainline/divine/llvm/execution.h: 859: assertion `bad parameters for opcode 8' failed;
11:03 mornfall řekl bych že to víc nefunguje než funguj
11:03 mornfall +e
11:04 mornfall tolik k testování...
11:42 xstill mornfall: ad const slack NTree potřebuje vědět jak je slack velký než začne něco dělat
11:48 mornfall nj, jen pak to nejde přeložit, podle verze překladače a libstdc++
11:48 mornfall libstdc++ 4.6 má asi jinou implementaci emplace
11:49 xstill hm, není libstdc++ 4.6 součástí gcc 4.6?
11:50 mornfall je, ale clang 3.2 ji používá když je přeloženej gcc 4.6
11:50 xstill aha, to je zrada
11:50 xstill a to vůbec funguje (kromě tohoto)?
11:50 mornfall ono mu teda jde vnutit něco jinýho
11:50 mornfall no, krom toho funguje všechno :-)
11:51 xstill a navíc jak to souvisí s emplace?
11:51 mornfall protože ten const překladači zabrání vyrobit kopírovací konstruktor
11:51 mornfall a emplace v 4.7 zdá se funguje aj bez něj, ale v 4.6 ne
11:52 mornfall ona to je asi v podstatě chyba v implementaci v 4.6
11:52 xstill to je divné kopírovací konstruktor by měl být možný i tak ne?
11:52 mornfall a jak by fungoval? :)
11:54 mornfall const int member musí mít konstantní inicializátor, řekl bych
11:54 mornfall ale hodnota v konkrétní instanci není konstantní výraz
11:54 mornfall (může se lišit podle toho jaký konstruktor se zavolal)
11:54 xstill no to ne, musí být inicializovaný v konstruktoru
11:54 xstill ale i ne-konstantou
11:55 mornfall hm
11:55 mornfall tak pak nevím, každopádně clang 3.2 ten konstruktor odmítne vyrobit
11:55 xstill ti tam ten kopírovací konstruktor klidně připíšu explicitně
11:56 mornfall on chybí ještě někde v DVE protože tam je zase reference
11:56 mornfall v podstatě je lepší kdyby tam nebyl... :D
11:56 xstill a to se projevuje v nixosu s clang 3.2?
11:57 mornfall jo, aspoň v labu :)
11:57 mornfall na laptopu to přeložím, ale já mam asi explicitně nahackovaný libstdc++ 4.7 do clangu
11:57 mornfall což jsem pak opustil protože upstream to opravil, jen používá stdenv gcc
11:57 mornfall tj. 4.6
11:59 xstill hm
11:59 xstill se divím, že tam vůbec funguje atomic
12:07 mornfall no, to že nefungoval byla chyba v clangu
12:08 mornfall v 3.1 s libstdc++ 4.6 počítám nefunguje
18:20 mornfall TODO: podívat se na PHP FPM jako alternativu k tomu trochu divokýmu fastcgi co tam máme teď
19:18 xbarnat joined #divine
19:20 xbarnat ad pythie, Beda dneska fyzicky prohodil pythia 05 a 06, pote ta 05 najela ..
19:23 xbarnat ad pandora*, navrhuji, aby jedna pandora byla prirazena te tiskarne v labu a rozjela se jako sitova tiskarna (pro tisk z labu) ...
19:24 mornfall jaká pandora? :)
19:28 mornfall pokud to bude pandora s linuxem, tak klidně
19:31 xstill xbarnat: kde se ty pandory vzaly?
19:31 xstill síťový tisk v labu by byl super
19:32 xbarnat pandora* jsou ip adresy pro ruzne pochybne stroje ... PC s windows, puvodni pandora, HP Laserjet 2506DN, a pod ...
19:32 mornfall olol :-)
19:34 mornfall nevím jak moc dobrej nápad je připojovat tiskárnu přímo na síť
19:34 xbarnat ta tiskarna v labu ma sitove rozhrani ... no tak mozna se da kabelem pripojit k pandora03
19:35 mornfall tak, asi by nebylo dobrý aby ji viděla celá hala třeba :-)
19:35 mornfall počítám že nějaký management rozhraní to má, ale bude to hrozně bolet
19:35 xbarnat ale na to nikdo neprijde, stejne tisknou pres CUPS ...
19:36 xbarnat ale jasne, pokud to nema nejake rozumne ucty/firewall, tak asi lepe pripojit pres neco, co je pod kontrolou
19:39 mornfall pokud jde o nenalezení, tak o to bych se nebál, CUPS je šikovnej, někdo minule zmiňoval že po několika měsících objevil tiskárnu na který občas omylem něco vytiskl
19:39 mornfall a já než vypnul prinscreen, tak mi občas ze síťový tiskárny vyjel obsah terminálu :-)
19:40 mornfall když nechceš, funguje to líp než bys věřil
19:40 xbarnat :-)
19:41 mornfall ono nakonec, když připojím notebook ke drátu tak nějaký ztracený tiskárny na FI taky vidím, co si matně pamatuju
19:41 xbarnat xstill: nejaka nadeje rozjet tu svnku?
19:41 mornfall já teda zvažoval připojit to k pythii02 nebo tak něco, ale asi nemáme tak dlouhej usb kabel
19:42 xbarnat no a je rozdil mezi pythii02 a pandorou03 ?
19:42 mornfall v podstatě ne, jen předevčírem ještě pandora03 neexistovala :)
19:42 xbarnat jj
19:42 xbarnat pandora03 je fyzicky blizko ...
19:43 mornfall jo, a je furt online
19:43 xbarnat ptal jsem se zbynka na USB mysi a rekl, ze ty nemaji, jen PS2 kove ????
19:43 mornfall já bych k ní třeba připojil i skener :)
19:44 xbarnat nemam problem
19:44 mornfall ale to jsou stejně plány na dobu než se vrátíme
19:45 mornfall pythia05 najede, ale když na ni trochu víc hrábneš tak umře
19:45 mornfall asi
19:45 mornfall i když je pravda že Xka jsem tam asi neviděl ani jednou
19:45 mornfall vlastně viděl, ale jen chvíli :-)
19:45 xbarnat rikal jsem zbynkovi a ten tvrdil, ze neni problem vymenit ...
19:45 mornfall však uvidíme
19:46 mornfall fajn
19:46 mornfall klíčenku ještě mám, proces je už snad vyladěný :)
19:46 xstill xbarnat: promiň ještě jsem neměl moc času se na to dívat. zatím jsem zjistil jen že bez apache svn asi fakt neudělám. Nakonfigurovat apache by snad ale nemusala být až taková tragédie.
19:47 xbarnat hmm
19:47 mornfall no to víš že bez apache to nejde :-)
19:48 xstill jsem naivně doufal, že by to nějak šlo. Apache není zrovna malá věc
19:49 xstill navíc teda nevím jestli to svn bude fungovat přes reverzní proxi nebo bude potřaba aby to apacha bylo na svém portu viditelné z venku
19:50 mornfall musí
19:50 mornfall teda musí to zmáknout reverzem
19:50 mornfall protože z Honeywellu vidí jen 80 a 443
19:50 xstill super
19:50 mornfall to je celá pointa
19:51 mornfall svnserve běhat je nejmenší problém :-)
19:52 xstill tak to jsem zvědav, zítra se na to podívám
19:52 xstill mornfall: ten apache na antee nebo na anně?
19:53 mornfall xstill: to je jedno, asi antea
19:53 xstill ok
20:06 ChanServ joined #divine
21:04 xstill zdá se že ten reverse proxi na tom svn bude nejjednodušší
21:07 mornfall proxy! :-P
21:07 mornfall xbarnat nám vytimeoutoval
21:13 xstill jo no
21:21 xstill mornfall: jak děláš ten expressions profil co je na anně v $NIX_PATH?
21:29 mornfall xstill: /etc/expressions
21:29 mornfall xstill: při deploy se kopíruje do store
22:42 _ilbot joined #divine
22:42 Topic for #divine is now DiVinE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/

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