Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-11-10

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

All times shown according to UTC.

Time Nick Message
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/
12:11 xstill mornfall: hm, rozbili jsme ubuntu 13.10 tím llvm >= 3.3
12:12 xstill teda 13.4; ale to asi nevadí, zařízkout (i tu 12.10)
12:12 xstill jsou nepodporované
12:13 xstill a ideálně přidat 14.10
12:13 xstill jo a udělal jsi ty wrappery?>
12:13 xstill bez >
12:18 xstill mornfall: v manuálu máš stále >= 3.2
12:26 mornfall naja
12:26 mornfall na to všechno mám asi patche nějaký
12:26 mornfall ale teď mám školu :P
15:44 mornfall xstill: pythia01 je naše ne?
16:27 xstill jo
16:55 CcxCZ joined #divine
19:48 xstill proč?
20:01 xstill no to je tak, pythia01 je pythia06, protože pythia01 je pegasus22, protože si na ni Beďo nainstaloval něco co není nixos
20:02 xstill takže se logicky změnili ssh klíče a nikomu to nevadilo kromě unix@fi
21:23 mornfall nojo :)
21:23 mornfall on by si to někdo všimnul kdyby se tam hlásil vzdáleně
21:25 xstill nojo, já jsem si nedávno smazal celý known_host
21:26 mornfall nj, já se na neveřejný stroje hlásim z antey
21:26 mornfall a tam to je v /etc
21:27 xstill já mám proxy command, takže se to kontroluje u mě
21:27 mornfall jo vím :-)
21:27 mornfall je jich plný ps :-)
21:28 xstill aha
21:28 xstill hm umírat by mohli
21:29 xstill i když je klidně možný, že to jsou jen ty u kterých jsem nenormálně ukončil session
22:31 spito joined #divine
22:45 xstill hm, je nějaký důvod proč by paralení synchronní kompozice neměla fungovat pro nedeterministické konečné automaty?
22:47 mornfall to je která? stavy jsou dvojice a chodí se když můžou oba?
22:47 mornfall a záleží na tom když je můžeš determinizovat?
22:47 xstill jo
22:47 xstill to bylo na to první
22:47 xstill tak jasný, může determinizovat, ale zajímá mě jestli to funguje i pro NFA
22:48 xstill tak třeba product na buchy je v podstatě totéž (až na tu druhou vrstvu) a tam je to nedeterministický
22:52 mornfall to si asi můžeš snadno dokázat (nebo u toho snadno najít proč by to mohlo nefungovat)
22:52 mornfall v implikaci existuje cesta v A ∧ existuje cesta v B ⇒ existuje cesta v A×B asi problém nebude
22:53 mornfall zbývá ukázat že existuje cesta v A×B ⇒ existuje cesta v A ∧ existuje cesta v B
22:53 mornfall (to možná není nutně pravda)
23:21 CcxCZ joined #divine

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