➡️
继续阅读
-
特斯拉终于要推出Cybercab了——希望它已经准备好了
特斯拉Cybercab即将在奥斯汀推出,但其软件和安全性存疑。该车依赖FSD系统,需人工监督且正受监管调查,数据积累远逊于Waymo,缺乏独立安全验证。无...
-
Istio / 网格控制面内核 — 系列规划
> 本文是写作规划,不是可发布正文。拆解对象:Istio 网格控制面内核——以 Istio 1.30.x(稳定线;源码与文档钉 1.30.3,202...
-
Cilium / eBPF 数据面内核 — 系列规划
> 本文是写作规划,不是可发布正文。拆解对象:Cilium 在 Kubernetes 上的 eBPF 数据面内核——以 Cilium v1.20.0...
-
Tetragon / eBPF 运行时安全 — 系列规划
> 本文是写作规划,不是可发布正文。拆解对象:Tetragon 在 Linux / Kubernetes 上的 eBPF 运行时安全可观测与强制执行...
-
Envoy Gateway / Gateway API — 系列规划
> 本文是写作规划,不是可发布正文。拆解对象:Envoy Gateway 作为 Kubernetes 南北向入口的控制面内核——以 Envoy Ga...
-
Palomar——Lean验证数学注册表
陶哲轩宣布Palomar数学验证注册表开放提交,旨在验证Lean证明的可靠性。该注册表由Lean FRO和ICARM孵化,检查代码是否通过类型检查、无额外...