【编者的话】本文是作者在FLOPS 2022会议上的演讲，正如标题所言，重点分享了使用Liquid Haskell语言集成验证系统来构建可靠的分布式系统的有趣的探索经历，目标是希望程序员能够机械地指定和验证分布式系统的真实、可执行实现的正确性属性，而且是使用集...

什么是 Redis？

Redis（“REmote DIctionary Service”）是一个开源的键值对数据库服务器。

Redis 更准确的描述是一个数据结构服务器。Redis 的这种特殊性质让它在开...

专门为云原生软件构建可持续生态系统的云原生计算基金会（CNCF）今天宣布，SPIFFE与SPIRE项目已经正式毕业。这一消息，也让CNCF的毕业项目总数由16个增加至18个。

面向所有人的安全生产身份框架（SPIFFE）能够为现代生产环境中的各种工作负载提供...

现在以Kubernetes为代表的容器技术已经非常普及了，很多云计算及容器厂商也提供了基于Kubernetes的服务。

但是在Kubernetes自学的过程中还是会遇到各种各样的问题，主要原因还是Kubernetes入门容易，深入却很难，而自学又不系统，且缺...

译注：在本文中，为理解的一致性，我们保留了OpenTelemetry的术语，不作翻译：包括但不限于Instrument、Measurement、Exemplar、Baggage、Context等。需要注意区分Measurement和Instrumen...

【编者的话】引入 Kubernetes 是过早优化的危险信号？且听听本文作者怎么说吧。

如果你所在的企业引入了 Kubernetes，那么你们很有可能会把精力花在一些偏离主线的事情上。

乍一听这句话可能会感觉到很奇怪，毕竟我们花了这么长的时间来布道和兜售 ...

由于微服务架构松耦合、快速迭代等特点，互联网公司与传统软件企业都在积极落地微服务架构，然而在享受传统微服务架构优势的同时，也在面临多语言生态（Java、Golang、Node、Python等 ）带来的兼容成本，以及带有侵入性的SDK接入方式带来的高昂的服务治理...

Netflix 正在考虑使用以下工程师级别：

• 工程师 1 / Engineer 1
• 工程师 2 / Engineer 2
• 高级工程师 / Senior
• 资深工程师 / Staff
• 首席工程师 / Principal

具体...

作为Cilium与eBPF两大发展迅猛的开源技术方案背后的领先厂商，Isovalent日前宣布已完成由Thomvest Ventures领投的4000万美元B轮融资。此次新参与融资的还有M12（微软的风险基金）和Grafana Labs，连同此前曾经注资的谷歌...

指标是用来衡量性能、消耗、效率和许多其他软件属性随时间的变化趋势。它们允许工程师通过警报和仪表盘来监控一系列测量值的演变（如CPU或内存使用量、请求持续时间、延迟等）。指标在IT监控领域有着悠久的历史，并被工程师广泛使用，与日志和链路追踪一起被用来检测系统是否...