Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-06-16

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

All times shown according to UTC.

Time Nick Message
07:16 xstill joined #divine
07:49 spito joined #divine
10:38 xstill spito: četl jsem backlog, CFG s \epsilon je stejná třída jazyků jako CFG bez \epsilon, ty definice jsou ekvivalentní, což je i ve Strejčkových slidech
10:40 mornfall xstill: no, to snad pochopil, ale chtěl nějaký jméno pro gramatiku CFG+epsilon
10:41 mornfall já si teda myslim že to je zbytečný rozlišovat, když se řekne že to je to stejný
10:41 spito xstill: jasný, mě se na to ptal martin žák
10:41 xstill no u Strejčka byla CFG gramatika zadefinovaná s epsilon, myslím, pak se ukázalo, že se dají odstranit a dostad definici podle Chomského hierarchie
10:43 mornfall já si matně pamatuju, že ta Chomského definice je výhodnější pro nějakej důkaz, kterej se nejspíš v automatech ani nedělá ;-)
10:43 xstill je to možné, ono na té definici bez epsilon je hezké to, že odvozením délky n dostaneš slovo alespoň délky n (nebo epsilon)
10:43 mornfall možná PL... ono obecně je nepříjemný že ti může kus derivace zmizet
10:44 mornfall jo
10:45 xstill navíc teda kontextové gramatiky jsou založené právě na tom že nezkracují, takže je potom jednodušší ukázat že bezkontextové jsou v nich obsažené
10:46 xstill teda myslém že tak ta definice byla
10:46 mornfall jo, pravá strana je aspoň tak dlouhá jako levá
10:46 xstill že máš \alpha -> \beta, kde |\alpha| <= |\beta| a \alpha \in V*NV*, \beta in V*
10:47 xstill jo
10:47 mornfall ono totiž lze ukázat, že každý jazyk jde zapsat kontextovou gramatikou s jedním epsilon pravidlem ;-)
10:48 xstill jako že když do kontextové přidáš "zrušení" jednoho neterminálu tak dostaneš rekurzivně spočetné jazyky?
10:48 mornfall j
10:48 xstill zajímavý
10:49 mornfall každou betu můžeš natáhnout nějakým X, a nakonec tam dáš X -> epsilon
10:49 mornfall alpha -> betaXXXXX
10:49 xstill jasný
10:49 xstill to dává smysl
10:49 xstill ale Strejček nám to zamlčel
10:52 spito hej, já jsem si teď zkoušel odprezentovat bc plyšákům a moc se mi nedařilo
10:52 spito takže se mornfalle moc nesměj zítra
10:52 xstill já si musím ještě odzkoušet délku než to pošlu
10:52 mornfall :-] zítra to bude už jen horší
10:53 xstill mornfall: ty jsi ale optimista
10:53 mornfall já se budu snažit netlemit se víc než Hliněný ;-)
10:53 mornfall ale ne
10:53 mornfall ono pod tlakem je to vždycky horší
10:53 mornfall to stejný když hraješ na koncertě
10:54 mornfall v klidu jde všechno o stupeň líp
10:54 mornfall ale zase je to v podstatě univerzální, pokud někdo není vysloveně zvyklej prezentovat
10:54 mornfall takže se to týká všech a komise s tím musí žít
10:55 xstill jo no, já se hlavně nesmím zaseknout, jinak to nestihnu odprezentovat
11:10 xstill fuj, bych se ještě měl podívat na softwarové inženýrství
11:50 xstill mornfall: po obhajobě se čtou posudky?
11:53 mornfall možná i před, já už nevim
11:54 mornfall ale čtou se posudky :-) někdy
11:54 mornfall a dostaneš šanci reagovat
11:57 xstill jo, to bych si to měl ještě taky přečíst abych věděl na co budu reagovat
12:54 xstill spito: jak dlouhou máš prezentaci?
13:05 spito nevím, ještě se mi to nepovedlo doříct do konce
13:05 xstill no já to mám zase pořád moc dlouhé, 8 minut mi příjde málo
13:06 xstill jinak víš že dneska je potřeba to poslat technikům do 18:00?
13:12 spito proto ji dělám už dneska
13:13 spito má cenu v prezentaci říkat, jak to v divine bylo předtím?
13:16 xstill já bych řekl že jo pokud to dokážeš rychle shrnout
14:45 spito xstill: když používáš šablonu do texu na prezentaci, taky tam máš napsané datum na úvodní stránce?
14:45 xstill jo mám
14:45 xstill ale napsal jsem ho tam ručně
14:47 xstill já totiž ani nemám nastavenou češtinu
14:48 spito a to změníš jak, aby se to tam nepsalo?
14:51 xstill někde v hlavičce máš \date tak to asi můžeš smazat nebo přepsat
14:52 spito ha
14:52 spito funguje to
14:52 spito dík
16:49 spito left #divine
17:35 xstill mornfall: Na x86-64 už neplatí, že adresové prostory jednotlivých procesů jsou nezávislé, ne? Teda všechny procesy sdíli stejný adresový prostor ale můžou přistupovat jen k tomu co je jejich.
17:38 mornfall no, hardware pro to nemá nejmenší důvod, jestli to tak dělá OS to nevím
17:38 mornfall normálně to má virtuální adresy a stránkování
17:40 xstill jo o stránkování vím, ale ono vlastně stránkovací tabulky by případně mohly být i per proces ne?
17:40 xstill (kdyby OS chtěl)
17:40 mornfall no, ty musí být per proces
17:40 xstill kvůli oddělení procesů?
17:41 mornfall tak, stránková tabulka je to co ti dává přístup do paměti
17:41 mornfall kdyby měl každý stejnou, tak máš DOS :D
17:42 xstill jo to máš pravdu
17:43 mornfall každopádně mi přijde že mít unikátní adresy přes všechny procesy by bylo implementačně dost náročné a nevidim v tom žádný pozitivum
17:44 mornfall to kam se namapuje text se typicky randomizuje, aby nešlo předvídat co je potřeba přepsat když chceš spustit exploit
17:44 xstill jo
17:45 mornfall navíc teda spousta programů má non-writable text a non-executable zásobník aj haldu
17:46 mornfall nic, jdu cvičit :-) vrátim se
17:46 xstill spousta? to není zásada?
17:46 xstill ok
19:36 xstill tak a já jdu spát
20:10 spito joined #divine
22:59 spito left #divine

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