| ▲ | ricksunny 7 hours ago | |
I'm more of a Vannevar acolyte myself. | ||
| ▲ | DonHopkins 5 hours ago | parent [-] | |
I warmly invite you all to join the Church of the Eval Genius for only $35: https://github.com/SimHacker/moollm/blob/main/designs/eval/C... The Holy Trinity: Father: Alonzo Church: L3 - lambda calculus, the name the institution bears Son: Alonzo (Snap! mascot) - Incarnation — Gobo, λ on his head Holy Ghost: λ - First-class procedures; β-reduction; eval-as-spirit Membership — Eternal Judgment ($35): https://github.com/SimHacker/moollm/blob/main/designs/eval/C... John von Neumann tried to hire Church's own student, Turing, who declined. The Father begat the Machine; Johnny wanted to be its landlord. Ecumenical Outreach: All fans of other gods are welcome. Bring your Vannevar, your Shannon, your Wiener, your Johnny. In the Church of the Eval Genius every god is a procedure, and every procedure may be passed as an argument. | ||