（来源：上观新闻）
Roma♻🤣in：我🚭😂觉得Pet📘🚤er所做的事情最🦞🍚令人着迷的地🤡方在于，显🙋♂️🌠然我认识Pete🎟r已经有😶🇹🇩一段时间🌶🦕了，当人们刚开始🕰🗯玩OpenCla🧮🖨w的时候，每👙📺个人都曾瞥见👮♀️过未来的模样🦝。组合式推理🐁😗的基本思想非常优🇦🇪🥖雅：为♦🤴了验证复杂系🐩🇨🇲统的正确性☢，首先把它拆🌺📐解成一个个独立🈺➖的小函数🎚⛹。
Romain：📉🇦🇿是的，我觉得这🇸🇻🙏很大程度上取决✈🕘于你刚才🔷🥅提到的产品性🚾🎁质🇱🇮🔺。但做了几🐍个月之后，他们🇦🇶🤓只学到了一个很⏰痛的教训：写代码🐅🇸🇬，可以▶😙说是整个创业过程🇲🇩😏里最简🇮🇷✋单的那一步🌡🧖♀️…… 沉迷😗➗编程的🏎文科生 Kar👩🎤🇮🇸pathy X🔥👯♂️ 截图 🇧🇷📼“依托感受、进入🇲🇻🍈心流，然后🐬忘记代码的存🍚在，这就是 vi🥶be co🍌🦜ding（ful🥗🇹🇿ly gi🇬🇭🇨🇷ve 🇦🇶in t🏄🖥o the 🍩一区免费vibes🍍🏳，embra🇰🇲ce ex😫🦐ponentia🇦🇮ls，f🖋🎓org🇦🇿🇮🇸et th🈸🇲🇱at the🥳 code 🍤✴even exi🇧🇬💝sts）👚📀。
