形式化方法的美在于它们能够提供关于系统行为的绝对保证。
艺术家必须是大地的孩子。
90%of everything is crap. If you think you don’t like opera, romance novels, TikTok, country music, vegan food, NFTs, keep trying to see if you can find the 10% that is not crap.