Incrementalizing λ-calculi by static differentiation
1
Name:
Anonymous
2015-02-20 7:42
Is this for real? This is almost like a ``Fundamental Theorem of λ-calculus.''
http://lambda-the-ultimate.org/node/5115
2
Name:
Anonymous
2015-02-20 8:23
That's a great idea. Surprised to see LtU in /gorp/.
3
Name:
Anonymous
2015-02-20 11:01
Challenge: write a `Hello world' program in Lambda Calculus.
4
Name:
Anonymous 2015-02-20 11:12
>>2 Are you new around here?
5
Name:
Anonymous
2015-02-20 12:02
>>4 I've posted LtU myself a few times but I have only seen it posted once or twice by others. Maybe you're less surprised because you have seen the posts I made.
6
Name:
Anonymous 2015-02-20 13:23
Bringing stuff from ltu is a terrible idea. Here's why:
7
Name:
Anonymous
2015-02-20 20:02
>>3 It's too hard for them, I've already tried.
8
Name:
Anonymous
2015-02-21 3:46
>>5 But Onii-chan, I've posted LtU at least a dozen times on the old world4ch
/prog/ .
9
Name:
Anonymous
2015-02-21 6:05
I hate returning to /prog/ and finding no responses to any of my shitposts!
10
Name:
Anonymous 2015-02-21 6:10
>>9 Tell me which one was yours and I'll retweet it.
11
Name:
Anonymous
2015-02-21 7:14
>>9 It has been read and appreciated, but no one has yet come up with a worthy response.
12
Name:
Anonymous
2015-02-21 8:32
Newer Posts