Urgent.News

What's breaking now, across thousands of outlets.

More in Tech

What `rsync -avz --delete` Actually Does

A lot of people paste rsync -avz --delete into a deploy script and move on without ever unpacking what each letter means. It works, so there's rarely a reason to stop and ask.

Property Domain Offboarding — Delete Records Without Whole-Zone Risk

Short answer: retire only the records owned by the departing property, never the whole DNS zone, unless an ownership check proves that the zone itself has no other consumers.

  • Delete DNS records property by property, not entire zone
  • Lower TTL before deletion, wait for old TTL window
  • Maintain rollback data until resolver confirms changes

Verus proves Rust correct for all inputs. Code review still can't define "correct."

Amazon shipped a blog post on Verus, their Rust verifier used in Firecracker and AWS Lambda. Verus doesn't review your code.

  • Verus, a Rust verifier, mathematically proves correctness for all inputs
  • Shifts correctness from subjective judgment to definitive pass/fail
  • Similar challenges in reinforcement learning with verifiable reward metrics

More from Friday 18 September →