I took a course in Occam at university, though we weren't allowed to program the Transputers themselves. Occam had the nice property of being able to produce co

I took a course in Occam at university, though we weren't allowed to program the Transputers themselves. Occam had the nice property of being able to produce code that could be proven mathematically correct. We were allowed to see the output from a Meiko Computing Surface (with something like 64 Transputers) generating fractal zooms in real time (circa 1990). Several years later I discovered a Transputer (in its storage case) abandoned in the drawer of the desk I was assigned in my first "real" job, so I kept it as a souvenir. https://en.wikipedia.org/wiki/Occam_(programming_language) https://en.wikipedia.org/wiki/Occam_(programming_language) https://en.wikipedia.org/wiki/Meiko_Scientific https://en.wikipedia.org/wiki/Meiko_Scientific