Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-11-18

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

All times shown according to UTC.

Time Nick Message
02:19 mornfall řekl bych že tentokrát to vypadá docela dobře
02:19 mornfall aspoň zatim
06:17 spito joined #divine
06:18 spito Tak na Fedoře to má málo času asi (vzdal to po 3 hodinách)
06:19 spito A nepřišel jsem na to, z jakého důvodu tam jsou ty aborted buildy
06:30 xstill aborted bývá nějaká chyba nixu, dshedu nebo prostě něco systémovýho
06:31 xstill vypadá to, že něco sežralo cesty než se zkopírovali, ale poč to nevím
07:33 xstill mornfall: vypnutí X11 forwardingu má nějakej extra důvod?
07:39 mornfall kterýho, kde?
07:39 mornfall na fedoře to vypadá jako deadlock v compile --llvm
07:40 mornfall X forwarding není úplně bezpečnej
07:40 xstill na všech strojí paradise je programs.ssh.forwardX11 = false;
07:40 xstill jakto?
07:40 xstill (že není bezpečnej)
07:41 mornfall no, remote root ti může ukrást lokální session
07:41 xstill hm deadlock v compile, no super
07:41 mornfall (nebo třeba logovat klávesy)
07:42 xstill co tím myslíš, jako, že když já mám root práva na svým počítači a přihlásím se někam pryč tak můžu nějak ovlivnit session ostatních uživatelů na tom stroji, nebo jen že můžu sledovat člověka co z mího počítače přistupuje na cizí server?
07:42 mornfall remote root
07:43 mornfall tzn. když sedíš u laptopu a napíšeš ssh -Y user@divnej.server
07:43 mornfall tak root@divnej.server ti může na desktop
07:43 xstill jako na tvůj desktop i mimo to co je forwardovaný?
07:43 mornfall no, na tvůj xserver, on nejde forwardovat po kouskách :)
07:44 xstill já měl představu, že ten tok informací je opačnej (tj. od serveru jde to X ke mě)
07:44 mornfall jakože prostě může spustit aplikaci která se připojí k tvojemu xserveru na laptopu
07:45 xstill zajímavé
07:45 mornfall tak, když ji můžeš spustit ty tak proč by nemohl root žejo
07:45 mornfall otázka připojit se na správnej soket
07:45 xstill no ale ten root je cizí
07:46 mornfall jistě
07:46 mornfall ale na /tmp/.X11-unix/X10 se dostane
07:46 mornfall na tom remote stroji
07:46 mornfall a to je socket kterej vede na tvůj xserver
07:47 xstill a to nejde nějak zabezpečit?
07:47 xstill (asi blbá otázka)
07:47 mornfall když ty spustíš na tom remote program kterej se baví s Xkama taky se nějak musí s tvojim xserverem spojit
07:48 mornfall koukám že v man ssh je to popsaný, u -X
07:48 mornfall a X11 SECURITY je ne docela funkční krám
07:49 mornfall zabezpečit by to šlo, kdybys přepsal Xka
08:02 spito mornfall: (nemám o ruce ntb) compile --llvm asi používá stejný mechanismus jako draw, ne?
08:03 mornfall ee
08:05 mornfall nechává clang psát do souborů
08:05 xstill (překvapivě)
08:05 xstill to je snad špatně?
08:05 mornfall co?
08:07 xstill že clang píše do souborů, nevidím jak to souvisí s deadlockem
08:09 mornfall tak že to znamená že to nefunguje stejně jako draw
08:09 mornfall (spito se ptal)
08:10 xstill myslím, že spito tím "stejně" nemyslel "produkuje ekvivalentní výstup" ale spíš "používá podobné mechanismy", což nicméně taky nedělá
08:10 xstill protože nepoužívá vůbec ty process wrappery z bricks
08:11 mornfall však jo
08:11 xstill používá system (jako z stdlib)
08:11 mornfall to že nechává psát podprocesy do souboru znamená že nepoužívá PipeThrough
08:12 spito Jo, dik, nemusíte se u toho pohádat
08:12 spito Jo a ten malý fix by mohl opravit build na widlích
08:14 mornfall já se nehádám...
08:15 mornfall podívám se
08:17 mornfall to _MSC_VER asi budeš taky chtít časem omezit
08:19 xstill to už umíme kompilovat divine v VS, že tam máme takováhle makra?
08:20 mornfall neumíme, ale v bricks by to snad nemuselo vadit
08:20 xstill aha bricks, ten by možná i mohl být použitelný ve VS (alespoň částečně)
08:23 spito mornfall: jasně, může se _MSC_VER vyhodit, ale to _WIN32 by tam nemělo by vůbec
08:24 mornfall spito: no já tim myslel že jak to v MSVC začne fungovat (noexcept) tak to zase nepůjde přeložit s tím #define
08:27 spito Tak se to pak někdy v budoucnu opraví
08:28 xstill stejně asi zatím nevíme kdy to VS bude umět, ne?
08:28 mornfall tak, doufal bych že 2015
08:28 mornfall http://www.visualstudio.com/news/vs2015-preview-vs
08:28 mornfall noexcept The noexcept operator can now be used to check whether an expression might throw an exception. The noexcept specifier can now be used to specify that a function does not throw exceptions. C++11
08:31 xstill super, tak už jen zjistit, jaké definuje _MSC_VER a přidat to tam
08:31 xstill a už bych se měl přestat rozptylovat od turingových strojů
08:46 spito Zajímavé (vs 2015)
09:44 ilbot3 joined #divine
09:44 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:10 xstill mornfall: prý už svítí 2 disky červeně na VTrac
10:14 mornfall já vim, však jsem vám to říkal už docela dávno
10:15 xstill no dobře, ale prý se to rozsvítilo dneska
10:15 xstill a došli disky do pheme
10:16 xstill takže by to chtělo vymyslet jak nasadíme 22 strojů aniž bysme dělali 22x totéž
10:16 xstill jako myslím instalaci nixu
10:16 mornfall no, status nepíše nic novýho, furt jsou mrtvý ty stejný dva disky co před dvouma týdnama
10:16 xstill ok
10:17 mornfall a backup už běží zase každou noc, na thecus
10:17 mornfall stejně se bude muset udělat novej filesystém a restore
10:17 mornfall protože ten co je teď na /home je dost zničenej
10:18 mornfall znamená to ovšem na několik hodin to celý vzít offline
10:19 mornfall a taky tak trochu http://www.phdcomics.com/comics/archive.php?comicid=1022 :P
10:19 xstill :-D
10:20 xstill tak se soustřeď, pole počká snad
10:21 spito A když to umře celý,  tak nebudu moct pracovat na DIVINE a budu se moct věnovat i jiným věcem :)
10:22 xstill home mají pořád ještě redundanci, ne?
10:24 mornfall ano
10:24 mornfall degradovaný je to 3T pole
10:25 mornfall starej /backup a nějaký /data
12:57 spito__ joined #divine
18:19 xstill mornfall: nevíš proč je ten paper v easychair 2x?
18:20 mornfall maj v tom nějakej hokej
18:20 mornfall jak maj dvoje proceedings
18:21 mornfall bbiab
18:21 xstill no mě jede o to kam to uploadovat
18:21 xstill nebo jestli oba
18:29 xstill to tak mě pak zkontroluj
18:30 xstill a teda, neudělal jsem nakonec žádné změny
18:30 xstill původně jsem si myslel, že si to ještě přečtu, ale nestíhám to moc
20:19 spito joined #divine
23:15 ChanServ joined #divine

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