Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-01-28

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
09:21 spito joined #divine
11:47 spito_ joined #divine
12:27 xstill mornfall: pouštěj jsi deploy?
12:28 xstill (na pheme14/16 se zase rozbily cgrupy a na 15 home)
12:28 xstill ((15 jsem restartoval))
12:29 mornfall nepouštěl
12:30 xstill hm, no jestli už to padá i samo od sebe tak to je fakt super
12:31 xstill jako já vůbec nechápu jak si může systemd dovolit ty cgrupy vyhodit jen tak
12:36 mornfall je to systemd
12:37 mornfall oni si myslí že ty cgroupy vlastní
12:37 mornfall v novějších systemd je ani jinak než skrz ten systemd nejde vyrobit
12:37 xstill cože?
12:38 xstill to ale celé přestane fungovat potom
12:38 mornfall já nevim jestli to už dorazilo do nixosu (snad ne)
12:38 mornfall oni s tím systemd hrozně meškaj
12:40 xstill ke mě se to ještě nedostalo
12:40 xstill a jsem na skoro aktuálním 14.12 branch
12:41 mornfall mělo na to být nějaký dbus api tuším (na cgroupy)
12:41 xstill s dbusem jsem nikdy nic nedělal
12:48 xstill a doufám, že to bude fungovat líp než ty cgroup utility, ty byly tak blbě, že jsem si to raději napsal znova
12:56 spito_ xstill: a přednášky z PB071 se nekryjou s paradisem
12:57 xstill jakto?
13:27 spito_ protože přednáška je v úterý
14:43 Kikina joined #divine
14:45 Kikina Caute, snazim se rozlustit kod k ltl parseru, ktery psal Milan Jaros a moc se mi zatim nedari a nebude, dokud nerozlustim par zkratek. Ma tem enum enum synt_an_el {un_op, bin_op, an_left_par, an_right_par, an_atom, an_end, an_unknown, S, A, gnd};
14:46 Kikina Netusite, co je S, A a to gnd, prosim?
15:34 xstill Kikina: co? kde? (mám docela obavu, že to nikdo z nás nikdy nečetl)
15:41 xstill spito_: ale já ji vidím v pondělí
15:42 Kikina Je to v divine/ltl2ba/ltl.cpp. Jen me napadlo, jestli vas nenapadne ve spojitosti s ltl nebo tim kontextem terminu bin.op, zavorky, AP, atd., co by to mohlo znamenat. Protoze ja dost netusim :)
16:01 mornfall Kikina: bin.op = binární operátor (konjunkce, disjunkce, U, R) počítám
16:02 mornfall Kikina: AP = atomické propozice
16:02 mornfall Kikina: un_op = unární operátor, tzn. !, G, F
16:03 mornfall hm, koukám že to jsou zrovna ty na který ses neptala...
16:04 mornfall Kikina: to jsou totiž neterminály, viz 'redukuj'
16:04 mornfall Kikina: vždycky za case N: máš pravidlo z gramatiky kterému to odpovídá
16:05 xstill hm, ten člověk tam má fakt implementvaný bottom-up parser?
16:06 mornfall (proměnná) N bude počítám next
16:07 mornfall Kikina: hmm, proč se s tím vůbec štveš? :)
16:07 mornfall jdeš napsat nový lepší?
16:09 mornfall každopádně to je shift-reduce parser tzn. LR
16:10 xstill jako tohle mi příjde jako přesně ten moment, kdy by bylo lepší použít nějaký bison než si ručně psát LR parser, to je trochu úchylné
16:10 mornfall úchylné to je dost
16:10 xstill kdyby to byl recursive descend tak neřeknu, ale LR
16:12 Kikina mornfall: Po tom, co jsem to videla, tak bych jen z principu chtela, protoze se mi ten kod dost nelibi. Ale jinak jsem jen chtela vedet, jak presne parsujeme skarede zapsane ltl formule - typicky neozavorkovane, protoze to divine dovoluje. A chci mit jistotu, ze to vzdy preklopim spravne do prismu - od toho taky zavisi, jestli muzu mit prekladac jen textovy nebo jestli mame trochu jinou syntax v nejakym detailu. (Ano, neumim vysvetlo
16:12 mornfall Kikina: utnul tě IRC na 512 znaků, končí to „neumim vysvetlov“
16:13 mornfall Kikina: každopádně pokud bys napsala parser nový a hezčí budem jen rádi
16:13 mornfall (pokud ho dokážeš buď přilepit k tomu zbytku ltl2ba nebo napsat aj nový ltl2ba)
16:13 Kikina mornfall: posledni slovo bylo "strucne"
16:14 Kikina mornfall: pobavim se o tom v patek s Jirikem. Kdyz budu mit cas, tak proc ne )
16:15 mornfall hmm! :-)
16:15 mornfall jenže Jiřík bude brblat že tam máme dát radši spot...
16:15 mornfall xstill: jak to s tím spot-em vlastně dopadlo?
16:17 Kikina mornfall: tak to je uz dost asi na vasi domluve, protoze tomu ja vubec nerozumim :) Takze nedokazu posoudit, co je vlastne lepsi
16:18 mornfall že bych v pátek vyrazil do Brna už ráno?
16:19 xstill mornfall: já skončil na tom, že jsem to nebyl schopnej na nixosu zkompilovat, ale Honza Mrázek tvrdil, že mi asi jen chyběli nějaký závislosti co tam nejsou napsaný…
16:19 xstill jako Vilíkův symdivine to snad používá, takže je možné, že by to šlo vykopad odtamtud
16:20 xstill *vykopat
16:20 xstill (jsem úplně blbej asi)
16:49 spito_ xstill: PB071 je v úterý od 10:00
16:51 xstill aha, no já si nevšiml, že to začíná úterkem :-D
16:59 xstill to je totiž pěkná past
17:31 xstill wtf. pheme02: $ ll /home/xdemko
17:31 xstill ls: cannot open directory /home/xdemko: Too many levels of symbolic links
17:33 xstill nějak se rozpadá nfs řekl bych
17:33 mornfall už zas?
17:33 mornfall hm
17:33 mornfall on se možná rozpadá celkově /home
17:34 xstill tak na antee to ls udělám
17:35 mornfall kdoví

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