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.
DO HAJE! Na tech novych I7 procesorech je RAMka soucast zakaldni deska a nemuze byt zvetsena... A dell nema latitude 32gb ram.Koukám všechno má svoje mouchy. Jinak u RAM pozor, u 64 GB tyto procesory podporují jen DDR4-3200.
Ale Dell uz tyto procesory 1165G7 atd ma u XPS i u Latitude. SOucasti by mela byt i nova GPU Intel Iris XE, ktera uz ma vetsi perfromance nez dedikovana MX250 nebo Ati Radeon.XPS má dost dobré recenze. Sám mám 1165G7 a rozhodně velká spokojenost (vzhledem k té předchozí intelí bídě). Iris Xe je po letech hodně slušná integrovaná grafika Intelu (blíží se výkonem GPU v applím M1). Když to shrnu, tento procesor můžu s klidným svědomím doporučit. Předtím jsem měl starší Intel na 10 nm a byla to hrůza (přímotop, větrák hučel jak vysavač i v klidu).
Muzes to potvrdit? Vzal bych v tom pripade asi Dell s temi novuymi I7 11. generace.
Tak v tom případě asi spíš AMDU notebooku jednoznačně U (jde předpokládám o 11. generaci), má výkonu na rozdávání (včetně iGPU) a je to poměrně úsporné. V žádném případě nebrat předchozí generaci (oboje je na základě vlastní zkušenosti).Thinkpady T a P jeste nejsou v teto generacidostupne. jenom L a E.
největší brzda společnosti je management, který se často fláká a dohaduje o blbostech.Toto bývá dle mých zkušeností největší problém, pokud je v pohodě vedení, nebývá důvod si moc stěžovat. Když je šéf (na jakékoliv úrovni) blb, může to být peklo.
Exploder je nějaká třída, třeba s funkcemi explode a defuse. Ve svém příkladu akorát dosaď za Maybe nějakou třídu (a Just bych přejmenoval na nějaký unikátní konstruktor hodnot), pak to bude přesně ono.Co značí to Exploder?Haskell má několik rozšíření, přičemž v každém znamená forall něco trochu jiného. IMHO nejpraktičtější je jeho použití v existenčních typech, například:forall patří do skupiny kvantifikačních typů. Takové to každý, žádný. Potuď mi teorie ok. Ale zatím mi nedochází, k čemu v praxi to může být dobré? Myslím tím nějaký vulgární praktický příklad.Každopádně můj fokus je momentálně na tomto: https://amulet.works/To vypadá celkem zajímavě.Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.Příklad čeho? Určitě není problém, jen to pls upřesni.
Příklad s monádama: Monáda Maybe je dobrá k tomu, když chceš vrátit hodnotu nebo chybu. Užitek: Maybe je generická. Tudíž nemusíš řešit NullObject pro každý svůj vlastní typ. Díky tomu, že je to generické, můžeš udělat takovou tu věc (neznám názvosloví), kdy řadíš Maybe za sebou a nemusíš řešit rozbalení, zabalení. Máš to otypováné, tudíž se ti nemůže stát, že ti uteče nějaká větev programu, protože ty nemůžeš hned pracovat s tou hodnotou, ale musíš ji nejdřív vybalit... A podle signatury hned poznám, zda mi to vrací číslo, či číslo nebo chybu. A tak.
Jiný příklad s třídama. Třídy nedefinují typ, ale povinnost mít správnou funkci, funkce. A tím mi to rozvazuje ruce, že já nemusím řešit co je to za objekt, jeho strukturu, nedejbože jméno, ale má implementované ty funkce? To mi stačí, stejně víc nepotřebuju.
A prostě by se mi líbil nějaký příkládek pro forall. Abych věděl, že "jo ahaá, takže já si tenhle kousek kódu můžu zjednodušit na..."Kód: [Vybrat]Tímto způsobem se dá zbavit explicitního typového parametru, takže pak můžu mít seznam typu [Explosive], třeba [Expl Landmine, Expl Torpedo, Expl Turkey].data Explosive = forall x. Exploder x => Expl x
Takže analogicky:Kód: [Vybrat]?data Err = forall x. Maybe x => Just x
apply :: [Err] -> String
apply xs = ...
apply [Just "text", Just 42, Just True]
Přidám otázku: Dokážeš popsat tu ideu existenčních typů?
Haskell má několik rozšíření, přičemž v každém znamená forall něco trochu jiného. IMHO nejpraktičtější je jeho použití v existenčních typech, například:forall patří do skupiny kvantifikačních typů. Takové to každý, žádný. Potuď mi teorie ok. Ale zatím mi nedochází, k čemu v praxi to může být dobré? Myslím tím nějaký vulgární praktický příklad.Každopádně můj fokus je momentálně na tomto: https://amulet.works/To vypadá celkem zajímavě.Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.Příklad čeho? Určitě není problém, jen to pls upřesni.
Příklad s monádama: Monáda Maybe je dobrá k tomu, když chceš vrátit hodnotu nebo chybu. Užitek: Maybe je generická. Tudíž nemusíš řešit NullObject pro každý svůj vlastní typ. Díky tomu, že je to generické, můžeš udělat takovou tu věc (neznám názvosloví), kdy řadíš Maybe za sebou a nemusíš řešit rozbalení, zabalení. Máš to otypováné, tudíž se ti nemůže stát, že ti uteče nějaká větev programu, protože ty nemůžeš hned pracovat s tou hodnotou, ale musíš ji nejdřív vybalit... A podle signatury hned poznám, zda mi to vrací číslo, či číslo nebo chybu. A tak.
Jiný příklad s třídama. Třídy nedefinují typ, ale povinnost mít správnou funkci, funkce. A tím mi to rozvazuje ruce, že já nemusím řešit co je to za objekt, jeho strukturu, nedejbože jméno, ale má implementované ty funkce? To mi stačí, stejně víc nepotřebuju.
A prostě by se mi líbil nějaký příkládek pro forall. Abych věděl, že "jo ahaá, takže já si tenhle kousek kódu můžu zjednodušit na..."
data Explosive = forall x. Exploder x => Expl xKaždopádně můj fokus je momentálně na tomto: https://amulet.works/To vypadá celkem zajímavě.
Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.Příklad čeho? Určitě není problém, jen to pls upřesni.
Tak uvidíme, zda se někdo najde. Tyhle karty nikdy nebyly moc rozšířené ani v civilizovaném světě, natož v ČR.bla...bla...bla
Plácáš "na první pohled chytré věci" a přitom ti unikají naprosté základy a hlavně vůůůůbec netušíš, jak tyhle karty fungují.
Taky netušíš, jak nepříjemné je přepsat projekt z jednoho HW na druhý.zrovna u Phi a současných CPU je ten průnik relativně malý, takže adaptace kódu může být značně složitá až téměř nemožná.Přesně tak. Třeba, pokud to někdo napsal ve Fortránu (to není sprosté slovo) v kombinaci s OpenMP a kartu použil jako koprocesor a kód pro Xeony Phi velmi pečlivě profiloval a upravoval.
Ad cena karty: Pro někoho nula, pro vlastníka hotové aplikace může mít cenu zlata.
Kdo ti brání?Ano. Ta kniha o "dependent types" byla na Leanpubu za nějaké drobné, ale teď se dá legálně stáhnout. Je dost stručná, ale základní věci tam vysvětluje celkem pěkně.Tenhle https://bor0.wordpress.com/ ?To známBTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomnělZatím u ledu. V knihovně to neměli a pak jsem byl převálcován prioritami :-)
https://github.com/bor0/gidti
Jsi pěknej prevít ti povím. Pochop. Nemám čas, jasný? Musím taky někdy spát.
Ano. Ta kniha o "dependent types" byla na Leanpubu za nějaké drobné, ale teď se dá legálně stáhnout. Je dost stručná, ale základní věci tam vysvětluje celkem pěkně.Tenhle https://bor0.wordpress.com/ ?To známBTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomnělZatím u ledu. V knihovně to neměli a pak jsem byl převálcován prioritami :-)
To známBTW co ta intuicionistická logika, nějaký pokrok? Jsem si teď vzpomnělZatím u ledu. V knihovně to neměli a pak jsem byl převálcován prioritami :-)
BTW ta kniha od Sitnikovského je zdá se ke stažení zdarma (zahlédl jsem ji někde na Research gate), kdyby tě to zajímalo.
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.