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 6mo | 7 janv. 2025, 18:20:03


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

Turkey bans Grok over Erdoğan insults
Turkey bans Grok over Erdoğan insults

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

11 juil. 2025, 01:40:06 | Hacker news
Not So Fast: AI Coding Tools Can Reduce Productivity
Not So Fast: AI Coding Tools Can Reduce Productivity

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

Comments URL:

11 juil. 2025, 01:40:05 | Hacker news
Psilocybin treatment extends cellular lifespan, improves survival of aged mice
Psilocybin treatment extends cellular lifespan, improves survival of aged mice

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

Comments URL:

11 juil. 2025, 01:40:04 | Hacker news
Final report on Alaska Airlines Flight 1282 in-flight exit door plug separation
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 juil. 2025, 23:20:09 | Hacker news
An open letter from educators who refuse the call to adopt GenAI in education
An open letter from educators who refuse the call to adopt GenAI in education

Article URL: https://openletter.earth/an-open-letter-from-educators-who-re

10 juil. 2025, 23:20:07 | Hacker news
Bret Victor on why current trend of AIs is at odds with his work
Bret Victor on why current trend of AIs is at odds with his work

Article URL: https://dynamicland.org/2024/FAQ/#What_is_Realtalks_relationship_to_AI

Comments URL:

10 juil. 2025, 21:10:13 | Hacker news
Show HN: Open source alternative to Perplexity Comet
Show HN: Open source alternative to Perplexity Comet

Hey HN, we're a YC startup building an open-source, privacy-first alternative to Perplexity Comet.

No invite system unlike bunch of others – you can download it today from our website or GitHub:

10 juil. 2025, 21:10:12 | Hacker news
Techie
Techie