In a waiting room this week I opened a newspaper to find the following puzzle, named “Suko” (a trademark of Puzzler). Various approaches exist to solving them manually and it’s possible to play online. However they are an excellent candidate for an SMT solver so I decided to implement one using pysmt. The puzzle The idea behind Suko is simple (manually solving is not!). In the puzzle above the following requirements must be met:
During the recent site cleanup I decided to disable comments and remove (most) previous comments from the site. This post explains my reasoning.
I’ve given this site a long overdue tidy, finally moving away from Wordpress to a static site.
This post is entirely based on my opinions. If you don’t want to read a post about my opinions there are plenty of excellent videos on YouTube. You have been warned.
Banks and financial institutions are constantly giving out advice about email safety, helping customers to avoid phishing scams. Make sure the email is genuine, don’t click on links, never give your personal information away online. Sensible advice, unless the financial institution doesn’t make it easy to actually verify their emails.
In short: SiteWizard are dirty annoying spammers who try random email addresses to send their silly SEO spam. They need to stop doing this.
A quick note for anybody using libnids on a 64-bit machine (AMD64), you will need to compile with
-fno-strict-aliasing if you use optimisation at
-O2 or above. Without it libnids will silently fail to provide you any data.
Today I wanted to quickly calculate a truth table for a simple boolean equation. Whilst this can be done very simply on paper it becomes tedious with lots of inputs.
A quick Google search found “Logic Friday”, available at sontrak.com. Boolean operations can be described using logic gates, truth tables or an equation.
Today I removed clamav from my VPS, which was built into the mail service I run. There are a small number of users and a few thousand messages a week - I liked that I was probably offering some small protection to those people. However all have endpoint anti-virus and most are wise enough to know about malicious email attachments.