Příspěvky

3166

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 20:30:43 »

Nějak nevím, cos tím vším chtěl říct.

Stane se.

Jinak teda k věci, už jsi pochopil, proč je modální logika fragmentem FOL?

A ty už jsi pochopil, jak moc je modální logika, která je fragmentem FOL, omezená? Tak omezená, že pomocí ní nepopíšeš ani svět, jak ho vnímá pětileté dítě? A že já jsem tehdá mluvil o logice, která myšlení pětiletého dítěte přesahuje, takže tvoje poznámka byla úplně irelevantní, což je ve spojení s tvým komunikačním stylem dost matoucí? Je to fakt škoda, tvoje znalosti a schopnosti by se daly využít k většímu užitku ostatních...

Prolog mi sice přijde zajímavý, ale na hovno

Prolog je skvělý na to, co jsem psal výš. Pokud se použije fakt jenom na to dotazování nad daty a ta výkonná logika se napíše v něčem jiným, je nedostižný. Jednou jsem třeba zkoušel, jak by se pomocí něj dal napsat čistý a silný configuration management - čistě praktická věc, perspektivně o řád lepší než existující řešení. A mám z toho pokusu dojem, že by to mohlo jít. Proof of concept: https://github.com/mprymek/symconfig (tohle je hodně počáteční verze, na disku to mám teď už v daleko lepší podobě, ale nechce se mi to zatím zveřejňovat, chce to ještě práci, na kterou teď nemám čas).

3167

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 19:02:33 »

základní povědomí o ní je užitečné, stejně jako při práci s Prologem je dobré znát formální logiku, aby si pak člověk naivně nemyslel (nebo nedejbože se ještě o tom do krve hádal), že v Prologu nejde naimplementovat například modální nebo třeba intenzionální logika.

Kvituji rýpnutí do mě Co nekvituju, je, že jsi to posunul úplně jako obratný a zkušený manipulátor, vypadá to, že to máš zmáklý

Nicméně k věci: směšuješ dvě zásadně odlišný záležitosti:

• schopnost napsat (adekvátně) kvalitní kód - tj. používat nějaký systém, pohybovat se "uvnitř něj" = úroveň
• tvrdit něco o tom systému = metaúroveň

Prvně jsi mluvil o tom prvním ("špatné návyky" každý pochopí jako "špatný kód" = úroveň).

Že jsou potřeba nějaké lepší/hlubší znalosti potřeba pro to druhé, nebude nikdo rozumný zpochybňovat. Ale taky to nikdo běžně v praxi nepotřebuje. Když to řeknu hodně lapidárně (a nechám si za to nadávat do lopat, což zaručeně přijde), pokud už nakrásně mám problém "můžu prologem zachytit modality?", tak ho normální člověk bude řešit buď tím, že se obrátí na někoho, kdo tomu rozumí, nebo (tramtadadá) prostě do googlu zadá "prolog modalities" - a pro běžnou situaci mu to bude stačit, protože si prostě přečte pár pojednání o tom, jestli modality v prologu jdou nebo ne a za jakých podmínek. K tomu, aby to uměl zodpovědně zodpovědět sám, by stejně musel mít tolik znalostí, že jejich nabytí by bylo neadekvátně drahé a v samotném programování (úroveň) by mu to stejně nebylo vůbec k ničemu.

S burritos jsem konverzaci nikdy nevedl, tak nevím, nakolik to přirovnání sedí

Vzhledem k tvé inteligenci a vzdělání tohle taky nejde brát jinak než jako (obratnou! to člověk musí uznat)  manipulaci. V tom vtipu samozřejmě nejde o to, že bys s burritem mluvil, ale o to, že by někdo mohl tvrdit, že pro vychutnání si burrita pořebuje člověk nutně chápat celý kontext, španělskou kulturu, atd. atd. - přesně jako někdo tvrdí to, že k programování je potřeba znát CT. Není. Burrito prostě sežereš, program prostě napíšeš. Jo, když k tomu má někdo kontext, vychutná si to asi líp, napíše lepší kód. Asi. Možná. Dá se to předpokládat.

, ale monády *jsou* koncept z teorie kategorií a

Když jsi tady zmínil tu analytickou filosofii, nepřijde ti, že by bylo docela legitimní říct, že monády se k CT mají stejně jako se má zajíc k biologii? Je zajíc "konceptem z biologie"? Je potřeba znát taxonomii savců k tomu, aby mohl člověk jít na hon?

Ony i imperativní jazyky mají formální základ, jenže ten se učí tak nějak za běhu (a nikdo si nestěžuje).

Což jde úplně stejně i u FP. Akorátže FP je natolik prorostlé s akademickým prostředím, že kolem něj doteď dost panovala a někde i dál panuje "elitářská" atmosféra. V uvozovkách, protože já tomu postoji docela rozumím:

"A monad is just a monoid in the category of endofunctors", tím je to vysvětleno a pokud to narozdíl od nás vědců nechápete, tak si to dostudujte, nebo to možná není jazyk pro vás. Nashledanou.

...je to z určitýho úhlu pohledu legitimní a určitě racionální postoj. Jenom je to prostě postoj autisty.

3168

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 17:57:10 »

Osobne netusim, co je na tom pravdy, protoze TK neznam a z FP pouzivam asi spise zaklady.

Podle me je to prani otcem myslenky, protoze treba takove promises pouzivaji i ti nejslabsi javascriptari bez problemu a nejenomze monady ani TK neznaji, ale ani nevi, ze promises jsou monady. Aby to nebylo tak, ze nekdo nevi, ze to nejde, tak to udela

Ale treba zboj nejaky silny argument pro tohle tvrzeni ma, proto jsem se ho na to ptal.

...anebo je to opet klasicke terminologicke nedorozumeni a kdyz zboj rika "spatne navyky", tak tim mysli bezchybny kod, ktery ale neni napsany s vedomim vsech souvislosti ve vesmiru

3169

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 17:43:50 »

Jinak psát v nějakém funkcionálním jazyce bez znalosti teorie kategorií je k ničemu, protože člověk pak nechápe základní principy a získá "blbé" návyky, kterých se pak těžko zbavuje.

A mohl bys uvest konkretni priklad takoveho navyku a aspon naznacit, proc ho bez znalosti TK podle tebe clovek ziska?

3170

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 16:54:14 »

Mimochodem, proto taky nemusí být špatný zkusit si prvně Datalog - aby se člověk na ten nástroj díval spíš jako na databázi. A teprve až narazí na věci, na který Datalog nestačí, kouknout na Prolog - tou optikou Datalogu ho imho pochopí líp/realističtěji.

3171

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 16:48:55 »

Si pamatuju, jak jsme na skole prskali, kdyz jsme v tom meli psat tymovy projekt . Ale v zaveru to bylo hodne zajimave, zkusili jsme si neco naprosto odlisneho. Psali jsme tusim AI pro nejakou deskovou hru a na konci predmetu nechali vsechny vytvory bojovat proti sobe, IMO hezky provedene .

Školní projekty jsou trochu problém. Prolog se skvěle hodí na ukládání informací a vyvozování na základě pravidel. Pokud ale v Prologu píšu program, který má imperativní charakter (prvně udělej tohle a pak tohle), tak Prolog víceméně znásilňuju - vím, jakými kroky bude vyvozovat a využiju toho. Pokud je takhle školní projekt postavený, může to mít dva důsledky: 1. budu si ťukat na čelo, proč vůbec takový jazyk existuje a nikdy už ho nepoužiju 2. pochopím, že psát imeprativní program v Prologu je opruz a nikdy už to neudělám. Přitom podle mě by školní projekt v Prologu měl vést k něčemu úplně jinému: 3. pochopím, jak skvělý a v podstatě nezastupitelný nástroj Prolog je pro ukládání strukturovaných dat a vyvozování nad nimi. To ale můžu zjistit jenom pokud ho použiju tak, jak má v praxi smysl ho použít, a ne tak, jak se používá ve školních příkladech.

3172

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 14:09:03 »

Rozhodně doporučuju ten Prolog

Ja taky, Prolog je mimoradne cenna zkusenost - i kdyby treba jenom proto, zakusit, jak muze byt formalne suprova myslenka prakticky nepouzitelna

3173

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 14. 04. 2016, 13:26:48 »

Ale pokud vas to netahne, tak bych spis doporucil neco z tech vice exotickych - Haskell, pripadne ten Prolog.

Misto Haskellu bych pro ucely zabavneho (ve smyslu "bavi me to") zkoumani fakt doporucil ten Elm. Intenzivne ho ted testuju a musim rict, ze autori odvedli fakt az prekvapive dobrou praci ve smeru priblizeni FRP "normalnim" lidem. Nevim, jak moc bezbolestne je s nim zacit pro cloveka, ktery FP nikdy nepouzival, ale urcite to bude o rad jednodussi nez Haskell. A az treba Elm prestane stacit, da se potom krasne prejit prave na Haskell nebo PureScript.

Myslim, ze pricichnout k FRP by mel ze studijnich duvodu snad kazdy programator, ktery to se sebou mysli vazne. Nikde jinde si tak hezky neprocvici systematicky cisty pristup, udalosti, transformace, skladani krasnych cistych funkci do prehlednych celku...

Kdyz uz nic jinyho, tak minimalne "Elm manifest" stoji urcite za prostudovani: https://github.com/evancz/elm-architecture-tutorial

3174

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 12. 04. 2016, 15:17:17 »

Tak pak je ale lepší se nějaké hlubší sebevzdělávání vykašlat úplně...

Nesouhlasim. U vzdelani myslim plati, ze cokoliv je doma, to se pocita. I kdyz to bude malo a bude to melke, je to lepsi nez nic.

EDIT: jo sorry, prehledl jsem "hlubsi" - no to asi jo, pokud "hlubsim" myslime stovky a tisice hodin sedet nad necim, co ma pouzitelnost v mlze

3175

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 12. 04. 2016, 15:09:28 »

Jsou důkazy, které by byl "hřích" přeskočit

Jenze pracujici clovek s rodinou ma ponekud sirsi priority. Zly jazyk by mohl argumentovat tim, ze nevidet deti vyrustat a misto toho si cist dukazy, by byl hrich do nebe volajici...

3176

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 12. 04. 2016, 15:00:14 »

Jeste P.S. k tomu, co jsem napsal: ten teoretickej zaklad a prakticke zkouseni novych paradigmat nemusi nasledovat po sobe. Da se to klidne delat paralelne, podle toho, na co mam zrovna chut. Dulezity je imho mit z toho radost a poteseni, jinak clovek brzo vyhori a neda mu to vubec nic, coz je nejhorsi mozna varianta.

Některé důkazy může člověk klidně přeskakovat (mnohé je ale dobré projít a hlavně pochopit, protože jen potom se zjistí, co jak proč funguje) a věnovat více času třeba cvičením.

Dost dulezity taky je, jestli se bavime o cloveku, ktery pracuje, nebo o studentovi. Pracujici programator vetsinou nema cas ani chut si delat nejaka cviceni. Potrebuje najit cestu, kde je pomer vlozene usili/ziskany efekt nejaky rozumny. Jenom tak si procitat nejake dukazy a delat si cviceni muzou tak maximalne lidi bez rodiny nebo zamestnanci research oddeleni. Normalni smrtelnik na to cas nema.

3177

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 12. 04. 2016, 14:49:25 »

mam z toho pocit, ze to vsetko, co tu pisete, nemozem ani za zivot stihnut

Urcite. Jakakoliv z tech veci se da pouzit jako napln celozivotni prace na univerzite a vetsinu z toho nejspis muze clovek zkoumat tak hluboce, ze bude jeden z deseti lidi na svete, kteri tomu rozumi stejne dobre

Prave proto clovek nesmi moc zabredavat do detailu a musi se smirit s tim, ze vsechno z toho bude znat jenom trochu. Idealni samozrejme je, kdyz ma k dispozici ucitele/mentora/starsiho kolegu, ktery mu to bud predzvyka, nebo aspon doporuci, co a do jake hloubky ma smysl zkoumat.

Dobrej priklad je myslim ta teorie kategorii - muzes o tom cist stohy knih a nikdy neskoncis. Pro vetsinu lidi nema nejmensi smysl to delat. Lepsi je sehnat si dobre napsany clanek/mensi knizku, ktera to vysvetli na prave takove urovni a takovym stylem, ktery ti bude sedet. Ja jsem treba dlouho hledal, nic mi neprislo tak akorat, uz jsem to chtel vzdat, az jsem se dostal k tomuhle: http://www1.eafit.edu.co/asr/pubs/others/cain-screen.pdf -- a hle, veci, jejichz prinos  jsem z jinych textu nepochopil (protoze tolik casu na to nemam), jsem najednou (na mne-dostatecne urovni) nahlidl za cca tyden...

3178

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 12. 04. 2016, 14:10:26 »

cize myslite si, ze sa oplati studovat aj matematicke veci? Zas nepatrim medzi nejakych super matematikov

Podle mě má smysl jít po krocích postupně třeba takhle:

• studovat tu matiku, která se v IT bezprostředně používá (hlavně diskrétní mat., kombinatorika, základy teorie grafů apod.)
• úplné minimum teoretické informatiky (jenom aby člověk vědel, v čem je zásadní rozdíl mezi regulárním a bezkontextovým jazykem a jak s tím souvisí konečný a zásobníkový automat - bez důkazů, bez přehnaného babrání ve formalismech, ale s důrazem na to, abych chápal praktické důsledky)

Tohle jako teoretický základ běžnému programátorovi stačí. Jakmile to mám, tak:

• vrhnout na praktické programátorské věci, který jsem psal výš. Teprve až tohle všechno mám, tak:
• zkusit další věci, které už nejsou přímo uplatnitelné, ale jsou super pro širší přehled (to jsou ty věci, který psal zboj) - to už je ale spíš pro zábavu a potěšení, žádný bezprostřední užitek z toho mít nebudeš. Tak je potřeba k tomu přistupovat, aby z toho člověk neměl depresi

3179

Studium a uplatnění / Re:Jak si rozšiřujete své vědomosti?

« kdy: 12. 04. 2016, 11:58:59 »

rad by som si urobil taky prieskum, alebo skor sa popytal a nabral inspiraciu, ze ako si rozsirujete svoje vedomosti v oblasti IT, hlavne programovanie. Knihy, video tutorialy, projekty?

Na knizky uz ted nemám bohužel moc čas, takže spíš kvalitní blogy a ty videa.

Imho úplně nejlepší rozšíření obzorů pro programátora je seznámit se s nějakým jazykem hodně odlišným od toho, co normálně používám. Každý by si imho měl vyzkoušet co nejvíc (tj. tolik, kolik může) minimálně z:

• logické programování - Prolog nebo aspoň Datalog
• konkurentní programování - Erlang, Elixir, Akka - nejlíp Elixir
• čisté funkcionální programování - Haskell, Elm - Elm bych hodně doporučil, pro seznámení fakt parádní
• plnotučné OOP - SmallTalk, Objective C, Swift (?)
• nějaký hodně moderní mulitparadigmatický jazyk - Rust? Nevím

Plus není k zahození se pro rozšíření obzorů ponořit do nějaké domény, se kterou normálně nedělám - třeba embedded pro mě je z několika důvodů docela poučná zkušenost

...a taky bych docela doporučil zkusit si naimplementovat něco, co normálně používám jako knihovnu a používá to netriviální koncepty a není to rutina, abych líp pochopil, jak to funguje. Třeba zkusit si v jazyku, který umím, naimplementovat RPC od píky, to pro mě taky byla docela fajn zkušenost. Určitě ne dělat třeba e-shop, to je rutina.

Pokud možno hledat něco, co řeší nějakou moji potřebu, co se dá zveřejnit a budu z toho mít radost, že jsem to vyřešil.

3180

Software / Re:Záchrana filesystemu ext3

« kdy: 12. 04. 2016, 11:37:14 »

a chválím kvalitní popis problému i řešení. Díky!

Přidávám se.