h a l f b a k e r yThink of it as a spell checker that insults you, as well.
add, search, annotate, link, view, overview, recent, by name, random
news, help, about, links, report a problem
browse anonymously,
or get an account
and write.
register,
|
|
|
World Windows
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.
Please log in.
If you're not logged in,
you can see what this page
looks like, but you will
not be able to add anything.
Annotation:
|
| |
Yes, this is all very clear. When you put it this way,
the surprising thing is that nobody is already doing it
this way. |
|
| |
And the choice of category makes perfect sense as well. |
|
| |
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. |
|
| |
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? |
|
| |
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. |
|
| |
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. |
|
| |
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. |
|
| |