<?xml version="1.0"?>
<rss version="2.0.">
  <channel>
    <title>Advogato blog for isenguard</title>
    <link>http://www.advogato.org/person/isenguard/</link>
    <description>Advogato blog for isenguard</description>
    <language>en-us</language>
    <generator>mod_virgule</generator>
    <pubDate>Thu, 24 Jul 2008 12:15:22 GMT</pubDate>
    <item>
      <pubDate>Sat, 21 Aug 2004 22:54:30 GMT</pubDate>
      <title>21 Aug 2004</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=10</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=10</guid>
      <description>
&lt;p&gt;&lt;b&gt;Just married!&lt;/b&gt;

&lt;p&gt;As the title suggests, I&amp;#8217;ve just got married.  This site is going to be updated soon with photos from the wedding, and with general news from both of us.  Tonight we&amp;#8217;re off to see Harry Potter and the Prisoner of Azkaban at the Imax, having failed to get tickets to tonights Prom concert.



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/general/" &gt;General&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000044/" &gt;07:11 PM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Wed, 29 Oct 2003 23:55:13 GMT</pubDate>
      <title>29 Oct 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=9</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=9</guid>
      <description>
&lt;p&gt;&lt;b&gt;Back in action&lt;/b&gt;

&lt;p&gt;Over the last couple of evenings I&amp;#8217;ve finally managed to get back to work on my thesis again.  If everything goes well, I should complete the second-to-last remaining technical chapter by the end of next week.



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/phd/" &gt;PhD&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000043/" &gt;09:51 PM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Fri, 26 Sep 2003 22:55:14 GMT</pubDate>
      <title>26 Sep 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=8</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=8</guid>
      <description>
&lt;p&gt;&lt;b&gt;Penultimate week in York&lt;/b&gt;

&lt;p&gt;I&amp;#8217;m just about at the end of my time in York now: next week I&amp;#8217;ll be moving down to London, and hopefully starting work the week after that.  This weekend I am away at a St Helen&amp;#8217;s training weekend, so after today I only have three days left in York.  Kind of strange in some ways, having lived here for three years, but having spent so much time in London during those three years it doesn&amp;#8217;t really feel like I will be moving to a new place.

&lt;p&gt;Yesterday evening I went round to Dave&amp;#8217;s after going to circuit training with Matt, and we had a good long discussion about Christian education.  Dave also played me a couple more fragments from his album (earlier in the week he played a group of us three tracks, all of which sounded excellent).  Apparently people searching for groups such as the Ozric Tentacles, &lt;a href="http://www.shpongle.com/" &gt;Shpongle&lt;/a&gt;, and &lt;a href="http://www.eatstatic.co.uk/" &gt;Eat Static&lt;/a&gt; are starting to find the web site for &lt;a href="http://skippymusic.co.uk/" &gt;Skippy Music&lt;/a&gt; (which is Dave&amp;#8217;s web site).  In addition to advertising for his upcoming album, he has posted quite a bit of tutorial information on &lt;a href="http://skippymusic.co.uk/guitaring.php" &gt;guitar playing technique&lt;/a&gt; which people seem to be finding interesting.

&lt;p&gt;I need to get around to posting information on my Moveable Type to Advogato gateway, which is a variation of &lt;a href="http://sisob.tuxfamily.org/archives/000040.html#more" &gt;sisob&amp;#8217;s method&lt;/a&gt;.

&lt;p&gt;In case anyone&amp;#8217;s interested, I also have a patch for debmirror kicking around that makes the current version function correctly for mirroring experimental.



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/general/" &gt;General&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000042/" &gt;11:06 AM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Tue, 23 Sep 2003 22:55:15 GMT</pubDate>
      <title>23 Sep 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=7</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=7</guid>
      <description>
&lt;p&gt;&lt;b&gt;Chapter finished&lt;/b&gt;

&lt;p&gt;Finished another thesis chapter today.  Only a couple more of the technical chapters to go, and then the bulk of the work is completely finished.



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/phd/" &gt;PhD&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000041/" &gt;12:41 PM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Mon, 22 Sep 2003 22:55:03 GMT</pubDate>
      <title>22 Sep 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=6</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=6</guid>
      <description>
&lt;p&gt;&lt;b&gt;Long time...&lt;/b&gt;

&lt;p&gt;Well, no update for ages, mostly because I&amp;#8217;ve been away quite a bit.  Since the last posting:

&lt;ul&gt;&lt;li&gt;Played in goal for my first football game for St Mike&amp;#8217;s, and got man of the match.  That was partly because I lost a contact lens 10 minutes into the second half, with the result that I could see two balls for most of the rest of the half, but still somehow managed not to let any goals in.
&lt;li&gt;Spent most of last week in London having job interviews, and have now got a job.
&lt;li&gt;Went to my last York house group; really sad to leave everyone there.
&lt;li&gt;Had my second and last St Mike&amp;#8217;s game, this time letting three goals in.
&lt;li&gt;Got very little thesis work done.
&lt;/ul&gt;



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/general/" &gt;General&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000040/" &gt;09:44 AM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Fri, 12 Sep 2003 22:55:03 GMT</pubDate>
      <title>12 Sep 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=5</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=5</guid>
      <description>
&lt;p&gt;&lt;b&gt;House group&lt;/b&gt;

&lt;p&gt;Church house groups started again this week, with a social evening last night.



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/general/" &gt;General&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000039/" &gt;10:28 AM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Thu, 11 Sep 2003 22:55:03 GMT</pubDate>
      <title>11 Sep 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=4</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=4</guid>
      <description>
&lt;p&gt;&lt;b&gt;Circuit training&lt;/b&gt;

&lt;p&gt;Matt and I went to circuit training at the Sports Centre again yesterday.  Matt had a particularly enjoyable time: lots of football skills, and the instructor misheard his name and spent the whole evening calling him &amp;#8220;Emmet&amp;#8221;.



&lt;div style="color: grey; font-size:small;"&gt;
	Posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; to &lt;a href="http://arotau.com/journal/general/" &gt;General&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000036/" &gt;08:38 AM&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Thu, 11 Sep 2003 09:53:59 GMT</pubDate>
      <title>11 Sep 2003</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=3</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=3</guid>
      <description>
&lt;p&gt;&lt;b&gt;Skippy Music goes live&lt;/b&gt;

&lt;p&gt;Went round to Dave&amp;#8217;s for dinner last night, and had a look at the website for his record label, &lt;a href="http://skippymusic.co.uk" &gt;Skippy Music&lt;/a&gt;.  All looking very nice, and I&amp;#8217;m hopefully going to be able to listen to some clips from the album soon, once he&amp;#8217;s got his monitors hooked up again.  After dinner we ended up having an extended discussion with Claire about capital punishment (Dave and I pro, Claire anti).

&lt;p&gt;I was intending to play football with the St Mike&amp;#8217;s team beforehand, but my lift didn&amp;#8217;t turn up.

&lt;p&gt;Went back into work later, and had quite a long chat to Steve.  Apparently we&amp;#8217;ve got a &amp;pound;50 gas bill, which seems a little excessive given that the heating&amp;#8217;s not on at the moment.

&lt;p&gt;This morning my phone (an &lt;a href="http://www.sonyericsson.com/t610/" &gt;Ericsson T610&lt;/a&gt;) decided it wasn&amp;#8217;t going to turn on, so now I&amp;#8217;ve got to take it back to the shop to see if they can fix it up.



&lt;div style="color: grey; font-size:small;"&gt;
	Originally posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; in the &lt;a href="http://arotau.com/journal/general/" &gt;General category&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000033/" &gt;10:28 AM, 10 September 2003&lt;/a&gt;
&lt;/div&gt;


&lt;p&gt;&lt;b&gt;Phone trouble&lt;/b&gt;

&lt;p&gt;This morning I went to Vodafone to get my phone fixed.  As I expected, they are going to have to send it away, so I&amp;#8217;ll have to wait a couple of weeks before I get it back (probably minus the phone book).  Annoyingly, the first phone they gave me (a very beaten-up Nokia 8210) had a broken microphone so I&amp;#8217;m now stuck with a horrible Siemens handset.



&lt;div style="color: grey; font-size:small;"&gt;
	Originally posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; in the &lt;a href="http://arotau.com/journal/general/" &gt;General category&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000034/" &gt;03:14 PM, 10 September 2003&lt;/a&gt;
&lt;/div&gt;


&lt;p&gt;&lt;b&gt;NR experiments&lt;/b&gt;

&lt;p&gt;Kicked off experiments for the final variant of &amp;lt;span class="caps"&amp;gt;NR&amp;lt;/span&amp;gt; during search.



&lt;div style="color: grey; font-size:small;"&gt;
	Originally posted by &lt;a href="http://arotau.com/" &gt;Lyndon Drake&lt;/a&gt; in the &lt;a href="http://arotau.com/journal/phd/" &gt;PhD category&lt;/a&gt; at &lt;a href="http://arotau.com/journal/000035/" &gt;07:16 PM, 10 September 2003&lt;/a&gt;
&lt;/div&gt;


</description>
    </item>
    <item>
      <pubDate>Fri, 9 Aug 2002 12:48:53 GMT</pubDate>
      <title>9 Aug 2002</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=2</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=2</guid>
      <description>&lt;p&gt;&lt;b&gt;Optimal Golomb Rulers&lt;/b&gt;
&lt;blockquote&gt;
&lt;p&gt;&lt;a href="http://www.advogato.org/person/bram/" &gt;bram&lt;/a&gt;: you might be interested in &lt;a href="http://www-users.cs.york.ac.uk/~tw/Papers/sswaaai00.pdf" &gt;this paper&lt;/a&gt; and those referenced by it on using CSP models and search algorithms to solve OGR problems.
&lt;/blockquote&gt;

&lt;p&gt; &lt;p&gt;&lt;b&gt;Model Checking&lt;/b&gt;
&lt;blockquote&gt;
&lt;p&gt;&lt;a href="http://www.advogato.org/person/raph/" &gt;raph&lt;/a&gt;: I was interested in your reference to model checking.  I work on SAT algorithms, and at least for some hardware model checking the state of the art is to encode the BMC problem as a SAT problem and solve that.  Have a look at &lt;a href="http://nusmv.irst.itc.it/" &gt;NuSMV&lt;/a&gt; for a free model checker that does all sorts of clever stuff.
&lt;/blockquote&gt;</description>
    </item>
    <item>
      <pubDate>Sat, 10 Mar 2001 23:03:50 GMT</pubDate>
      <title>10 Mar 2001</title>
      <link>http://www.advogato.org/person/isenguard/diary.html?start=1</link>
      <guid>http://www.advogato.org/person/isenguard/diary.html?start=1</guid>
      <description>&lt;p&gt;&lt;a href="http://www.advogato.org/person/pcburns/" &gt;pcburns&lt;/a&gt;: Despite God being able, if he
wished, to do anything we can do (and do it better), he
chose to first create us and then send his Son to redeem us.
&lt;p&gt;&lt;blockquote type="cite"&gt;This is how God showed his love
among us: He sent his one and only Son into the world that
we might live through him. - &lt;a
href="http://bible.gospelcom.net/bible?passage=1JOHN+4:8-10&amp;language=english&amp;version=NIV&amp;showfn=off"&gt;1
John 4:9&lt;/a&gt;&lt;/blockquote&gt;
&lt;p&gt;It is his love for me that &lt;a
href="http://bible.gospelcom.net/bible?passage=1JOHN+4:19&amp;language=english&amp;version=NIV&amp;showfn=off"&gt;motivates
me&lt;/a&gt; to act in service to him.  God chose to give me a
purpose in life, even though he was under no obligation to
(and from a human perspective, he has no reason to).

</description>
    </item>
  </channel>
</rss>
