https://www.matteopsnt.dev/ 2026-03-23 https://www.matteopsnt.dev/blackjack-solver/ 2026-03-23 https://www.matteopsnt.dev/blackjack/ 2026-03-23 https://www.matteopsnt.dev/boolean-transformational-prover/ 2026-03-23 https://www.matteopsnt.dev/Matteo_Pesenti_Resume.pdf 2026-03-23