Computing

Solving Suko with pysmt

In a waiting room this week I opened a newspaper to find the following puzzle, named “Suko” (a trademark of Puzzler).

Suko puzzle from The Times

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.

libnids on 64-bit architecture machines

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.

Logic Friday

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.

Goodbye, clamav

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.

Forcing SSL browsing in Apache

The Apache vhost configuration snippet below will force any non-SSL requests for a website to be rewritten to an HTTPS site instead. This is useful to ensure that clients cannot accidentally browse an insecure site, but they don’t have to remember or bookmark a particular URL. I use it for lionserver.co.uk, click the link to see it in action. ServerName secure.example.co.uk ServerAlias www.example.co.uk ServerAlias example.co.uk RewriteEngine On RewriteCond %{HTTPS} !on RewriteRule ^/(.

Flyspray

More dead bugs

Where bugs go to die

I was surprised today to receive an email about a bug. In itself this isn’t uncommon, but I didn’t remember the bug very well. The bug in question is Wireshark bug #1850. I was using tshark for a work project and lacked the skills to fix it myself. Why was it a surprise? I reported it onĀ 2007-09-17 14:01 PDT. Even allowing for Pacific Daylight Time that’s a rather long time ago.

Highlighting admin comments in the Responsive theme

One thing I like about some blogs is that you can easily see when the admin has replied to comments. It is easy to tweak the Responsive theme to change the colour of these comments by including a few lines of CSS. Click on “Appearance -> Theme Options” in the WordPress admin section, then expand the “Custom CSS Styles” section. You should put the CSS here instead of editing the theme because it will persist when you upgrade the theme.

Ticketweb followup

Ticketweb (a UK arm of Ticketmaster) have confirmed that someone was able to send emails to subscribers fraudulently. Their initial response was covered on the Naked Security blog. A second email was sent out this evening: One part which stands out says: We sincerely regret any concern that may have been caused by this incident and we can assure you we took immediate action to close the unauthorised access as soon as it was identified.