| user: | giltho |
| created: | September 20, 2022 |
| karma: | 21 |
| 1. | Real AI for video games (Iconic Games)(iconicgames.io) |
| 2. | Teaching AI to Reason About Software(soteria-tools.com) |
| 3. | Write It in C [video](youtube.com) |
| 4. | Soteria: A New Generation of Static Analysis for Rust(soteria-tools.com) |