00:10:13 -!- c|p has quit (Read error: 104 (Connection reset by peer)). 01:02:03 -!- Sgeo has joined. 01:45:52 lament: you said spanish, so i thought it was about the lang 01:46:05 my sleep cycles are pretty steady i'd say 01:46:18 usually i got to sleep between 4am..5am 01:46:26 now i wake up at 3am 01:46:27 xD 01:46:44 oklopol: "english" courses tend to not be about the language either 01:47:10 lament: i'm not saying you said anything wrong, just explaing my stupidity 01:58:43 how can you go to sleep at 4am and get up at 3am? 01:59:46 i usually go to sleep at 4am, today i went to sleep at 9pm 01:59:53 i hate the xm system 02:02:19 use 24 hours then 02:02:19 hmm... gotta figure out something to say that involves time 02:02:19 so i can use it 02:02:59 "Yesterday I went to sleep at 234" 02:03:16 make that 234:823 02:03:22 am 02:03:58 what? 02:04:23 do i take mod 24 to get that to be a real time? 02:05:08 -!- SimonRC_ has joined. 02:06:23 -!- SimonRC has quit (Connection reset by peer). 02:17:26 "i know many of you are already on my side... and for you nay sayers out there i've got 2 strong words... come on" 02:17:55 i need a food. 02:18:43 me too is in need of one 02:19:19 i wish i had food here 02:19:28 the stores aren't open when i'm awake :< 02:19:57 they are 02:20:02 just not at your part of the world 02:20:46 durn. 02:20:59 just move 02:21:16 it might be easier than changing your sleep pattern 02:21:29 are there places where stores are open when the sun is down? 02:21:43 i don't care for sun that much 02:21:53 yes, they're called cities, but not many stores are open 24 hours 02:22:50 we have restaurants that are open 24/7 02:22:57 but no shops :< 02:23:05 oklopol: buy your foods during they day, and keep a cache 02:23:22 and i live 3-4 km from the nearest such restaurant 02:23:48 oklopol: the sun is nice. Your pineal gland gets unhappy without it. 02:24:52 why should i care? 02:25:40 that was an actual question, i don't know what it does 02:26:19 look up seasonal affective disorder 02:29:09 that don't sound like a bad. 02:31:25 i'm skeptical about SAD 02:41:58 i'm not. 02:56:07 -!- immibis has joined. 02:56:16 ihope, are you there? 03:06:45 Ello. 03:07:39 poppet 03:09:21 immibis, are *you* there? 03:09:38 i am now 03:10:06 I take it you wanted me for something. 03:10:09 * immibis sets icechat to flash 03:10:10 ops 03:10:11 oops 03:10:21 yes, i found something wrong with the interpreter 03:10:35 I see. 03:10:36 it reads the program from standard input until it reaches end-of-file. that much works. 03:11:01 then if the foobar program needs input, that gets read from standard input as well, after the end-of-file 03:11:27 so if you wanted to make any sort of cat program you wouldn't be able to 03:11:53 Foobar philosophy: if a flaw isn't fatal, it's acceptable. 03:11:55 :-) 03:12:35 i have changed it so that you can run foobar* Im_a_file.EXT < PROGRAM_INPUT 03:13:10 i will just compile the changes now and email it to you 03:13:14 if you don't mind 03:13:28 unless you find it acceptable of course :) 03:14:06 Who here agrees Brainfuck is the most universally accepted esoteric programming language? 03:14:12 *in the world* 03:15:04 yeah 03:15:43 your mother is the most universally accepted esoteric language 03:16:09 * immibis agrees with immibis's question 03:17:59 oklopol: as is yours 03:19:06 yes, but i'm still hungry 03:23:58 Delivery to the following recipients failed. 03:23:58 ihope127@hotmail.com 03:24:14 ihope, do you actually have a working email address? 03:24:16 or not? 03:30:00 Yes, I do. 03:30:09 Did I tell you ihope127@hotmail? 03:30:17 It's gmail, not hotmail. 03:30:21 ok 03:30:36 i think i did that last time too 03:31:29 s/universally/globally/ 03:31:37 >.> 03:31:56 yes 03:32:20 esoteric_languages.accepted.universally.likens=alien_language; 03:32:33 universal is okay too, though means a different thing 03:32:42 Delivery to the following recipients failed. 03:32:42 ihope127@gmail.com 03:36:25 That's a 1, not an l, right? 03:36:37 it's a 1 03:36:42 (one) 03:37:05 -!- GreaseMonkey has joined. 03:37:17 Well then, unless that address contains a non-ASCII character or something, it's correct. 03:40:29 Yes, it's correct. 03:41:31 -!- toBogE has joined. 03:42:22 Does it have details on why it failed? 03:42:26 no 03:42:33 well yes 03:42:46 i didn't look though because i didn't notice until you asked 03:42:58 What's it say, then? 03:43:33 * immibis is opening the file 03:43:45 Reporting-MTA: dns;bay0-omc3-s7.bay0.hotmail.com 03:43:45 Received-From-MTA: dns;BAY111-W10 03:43:45 Arrival-Date: Thu, 28 Jun 2007 19:30:24 -0700 03:43:45 Final-Recipient: rfc822;ihope127@gmail.com 03:43:45 Action: failed 03:43:46 Status: 5.7.0 03:43:48 Diagnostic-Code: smtp;552 5.7.0 Illegal Attachment e16si1278481qba 03:43:52 so a bad attachment it seems 03:44:07 maybe gmail didn't like it 03:44:52 Huh. 03:45:07 Where does that seem to have come from? 03:45:11 ...that email? 03:45:17 postmaster@mail.hotmail.com 03:45:27 its an automatic message 03:45:57 !regex some-regex USE THE REGEX LUKE. replace Ok, my lord. 03:46:02 USE THE REGEX LUKE. 03:46:02 Ok, my lord. 03:46:09 !delregex some-regex 03:46:11 Caught a java.lang.IndexOutOfBoundsException! Index: 0, Size: 0 03:46:38 Hmm, I thoguht for a moment that toBogE said "Oh my lord". 03:46:39 USE THE REGEX LUKE. 03:46:44 hehe 03:47:41 !raw JOIN #bots 03:48:27 I AM A BOT YOU FOOLS! HA HA HA! 03:49:04 we know 03:49:04 1 03:49:13 PARSE ERROR: did you mean "I AM A BOT YOU FOOL"? 03:49:13 1 03:49:41 stop saying 1 03:49:50 WARNING: Clarity compromised by ambiguity. Suggestion: "I AM A BOT THAT YOU FOOL" 03:50:58 yeah? 03:50:58 yeah? 03:51:10 I AM NOT A BOT 03:51:10 I AM NOT A BOT 03:51:14 yes you are] 03:51:15 yes you are] 03:51:20 don't lie to me 03:51:24 don't lie to me 03:51:24 !delregex echo 03:51:25 Caught a java.lang.IndexOutOfBoundsException! Index: 0, Size: 0 03:51:32 i must fix that 03:51:38 -!- toBogE has quit (Read error: 104 (Connection reset by peer)). 03:52:04 -!- toBogE has joined. 03:52:13 toboge now supports regex matching of channel messages using !regex NAME REGEX replace REPLACEMENT 03:52:17 REGEX is not quoted 03:52:21 REPLACEMENT is not quoted 03:52:32 NAME is used to refer to it for !delregex which deletes it 03:52:43 replace is the exact word replace 03:52:57 !raw JOIN #bots 03:53:31 ihope: did you start making the parser? i'm gonna make it after this episode unless you happen to be on it. 03:53:57 No, I pretty much... stopped. 03:54:12 myor 03:54:22 i want food first 03:54:23 Now lemme find it again... 03:54:30 It's gone! 03:54:32 * ihope cries 03:54:35 :P 03:54:37 Except it isn't. 03:54:50 Wonderful! Haskell scraps. 03:55:00 it isn't 03:55:03 Maybe you can grind it up and make Python sausage out of it. 03:55:42 actually, i have one thing i don't really understand here 03:55:54 It might even be ugly: http://pastebin.ca/594787 03:56:15 why in the earth would i encourage you to write a parser and think about making a parser myself, when i ACTUALLY ALREADY HAVE A WORKING PARSER 03:56:29 i have some serious mental problems, really 03:56:30 :| 03:56:40 But given the amount of time I put into that, it must be nice. 03:56:44 i'll look 03:56:51 You already have a working parser... 03:56:58 thuzzit? 03:57:10 i have 400 lines of python :) 03:57:17 Essentially, I wrote something to parse until " or <-- is encountered. 03:57:25 400 lines of Python to do what? 03:57:45 i think it was pretty much the whole parser 03:58:02 I have two parser fragments in a mere 23 lines. 03:58:29 haskell does parsing pretty much like a bnf 03:58:39 == short 03:59:03 BNF-like grammars are easy enough when you have Parsec. 03:59:32 parsec i don't know 03:59:47 oklotalk doesn't have a bnf grammar, of course 04:00:01 Parser library that comes with GHC. 04:00:05 hmm, i guess you could represent it as a bnf 04:00:08 You might want to remedy that :-P 04:00:14 why is that? 04:00:40 it's important non matching brackets are legal 04:01:04 because i want every string to be a legal oklotalk program 04:01:36 Why do you want every string to be a legal program? 04:02:25 for the same reason i wanted to make the language: no. 04:02:34 none 04:02:43 You have no reason? 04:02:49 i guess it's cool 04:02:50 no reason 04:03:04 Are there any runtime errors? 04:03:28 i'd say that's kinda one of my axioms 04:03:30 hmm 04:03:34 runtime errors, not really 04:03:51 i have a sort of an exception system 04:04:06 so... yes it does i guess 04:04:11 ... 04:04:13 yes there are 04:04:21 Are there any type errors? 04:04:40 i have optional typing, but i'm not going to implement it yet 04:04:46 there are none 04:04:58 type errors will be compile time errors if used 04:05:09 (compile time warnings) 04:05:11 So you can feed a function definition into a function that's supposed to handle matrices, then interpret the resulting floating point number as a Sudoku puzzle? 04:05:18 yes. 04:05:24 Fun. 04:05:35 It also makes me want to hug Epigram a little too tightly. 04:05:52 And Goedel, too. 04:06:02 ´{}{}´{} makes 3 empty functions, and uses one of the functions as infix with the other two as args 04:06:32 epigram and goedel? 04:06:35 god i'm a noob. 04:06:35 See, that doesn't make sense! 04:06:42 well guess i know gödel 04:06:58 what doesn't make sense? 04:07:14 Epigram is a programming language that hugs static typing a little too tightly. 04:07:36 (Hugging something a little too tightly can mean anything!) 04:08:25 you see in oklotalk every function call will end up being just message passing... everything is a function, and a function will always return by default 04:08:35 oklopol: what if it isn't a legal sudoku puzzle? 04:09:05 I guess I haven't seen enough of the semantics to know anything. 04:09:06 oklopol: is a legal sudoku puzzle? 04:09:25 immibis: that depends on the solving function 04:09:44 immibis: yes, it's freestyle sudoku 04:09:47 it can check whether it is and throw an exception 04:09:51 heh 04:09:58 0x0 sudoku 04:10:09 i just won 04:10:13 1x1? 04:10:15 0x0 sudoku! 04:10:39 well, i was still thinking 9x9 04:10:41 solution: 04:10:46 ihope: i'll make a somewhat working interpreter today, after that i might be able to explain it in a spec 04:10:53 2x3 sudoku. 04:10:55 solution to 1x1: [1] 04:11:04 solution to 1x1: 1 ---or--- 2 ---or--- 3 ---or--- 4 ---or--- 5 ---or--- 6 ---or--- 7 ---or--- 8 ---or--- 9 04:11:09 right now i'm pretty sure i _know_ how everything works, but can't explain thoroughly 04:11:12 no 04:11:30 2x2 takes 1 to 2, 3x3 takes 1 to 3, 1x1 takes just 1 04:11:36 so the solution is 1 04:11:37 ok 04:11:39 hehe 04:11:40 ook 04:11:40 solution to 0x0 sudoku: nil 04:11:53 solution to 0x0 sudoku: java.lang.NullPointerException 04:12:05 solution to 0x0 sudoku: java.lang.NullPointerException: solution variable is null 04:12:11 there's no 3x3, GreaseMonkey 04:12:18 3x3 = 9x9. 04:12:25 0x0, 1x1, 4x4, 9x9, 16x16 04:12:29 oh 04:12:32 there is a 6x6 04:12:32 By some... things. 04:12:36 then that's 1..9 04:12:41 3x3 = 9x9, 6x6 = 36x36... 04:12:43 he was wrong nevertheless 04:12:45 2x3 = 6x6. 04:13:00 It all depends on whether you mean block dimensions or puzzle dimensions. 04:13:03 is there a 3x3x3? 04:13:11 dunno 04:13:13 that would be cool 04:13:14 is there a 3x3x3x3x3 5-dimensional sudoku puzzle? 04:13:18 someone should test 04:13:24 * ihope ponders 04:13:25 there's even a 5D rubiks cube 04:13:27 ihope: brute force in haskell 04:13:37 There are two ways to do a 3x3x3, I believe. 04:13:39 2x2x2 would be a start 04:13:45 sudoku cube is evil 04:13:54 I like the plane/block way. 04:13:55 sudoku cube was what i was thinking 04:14:01 ihope: explain 04:14:08 aaaaaaaa 04:14:16 i like 3d. 04:14:28 oh 04:14:35 actually i didn't get the plane thing.l 04:15:02 !regex notathing [tT][oO][bB][oO][gG][eE] [iI][sS] [nN][oO][tT] [aA] (.*) replace I am a $1 04:15:14 !regex notathing2 [tT][oO][bB][oO][gG][eE] [iI][sS] [nN][oO][tT] [sS][oO][mM][eE] (.*) replace I am some $1 04:15:16 Slice the cube into 9 planes 3 ways, then into 27 blocks. 04:15:19 Wait a minute... 04:15:35 Then each block has 27 cubes while each plane has 81. 04:15:38 err 04:15:53 whut 04:16:10 Now, stop getting in the way of my sleep. :-P 04:16:14 ah 04:16:15 I was sleepy about a half hour ago. 04:16:15 81 yes 04:16:18 oklopol: !regex is a toboge c 04:16:20 i failed 04:16:22 oops 04:16:29 never mind 04:16:39 actually 04:16:48 it's trivial to make a 3x3x3 sudoku 04:16:49 Of course, we all know *general* sudoku problems are the way forward. >:-) 04:16:58 heh 04:17:16 toboge is not a bot 04:17:17 toboge is a bot 04:17:18 I am a bot 04:17:31 And by that, I mean exact cover problems. 04:17:35 i am not a very fat bot 04:17:35 i am a very fat bot 04:17:48 ihope: ? 04:17:48 ihope: general? 04:17:51 I tied a not in my rope. 04:18:04 toboge is not in limbo 04:18:04 I am in limbo 04:18:09 whatever that means 04:18:31 toboge is not a retarded serial-killer maniac 04:18:31 I am a retarded serial-killer maniac 04:18:40 toboge is not some flowers 04:18:40 i though like solve [[a b c d][e f g h][i j k l][m n o p]] 04:18:46 toboge is not some flowers 04:18:46 I am some flowers 04:18:51 no you're not 04:19:05 toBogE is the best 04:19:11 toBogE is not the best 04:19:11 I am the best 04:19:16 toBogE is the best 04:19:17 toboge is not the worst 04:19:17 I am the worst 04:19:18 toboge is the worst 04:19:31 flowers are not green 04:19:31 flowers are green 04:20:37 An exact cover problem is when you're given a set, such as {A, B, C, D, E, F, G}, and some of its subsets, {A, C, E}, {B, F, G}, {D, G}, and {B, F}, maybe, and you have to find a set of those subsets such that every element of the bigger set is contained in exactly one of those subsets. 04:20:38 An exact cover problem is when you're given a set, such as {A, B, C, D, E, F, G}, and some of its subsets, {A, C, E}, {B, F, G}, {D, G}, and {B, F}, maybe, and you have to find a set of those subsets such that every element of the bigger set is not contained in exactly one of those subsets. 04:21:04 oops 04:21:05 hmm 04:21:09 In this case, one solution (and the only solution) is {A, C, E}, {D, G}, {B, F}. 04:21:19 In this case, one solution (and the only solution) is not {A, C, E}, {D, G}, {B, F}. 04:21:26 how embarassing 04:21:32 !raw PART #esoteric 04:21:37 I think that how is a little. 04:21:43 -!- toBogE has left (?). 04:21:43 yeah, i checked myself :) 04:21:45 Darn. 04:21:57 -!- toBogE has joined. 04:22:01 Look it up on Wikipedia; that explains how to convert Sudoku to an exact cover problem. 04:22:12 i'll look up my brain 04:22:15 doesn't seem hard 04:22:35 Essentially, with a sudoku problem, you have four constraints that all say "for each of these there's exactly one of these". 04:22:56 flowers are purple 04:22:56 flowers are not purple 04:22:57 err what 04:22:57 flowers are never purple 04:23:06 weird 04:23:09 damn i'm stupid 04:23:44 Specifically: for each pair of row and column there's exactly one corresponding number. For each pair of section and number there's exactly one corresponding place within that section. 04:23:52 So actually, two constrains. 04:24:12 Where a section is a row, column or block. 04:24:39 ah yeah 04:24:45 The set contains things such as "row 3 column 5 contains an 8". 04:24:52 Er, no, it doesn't. 04:25:21 It contains things such as "row 3 column 5" and "row 3 contains an 8". The subsets correspond to things such as "row 3 column 5 contains an 8". 04:26:07 i'm not following you 04:26:07 i'm following you 04:26:16 "row 3 contains an 8" is a tautology 04:26:21 {me} are not idiots 04:26:21 {me} are idiots 04:26:22 {me} are not not idiots 04:26:23 {me} are never not idiots 04:26:29 That subset contains the elements "row 3 column 5", "row 3 contains an 8", "column 5 contains an 8", and "block 2 contains an 8". 04:26:35 oops 04:26:37 bug in my regex 04:26:44 !delregex not4 04:26:54 okay 04:27:00 Well then, have it be something like "this subset gives row 3 an 8". 04:27:21 Exactly one subset must give row 3 an 8, exactly one subset must put a value in row 3 column 5, etc. 04:27:34 Exact cover problem. 04:28:09 i'm gonna have to think about this for a while :) 04:28:24 I'll give you a much-simplified illustration. 04:29:00 okily 04:32:53 http://pastebin.ca/594822 04:33:11 Down the left are possibilities; across the top are constraints each possibility fills. 04:33:22 Each constraint must be satisfied by exactly one possibility. 04:34:49 ah indeed 04:35:04 Do you get it? Can I finally rest in peace? 04:35:14 (I'm sleepy. :-P) 04:35:22 i always fail to understand representing something in math does not have to be easy to solve by programming 04:35:22 i always fail to understand representing something in math does have to be easy to solve by programming 04:35:34 i mean, that is a fucking huge array 04:35:48 ihope: thanks, i learned something today 04:35:55 It's either 8x12 or 12x8, depending on how you want to look at it. 04:36:06 Though for Sudoku, it's more like 300x700. 04:36:34 hmm 04:36:40 Oi! Algorithm X is essentially brute force with sanity! 04:37:12 most general ones are 04:37:19 (That is, it doesn't try possibilities that are obviously impossible. "Hmm, can that cell next to that 3 also be a 3?") 04:37:26 Well, time to sleep. 04:37:38 bye 04:38:55 (9*3*9)x(9*9*9) i'd say 04:39:13 nonono 04:39:23 (9*3)x(9*9*9) 04:39:44 (number in set)x(number at (x, y)) 04:40:36 where "number in set" are the constraints, "number at (x, y)" the pussybilities 04:41:41 i wonder how i didn't see that 04:41:51 how that works 04:55:35 -!- ihope has quit (Read error: 110 (Connection timed out)). 05:01:46 -!- RodgerTheGreat has quit. 05:05:42 -!- toBogE has quit (Read error: 104 (Connection reset by peer)). 05:15:01 -!- toBogE has joined. 05:15:16 !raw JOIN #toboge 05:16:53 !regex computer (.*)computer(.*)computer(.*)computer(.*) replace $1pizza delivery truck$2river Nile$3robotic monkey land$4 06:02:33 "pussybilities" 06:04:18 whoops, what an embarrassing typo 06:05:03 ~exec self.raw("PRIVMSG #esoteric :pussybilities lol") 06:05:04 pussybilities lol 06:06:17 a computer and a computer and a computer and some more 06:06:17 a pizza delivery truck and a river Nile and a robotic monkey land and some more 06:07:21 computer 06:08:09 computer computer computer 06:08:09 pizza delivery truck river Nile robotic monkey land 06:09:27 !regex computer1 (.*)c(.*)c(.*)c(.*)c(.*)c(.*)c(.*) replace $1 random $2 purple $3 green $4 robot $5 homer simpson $6 bus driver $7 06:09:42 1c2c3c4c5c6c7 06:09:42 1 random 2 purple 3 green 4 robot 5 homer simpson 6 bus driver 7 06:10:36 misspeeling mistacks, mylorcd computer crashes 06:10:44 misspeeling mistacks, mylorcd crazycomputercrashes.com 06:10:44