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 ...
Harness Engineering：AI代理时代的新工程范式
OpenAI团队最近发布了一篇关于”Harness Engineering”的文章，描述了他们如何通过”完全不手动编写代码”的方式，使用AI代理构建和维护一个超过100万行代码的大型应用。这种新的工程范式正在重新定义我们如何构建和维护软件系统。本文深入探讨Harness Engineering的核心概念、实践方法及其对未来软件开发的影响。 AI 生成内容声明： 本文的内容由生成式 ...
Harness Engineering: Lessons from OpenAI's Agent-First Development Experiment
OpenAI recently published a groundbreaking article detailing their five-month experiment in “harness engineering” - building a complete software product with zero human-written code. This comprehen...
AI将如何影响软件工程
当今，氛围编程、AI IDE、MCP、Skill 等新技术、新工具不断涌现，在变化如此之快的时代下，大家可能会对自己的前景和发展感到迷茫。本文主要为大家分享一个 Martin Fowler 的访谈，以及斯坦福大学新开的一门课程，希望通过分享这些工程界大牛和顶尖高校的行业洞见，为各位的工作规划或个人发展带来一些启发和思考。 目录 背景 How AI Will Cha...
