niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

Preventing conflicts in authoritative DNS config using formal verification

Article URL: https://blog.cloudflare.com/topaz-policy-engine-design/

Comments URL: https://news.ycombinator.com/item?id=42625229

Points: 9

# Comments: 0

https://blog.cloudflare.com/topaz-policy-engine-design/

Created 22h | Jan 7, 2025, 6:20:03 PM


Login to add comment

Other posts in this group

The Comet is a handheld Linux computer that brings extensibility
The Comet is a handheld Linux computer that brings extensibility

Article URL: https://mecha.so/comet

Comments URL: https://news.ycombinator.com/item?id=42632865

Jan 8, 2025, 12:40:12 PM | Hacker news
Bye-bye Windows gaming? SteamOS officially expands past the Steam Deck
Bye-bye Windows gaming? SteamOS officially expands past the Steam Deck

Article URL: https://arstechnica.com/gaming/2025/01/bye-bye-windows-gaming-s

Jan 8, 2025, 12:40:10 PM | Hacker news
Modern Treasury (YC S18) Is Hiring a Payments Engineering Manager
Modern Treasury (YC S18) Is Hiring a Payments Engineering Manager

Article URL: https://jobs.ashbyhq.com/moderntreasury/3bf0ac98-f9c4-47a0-b883-252db467fb

Jan 8, 2025, 12:40:09 PM | Hacker news
Six Sins of Platform Teams
Six Sins of Platform Teams

Article URL: https://serce.me/posts/2025-01-07-six-sins-of-platform-teams

Comments URL:

Jan 8, 2025, 10:30:06 AM | Hacker news
Schola Latina Europæa and Universalis
Schola Latina Europæa and Universalis

Article URL: http://avitus.alcuinus.net/schola_latina/soni_en.php

Comments URL:

Jan 8, 2025, 10:30:06 AM | Hacker news
Scsh Acknowledgements (1994)
Scsh Acknowledgements (1994)

Article URL: https://scsh.net/docu/html/man.html

Comments URL: https://news.ycombin

Jan 8, 2025, 10:30:04 AM | Hacker news
Embedding Scheme in Rust
Embedding Scheme in Rust

Article URL: https://raviqqe.com/doc/posts/stak/embedding-scheme-in-rust/

Comments URL:

Jan 8, 2025, 10:30:03 AM | Hacker news
Techie
Techie