人类世界的美好，总是这么出其不意，13年的回旋镖 2013年MOOC（美好的教授才愿意开网课） -> lambda py （有热爱和坚持下来的人） -> 1… · @uncle_moon_x · TwKit

@uncle_moon_x

人类世界的美好，总是这么出其不意，13年的回旋镖 2013年MOOC（美好的教授才愿意开网课） -> lambda py （有热爱和坚持下来的人） -> 13年后促进了LLM对形式化验证的推进

曝光 1728 · 评论 0 · 点赞 11 · 书签 7