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 - balkovic

Stran: [1] 2 3 ... 5
1
Software / Re:Lokální AI modely pro citlivá data
« kdy: 07. 06. 2026, 20:24:15 »
Pro pobavení - jak přemýšlí lokální model qwen 2.5-coder (jinak celkem solidní, ale zjevně má trochu problém s češtinou) LLM" border="0

Je to pochopiteľná mýľka, lebo je nemecké pečivo, ktoré sa volá purzel (druh koblihy) a kotrmelec sa povie purzelbaum. Rozumiem, že je to nesprávne ale tuším, odkiaľ na to prišiel.

2
Vývoj / Re:Nový systém pro vývoj softwaru
« kdy: 03. 06. 2026, 23:59:47 »
Reakcia na pôvodný príspevok:
Deja vu, ako keby som čítal reklamu na smalltalk-80. V našom systéme s jednoduchým programovacím jazykom naprogramujete rýchlo a všetko*

*teda nie tak celkom.

3
Hardware / Re:Co by měl umět váš notebook?
« kdy: 29. 04. 2026, 18:37:08 »
Ja by som chcel raspberry pi, lenže notebook a spravené poriadne.

4
/dev/null / Re:Jste připraveni na život offline?
« kdy: 20. 04. 2026, 11:13:18 »
Nechcem rýpať, ale dokazuje sa existencia. Neexistencia je default. 
Pokračujte v tejto múdrej debate, ktorú sa mi nechce kvôli svojmu dobru čítať celú.

To samozřejmě není pravda, dokazuje se, co je možné dokázat a v matematice se běžně dokazuje neexistence řešení, která rozhodně není by default. Ale neexistenci boha dokázat nelze a přesvědčení o jeho neexistenci je víra totožná s přesvědčením o jeho existenci.

To je trochu iný druh neexistencie, než všeobecná neexistencia. To je neexistencia v rámci uzavretého formálneho systému, kde sú pravidlá také striktné, že nie je iná cesta. Nadprirodzené bytosti nebývajú súčasťou takýchto systémov a preto je dôkazné bremeno na existencii :)

Neexistence není dvojího druhu; neexistence je vždy totéž, liší se jen to, zda ji v daném systému lze, nebo nelze dokázat. V uzavřených formálních systémech, jako je matematika nebo logika, lze za přesně daných pravidel prokázat i neexistenci určitého objektu či řešení, zatímco u Boha nic takového nemáme, protože nejde o entitu definovanou uvnitř systému s pevnými axiomaty a rozhodovacími pravidly. Právě proto nelze neexistenci Boha dokázat, a z toho plyne, že kategorické přesvědčení „Bůh neexistuje“ není výsledkem důkazu, ale víry; v tomto ohledu je epistemicky na stejné úrovni jako kategorické přesvědčení „Bůh existuje“, protože obě tvrzení jdou nad rámec toho, co lze prokázat.


Právě proto, že neexistenci nejde dokázat, je default neexistence. To není žádná víra, to je prostě holý fakt. Důkazní břemeno je na oponentovi -  pokud někdo oponuje existencí, je třeba dokázat tu. Když budu tvrdit, že nežijeme v simulaci, není potřeba nic dokazovat, protože to je holý fakt, default . Pokud někdo prohlásí, že žijeme v simulaci, je na něm, aby to dokázal. V obou případech je existence nebo neexistence závisí na obecném vnímání světa.   

V souvislosti s bohem se to zatím nikdy nepodařilo na žádné regulérní vědecké úrovni. Vše je jenom na úrovni náboženství, tedy konsensus lidí kteří tomu co dokazují věřit chtějí.

Nicméně, to že něco jako existence nebo neexistence je záležitostí víry je vlastně naprosto basální prohlášení. Protože v kontextu lidského vědomí je defacto naprosto všechno jenom otázkou víry.  Celá věda, veškeré uvažování je založené na víře, že to co vnímám, konám je realita. Asi tak.

S tou vierou máme problém v slovanských jazykoch.  Anglofóni majú dve slová  "belief" - to je taká tá obyčajná empirická viera typu verím vlastným očiam, potom je "faith" ktorá je skôr idealistická a často metafyzická - napríklad verím v svetový mier.

5
/dev/null / Re:Jste připraveni na život offline?
« kdy: 20. 04. 2026, 09:07:32 »
Nechcem rýpať, ale dokazuje sa existencia. Neexistencia je default. 
Pokračujte v tejto múdrej debate, ktorú sa mi nechce kvôli svojmu dobru čítať celú.

To samozřejmě není pravda, dokazuje se, co je možné dokázat a v matematice se běžně dokazuje neexistence řešení, která rozhodně není by default. Ale neexistenci boha dokázat nelze a přesvědčení o jeho neexistenci je víra totožná s přesvědčením o jeho existenci.

To je trochu iný druh neexistencie, než všeobecná neexistencia. To je neexistencia v rámci uzavretého formálneho systému, kde sú pravidlá také striktné, že nie je iná cesta. Nadprirodzené bytosti nebývajú súčasťou takýchto systémov a preto je dôkazné bremeno na existencii :)

Neexistence není dvojího druhu; neexistence je vždy totéž, liší se jen to, zda ji v daném systému lze, nebo nelze dokázat. V uzavřených formálních systémech, jako je matematika nebo logika, lze za přesně daných pravidel prokázat i neexistenci určitého objektu či řešení, zatímco u Boha nic takového nemáme, protože nejde o entitu definovanou uvnitř systému s pevnými axiomaty a rozhodovacími pravidly. Právě proto nelze neexistenci Boha dokázat, a z toho plyne, že kategorické přesvědčení „Bůh neexistuje“ není výsledkem důkazu, ale víry; v tomto ohledu je epistemicky na stejné úrovni jako kategorické přesvědčení „Bůh existuje“, protože obě tvrzení jdou nad rámec toho, co lze prokázat.

Napríklad ja existujem teraz na stoličke  a neexistujem v skrini, pritom by som si dovolil povedať, že všeobecne existujem.  Tam do hry vstupujú modality. Skromne tvrdím, že neexistencie nie sú rovnocenné, závisia od kontextu.  Problém s neexistenciou Boha je ten, že vždy, keď sa dostaneme do toho uzavretého systému, tak Boh zmizne.  A keď sa dostaneme k všeobecnej existencii, tam zasa sú výroky o Bohu ohybné ako hady a nejednoznačné, tj. nefalzifikovatelné.  Keď sa príjmu výroky o Bohu ako axiómy, sú zasa také všeobjímajúce a kontradiktórne, že výroky na základe axióm nedávajú zmysel.  "Boh neexistuje je úplne legitímny postoj, síce je to myšlienková skratka, ale podobné veci robíme bežne.

6
/dev/null / Re:Jste připraveni na život offline?
« kdy: 19. 04. 2026, 11:28:42 »
Nechcem rýpať, ale dokazuje sa existencia. Neexistencia je default. 
Pokračujte v tejto múdrej debate, ktorú sa mi nechce kvôli svojmu dobru čítať celú.

To samozřejmě není pravda, dokazuje se, co je možné dokázat a v matematice se běžně dokazuje neexistence řešení, která rozhodně není by default. Ale neexistenci boha dokázat nelze a přesvědčení o jeho neexistenci je víra totožná s přesvědčením o jeho existenci.

To je trochu iný druh neexistencie, než všeobecná neexistencia. To je neexistencia v rámci uzavretého formálneho systému, kde sú pravidlá také striktné, že nie je iná cesta. Nadprirodzené bytosti nebývajú súčasťou takýchto systémov a preto je dôkazné bremeno na existencii :)

7
/dev/null / Re:Jste připraveni na život offline?
« kdy: 19. 04. 2026, 00:30:53 »
Aby bolo jasne - v praci internet pouzivam (lebo to inak nejde). Doma internet pouzivam - na zabavu. Ale ak idem do lesa, tak nepotrebujem nic viac, ako dobru obuv a kosik na huby...

Ja napríklad potrebujem aj nohavice, behať dole bez sa neopláca.

8
/dev/null / Re:Jste připraveni na život offline?
« kdy: 18. 04. 2026, 23:46:11 »
Já nechci být hrubý, nic jako bůh neexistuje...

To je hluboce povrchní nepochooení a nelogické tvrzení, ať jde o boha nebo náboženství.

Neexistence boha je nedokazatelná, tvrzení, že bůh neexistuje, je proto projev víry.

Křesťanský bůh dal lidem svobodu, proto mohou pchat a páchají zlo.

Nechcem rýpať, ale dokazuje sa existencia. Neexistencia je default. 
Pokračujte v tejto múdrej debate, ktorú sa mi nechce kvôli svojmu dobru čítať celú.

9
/dev/null / Re:Jste připraveni na život offline?
« kdy: 16. 04. 2026, 10:05:51 »
Řešením je se již dnes začít poohlížet po tzv. "offline technologiích". To jest technologiích, které plně fungují, aniž by k tomu potřebovaly připojení zejména k internetu.

Začínám tak, že počínaje dneškem se budu snažit mít alespoň jeden funkční počítač bez připojení na internet či jakoukoliv síť. Jde o starý hardware, který ještě ani nemá integrovanou WI-FI a má pouze vstup LAN. Nainstaluji si tam starší verzi linuxové distribuce, včetně všech programů, co tam budu potřebovat mít, a to právě ze zmíněných záloh.

Viem, že propagovať technológie firmy microsoft sa tu nehodí, ale ms-dos v takej ére fungoval veľmi pekne :)  Dnes by sa pekne zostavil retro-futuristický setup snov.  S programami, o ktorých sme mohli snívať, lebo boli nedostupné, alebo drahé.  Alebo skrátka neboli.  Prípadne sa dá použiť freedos.

10
Desktop / Re:Jak často používáte funkční klávesy?
« kdy: 11. 04. 2026, 11:22:05 »
Takmer vôbec, považujem ich za historický relikt.

11
Bazar / Re:Sháním notebook s Windows 98
« kdy: 06. 04. 2026, 00:56:51 »
Chceš to k nejakému zariadeniu, ktoré má obslužný softvér pre win98, na retrogaming, alebo na čo?

12
Vývoj / Re:Používáte LLM při vývoji?
« kdy: 05. 04. 2026, 22:50:02 »
u nás je to taky, ale je to klasickej hype cyklus. Potkalo to kdysi mě s Clojure, potkalo to lidi okolo Rustu a teď prostě máme k dispozici vhodnej nástroj, ale zase je dobré znát jeho limity (a to jsem trávil dnešek reviewingem slope kódu od našich mladších kolegů :/)

Rust by som vylúčil z výčtu, to nie je hype, ale prirodzená evolúcia.  Sú tam vyriešené veci, po ktorých sa 20 rokov volalo v akademických kruhoch.  Ale Rust má veľkého kostlivca v skrini - mikrozávislosti.  Môj brat na to nadáva, lebo keď mu dajú nejakú aplikáciu napísanú v Rust na review, tak proste musí riešiť zanzilión knižníc miesto pár.  A všetky majú svoje bezpečnostné riziká, svoje licencie.  Ten jazyk to len podporuje, keď ťa skoro nič nestojí pridať ďaľšiu závislosť, tak ju pridáš ....  Tam Rust môže padnúť na hubu.

A čo sa týka AI, tam som trochu optimista.  AI sa akosi nedarí vyprostiť z juniority, bude to chcieť skokové zlepšenie a to bude neviem kedy. Stále musí byť primát prítomný, aby to dirigoval a mikromenežoval.

13
Desktop / Re:Doba startu operačního systému a aplikací
« kdy: 01. 04. 2026, 00:39:22 »
Pamätám si staré HP-UXy, tam to kľudne štartovalo 10-20 minút. Ale zato sa to reštartovalo len raz za pár rokov alebo pri poruche HW, ktorý nešiel vymeniť za jazdy...
To neni jen u PowerPC. U Sparcat 20 minut zadna mira. U velkych masin nez to doslo do faze bootloaderu tak v diag modu klidne pres 30 minut.
U PC platformy a nabusenych sasi tez 20min u postu zadna mira. Samozrejme startupovi nagelovani vypatlani frikulini preskoci vsechny testy a maji to treba za 10 minut.

V jednej inštitúcii sme písali softvér pre AS/400, tam to bootovalo pol dňa. Ale bol tak rok 2008 a ten server tiež nebol najnovší.

14
Vývoj / Re:Používáte LLM při vývoji?
« kdy: 28. 03. 2026, 22:52:21 »
LLM používam na hobby veci pre seba, kde mi nevadí AI slop. Rád mám na tom, že keď poviem - toto je pomalé, sprav to rýchlejše. Tak povie "nech sa páči". A ono je to fakt rýchlejšie. Ani nemusím explicitne povedať, ako to má zrýchliť.

15
Desktop / Re:Doba startu operačního systému a aplikací
« kdy: 28. 03. 2026, 09:43:13 »
Som ochotný čakať 50 sekúnd, toľko mi štartuje raspberry pi5. Aplikácie mám najradšej s čím rýchlejším štartom (v pripade GUI to chce taký humánny lag 2 sekundy, lebo ihneď nie je dobré, pochopil som zo svojich appiek)

Edit: libreoffice mám za 3 sekundy naštartované. Niekto to tu spomínal, tak som tiež zmeral.

Stran: [1] 2 3 ... 5