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/
Konceptuální základ našeho algo tradingu pochází z teorie agentských systémů. Bohužel hledat cokoli s klíčovým slovem "agent" nebo "agentic" je peklo, protože to je teď módně spojené s LLM, což je velmi specifická aplikace, která je často dost mimo naše použití. #dislike
December 22, 2025 at 9:11 AM
Konceptuální základ našeho algo tradingu pochází z teorie agentských systémů. Bohužel hledat cokoli s klíčovým slovem "agent" nebo "agentic" je peklo, protože to je teď módně spojené s LLM, což je velmi specifická aplikace, která je často dost mimo naše použití. #dislike
Jako algo trader mám v hovoru unikátní problém se slovem "byt". Může to být byt, bit i bid a kontext je překvapivě často nedostatečný k jednoznačnému rozlišení :-).
December 18, 2025 at 8:50 AM
Jako algo trader mám v hovoru unikátní problém se slovem "byt". Může to být byt, bit i bid a kontext je překvapivě často nedostatečný k jednoznačnému rozlišení :-).
https://hachyderm.io/@illegalhex/115737801443855884 Tohle je věc, kterou máme v našem projektu z podstaty zadarmo a je to fantastické. Nedá se docenit, jak moc a v čem všem se to vyplácí. Teda dá, protože máme černou ovci, kterého označení "stakeholder" nějak urazilo a prohlásil, že nic takového […]
Original post on witter.cz
witter.cz
December 18, 2025 at 7:13 AM
https://hachyderm.io/@illegalhex/115737801443855884 Tohle je věc, kterou máme v našem projektu z podstaty zadarmo a je to fantastické. Nedá se docenit, jak moc a v čem všem se to vyplácí. Teda dá, protože máme černou ovci, kterého označení "stakeholder" nějak urazilo a prohlásil, že nic takového […]
Reposted by František Řezáč
"Let us be the repository of your passkeys" and "We may terminate your account at any time and permanently refuse to communicate with you" ... seems like a bad combination?
December 15, 2025 at 3:56 PM
"Let us be the repository of your passkeys" and "We may terminate your account at any time and permanently refuse to communicate with you" ... seems like a bad combination?
Vždycky jsem považoval pilota dopravního letadla za povolání s největší nutnou investicí do výcviku. Teď ale vidím, že proti investici do výcviku tradera jsou to drobné 😬.
December 15, 2025 at 2:08 PM
Vždycky jsem považoval pilota dopravního letadla za povolání s největší nutnou investicí do výcviku. Teď ale vidím, že proti investici do výcviku tradera jsou to drobné 😬.
Dvakrát měř, jednou 3d tiskni.
December 14, 2025 at 1:28 PM
Dvakrát měř, jednou 3d tiskni.
Reposted by František Řezáč
Ω🪬Ω
#thecryptocalypsechronicles: A Rather Alarming Epstein / Russia / Israel Crypto Timeline
The recently released #epsteinfiles make it crystal clear that #epstein's involvement in #crypto was much deeper and long lasting than had been previously […]
[Original post on universeodon.com]
#thecryptocalypsechronicles: A Rather Alarming Epstein / Russia / Israel Crypto Timeline
The recently released #epsteinfiles make it crystal clear that #epstein's involvement in #crypto was much deeper and long lasting than had been previously […]
[Original post on universeodon.com]
December 9, 2025 at 4:06 PM
Ω🪬Ω
#thecryptocalypsechronicles: A Rather Alarming Epstein / Russia / Israel Crypto Timeline
The recently released #epsteinfiles make it crystal clear that #epstein's involvement in #crypto was much deeper and long lasting than had been previously […]
[Original post on universeodon.com]
#thecryptocalypsechronicles: A Rather Alarming Epstein / Russia / Israel Crypto Timeline
The recently released #epsteinfiles make it crystal clear that #epstein's involvement in #crypto was much deeper and long lasting than had been previously […]
[Original post on universeodon.com]
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