Recent Posts

2024-01-08

Hello Blog
Details on how I set up my blog.
SEOSvelteCD
2025-06-17

Rust Type Metaprogramming: A List of Types
Theory and practice of proof carrying code in Rust
Rustmetaprogrammingabstraction