2026

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