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 ...
软件工程AI应用的现状及展望
在5月末的MPD AI驱动创新峰会中，AI工程应用相关的各个分享团队频繁提及了几个概念：“Spec”，“Harness”，“AI-Native”，“Human in the loop”，“Shift-left（左移）”，“Non-determinism（非确定性）”。且多个团队都遇到一个问题：“当前，AI Coding已大范围应用，开发人员的Token消耗非常高，但是组织的整体效率似乎没有质...
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...
