There’s a trend at the moment of solving online games with programming, let’s do one from the UK called Passport Application, which is developed by “His Majesty’s Passport Office” or HMPO. It’s a cultural phenomenon in the UK: despite being … Read more
[Thanks to James Haydon for his suggestions on improving the post and the code quality] On LinkedIn, you can play a variant of the N-Queens problem. A community version of the game (rather, puzzle) can be found here. Recently, we … Read more
14 Jun 2025 on Peter Vernigorov’s blog A couple months ago I noticed that LinkedIn now has a few simple games. They’re not much to write home about, but I really enjoy playing Queens. This week I saw two posts … Read more
June 12, 2025 For sure easier than solving it in SAT! No newsletter next week I’ll be speaking at Systems Distributed. My talk isn’t close to done yet, which is why this newsletter is both late and short. The article … Read more
April 8, 2025 I have a lot in the works for the this month’s Logic for Programmers release. Among other things, I’m completely rewriting the chapter on Logic Programming Languages. I originally showcased the paradigm with puzzle solvers, like eight … Read more
Solving First Order Differential Equations with Julia Image by Pete Linforth from Pixabay Introduction In this tutorial, we will learn about solving Differential Equations with Julia. Differential Equations are everywhere in Science and Engineering problems. And, being able to solve … Read more
Solving Boolean satisfiability and integer programming with Python packaging Home / Writings November 23, 2024 You can try the solvers I developed using the methods described below at pipip. Recently, I was quite amused to see this GitHub project: sudoku-in-python-packaging. … Read more
This blog post assumes a base level of knowledge – comfort in the C programming language and bitwise math is recommended. Also, if you ever have any questions, any at all, while reading this blog post, feel free to reach … Read more
Solve sudokus not in python, but in python packages. Solving the versions of python package from your requirements is NP-complete, in the worst case it runs exponentially slow. Sudokus are also NP-complete, which means we can solve sudokus with python … Read more
The Diamond Gas Rose tanker emits a plume of methane while docked at Louisiana’s Cameron LNG terminal, 28 April 2021. Plume data: Global Airborne Observatory via Carbon Mapper. Satellite image: Planet. Methane emissions from the fossil fuel industry are a … Read more