git tips: get commit hashHashes are used in GIT to uniquely identify commits in history. Sometimes its useful to get a hash of specific commit.Apr 20, 2023Apr 20, 2023
git tips: list commits where a file was modifiedSometimes we need to find out which commits changed particualr file.Nov 2, 2022Nov 2, 2022
Published inTowards DevIMs stories: how I was blocked in ViberBeing chatbot developer for different instant messaging (IM) platforms I am using Viber messanger intentively every day. One day I got…Oct 15, 2022Oct 15, 2022
Check if image on remote hosting is valid / correctSometimes in your daily work you can meet a problem with an image hosted somewhere in cloud. Knowing whether the image is valid can be very…Sep 1, 2022Sep 1, 2022
Using keyword extern in CIn this post I will show why keyword extern is useful in large projects with many files.Aug 10, 2022Aug 10, 2022
Show different level of warnings in GCC compiler outputIn different situations we often need a specific level of verbosity during compilation. Sometimes we need to see less critical warnings…Aug 2, 2022Aug 2, 2022
git tips: configure current branch for push and pullWhen working in a standard git flow that could be quite cumbersome to enter the name of current branch each time you pull and push to…May 26, 2022May 26, 2022
Reset on master branchSometimes in working on your projects you need to undone some unwanted commits made to master branch. I will show how to do it with GitLab…May 16, 2022May 16, 2022
Lifehacks: copy url and title of pageSometimes we need to save some webpage. Standard way is to copy url and title (some main header) of webpage.May 11, 2022May 11, 2022
Published inTowards DevPrint pretty JSON in LinuxSometimes developers need to explore some JSON files. That can be quite tough and time comsuming. We can do it easier with command line…May 5, 2022May 5, 2022