00:26:36 -!- ihope has quit ("CGI:IRC (Ping timeout)").
00:55:07 <Slereah-> Why did Alan Turing used those ugly characters for his paper?
01:04:42 -!- Slereah has joined.
01:19:22 -!- digital_me has joined.
01:30:22 -!- Slereah- has quit (Read error: 110 (Connection timed out)).
01:35:48 <Slereah> "A number which is a description number of a circle-free machine will be called a satisfactory number. In 8 it is shown that there can be no general process for determining whether a given number is satisfactory or not.
01:42:42 -!- oklopol has quit (Remote closed the connection).
04:58:43 -!- Sgeo has quit (Success).
05:49:00 <pikhq> There are better RPN calculators, and better languages.
05:49:11 <pikhq> Not that dc is bad; just that there's better.
06:07:29 <bsmntbombdood> when you got your driver's license, did you get a temporary one on a slip of paper?
06:07:54 <pikhq> I don't have a driver's license.
06:08:09 <pikhq> But I did get a temporary *permit* on a slip of paper before my permit was shipped to me, yes.
06:12:09 -!- oerjan has joined.
06:14:42 -!- digital_me has quit (Read error: 104 (Connection reset by peer)).
06:20:47 <oerjan> Slereah: lazy K uses a special encoding of streams as combinators. The program is a function from the encoding of the input to the encoding of the output.
07:13:37 -!- GreaseMonkey has joined.
07:49:59 -!- GreaseMonkey has quit ("Who keeps reincarnating sliced bread?!").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:21 -!- oerjan has quit ("leaving").
08:45:48 -!- pikhq has quit (Read error: 110 (Connection timed out)).
09:18:02 -!- pikhq has joined.
09:49:53 -!- sebbu has quit (Read error: 110 (Connection timed out)).
09:54:39 -!- sebbu has joined.
10:28:11 -!- sebbu2 has joined.
10:44:16 -!- sebbu has quit (Read error: 110 (Connection timed out)).
13:19:52 -!- jix has joined.
13:26:57 -!- helios_24c3 has joined.
13:35:13 -!- RedDak has joined.
13:54:34 -!- helios_24c3 has quit ("Leaving").
14:19:21 <Slereah> What's the size of a Python integer
14:39:07 -!- jix has quit ("CommandQ").
15:24:42 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
15:40:55 <Slereah> Will Python assume a number to be a long integer if it goes beyond the limit, or do I have to define it as one?
15:45:59 <Slereah> Well, apparently. It just needed 15 minutes to arrive there apparently!
16:10:23 <tesseracter> hmm, i thought i was in #python for a second there...
16:11:21 <tesseracter> Slereah: python will make the int longer automagically
16:18:50 -!- helios_24c3 has joined.
16:38:52 -!- helios_ has joined.
16:39:59 -!- helios_24c3 has quit (Read error: 113 (No route to host)).
16:40:31 -!- jix has joined.
17:01:10 -!- oklopol has joined.
17:27:03 <Slereah> Don't worry tesseracter. It's for esolang-related purpose.
17:28:31 <tesseracter> no worries. did you see the python 1-liner calculator?
17:30:01 <tesseracter> that channel must be just as silly as eso when it gets going
17:30:44 <tesseracter> so ive been looking for a good app to write in LOLCODE... any ideas?
17:31:06 <Slereah> A loop that writes "DESU"?
17:32:48 <tesseracter> maybe like, a alicebot written in LOLCODE... a LOLbot?
17:33:27 <tesseracter> i bet it would be pretty good turing test competitor
17:34:04 <Slereah> It might be impossible to distinguish from a /b/tard!
17:36:41 <pikhq> It's not esoteric, it's merely a crime against humanity.
17:44:56 <tesseracter> pikhq: LOLCODE is like a vacation after working with brainfuck. bf is a crime too, but thats why were in #esoteric
17:45:06 <pikhq> If I can read the language without going "WTF?" or without reading it at all, then it is not esoteric.
17:45:15 <pikhq> s/reading/understanding/
17:45:44 <pikhq> A real esolang? {M[m(_o)o?"Hello, world!"(_o)O.!]}
17:45:47 <tesseracter> pikhq: then obviously you understand LOL too much.
17:46:04 <pikhq> It's not hard at all.
17:46:27 <pikhq> LOLCODE is essentially isomorphic to, say, Perl or Python. Trivial.
17:46:43 <pikhq> It's about as 'interesting' as, say, MOO.
17:47:05 <pikhq> (and, unlike MOO, not even remotely esoteric. Just boring.)
17:48:06 <Slereah> But it's full of syntactic kittens!
17:48:56 <pikhq> It's mundane syntax, and run-of-the-mill semantics.
17:49:42 <pikhq> Why can't it have more interesting things, like, say, COMEFROM?
17:50:03 <pikhq> Or all variables as Rubik's cubes?
17:50:58 <Slereah> Well, it wasn't invented to be esoteric.
17:51:10 <Slereah> Much like the name indicates, it was pretty much for the lulz.
17:51:39 <pikhq> I just hate it when people think it's 'esoteric'.
17:52:04 <pikhq> Granted, most of that, we got over months ago, since people stopped coming into #esoteric to talk about it.
17:54:14 -!- oerjan has joined.
17:56:18 <pikhq> Good morning, H. Champion Oerjan.
17:57:07 <tesseracter> pikhq: i dunno. i think its a good thing to have people being introduced to worthless coding via LOLCODE. coding just for the hell of it. do you actually want everyone coming in here 1. complaining that esolangs are worthless, 2. asking for help in their malbolge programs?
17:57:24 <oerjan> why thank you H. Champion Pikhq.
17:58:03 * pikhq begins to wish his proposals on Madness, Elephants, and Referential Titles had passed. . .
17:58:23 <pikhq> "Madness" to make the statement "We're all mad" TRUE, thereby overturning the courts.
17:58:29 <oerjan> Hm, Referentially Transparent Titles...
17:58:33 <pikhq> Elephants were going to be over there, doing the same.
17:58:42 <tesseracter> what was everyones first esolang they heard of? mine was java2k.
17:58:59 <oerjan> probably INTERCAL, long ago
17:59:11 <pikhq> And Referential Titles would just formalise things like "H. Champion foo" and "H. Formerly-Registered bar", and (what I'm most proud of) "Suffusion of Yellow Rishonomic".
17:59:27 <oerjan> i vaguely recall hearing about it long before finding the esolang community
18:00:03 <Slereah> Although... No, it was Intercal.
18:00:23 <Slereah> I saw it on some drawing on programming languages.
18:00:29 <Slereah> and from there I found Brainfuck.
18:01:55 <pikhq> I first heard of Brainfuck.
18:02:07 <pikhq> From there, I went batshit-insane. :p
18:03:49 <oerjan> well clearly Unlambda was what really pulled me in
18:06:56 <Slereah> Well, for using Unlambda, you prety much have to be!
18:07:20 <Slereah> I wonder if there's a language that's based on -recursive fonction.
18:07:35 <Slereah> Some sort of unlambda *rimshot*
18:09:38 <pikhq> Since oerjan is a mathematician, we expect him to be drawn to the functional languages.
18:09:51 <pikhq> Since he codes in Haskell, this is only natural.
18:10:16 <pikhq> And how can one blame him for liking the functional Brainfuck?
18:10:30 <oerjan> actually i think i learned haskell _after_ unlambda. i don't quite remember.
18:10:58 <pikhq> The point remains.
18:11:20 <oerjan> also, i had already heard of combinatory logic
18:11:49 <oerjan> and i was wondering if one could make a weird programming language based on it - and found out i was reinventing the wheel
18:13:59 <oerjan> may have been someone in Agora that pointed it out
18:15:27 -!- jix has quit ("This computer has gone to sleep").
18:25:33 -!- jix has joined.
18:26:36 -!- helios_ has quit ("Leaving").
18:29:22 <Slereah> I wish I knew of the split function before.
18:29:31 <Slereah> It's not pleasant to dig back in a code.
18:36:52 -!- jix has quit ("CommandQ").
18:40:28 -!- helios_24c3 has joined.
18:46:40 -!- calamari has joined.
18:58:29 -!- jix has joined.
19:33:38 -!- jix has quit (Nick collision from services.).
19:33:50 -!- jix has joined.
19:34:07 -!- jix has quit (Remote closed the connection).
19:42:34 -!- jix has joined.
19:57:29 <dbc> Okay. A god does not need means to reach his ends. Right? He's not enmeshed in a causal framework, as we are, so he doesn't have to do thing A to make thing B happen. If he wants B to happen, it happens.
19:58:08 <dbc> So forget the "giving his son to save mankind" stuff. If his son got tortured in mortal form, it's because God wanted him tortured.
20:02:44 <Slereah> But maybe we can make a language out of it.
20:03:21 <oerjan> just the problem of evil again, really
20:03:25 -!- Sgeo has joined.
20:03:46 <Slereah> Can it be made equivalent to the halting problem?
20:07:15 <Sgeo> Slereah, what?
20:52:12 -!- Slereah- has joined.
21:09:55 -!- Slereah has quit (Read error: 110 (Connection timed out)).
21:15:17 -!- oerjan has quit ("Good night").
21:30:54 * Sgeo pokes pikhq and GregorR et. al.
21:31:00 <Sgeo> Anyone still care about PSOX?
21:32:02 <pikhq> However, I'm Ploffing ATM.
21:32:13 <pikhq> My body is trying *not* to clean my room.
21:40:55 <Sgeo> Important question that I've asked before, but not as clearly as would be helpful: Is it possible to tell whether a process is waiting for input on STDIN?
21:41:20 <pikhq> I actually don't think so.
21:47:36 -!- RedDak has joined.
22:12:45 -!- jix has quit ("CommandQ").
22:16:18 -!- jix has joined.
22:16:22 -!- pikhq has quit (Read error: 110 (Connection timed out)).
22:43:55 -!- helios_24c3 has quit ("Leaving").
22:46:53 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
22:50:55 -!- oklopol has joined.
22:54:40 -!- pikhq has joined.
22:58:19 -!- jix has quit (Read error: 113 (No route to host)).
23:40:44 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).