giltho

Karma: 21
Created: 3 years ago

Recent Submissions

1. ▲ Real AI for video games (Iconic Games) (iconicgames.io) 4 points · 5 days ago · 0 comments
2. ▲ Teaching AI to Reason About Software (soteria-tools.com) 3 points · 18 days ago · 0 comments
3. ▲ Write It in C [video] (youtube.com) 1 point · 1 month ago · 0 comments
4. ▲ Soteria: A New Generation of Static Analysis for Rust (soteria-tools.com) 7 points · 1 month ago · 0 comments

All submissions on HN · View profile on HN