Příspěvky

121

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 21:59:08 »

Typický vztah ale je, že predikát vyjadřuje, zdali něco (ne)má/(ne)splňuje nějakou vlastnost. Nepředpokládám, že bys to nevěděl.

To nemuzu vedet, dokud nedefinujes, co je to vlastnost.

Odkdy je množina funkce?

Odkdy je možné střílet káňata a mít přitom v Berouně maštal?

aneb:

Vsechno by bylo o mnoho jednodussi, kdybys citoval konkretni moji vetu a napsal, co je v ni spatne, proc a jak by to bylo spravne.

Ne, všechno by bylo jednodušší, kdyby sis pamatoval, co píšeš, a přestal trollit.

122

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 21:42:09 »

Ne, myslím to, že predikát je většinou brán jako funkce, která vrací True/False.

To je jiste jedna z moznych definic. Muzeme s ni dal pracovat, nejsem nejak zasadne proti. A jeste bysme teda potrebovali definici pojmu "vlastnost", abys mi mohl ukazat, kde jsem se zmylil.

Jakože ty něco použiješ špatně, ale já ti to mám definovat?

Typický vztah ale je, že predikát vyjadřuje, zdali něco (ne)má/(ne)splňuje nějakou vlastnost. Nepředpokládám, že bys to nevěděl.

Plus jeste jsi rikal ze mi nekde neco typove nesedi, to bys byl taky moc hodny, kdybys to opravil.

Odkdy je množina funkce?

123

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 20:48:01 »

Pak muzu rikat... dokud do haskelu nepridam side efekty tak zustane ciste funkcionalni.

To záleží, jak je přidám. Takové IO je technicky vzato side efekt, ale nedělá to z Haskellu "špinavě" funkcionální jazyk. Nebo jak to myslíš?

Ale fuj. Haskel si prece s IO nebude spinit funkce... To za nej vyresi runtime. Haskell mu jen taktne naznaci jak by to tak asi mohlo vypadat kdyby nahodou mel zajem delat nejaky IO... Ale nema, protoze to je prece fuj.

Bereme-li to tak, tak ok.

124

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 20:46:08 »

Zkus aspoň tu wikipedii

Myslíš třeba tohle?

predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.

Ne, myslím to, že predikát je většinou brán jako funkce, která vrací True/False.

aby sis všiml, že jsi napsal kravinu. [...] že mu to ani typově nesedí

I pro tebe platí to, co jsem psal gillovi: budu vděčnej každýmu, když v něčem, co jsem napsal, najde faktickou chybu a faktograficky ji opraví, s odkazem na relevantní zdroj. Upřímně ti za to předem děkuju, pakliže by ses rozhodl to udělat.

Jo, to tu občas psáváš, ale pak místo uvědomění si chyby začneš plodit nějaké relativistické argumenty stylu predikát == vlastnost a tudíž je ok říct vlastnost je množina vlastností == predikát je množina predikátů. Člověk pak neví, jak vážně to má brát...

125

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 20:34:18 »

Pak muzu rikat... dokud do haskelu nepridam side efekty tak zustane ciste funkcionalni.

To záleží, jak je přidám. Takové IO je technicky vzato side efekt, ale nedělá to z Haskellu "špinavě" funkcionální jazyk. Nebo jak to myslíš?

126

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 19:52:38 »

Ok. Definice pojmu "predikát" a pojmu "vlastnost" jsou teda podle tebe jaké?

Zkus aspoň tu wikipedii. Btw ani je nepotřebuješ k tomu, aby sis všiml, že jsi napsal kravinu.

Nejdřív mu objasni rozdíl mezi syntaxí a sémantikou formálních jazyků, potažmo mezi dokazatelností a splnitelností (v teorii modelů), až to pochopí (včetně korektnosti a úplnosti), bude moct s tebou diskutovat Časem se třeba dopracuje až k modální logice, její emulaci v LPŘ a třeba i vyšším řádům a rozdílu mezi obecnou a standardní sémantikou. Druhá možnost je, že se na něj vys…š

To není nutné, většinu jsme brali ve škole.

Víš, kdybys byl tak chytrý, jak se tváříš, tak by sis třeba všiml, že mu to ani typově nesedí. Ale chápu, že navážet se do ostatních je lehčí.

(...) Cikada rad argumentuje tim konstatuje, ze definici vyznamu význam slov u nás urcuji jazykove prirucky řeší normativní slovník, (...)

Tolik chyb, až si člověk říká, jestli je to čtení fakt takový problém..

127

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 16:00:46 »

Co je to vlastnost? Já mám za to, že predikát. Souhlas?

Ne, to teda není.

Proč si to myslíš?

Já si nic myslet nemusím, máme definice. Třeba ti to Idris vysvětlí.

Edit - Tak ne, nevysvětlí.

128

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 15:31:02 »

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

Dobrá připomínka, pojďme si ji teda rozebrat.

Zaprvé jsem nenapsal množina [čehokoli], ale  "množina vlastností".

To je irelevantní.

Co je to vlastnost? Já mám za to, že predikát. Souhlas?

Ne, to teda není.

129

/dev/null / Re:Těžké OOP problémy

« kdy: 10. 11. 2019, 10:14:14 »

(...) ale podle mě dost těch výtek v JS neplatí.

When calling a function, you need to use the call that corresponds to its color. If you get it wrong—call a red function with •blue after the parentheses or vice versa—it does something bad.

to není pravda. Oba způsoby volání "červených funkcí" se používají, jak jsem ukázal výše.

to není pravda. Oba způsoby volání "červených funkcí" se používají, jak jsem ukázal výše.

To je definice. Definice nemuze byt nepravdiva.

 

potom javascriptové async funkce nesplňují definici červených funkcí z toho článku.

(...) Pokud bys chtěl, aby ji splňovaly i funkce z JS, (...).

Nechcete se víc vnímat?

130

/dev/null / Re:Těžké OOP problémy

« kdy: 09. 11. 2019, 18:57:19 »

Chápu. Když bych tě požádal, aby si se další diskuse už neúčastnil, to by nešlo, že?

dokud budete šířit bludy, budu se vyjadřovat. Požádej admina, jestli ti tu tolik vadím.

Mě nevadí, že se vyjadřuješ. Jen mi vadí, že se neovládáš, to je celé. Ale co, jen jsem se zeptal. Pokračujme v tématu.

Není jediný takový tady, nebuďme selektivní.

131

/dev/null / Re:Auta na baterky - má to budoucnost?

« kdy: 18. 10. 2019, 23:15:57 »

Do toho eko lobby, nastrcene dievcatko Greta, ...

https://e.dennikn.sk/1616577/preco-muzi-v-strednom-veku-neznasaju-gretu-thunbergovu/
Môj osobný názor je, že je to len viditeľný hlas vedcov. A ak mi napíšete, že nie všetkých, tak ja vám, že väčšiny.

A nějaká data, která by tu většinu doložila? Ne, že by teda většina byla zárukou správnosti.

Jinak to "viditelný hlas" mi připomnělo

Taky při parkování vypínáte rádio, abyste lépe viděli?

.

132

Hardware / Re:Radeon RX 580 - fancontrol

« kdy: 15. 10. 2019, 22:51:19 »

A proč ne zvýšit MAXTEMP?

To je dobrý nápad, ale byla na 70, 80, teď je na 85.  Přičemž teploty se drží stabilně maximálně pod 70 (RPM jsou přes 3000 a max je někde kolem 3200 - dle sensors).

133

Hardware / Re:Radeon RX 580 - fancontrol

« kdy: 15. 10. 2019, 16:16:29 »

Pomocou corectrl je mozne nastavit si vlastny profil, pripadne vypinat ventilator do urcitej teploty podobne ako je to vo windows. Tam tieto karty spustaju ventilator az od 50-55 stupnov (zalezi od vyrobcu) a pri beznych cinnostiach su tiche. Na druhej strane, podla vsetkeho maju cipy polaris 20 od konca minuleho roku zvysenu spotrebu v idle (v amdgpu), cize tak efektivne to v linuxe nebude...

Sestavit to na Ubuntu 18.04 je strašné peklo, ale díky.

Zdroj?

Asi týden zkoumání a instalací různých upravených ovladačů se kterými to výkonově bylo na výkonu cpu...
Přidání podpory bylo údajně v plánu (info tenkrát z webu amd), takže je možné, že se to změnilo - vís o něčem?
Pak už jsem to nehledal, na woknech to fungovalo, což bylo pro občasné výpočty dostačující.

Mě fungovalo zatím vždy toto:

https://linuxconfig.org/install-opencl-for-the-amdgpu-open-source-drivers-on-debian-and-ubuntu

Pozoruješ nějaké rozdíly oproti ne PRO ovladačům?

Dříve jsem to tu řešil a zbyla jediná možnost - přizpůsobit se tomu kraválu...
Mám rx580, na windows se ventilátory úplně zastaví a spouští jen ve vysoké zátěži, na linuxu se trvale točí a otáčky krutě stoupají už při přehrávání videa  
Karta prostě topí o moc víc, než na woknech. Vzhledem k nepodpoře opencl (na linuxu) to zpětně hodnotím jako výbornou herní grafiku pro windows, ale velmi špatnou volbu pro pracovní linux distro.
Existuje několik možností, jak to trochu zkrotit (ve stylu např. https://gist.github.com/ihaque/1404373 ), ale v podstatě jsou to marné pokusy, protože to prostě bude vařit.
Nechal jsem msi ji jen kvůli těm hrám na Windows - tam je výkon (sapphire OC) za tu cenu naprosto excelentní.

Mně to dělá až vyloženě při hraní her (třeba při Total War), ale vadí mi to spíš z principu. Grafika jede na plné otáčky při ~60 stupních, k čemuž není důvod. Bohužel u fancontrol to moc nelze přizpůsobit (leda uměle snížit MAXPWM, ale nevím, jestli se mi do toho chce...) a zmiňované corectrl je blbě zprovoznitelné.

134

O serveru Root.cz / Re:Pravidla diskuze

« kdy: 14. 10. 2019, 23:23:24 »

@Idris

To je omluva nebo výmluva?

Mě jsou pozdržovány a mazány příspěvky které takovým výlevům nejsou ani zdaleka podobné.
Proč by mě mělo zajímat že pan Surý neví co říká a ještě tím naprosto flagrantně porušuje pravidla diskuze kterými mě tu zkouší fackovat kdejaký mudrc za špetku sarkasmu?

Chtělo by to víc sebereflexe. Píšeš sprosťárny a irelevantní hovadiny, tak se nediv. Že sem tam někomu projde něco na hraně neznamená, že tak může psát kdejaký vůl furt dokola 

Jistě máš pro svá opět silná tvrzení důkaz, viď?

135

Hardware / Radeon RX 580 - fancontrol

« kdy: 13. 10. 2019, 09:31:41 »

Ahoj,

mám teď ve skříni čerstvě Radeon RX 580 na Ubuntu 18.04.

Když spustím nějakou graficky náročnější aplikaci, tak se otáčky větráčků u grafiky zvýší tak, jak by člověk čekal. Problém je, že když onu aplikaci ukončím, tak větráčky jedou stále na max (i v situaci, kdy teploty jsou mezi 30 - 40 stupni).

Setkali jste se s tím někdo, respektive jak to řešíte?

Vím, že je možné použít fancontrol, ale tam mi nevyhovuje ta křivka otáček (jinak ale funguje). On nebude problém si na to napsat nějaké vlastní řešení, je to vcelku přímočaré, ale nerad bych znovu vynalézal kolo. Díky.