František Řezáč

@banterCZ A tohle pro jistotu.

@banterCZ tomu říkáš hroty? Tohle jsou hroty :-D

@banterCZ on tam bude i můj táta, jenom na ty děti budu spíš sám.

Kolegům v práci jsem se chlubil, že plánuju free solo na Tre Cime. Úplná lež to není, myslím tím, že pojedu bez cestovky a sám s dětma bez manželky.

@honzakorinek Ty jo, před rokem jsme kupovali Sharan 2019 za 750k, to si představuješ hodně dobrej kšeft :-D.

Optional stopping theorem https://en.wikipedia.org/wiki/Optional_stopping_theorem říká, že je jedno, kdy zastavíte sázecí martingale strategii, takže jí klidně zastavujte stop lossem. V praxi máme silné podezření, že to tak není, ale nedokázal jsem přijít na to, jakou assumption teorému […]

Three ways "formally verified" can go wrong Comments

Doporučuju https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/, ale stále si myslím, že nejintuitivnější pochopení dává můj pohled v tetmínech informační redundance https://calavera.info/v3/blog/2023/03/25/k-cemu-je-vlastne-pravda.html

Babiš zvažuje svěřit ministerstvo obrany ruské ambasádě. „Půjde o menší bezpečnostní riziko, než ho dát SPD,“ vysvětlil - AZ247.cz - víc než jen pravda Rozdělování ministerských postů po volbách přináší nečekané zvraty. Andrej Babiš nyní údajně zvažuje, že ministerstvo obrany předá rovnou ruské ambasádě.

Andrej Babiš při vyjednávání o nové vládě zvažuje překvapivou variantu: ministerstvo obrany by mohl převzít přímo personál z ruské ambasády. Tvrdí, že je to pro Českou republiku pořád bezpečnější varianta než SPD. az247.cz/babis-zvazuj...

"Koridor pro pěší" Uf, to jsem si oddech, já si na první pohled myslel, že to je silnice.

Hear, hear! https://news.ycombinator.com/item?id=45411710
https://calavera.info/v3/blog/2022/10/01/soukromy-a-verejny-prostor-v-digitalnim-svete.html

Vrátil jsem se z Warp campu https://www.warpcamp.cz/ s depresí, že mi AI dýchá na záda mnohem blíž, než jsem myslel. Patnáctiminutový týmový AI battle lidí, co jsou zvyklí to používat, byl vlastně o dost kratší než jejich následná prezentace 5 aplikací, které během něj podle soutěžních zadání […]

Jestli mě něco naučil poslední rok v práci, pak to, že princip "rozvodovost psychologů se specializací na partnetské problémy je úplně stejná jako u zbytku populace" je beze zbytku platný i u lidí, co studovali matematickou logiku. Znal jsem rčení "logicians study mathematical logic, not […]

Pro potřeby modelování rozhodování agentského systému jsem si vyrobil monádu podobnou Maybe, jen hodnota None je rozdělená na dvě varianty: Inactive (agent nedosáhl požadovaného cíle a ani k jeho dosažení nemohl/nechtěl nic udělat a Effectful (agent nedosáhl cíle, ale provedl IO k jeho dosažení […]

Ve zprávách zatím nic. Nevěděl by @zoul jako lokální patriot?

Včera jsme v punkevních jeskyních vyfásli řidiče lodi na první pohled trochu "divného" a v půlce cesty jsme se srazili v plné rychlosti s protijedoucí lodí. Kromě úvodního leknutí žádné drama, ale drobnost taky ne, lodě mají 10m a vezou ~20 lidí, žádný drobeček, klaustrofobní prostor, ledová […]

https://cheap-bitcoin.online/backdoor-loader/rat-controller/malware_patch.exe?cachecontrol=inject&cookievalue=steal&file=poison&id=fc3188fb&payload=%28function%28%29%7B+return+Math.floor%284.9%29%3B+%7D%29%28%29%3B&port=scan

Why use a URL shortener when you can use a phishy URL extender?

https://phishyurl.com/

Keep your security people alert and awake, generate phishing-looking redirecting link

#infosec

@ibidem.bsky.social A přesně k tomu jsou ty roční kontrakty, abychom si neukazovali kolik stojí elektřina v tu kterou hodinu, ale bavili se o agregované ceně za celý rok. A tyhle ceny jsou okolo 80 euro a do budoucnosti klesají. Proto je ukazování ceny 400 euro naprostý nesmysl, stejně jako mých 8.

@ibidem.bsky.social Dočkám se i jásání, jak máme dnes díky OZE elektřinu prakticky zadarmo (a to po celý den)? Teda Německo, my v Česku ne, protože tu OZE nikdo nechce, protože jsou přece strašně drahý...

@ibidem.bsky.social Dočkám se i jásání, jak máme dnes díky OZE elektřinu prakticky zadarmo (a to po celý den)? Teda Německo, my v Česku ne, protože tu OZE nikdo nechce, protože jsou přece strašně drahý...

@banterCZ potvrzuju. Před týdnem jsme řešili agentský systém a jeho plánování instrumentálních cílů a taky jsme doslovně skončili u Asimova.

@banterCZ podstoupil jsem hyperbarickou oxygenoterapii kvůli náhlé percepční (=problém s vnitřním uchem) nedoslýchavosti. Co říkáš o správném věku je pravda, ale já mám u tohohle pocit, že se změnil celý svět. Stejně jako je dnes trochu nuda Občan Kane, protože jeho revoluční prvky jsou dnes […]

Zapomněl jsem si čtení do hyperbarické komory a vzal zavděk erárními Směšnými láskami od Kundery. Pamatoval jsem si, jak jsem z nich byl ještě na střední nadšený a proto mě překvapilo, jak průměrné mi to připadalo teď. Kundera se mi najednou nejeví jako literární génius a znalec lidí, ale jako […]

@ibidem.bsky.social Tohle je manipulace nejhoršího zrna. Připojuju pro ilustraci profil celého dne v několika evropských zemích, aby bylo vidět, jak nereprezentativní je hodnota kokrétně ze včerejší 19 hodiny. Co je skutečně rozhodující pro cenu elektřiny je cena […]

[Original post on witter.cz]

@ibidem.bsky.social Tohle je manipulace nejhoršího zrna. Připojuju pro ilustraci profil celého dne v několika evropských zemích, aby bylo vidět, jak nereprezentativní je hodnota kokrétně ze včerejší 19 hodiny. Co je skutečně rozhodující pro cenu elektřiny je cena […]

[Original post on witter.cz]

Zajímavost: ohledně kontraktu equals a hash code doporučuje metodicky dotnet jiný tradeoff než java. V Javě je normální i u mutable tříd zachovávat implikaci equals => hash1==hash2, dotnet má naopak default nechávat hash code podle identity objektu a override jen pokud je vysoká jistota o […]

@banterCZ @dondcz snad tam budu

@banterCZ Já bych docela jel, sám to na příští rok plánuju, ale kolik míst zbyde po vaší rodině?

Spin doctor, který vymyslel slovo "sideloading", byl ďábelský génius. Prosím nepoužívejte tuto newspeak náhražku slova "installing".

@banterCZ vzpomněl jsem si na tvojí sázku, jejíž chyba podle mě nebyla v časovém horizontu, ale v definici označení "funguje". Vystavit nějaký engaging content na nějaké doméně umí každý jouda, poskytovat kvalitní, univerzální informační kanál demokratické společnosti přestal podle mě Twitter […]

Twitter už nepoužívám, ale nic jsem nemazal. Když jsem přihlášený, vidím všechno jako normálně, ale takhle vypadá můj profil bez přihlášení. Eee ... byl jsem "canceled"? Tím, kdo koupil twitter aby vymítil "cancel culture" a nastolil absolutní svobodu projevu 😀?