Formal verification might solve AI's review bottleneck
5 points by georgwiese 16 hours ago | 0 comments