Avoid git push --tags
Today I learned that there are better ways to push Git tags to an upstream repository than the bad habit I’d gotten into, i.e.: git push --tags. It turns ou...
Recent posts
Avoid
Creating dev.to-compatible cover images with ImageMagick
The dev.to site recommends that cover images have a particular size. Usually, any image one creates as a cover image doesn’t have this size. ImageMagick to t...
Quick notes about writing LaTeX on dev.to
Embedding LaTeX mathematics in dev.to posts requires specific Liquid template tags. I didn’t find the tag syntax to be intuitive, hence this post is a set o...
Filling in PDF forms with Python
Filling in PDF forms can be a pain. It’s even more of a pain if you have to do this repeatedly and with almost always the same input data. Surely you can a...
Finding the last N rows of a database table in SQL
Sometimes I stumble across cool things while solving other problems. Although, often what I think is a neat trick is just my lack of experience in the given ...