➡️
继续阅读
-
网络问题排查的思路和技巧
文章主张网络排查应以“基于事实的猜测”为核心:先明确问题与预期,再尽量复现,随后提出假设、测试并逐步排除,并用工具和最小化案例验证;高手能从有限信息中定位...
-
苹果的HomeView存在应用问题
苹果发布智能家居设备HomeView,但其应用生态几乎完全依赖CarPlay,引发为何不将其打造为独立应用平台的疑问。Vergecast节目还讨论了最新G...
-
AI说你没错,形式化方法说你错了
播客讨论形式化方法,指出TLA+等规范语言能在编码前发现系统设计缺陷。嘉宾介绍开源可执行规范语言Quint,基于TLA+,语法对开发者友好,支持建模、模拟...
-
欧盟继续与谷歌沟通数字市场法案整改 罚款8.9亿欧元后要审查搜索排序和商店交易问题
欧盟7月因谷歌违反《数字市场法案》对其罚款8.9亿欧元,其中4.6亿欧元针对搜索偏袒自家服务,4.3亿欧元针对Play Store限制开发者引导站外购买。...
-
我近期的一些演讲与访谈
As readers of this blog have no doubt noticed, I have recently turned over th...
-
Here are the engineering lessons we learned when live-streaming sports to 32 million people
Live sports involve myriad unknowns, but one thing is certain: the live video...