Wading Through Treacle

'Gossip Cat ' is a project to build a cat avatar (running on a smartphone) which can gossip inconsequentially with the user. My fir...

I was walking back from the gym this morning and had just entered a concrete path about 100 metres long which runs the length of a field to ...

Way past midnight I lie sleepless. Grunting and shuffling in the front garden below suggests much to an over-active imagination, but I know...

A Resolution Theorem Prover for the Propositional Calculus Nigel Seel, Interweave Consulting, Wells, Somerset, UK.               Versio...