Sun 2019-12-01 
White saddle fungus, Helvella crispa, one of several growing on the ground under an oak tree.
This one had more of a 'saddle' top:
I took it as a specimen:
It yielded the following spores (mgnification x600, image width 86um):
These are about 16x11um which agrees well with the 16-21 x 10-14um given at MushroomExpert.com.
Specimen taken in Whiteknights Park, Reading, UK, on 2019-11-30.
Sun 2019-10-20 Our notion of category is that of [Eilenberg & Mac Lane, 1945]. We identify objects with their identity maps and we regard a diagram A--f-->B as a formula which asserts that A is the (identity map of the) domain of f and that B is the (identity map of the) codomain of f.
From the start of the PhD thesis of F. William Lawvere ( Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories, 1963).
Fri 2019-10-11 Here is a good recent talk by Jay Parlar on using the Alloy Analyzer to find bugs in software designs.
Sat 2019-08-31 
Another bivoltine species, at least in southern UK. Again based on specimens collected between 2014 and 2019, mostly in the Reading area but with a few from north Yorkshire and a few from the New Forest.
Mon 2019-08-26 
A stem gall on bramble (Rubi fruticosus) caused by the larvae of the wasp Diastrophus rubi (Hymenoptera: Cynipidae). Identified using the key of Redfern & Shirley, 2011.
For images of the contents and later stages of these galls see here.
Specimen take in Thames Valley Park, Reading, UK on 2019-08-26.
