https://pereq.eu/ https://pereq.eu/blog/ https://pereq.eu/blog/eic-transition-spectrum/ 2026-06-25 https://pereq.eu/blog/hax_0_4_release/ 2026-10-01 https://pereq.eu/blog/sha3-hax-0-4/ 2026-10-12 https://pereq.eu/blog/signal-spqr-verification/ 2025-10-02 https://pereq.eu/blog/software-verification-in-lean-2026/ 2026-04-22 https://pereq.eu/blog/specify-rust-simd/ 2025-10-28 https://pereq.eu/contact/ https://pereq.eu/hax/ https://pereq.eu/jobs/ https://pereq.eu/legal/ https://pereq.eu/mentions-legales/ https://pereq.eu/perspec/ https://pereq.eu/spectrum/ https://pereq.eu/team/