Blog Image

The meandering ways of Sir Bedevere the Wise

What's this?

This is the blog of a team that competes in the annual ICFP programming contest

Repo available

ICFP 2010 Posted on Mon, June 21, 2010 16:07:24

Now that the contest is over, we’ve made our bitbucket repo public:

Fun of obfuscation

ICFP 2010 Posted on Mon, June 21, 2010 14:48:04

The official contest blog now states this:

The circuit design, and the ternary coding, were really there just for
the fun of obfuscation.

Yeah. The kind of fun that caused us to give up after spending a day trying to understand how to get the prefix, after having successfully reverse engineered the gate logic and the server’s input string in a couple of hours.

No progress

ICFP 2010 Posted on Sun, June 20, 2010 00:18:58

This has been a day of almost no progress. We are no nearer to understanding how to approach transformation from an input sequence to an output sequence. We’re running a brute force attempt at the moment, but it doesn’t seem very promising.

Circuit visualization

ICFP 2010 Posted on Sat, June 19, 2010 10:13:51

We thought it would be good to be able to visualize the circuits, so I added dot-file generation from the circuit specification. Looks nice, but I’ve got to get the ordering right..

Executable circuits

ICFP 2010 Posted on Fri, June 18, 2010 22:52:22

We can now execute circuits ourselves on any input. We now know the input string from the server, and the desired output to produce the prefix. Some points can’t be far off!

Some small steps forward

ICFP 2010 Posted on Fri, June 18, 2010 20:57:07

After lot of manual work we now think we have found the gate logic. We have put together an identity operator circuit to get the input string from the server. Now we need to write an engine to execute the circuit code in order to find the desired key prefix.

Cars and fuel

ICFP 2010 Posted on Fri, June 18, 2010 15:22:38

The 13th ICFP contest has started. This year’s contest is all about cars and fuel. Should suit us well, hopefully. Currently we are just trying to understand the problem. It seems rather complicated…