In the realm of distributed systems, the CAP theorem is a cornerstone principle that every software architect should understand. Formulated by computer scientist Eric Brewer in 2000, the CAP theore...
Chang Wan
Cancel
The CAP Theorem: A Crucial Concept for Architects
Comparison of Four Algorithmic Thinking
The four algorithmic thinking (Greedy, Divide-and-Conquer, Backtracking, and Dynamic Programming) is essential for solving complex problems efficiently. But what’s the difference between them? Whic...
Query Optimisation in Databases
In this blog, I will discuss how a database engine optimises a SQL query statement with multiple relations (tables), from the database execution plan perspective. Contents How Many Quer...
Does LSP Conflict with Polymorphism?
In my opinion, LSP is the simplest and easiest principle to be used. It expresses only one thing: A superclass object should be replaceable by its subclass object without affecting the correctness ...
What Exactly Are We Talking About When Talking About OOP?
OOP stands for Object-Oriented Programming, which is a programming paradigm based on the concept of “objects”. But OOP is more than just a paradigm; it’s a continuous process of pursuing better, mo...
Clean Code: Meaningful Names
There are only two hard things in Computer Science: cache invalidation and naming things. —— Phil Karlton Names are everywhere in software. We name our variables, our functions, our argu...
Linear Temporal Logic (LTL)
When it comes to reasoning about the behavior of systems over time, especially in the domain of formal verification, Linear Temporal Logic (LTL) stands out as a powerful tool. Contents ...
关于《万历十五年》
明万历十五年是极其平淡的一年，没有发生什么惊心动魄的战争、影响深远的变革，仅仅发生了一些细枝末节的小事。从这一年起，万历皇帝正式开始不再上朝；这一年，海瑞去世，戚继光去世；这一年，时年28岁的努尔哈赤在东北悄悄崛起。 《万历十五年》的英文原名也透漏出该年平常：“1587：a Year of No Significance”。作者却取此年为标，前后延伸，着手于细枝末节的小事，来讲述明朝历史，...
MBTI人格类型测试：16种性格类型详解与伴侣匹配指南
MBTI（迈尔斯-布里格斯类型指标）是目前全球使用最广泛的人格类型评估工具之一，它将复杂的人格特质简化为16种易于理解的性格类型。本文将从MBTI的历史起源、理论基础开始，详细解析16种性格类型的特点、优势与挑战，并深入探讨各种性格类型在亲密关系中的最佳伴侣匹配原则。 AI 生成内容声明： 本文的内容由生成式 AI 研究、编写和审查。由于大型语言模型可能存在”幻觉”，信息可能包含一些...
Harness Engineering：OpenAI的智能体优先开发实验启示录
OpenAI最近发表了一篇开创性的文章，详细介绍了他们为期五个月的”Harness Engineering”实验——构建一个完全没有人工编写代码的完整软件产品。本文将对这项实验进行全面分析，从空仓库到百万行代码库的旅程，揭示智能体优先开发、上下文管理以及AI驱动世界中软件工程未来的关键洞察。 AI 生成内容声明： 本文的内容由生成式 AI 研究、编写和审查。由于大型语言模型可能存在...
