Blog

I noticed recently that the time offsets in Date and time all use British time (GMT), not Universal time (UTC). GMT is UTC+00:00, and UTC has no offset because it’s the standard that all other timezones are measured against. So Brisbane’s time is GMT+10:00 in Android which is UTC+00:00+10:00, when it could more simply beRead more

I am currently trying to partition an image into several images with fixed size and no padding spanning the whole area of the original. Subsequently, I want to do an arbitrary operation on each image part and reassemble the image by overlaying the results of this operation (repeated entries could be replaced by a mean).Read more

If the database data will be on NVME SSD which let’s assume is 4x faster than an ordinary SSD will queries like SELECT something OFFSET 100000 and the like typically also be much faster (of course when they are not cached/buffered etc)?Read more