DPDK的编程规范,用来指导如何写高性能程序,觉得挺有意思的,所以翻译过来。
EPaxos介绍
发表于
简单介绍EPaxos算法。
Mac电脑配置指南
发表于
总结Mac系统下的配置相关方法。
物化视图研究
发表于
研究物化视图(materialized view)相关技术。
Rust - A CPP Programmer's Perspective
发表于
鉴于贵司大作tikv、tidb、tiflash在Rust、Go和C++之间横跳,因此学习Rust被提上了日程。
本文简称叫Rust: ACPPPP,它主要是用来讨论Rust在一些方面和C++的异同,而不是介绍这一门语言。所以文章是话题形式的,会有很多穿插,例如在讨论所有权时,会直接讲结构体。
Percolator论文阅读
发表于
介绍Percolator论文。
WSL2使用的一些问题
发表于
本文介绍WSL2使用的一些问题
Raft的TLA+验证介绍
发表于
TLA用法
发表于
介绍TLA+用法。
TLA全称为Temporal Logic of Actions,相比传统数学,更着重研究时序逻辑。
TLC是TLA+的模型检验工具。
概率论中的几个有趣问题
发表于
本文介绍概率论中一些有趣的问题,其中很多是反直觉的