Příspěvky

7651

Distribuce / Re:Arch Linux vs. Gentoo

« kdy: 24. 10. 2012, 20:05:15 »

Navíc se teď ustoupilo od původního konceptu s rc.conf, který byl specifický pro Arch.

rc.conf není specifický pro Arch. Je např. i ve FreeBSD a je to stará Unixová věc - rc je/byl skript pro startování démonů, proto rc.conf je soubor, kde se vlastnosti těch démonů nastavují. (podobně rc.local)

2) Ať systém běží hladce bez nějakých překvapení. [...]  časová náročnost instalace a především aktualizací

Možná mě archeři ukamenují, ale s tímhle mám bohužel u Archu docela špatné zkušenosti... Zvlášť když se updatuje po delší době, bývají s tím problémy nejrůznějšího druhu. Je potřeba pravidelně číst aktuality, všechno dělat nejlíp přesně tak, jak je tam napsané, a updatovat často. Taky mám takový pocit, že Arch je takové hodně živé distro - dost často nějaké revoluční změny, změny standarních balíků, všelijaké architektonické změny... A občas se těch změn dosahuje trochu podivným způsobem (onehdy přesun /lib do /usr/lib byl dělaný jakýmsi podivný skriptem, který mi selhal, takže systém nepoužitelný, dynamické binárky nespustitelné... (pak se to muselo dost krkolomně řešit ručně, no nic, na co bych rád vzpomínal) - stačí se podívat na fórum, dotazy na selhavší updaty jsou tam docela frekventované...

Srovnat s Gentoo neumím, nikdy jsem ho neprovozoval.

7652

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 17:55:52 »

Ano. To je to co od zacatku rikam, ze ta Turingova veta je tvrzenim o nekonecne mnozine konecnych veci, nikoli tvrzenim o nekonecne veci.

No chápu to, co říkal Jakub: zastavení konečného stroje umím řešit hrubou silou jenom větším konečným strojem, takže pokud bych chtěl mít stroj, který by uměl řešit problém zastavení pro libovolný stroj, musí to být stroj s neomezenou pamětí. Je to stejné, jako bych chtěl mít stroj, který si bude umět zapamatovat libovolné přirozené číslo - taky by musel mít neomezenou paměť. Takovou podmínku splňuje jenom TS. Žádný fyzický stroj ji nikdy splňovat nebude.

Pokud ale podle tebe tvrzení o vlastnostnostech TS jsou vlastně tvrzení o množinách algoritmů, tak jak bysme do téhle řeči přeložili, že problém zastavení TS je nerozhodnutelný? Co nám tahle věta říká o vlastnostech jednotlivých algoritmů?

Podle mě ta věta říká tohle: pokud bude mít stroj možnost pořád donekonečna alokovat paměť, tak nemůžeme zjistit, jestli se někdy zastaví nebo ne. Jak tuhle větu přeložit do jazyka "tvrzení o množinách algoritmů"? Co konkrétního nám teda ta věta říká o množině (všech) algoritmů? Já to nevím a docela dost by mě to zajímalo.

A proto ma prakticke aplikace, protoze ona nekonecna mnozina dobre aproximuje to, co v praxi delame.

No nevím. Když už, tak je podle mě mnohem praktičtější vědět věci typu "k řešení problému zastavení fyzického stroje se čtyřmi stavy potřebuju fyzický stroj se stavy šestnácti".

Já tyhlety obecné věty moc nemám rád, když na nich lidi moc lpí. Když mám větu, že obecně nelze rozhodnout, jestli libovolné x z množiny X má vlastnost Y, tak to taky může znamenat, že to umím rozhodnout pro všechna x z X kromě jednoho prekérního prvku, který způsobuje problémy. A typicky to bude prvek obskurní, v praxi irelevantní...

Zalezi, co povazujes za "problem na konecnem stroji". Pokud je treba velikost tech stroju (a tedy i pocet stavu) omezena, pak to samozrejme vse algoritmicky rozhodnutelne je. Tam pak nastavaji jine problemy, treba typu P=NP, coz je prave urcity analog nerozhodnutelnosti.

No a v praxi máme jenom omezené stroje. O to přeci právě jde. Máme jenom stroje, které si dokážou zapamatovat přirozená čísla až do velikosti K a větší už ne. Proto bych chtěl říct, co nám vlastně ona věta o TS vlastně říká o těch věcech, které reálně používáme.

7653

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 12:19:54 »

Nepochopil jsi zadání, otázka je, jestli je nějaký problém rozhodnutelný (algoritmicky řešitelný).

No jo, to je sice bezva, ale je to vlastně jenom test toho, jestli se student tou teoretickou látkou nechal zmást nebo ne - protože pro konečné stroje jsou všechny problémy algoritmicky rozhodnutelné. Nebo je něco nerozhodnutelného?

7654

Studium a uplatnění / Re:FIT VUT - špatná volba?

« kdy: 24. 10. 2012, 12:15:52 »

protože si to lidi zkouknou v trenkách během ranní osobní hygieny.

Pravý geek žádnou osobní hygienu neprovádí. Takoví lidé beztak nemají na škole co dělat!

7655

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 09:50:41 »

Obecněji se dá říct, že sice máš pravdu v tom, že na FSM jakoby odpadá neřešitelnost problémů tak, jak to známe z TS, bohužel ale za to platíš tím, že tvůj algoritmus někde v nějaké formě musí projít všechny stavy systému - a to je prakticky neřešitelné.

Mně na tom vadí tahle věc:

Mám průměrného absolventa, který tou teorií prošel. Dám mu nějaký konkrétní algoritmus a otázky:
1. zastaví se ten algoritmus na stroji s X bitů paměti při vstupu aaabba?
2. zastaví se ten algoritmus na všech vstupech o délce max. N?
3. zastaví se ten algoritmus na všech vstupech?

Vsadím boty na to, že průměrný absolvent řekne, že to přece nebude řešit, protože HP je neřešitelný. A to je přece blbost. Prostě reálně ten problém řešitelný je a průměrného absolventa ta teorie spíš zmate, protože se mluví obecně o TM a ne o reálné mašině s limitovanou pamětí. Navíc reálné algoritmy pracují s odděleným kódem a daty, což tu analýzu zase výrazně zjednodušuje.

Prostě to, že průměrný absolvent si zapamatuje maximálně obecná tvrzení o TM, ho podle mě spíš zmate, než že by mu to nějak pomohlo.

7656

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 09:14:24 »

Vlastně je to pravda Takže takhle jsi to myslel?

7657

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 08:57:53 »

Pokud ty to myslíš tak, že tvrzení o jednom konkrétním TM je vlastně jakoby tvrzením o jednom konkrétním FSM krát všechny možné délky vstupů (tedy "dohromady nekonečný vstup"), tak to podle mě není pravda.

7658

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 08:51:53 »

Pak se tu teorii uci spatne, pokud nechape jeji omezeni. Tvuj pripad je ovsem opacny extrem - ty jsi tvrdil, ze to v praxi smysl zadny nema, protoze jsou to tvrzeni o nekonecnech.

A na tom trvám. Tvrzení o TM je tvrzení o něčem nekonečném. Zjištěné vlastnosti TM jsou vlastnosti něčeho nekonečného.

Proč je podle tebe HP pro TM neřešitelný? Podle mě je to proto, že i jeden konkrétní TM při svém běhu může pořád unikat do nových a nových stavů, proto ani stavy jednoho konkrétního TM nemůžu nikdy v konečném čase projít všechny.

Zato jeden konkrétní FSM nemůže unikat pořád, jednou narazí na hranici. Proto je pro něj HP řešitelný.

Pokud chci něco tvrdit o všech FSM, tak to už se taky potýkám s nekonečnem, to měl Jakub pravdu (zmátlo mě hlavně to slovo "hierarchie" - myslel jsem, že to myslí tak, že máme testovaný stroj, který nevíme, jestli se zastaví, zjišťujeme to dalším strojem, o tom nevíme jestli se zastaví a zjišťujeme to dalším atd. To jsem samozřejmě pochopil špatně a Jakub měl pravdu, že pro řešení HP pro celou množinu všech FSM musím mít stroj vyšší síly, to měl pravdu a byla to moje hloupost).

7659

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 00:21:41 »

Áno, 1B pamäti nie je "dosť veľa" v zmysle toho, čo som písal vyššie.

Problém je v tom, že typický poloteoretik se ve škole dozví "problém zastavení je nerozhodnutelný" - a je schopen to aplikovat v praxi tak i na situace, kde rozhodnutelný je. To je všechno, co jsem chtěl říct.

7660

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 24. 10. 2012, 00:19:25 »

Mám se urazit, anebo myslíš jiného ?

Jiné. Tobě se musím naopak omluvit, že jsem hnedka nepochopil, jak jsi to myslel s tím utíkáním se k jinému nekonečnu. Teď jsem si to přečetl celý od začátku a to bylo fakt hloupý nedorozumění, mělo mi to dojít hnedka.

7661

Hardware / Re:Velkorysé řešení automatizace

« kdy: 23. 10. 2012, 23:47:45 »

Poslouchání je v cajku, v momentě vysílání máš volnou přijímací polovinu UASRTu, jenom porovnáš dva byte mezi sebou. Je to míň práce než napsat předávání tokenu.

No jo, na tom něco bude Že by dneska nějakej šváb neuměl vysílat a poslouchat zaráz, to asi moc nehrozí...

7662

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 23. 10. 2012, 23:35:30 »

Tím se vracíme k tomu, že vy kreténi, právě teď na škole, víte hovno o tom, co budete muset dělat a děláte machry.

No hlavně jsem získal dojem, že ti, kdo nejvíc tlačili, jak je teorie důležitá, se v ní nějak zamotávají

Že by tohle téma skončilo praktickým potvrzením mých slov, že (polo)teoretičtí informatici neumí pořádně ani teorii ani praxi? To by ovšem bylo stylové

7663

Studium a uplatnění / Re:VŠ z trochu jiného úhlu

« kdy: 23. 10. 2012, 23:16:30 »

To sa nezistí tak ľahko. Popísaný bug s floatami je príkladom - tam to na prvý pohľad musí konvergovať, ale vďaka implementácii floatu to tak nemusí byť (ale pri vhodných hodnotách to niekedy môže fungovať, čo je skoro najhoršie pri hľadaní chyby). A programátor to mohol ľahko brať tak, že to konverguje - v každom kroku sa mala hodnota znížíť o niečo kladné.

Aha, tak to jsme si nerozuměli, myslel jsem kontrolu konvergence v průběhu běhu programu. Pár stránek zpátky jsem dával za příklad neuronky - to je asi ten nejhorší představitelný algoritmus, protože nic přímo nepočítá podle zadaného postupu, ale jenom tak nějak zvláštně těká stavovým prostorem No a v praxi? Řešení se zlepšuje a zlepšuje - ze začátku rychle, potom pomaleji, osciluje to kvůli uvíznutí v lokálním minimu. Můžu to nechat běžet do nekonečna a nikdy nevím, jestli už jsem našel optimum nebo ne. Cha! A máme neřešitelný problém!

Prdlajs. Prostě si zvolím, jak moc dobré řešení chci, sleduji, jestli to ještě konverguje, zvolím časové omezení apod. A basta šmitec. Žádný HP pohopitelně neřeším, protože nejsem blázen.

To platí pre stálu veľkosť pamäti. Problém je, že ak dnes sa vyrábajú nejaké pamäti, tak zajtra už sa môžu vyrábať väčšie.

No já bych spíš řekl, že velikost paměti, kterou potřebuju k vyřešení HP pro FSM je spíš funkcí velikosti toho FSM, který řeším... Každopádně ale nevím, kam míříš. Chceš pořád ještě obhajovat tezi, že znalost důkazů vlastností TM je nutná?

A napríklad zistenie takej ekvivalencie programov by bola veľmi dobrá vec, ak by som to dokázal automaticky otestovať pre všetky PC. Už len na zjednodušenie života - k optimalizovanému algoritmu bežne píšem aj pár riadkový exponenciálny, kde je hneď vidieť, že funguje. A potom obyčajne testujem oproti sebe nejaké malé vstupy a výstupy. Keby som mal program, čo dokáže moju hypotézu o správnosti preveriť pre všetky vstupy, tak by som mal aj praktickú záruku, že všetko funguje ako má.

No to já bych zase chtěl mít robota, který by za mě pracoval. Já totiž obvykle pracuju, takže kdyby ten robot pracoval za mě, tak já bych pracovat nemusel.

A říct jsi tím chtěl teda co?

Podľa mňa to nie sú fyzikálne obmedzenia - keby boli fyz. obmedzenia menšie, tak to stále nebudeme vedieť riešiť, lebo by sa zväčšila aj množina stavov a boli by sme tam kde predtým. Keby tu neboli ani minimálne fyzikálne obmedzenia, tak by sme už ako PC mohli mať rovno TS a je tu pôvodný problém.

Tady jsme si asi taky nerozuměli. Řešit problém zastavení FSM s 1B paměti (256ti stavy) umíme prakticky. S 1GB paměti už neumíme, protože bysme potřebovali stroj s moc velkou pamětí, kterou teď prostě fyzicky k dispozici nemáme. Ale teoreticky ten problém řešitelný je, pouze jsme limitovaní tím, co máme k dispozici (fyzickými limity našich strojů).

7664

Hardware / Re:Velkorysé řešení automatizace

« kdy: 23. 10. 2012, 22:22:09 »

Na slave-slave je fajn to RS232 přes CAN. Prostě začneš vysílat a současně přijímáš a pak jenom porovnáš jestli nedošlo ke kolizi. Pokud ano, počkáš náhodnou dobu a zkusíš to znovu. Můžeš takhle vysílat i celé IP pakety, ale samozřejmě ne 10 Mbps.

No jo no, starý dobrý CSMA/CD. Jenže to zas vyžaduje zároveň poslouchat, to taky nemusí být praktický... Mně nějak víc sedí ten token passing.

7665

Hardware / Re:Velkorysé řešení automatizace

« kdy: 23. 10. 2012, 21:05:57 »

Například mám switch na druhém konci velké budovy. Switch má seriák. Chtěl bych mít možnost do toho protokolu zabalit komunikaci s tím switchem (takže přes to posílat různě dlouhé stringy tam a zpátky a na druhé straně se na to napojit normálním telnetem).

Nebo třeba by bylo fajn mít možnost mít do toho zabalený IP, jako taková "nouzová paralelní síť".

Jasně, že to přes registry jde, ale nepřijde mi to úplně praktická abstrakce. Proč řešit nějaké mapování stringu na registry, když ho vůbec nepotřebuju?

Další věc: umožňuje Modbus komunikaci mezi slavy navzájem? (jasně, že je to master-slave, takže slave může mluvit jenom na vyzvání, ale já nechci, aby se ho ptal master...)