iota combinator

I haven't posted here in awhile. It has been brought to my attention that there are only 35 Google search results for "iota combinator". This needs to be corrected.
ι = λ x . x (λ f g y . f y (g y)) (λ y z . y)
That is the definition of iota in terms of lambda calculus. Iota is complete for lambda calculus. I would like to build a system on top of iota. Somebody already has. It's called lazy K.
I learned a lot of what I know about iota from Wikipedia and from Iota and Jot: the simplest languages?
  • Current Music
    slogan - fan noise
  • Tags

How to find me when I'm not posting on LJ.

A busy semester is drawing to a close. Senior year has been hectic so far.
I haven't been blogging much, but I have been reading RSS feeds and sharing things that follow a somewhat specific rule:
If I would want to feed an item into my currently unimplemented event system, I share it. That means my Google Calendar spams it quite a bit, as does a small fraction of my Facebook friends' status updates.
Anyway, my Google page links to ways for people to observe me on the web, and I update it whenever I get a new way. I'm unlikely to blog about the fact that I discovered Twitter over the summer, for instance, but I'll add a permanent link to it on my Google page.

(no subject)

Poor Grendel's had an accident.
So may you all.

Best line of the movie, and repeated more than once with the same inflection: "I'm Beowulf!"
  • Current Music
    pokemon blue chiptune of one of the routes (track 19)
  • Tags

(no subject)

My Personality
Openness To Experience
You are introverted, reserved, and quiet with a preference for solitude and solitary activities. Your socializing tends to be restricted to a few close friends. You can be easily upset, even by what people consider the normal demands of living. People consider you to be sensitive and emotional. As a practical person you like to think in plain and simple terms. Others describe you as down-to-earth, practical, and conservative. You have some concern with others' needs, and are generally pleasant, sympathetic, and cooperative. You are reasonably reliable, organized, and self-controlled.

Test Yourself Compare Yourself View Full Report

Funky MySpace Layouts.

  • Current Music
    Kyle Creasey - Pink Noise
  • Tags

(no subject)

23 is the most probable sum-of-digits for a 5-digit base-ten number, just as 7 is the most probable (exactly 50%) roll of 2d6
the smallest possible value of a 5-digit base-ten number is 10000, which adds to one
the greatest is 99999, which adds to 45
nothing adds to less than one and nothing adds to more than 45
there's probably a really nice proof somewhere that shows that the distribution is linear up and then down like it is with dice, but i don't know it
suffice it to say that a six-dimensional surface representing the sum function (dot product with vector whose dimensions are all one) over Z105 (the five-dimensional natural field) looks like a five-space just as 2d6 is a diagonal plane including the line from (1,1,2) to (6,6,12) and a perpendicular horizon of height seven from (1,6) to (6,1)
2d6: 1+6 = 7
1d9 + 4d10: 1+45 = 23 * 2
or something
so yeah, the number 23 is a statistical thing, and not at all anomalous
  • Current Music
    Audio Adrenaline - Hands and Feet
  • Tags