Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-22

| 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 | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
10:55 mornfall yaqwsx: jak se daří? nějaké pokroky s modularizací?
12:10 yaqwsx mornfall: Špatně, nestíhám, zkouška z Norštiny, návštěva xstilla apod. Myslím, že se k tomu dostanu tak v pondělí.
12:11 yaqwsx A navíc mě teď někdo nutí dělat code review Erlangového kódu...
12:12 mornfall :D
12:12 mornfall ok, my si zatím s blurry nějakou zabavu vymyslíme
12:12 yaqwsx A nevím, jestli ti lidé neumí psát nebo je Erlang tak ošklivý :D
12:12 xstill_ no vypadá jak prolog, co bys čekal?
12:13 yaqwsx mornfall: Fakt bych se do toho chtěl pustil co nejdřív, chci mít modulární DiOS!
12:15 mornfall yaqwsx: já ti nic nevyčítám, bude to až to bude (a ani to nemá deadline na konci měsíce :)
12:15 blurry yaqwsx: spreneverila som ti sobika nez sa vratis
12:15 yaqwsx mornfall: Já to vyčítám sobě
12:16 yaqwsx blurry: Starej se o něj hezky!
12:16 yaqwsx blurry: A prosím, hlídej mi i monitory :)
12:16 blurry yaqwsx: je na nich aktualne prilepeny papierik "na vyrazeni?" :D
12:17 yaqwsx blurry, mornfall Je třeba něco z mé strany kvůli studentskému projektu?
12:17 yaqwsx blurry: Wtf?
12:17 mornfall yaqwsx: myslím že ne, blurry to má pevně v ruce
12:30 yaqwsx blurry zvládá byrokracii tak dobře?
12:34 blurry blurry to ma pevne v ruce vyhradne z dovodu, ze jej to bolo do ruky narvane a oblepene na 30x paskou
12:34 yaqwsx Stříbrnou nebo průsvitnou?
12:49 xstill_ no tak na pthread-win32 testech je DIVINE 4 docela v háji
13:17 xstill hm, mám skoro podezření, že DIVINE 4 prohrává na paralelních programech
14:30 xheno mornfall: Ak nemáte čo robiť, tak ako to vyzerá s osamostatnením DiVM pre Spot? :)
14:31 xheno mornfall: Ak inak dopadlo stretnutie s Alexandrom?
14:31 xstill xheno: myslím, že do deadline časopisu toho moc nebude
14:31 xheno xstill: To je kedy?
14:31 xstill 31.
14:32 xstill asi
14:33 xstill xheno: bavili jsme se o on-the-fly degeneralizaci, o nějakých detailech toho převodu do C (snažili jsme se ho přesvědčit, že to nemusí být DIVINE specific, a o atomických propozicích) a pak jsme řešili ještě jaké formule kde vylézají a jak fairness souvisí s automaty a tak
14:36 xheno xstill: Podarilo sa vám ho nejak presvedčiť o tých AP a tom formáte? :D
14:37 xstill no nevím jestli je o tom úplně přesvědčený, ale snad víc
14:40 xheno xstill: No naimplementované to je tak jak sme sa bavili my :)
14:41 xstill :-)
14:44 xheno Snáď víde ta LTL kategória na SV-COMP. Mohol by sa jej zúčastniť aj DiPot ak to bude fungovať. :D
14:44 blurry DiPot :D
14:45 xstill xheno: v tom jsem tak nějak doufal, že by se to použilo
14:46 xstill jestli jsem správně pochopil, že je to ten tvůj konvertor
14:47 xstill což mi připomíná, že bych měl odepsat Danielovi
14:47 xheno No DiPot by mal byť spojenie konvertoru, DiVM a emptyness checku Spotu.
14:48 xstill aha, tak to možná můžeme soutěžit i 2x :-)
14:48 xstill jednou s DIVINE a jednou s DiPot
14:48 mornfall hmm, já myslel že se to píše depot
14:49 xstill jestli bude čas to umlátit všechno
14:51 xheno mornfall: Ne ne, to máš potom depot de dipot. ;)

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