Příspěvky

3196

Server / Re:Jak nastavit HTTPS

« kdy: 25. 06. 2018, 14:38:03 »

Nastavení https se týká obecně knihoven (ssl apod.) a podpory webového serveru. A možná i nastavení "firewallu", to podle toho, v jaké roli do toho vstupujete.

Certifikát někam dáte, řeknete web serveru, kde ho má, nastavíte zpravidla nějaké "metody" (tj. třeba "SSLCipherSuite" v apachi), ověříte, kde jsou logy. Web server by měl mít určeno, aby ssl používal (např. "LoadModule ssl_module modules/mod_ssl.so" a "SSLEngine on").

To všechno by platilo jedině v případě, kdy by pan Pavelka sám provozoval webový server. Což doufám není tento případ… Pokud má někde zaplacený webhosting, nebude nastavovat ani firewall ani webový server, pouze si zapne HTTPS v administraci webhostingu.

3197

Server / Re:Jak nastavit HTTPS

« kdy: 24. 06. 2018, 16:24:40 »

Předpokládám, že ten web máte na nějakém webhostingu. Konfiguraci HTTPS pak hledejte v konfiguraci toho webhostingu – a nebo je také možné, že už má web HTTPS automaticky.

Návody, které najdete na internetu, nebo který odkazuje Gődel, se týkají případu, kdybyste si provozoval vlastní webový server (na svém fyzickém nebo virtuálním počítači).

3198

Odkladiště / Re:Autorský poplatek za nový disk

« kdy: 23. 06. 2018, 21:16:50 »

Když si něco stáhne, nedostane z toho nikdo nic, protože ty poplatky jsou počítané za legální užití pro osobní potřebu. Souhlasím, že princip užití pro osobní potřebu a kolektivní správa práv jsou přežitky a dnes by se to dalo řešit běžnými licenčními smlouvami.

3199

Server / Re:Nevyuzivane NS zaznamy v DNS zone

« kdy: 23. 06. 2018, 13:26:37 »

Ničemu to nevadí. U některých domén jsem to tak měl, když jsem měl pro všechny domény stejnou sadu autoritativních serverů, ale u některých TLD bylo možné zaregistrovat jen menší počet jmenných serverů.

3200

Odkladiště / Re:Sorry, jdu znova krást

« kdy: 22. 06. 2018, 22:07:38 »

Stát si nemyslí, že jste zloděj, protože ty poplatky jsou za kopie děl, ke kterým máte autorská práva legálně.

3201

Vývoj / Re:Typový system versus unittesty

« kdy: 21. 06. 2018, 16:44:11 »

Šel jsem oběma cestama. A musím říct, že napsat aplikaci, kde spolehlivost bude stát jen na testech je peklo.

Nějak mne nenapadá, v čem by se měla lišit dovednost psát testy od dovednosti programovat.

Častým projevem toho nechápání bývá paušální odsuzování – a je jedno, zda PHP, JavaScriptu, Javy nebo C.

3202

Vývoj / Re:Typový system versus unittesty

« kdy: 21. 06. 2018, 15:09:40 »

Tak to nechápou no. Tak přijde senior, řekne jim - to je tak a tak, voni na to - hmm, pomaleji... Zkusí to na malém příkladu, vyzkouší na části projektu, po pěti aplikacích (toho konceptu) budou tvrdit, že to znali vždycky.

Chci říct, samozřejmě souhlasím. Největší problém je ignorace. Ignorace na straně neznalých, že to je blbost, a ignorace na straně znalých, že není třeba to polopatě vysvětlit.

Obávám se, že ještě horší je, když někdo jenom zahlédne nějaký kousíček, a už má pocit, že to chápe. To je pak ten neznalý, který si ale navíc nenechá vysvětlit, že je neznalý.

3203

Vývoj / Re:Typový system versus unittesty

« kdy: 21. 06. 2018, 15:05:11 »

V tomto vlákně se opět manifestuje staré známé "nejsem-li něco schopen pochopit, je to k ničemu". Aneb na co používat bagr, když mám lopatu...

Přitom to celé začalo starým známým „nejsem schopen to pochopit, ale zrovna bych potřeboval bagrovat, tak to určitě je bagr“. Jen nevím, co je horší…

3204

Vývoj / Re:Typový system versus unittesty

« kdy: 21. 06. 2018, 07:27:26 »

IMO kód v dynamických jazycích může být kratší, protože třeba v případě toho parsingu by se člověk prostě vybodnul na kontrolu korektního vstupu...

Byl bych velmi opatrný s tvrzením, že kratší kód se automaticky rovná lepší kód. Vy jste napsal konkrétní případ, kdy je kód kratší ale jiný, ale ani kratší kód, který dělá přesně to samé, jako delší kód, nemusí být lepší.

3205

Server / Re:Šifrování existující databáze

« kdy: 20. 06. 2018, 20:00:56 »

web za reverzní proxy

Není to málo? Na proxy se nikdy nesmí šetřit. Já bych tam dal minimálně haproxy → nginx → Apache, a zvážil bych hyproxy → Varnish → nginx → Apache. Čím víc proxy, tím víc Addidas!

Máte pravdu v tom, že reverzní proxy se běžně nasazují – ale vždy to má nějaký důvod. A často také vůbec žádný důvod neexistuje, a pak je zbytečné tam reverzní proxy cpát jen tak, aby tam byla.

3206

Vývoj / Re:Typový system versus unittesty

« kdy: 20. 06. 2018, 14:12:36 »

ano, stejně jako ten nejlepší testovací framework, musíte ho taky použít, v obou případech musíte napsat správný typ resp. testy

Máte testy zařazené na špatnou úroveň. Na jedné úrovni jsou typy nebo algoritmy – ty musí být správně, aby program fungoval správně. Pak je volitelná druhá úroveň – můžete napsat testy, které otestují nějaké zajímavé případy. Žádný systém algoritmizace, typů nebo psaní testů nezajistí bezchybnost programu – testy slouží jen ke zvýšení pravděpodobnosti, že chybu odhalíte.

to nejsou teoretické meze ale praktické - "lidský faktor"

Myslel jsem, že se bavíme o tom, co je reálně dosažitelné. Ne že prohlásíme, že program předhodíme nějakému orákulu nebo CML, který nám řekne, zda je správně nebo špatně. No a že takový CML neumíme vytvořit? To je „lidský faktor“…

3207

Vývoj / Re:Typový system versus unittesty

« kdy: 20. 06. 2018, 09:47:21 »

tak to není a pro původní dotaz to moc neznamená, protože ten se týkal teoretických mezí

Ani sebelepší typový systém nezajistí, že program bude bez chyby. Teoretické meze neleží v typovém systému nebo kompilátoru, ale ve schopnosti formálně popsat specifikaci. Pak může nastoupit automatické dokazování nebo verifikace, např. Isabelle.

3208

Vývoj / Re:Typový system versus unittesty

« kdy: 19. 06. 2018, 21:31:09 »

Pointa je tedy taková, že možná není tak úplně nutné, aby psaní těch komplexních typů bylo nějak zvláště o tolik složitější než na to napsat test. Záleží, jak dobře se to navrhne.

Test pokrývá jen malou množinu vstupů z (často teoreticky nekonečné) množiny všech možných vstupů. Jak by asi „kompilátor“ doplnil definici toho komplexního typu pro vstupy, které by tím testem nebyly pokryté?

Napsat test může být takhle jednoduché:

Kód: [Vybrat]

assert 5 == fun(2, 3)
assert 3 == fun(1, 2)

Co k tomu přidáte, aby to popisovalo komplexní typ?

3209

Vývoj / Re:Typový system versus unittesty

« kdy: 19. 06. 2018, 21:23:19 »

Obávám se, že toto je ta samá věc, kterou uváděl Filip Jirsák. A tuším, že tu bylo minimálně dvakrát poukazováno, že to by problém být neměl - viz závislostní typy.

Nazval bych to teologickým programováním: „Když něčemu nerozumím, musí to být všemocné“. (Po této fázi následuje fáze zklamání, že to příslušný jazyk nebo koncepce „neumí“, zařazení jazyka či koncepce na seznam špatných jazyků/koncepcí a vyhlédnutí dalšího kandidáta, který už určitě bude dokonalý.)

Vy se stále touláte někde ve výšinách, ale unikají vám základní věci. Testy se píšou proto, aby odhalily případné chyby v programu. Na tom se shodneme? Tedy pokud program může obsahovat chyby, má smysl psát testy. Na tom se také shodneme? Pak tedy platí, že testy nemá smysl psát jenom u programu, u kterého bezpečně víme, že neobsahuje žádnou chybu. I na tom se shodneme? Takže vy tu vlastně hledáte způsob, jak docílit toho, aby platilo „pokud to šlo  zkompilovat, není v tom žádná chyba“, je to tak?

3210

Software / Re:Jak fungují emaily u Apple?

« kdy: 19. 06. 2018, 17:18:11 »

10 let jsem zvyklý, že používám email v prohlížeči na seznamu a v googlu. A celou tu dobu dlabu cloudové věci

Nepoužívejte termíny, kterým nerozumíte. Místo „cloud“ radši napište, jak by to podle vás mělo fungovat, co od toho čekáte.

Cloud je totiž zjevně něco jiného, než co si pod tím slovem představujete. GMail (e-mail od Googlu) i Seznam E-mail jsou cloudové služby, dokonce GMail by se dal považovat za první cloudovou službu vůbec.