Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

The Ultimate Challenge

Name: Anonymous 2014-11-29 16:57

Writa a program in untyped lambda calculus that prints "hello world" to stdout.

Name: Anonymous 2014-11-29 17:00

>>1
“prints "hello world" to stdout” is not computable.

Name: Anonymous 2014-11-29 17:29

>>2
Lambda calculus is Turing complete. So it should be possible, it's just that you can't do it.

Name: Anonymous 2014-11-29 17:35

How are you supposed to encode the letters?

Name: Anonymous 2014-11-29 17:36

>>3
Write a program in the untyped lambda calculus to eat a dick.

Name: Anonymous 2014-11-29 17:41

That's why it's called "the ultimate challenge". You losers will never be able to win it. Even if the challenge is just a hello-world in a Turing-complete language.

Name: Anonymous 2014-11-29 17:44

>>6
See >>5

Name: Anonymous 2014-11-29 17:47

>>7
Loser!

Name: Anonymous 2014-11-29 17:53

>>8
Losing is not computable.

Name: Anonymous 2014-11-30 12:15

>>1
I'm not going to do your homework for you, dirty reptillian.

Name: Anonymous 2014-11-30 18:13

>>10
I'm a red-blooded mammalian.

Name: Anonymous 2014-11-30 18:26

I'm a jew-blooded snake.

Name: Huskellfaggot 2014-12-02 10:43

There are multiple problems with this bait. First off: the idea of files does not exist in lambda calculus. Strings don't either. You can assume that an object like stdout is passed to the program in the beginning. Strings are a bit tougher, you can encode them as a number, easily enough. Using basic ASCII, there are 128 numbers. So each number can be gotten by getting the remainder from dividing the current ``array'' by 128 (the quotient would be the remainder of the array). Super simple stuff, anon.

Name: Anonymous 2014-12-02 11:00

>>13
In other words, lambda calculus can't do that and the concept of Turing-completeless is useless. Because here is a Turing-complete language that cannot even make a helloworld.

Name: Anonymous 2014-12-02 11:29

>>14
mental midget

Name: Anonymous 2014-12-02 11:32

>>15
And I'm Anon. Nice to meet you.

Name: Shlomo Steinberg 2014-12-02 12:02

>>16
I am Shlomo!

Name: Salmon McFish 2014-12-02 16:00

And I am Salmon.

Name: Anonymous 2014-12-02 16:16

>>18
Salmon Peyton Jones?

Name: Anonymous 2014-12-03 2:53

http://www.shlomifish.org/me/personal-ad.html

haha what a faggot maybe you should give him a call, nikita

I’m an intelligent, confident, and as a result - attractive and competent, geek and hacker,

http://www.shlomifish.org/images/shlomif-sglau-nsa-shirt-250w.jpg

doi i need a girl to lift hevvy things 4 me

Name: shlomo fish 2014-12-03 2:57

972-54-6232377
GIVE ME A CALL NIKITA OR I WILL BE TEMPTED TO SUGGEST THAT THE WORLD WAS NOT CREATED BY RICHARD DAWKINS. YES. I AM TEMPTED TO GO THERE.

Name: Anonymous 2014-12-03 3:45

Speaks English and/or Israeli Hebrew.
Shalom!

RICHARD DAWKINS
Shaloooom!

Name: Anonymous 2014-12-03 22:51

>>20
typical virgin jew
i have fucked over 68 touhous over the course of my entire life because i'm a lisp programmer, not because i put some reddity ad on my personal web page

Name: Anonymous 2014-12-04 0:04

>>23
I have had emotional sex with over 69 Youkai, not because i'm a lisp programmer but because I am a EXPERT PROGRAMMER!

Name: Anonymous 2014-12-04 0:06

>>24
degenerate monster fucker tsk

Name: Anonymous 2014-12-04 0:14

>>23
A Touhou would never fuck you.

>>24

A Touhou would never fuck you.

>>25

You wish a Touhou would fuck you.

Name: Anonymous 2014-12-04 0:15

I hate nikita so much, i literally can't sleep I hate him much for real. Tossing and turning all night, then I wake up too early boiling with rage thinking of that asshole. I've actually developed hypertension and several other health problems since I simply can't control the constant rage I feel towards him. Even typing his name has me trembling and fuming so intensely I can barely finish this post.

Name: Anonymous 2014-12-04 0:16

>>26
A Touhou would never fuck me, but I'd fuck a Touhou.

Name: Anonymous 2014-12-04 0:32

I want to fuggle a fairy. I bet Dai-chan would be fun.

Name: Anonymous 2014-12-04 0:40

>>28

Wrong assumption again. I can't fuck a Touhou.

Name: Anonymous 2014-12-04 0:41

>>30
You can't. He can.

Name: Anonymous 2014-12-04 0:54

　 　　　　　　　　　　　　　　　　　　　　　　　　 , -─-､
　　　　　　　　　　　　　　　　　　　　　　　　 / /￣ヽ　',
　　　　　　 ﾉ´＼「`ー-‐ｧ　　　　　　　　　　|__|　　ノ　ﾉ
　　　　　 く:::::::::::::＼:::::/｀7　　　　　　　　　　　　l´ r'´
　　　　　　 ＼::::::::::::∨／"´￣￣｀¨''　､,　　　　└┘
　　　　　　　　｀＞''"´￣｀ヽ､ __　 　 　　｀ヽ.　　 ○
　　　　　　　／　　　　　　　　　｀ヽ.　　　　　'.,
　　　　　　 ,'　　 /　 / ./|　　 ,　.　　'ヽ　　 　 ',
　　　 　 　 |　､　|/メ､/　!_　/|　i　　 　 ', 　 　 !
　　　　　　 ＼ﾊ/ ,ﾊ|j'　　ｧ;'＜__| 　　!　 ! 　 　|
　　　　　　 　／ r ''´　　　|ﾉ,ﾊヽ!　 /　/　　　 |
　　　　　　／　　!　　　 　 ゝ-'　|__/ﾄｧ' 　　 　 |
　　　　　/　 ／ ,ﾄ､　 ､　　 　"/ 　/ｲ　　　i 　 |
　　　　　!／|　 /| /＼　 　　 /　 / / 　 　 ! 　 !
　　　　　 　 |／ ﾚ'/`Y!>ｰｧ,/ .／_/!＞､／| 　/
　　　　　　　｀　　/ ./／/ｒ/／, '´　 ｀ヽ/　|／　´￣ ｀ヽ.
　　　　　　　　　/ ‐'､:::ﾑ::´／　　　　　|.　 /　　　　　　 　,
　　　　　　 　 ./　､ヽﾉ/:／　　 　　 　 .!　 l　　 　 　 　 　 i
　　　　　　　 ri　r､ﾝｲ::/　　　　　　 　/　　 、　　　　 　　 !
　　　　　　/´iゝ-‐ｲ´:::ﾄ､　 　_,　　／;'　　　 ` ｰ- ､　　　 |
　　 　 　 /　 `ー‐'i::::/　　 　　 ／//. 　　　 　 　　 ＼　./
　　　　 ri　　 ＿_,.'／　　　 　 /"´/　　　 , '⌒ヽ.　 　 ﾚ'
　　　　〈｀77´　　　｀　　 　　 ,':::::/　　　 /　,　--ヽ､_ノ
　　　　 ヽ!」　　　　　　　　　,ﾊ:::〈＼　　,'／
　　　　　　ﾊ､,＿＿,,.. -‐＜´:::::::::ヽ::〉、!

Name: Anonymous 2014-12-04 1:19

What's puzzling you, Konpaku-dono?

Name: Anonymous 2014-12-04 2:27

>>33
　 　　　　　　　　　　,ﾍr/'!_,..-─- ､.,_
　　　　　　　　　　 ｒi:::;ゝ'´=-..,,__ 　　｀ヽ.
　　　　　　　　　　くﾝ´　　　　 　｀ヽ.､　　ヽ.
　　　　　　　　　　 / ,　/ ､_ i　　,　 ヽ!　 　',
I WANT TO　　 く_/､ 」ｫ､!/! ./l_,.!- ﾊ　　 i
TRY DOING //.7.ゞ'└'ｧr-ｫ Li_」　 i
THE SEX! 　　く/ .ﾍ 　' ___　ゞ'´/ /　ﾊ !
BUT I HAVE 　　｀.!/｀>､'　 ) ,.イ､/!､/ !」
NO ONE TO　 　 　 ￣ ヾ'￣く／　｀ヽ.>ヽ
DO IT WITH! 　　　　　　　 く!/　 　　 　!ヽﾄ､
　　　　　　　　　　　　　　　　ゝ!､　　ｧ'"ヽ:::', ヽ.
　　　　　　　　　-=＝ﾆニ二く!/｀'ｰへ. 　 ヽ.! /_
　　　　　　　　　　　　　　　　 <::::::::::::::〉　 /!´ー'　　　　　i
─-- ..,,,,__ 　　　　　　　　　.r／7｀'ｰ/　 ./「　　　　　　　ﾊ
｀"'' ─-- 二_"__''　─-- ::;;;____「|_,/　 /::::ﾊ　　　　　　/ .ﾉ
　　　　　　　　　　￣ｒ.ア"'':ｰ--| l.　　,iﾆﾆ⊃ヽ　　　 　i （
　　　　　　　　　　 r＜:::::/::::::::::l.」ｰ‐'::::::/::::ﾑ〉>､　　　 i　｀ヽ.
　　　　　　　　　　 7''>rヽ二ゝ､:::::::::::::::/::::;:イﾝ　　　　ノ　　　|
　　　　　　　　　　｀7'ｰ''￣｀_rｧ'-､__.イ/ン´　　,. '" ￣ ｀ヽ.　 i
　　　　　　　　　　.!,ゝ､_､_,.／　 .,.-ｒ'ｰ'7　　　,' ,.　　　　 ､　　 i
　　　　　　　　 　/　　／　　　　|i::;イ'7　　　 i　・　 　　・　　　i
　　　　　　,.-‐ ｒ'ｰ-ン　　　　　 ヽ--'　　　　 ',　ヽ-' ｰ'　　　/
　　　　　 |i:::;イ｀ｰ'7　　　　　　　　　　　　　　 ヽ､.,_______,,. '
　　　　　 ヽ､__ﾆン

Name: Anonymous 2014-12-04 2:59

>>34
Hey skank, how 'bout you have sex with this!

* grabs dick *

Name: Anonymous 2014-12-04 3:12

>>34
You will stay forever alone you fucking slutty bitch.
*rapes*
*removes hands and legs*
*makes cuts on face*
*pees on the cuts and throws alcohol on them*
*licks >>35-san's neck*

Name: Anonymous 2014-12-04 3:53

>>36
Your post is bad and you should feel bad!

Name: Anonymous 2014-12-04 12:01

>>36
You missed a lot of defparameters andor defvars in your special var definitions there, bud.

Name: Anonymous 2014-12-04 13:10

>>36-35
Your posts are bad and you should feel bad.

Name: Anonymous 2014-12-04 14:28

>>37,39
epik reddit meme bros xD
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -