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.
Jednoduché pravidlo u Intelu je, že procesory značené U jsou úsporné, H nebo starší HQ jsou naopak optimalizované pro výkon. U TP se dívejte po řadách, protože Lenovo začalo dávat označené Thinkpad na ledacos. U Dellu obdobně. Je velký rozdíl mezi řadami 3xxx, 5xxx a 7xxx. Chcete Dell Latitude 7xxx nebo Lenovo X, T, P. Kdyžtak můžete být konkrétnější a přiblížit plénu kandidáty.
Tak z ML světa bych vzal Rust, díky jeho praktičnosti a k tématu - hodí se na embedded.Jestli si chceš trochu pohrát s prapůvodní teorií typů, tady je zdá se implementace: https://simpl-eval.netlify.app
Příslušný článek je nějakým nedopatřením taky volně ke stažení: https://www.semanticscholar.org/paper/A-Formulation-of-the-Simple-Theory-of-Types-Church/28bf123690205ae5bbd9f8c84b1330025e8476e4
Tohle není přímo intuicionistická logika, ale "simple type theory, also known as higher-order logic".
Díky za zdroje. Ještě jsem ani nezpracoval ta původní.
Každopádně můj fokus je momentálně na tomto: https://amulet.works/
Slibuje to hodně. A já si od toho slibuju, kromě praktického užití (mám projekt v lue, lua mi vyhovuje svou minimaličností a rychlostí, nevyhovuje mi tím, že nemá typy), taky to, že si v praxi ošahám, k čemu jsou konkrétní koncepty. Například tomu forall jsem ještě furt nepřišel nachuť (ne že bych se tak moc snažil).
Když by si se nudil a napadl tě nějaký pěkný demonstrativní příkládek, zlobit se nebudu.
O důvěryhodnosti exe se dá polemizovat. Zrovna teď průser s bitcoin offline peněženkama (tzv. paper wallet), kde byl backdoor, protože původní majitel stránky prodal a nová firma si tak přišla na miliony dolarů. Pořád to teda byla blbost těch lidí, že si na takové sumy nekoupili třeba trezor nebo jinou hardware wallet (ten trezor má mimochodem taky správce hesel).
Nepřeháníte to trochu?Případně si stáhnout zdrojákyTakze kdyz 100 lidi udela ze zdrojovych souboru, ke kterym tam je vlsatne taky hash ten exe tak vyjde pokazde stejny hash ? potom bych tomu veril.
https://sourceforge.net/projects/keepass/files/KeePass%202.x/
vyházet všechny věci zavánějící síťovinou a zkompilovat si vlastní binárku.
S trochou štěstí ten binár bude i fungovat.
Nevidím problém si to i na Linuxu přemapovat na cokoliv.MacOS má v terminálu cmd-c, cmd-v - stejně jako jinde; zatímco Linux má v terminálu ctrl-shift-c, ctr-shift-v, drobnost, ale stejně) - je tak malá, že to nestojí za námahu.Drobnost, ale pri kazdodenni praci v terminalu je to fakt UX win. A cely je to jen o tom, ze na to neni ctrl takze to nekoliduje s ukoncenim procesu... chytre, logicke, uzivatelsky privetive.
Mám necelých 14 dní MacBook Pro M1 a s největší pravděpodobností ho budu vracet. Ano, zařízení to je pěkné, ALE... Kupodivu zásadní problém není ARM procesor. Hlavní problém je nepřítomsot spousty aplikací a pokud jsou, tak mají omezené možnosti použití oproti Win verzím. Mac byl náhrada za ThinkPad Yogu, ale s tou jsem byl ve finále rozhodně spokojenější. Jen přemýšlím, co bych měl vzít místo MB Pro v max. stejné cenové relaci a s podobným tělem. Tedy max 14" display, co nejmenší/nejlehčí, bohatě mi stačí 2x USB-C konektor, úplně nejlepší by byla konvertibilní konstrukce. Z nabídky DELL/Lenovo mě nějak nic moc neoslovilo
Je ale spousta věcí, včetně plné podpory monád, které tak doopravdy implementovat nejdou. Je to velká škoda a je zajímavé, že i Swift se rozhodl se takto omezit. Rád bych věděl, co návrhářům moderních jazyků na typech vyšších druhů tolik vadí?U Swiftu je k tomu diskuse na fóru vývojářů. Tvrdí, že většina lidí by to nepoužívala, protože to nechápe.
JavaScript, GoLang, Python... na túto trojicu by som sa pozrel,... prípadne ešte ERLang.
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2025 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.
