00:05:49 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
01:59:23 -!- ihope has joined.
02:01:55 <ihope> Hmm, how about a Brainf*** program that must increment a cell a number of times equal to Steinhaus's Mega?
02:35:44 <lament> shouldn't be hard to write
02:35:51 <lament> will take a while to execute, though
02:36:47 <lament> the program is trivial to write
02:37:01 <ihope> Just write + mega times?
02:37:25 <ihope> Well, let that be the first entry in the Mega Golf Contest.
02:38:08 <lament> a null program also works fine
02:38:24 <lament> in 8-bit brainfuck, certainly
02:39:40 <lament> Mega is clearly divisible by most powers of two :)
02:40:08 <ihope> But it's smaller than almost all of them.
02:40:40 <lament> "most powers of two ever used in the context of information storage" :D
02:42:38 <ihope> Well, a nice big number is (aleph . aleph . aleph) 3.
02:43:29 <lament> i'm not familiar with that notation.
02:43:55 <ihope> aleph (aleph (aleph 3))
02:44:30 <lament> never thought of looking at aleph as a function.
02:45:52 <ihope> Everything's a function!
02:47:13 <ihope> Too many functions.
03:37:25 -!- ihope has quit (Read error: 110 (Connection timed out)).
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:58:10 -!- Gs30ng_ has joined.
14:17:44 -!- Gs30ng has quit (Read error: 110 (Connection timed out)).
15:56:18 <Gs30ng_> 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:59:47 <Gs30ng> there are some functions which return several values
16:00:08 <Gs30ng> afaik, functions of Scheme is
16:00:19 <Gs30ng> and also in lambda calculus... untyped, maybe
16:33:35 -!- Sgep has joined.
17:21:35 -!- nooga has joined.
17:22:19 <nooga> when I watch recent changes on the wiki there are only spam deletion logs :D
17:24:41 <nooga> btw. BDSM2 + Cool SADOL documemtation + mod_SADOL for apache are coming soon!
17:38:08 <nooga> <body> ... <?sadol {...} ?> ... :D
17:41:53 <nooga> then i'll write the official SADOL homepage in SADOL :D
17:44:55 <nooga> http://www.99-bottles-of-beer.net/toplist_esoteric.html << LOOK!!!
17:46:38 <nooga> i'll better take screenshot :>
18:04:13 <nooga> BSDM - Badly Developed Sadol Machine, is, in fact, developed in the best possible way
18:04:32 <nooga> it's hella fast and it's optimizing code in many different ways
18:09:25 <jix> Gs30ng: in lambda calculus there is only one return value
18:09:40 <jix> and only one argument
18:10:36 <Gs30ng> jix: then what about ω
18:10:47 <jix> about what?
18:10:55 <Gs30ng> ω combinator in lambda calculus
18:11:26 <jix> it has one argument and one return value
18:11:40 <jix> it takes x and returns x applied to x
18:23:55 <nooga> i dont understand lambda calculus :>
18:24:45 -!- nooga has quit ("Lost terminal").
18:26:34 <fizzie> 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 <fizzie> At least R5RS doesn't use any special word for it.
18:30:23 <Gs30ng> since we don't need that notion in case of general languages, it seems there's no specific word for it
18:32:07 <Gs30ng> i mean, with general, a lot of
18:49:41 <jix> lisp has multiple return values to
19:28:01 -!- fungebob has joined.
21:05:37 -!- Gs30ng has quit ("잠").
21:41:40 <lament> jix: i don't think there's necessarily only one argument in lambda calculus.
21:44:43 * lament attempts to check this
21:45:51 <lament> 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.