rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) (via typesanitizer) — discussion

#plt #rust #vibecoding