121
Studium a uplatnění / Re:VŠ Blava
« kdy: 21. 06. 2017, 09:52:01 »"Vďaka" tomu je napr. Bratislava jediné európske hlavné mesto bez metra. (európske = EU)Dublin taky nemá metro.
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.
122
Server / Re:Konzistencia dat - databaza
« kdy: 19. 06. 2017, 00:44:41 »Dve paralelné transakcie vykonávané sériovo, to vymyslel ktorý huncút?A pak proč chodí Slováci studovat do Čech (nebo na Moravu (nebo do Slezska))
123
Vývoj / Re:Chci se živit programováním - jak začít?
« kdy: 19. 06. 2017, 00:42:19 »[...] programuji více než 10 let a pořád se učím, učím a učímSprávně to soudruh Lenin říkával...
124
Vývoj / Re:C++ literatura + projekt
« kdy: 18. 06. 2017, 15:16:19 »Zdravím,Cokoliv novějšího od Suttera a Meyerse (včetně blogů).
chtěl bych vás požádat o radu ohledně C++. Zajímalo by mě jakou literaturu doporučujete k prohloubení znalostí jednak C++ i celkově OOP a jestli byl bych i rád za nějaký tip na projekt, který bych si mohl naprogramovat v tomto jazyce.
Pro doplnění informací o mně jsem student informatiky, bohužel na fakultě se projekty prochází stylem funguje/nefunguje, takže člověk nemá žádnou zpětnou vazbu a těžce se poté učí z chyb ( můj pocit je, že nevyužívám potenciál jazyku snad ani z 10% a chtěl bych to změnit) a co se týká zaměstnání, tam bohužel se zatím dostanu spíše k internímu programovacímu jazyku a C++ mám pouze na analýzu.
Děkuji za veškeré rady a tipy.
125
Hardware / Re:Apple zahrivani, slaby vykon
« kdy: 16. 06. 2017, 14:50:01 »Když se použije dementně udělaný SW, tak to překvapující není.
Take vas prekvapilo, ze dvoujadrovy procesor muze byt rychlejsi nez ctyrjadro v podani Apple?
126
Vývoj / Re:Chatboti
« kdy: 15. 06. 2017, 16:55:40 »FO logika je dobra tak pro databazovani, proste nic neres vytahni starou dobrou Elizu v prologu a vytunuj jeji slovniky na cestinu. Tot vse.@Eliza: Někdo zamrzl v 60. letech 20. století.
@FOL: FOL je tak silná, že dokáže bez kompromisů pokrýt syntax, sémantiku i pragmatiku, zásadní volbou je výběr vhodného dokazovacího systému.
127
Vývoj / Re:Kontextový „bezkontextový“ jazyk
« kdy: 15. 06. 2017, 16:53:15 »P.S. Pro zajímavost, jakákoliv gramatika s omezujícími podmínkami jde převést na ekvivalentní gramatiku jen s jedním pravidlemTo asi není kontextový ne? Mohl bys pls naznačit jak by vypadal zásobníkový automat, který jej příjme?Pokud tomu rozumím správně, zboj myslel bezkontextový jazyk a^k,b^l,v^m, k>0, l>0, m>0 plus podmínka k=l=m, která z něj udělá kontextový.
128
Vývoj / Re:Částicový filtr na Raspberry Pi v Javě
« kdy: 15. 06. 2017, 16:51:53 »to jako filtruješ softwarově prach nebo co? A co jsou ty pózy?Co takhle se dovzdělat?
129
Odkladiště / Re:Spočetné modely ZFC
« kdy: 13. 06. 2017, 01:13:02 »Především to chce říct, že nevíme, jestli takové modely existují, protože nevíme, zda je ZF konzistentní.Ahoj, vysvětlil by mi někdo, jak je možné, že existují spočetné modely ZFC, když už jen mohutnost P(ω) je větší?Jednoduchou upravou sa dostanes k Skolemovmu paradoxu a ten je vysvetleny na wiki:
https://en.wikipedia.org/w/index.php?title=Skolem's_paradox
130
Odkladiště / Re:Automatické dokazování
« kdy: 12. 06. 2017, 14:26:30 »P.S. Stručný článek o tomto problému má v češtině Peregrin včetně letmé ukázky oné reifikace.P.P.S. Jinak je k tomu "výživné" čtení na Stanford Encyclopedia of Philosophy
131
Odkladiště / Re:Apple WWDC 2017
« kdy: 12. 06. 2017, 13:28:30 »Doufal jsem, že ve standradní konfiguraci budou mít MacBooky 16 GB RAM. No a ono nicZrovna na MacBooku (12") 8GB bohatě stačí.
132
Studium a uplatnění / Re:Prace pro zahranicniho zamestnavatele - dane
« kdy: 11. 06. 2017, 00:48:45 »Na zaciatok: isto neber moje odporucanie ako plne kvalifikovaneTen trik s Irskem už dávno nejde, vláda už zrušila možnost registrovat nerezidentní společnosti. Jen ještě platí přechodné období pro ty, co existují z dřívějška. Teď je hitem (aspoň v UK) registrovat Ltd na ostrově Man, mají tam daň 0%, ale je to opruz. Já mám rezidenční Ltd v Irsku s daní 6,25%, což se dá přežít.
IMHO: treba rozlisovat odvody (zdravotne/socialne/...) a dane. Asi budes plateny v GBP, t.j. asi budes stale sucastou britskeho socialneho a zdravotneho systemu (mozes byt poisteny iba v jednej krajine). Na zdravotne si vybavis nejaky formular a potom britska NHS by ti mala zaplatit adekvatnu zdravotnu starostlivost aj ked budes alokovany v cechach. Dane platis podla tax rezidence (zjednodusene povedane tam kde si viac ako pol roka). Tvoj britsky zamestnavatel, ti asi bude danit tvoj prijem, avsak v tvojom rocnom britskom zuctovani (self assessment) mozes tvrdit, ze si cesky tax rezident a budes si ich narokovat spat, pricom tento prijem zdanis vo svojom ceskom rocnom zuctovani a v britskom ho iba priznas a "povies", ze si to zdanil v CR (to je to zamedzenie dvojitého zdanenia). Problemom je ze niektory uctovnik ti moze povedat, ze to musis zdanit v krajine kde si to zarobil. T.j. je mozne ze napriek ceskej tax rezidence to bude musiet zdanit v UK. Za nejakych okolnosti napriek zamedzeniu dvojiteho zdanenia, budes mozno musiet doplatit rozdiel dani ak medzi dotycnymi krajinami su rozdielne sadzby.
Takze chod a pytaj sa svojho CZ/UK uctovnika/zamestnavatela: kde budes platit odvody (zdravotne/socialne), kde/odkedy budes danovy rezident, ako to zuctovat v ramci zamedzenia dvojiteho zdanenie, kde je vyhodnejsie pre teba platit dane, resp. byt danovym rezidentom, ako zminimalizovat vplyv kurzovych vykyvov (ak tvoj plat je definovany v GBP)....
UK zamestnavatelia IMHO celkom radi zamestnavaju firmy (ltd), takze pripadna legalna danova optimalizacia, by viedla cez uz spomenute zalozenie firmy. Tam uz vstupuju do hry dalsie dane - korporatne. Nikto ti vsak nebrani zalozit firmu v krajine, kde su nizke korporatne dane (pozor danove raje su riskantne, kedze zvycajne nemaju zmluvy o zamedzeni dvojiteho zdanenie) - napr. Bulharsko (10%) a potom uz iba vyberat zisk odtial vo forme dividend, ktore zdanis zase podla tvojej danovej rezidencie.
Pre zaujimavost: keby si bol megakorporat tak googli danovu optimalizaciu "Double Irish With A Dutch Sandwich".
133
Studium a uplatnění / Re:Ekvivalence kategorií
« kdy: 10. 06. 2017, 13:46:48 »Protože nejde o relaci "ekvivalence", ale relaci "ekvivalence kategorií" a ta je definována existencí isomorfismů mezi kategoriemi, ekvivalence nevzniká na základě nějakého prostého vztahu, ale na základě zachovávání skládání zobrazení.Ne, nejde o isomorfismus kategorií, to by byla skutečně symetrická relace. Jde o definici pomocí přirozené transformace z id.
134
Studium a uplatnění / Re:Spravim chybu s Mgr. na FI MUNI?
« kdy: 08. 06. 2017, 22:39:09 »urcite jo, vsetky skoly krome matfyzu su pro lopatyMatfyz je pro krumpáče
135
Vývoj / Re:Chci se živit programováním - jak začít?
« kdy: 06. 06. 2017, 12:02:05 »Taky přemýšlím, že zkusím IT. Všichni kamarádi co pracují v IBM nebo ATaT berou celkem solidní peníze. Jen já chodil na gympl a mám ekonomku vejšku. Takže co se týká IT, tak jsem úplný začátečník. Mám pochytané opravdu jen základy o ničem. No tak knihy jsem zavrhl. na YT jako něco málo je. Tak jsem to chtěl posunout jakože na seriozno, že si zajdu na školení SQL server. Akorát teda cena v řádech tisíců Kč... a těch kurzů je několik. Myslíte si, že to člověku pomůže?Asi by to chtělo začít něčím základním, nabízí se obecné programování (třeba v C# nebo Javě). Pak třeba ty databáze (ne nutně SQL Server, spíše modelování relací a SQL obecně). Jakmile má člověk potřebný základ, k úspěchu vede jen jedna cesta: psát kód.
