purplecat: Hand Drawn picture of a Toy Cat (Default)
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 things I reckon it works out as around 120 calories per 100g).

Picture under the cut )

Serves 2 as a main.

1 tbsp cumin seeds
200g carrots, sliced
200g parsnips, sliced
100g turnip, sliced
1 onion, finely chopped
1 tin chickpeas, drained
1 tbsp olive oil
125ml vegetable stock
1 tbsp lemon juice
1/3-1/2 cup dried rice
1/4 cup sunflower seeds
30g feta cheese, crumbled or chopped as your cheese allows
Pepper to season

1. Preheat oven to 190 degrees C.
2. Grind the cumin seeds to a powder (toast first if you feel keen)
3. Combine the sliced vegetables, onion, chickpeas, olive oil and cumin in a roasting dish. Stir to coat everything with cumin and oil.
4. Pour over the stock and lemon juice, cover with tin foil, and bake in the oven for 30 minutes.
5. If using a rice cooker, put the rice on to cook around now, otherwise start cooking the rice after about 25 minutes.
6. Remove foil and return to the oven for about 10-15 minutes.
7. Remove from the oven, toss in the rice, sunflower seeds and feta cheese. Season with pepper.

In other news. The NuWho rewatch is suspended until NLSS Child feels up to Blink. She has seen bits of this in the Internet and a few years ago it led to a whole "I can't take showers because of falling statuary" panic, made the more bizarre because we own no statues, let alone any in the bathroom. She has agreed to watch it on a weekend morning (it having been made clear that not washing isn't an option), but I'm away this weekend so it may have to wait until next weekend.

Meanwhile, she has to read a number of different sorts of book for school, and has selected The Hitch-hikers Guide to the Galaxy as her humour book (a choice endorsed by her teacher). This has led to a certain amount of defensiveness on tame layman's part. He is currently forcibly playing her the radio series on the grounds it is superior and she should listen to it before reading the book.
purplecat: Hand Drawn picture of a Toy Cat (Default)

  • 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 (implementor of Middle-Out Reasoning in IsaPlanner had to go for circuit training).

  • More profitable discussions of proof specification languages - decided to try and write it up as a Blue Book Note** tomorrow.

  • Agreed on datatype axioms to be provided for TPTP THF. Also agreed I should email GS and CB to request a "datatype" keyword in TPTP THF.

  • Arranged to meet DA tomorrow afternoon.

  • Attended an informal talk on Qigong.

  • Following an emergency email, phoned G.'s school to say that her father had sprained his ankle (tackling his PhD student during a football game) so if an entirely strange man turned up to collect her he should not be treated as a pedophile of any description, only to find that B. had managed to get their phone number after all and had already spoken to them.

  • Phoned home to a conversation that included such choice gems as "I told G. I could pour her some orange juice but she'd have to come and collect it herself" and "I don't think I can manage to cook pasta for supper since I can't carry the saucepan". He said not to come home early, but then amended it to see how much pain he was in tomorrow morning.

To Do:

  • Write proof specification language stuff up as a Blue Book Note.

  • Get middle-out reasoning working in IsaPlanner.

* My description of a DReaM Talk has got lost in comments somewhere. It's a 90 minute talk in which the use of slides and projection equipment is discouraged but handouts are allowed. It's supposed to cover work-in-progress, or areas of current difficulty and audience participation is expected. It's called Dream because the Mathematical Reasoning Group occasionally fancifully refers to itself as the Discovery and Reasoning in Mathematics (DReaM) group.

** The Blue Book Note web page is also password protected so there is no point linking to it. They are a series of short notes on work in progress and are specifically for "epsilon-baked ideas where 0 < epsilon < 1". They are called Blue Book Notes after Wittgenstein's Blue Book in which he wrote lecture notes which (AB at least) asserts are frequently contradictory. These days the notes are also stored in a series of lever arch files. At the time of writing there are 1,627 of these of which I have written 42 - putting me 7th in the "who has written the most blue book notes" league table. However AB has written 433 so I'm not going to be topping that league table any time soon.

the current result of all the proof specification language discussions )
purplecat: Hand Drawn picture of a Toy Cat (agents)
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 )

On hearing that a programming language was named after her G. immediately asked if she could program in it. I baulked a bit since its a long way off being anything approaching a sensible teaching language. In the end I said she could once she could program, confident in the knowledge this is probably several years away. With some satisfaction, a few days later when we attended a Curriculum Morning a the school, B. pointed out the note that listed "programming" in the IT curriculum for the summer term this year...
purplecat: Hand Drawn picture of a Toy Cat (Default)
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 [livejournal.com profile] 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 sitting (mind you she was keen on "Fantastic Mr Fox" but I've not had any success with other longer books such as "The Owl who was Afraid of the Dark" or "Miss Happiness and Miss Flower" but this might mean that we should get hold of a few longer stories for later in the year).

She's right on the edge of being able to read (knows all the letters recognises a few "key words" (cat, dog, G., the, and) by sight and can puzzle out simple phonics (three letter words with a short vowel sound in the middle mostly)) and is interested in the concept of the Peter and Jane books but, I think, finds them both a little dull and a lot of hard work - something which perhaps had bits for me to read and then simple bits for her to read might be good, if anyone knows of such a thing, so that the pace and interest was maintained alongside some reading practice.

She also appears fond of poetry (She has a poetry book mostly aimed at much younger children of which she is fond, but she also likes Old Possum's book of Cats).



purplecat: Hand Drawn picture of a Toy Cat (Default)

April 2019

 1 234 5 6
7 8 91011 12 13
14 15 16 17 18 19 20


RSS Atom


Style Credit

Expand Cut Tags

No cut tags