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.


Příspěvky - Ondra Satai Nekola

Stran: 1 ... 92 93 [94] 95 96 ... 177
1396
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 30. 11. 2016, 16:28:22 »
No zrovna v tomto kontextu jsem mohl napsat levice. Beru zpět.

A tu muzes taky...

(nasleduje no true scottsman, vsadil bych se)

Levice je neutrální, neosobní. To bych už nechal.


A v danem pripade nepravdiva. Ono se to ted sice plete, ale definici pravice neni masibl ignorujici realitu.

1397
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 30. 11. 2016, 16:21:47 »
No zrovna v tomto kontextu jsem mohl napsat levice. Beru zpět.

A tu muzes taky...

(nasleduje no true scottsman, vsadil bych se)

1398
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 30. 11. 2016, 16:10:13 »
@ Nekola

Samozřejmě optimální vzhledem k přežití druhu.

Tak se podivej z okna at vidis, co je to za hovadinu.

Nebo se obtezuj a precti si druhou a dalsi kapitoly nejake ucebnice evolucky a nezustavej u prvni.

Z okna vidím hezké upravené město, ve kterém si dobře žijí samí bohatí lidé.

...takze Vesmir je optimalizovany na preziti zrovna lidi. Tenhle ultramegasilny antropicky princip zkus nekde publikovat.

Už je dávno publikován. Nyní zase přichází do módy.

Optimalizace vzhledem k přežití druhu, ale neznamená, že druh přežije, jen bude žít co nejdelší možnou dobu vzhledem k náhodným okolním podmínkám.

Vy levota ale máte zvrácené myšlení, zavrhli jste Boha a to vás nutí myslet v transcendentních kategoriích, každé řešení podle vás musí být konečné a pro věčné časy, 100% úspěšné. Dokonce u vás ve vyšším věku pozoruji, že jste zcela vytěsnili smrt, a i jako starci jste přesvědčeni, že budete žít věčně, a podle toho se i strachujete o to, zda budete mít dost zdrojů na život, který skončí někdy v nedohlednu. To musí být opravdu nesnesitelné.

"vy levota" si nech od cesty

1399
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 30. 11. 2016, 16:02:04 »
@ Nekola

Samozřejmě optimální vzhledem k přežití druhu.

Tak se podivej z okna at vidis, co je to za hovadinu.

Nebo se obtezuj a precti si druhou a dalsi kapitoly nejake ucebnice evolucky a nezustavej u prvni.

Z okna vidím hezké upravené město, ve kterém si dobře žijí samí bohatí lidé.

...takze Vesmir je optimalizovany na preziti zrovna lidi. Tenhle ultramegasilny antropicky princip zkus nekde publikovat.

1400
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 30. 11. 2016, 15:55:18 »
@ Nekola

Samozřejmě optimální vzhledem k přežití druhu.

Tak se podivej z okna at vidis, co je to za hovadinu.

Nebo se obtezuj a precti si druhou a dalsi kapitoly nejake ucebnice evolucky a nezustavej u prvni.

1401
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 30. 11. 2016, 15:42:50 »
Kolem dokola porad optimalni ale porad ve forme bllshitu, kde se ani nerekne co vuci cemu.

1402
Software / Re:TrustedGrub, TPM a autoodemykání LUKS volume
« kdy: 29. 11. 2016, 16:27:06 »
A cílem snažení je, že až ti někdo ukradne počítač, tak aby se nemusel obtěžovat s odemykáním?  ::)

Souhlasím, také v tom moc nevidím smysl  ::)
Jen tipuju: není cílem třeba to, aby zloděj sice mohl nabootovat, ovšem do systému ke kterému stejně nezíská přístup (a ani z něj nevytáhne šifrovací klíče, atd.)? To, že je systém schopný nabootovat konkrétní předem daný OS přece neznamená že je hacknutelný? Když použiju paralelu: pokud mi někdo šlohne mobil, taky mě netrápí že Android nabootuje a pak čeká na odemknutí. Hlavní je, že dotyčný nezíská přístup k datům ani kdyby ten mobil rozebral a vypájel flash čip s úložištěm dat. Nebo se pletu?

Cil je, aby se nedostal k datum. To se udela daleko snaze, kdyz ani nenabootuje.

U mobilu je to o neco slozitejsi, uz jen protoze chces nechat moznost volat nouzova cisla i bez hesla.

1403
Hardware / Re:Rada Linux + USB Bitcoin block erupter
« kdy: 29. 11. 2016, 15:04:37 »
...
Pokud vezmeme cenu 4.832 Kč/kWh, tak za 10 let si našetří ~142 Kč.
Ale zase si našetří víc, než kdyby tu částku za elektřinu strkal na spoření, kde by mu při 2,5% úroku naskákalo ~138 Kč.

Teď už se jen zamyslet, jestli těch ~4 Kč za 10 let opravdu stojí se matlat s tím miningem.

Nechci slevu zadarmo.
 :D  :D  :D

Ale zase tim zasadi globalnimu kapitalismu tezkou ranu! ;)

1404
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 29. 11. 2016, 14:23:12 »
Pravou křesťanskou morálku mají protestanti, tedy Trump, a ne katolíci. To se řešilo v dobách reformace i zbraněmi.

Zbrane jako reseni teologickych sporu. Tuhle parodii tezko Trumpnout.

1405
Hardware / Re:Náhrada za htc 7 pro
« kdy: 29. 11. 2016, 11:26:56 »
Ahoj, nevíte, jestli ještě někdo v dnešní době vyrábí komunikátory/telefony s HW klávesnící ? Momentálně mám toto :

ale bohužel debilní Mrkvosoft není schopen ani po půl roce opravit nefunkční stahování z marketplace, takže mi zůstal hloupý telefon.

Zřejmě mi doporučíte n900, ale radši bych něco novějšího. Pokud je to bez šance, nemáte jí náhodou někdo na prodej ?

Díky

BB Priv.
Hlavni nevyhoda - nedostanes roota.

Jinak nic rozumneho AFAIK neni.

1406
Obavam se, ze nekola vubec netusi, ze ten prazdny seznam vubec nemusi vzniknout diky nejakymu SW, ale klidne kvuli HW, coz jaksi programator neovlivni, ale mel by si to hlidat.

Ty vazne nechapes, o cem je rec, co?

Kdyz nekde muze vzniknout prazdny seznam, tak z nej v rozumnem typovem systemu proste ten neprazdy mavnutim magicke hulky neudelas. To hlidani ti pak nuti prostredky jazyka, neni to na tve libovuli (a pameti).

Takze kdyz mas nejake API k tomu HW, tak musi vracet seznam (a pokud to tak neni, tak je to PNJ). A ten nejsi schopen narvat to sveho kodu, co chce neprazdy seznam. Runtime bezpecnost vynucena uz v compiletime.

1407

Obavam se, ze trebas dependent types uz jsou ponekud mimo oblast, kde se j zvladne pohybovat a neublizit si ;)
netřeba hned sahat po takovém dělu, jsou jazyky s celočíselnýmy typy s vymezeným rozsahem, např Ada a IEC61131-3, "shodou okolností" jsou oba pro řízení

Jasne, ta poznamka uz se tykala seznamu (coz se samozrejme da s nejakou davkou nasili zaridit i v jazycich, ktere maji slabsi typovy system).
Na seznamy ale dependent types netpotřebuju? http://hackage.haskell.org/package/semigroups-0.16.2.2/docs/Data-List-NonEmpty.html Na red-black-tree teda ano, a tam bych si asi ublížil taky :) Ale kdybych fakt tu korektnost potřeboval...
já jsem to pochopil tak že slabších než haskell (o terém tu zřejmě mluvíme, aniž bychom ho pojmenovali), třeba ta java, on to tu někdo aji ukazoval, akorát, že ten list je sice potom zaručeně nonemty, ale furt může být null, asi

Presne tak. V Jave si muzes za cenu ruznych neprijemnosti kolem ten non-empty list zarucit, ale na to ne-null moc sanci nemas. Idiomaticke reseni je Optional, ale porad ti nikdo neslibi, ze ten optional nebude null ;)

(alternativa na JVM - kotlin. Tam tohle poresene je o neco vic.)

1408
Software / Re:SW pro odhad počtu shromážděných lidí
« kdy: 25. 11. 2016, 11:25:29 »
"Myslici clovek se domniva, ti ostatni nepochybuji."

Vsak na mne tento popis sedi, jsem presvedcen jiz delsi dobu, a take nepochybuji narozdil od tazatele. Nemyslim, vim.

“The fundamental cause of the trouble is that in the modern world the stupid are cocksure while the intelligent are full of doubt.” (Bertrand Russell)

A zaroven na mne sedi i tento popis. Kdo to prozre, nakonec uzna.

Dunning-Kruger je pozehnani pro dotycneho a peklo pro okoli :-D

1409

Obavam se, ze trebas dependent types uz jsou ponekud mimo oblast, kde se j zvladne pohybovat a neublizit si ;)
netřeba hned sahat po takovém dělu, jsou jazyky s celočíselnýmy typy s vymezeným rozsahem, např Ada a IEC61131-3, "shodou okolností" jsou oba pro řízení

Jasne, ta poznamka uz se tykala seznamu (coz se samozrejme da s nejakou davkou nasili zaridit i v jazycich, ktere maji slabsi typovy system).

1410
A co nechapes na tom ze 0xAe3F je int a do intu to vpohode das, a muze a taky nejspis bude to znamenat, ze to tvoje letadlo prave leti stremhlav k zemi?

Kdyz to zada skladnik jako pocet, je to totiz porad jeste sranda ... teda pobavim se spolecne s tim skladnikem na tema, ze programator je kreten.
Nevím, jakou to má souvislost s tím, co jsem napsal. Když funkce bere "neprázdný seznam", a prostě to nejde s prázdným seznamem zavolat, tak asi nemusím testovat, co se stane, když to zavolám s prázdným seznamem, když se to ani nepřeloží....
Psal jsem o tom, že to vede k tomu, že mnoho testů nemusíš dělat - nikoliv k tomu, že nemusíš dělat žádné.

Obavam se, ze trebas dependent types uz jsou ponekud mimo oblast, kde se j zvladne pohybovat a neublizit si ;)

Stran: 1 ... 92 93 [94] 95 96 ... 177