Recent Changes

Updates in the last 30 days

1 | 3 | 7 | 30 | 90 days
List all changes Skip 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.



  • 04:58 UTC (new) (history) 2020-10-12 Editing subtitles in Emacs with subed . . . . mbork Some time ago I bought a DVD with one of my favorite movies of all time. (I am not really a movie person, but I like to watch some film once or twice a year.) Unfortunately, the film is only available in English, and I really wanted my daughter (who doesn’t speak it yet) to watch it with me. I set out to translate all the dialog to Polish (which was quite a challenge, and I am proud to say that I managed to do that – better or worse, sometimes perhaps inevitably worse, but still). Now what I need is to prepare subtitles for the film. It turns out that the industry standard is called srt, and – not that it is surprising – Emacs has a suitable mode.
  • 04:56 UTC (new) (history) tpb-subtitles.png . . . . mbork



  • 19:38 UTC (new) (history) 2020-09-27 Pretty printing SQL queries . . . . mbork I often work with SQL queries. Sometimes I write them myself, sometimes they are created by an ORM – in either case, they are sometimes pretty long. This means that it would often be nice to have them formatted in a nice way (I mean indentation and line breaks).