Articles by tag: embedded-systems

AI and Meyer Contracts: Catching Crypto Bugs Before Production

How formal contracts and AI agents find critical vulnerabilities in crypto systems that ordinary tests miss. Example with PKI and TRNG.

Network Firmware for Raspberry CM4/CM5 — Technical Guide

How to Set Up Mass Network Firmware for AntexGate Industrial Computers Based on Raspberry CM4/CM5. Step-by-Step Instructions with Code Examples and Optimizations.

O(1) vs O(log n) Gap: Cache in Data Structures

Why hash table O(1) loses to binary search O(log n) by 40%? Analysis of cache misses, array/list benchmarks and memory hierarchy for RISC-V. Learn real performance.

Unlocking the brightness of the HY-300 projector via ADB and reverse engineering

Step-by-step guide to increasing the brightness of the HY-300 projector via ADB, editing gamma LUT and disabling dm-verity. For developers and enthusiasts.