Příspěvky

601

Studium a uplatnění / Re:Mzdy v IT vzrostly loni o 20%?

« kdy: 29. 06. 2018, 18:02:07 »

Naivní kreténi narvali lopatí pozice. Schopného a kreativního vývojaře nemůže naivní kretén ohrozit, ani konkurovat. Pokud nejsi lopata a nejsi absolvent (takže máš praxi a zkušenosti), tak dávno makáš pro jednu firmu, více firem, nebo pro jakékoliv zákazníky jako OSVČ. Zaměstnanec je mezistupeň mezi studentem připravující se na svůj obor a samostatně výdělečně činnou a tvůrčí jednotkou.

Bullshit.

Tak si to mysli, ale fakta jsou neúprosná. Já jsem tady *ukáže k nebi* a vy jste támhle *ukáže k zemi*.

Dik za zhodnoceni. Od posahaneho internetoveho anonyma to vzdycky potesi.

Není zač. Těší mě, že patříš mezi lopaty, takže mi nikdy konkurovat nebudeš.

Ve velkohubosti asi ne...

602

Studium a uplatnění / Re:Mzdy v IT vzrostly loni o 20%?

« kdy: 29. 06. 2018, 17:13:32 »

Naivní kreténi narvali lopatí pozice. Schopného a kreativního vývojaře nemůže naivní kretén ohrozit, ani konkurovat. Pokud nejsi lopata a nejsi absolvent (takže máš praxi a zkušenosti), tak dávno makáš pro jednu firmu, více firem, nebo pro jakékoliv zákazníky jako OSVČ. Zaměstnanec je mezistupeň mezi studentem připravující se na svůj obor a samostatně výdělečně činnou a tvůrčí jednotkou.

Bullshit.

Tak si to mysli, ale fakta jsou neúprosná. Já jsem tady *ukáže k nebi* a vy jste támhle *ukáže k zemi*.

Dik za zhodnoceni. Od posahaneho internetoveho anonyma to vzdycky potesi.

603

Studium a uplatnění / Re:Mzdy v IT vzrostly loni o 20%?

« kdy: 29. 06. 2018, 16:17:39 »

Naivní kreténi narvali lopatí pozice. Schopného a kreativního vývojaře nemůže naivní kretén ohrozit, ani konkurovat. Pokud nejsi lopata a nejsi absolvent (takže máš praxi a zkušenosti), tak dávno makáš pro jednu firmu, více firem, nebo pro jakékoliv zákazníky jako OSVČ. Zaměstnanec je mezistupeň mezi studentem připravující se na svůj obor a samostatně výdělečně činnou a tvůrčí jednotkou.

Bullshit.

604

Odkladiště / Re:Výběr židle nebo křesla k počítači

« kdy: 29. 06. 2018, 15:50:19 »

Zidli je potreba vybirat zadkem...

Osobne rad Therapie, ale urcite to neni pro kazdeho. A pripadne konkretni varianty je potreba vybrat zkousenim, zkousenim a zkousenim.

605

Vývoj / Re:Typový system versus unittesty

« kdy: 26. 06. 2018, 12:35:20 »

Chápu správně, že tvá definice "100% pokrytí" == "kód pracuje správně"?

Je snad jiná definice 100% pokrytí testy? Pokud se test tváří, že pokrývá nějakou vlastnost, ale ve skutečnosti nedělá nic, tak do této statistiky nemůže být zahrnut.

Pokud definuješ 100% pokrytí testy jako "kód pracuje správně", tak pak tvoje rada zní "pište programy správně"...

Zajímavá implikace. Na to jsi přišel matematickými postupy?

Pokud testy prochází a program přitom nepracuje správně, nemohu tvrdit, že má 100% pokrytí testy.

Samozreme, ze muzes. Pokryti testy je jedna metrika, kvalita tech testu vec jina...

606

Vývoj / Re:Typový system versus unittesty

« kdy: 26. 06. 2018, 09:04:16 »

Pokud jsi našel chybu v kódu, tak zcela jistě neměl 100% pokrytí testy.

ale no tak... test může být prostě blbě - buď je chyba v něčem, co nekontroluje (např. testuje, že delete smaže prvek, ale nezkontroluje, že nesmaže víc než je požadováno) - 100% pokrytí splněno. Nebo máš testy, kdy se testuje, že pro zadaný vstup to dává furt stejný výstup...až na to, že ten "stejný" výstup je od začátku blbě. Opět klidně 100% pokrytí..

To je jen formálně 100% pokrytí, které spočítají nějaké automatické vyhodnocovače. To bych mohl napsat prázdné testy, které by nic nedělaly a také tvrdit, že mám 100% pokrytí. Ostatně totéž se běžně dělá i u typů, protože se s tím nikdo nechce piplat.

Chápu správně, že tvá definice "100% pokrytí" == "kód pracuje správně"?

Je snad jiná definice 100% pokrytí testy? Pokud se test tváří, že pokrývá nějakou vlastnost, ale ve skutečnosti nedělá nic, tak do této statistiky nemůže být zahrnut.

Coz ti zadny nastroj jen tak neprozradi. Napovedet muze az mutacni testovani.

607

Hardware / Re:PC AMD

« kdy: 20. 06. 2018, 19:38:27 »

Threadripper v pohodě, ostatní Ryzeny v pohodě, minimálně po Polaris (a asi i Vega, ale nezkoušel jsem) v pohodě.

Největší omezení je dnes asi deep learning, ale to nehledáš...

Co  myslíš tím omezením pro deep learning?
Chystám se stavět pecko na DL a zvažuju komponenty.
Zatím jsem skončil u i7-8700K  a GPU 1080TI , možná počkám na 1180..

Pro DL je dnes z normálního HW bohužel použitelná jen nVidia ;-(

608

Studium a uplatnění / Re:Zajímavé firemní benefity

« kdy: 20. 06. 2018, 16:11:18 »

Nic ve zlym Vaclave, ale kdyby se vsechno bohatstvi rovnomerne rozdelili tak vsichni mame hovno. To bohatstvi je pro chude treba v US ten american dream - mit dum auto spoustu prahu za ktere si koupis cokoliv a kohokoliv. Prave to bohatstvi motivuje chude lidi k tomu aby sli makat do sve spatne placene prace a jednou mozna vydelali na to o cem sni. Kdyby meli vsichni hovno tak nikoho nebavi vstavat do prace.

Jenomze ona alternativa neni jenom "rozdelit vsechno" (coz je hovadina), ale muzes s timhe nastavenim pohybovat v docela sirokem intervalu.

609

Studium a uplatnění / Re:V IT už je teď každý inženýr?

« kdy: 20. 06. 2018, 16:00:41 »

Mně spíš vadí/uráží, že nyní (nevím, odkdy a který pičus to vymyslel) absolventi ekonomky, ač netechnického, ekonomického oboru, dostávají místo titulu Mgr. titul Ing., přitom z doslechu od několika lidí, co měli možnost porovnat s technickými obory, jde o dost jinou ligu (nejmenovaný docent na technice dokonce ekonomky nazýval mateřskými školami). Inženýr pro mě znamenal drtiče z techniky, dnes je to co?

To vymysleli za socializmu davat ekonomickym smerom titul Ing. , lebo to je hospodarsko-technicky pracovnik, alebo nejaka taka kravina. Ale aj tak pozru sa na titul Ing v zahranici na papieri a budu sa skrabat na hlave. Pokial odbor nema zaroven akreditaciu na Msc. a nie je na anglofonnom diplome Msc. , je to na nic.  Ja si to Msc. nemozem dat pred meno, lebo zrovna v rocniku, v ktorom som promoval, sme stratili akreditaciu a udelovalo sa zasa rok po mne.

No, proto snad je bolonsky proces, takze je to vsechno level 7...
A pokud to nekdo resi do detailu, tak spis resi povest univerzity nez presnou kombinaci pismenek.

610

Studium a uplatnění / Re:V IT už je teď každý inženýr?

« kdy: 20. 06. 2018, 15:44:57 »

Mně spíš vadí/uráží, že nyní (nevím, odkdy a který pičus to vymyslel) absolventi ekonomky, ač netechnického, ekonomického oboru, dostávají místo titulu Mgr. titul Ing., přitom z doslechu od několika lidí, co měli možnost porovnat s technickými obory, jde o dost jinou ligu (nejmenovaný docent na technice dokonce ekonomky nazýval mateřskými školami). Inženýr pro mě znamenal drtiče z techniky, dnes je to co?

Mgr. a Ing. jsou naprosto ekvivalentni tituly, kde je vicemene otazkou tradice, co ktera skola udeluje. (Ostatne na magisterske urovni jsou i malodoktoraty.)

Ze tu tradicne preziva nejaky pocit, ze Ing. je nejaky "hodnotnejsi" titul je spis otazka toho, ze ten titul se daval i v dobe, kdy se Mgr. u nas neudeloval.

611

Vývoj / Re:Typový system versus unittesty

« kdy: 20. 06. 2018, 15:39:20 »

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“…

To není lidský faktor, to je halting problem....

To neni halting problem.

Uvedom si, ze tomu orakulu nepredhazujes libovolny program, ale program v urcenem formatu s urcenymi omezenimi (v extremnim pripade si muzes predstavit, ze povinnou soucasti programu v danem jazyce je i jeho dukaz).

Samozrejme zdaleka nejsme tam, kde by tohle bylo prakticke. Ale je potreba si uvedomit, ze se to obecnemu halting problemu podoba, ale ta uloha je (resp. muze byt) lehci.

612

Vývoj / Re:Typový system versus unittesty

« kdy: 18. 06. 2018, 14:42:49 »

Kód: [Vybrat]

(toJSON json) -> str == (fromJSON str) -> json 

by nešlo? Kompiler by musel ověřit, zda všechny varianty stromu, když se vygenerují do stringu a pak následně naparsují jsou shodné.

No, obvávám se, že to je ale obecně vzato nerozhodnutelný problém... (i.e. halting problem). tímpádem to řešit typy  nejde. Těch "všech variant stromu" může být nekonečno, takže to nejde ani po jednom projít.

S timhle opatrne...
Halting problem je, kdyz ti nekdo (nepritel...) prinese program a ty mas rozhodovat o nem. Ty jsi v situaci, kdy sam pises program a typovy system ti na nej klade nejake omezeni. Takze ten zkoumany program neni libovolny, ale vznikly nejakym zpusobem (trebas tak, ze spolu s nim vznika "dukaz" jeho korektnosti).

Já to tak myslel - ty typeclassy jsou interface, nepřítel přinese program a kompilere rozhodni, zda to platí. No a protože možných vstupů je nekonečno, tak to nejde projít, tak by připadalo v úvahu nějaké rozhodnutí na jiné úrovni - ale to je halting problém. Takže s takto definovanými typy (FromJSON, ToJSON) nejde typově ošetřit, že ty instance jsou navzájem kompatibilní. (s jinak definovanými instancemi by to samozřejmě jít mohlo)

Ale u typoveho systemu nutis nepritele, aby prinesl program s dalsimi (strojove overitelnymi) castmi...

613

Vývoj / Re:Typový system versus unittesty

« kdy: 18. 06. 2018, 14:33:46 »

Kód: [Vybrat]

(toJSON json) -> str == (fromJSON str) -> json 

by nešlo? Kompiler by musel ověřit, zda všechny varianty stromu, když se vygenerují do stringu a pak následně naparsují jsou shodné.

No, obvávám se, že to je ale obecně vzato nerozhodnutelný problém... (i.e. halting problem). tímpádem to řešit typy  nejde. Těch "všech variant stromu" může být nekonečno, takže to nejde ani po jednom projít.

S timhle opatrne...
Halting problem je, kdyz ti nekdo (nepritel...) prinese program a ty mas rozhodovat o nem. Ty jsi v situaci, kdy sam pises program a typovy system ti na nej klade nejake omezeni. Takze ten zkoumany program neni libovolny, ale vznikly nejakym zpusobem (trebas tak, ze spolu s nim vznika "dukaz" jeho korektnosti).

614

Vývoj / Re:Typový system versus unittesty

« kdy: 18. 06. 2018, 14:22:03 »

Bavíme se (doufám) o tvrzení, že typy plně nahradí unittesty. Nic víc neřeším.

Bavíme se o vašem tvrzení, že by unittesty byly plně nahrazeny typy.

Ukaž mi unittest s témže.

To opravdu takovou trivialitu neodkážete napsat sám? Tu chybu odhalí už takhle primitivní test, který nezkoumá žádné mezní stavy, ale prostě jen otestuje jeden jednoduchý nezajímavý případ.

Kód: [Vybrat]

int add(int x, int y) {
  return x - y
}

int sub(int x, int y) {
  return x - y
}

assert add(3, 2) == 5
assert sub(3, 2) == 1

To není to co tvrdíš.

Sorry, tvé příspěvky nejsou vůbec inspirativní. Nebudu se tedy tebou již zabejvat.

Chces inspiraci nebo jednoduchou a celkem rozumnou odpoved?

615

Vývoj / Re:Typový system versus unittesty

« kdy: 18. 06. 2018, 13:21:49 »

Zatímco funkcionální jazyky se opírají zejména o typy a dokazování správnosti

Napriklad lisp nebo lambda calculus, co?

• Myslíte si, že ve funkcionálním jazyce, ve kterém máte kvalitní typový systém, jsou potřebné jednotkové testy?
• Myslíte si, že v objektovém jazyce, ve kterém máte jednotkové testy, je potřebný typový systém?

Ano a ano. Protoze jedno umi snadno resit problemy, ktere to druhe nezvladne nebo zvladne bolestive.