America, Land of the Free

From Motherboard:

Customs and Border Protection (CBP) is flying a Predator drone, military technology used for surveilling and killing terrorists abroad, over Minneapolis as protesters continue to demonstrate against police brutality, according to publicly available flight data. The drone flown over Minneapolis is an unarmed version of the aircraft.

Programmatic Solutions to Miracle Sudoku

This blog from is really interesting.

It demonstrates how to build a Miracle Sudoku solver using Prolog, which is a logic programming language written in a declarative syntax. It’s incredible how concisely a solver for Sudoku puzzles can be written in that language!

What’s remarkable about these solvers is how they can tell you interesting facts about puzzles such as the Miracle Sudoku:

  • The minimal number of hints necessary to uniquely define a solution board is 2.
  • Boards with just 1 placed hint have 8 solutions, always – no matter which digit the hint is or where it’s placed.
  • There are many, many valid 2-digit hints. For example, there are 2320 ways to place a 1 and a 2 on the board which lead to a unique solution. Since there are only 72 unique solution boards, you’d run out of interesting solutions before you ran out of hints.

Weasels have eaten our phone system

For about an hour on Tuesday night, Citibank customers trying to phone the company were met with the same odd message in place of a polite automated service operator: “Hello world. Weasels have eaten our phone system.”

I think the best part is the reasoning why. Open source software, a dedicated contributor from 15 years ago paying to record joke messages, and a large company using something for free and being “bitten” by this joke/bug. It hits all the right notes for me.

Political Lies and Business Lies

From MoneyStuff today:

One point that I often make about the U.S. legal system is that lying about financial matters is quite broadly and severely criminalized—basically any sort of dishonesty having anything to do with money is arguably wire fraud—but lying about politics is common, legal, and frankly encouraged. If you sell knickknacks on the internet and you misrepresent their dimensions, that is probably a federal felony, but if you run for president on a platform of wild lies and dangerous conspiracy theories then you are just participating in a long and glorious tradition and you’ll probably win.