ABSTRACTIONS
How Proof Trees Make Declarative Programming Work
Discover how proof trees and proof engines enable declarative programming by automatically exploring logical possibilities instead of following …
Abstraction Is Hard: Why Wrong Abstractions Are Worse Than No Abstractions
Creating good abstractions is one of software development's hardest challenges. Learn when to abstract, when not to, and how to avoid costly mistakes.
Kokeshi vs Lego: Two Philosophies of Software Architecture
Two fundamental software architecture approaches: nested abstractions like Russian dolls versus composable pieces like Lego blocks. Learn when to use …