Still want to be a London cabbie?

The Life and Death of London's Crystal Palace (2021)

Around 12,000 Samsung Galaxy Z Fold 7 and Z Flip 7 swiped in London heist

Ongoing Lean formalisation of the proof of Fermat's Last Theorem