Kelson Martins
user

Kelson Martins

Software engineer. Geek. Traveller. Wannabe athlete. Lifelong student. Works at IBM and hosts the @HardcodeCast.


Posts


Navigation
CategoryProgramming
Featured

Programming

Binary Search Algorithms with Examples

Posted on June 7th, 2022.

Introduction In recent days, I have been refreshing my knowledge by having some fun solving problems in leetcode and this post marks the start of a series of posts related to general algorithmic challenges I may encounter and find interesting to share. This article presents details about three leetcode algorithm problems that were...

Featured

Programming

Introducing [Go]modoro. A CLI tool written in golang for Pomodoro tracking

Posted on July 11th, 2021.

  A few years ago, I had a great time reading Cal Newport’s book entitled “Deep Work: Rules for Focused Success in a Distracted World”. The book emphasizes the importance of having focused and uninterrupted work and how this is key to achieve significant results in whatever tasks we put ourselves to perform. As a...

Featured

Programming

Controlling Python cron jobs with PID on Linux

Posted on May 30th, 2021.

Recently while working with scheduled python scripts in cron jobs, an interesting requirement turned up: ensuring that the previous scheduled execution had finished prior to allowing the next cron job to run. This post aims to present one feasible solution for such a requirement, which I believe deserves a post. Assume you have a...

Featured

Programming

Boolean Satisfiability Problem Checker

Posted on March 8th, 2021.

Introduction Recently I have worked with Boolean Satisfiability Problems and techniques to solve them efficiently. I found the topic extremely interesting, so I produced this article as the first of a series on how to solve SAT problems with a few different meta-heuristic techniques. All SAT solver algorithms have something in common:...