I got this recipe off the internet as a carrot-based recipe. Our opinion was that it had promise but was too carroty (and too ricey). This is the modified version which just got enthusiastically hoovered up by B (though if he hadn't given up on counting calories for the day I suspect he wouldn't have eaten it all - for those interested in such ( Read more... )

Achieved:

• Decided what to say in Dream Talk*
• Gave up on critic and decided to see if we could get IsaPlanner to do what it should do after the critic happened. Got part way through implementing this, then got stuck on the need to use Middle-Out Reasoning (which means leaving blank bits in your proof and filling them in later) because MJo ( ( Read more... )

Several people now have told me these posts are entirely jibberish however I want to document the progress of our thought on the project. It's all under the cut but I don't suggest you read it unless you are actually interested in agents, programming and/or model checking.

( And now the science bit )

G.'s birthday is approaching which means Bill and I have entered our customary book-buying frenzy.

Does anyone have any recommendations for good books for 4-year-olds (I'm particularly looking at ladyofastolat here)? G. likes books with a bit of a story (although she seems to find ladybird fairytales retold a little complex) but short enough to be read in one ( Read more... )