Making the simple complicated is commonplace; making the complicated simple, awesomely simple, that's creativity. -- Charles Mingus

Monday, April 24, 2017

Recording an Onlne Course

John Etchemendy and I spent some time last week recording material for our upcoming online course on the semantics of first order logic (using our Tarski's World courseware package).

Here are some pictures of the audio booth and studio in which we do our work.

Control room for the audio booth

Audio Booth recording area

Studio viewing teleprompter

Studio viewing stage



















Thanks to all the crew, led by our producer Colin Reeves-Fortney for their work in getting this course together.

Sunday, April 9, 2017

Mike Murray

After ten years working with us on the Openproof Project, Mike Murray has moved on to new adventures.

Mike is a very talented programmer, whose work has impacted every aspect of our project.  He leaves the project very much better than when he found it.

We therefore have an open position for a software developer. The advertisement is here.