3 ms·Avoiding the Dangers of AI Code with Formal Specifications and Tests2 points by bugarela 10d ago