Recent Changes

Updates in the last 7 days

1 | 3 | 7 | 30 | 90 days
List all changes Include rollbacks Include minor changes
List later changes RSS RSS with pages RSS with pages and diff


  • 16:31 UTC (new) (history) 2020-10-18 A nice exercise in metric spaces . . . . mbork It’s been a very long time since I posted anything math-y here (more than five years!). It certainly has something to do with the fact that I no longer work as a mathematician (even if I am part of one maths-related project, but that’s a secret). A few days ago, however, after a short discussion with a friend, I came up with a really nice exercise. Note: it is not difficult at all, quite the contrary, but I like it a lot.