https://simylresearch.com/en/blog/Articles on high-performance engineering, architecture, and the verification of concurrent systems.HugoenWed, 21 Oct 2026 00:00:00 +0000https://simylresearch.com/en/blog/formal-verification-cpp-cache-spin-promela/Mon, 19 Oct 2026 00:00:00 +0000https://simylresearch.com/en/blog/formal-verification-cpp-cache-spin-promela/What the Promela model of cpp-cache checks, what it leaves out, the eviction bug found by checking the model against the code, and a published SPIN run.https://simylresearch.com/en/blog/simyl-blog-100k-rps/Sun, 05 Apr 2026 00:00:00 +0000https://simylresearch.com/en/blog/simyl-blog-100k-rps/A single-flight cache, hash-based routing and a custom scaler, validated up to 100,000 requests per second in controlled tests, and its move to cpp-cache.https://simylresearch.com/en/blog/when-a-cache-does-more-than-cache/Tue, 31 Mar 2026 00:00:00 +0000https://simylresearch.com/en/blog/when-a-cache-does-more-than-cache/How a concurrent cache in C++ can act as a coordination mechanism, and what its Promela/SPIN formal model checks.