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

Final submission

ICFP 2012 Posted on Mon, July 16, 2012 13:39:02

We have now made our submissions.

Improvements from yesterday:

* Can move rocks if needed in some cases

* Avoid blocking the lift with falling rocks

* Handle beards by shaving them if in the way

* Handle lambda-rocks in simple cases

A bit more intelligent solver

ICFP 2012 Posted on Sun, July 15, 2012 22:35:35

Some progress today:

* The solver can now remove a piece of dirt to be able to move a rock in some cases.

* It can make some use of trampolines.

* It has a panic mode that tries to fix things when it doesn’t know what to do.

Still to do:

* Remove rocks in general, when blocking other stuff.

* Stop stuff from falling and blocking other stuff.

* Handle beards.

* Handle lambda-rocks.

* Deciding in what order to do stuff.

More eye candy

ICFP 2012 Posted on Sun, July 15, 2012 10:41:39

The viewer can now show all the new refinements. Note the tiny text indicators on trampolines. 🙂

Naïve solver

ICFP 2012 Posted on Fri, July 13, 2012 21:58:16

We have now implemented the game logics, and a very naïve pathfinding solver. It doesn’t really even solve the example maps, but it gets some points. It’ll do for a lightning round submission..

Ah, graphics!

ICFP 2012 Posted on Fri, July 13, 2012 15:50:45

We extracted the bitmaps from the pdf and started making a graphical viewer/debugger.

Contest page updated

ICFP 2012 Posted on Wed, May 30, 2012 15:48:21

The contest has been announced here:

I guess they’ll update to point to soon.

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.

Next »