I think we should hold claims about effective static analysis and/or program verification to a higher standard than this.

[1]: https://github.com/psf/requests/blob/4bd79e397304d46dfccd76f...

Well, you'd get this embarrassing mess, apparently.

Should we even read this or should we get an LLM to summarise it onto a few bullet points again?

This bit was interesting in illuminating the human authors’ credulity (assuming they believe in their own article):

‘The central move was elegant: stop asking only “is the system safe?“, start asking “how far is it from safety?“‘

This ersatz profundity couched in a false opposition is common in generated text - does it have anything at all to do with the code generated or is it all just convincing bullshit?

  # requests/utils.py:670
  def address_in_network(ip, net):
      ipaddr = struct.unpack("=L", socket.inet_aton(ip))[0]
      netaddr, bits = net.split("/")
      #               ^^^^^^^^^^^^^^^^
      # ValueError if net has no "/", BOUNDS if split returns 1 element