Home Blog Résumé

Blog

The Eventual Truth: Molina's Collection of Love, 25 Years Later
January 2, 2025
Revisting The Lioness
Nostalgia and Becoming Birds
June 21, 2024
The Dangers of Falling into Nostalgia
Learning Latin with E-graphs
June 16, 2024
aequalitatem omnibus
Verification of PyTorch Graph Transformations using SMT Solvers
July 20, 2023
Using Z3 + PyTorch to prove stuff works like it should
Simple Analysis Pass for Rust MIR
July 16, 2023
Exploring Rust Internals