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/

Erstellt 6mo | 07.01.2025, 18:20:03

Melden Sie sich an, um einen Kommentar hinzuzufügen

Andere Beiträge in dieser Gruppe

Show HN: Pangolin – Open source alternative to Cloudflare Tunnels

Pangolin is an open source self-hosted tunneled reverse proxy management server with identity and access control, designed to securely expose private resources through encrypted WireGuard tunnels

11.07.2025, 03:50:09 | Hacker news

'Autofocus' specs promise sharp vision, near or far

Article URL: https://www.bbc.com/news/articles/cj6r06d7xdjo

Comments URL:

11.07.2025, 03:50:08 | Hacker news

Nerve pain drug gabapentin linked to increased dementia, cognitive impairment

Article URL: https://medicalxpress.com/news/2025-07-nerve-pain-drug-gabapentin-linked.html

Commen

11.07.2025, 03:50:07 | Hacker news

Turkey bans Grok over Erdoğan insults

Article URL: https://www.politico.eu/article/turkey-ban-elon-musk-grok-recep-tayyip-erdogan-insult/

11.07.2025, 01:40:06 | Hacker news

Not So Fast: AI Coding Tools Can Reduce Productivity

Article URL: https://secondthoughts.ai/p/ai-coding-slowdown

Comments URL:

11.07.2025, 01:40:05 | Hacker news

Psilocybin treatment extends cellular lifespan, improves survival of aged mice

Article URL: https://www.nature.com/articles/s41514-025-00244-x

Comments URL:

11.07.2025, 01:40:04 | Hacker news

Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation

Article URL: https://www.ntsb.gov:443/investigations/Pages/DCA24MA063.aspx

Comments URL:

10.07.2025, 23:20:09 | Hacker news

Techie