Ask HN: Modern computing inventions originated from the UK?

For example, I know the programming language Idris is created by Edwin Brady from St. Andrews university. And of course there is Arm. I wonder what are others that you know of?