https://welltyped.systems/ weekly 1.0 https://welltyped.systems/blog weekly 0.8 https://welltyped.systems/blog/verified-conformance-testing-for-dummies 2026-01-03T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/lean-security-systems-part-3 2026-01-01T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/cetus-rounding-error-security-failure 2025-12-29T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/fuzz-testing-playbook 2025-12-20T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/zk-circuit-verification-checklist 2025-12-12T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/lean-security-systems-part-2 2025-12-10T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/lean-security-systems-part-1 2025-12-05T00:00:00.000Z monthly 0.6 https://welltyped.systems/blog/assurance-notes-threat-modeling 2025-11-05T00:00:00.000Z monthly 0.6