h a l f b a k e r y[marked-for-tagline]
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,
|
|
|
Please log in.
Before you can vote, you need to register.
Please log in or create an account.
|
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.
[link]
|
| |
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. |
|
| |