Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-01-08

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

All times shown according to UTC.

Time Nick Message
05:38 xstill joined #divine
09:41 xstill mornfall: https://divine.fi.muni.cz mi hlásí, že má špatný certifikát, je tam hostname anna.fi.muni.cz
09:42 mornfall a co by tam mělo být?
09:42 xstill no divine.fi.muni.cz
09:42 mornfall to není IP adresa... alias v tom certifikátu je
09:42 xstill jak má prohlížeč vědět, že je to alias?
09:43 xstill tak proč si stěžuje?
09:43 xstill jo a ten patch neposílej, ještě není dobře
09:44 mornfall podívej se do certificate subject alt name
09:45 mornfall DNS Name: divine.fi.muni.cz
09:45 mornfall DNS Name: paradise.fi.muni.cz
09:45 mornfall DNS Name: sybila.fi.muni.cz
09:49 mornfall možná nemáš terenovej root? nevim proč si stěžuje, ten certifikát je dobře
09:49 xstill aha jo já si to nepřečetl celé
09:49 xstill nemám root
09:49 xstill kde ho můžu sehnat?
09:50 mornfall normálně bývá v ca bundlu
09:51 xstill mě totiž zmátlo že na základních informacích k certifikátu byla jen ta anna
09:51 mornfall tam můžeš napsat jen jeden hostname, žejo
09:51 xstill jo no
09:52 xstill sorry
09:58 xstill hm, co to je za temnou magii, když příjdu na IS, tak to tam funguje a když pak jdu zpět na divine tak to taky začne fungovat?
09:59 mornfall :D
10:00 xstill no to nejspší znamená, že v tom našem certifikátu není celá cestak rootu ale v isovém je
10:05 xstill už jsem ty prohlížeče vyřešil, pošlu patch
10:09 xstill teď už se to hlásí jako bezpečné ve ff i opeře
10:42 spito joined #divine
11:01 spito left #divine
12:53 mornfall xstill: a proč to s host-relativní adresou nefunguje vlastně?
12:54 xstill mornfall: no to nebyl ten problém, problém byl ten google-api, tak jsem to udělal jednotně
13:01 spito joined #divine
13:26 mornfall spito: Was gibt?
13:33 spito ?
13:33 spito ale jo, máš pravdu, ta birokracie je dojebávající
13:45 mornfall birokracie... to fakt no :)
13:53 spito hmm
13:54 spito nojo
15:27 spito joined #divine
16:47 xstill mornfall: pushneš ten patch na https?
18:54 spito joined #divine
19:29 xstill do kelu, skončila mi smlouva s fakultou a kvóta na home mi skočila z 25GB na 5GB :-D. A já tam mám 20GB dat :-D
20:02 xstill hm, ovšem sranda je, že už jsem se dostal pod limit na data, ale nedostávají se mi inody
22:19 spito mornfall: jsi tu ještě?
22:20 mornfall snad
22:20 spito http://www.fi.muni.cz/~xbarnat/IV113/2013/IV113_07_LTL_na_BA.pdf
22:20 spito slajd 25
22:21 mornfall ano, Incomming je špatně
22:21 spito výpočet množiny F
22:21 mornfall píše se jedno m
22:21 spito :D
22:21 spito ale to vědět nepotřebuju
22:22 spito jak mám chápat "pro každou podformuli aUb"?
22:22 spito ostatní věci typu Xa nebo aRb mě nezajímají?
22:22 mornfall řekl bych že R v tý logice není
22:23 spito no, je
22:23 spito v normální formě je R i X
22:24 mornfall ale jo, je to OK
22:25 spito a jak mám označit akceptující stavy u výrazu "Xa"?
22:25 mornfall R, X, etc. tě nezajímá protože to nepotřebuje akceptující stav
22:26 spito jakto?
22:27 spito takže BA z výrazu Xa nemá mít ani jeden akceptující stav?
22:28 mornfall tam je nějaká zrada s konečnýma běhama totiž
22:31 spito no, kdyby sis vzpomněl, tak by mi to pomohlo
22:32 mornfall no, například to že když je F prázdný, tak pro každej běh triviálně platí forall f in F ...
22:32 mornfall (tzn. nejsou to konečný běhy ale prázdný \mathcal{F}...)
22:37 spito takže když je F prázdné, tak jsou akceptující všechny?
22:38 spito hmm, není toto náhodou shodné s tím, že zavedu nějaké f0, které bude obsahovat všechny stavy?
22:39 mornfall ?
22:39 spito ...akceptující všechny stavy?
22:39 mornfall ?
22:39 mornfall když je F prázdné tak je F prázdné
22:39 mornfall GBA nemá „akceptující“ stavy
22:39 spito a tudíž běh je akceptující
22:40 mornfall ano
22:44 spito tak a když bude provádět DFS, tak podle čeho se rozhodnu, že zrovna tenhle stav je akceptující?
22:45 mornfall jaký DFS?
22:45 spito NestedDfs
22:46 mornfall NDFS na GBA?
22:46 mornfall Co by to mělo dělat?
22:46 spito no, abych dostal A, tak si mám udělat takový malý divine
22:47 spito máme dodat nějakou LTL formuli, nějaký běh, z LTL vyrobit BA, zkřížit ho s během a provést nestedDFS
22:49 mornfall no, ale GBA není BA
22:49 mornfall musíš ho degeneralizovat
22:50 spito hmm
22:51 spito jop, dík

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