Zobrazit příspěvky
Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.
a kazdym upgradem serveru to budes delat znovu.Nevim, co delam spatne, ale na mailserver jsem roky vicemene nemusel sahnout. A to jedu na FreeBSD, ktery ma vsechen ten prislusny soft pod rolling release cyklem.
Pán bude asi odborník. Jednu dobu jsem POP3 používal a až do přechodu na IMAP jsem mazal s jeho pomocí jenom ty e-maily, co jsem smazat chtěl. On ten protokol ve své době uměl mnohem víc, než si většina lidí i z řad technicky zdatnějších uživatelů myslela.Pro tuhle situaci není relevantní, co protokol umí, ale jak s ním zacházejí klienti. Pokud bych měl nějaké maily na klientech, a nějaké na serveru, je to pro migraci horší situace, než kdybych je měl všechny na lokále.
ale dalsich 15 stranok je kopa hnojaJestli tu diskusi považuješ za kopu hnoje, tak nevím nevím, jak moc upřímně to s tím sebevzděláváním myslíš
1) Za tu "zhoubnost" snad nemůže znalost, ale jen formulace, ne?To jo. Ale jde o to, k čemu člověk znalost používá a jestli si je vědom toho, že každá znalost ho potenciálně vzdaluje od těch, kteří ji nemají...
Once you understand what monads are, and why they exist, you lose the ability to explain it to anybody. [Douglas Crockford]
Některé koncepty jsou prostě inherentně složité. Fakt, že podle statistik končí matematická intuice 90% lidí u trojčlenky, přímo implikuje, že max. 10% lidí je schopno dostatečně porozumět například té teorii kategoriíVšak o to nejde, vysvětlit jim všechno. Něco prostě s IQ<x nedáš. Ale jde o to, umět podat to stravitelnou formou to nejpodstatnější a nedopustit se přitom příliš zavádějících formulací (jako třeba to "monády jsou burritos").
K tomu bych jen dodal, že ne vždy.Pokud to nedělá, tak je ta situace ještě horší
Možná by bylo bývalo lepší vyvážit ten negativní příklad nějakým pozitivním, protože říct A bez B svádí k misinterpretacím (a ty vedou diskusi do pekel).Tak použil jsem obraty "může být", "v jistým smyslu" - to snad dostatečně naznačuje, že to není vždy. Ale myslím si, že o tomhle rozměru se málo mluví: pokud vzdělanost vede k elitářství a nesrozumitelnosti, je to spíš minus než plus.
If you can't explain it simply, you don't understand it well enough.je hodně pravdy. Udělat věci složitými umí každý. Udělat věci jednoduchými, to je dar, který má málo kdo.
V tom "zúžení" byl ten problém, protože zrovna IO není úplně ideální příklad, na rozdíl od Maybe nebo třeba těch seznamů. Nehledě na to, že o monádách vlastně původně řec vůbec nebyla...Tak celé se to odpíchlo od mé (záměrně) provokativní teze
Nejenom, že to není pravda, ale v jistým smyslu může být ta znalost i vyloženě zhoubná (ne pro toho člověka, ale pro jeho okolí)- a pojem "IO monáda" je vyborný příklad. List je sice taky monáda, ale nikdo není takový blázen, aby říkal "seznam prvků se v Haskellu implementuje pomocí monády List". Takže List by pro tenhle účel nebyl dobrej příklad, protože tam ta zhoubnost znalosti produkující nesrozumitelnost není.
Popravde som sa s POP3 nikdy v praxi nestretol, moja "migracia" ma napadla ako riesenie na problemZásadní problém s POP je v tom, že stahuje maily na lokální stroj a na serveru je maže. IMAP nechává maily na serveru a pokud nechceš, lokálně ani nemusíš mít kopie. Takže problém té migrace je hlavně v tom, že bys musel nějak ty lokálně uložené maily (stažené POPem) dostat na server. Sedmdesát lidí už je moc na to, abys to řešil nějak ručně.
rozjedete tam ty své žabomyší války a vůbec vám nevadí, že ste absolutně OT...Až na tu odbočku k vyřešení starých účtů z jiného tématu to bylo docela ontopic - celá ta debata se totiž rozvinula od teze "k programování v Haskellu potřebujete znát teorii kategorií" a z toho se to pak zúžilo na "k psaní IO v Haskellu potřebujete pochopit monády". A v tomhle jsme se na dlouho zasekli (zbytečně).
Je mozne aby mi bezacal Dovecot s IMAPom + Qpopper na POP3 naraz ? a klientov by som jednoducho postupne poprehadzoval na IMAP ?Technicky to možný určitě je, ale já bych touhle cestou nešel. Princip POPu a IMAPu je natolik neslučitelný, že je dost velká pravděpodobnost, že si naběhneš na vidle, v něčem tě to vypeče - a navíc jelikož u POPu máš maily jenom na klientovi, je dost velký riziko, že o ně v procesu migrace přijdeš.
).ale z klienta ani za svet, kde moze byt chyba ? DakujemProblémů může být bambilion, musel bys dodat nějakou chybovou hlášku, z křišťálové koule věštit neumíme
Maternovu práci neznám podrobně (pracuju na tom), nicméně víra v něco, co neexistuje, nebo třeba hledání jednorožce (něčeho, co neexistuje, i když ono hledání jo) popsal už třeba Montague.No však to jsou ty inspirační zdroje: Montague, Frege, Tichý... Mě Materna bavil hodně (učil mě), ale nevím, jestli bude vyhovovat tobě. Je spíš takový víc kecací než formální. Ale ty problémy vytahuje myslím pěkně. Nakolik ze své hlavy a nakolik je to oprášení Tichého, to nevím a ani mě to nezajímá.
Zaujal mě abstrakt právě zmínkou o henkinovské sémantice (to je ta, o které ses tak pohrdavě vyjádřil v tom druhém vlákně). Podle mě to stojí za přečtení, stejně jako ten Hintikkův článek, cos odmítl číst tvrdě, že nejsi žák. BTW sorry za přechodník...Zakládám do Pocketu, ale jestli to někdy vylovím, to nemůžu slíbit, přece jenom mě tohle neživí a měl bych se věnovat spíš jiným věcem... Navíc s tím současným boomem AI, deeplearningu etc. mám trochu obavu, jestli celé tohle formální modelování přir. jazyka není trochu slepá cesta...
2) Asi myslíš propositional attitudes. O tom píše Hobbs v Encoding commonsense knowledge. V podstatě rozlišuje pozitivní modality (ty, kde platí modus ponens, čili například ty klasické nutně/možná) od ostatních, jako "věřit že" (nebo negace, což ne taky modalita). Ale žádnou ucelenou teorii k tomu nemá, jen se vše děje ve FOL. K sémantice logiky vyššího řádu je jeden článek tvrdící, že je na dvě věci (není to Peregrin), zkusím to najít, třeba tě to bude zajímat. Ale nic neslibuju, páč už nevím, kdo to napsal.No jestli chceš nějaké příklady zapeklitých formulí z přirozeného jazyka a jejich rozbor, Materna jich má spoustu.
A motají se tam takové ty úvahy právě o rozlišení významu a smyslu atd. Jak říkám, Materna to má rozpracované imho dobře (na realistických příkladech).
To ale pozor, taková tvrzení nejsou modalita. Resp. nevím, co je pro tebe "modalita", já teda vycházel z commonsense reasoning a modalita je pro mě "mode of existence". Když nad tím tak přemýšlím, tak o žádné přesné definici "modality" nevím. Hmm... (thinking)No prááááávě
Zabředli jsme prostě do nekorektně vedené debaty nad nejasnými pojmy, to je celý, no drtivá většina matematiky pracuje s tvrzeními, která jsou platná nutně, s "vždycky a všude platnými" tvrzeními. Proto si ta kostra vystačí s predikátovou logikou. Navíc vždycky předpokládáš úplnou informaci.- čili nejenom klasické nutné/možné, ale právě i ty znalosti, touhy, mylná přesvědčení... Jak jsme to nakousli včera nebo kdy to bylo...
Jenže v reálném světě to funguje jinak: pracuješ s modalitami, neúplnou informací, intuicí...
...a přesně proto je sice matematika super přesná a super exaktní disciplína, ale nespočítáš ani rychlost pádu kopačáku ze dvou metrů. Prostě všechno, co by tě zdržovalo a věc komplikovalo, to zanedbáš a pracuješ s ideálním světem, ve kterém všechno víš (protože sis to sám zadefinoval tak, jak se ti to hodí
Jak byl ten vtip? Něco jako "umíme přesně spočítat zrychlení utrženého výtahu - ze předpokladu, že je to hmotný bod"? Tak nějak
]
no ano - " Každopádně to nic nemění na tom, co jsem tvrdil "Tak, pane kolego, nejenom, že to nic nemění na tom, co jsem říkal, ale mýlil jsem se v tvrzení, že se mýlím, čili jsem se nemýlil. A příklad je nakonec triviální, jenom jsem nevěděl, že ta potřebná fce v Haskellu přímo existuje, i když je deprecated:
Prelude> import IOBase
Prelude GHC.Base> getLine `bindIO` putStr
Hola hou, namornici!
Hola hou, namornici!Prelude GHC.Base> :t readLn
readLn :: Read a => IO a
Prelude GHC.Base> :t putStr
putStr :: String -> IO ()
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.