1381
Studium a uplatnění / Re:IT od nuly
« kdy: 16. 08. 2020, 00:23:46 »Ale nikdy nezoberu nejaky priemerOno to je logické, s “průměrem” se těžko dá dělat něco inovativního.
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.
1382
Studium a uplatnění / Re:Jak jste prezili svuj stav vyhoreni
« kdy: 11. 08. 2020, 19:13:25 »
Půl roku v Baltistánu zaručeně pomůže.
1383
Vývoj / Re:C++ typ interval
« kdy: 10. 08. 2020, 14:19:29 »v Debug by se prováděl test a v Release ne.A není to jedno, když je to static_assert? Rozlišení debug/release je záležitost runtimu.
1384
Vývoj / Re:C++ typ interval
« kdy: 10. 08. 2020, 00:18:04 »V C++ jdou sice podobné věci přes šablony (a constexpr), ale jen pro konstanty a bůhvíjaká krása ten zápis taky není. Je poučné podívat se na jazyky, které mají takzvané závislostní typy, ty umožňují kontrolovat hodnoty (například meze intervalu) během překladu, i když nejde o konstanty.Jako cvičení to může být zajímavé, ale neřeší to nic.Je to pomôcka. Pozrite si taký typescript, všetky types a interfaces - všetko sa checkuje len v compile time, samotné behové prostredie javascriptu tie typy nepozná a v runtime sú tie typy teda úplne zbytočné. A ajtak ich používanie programátorom veľmi ulahčuje život a sú ochotní si tie classy a metódy otypovať aj keď je to práca navyše.
Kompilátor odhalí kopu chýb a editor ich používa ako metadáta aby vám zobrazil informáciu o tom parametre a nedovolí vám tam vložiť nesprávny literál. Už len to keď viete že môžete vložiť číslo od do je často veľká pomôcka. V dokumentácii sa také niečo stratí. Síce to neni 100ne nepriestrelné riešenie, ale je to riešenie v rámci možností.
Nevýhoda je, že to môže dať programátorovi pocit falošného bezpečia - všetko má svoje pre a proti.
1385
Vývoj / Re:C++ stack vs heap.
« kdy: 07. 08. 2020, 23:33:45 »
Obecně lze říci, že kde co alokuje “vector” apod. závisí na implementaci. Třeba “string” má typicky několik verzí podle délky řetězce, jde o implementační detaily za účelem optimalizace. Knihovní třídy, zejména kolekce, by se vždy měly vytvářet na zásobníku, kde pak je jen hlavička obsahující ukazatel na dynamicky alokovanou paměť, o který se ale stará kolekce transparentně. U chytrých ukazatelů se nedoporučuje používat “new,” mají vlastní funkce pro vytvoření instancí (make_shared, make_unique, ...).
1386
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 06. 08. 2020, 11:04:24 »Kdyby byly nějaké dotazy k té logice, sem s nimiDíky, kupuju si.Link ne, ale v Peregrinově “Od jazyka k logice” je dobře popsaná. Ona to žádná věda není, je to běžná logika, akorát bez zákona vyloučení třetího. Trochu jinak se tam definují konektivy a je rozhodnutelnější. A její verze vyšších řádů je taky více well-behaved.Jo, intuicionistickáČirou náhodou nějaký link na pojednání o ní, v češtině, by si nevěděl, co?
1387
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 22:31:02 »Tu onehdá doporučenou knihu o záv. typech už máš nastudovanou? Nebos to vzdal?V pokročilém věku už λ-blábolus vyššího řádu nepochopíš tak snadno.Tak se taky nic nestane
1388
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 22:20:04 »V pokročilém věku už λ-blábolus vyššího řádu nepochopíš tak snadno.Místo esoteriky se radši douč ty typové systémyJasný, všechno bude. Přinejhorším v důchodu
1389
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 22:14:58 »Místo esoteriky se radši douč ty typové systémyPeregrin tvrdí, že je nevědecká. Můžeš se jít hádat s ním, zrovna tohle je mně šumák.Však já s tím souhlasím. Nadpřirozené je nepřirozené
To myslím vážně, je to celkem eye opening a jak jsem psal, veskrze praktické, žádná pustá teorie jako třeba forsing.
1390
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 22:08:03 »Peregrin tvrdí, že je nevědecká. Můžeš se jít hádat s ním, zrovna tohle je mně šumák.To už je jiné téma, nakolik jsou nevědní disciplíny jako filosofie důležité, relevantní a žádoucí. Já jsem třeba pro opětné zavedení povinné latiny a starořečtiny na gymnáziaBTW, filosofie není nevědecká, ale metavědecká!
1391
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 22:00:12 »Tu rozhodně taky!To už je jiné téma, nakolik jsou nevědní disciplíny jako filosofie důležité, relevantní a žádoucí. Já jsem třeba pro opětné zavedení povinné latiny a starořečtiny na gymnáziaJá jsem pro znovuzavedení rétoriky
1392
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 21:59:44 »No vidíš, to je mezera, kterou bys mohl zaplnit. Raketová věda to není a celkem se to hodí v praxiJe důležitá, hlavně v případě vyšších řádů, ale pro typové systémy fakt ne. Nebo jsi už potkal v Haskellu Heytingovu algebru?To neumím posoudit, v teorii typových systémů se nevyznám.
1393
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 21:56:22 »To už je jiné téma, nakolik jsou nevědní disciplíny jako filosofie důležité, relevantní a žádoucí. Já jsem třeba pro opětné zavedení povinné latiny a starořečtiny na gymnáziaHlavně když ho to zajímá v souvislosti s typovými systémy, tak potřebuje predikátovou verzi, ne? Naopak sémantiku nepotřebuje. Ve skutečnosti v češtině vhodná literatura neexistuje, ale Peregrin je asi nejblíž (a jediný, co o tom píše bez blábolení). Bohužel relevantní věci jsou schované v mnoha jeho různých pracích, nikde ne uceleně.BTW, docela mě baví i ty filosofičtější Peregrinovy věci, třeba Filosofii pro normální lidi bych dal jako učebnici středním školám. Bylo by to imho užitečnější než se nazpaměť učit nic neříkající hesla typu "Leibnitz = monády"
1394
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 21:53:39 »Je důležitá, hlavně v případě vyšších řádů, ale pro typové systémy fakt ne. Nebo jsi už potkal v Haskellu Heytingovu algebru?Hlavně když ho to zajímá v souvislosti s typovými systémy, tak potřebuje predikátovou verzi, ne? Naopak sémantiku nepotřebuje. Ve skutečnosti v češtině vhodná literatura neexistuje, ale Peregrin je asi nejblíž (a jediný, co o tom píše bez blábolení). Bohužel relevantní věci jsou schované v mnoha jeho různých pracích, nikde ne uceleně.Já bych tu sémantiku úplně nezatracoval, mně pomohlo do ní aspoň trochu strčit nos, abych si uvědomil, že musím rozlišovat mezi formalismem a jeho interpretací. Byla to pro mě docela cenná zkušenost.
1395
Studium a uplatnění / Re:Office a remote práce po pandemii
« kdy: 03. 08. 2020, 21:35:22 »Hlavně když ho to zajímá v souvislosti s typovými systémy, tak potřebuje predikátovou verzi, ne? Naopak sémantiku nepotřebuje. Ve skutečnosti v češtině vhodná literatura neexistuje, ale Peregrin je asi nejblíž (a jediný, co o tom píše bez blábolení). Bohužel relevantní věci jsou schované v mnoha jeho různých pracích, nikde ne uceleně.Já to vidím přesně opačně, je tam jen výroková verze a moc technicky, vpodstatě jen přehled axiomů, co (ne)platí. Ale je to legálně zadarmo, není problém přečíst si obě a porovnat.No výroková v různých modifikacích. Plus sémantika k tomu. Technicistní to je, proto říkám, že by to mohl ocenit informatik.
