niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

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/

Établi 22h | 7 janv. 2025 à 18:20:03


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

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

8 janv. 2025 à 12:40:12 | 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

8 janv. 2025 à 12:40:10 | 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

8 janv. 2025 à 12:40:09 | 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:

8 janv. 2025 à 10:30:06 | 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:

8 janv. 2025 à 10:30:06 | Hacker news
Scsh Acknowledgements (1994)
Scsh Acknowledgements (1994)

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

Comments URL: https://news.ycombin

8 janv. 2025 à 10:30:04 | Hacker news
Embedding Scheme in Rust
Embedding Scheme in Rust

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

Comments URL:

8 janv. 2025 à 10:30:03 | Hacker news
Techie
Techie