Software can be perfect: making provably correct code tractable Posted by blainehansen on Wednesday February 16, 2022 @10:45AM from the youtube.com dept. https://www.youtube.com/watch?v=Lf7ML_ErWvQ ( no comments | 3 points | on HN )
There are no comments yet.