Články podle tagu: embedded-systems

AI a kontrakty Meyera: chytáme kryptobugy před produkcí

Jak formální kontrakty a AI-agenti nacházejí kritické zranitelnosti v kryptosystémech, které běžné testy přehlížejí. Příklad s PKI a TRNG.

Síťové prošívání Raspberry CM4/CM5 — technická příručka

Jak nastavit hromadné síťové prošívání průmyslových počítačů AntexGate na bázi Raspberry CM4/CM5. Postupný návod s příklady kódu a optimalizacemi.

Rozdíl O(1) vs O(log n): cache v datových strukturách

Proč hašovací tabulka O(1) prohrává binárnímu vyhledávání O(log n) o 40 %? Rozbor chyb cache, benchmarků polí/seznamů a hierarchie paměti pro RISC-V. Zjistěte skutečný výkon.

Odblokování jasu projektoru HY-300 přes ADB a reverzní inženýrství

Krok za krokem průvodce zvýšením jasu projektoru HY-300 přes ADB, úpravou gamma LUT a vypnutím dm-verity. Pro vývojáře a nadšence.