➡️
继续阅读
-
AI说你没错,形式化方法说你错了
播客讨论形式化方法,指出TLA+等规范语言能在编码前发现系统设计缺陷。嘉宾介绍开源可执行规范语言Quint,基于TLA+,语法对开发者友好,支持建模、模拟...
-
AI agents vs. Kubernetes: where each belongs in the control loop
Kubernetes has always relied on agents, just not the kind dominating today’s ...
-
SpaceX’s ambitious, expensive gamble to replace AT&T, T-Mobile, and Verizon
Today, I’m talking with Walter Piecyk, a partner and analyst at LightShed Par...
-
入蜀记 day507 做饭与附近、哼鸣、紫美石榴
「做饭与附近、哼鸣、紫美石榴。」
-
入蜀记 day506 悖论感、油泼面、MM
「悖论感、油泼面、MM。」
-
入蜀记 day505 游新都桂湖宝光
「游新都桂湖宝光。」