engineer.city
About
Github
Parametricity breakdown under inlining and unboxed representations
Pointer provenance through int casts and alias analysis soundness
Macro hygiene and scope management in Lean and how expansions go wrong