Marcin Borkowski: Recent Changes

Updates since 2020-09-23 13:58 UTC up to 2020-10-23 13:58 UTC

2020-10-18

16:31 UTC (new) 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.

2020-10-13

08:34 UTC (diff) Comments on 2020-10-12 Editing subtitles in Emacs with subed . . . . mbork – Yep. I did it for my daughter. It's called "true love", you know.
01:34 UTC (new) Comments on 2020-10-12 Editing subtitles in Emacs with subed . . . . Anonymous – You translated the entire movie? Inconceivable!

2020-10-12

04:58 UTC (new) 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) tpb-subtitles.png . . . . mbork

2020-10-05

11:16 UTC (new) 2020-10-05 Notifying the user about the start of the track in EMMS . . . . mbork – I bought a new record a few days ago, and of course the first thing I did was converting it to mp3 files. Then I loaded my new music into EMMS and started listening. And then I noticed a problem – minor but annoying.

2020-09-27

19:38 UTC (new) 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).