Comments Off on How it’s made: Dream Cars (Season 1)
**AUGUST 19TH, 2015**

By AMBS
Bentley Continental GT Speed

It is strange, but yeah, recently I’ve been watching this series. Good part, small episodes, about cars, with lots of robots that I like. Bad part, a lot of repetition at some point, given most cars are made in the same way. No surprise there. Anyway, it is a good series to understand the price of some of these cars, and also to understand how automatic or manual are they built. Trying not to make any spoilers, if a documentary can have spoilers, and if I recall correctly, from this first season, Porsche 911 is, undoubtful, the one which production is more automated.

Comments Off on The Joy of Logic (2013)
**MAY 24TH, 2015**

By AMBS
Socrates syllogism

For something completely different, today I talk (erm, write) about a BBC documentary on **Logic**. It starts with **Socrates Syllogisms** up to **Boole algebra**. Then a quick visit on Mathematics nightmare of trying to prove Mathematics logically (yeah, Maths aren’t logic!), introducing **first order logic**. Then, we get back to Boole algebra and **Alan Turing**, and understand how it changed the world, and how you, my friend, are using Boole algebra in your computer, at levels you might not think of.

This should be a **required** documentary for every computer science student (or researcher). It is really worth to “*lose*” a class to show this to our students.