Рет қаралды 10,108
有幸和图灵奖得主约瑟夫·斯发基斯对谈!他是07年图灵奖获得者、模型检查Model Checking领域的奠基人,而我正好在做一些验证相关的研究,所以四舍五入,他就是我的祖师爷了(
这期视频是第三期,斯发基斯教授明确表示,不建议大家刻意追求工作和生活的平衡,这究竟是什么原因呢?
更多内容,欢迎看视频,也欢迎在评论区说说你的想法。
第一期(对话图灵奖得主:图灵测试不能来比较人类和机器的智能水平?) • 对话图灵奖得主:图灵测试不能来比较人类和机器...
第二期(对话图灵奖得主:别让小朋友玩ChatGPT!): • 对话图灵奖得主:别让小朋友玩ChatGPT!
------------------------------------------------------------------------------------------------------------------------------------------------
关于我:
大家好,我是芯片工程师老石,欢迎关注我的频道“老石谈芯”。
欢迎订阅👉reurl.cc/8ob9Ej
敲响小铃铛🔔,可以第一时间收到我的频道动态。
我会持续带来更多专注于芯片的科普、硬核知识、以及偶尔极度硬核的技术分析与解读。我也会不断分享高效工作和学习的方法与技巧。更多内容,也欢迎关注我的微信公众号、微博。也欢迎加入我的知识星球,和我进一步交流。
🎵 我使用的音乐/BGM:go.shilicon.co...
📚 我写的书:go.shilicon.co...
📝 个人网站:www.shilicon.com
📚 公众号:老石谈芯
🏮微博:老石谈芯的老石
🌍知识星球:老石谈芯 - 进阶版
#老石谈芯 #科技