"Sanitace je moje vášeň" Šeptám si pro sebe, když myji 67. pivní láhev, abych se připravila na den lahvování

nvm, je to horší

maxminmaxmin (14)

otevřete rozevírací nabídku a zatáhnete dolů Povrchové napětí na tekutém skle se rozbije a začne se vylévat pod sklo obrazovky položky menu se líně potulují v nepořádku O týdny později stále nacházíte volné příkazy uvízlé v rozích uživatelského rozhraní

Takže, zábavný fakt, se ukazuje, že se do seznamu vejde exponenciálně mnoho (normalizovaných) vektorů tak, že párový vnitřní součin libovolných dvou různých vektorů je ≤ EPS

Více o myšlenkovém procesu si můžete přečíst v příspěvku na blogu: Nebo to vyzkoušejte (přineste si vlastní klíč)

Bože, miluju pivovarnické dny

Šťastný dobrý den staré Ameriky

Člověk si musí představit Guilleho neustále šťastného

dnešní směšná část v Julii: implementace (jednoduchého!) formálního verifikačního mini-PL pomocí typů Julia může dokonce ověřit, že 1+1=2 z Peanových axiomů!