00:05:49 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 01:59:23 -!- ihope has joined. 02:01:55 Hmm, how about a Brainf*** program that must increment a cell a number of times equal to Steinhaus's Mega? 02:35:44 shouldn't be hard to write 02:35:51 will take a while to execute, though 02:36:08 :-) 02:36:40 actually 02:36:47 the program is trivial to write 02:37:01 Just write + mega times? 02:37:03 yes :) 02:37:25 Well, let that be the first entry in the Mega Golf Contest. 02:38:08 a null program also works fine 02:38:16 Does it? 02:38:24 in 8-bit brainfuck, certainly 02:38:38 >:-) 02:39:40 Mega is clearly divisible by most powers of two :) 02:40:01 :-) 02:40:08 But it's smaller than almost all of them. 02:40:24 well 02:40:40 "most powers of two ever used in the context of information storage" :D 02:40:52 Hah. 02:42:38 Well, a nice big number is (aleph . aleph . aleph) 3. 02:43:29 i'm not familiar with that notation. 02:43:55 aleph (aleph (aleph 3)) 02:44:16 eh 02:44:18 i see 02:44:30 never thought of looking at aleph as a function. 02:45:52 Everything's a function! 02:47:13 Too many functions. 03:37:25 -!- ihope has quit (Read error: 110 (Connection timed out)). 03:40:03 Bye all 03:40:31 -!- Sgep has quit. 05:08:37 -!- Arrogant has joined. 05:40:44 -!- Paragon_ has joined. 06:07:51 -!- Arrogant has quit (Read error: 113 (No route to host)). 06:56:40 -!- GregorR has quit (Remote closed the connection). 07:01:04 -!- GregorR has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:00:22 -!- Gs30ng has joined. 09:30:27 -!- Paragon_ has quit ("I AM QUIT HAVE A NICE DAY"). 09:30:53 -!- jix has joined. 10:22:03 -!- J|x has joined. 10:29:53 -!- jix has quit (Read error: 145 (Connection timed out)). 10:53:27 -!- fungebob has quit (Read error: 110 (Connection timed out)). 10:58:24 -!- J|x has changed nick to jix. 13:06:27 -!- lirthy has joined. 13:24:33 hey lirthy 13:24:58 yep 13:58:10 -!- Gs30ng_ has joined. 14:17:44 -!- Gs30ng has quit (Read error: 110 (Connection timed out)). 15:56:18 i have a question... the number of the arguments of a function is called `arity'. then is there any term for the number of the return values of a function? 15:56:22 -!- Gs30ng_ has changed nick to Gs30ng. 15:58:08 "one" 15:59:13 lol 15:59:47 there are some functions which return several values 16:00:08 afaik, functions of Scheme is 16:00:19 and also in lambda calculus... untyped, maybe 16:33:35 -!- Sgep has joined. 17:21:35 -!- nooga has joined. 17:21:37 hi 17:22:19 when I watch recent changes on the wiki there are only spam deletion logs :D 17:24:41 btw. BDSM2 + Cool SADOL documemtation + mod_SADOL for apache are coming soon! 17:37:40 what 17:37:43 mod_SADOL? 17:37:46 omg 17:37:47 yea 17:38:08 ... ... :D 17:38:32 a little bonus 17:41:08 hm 17:41:53 then i'll write the official SADOL homepage in SADOL :D 17:44:11 that's SADO 17:44:55 http://www.99-bottles-of-beer.net/toplist_esoteric.html << LOOK!!! 17:45:02 WTF? 17:46:38 i'll better take screenshot :> 18:04:13 BSDM - Badly Developed Sadol Machine, is, in fact, developed in the best possible way 18:04:32 it's hella fast and it's optimizing code in many different ways 18:09:25 Gs30ng: in lambda calculus there is only one return value 18:09:40 and only one argument 18:10:36 jix: then what about ω 18:10:47 about what? 18:10:55 ω combinator in lambda calculus 18:11:26 it has one argument and one return value 18:11:40 it takes x and returns x applied to x 18:12:17 i see 18:23:55 i dont understand lambda calculus :> 18:24:45 -!- nooga has quit ("Lost terminal"). 18:26:34 Scheme indeed has multiple return values, but I think the term comparable to "arity of x" is "number of values returned by x". Or perhaps "arity of the continuation expected by x". 18:28:57 At least R5RS doesn't use any special word for it. 18:29:37 yeap 18:30:23 since we don't need that notion in case of general languages, it seems there's no specific word for it 18:31:57 damn english mistakes 18:32:07 i mean, with general, a lot of 18:49:41 lisp has multiple return values to 19:28:01 -!- fungebob has joined. 21:05:37 -!- Gs30ng has quit ("잠"). 21:41:40 jix: i don't think there's necessarily only one argument in lambda calculus. 21:44:31 typed LC anyway 21:44:43 * lament attempts to check this 21:45:51 hm, wikipedia agrees with you 21:50:08 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 22:38:53 -!- pgimeno has quit (niven.freenode.net irc.freenode.net). 22:39:36 -!- pgimeno has joined.