00:18:07 -!- olsner has quit ("Leaving").
00:41:36 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Oh god it smells of java..
00:43:03 <dogface> Just what does purely constraint-based mean?
00:44:19 <dogface> Hmm. Indeed, we should do it.
00:58:38 -!- GreaseMonkey has joined.
01:13:00 -!- tritonio__ has joined.
01:13:35 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)).
01:50:04 <psygnisfive> hey
01:50:25 <psygnisfive> i mean that the language, or rather, its syntax, is not generated by a set of rules
01:50:32 <psygnisfive> but rather is merely constrained
02:38:46 <dogface> The syntax is constrained?
02:39:11 <dogface> So there are most likely multiple consistent parses?
02:43:21 <psygnisfive> there are no parses :)
02:44:31 <psygnisfive> you just map syntactic entities to semantically relevant units by way of checking the constraints
02:44:55 <dogface> Oh.
02:45:11 <psygnisfive> an example of a constraint might be something like..
02:45:43 <psygnisfive> *unary-op[i] ... arg[i]
02:46:03 <psygnisfive> that is, its _invalid_ to have a unary operator separated from its argument
02:46:33 <psygnisfive> thats just a silly little constraint tho, but you get the point
02:47:00 <psygnisfive> i dont now how we could use it but
02:47:15 <psygnisfive> the mappings to semantics shouldn't be complicated tho
02:47:51 <psygnisfive> we could use a coindexing system to describe it
02:48:51 <psygnisfive> op{i} ... arg{j}[i] <===> op{i}(arg{j})
02:48:54 <psygnisfive> or something like that
02:49:18 <psygnisfive> or some mapping to an abstract syntax
02:49:52 <psygnisfive> op{i} ... arg{j}[i] <==> (op{i} arg{j})
02:50:28 <psygnisfive> if we're using lisp as the language to represent the abstract syntax
02:51:43 <psygnisfive> i dont know of any CS applications of constraint grammars tho, so i can't really say how it might look
03:16:07 -!- Trinithis has joined.
03:16:18 <Trinithis> esolangs?
03:16:58 <Trinithis> ah, the chan serv answers
03:17:21 <Trinithis> would anyone know chris pressey's email?
03:17:54 <Trinithis> or at least language specs for SMITH?
03:31:19 <dogface> Ello.
03:31:28 <dogface> I could probably get one or the other.
03:31:58 <dogface> Thank you for not leaving before anyone could answer your question. :-)
03:34:45 <dogface> This looks like a SMITH spec: http://catseye.tc/projects/smith/doc/smith.html
03:49:19 <Trinithis> Yeah I know... too bad its kinda vague
03:49:33 <Trinithis> thanks anyway
03:50:01 <Trinithis> GO ESOLANGS!!!!
03:50:28 <Trinithis> There should be an Esobot that is written in an esolang powerful enough to write one
03:51:46 <pikhq> Heh.
04:28:20 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)).
04:28:34 -!- psygnisfive has joined.
04:29:19 -!- dogface_ has joined.
04:42:51 -!- dogface has quit (Read error: 110 (Connection timed out)).
05:10:27 -!- dogface_ has quit (Read error: 110 (Connection timed out)).
05:21:05 -!- psygnisfive has quit ("Leaving...").
06:41:36 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | lemme read....
06:58:37 <fizzie> optbot: Congratulations on picking a line that matches well with the backlog thing for the topic.
06:58:37 <optbot> fizzie: did either book mention schroedinger's cat?
06:58:54 <fizzie> optbot: Either book? Huh? What books are we talking about?
06:58:55 <optbot> fizzie: i think i can compile BF into it
06:59:09 <fizzie> optbot: BF into what? NURRR so confused.
06:59:09 <optbot> fizzie: lament!
06:59:15 <fizzie> optbot: optbot!
06:59:16 <optbot> fizzie: Why don't people in #esoteric understand the concept of writing it yourself for the sake of writing it yourself X_X
06:59:49 <fizzie> optbot: I would think that people in #esoteric would understand that relatively well, compared to programmers in general.
06:59:49 <optbot> fizzie: and I know they're not likely to fuck up the memory management
07:00:24 <fizzie> optbot: Well, I guess that's true too.
07:00:24 <optbot> fizzie: !ps
07:00:35 <fizzie> optbot: No processes running.
07:00:35 <optbot> fizzie: it's sauna, bye for a while..
07:00:44 <fizzie> Ok, bye.
07:00:53 <fizzie> (How does a bot go to sauna anyway?)
07:25:03 -!- AnMaster has quit ("shutting down due to electricity maintainance, all systems offline until noon UTC+2").
07:26:56 -!- kar8nga has joined.
07:35:48 -!- olsner has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:32 -!- DarkPants has joined.
08:13:18 -!- olsner has quit ("Leaving").
08:14:01 -!- GreaseMonkey has quit (Nick collision from services.).
08:14:06 -!- DarkPants has changed nick to GreaseMonkey.
08:20:23 -!- jix has joined.
08:20:49 -!- kar8nga has left (?).
08:53:51 -!- GreaseMonkey has quit (Read error: 110 (Connection timed out)).
08:58:23 -!- Trinithis has quit ("Leaving").
09:30:19 -!- Mony has joined.
09:31:47 -!- Mony has quit (Client Quit).
09:33:40 -!- Mony has joined.
09:34:10 <Mony> hi
09:35:12 <funktio> hi
10:20:22 -!- jix has quit ("This computer has gone to sleep").
10:25:00 -!- KingOfKarlsruhe has joined.
10:28:36 <Slereah_> Dudes.
11:45:40 -!- AnMaster has joined.
11:51:41 -!- tusho has joined.
11:53:08 -!- KingOfKarlsruhe has quit (Remote closed the connection).
12:10:28 -!- Slereah_ has quit (Read error: 113 (No route to host)).
12:33:09 -!- Slereah_ has joined.
12:36:09 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)).
12:37:22 <fizzie> Gah, is FILE's 'R' supposed to sign-extend the bytes? At least RC/Funge-98 reads 0x80 as cell value -128...
12:38:10 <fizzie> The current manual says "Functions W and R write cells as bytes, any cells containing values greater than 255 will have the top bits stripped."
12:40:20 <fizzie> I already have to do 00ge1g*10g+e1g*20g+e1g*30g+ to read a 4-byte big-endian int (e1 has constant 256), I don't want to make it 00ge1g+e1g%e1g*... to turn that -128 into (-128 + 256) % 256 = 128.
12:41:36 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | in CLC-INTERCAL you can even change the grammar at runtime.
12:42:00 <fizzie> optbot: What do you think of my 'R' issue?
12:42:00 <optbot> fizzie: i don't know .. try it :)
12:42:13 <fizzie> optbot: But I just tried it! And it sign-extends! Should it?
12:42:14 <optbot> fizzie: TASTE GREEN GOO
12:42:45 <fizzie> That wasn't veryr helpful.
13:04:20 -!- KingOfKarlsruhe has joined.
13:13:24 -!- KingOfKarlsruhe has quit (Remote closed the connection).
13:17:00 -!- KingOfKarlsruhe has joined.
13:19:53 -!- KingOfKarlsruhe has quit (Remote closed the connection).
13:22:32 <tusho> green goo solves everything, fizzie
13:22:35 -!- tusho has quit (Remote closed the connection).
13:22:50 <fizzie> optbot: Okay, where can I get me some green goo?
13:22:51 <optbot> fizzie: 'IT'?
13:22:52 -!- tusho has joined.
13:23:05 <tusho> fizzie: green go solves everything
13:23:11 -!- jix has joined.
13:23:33 <fizzie> I noticed. I even asked optbot where I can get some, but the reply was just "'IT'?"
13:23:33 <optbot> fizzie: <__main__.IRCFileWrapper instance at 0xb7c8140c>
13:23:38 <tusho> fizzie: sorry client crashed
13:23:43 <tusho> didn't know if you got it
13:23:44 <tusho> hmm
13:23:48 <tusho> optbot: why are you exposing python internals?
13:23:48 <optbot> tusho: http://www.formauri.es/personal/pgimeno/temp/99bottles.mp3
13:23:51 <tusho> You are written in Ruby.
13:23:56 <tusho> And I don't see how 99bob is related.
13:27:32 -!- kar8nga has joined.
13:27:40 <AnMaster> <fizzie> Gah, is FILE's 'R' supposed to sign-extend the bytes? At least RC/Funge-98 reads 0x80 as cell value -128... <-- no clue
13:27:45 <AnMaster> I think I don't sign extend it
13:27:57 <AnMaster> well not sure what I do actually
13:28:31 <AnMaster> indeed I don't think I sign extend
13:29:43 <AnMaster> unsigned char * restrict buf
13:29:44 <AnMaster> then
13:29:46 <fizzie> Yes, I peeked at cfunge sources and since the buffer there is unsigned char, I think you read the bytes as [0, 255].
13:29:50 <AnMaster> fread(buf, sizeof(unsigned char), n, fp) != (size_t)n
13:30:02 <AnMaster> fizzie, there you are then
13:30:10 <AnMaster> it is probably undef and you can't depend on it at all
13:30:15 <fizzie> Although "sizeof(unsigned char)" is pointless, it's always 1.
13:31:57 <AnMaster> fizzie, true
13:32:06 <fizzie> Gneh, and % on negative numbers was a bit UNDEF too, right?
13:32:13 <AnMaster> fizzie, yes it is
13:32:20 <AnMaster> that is the reason for MODU
13:33:36 <fizzie> Maybe I should use MODU 'U', then; e1gU is shorter than e1g+e1g%.
13:34:08 <AnMaster> fizzie, maybe
13:34:27 <AnMaster> fizzie, anyway why do you need chars greater than 127?
13:34:54 <fizzie> I'm reading 32-bit big-endian integers from a file.
13:34:57 <AnMaster> ah
13:35:04 <AnMaster> fizzie, may I ask why?
13:35:54 <fizzie> Well, basically because I happened to write 32-bit big-endian ints. Heh, maybe I'll "fix" it by only writing 7-bit characters, I don't need that much range anyway.
13:36:03 <AnMaster> um
13:36:07 <AnMaster> why big-endian
13:36:32 <fizzie> I like it. And since I'll be reading them as bytes, anyway, I'd rather use the endianness I like.
13:36:39 <AnMaster> any try to convert it will cause issues
13:36:46 <AnMaster> hm ok
13:37:19 <tusho> Big-endian is humanist. :-)
13:37:26 <AnMaster> true
13:37:34 <tusho> (For most, at least.)
13:37:41 <tusho> (I don't know of any little-endian number systems.)
13:37:49 <fizzie> "Some of my best friends are big-endian!"
13:38:42 <tusho> On little-endians' equality with big-endians: "I have a dream."
13:38:48 <AnMaster> I'm happy with either personally in computers. Mixed endian or such I dislike
13:38:59 <tusho> AnMaster: Apartheid, ey?
13:39:02 <tusho> You endianist.
13:39:16 <AnMaster> tusho, well mixed endian is confusing
13:39:30 <tusho> AnMaster: OH. You need numbers to be all in your nice little order, do you? Can't handle them being DIFFERENT?
13:39:44 <AnMaster> tusho, either big or little endian is ok for me
13:39:51 <tusho> But never both, eh?
13:39:53 <AnMaster> just not PDP endianness or similar
13:39:56 <tusho> They can never mingle. Marry. Have children.
13:40:07 <tusho> You disgusting pig of a man. You are stuck in the past!
13:40:09 <AnMaster> sigh, please stop trolling
13:40:18 <tusho> Stop biting the hook. :)
13:40:26 <AnMaster> I didn't
13:40:41 <AnMaster> I just assumed you would stop joking
13:41:01 <tusho> Why would repeating your opinion stop me joking?
13:41:04 <tusho> Also, this is #esoteric.
13:41:06 <tusho> Why would we stop joking?
13:41:26 <AnMaster> tusho, how is botte coming along?
13:41:31 <AnMaster> or any of your other projects?
13:41:59 <tusho> Quite well, in that "I could implement them right now no problem" but "I'd prefer to do this other thing because it interests me more at the moment".
13:42:17 <tusho> Chromosome is the current thing I'm mulling over.
13:42:27 <AnMaster> k
14:24:48 -!- Hiato has joined.
14:29:29 <tusho> http://www.amazon.com/gp/redirect.html/ref=cm_plog_item_link?ie=UTF8&location=http%3A%2F%2Fwww.nigeltomm.com%2Fbookblock-9781419693618.pdf&token=424E8FEF642C211BEF677EB82C11599497EE4D77 <-- this is an actual printed book
14:30:29 <tusho> btw.
14:30:30 <tusho> CLUSTERS = %w(ab eb ob ub ac ec oc uc ad ed od ud af ef of uf ag eg og ug ah eh
14:30:30 <tusho> oh uh aj ej oj uj al el ol ul an en on un ap ep op up ar er or ur as es os us at
14:30:31 <tusho> et ot ut av ev ov uv aw ew ow uw az ez oz uz)
14:30:37 <tusho> anyone have any better two-letter clusters?
14:30:42 <tusho> they're strung together
14:30:49 <tusho> like "uzadutob" or "esowot"
14:35:14 -!- Slereah_ has joined.
14:38:29 <tusho> hi Slereah_
14:38:32 <tusho> "esowot" reminded me of you
15:00:03 <AnMaster> tusho, they look like locale names to me
15:00:06 <AnMaster> not sure though
15:00:31 <tusho> no
15:00:36 -!- tusho has quit ("And then-").
15:05:04 -!- tusho has joined.
15:05:26 <tusho> AnMaster: did I say no?
15:05:27 <tusho> well, no
15:05:27 <tusho> :D
15:05:30 <tusho> I made them up
15:05:43 <tusho> each vowel sans i (confusion with e)
15:05:53 <tusho> followed by every consonant save c (confusion with k)
15:07:10 <tusho> unfortunately you can't get "shit"
15:07:11 <tusho> as it has no i
15:07:13 <tusho> what a shame
15:07:33 <tusho> not sure if you could get "fuck"
15:07:39 <tusho> nope
15:26:02 <tusho> anyway.
15:26:10 <tusho> just wondering if anyone has a better list of little clusteries.
15:37:19 <fizzie> I'm not sure what is "better" in this sense.
15:40:04 <AnMaster> tusho, what are the rules for combining them?
15:40:17 <tusho> AnMaster: Just base length-of-clusters.
15:40:24 <AnMaster> hm?
15:40:29 <tusho> fizzie: Well, I want you to be able to tell this to someone and then have them be able to type it out without much fuss.
15:40:32 <AnMaster> so you can pick any combination of then
15:40:34 <AnMaster> them*
15:40:36 <tusho> AnMaster: ... what?
15:40:43 <AnMaster> I don't get what you mean
15:40:48 <tusho> i can tell.
15:41:24 <tusho> AnMaster: base 10
15:41:27 <tusho> is {0,1,2,3,...,10}
15:41:32 <AnMaster> yes
15:41:36 <AnMaster> I know what base 10 is
15:41:42 <AnMaster> base 8 too and so on
15:41:42 <tusho> this is base {ab,eb,ob,etc}
15:41:48 <tusho> the digits are clusters of two letters
15:41:57 <tusho> and a number expressed in it is pronouncable
15:41:59 <AnMaster> so... ab = 0? eb = 1 and so on?
15:42:03 <AnMaster> err
15:42:03 <tusho> ab=1 actually
15:42:04 <AnMaster> ?
15:42:07 <tusho> 0 cannot be represented in it
15:42:09 <AnMaster> ah
15:42:09 <tusho> (because I don't need 0)
15:42:16 <tusho> anyway
15:42:23 <tusho> I was just asking if anyone has some more/better clusters to add to the list
15:42:33 <AnMaster> hm
15:42:41 <AnMaster> how do you define "better"?
15:43:04 <fizzie> You could just take the N most frequent character-pairs of <insert a favourite language>, if you don't mind the fact that there's no sense in the list then.
15:43:54 <AnMaster> well you could also take every possible combination of two letters that are valid in said language
15:43:56 <tusho> AnMaster: just as many as possible that can generate pronouncable words without too many ambiguities.
15:44:08 -!- Hiato has quit ("Leaving.").
15:44:17 <tusho> bkanift is not pronouncable
15:44:25 <tusho> cakailou is ambiguous
15:44:39 <AnMaster> tusho, bkanift is pronouncable
15:44:44 <tusho> AnMaster: not very
15:44:45 <AnMaster> not easily I agree
15:44:49 <tusho> it's not natural, anyway
15:44:50 <AnMaster> but still pronouncable
15:44:59 <tusho> and the latter is "Ca Ca Ill Oo"
15:45:00 <AnMaster> "cakailou is ambiguous"
15:45:01 <AnMaster> err
15:45:04 <tusho> could be cacailoo
15:45:05 <AnMaster> what do you mean?
15:45:07 <tusho> kakailu
15:45:07 <tusho> etc
15:45:13 <AnMaster> I don't know either of those words
15:45:17 <tusho> AnMaster: they're not words.
15:45:19 <AnMaster> ah
15:45:25 <tusho> but "cakailou" is not an acceptable output
15:45:28 <tusho> as it's pronounced "ca ca ill oo"
15:45:32 <tusho> which could be any number of things
15:45:36 <tusho> cacailoo, kakailu etc
15:45:48 <tusho> the current cluster pairs only have c, no k etc
15:45:57 <AnMaster> tusho, you couldn't get illo in your cluster I think
15:45:59 <tusho> and no i (sometimes "ee" as in e)
15:46:03 <tusho> AnMaster: yes - but I'd quite like to expand the list
15:46:11 <tusho> and possibly improve it to get more variety of words
15:46:13 <AnMaster> tusho, first reason: no i
15:46:19 <tusho> because CVCVCV (etc) is a bit boring
15:46:25 <tusho> and yes I know my current list is quite good at it
15:46:25 <AnMaster> yeah exactly
15:46:37 <tusho> but it could be better in the variation and size points
15:47:03 <AnMaster> <tusho> http://www.amazon.com/gp/redirect.html/ref=cm_plog_item_link?ie=UTF8&location=http%3A%2F%2Fwww.nigeltomm.com%2Fbookblock-9781419693618.pdf&token=424E8FEF642C211BEF677EB82C11599497EE4D77 <-- this is an actual printed book
15:47:04 <AnMaster> huh
15:47:08 <AnMaster> long chapter too
15:47:16 <tusho> yeah and only a few words
15:47:16 <tusho> :P
15:47:18 <AnMaster> and strange
15:47:24 <tusho> apparently that really long word means "girl or bitch"
15:47:35 <tusho> the other books that guy has written are great
15:47:37 <AnMaster> tusho, well I wonder what the other chapters are like
15:47:39 <tusho> he has like 20 chapters of that blah story
15:47:44 <AnMaster> ah
15:47:45 <tusho> AnMaster: each chapter is one book
15:47:48 <AnMaster> tusho, all are as long?
15:47:52 <tusho> dunno
15:47:52 <AnMaster> and as strange?
15:48:00 <tusho> but they're all mostly nonsensical sentences involving blah :D
15:48:03 <tusho> he also has this book about hamlet
15:48:06 <tusho> where he rearranged hamlet some way
15:48:12 <tusho> so you get sentences like "to help the help"
15:48:14 <AnMaster> tusho, well, I wouldn't buy that blah book
15:48:30 <tusho> AnMaster: i would buy all of them if I had the money, for the novelty of having a full collection
15:48:37 <tusho> i'd have scholarly discussions about them
15:48:56 <AnMaster> 1) it would be heavier than an omnibus edition of the The Lord of the Rings books
15:49:05 <AnMaster> 2) it would be wasted money
15:49:17 <tusho> it'd only be wasted money if you don't consider it art :P
15:49:49 <AnMaster> I do like art, just not all art
15:49:55 <AnMaster> I'm all for Mona Lisa and so on
15:49:56 <AnMaster> :P
15:50:07 <tusho> yawn
15:50:10 <tusho> paintings
15:50:13 <tusho> what a boring definition of art
15:50:24 <AnMaster> well I like other art too. hm...
15:50:40 <AnMaster> music could be considered art definitely
15:50:47 <tusho> i like conventional (pictures & music) kinds of art (although music isn't as often considered art as paintings, unfortunately)
15:50:51 <tusho> and strange (programs, etc)
15:50:53 <AnMaster> and I like Beethoven for example
15:50:57 <tusho> i consider some games art
15:51:02 <tusho> video or otherwise
15:51:06 <AnMaster> tusho, chess?
15:51:15 <tusho> AnMaster: yes
15:51:20 <AnMaster> interesting
15:51:26 <AnMaster> yes I can see what you mean
16:09:38 -!- Slereah_ has quit (Read error: 113 (No route to host)).
16:33:16 -!- Slereah_ has joined.
16:53:29 -!- olsner has joined.
17:00:35 -!- kar8nga has quit (Connection reset by peer).
17:01:11 * tusho decides to torture himself and gets ready to play Mondo Medicals & Mondo Agency
17:01:17 -!- kar8nga has joined.
17:08:24 -!- kar8nga has left (?).
17:22:58 -!- tusho has quit.
17:37:32 -!- dogface has joined.
17:38:23 <dogface> This is a bluebell of changing English at runtime. And by "bluebell", I mean "example".
17:44:54 <dogface> In other news: ZFC + "ZFC is consistent" entails ZFC + "ZFC is consistent" + "ZFC + 'ZFC is consistent'" is consistent. Since ZFC + "ZFC is consistent" entails its own consistency, it is inconsistent; therefore, ZFC is also inconsistent. The only question now is why I thought that ZFC + "ZFC is consistent" entails ZFC + "ZFC is consistent" + "ZFC + 'ZFC is consistent'" is consistent.
17:45:29 <Slereah_> wat
17:45:40 <Slereah_> Let's buy some Zermelo Fried Chicken.
17:46:31 <dogface> Here we go: ZFC being consistent implies that ZFC + "ZFC is consistent" is also consistent. Turn that into an entailment, and you get the above eventually. There's certainly a hole here, though.
17:47:37 <dogface> In other news, consider this: you have a process that randomly outputs ( and ) characters. If it's output more ( than ), it outputs either with a 50% chance of each; if it's output an equal number, it always outputs (.
17:47:46 <Slereah_> So why is it inconsistent?
17:48:07 <dogface> In one case, it outputs either with a 50% chance; in another, it always outputs (. However, in the long run, it will output both with equal probability.
17:48:32 <dogface> ZFC is inconsistent because ZFC + "ZFC is consistent" is inconsistent?
17:48:41 <Slereah_> Is it?
17:48:48 <dogface> I doubt it.
17:49:16 <Slereah_> Then what are you ranting about
17:49:34 * dogface continues pondering
17:50:02 -!- sebbu has quit ("@+").
18:08:39 <oklofok> dogface: are you as ugly as ihope you are?
18:08:56 * dogface throws a wisteria bush at oklofok
18:09:32 -!- oklofok has changed nick to oklopol.
18:10:21 <dogface> Now for something more important, how about.
18:10:22 -!- kar8nga has joined.
18:11:18 <dogface> And by important, I mean interesting.
18:11:54 <oklopol> and by interesting you mean a rant about something weird?
18:12:10 <dogface> Yeah.
18:12:16 <oklopol> well go on
18:13:08 <dogface> Axioms: for all x, y and z, ```sxyz = ``xz`yx; for all x and y, ``kxy = x; for all x, `ix = x; s != k; for all x, y and z, if x = y and y = z, then x = z; for all x and y, if x = y, then y = x; for all x, x = y; and for all w, x, y and z, if w = x and y = z, then `wy = `xz.
18:13:29 <dogface> My client did silly quotation mark replacements, didn't it?
18:13:30 <lament> sounds terribly boring
18:13:45 <oklopol> lament: no
18:14:43 <dogface> See if you can prove `sk = `ki from these axioms, or at least show that there is no disproof of it.
18:17:44 <Slereah_> I'd love to, but I don't know where my pen is :(
18:18:27 <Slereah_> Found it
18:19:49 <Slereah_> I find it amusing that you use unlambda notation.
18:20:10 <Slereah_> It's not used a lot in combinators litterature
18:20:27 <Slereah_> Actually not at all, but there's a PN version sometimes
18:21:39 <dogface> Unlambda notation is slightly easier to parse. :-)
18:21:45 <Slereah_> Yeah
18:22:33 -!- tusho has joined.
18:22:42 <Slereah_> Nested parentheses are quite a nightmare
18:22:46 -!- Corun has joined.
18:28:13 <dogface> <expr> ::= {"S" | "K" | "I" | "(" <expr> ")"}
18:29:07 <oklopol> Slereah_: I'd love to, but I don't know where my pen is :( <<< i can see your pen is!
18:30:37 <lament> mightier than a sword?
18:34:22 <dogface> Better-in-a-way: <texpr> ::= "S" | "K" | "I" | "(" <lexpr> ")"; <lexpr> ::= <texpr> | <lexpr> <texpr>
18:34:37 -!- Slereah_ has quit (Read error: 60 (Operation timed out)).
18:34:47 <tusho> .
18:34:57 <tusho> ...........................
18:34:58 <tusho> .
18:34:58 <dogface> He disliked my left recursion so much that he left.
18:35:06 <dogface> ...........................
18:35:24 -!- Slereah_ has joined.
18:35:56 <Slereah_> dogface!
18:36:00 -!- kar8nga has left (?).
18:36:19 <Slereah_> "for all x, x = y" <- I think you mean x=x
18:36:28 <dogface> Probably.
18:36:36 -!- kar8nga has joined.
18:37:19 -!- Vampire_Squif has joined.
18:37:26 <Vampire_Squif> Rar >:|
18:37:54 <GregorR> Zip.
18:38:09 <oklopol> i used to say rar
18:38:14 -!- sebbu has joined.
18:38:17 <oklopol> GregorR used to respond "zip"
18:39:06 <dogface> Rar and feather.
18:40:14 <GregorR> Heh, somebody should invent tags for .tar files called "feathers", so you can tar and feather your files.
18:41:11 <Vampire_Squif> Also, if you were implying that you can't prove `sk = `ki with that, I think I know why
18:41:36 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | At this point, it negotiates the connection and promptly quits..
18:41:50 <Vampire_Squif> Your axioms don't seem to specify that if two combinators act the same way on a bunch of variables, they're the same
18:41:54 -!- Vampire_Squif has changed nick to Slereah.
18:41:54 -!- Slereah_ has quit (Read error: 60 (Operation timed out)).
18:42:56 <Slereah> I'm not exactly sure how to write that up.
18:43:06 <oklopol> 20:13… lament: sounds terribly boring ||| 20:13… oklopol: lament: no <<< this was actually a response to dogface's
18:44:10 <dogface> So `` looks like two accent marks, not a curly double quote?
18:46:18 <dogface> Slereah: that's because it's impossible. >:-D
18:47:12 <dogface> It wouldn't remain a formal system if you did that, unless you did it in first-order logic, but then you can't really express first-order logic as a formal system.
18:55:54 <oklopol> dogface: it looks like what it is
18:57:08 <tusho> “Real quotes.‘
18:57:09 <tusho> err
18:57:11 <tusho> “Real quotes.”
18:58:07 <dogface> ``Silly quotes.''
18:58:43 -!- oklofok has joined.
18:58:45 -!- oklopol has quit (Read error: 113 (No route to host)).
18:59:08 <Slereah> dogface : You can try!
18:59:29 <Slereah> I'm sure that you can cook something up good enough for a proof of that
18:59:55 <tusho> dogface: The name of those is actually quite obscene.
19:00:00 <tusho> *t quotes.
19:00:01 <dogface> My guess is that `sk = `ki cannot be proved and therefore should be an axiom.
19:00:04 <tusho> Where * = many letters.
19:00:18 <dogface> * = grave accen?
19:00:59 <dogface> I think the word "grave" in "grave accent" is one word that I've seen many, many times, but heard once or twice at the very most.
19:02:03 <Slereah> dogface : That's quite a bold position
19:02:20 <Slereah> Also it might even be easy to prove if you had the underlying lambda calculus
19:02:25 <Slereah> add
19:15:43 -!- dogface has quit ("ChatZilla 0.9.83 [Firefox 3.0.1/2008070208]").
19:23:34 -!- Slereah has quit (Read error: 54 (Connection reset by peer)).
19:23:46 -!- Slereah_ has joined.
19:24:34 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
19:26:20 -!- bsmntbombdood has joined.
19:26:48 <Slereah_> D:<
19:31:54 * sebbu just bought a 1tb hard disk
19:32:44 <Slereah_> I probably have 1TB total
19:32:48 <Slereah_> With my 7 HD.
19:54:10 <fizzie> Huh. How can (with "FILE" loaded latest) 08R push 0, 0 on stack? It's supposed to pop two values and push none, and reflect on error.
19:55:18 <fizzie> RC/Funge-98 seems to push two zeros if the read returns zero bytes (i.e. at EOF). That's... a bit surprising.
19:56:02 <fizzie> Can't say I really understand the logic there. The code is clear enough -- if (fread(...) == 0) { Push(0,cip); Push(0,cip); return; } -- but the reason eludes me.
19:56:22 -!- Slereah has joined.
19:57:01 -!- Slereah_ has quit (Read error: 113 (No route to host)).
19:58:54 -!- Hiato has joined.
20:25:19 -!- Slereah_ has joined.
20:25:19 -!- Slereah has quit (Read error: 104 (Connection reset by peer)).
20:26:29 <AnMaster> fizzie, what interpreter does that?
20:26:51 <AnMaster> fizzie, hm
20:27:12 <AnMaster> fizzie, R here pushes handle *back* if there wasn't any error
20:27:20 <AnMaster> if there was an error it doesn't push anything back
20:27:23 <AnMaster> well
20:27:29 <AnMaster> that depends on where the error happened
20:27:33 <AnMaster> it all looks very strange ot me
20:27:35 <AnMaster> to*
20:27:45 -!- oklopol has joined.
20:28:34 -!- sebbu2 has joined.
20:29:42 <AnMaster> R(h n -- h)Read n bytes from file to buffer
20:29:49 <AnMaster> yes it should push handle back
20:31:33 -!- oklofok has quit (zelazny.freenode.net irc.freenode.net).
20:31:33 -!- sebbu has quit (zelazny.freenode.net irc.freenode.net).
20:31:34 -!- sebbu2 has changed nick to sebbu.
20:33:14 <tusho> fizzie: simple
20:33:28 <tusho> x = fread(...); push(x); if (x == 0) { push(0); }
20:33:29 <tusho> or something
20:33:34 <tusho> i dunno
20:34:20 <Deewiant> tusho: he pasted the code
20:34:30 <tusho> ah
20:34:36 <tusho> thought that was hypothetical code
20:39:39 <AnMaster> well I don't get it either
20:58:01 -!- Judofyr has joined.
21:03:11 -!- RedDak has joined.
21:06:42 <AnMaster> night
21:20:01 <fizzie> Yes, it should keep the handle on the stack, mis-said that. But that "push two zeroes" thing is strange.
21:40:49 -!- tritonio__ has quit (Remote closed the connection).
21:48:20 -!- Hiato has quit ("Leaving.").
22:13:19 -!- kar8nga has left (?).
22:29:12 -!- jix has quit ("CommandQ").
22:41:06 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
22:41:53 <AnMaster> fizzie, agreed
23:02:27 <tusho> "IRC makes your life miserable and leaves you an empty shell.
23:02:28 <tusho> Too many psychopaths ruining your mood."
23:02:29 <tusho> OH NOES
23:02:41 * tusho goes and ruins his mood with his PSYCHOPATHICITY
23:02:42 <tusho> WHAT NOW
23:02:51 * tusho notices he himself is an empty shell
23:02:53 <tusho> COOL
23:03:03 * tusho pokes the emptiness of his shell
23:05:31 -!- oerjan has joined.
23:07:51 * oerjan fills tusho's shell with PUDDING
23:08:06 <tusho> cool
23:08:11 <tusho> om nom nom nom nom
23:09:18 <oerjan> (butterscotch, not tapioka)
23:09:49 <Slereah_> Butter?
23:09:54 <Slereah_> I hardly know her!
23:10:12 <oerjan> and scotch, too
23:15:46 -!- Tritonio_ has joined.
23:19:01 <Slereah_> http://en.wikipedia.org/wiki/Esoteric_programming_language
23:19:02 <Slereah_> Ahahah
23:19:11 <Slereah_> "# EsCo - Universal compiler for esoteric languages"
23:24:41 -!- oerjan has quit ("leaving").
23:31:04 -!- Corun has quit ("This computer has gone to sleep").
23:36:45 <Mony> night
23:46:13 -!- KingOfKarlsruhe has joined.
23:56:21 -!- oerjan has joined.