Formal Verification
Formal Verification in the Development Loop: What Rust, Kani and Tamarin Check
Tie each verification claim to a model, implementation and explicit assumptions throughout development.
- Formal Verification
- Reliability
- Security
Engineering
Engineering
Examine implementation, infrastructure and development and operating procedures. Connect code and configuration to state, failure handling, change verification and maintenance requirements.
8 Articles
Storage
What S3 Object Lock Protects: Retention, Isolated Authority and Restoration
Design deletion protection and post-compromise restoration together.
- Storage
- Security
- Reliability
Observability
Long-Term Metrics Beyond Prometheus: Thanos Retention, HA and Queries
Separate short-term collection and evaluation from long-term storage and querying.
- Observability
- Storage
- Operations
Observability
Vector and OpenTelemetry Collector: Drawing Collection Boundaries
Assign tools by signal ingress, transformation and delivery responsibility.
- Observability
- Data
- Integration
Kubernetes
Managing Kubernetes Updates with Nix: Version Pinning and Recovery Boundaries
Verify reproducible configuration separately from safe cluster upgrades.
- Kubernetes
- Infrastructure
- Operations
Security
From VLANs to Enforcement: Inspecting East-West Traffic
Assess segmentation through enforced paths and policies, not segment names.
- Security
- Infrastructure
- Reliability
Integration
From COM to an F# Domain API: Options, Results and State at the Boundary
Translate vendor state and failure into explicit types to reduce caller assumptions.
- Integration
- API
- Modernization
AI
Budgeting Local LLM VRAM: Beyond Model Weights
Separate weights, KV cache and runtime memory under explicit concurrency conditions.
- AI
- Infrastructure
No articles match this topic. Please choose another topic.