Dharma Shukla：Microsoft的TLA +负责构建行星级系统[视频]

2020-12-15 19:41:42

Dharma Shukla：Microsoft的TLA +构建行星级系统-主题演讲TLA +社区活动-YouTube

https://www.youtube.com/watch?v=UVHnuxWZkvk
为Microsoft Infer＃（适用于C＃的新静态分析器）提供动力
2020-12-15 8:39
由于多个Google服务崩溃，微软的Outlook也面临间歇性中断
2020-12-14 23:15
微软退休工程师的Windows任务管理器的秘密历史
2020-12-14 3:48
微软将X64仿真引入Arm PC上的Windows 10
2020-12-12 9:4