2026

• 22 Feb From Formal Model to Sequence Diagram: TLA+ as a Machine-Readable Specification
• 22 Feb Machine-Readable Specifications: The Single Source of Truth for AI-Augmented Hardware Design
• 22 Feb Data-Driven Fabric Architecture: Visualizing GPU Traffic Patterns Over PCIe
• 20 Feb Welcome to schmole.com