Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

The AI Bubble?
languagelog.ldc.upenn.edu·1d