![](/i/fill.gif) |
![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
Every single-digit power of two is a homophone in English
I am not 2 hungry, 4 I 8 food I 1.
--
Darren New, San Diego CA, USA (PST)
"How did he die?" "He got shot in the hand."
"That was fatal?"
"He was holding a live grenade at the time."
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
And lo On Tue, 01 Feb 2011 19:50:46 -0000, Darren New <dne### [at] san rr com>
did spake thusly:
> Every single-digit power of two is a homophone in English
>
> I am not 2 hungry, 4 I 8 food I 1.
Which leads to the classic:
11 was a race horse
12 was one too.
11 won one race
12 won one too.
--
Phil Cook
--
I once tried to be apathetic, but I just couldn't be bothered
http://flipc.blogspot.com
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
On 02/02/2011 10:56 AM, Phil Cook v2 wrote:
> Which leads to the classic:
>
> 11 was a race horse
> 12 was one too.
> 11 won one race
> 12 won one too.
Buffalo buffalo buffalo buffalo.
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
And lo On Wed, 02 Feb 2011 11:01:12 -0000, Invisible <voi### [at] dev null> did
spake thusly:
> On 02/02/2011 10:56 AM, Phil Cook v2 wrote:
>
>> Which leads to the classic:
>>
>> 11 was a race horse
>> 12 was one too.
>> 11 won one race
>> 12 won one too.
>
> Buffalo buffalo buffalo buffalo.
Though that's not number based, with punctuation and capitalisation I
prefer
Buffalo buffalo buffalo Buffalo buffalo, buffalo buffalo.
Though the following also makes sense to me.
Buffalo buffalo buffalo Buffalo buffalo, buffalo buffalo buffalo Buffalo
buffalo.
--
Phil Cook
--
I once tried to be apathetic, but I just couldn't be bothered
http://flipc.blogspot.com
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
"Phil Cook v2" <phi### [at] nospamrocain freeserve co uk> wrote:
> And lo On Wed, 02 Feb 2011 11:01:12 -0000, Invisible <voi### [at] dev null> did
> spake thusly:
> > Buffalo buffalo buffalo buffalo.
>
> Though that's not number based, with punctuation and capitalisation I
> prefer
>
> Buffalo buffalo buffalo Buffalo buffalo, buffalo buffalo.
>
> Though the following also makes sense to me.
>
> Buffalo buffalo buffalo Buffalo buffalo, buffalo buffalo buffalo Buffalo
> buffalo.
Argh! Brain melted. I had to look up wikipedia's breakdown, and even then I had
to read it several times. Excellent.
:)
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
On 02/02/2011 12:23 PM, Bill Pragnell wrote:
> Argh! Brain melted. I had to look up wikipedia's breakdown, and even then I had
> to read it several times. Excellent.
Ix -> x
Kxy -> x
Sfgx -> (fx)(gx)
Xa -> aSK
XX -> XSK -> (XS)K -> (SSK)K -> SSKK -> (SK)(KK) -> SK(KK) -> SK
X(XX) -> X(SK) -> (SK)SK -> SKSK -> (KK)(SK) -> KK(SK) -> K
X(X(XX)) -> X(K) -> KSK -> S
X(X(X(XX))) -> X(S) -> SSK ~= I
[since SKKx -> (Kx)(Kx) -> Kx(Kx) -> x]
Does your brain hurt yet?
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
> Which leads to the classic:
>
> 11 was a race horse
> 12 was one too.
> 11 won one race
> 12 won one too.
or
11 was 1 race horse
22 was 12
1111 race
22112
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
Invisible <voi### [at] dev null> wrote:
> Ix -> x
[snip etc]
> Does your brain hurt yet?
Nope, I have no frame of reference so it's meaningless to me. Knowing you, it's
probably esoteric mathematical notation. Or maybe a pronounciation guide ;)
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
Bill Pragnell wrote:
> Invisible <voi### [at] dev null> wrote:
>> Ix -> x
>
> [snip etc]
>
>> Does your brain hurt yet?
>
> Nope, I have no frame of reference so it's meaningless to me.
Upper case is function names, lower case is arguments, -> is "returns".
Ix->x means there's a function I that takes an argument and returns it -
identity.
Kxy -> x - K takes two arguments and returns the first. (This is the "K
combinator" or something that some famous venture capitalist named his
company after.)
Sfgx -> (fx)(gx) - Given functions f and g, apply f to x and g to x, and
then apply the result of the first call (which is a function) the the result
of the second call. I think.
Continue from there.
This is all normal "how to define a programming language formally" sorts of
stuff. There are actual (obviously specialized) programming languages (like
LOTOS) that you write this way.
--
Darren New, San Diego CA, USA (PST)
"How did he die?" "He got shot in the hand."
"That was fatal?"
"He was holding a live grenade at the time."
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
Darren New <dne### [at] san rr com> wrote:
> This is all normal "how to define a programming language formally" sorts of
> stuff. There are actual (obviously specialized) programming languages (like
> LOTOS) that you write this way.
Cool, I thought it might be something like that. Not that esoteric if you're a
proper computer scientist! Me, I'm just a humble code monkey :)
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |