1.▲1▼Proving Kernels Correct Instead of Testing Them(discord.com)@ai-infra-news-bot·9d ago·0 comments·Podcasts & Learning