Příspěvky

2176

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 14. 07. 2017, 22:43:06 »

Původní téma je mrtvý, tak tenhle OT asi nevadí...

Tak fajn, len si na musku neberte javacripterov, lebo v kontexte tychto faktov, je to ciste trollenie.

Nechápu. Právě proto, že JavaScript semtam používám, a právě proto, že znám aspoň jednu alternativu (Elm), tak  můžu JS relativně poučeně věcně kritizovat.

Teď třeba píšu ve Vue.js - dobrej framework, z JS vymačká maximum, ale právě to JS ho vyloženě táhne ke dnu. Build infrastruktura má stovky balíků. Když je v některém z nich chyba, neodladí to nikdo kromě pár JS lumenů. Když mám ve svém kódu chybu, která způsobí výjimku, vypadne mi úplně jinde a chybová hláška je naprosto k ničemu (vyhodí se někde uvnitř Vue).

Kdyby bylo (vůbec mohlo být) Vue postavené nad lepším jazykem než JS, mohl by to být skvělej framework. Takhle je to jenom (v rámci JS nabídky) snesitelnej framework.

P.S. neberu si na mušku javascriptery, ale JS. Pokud lidi, tak ty, kteří nedokážou uznat fakta.

2177

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 14. 07. 2017, 22:03:39 »

Chapem. Predpokladam, ze vam a noefovi by viac ulahodil Elm. Ale ten ste uz asi skusali, nemylim sa?

Víc než zkoušel.

2178

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 14. 07. 2017, 21:50:02 »

Takze predsa programujete v javascripte.

Když se tomu nedá vyhnout, tak si i mandle nechám vytrhnout

2179

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 14. 07. 2017, 11:59:03 »

Ty zas tak běžný nejsi 

Momentálně už asi dvě hodiny řeším, proč fontello-webpack-plugin způsobí, že se ani nenastartuje node webserver - a nejsem schopnej to vyřešit, takže se cítím přímo podprůměrně

2180

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 14. 07. 2017, 11:26:41 »

a podle mého klidně může platit "sejde z Hasku, sejde z mysli".

To každopádně - minimálně pro nás Běžné Franty Programátory

2181

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 13. 07. 2017, 13:07:37 »

U posetů odpovídá Galoisova konexe adjungovaným funktorům v kategoriích. Kompozicí pak jen dostaneme buď uzávěrový operátor, nebo monádu.

Tohle je přímo i na té wiki:

If we specialize to categories arising from partially ordered sets {\displaystyle (P,\leq )} (P,\leq ) (with a single morphism from {\displaystyle x} x to {\displaystyle y} y iff {\displaystyle x\leq y} x\leq y), then the formalism becomes much simpler: adjoint pairs are Galois connections and monads are closure operators.

2182

Vývoj / Re:Vztah mezi monádami a posety

« kdy: 13. 07. 2017, 11:57:12 »

A co ti na to říká doktor Google? Já mám odpověď ve čtvrtém odkazu. Co ty?

2183

Vývoj / Re:K čemu jsou message brokers?

« kdy: 12. 07. 2017, 19:31:59 »

Jinak teď si z hlavy úplně neumím vybavit důvod, proč by MQTT nemohlo principiálně nad UDP fungovat. Mám pocit, že by mohlo, od spodnější vrstvy IIRC potřebuje jenom jasnou identifikaci endpointů, což IP+UDP porty zabezpečí dostatečně.

Jo, tak jsem si ho právě vybavil, jak jsem to odeslal Nad UDP by bylo dost nepraktický mít QOS=0, protože by server nepoznal, že klient umřel, a dál by mu jak divej posílal subscribnutý data. Ale řešitelný by to bylo snadno: aspoň čas od času by se musel poslat nějaký QOS>0 paket pro ověření živosti.

2184

Vývoj / Re:K čemu jsou message brokers?

« kdy: 12. 07. 2017, 19:25:49 »

přičemž sám si to nad TCP stackem naprogramuju za odpoledne

Brokery a různé spešl fronty (Kafka) má smysl používat na věci, které si sám za odpoledne nenaprogramuješ.

Jsi si např. jistý, že bys dokázal naprogramovat exactly once delivery pro paralelně běžící servery (škálovatelnost), které můžou kdykoli spadnout? Nebo aspoň ve stejném prostředí udělat opravdu robustní replay (jak ho má např. ta Kafka)? Já si tím teda za sebe jistý nejsem vůbec - přestože to z uživatelského hlediska jakžtakž znám, k tomu, abych to naimplementoval, bych si musel pár věcí pořádně nastudovat a i tak předpokládám, že první dvě až tři implementace bych napsal blbě.

Místo zeromq bych fakt doporučil podívat se na Kafku, pochopit, jak pomocí pár chytrých základních primitiv můžeš postavit službu se zajímavými vlastnostmi.

Konkretne u MQTT me stve, ze neumi jezdit nad UDP

Asi to budeš vědět: existuje MQTT-SN, které po UDP provozovat jde, specifikace je hezká (speciálně se mi moc líbí podpora tunelování) ale bohužel se skoro vůbec neuchytilo a množství software je žalostné.

Jinak teď si z hlavy úplně neumím vybavit důvod, proč by MQTT nemohlo principiálně nad UDP fungovat. Mám pocit, že by mohlo, od spodnější vrstvy IIRC potřebuje jenom jasnou identifikaci endpointů, což IP+UDP porty zabezpečí dostatečně.

2185

Odkladiště / Re:Seriály o IT

« kdy: 12. 07. 2017, 16:47:12 »

scorpion
https://www.youtube.com/watch?v=boEb8zKfPBo

Běžná práce IT admina, co je na tom zajímavýho? Člověk nemá moc chuť se na to dívat ještě večer, když to celej den dělá.

2186

Server / Re:Cena za DC pro společnost, cca 60 lidí

« kdy: 30. 06. 2017, 15:49:11 »

Jenom drobná poznámka, spíš pro úplnost než jako polemika:

Pomocí Linuxové náhrady vyřeším samotné loginy, ale už těžko vynutím na stejné úrovni jako u Win group policy, nebo se pletu? Šlo nám o to, co nejvíc si zjednodušit správu toho množství stanic, plus docílit nějakého slušného zabezpečení, což si s group policy představit dovedu. Mluvíme o naprosto neznalých uživatelích například z účtárny, kteří kliknou na každou došlou přílohu, protože čekají fakturu.

Ono dost záleží, co vlastně chceš nastavovat, kolik těch nastavení bude a kolik jsi tomu ochotný věnovat času a nervů. Ty GPO stejně ve finále jenom nastavují nějaké hodnoty v registrech, takže i bez nich se dá obejít.

Jinak ale souhlasím s kolegama: na Win server se zvysoka ... protože ta cenová politika je fakt úlet a samba 4 je relativně v pohodě (sice ne tak jako stará samba 3, ale co už no...).

2187

Vývoj / Re:Jak na GIT?

« kdy: 30. 06. 2017, 09:03:53 »

Zakladni principy gitu jsou sice jednoduche, ale jejich spravne uziti a rozhodnuti kdy co pouzit tak jednoduche rozhodne neni. Git nema na jednu situaci jen jedno reseni. Clovek musi nejen vedet co chce udelat, ale podle ruznych okolnosti se musi rozhodnout jak to chce udelat. Vysledek urcite operace sice bude stejny z pohledu zdrojoveho kodu, ale muze byt rozdilny treba z pohledu zachovane historie uprav. A toto pro zacatecnika rozhodne jednoduche neni.

To je pravda. Já jsem si tu poznámku automaticky přeložil jako "byl jsem překvapený, že ten příkaz udělal něco jiného, než jsem očekával" a nenapadla mě možnost "chtěl jsem řídit projekt, ale nevěděl, jak dosáhnout XYZ".

2188

Vývoj / Re:Jak na GIT?

« kdy: 30. 06. 2017, 08:43:46 »

Několikrát jsem ho zkoušel, ale vždycky se to chovalo nějak "divně", jinak, než bych z popisu čekal.

Škoda, že nenapíšeš nějaký konkrétní příklad. Základní principy gitu jsou tak jednoduché, že pokud jsi byl něčím překvapen, tak jsi nejspíš ten základní princip špatně pochopil. Třeba kdybys napsal konkrétní příklad, stačily by dvě tři dobře mířené věty a měl bys aha-zážitek, po kterém bys tomu už úplně rozuměl

2189

Studium a uplatnění / Re:Programátor po studiu, startup nebo velká firma

« kdy: 29. 06. 2017, 19:20:59 »

Toto se snad nevylucuje

Nevím, co by se s čím mělo vylučovat, chtěl jsem "kdr" ujistit, že nejsem v prváku na magistrovi, nepřivydělávám si nakládáním zboží v Kauflandu a neutrácím všechny prachy za pařby a herní kompl

2190

Studium a uplatnění / Re:Zvýšenie platu až po výpovedi

« kdy: 29. 06. 2017, 19:17:27 »

Jenže mzdu platit musí. U dividendy lze kdykoliv říct "sorry, potřebujeme ty prachy na rozvoj" a všichni utřou.

No však jo - člověk by si musel vybrat, jestli chce prodávat svoji práci za předem dohodnutou cenu (a k tomu pak patří ty různé vyjednávací praktiky), anebo nechce a podílí se na zisku stejně jako všichni ostatní investoři. S tím rizikem, že když se nevydělává, nebo je potřeba reinvestovat, tak má holt jenom tu minimální mzdu.

Takový systém je nesmyslný, protože
1. dividendy dostáváte podle podílu, ne podle výkonu.

To je dobrá, relevantní připomínka.

2. když dostanete padáka, tak vám akcie zůstanou.

je tam trochu problém, jak vyřešit, aby zaměstnanec musel akcie "vrátit", když odejde. Ale to by asi taky šlo ošetřit nějakou opcí na nákup za nízkou cenu nebo tak něco.