Urgent.News

What's breaking now, across thousands of outlets.

More in Tech

Lisa Nandy admits ‘problem’ with Ofcom enforcement of online safety rules

Lisa Nandy has admitted there is “a problem” with Ofcom’s ability to enforce online safety rules as she signalled further regulation of tech firms beyond the government’s under-16 social media ban. “Laws are only as good as the ability to enforce them”, the culture secretary said, as she called for a more active role for [...]

What TLA+ can and can't check

  • TLA+ cannot verify properties not formalized as logical formulas
  • Safety properties limited to invariants, actions, but not multi-step or real-time properties
  • Hyperproperties and metaproperties beyond TLA+ capabilities

More from Wednesday 30 September →