Kelson Martins
user

Kelson Martins

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


Posts


Navigation
Tagprogramming
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:...