logoalt Hacker News

kvisneryesterday at 7:45 PM0 repliesview on HN

Maybe this is going over my head, but how do you reduce something like a computer vision system for a ROS2 robot down to a mathmatical proof?