Kelson Martins
user

Kelson Martins

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


Posts


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