欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Envoy
Envoy 是为面向服务架构设计的 L7 代理和通信总线。
Istio 使用 Envoy 代理的扩展版本
与类似系统比较
nginx, HAProxy, Amazon ELB, SmartStack, Finagle, proxygen/wangle, grpc, linkerd, nghttp2