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”。可作者却取此年为标，前后延伸，着手于细枝末节的小事，来讲述明...
古典音乐入门介绍
古典音乐离我们普通人很远吗？我认为只要是音乐，就离我们普通人不远。“音乐是一种情感的艺术，在生活中我们可能不太流露情感，但音乐响起的时候，无论你我，无论男女老少，我们都曾经被音乐感动过。有时候，一段音乐可以比回忆更加真切地在一个瞬间，把我们带回到从前”。 只要能让人感到快乐，就可以成为普通人的爱好。而一旦只是作为爱好、而非专业追求，它的意义就只有一个：让人开心。玩游戏、刷剧、打球是这样，古典...
Harness Engineering：AI代理时代的新工程范式
OpenAI团队最近发布了一篇关于”Harness Engineering”的文章，描述了他们如何通过”完全不手动编写代码”的方式，使用AI代理构建和维护一个超过100万行代码的大型应用。这种新的工程范式正在重新定义我们如何构建和维护软件系统。本文深入探讨Harness Engineering的核心概念、实践方法及其对未来软件开发的影响。 AI 生成内容声明： 本文的内容由生成式 ...
