František Řezáč
@calavera.witter.cz.ap.brid.gy
Abstrakce, kontrakty, závislosti. Tooty o softwarovém inženýrství.
🌉 bridged from https://witter.cz/@calavera on the fediverse by https://fed.brid.gy/
🌉 bridged from https://witter.cz/@calavera on the fediverse by https://fed.brid.gy/
Koupil jsem si breakout board ve kterém byl jeden SMD odpor jiný, než jsem potřeboval, s tím, že si ho nějak podomácku vyměním. Nějak jsem ale zaspal dobu, a SMD dneska neznamená součástky, na které si musíte vzít lupu, ale mikroskop. Pro srovnání je na obrázku […]
[Original post on witter.cz]
[Original post on witter.cz]
November 30, 2025 at 9:17 PM
Koupil jsem si breakout board ve kterém byl jeden SMD odpor jiný, než jsem potřeboval, s tím, že si ho nějak podomácku vyměním. Nějak jsem ale zaspal dobu, a SMD dneska neznamená součástky, na které si musíte vzít lupu, ale mikroskop. Pro srovnání je na obrázku […]
[Original post on witter.cz]
[Original post on witter.cz]
https://xcancel.com/TomasVilimec/status/1993928056499753248 Vidím to bohužel stejně. Je to pár dní co jsem si v plné hloubce uvědomil, že NATO už strategicky prohrává. To, že Rusko strategicky prohrálo neschopností obsadit Ukrajinu bohužel neznamená, že NATO vítězí. Naopak neschopnost rozhodně […]
Original post on witter.cz
witter.cz
November 27, 2025 at 3:16 PM
https://xcancel.com/TomasVilimec/status/1993928056499753248 Vidím to bohužel stejně. Je to pár dní co jsem si v plné hloubce uvědomil, že NATO už strategicky prohrává. To, že Rusko strategicky prohrálo neschopností obsadit Ukrajinu bohužel neznamená, že NATO vítězí. Naopak neschopnost rozhodně […]
Je už takový zaběhlý rituál, že mě cca jednou za čtvrt roku doběla rozzuří fakt, že na Raspberry PI 5 nedali step down a místo toho vyžadují pro plný výkon USB periferií na zdroji nikým nepodporovaný, nestandardní, nesmyslný USB PD profil 5V-5A. To je archetyp takové té situace, kdy máte potřebu […]
Original post on witter.cz
witter.cz
November 20, 2025 at 8:29 PM
Je už takový zaběhlý rituál, že mě cca jednou za čtvrt roku doběla rozzuří fakt, že na Raspberry PI 5 nedali step down a místo toho vyžadují pro plný výkon USB periferií na zdroji nikým nepodporovaný, nestandardní, nesmyslný USB PD profil 5V-5A. To je archetyp takové té situace, kdy máte potřebu […]
[Sprostá slova]
Potkal jsem včera Havloids v hospodě a etuda Davida Matáska, jak ho sere ten pičus, co si párkrát zvedne pravici a je z něj ministr zatímco lidi co poctivě zvedaj pravici už od devadesátek nic, to bylo to nejvtipnější, co jsem za dlouhou dobu slyšel.
Potkal jsem včera Havloids v hospodě a etuda Davida Matáska, jak ho sere ten pičus, co si párkrát zvedne pravici a je z něj ministr zatímco lidi co poctivě zvedaj pravici už od devadesátek nic, to bylo to nejvtipnější, co jsem za dlouhou dobu slyšel.
November 18, 2025 at 7:27 AM
[Sprostá slova]
Potkal jsem včera Havloids v hospodě a etuda Davida Matáska, jak ho sere ten pičus, co si párkrát zvedne pravici a je z něj ministr zatímco lidi co poctivě zvedaj pravici už od devadesátek nic, to bylo to nejvtipnější, co jsem za dlouhou dobu slyšel.
Potkal jsem včera Havloids v hospodě a etuda Davida Matáska, jak ho sere ten pičus, co si párkrát zvedne pravici a je z něj ministr zatímco lidi co poctivě zvedaj pravici už od devadesátek nic, to bylo to nejvtipnější, co jsem za dlouhou dobu slyšel.
Sedláček právě na Staromáku odkazuje na smysl života, vesmíru a vůbe a prý to není 42 :-D.
November 17, 2025 at 2:33 PM
Sedláček právě na Staromáku odkazuje na smysl života, vesmíru a vůbe a prý to není 42 :-D.
Reposted by František Řezáč
Z dnešního archivačního sezení jsem si odnesl poznatek, že připravit, zapsat a ověřit zapsání 100GB dat zabere se vším všudy celý den :-/.
November 16, 2025 at 4:28 PM
Z dnešního archivačního sezení jsem si odnesl poznatek, že připravit, zapsat a ověřit zapsání 100GB dat zabere se vším všudy celý den :-/.
Ponořil jsem se teď do tématu dlouhodobé archivace dat a je fascinující kolik nových úhlů pohledu proti běžnému každodennímu IT provozu to přináší. Třeba teď jsem řešil, jaký algoritmus použít pro checksum ukládaný s daty, aby i za desítky let byl nějak rozumně jednoduše k dispozici pro kontrolu.
November 16, 2025 at 8:52 AM
Ponořil jsem se teď do tématu dlouhodobé archivace dat a je fascinující kolik nových úhlů pohledu proti běžnému každodennímu IT provozu to přináší. Třeba teď jsem řešil, jaký algoritmus použít pro checksum ukládaný s daty, aby i za desítky let byl nějak rozumně jednoduše k dispozici pro kontrolu.
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.
October 20, 2025 at 2:17 PM
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.
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 […]
Original post on witter.cz
witter.cz
October 13, 2025 at 9:26 AM
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 […]
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
Three ways "formally verified" can go wrong
Comments
buttondown.com
October 13, 2025 at 9:15 AM
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
Reposted by František Řezáč
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...
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ě.
az247.cz
October 8, 2025 at 1:28 PM
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.
October 7, 2025 at 7:04 AM
"Koridor pro pěší" Uf, to jsem si oddech, já si na první pohled myslel, že to je silnice.
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í […]
Original post on witter.cz
witter.cz
September 28, 2025 at 7:28 PM
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 […]
Original post on witter.cz
witter.cz
September 28, 2025 at 11:07 AM
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í […]
Original post on witter.cz
witter.cz
September 25, 2025 at 4:46 PM
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í […]
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á […]
Original post on witter.cz
witter.cz
September 21, 2025 at 4:38 PM
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á […]
Reposted by František Řezáč
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
https://phishyurl.com/
Keep your security people alert and awake, generate phishing-looking redirecting link
#infosec
September 16, 2025 at 8:10 AM
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
https://phishyurl.com/
Keep your security people alert and awake, generate phishing-looking redirecting link
#infosec
Reposted by František Řezáč
@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ý...
September 15, 2025 at 11:12 AM
@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ý...
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 […]
Original post on witter.cz
witter.cz
September 11, 2025 at 6:10 AM
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 […]
Reposted by František Řezáč
@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]
[Original post on witter.cz]
September 8, 2025 at 12:26 PM
@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]
[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 […]
Original post on witter.cz
witter.cz
September 3, 2025 at 7:34 AM
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 […]
Spin doctor, který vymyslel slovo "sideloading", byl ďábelský génius. Prosím nepoužívejte tuto newspeak náhražku slova "installing".
August 26, 2025 at 6:51 AM
Spin doctor, který vymyslel slovo "sideloading", byl ďábelský génius. Prosím nepoužívejte tuto newspeak náhražku slova "installing".
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 😀?
August 12, 2025 at 12:44 PM
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 😀?
Na best practices není těžké je znát, ale umět je aplikovat a mezi sebou prioritizovat aby i ve své praktické realizaci zůstal zachovaný jejich smysl, což je překvapivě nesamozřejmé. Jejich záludnost je právě v příslibu, že není potřeba koukat na detaily a bez velkého přemýšlení aplikovat. Ale […]
Original post on witter.cz
witter.cz
August 7, 2025 at 5:13 PM
Na best practices není těžké je znát, ale umět je aplikovat a mezi sebou prioritizovat aby i ve své praktické realizaci zůstal zachovaný jejich smysl, což je překvapivě nesamozřejmé. Jejich záludnost je právě v příslibu, že není potřeba koukat na detaily a bez velkého přemýšlení aplikovat. Ale […]