Tag
This article explains how to use Dart's final class with private constructors to create proof types that enforce validation at compile time, ensuring that certain computations have been performed before values are used.
This article explains the concept of finite state machines, their formal definition, and why they are a powerful abstraction for building reliable systems, including how they relate to current agent frameworks.
A reference library of 46 programming patterns extracted from real production code (e.g., React, Linux kernel, Go, Redis, etc.), each with interactive visualization, line-accurate source links, implementations in TypeScript/Python/Go/Rust, and runnable exercises. The site is bilingual (Chinese and English) and supports search and category browsing.
A blog post detailing a minimal pattern for adding error context in Zig using errdefer logging, comparing it to full diagnostics sinks and catch blocks, and discussing tradeoffs.