Please log in.
Before you can vote, you need to register. Please log in or create an account.
Computer: Display Protocol
World Windows   (0)  [vote for, against]
Uses lambda expressions to describe the space of programs that terminate

Use a lambda mathematically pure language and map its state at regular intervals while it tests software. This 'should' map a surface that may be able to be fitted to a fractal equation.

By mapping a range of sub sequences one can map their influence on composites of sub sequences.
-- lostmind, Jun 03 2015

Yes, this is all very clear. When you put it this way, the surprising thing is that nobody is already doing it this way.
-- MaxwellBuchanan, Jun 03 2015


And the choice of category makes perfect sense as well.
-- normzone, Jun 03 2015


I presume he's using "other" as a pun on Siegfried Oether (or Öther), who was one of the pioneers of topological computing and composite spaces.
-- MaxwellBuchanan, Jun 03 2015


Ah, fond memories! S. Öther's classic paper "Späßische Töpölögikë und späßieren kompöziëren mußen wïnkeln unterschrübiërrenn" was my favourite article I read in my first year. But I no longer have it. Do you think you could send me a phötokopie of yours?
-- pocmloc, Jun 03 2015


I would, but to be honest the detail in the cartoons doesn't come out well on my photocopier.

Öther is still alive and well and doing stand-up (well, nowadays he uses a chair). I think there's a YouTube of him doing his "Recursive Topologies and Formally- closed Solution Spaces" routine at the Montreal comedy festival. The footnotes will crack you up.
-- MaxwellBuchanan, Jun 03 2015


Thanks for the youtube link! The bit I loved best about that video was his aside, reminiscing about his abortive military career. I also enjoyed the running 'manifold destiny' gag.
-- pocmloc, Jun 03 2015


He used the 'manifold destiny' gag in his "Problematic Embeddings" tour back in 2011, I think. But it stands the test of time. It's a pity the YouTube stops before his encore, when he riffed ad-lib on audience members' favourite homeomorphisms.
-- MaxwellBuchanan, Jun 03 2015



random, halfbakery