00:03:35 ☹ 00:06:13 Gregor: there probably wasn't room for both, so they made room for WHITE UP POINTING INDEX 00:08:06 also theres WHITE FROWNING FACE but no BLACK FROWNING FACE 00:08:16 lebensraum, as they say 00:09:19 WHITE CLUB SUIT and WHITE SPADE SUIT they had room for 00:15:03 distraction!: http://i.imgur.com/ZgKOb.jpg 00:32:05 -!- qfr has quit (*.net *.split). 00:32:05 -!- calamari has quit (*.net *.split). 00:32:05 -!- coppro has quit (*.net *.split). 00:32:05 -!- lifthrasiir has quit (*.net *.split). 00:32:05 -!- Zetro has quit (*.net *.split). 00:32:05 -!- mtve has quit (*.net *.split). 00:32:05 -!- sebbu has quit (*.net *.split). 00:32:05 -!- lahwran has quit (*.net *.split). 00:32:05 -!- david_werecat has quit (*.net *.split). 00:32:05 -!- monqy has quit (*.net *.split). 00:32:05 -!- itidus21 has quit (*.net *.split). 00:32:05 -!- MoALTz has quit (*.net *.split). 00:32:05 -!- SimonRC has quit (*.net *.split). 00:32:05 -!- nortti has quit (*.net *.split). 00:32:06 -!- TodPunk has quit (*.net *.split). 00:32:06 -!- tswett has quit (*.net *.split). 00:32:06 -!- HackEgo has quit (*.net *.split). 00:32:06 -!- pikhq_ has quit (*.net *.split). 00:32:06 -!- kmc has quit (*.net *.split). 00:32:06 -!- glogbackup has quit (*.net *.split). 00:32:06 -!- cknz has quit (*.net *.split). 00:32:06 -!- Sgeo has quit (*.net *.split). 00:32:06 -!- DHeadshot has quit (*.net *.split). 00:32:07 -!- rodgort has quit (*.net *.split). 00:32:07 -!- quintopia has quit (*.net *.split). 00:32:07 -!- augur has quit (*.net *.split). 00:32:07 -!- jix has quit (*.net *.split). 00:32:07 -!- lambdabot has quit (*.net *.split). 00:32:07 -!- yiyus has quit (*.net *.split). 00:32:07 -!- Deewiant has quit (*.net *.split). 00:32:07 -!- ion has quit (*.net *.split). 00:32:07 -!- Kray has quit (*.net *.split). 00:32:07 -!- const has quit (*.net *.split). 00:32:07 -!- fizzie has quit (*.net *.split). 00:32:07 -!- kwertii has quit (*.net *.split). 00:32:07 -!- MDude has quit (*.net *.split). 00:32:07 -!- oerjan has quit (*.net *.split). 00:32:07 -!- rvchangue_ has quit (*.net *.split). 00:32:07 -!- myndzi has quit (*.net *.split). 00:32:08 -!- aloril has quit (*.net *.split). 00:32:08 -!- yorick has quit (*.net *.split). 00:32:08 -!- cswords__ has quit (*.net *.split). 00:32:08 -!- Lumpio- has quit (*.net *.split). 00:32:08 -!- Nisstyre has quit (*.net *.split). 00:32:08 -!- clog has quit (*.net *.split). 00:32:08 -!- olsner has quit (*.net *.split). 00:32:08 -!- nvt has quit (*.net *.split). 00:32:08 -!- Zuu has quit (*.net *.split). 00:32:08 -!- comex has quit (*.net *.split). 00:32:08 -!- Slereah has quit (*.net *.split). 00:32:09 -!- EgoBot has quit (*.net *.split). 00:32:09 -!- fizziew has quit (*.net *.split). 00:32:09 -!- FireFly has quit (*.net *.split). 00:32:09 -!- mroman_ has quit (*.net *.split). 00:32:09 -!- Patashu has quit (*.net *.split). 00:32:09 -!- shachaf has quit (*.net *.split). 00:32:09 -!- Madoka-Kaname has quit (*.net *.split). 00:32:10 -!- Gregor has quit (*.net *.split). 00:32:10 -!- ineiros has quit (*.net *.split). 00:43:02 -!- fizziew has joined. 00:43:02 -!- EgoBot has joined. 00:43:02 -!- mroman has joined. 00:43:02 -!- kwertii has joined. 00:43:02 -!- Patashu has joined. 00:43:02 -!- MDude has joined. 00:43:02 -!- oerjan has joined. 00:43:02 -!- calamari has joined. 00:43:02 -!- shachaf has joined. 00:43:02 -!- Madoka-Kaname has joined. 00:43:02 -!- cswords__ has joined. 00:43:02 -!- Lumpio- has joined. 00:43:02 -!- coppro has joined. 00:43:02 -!- rvchangue_ has joined. 00:43:02 -!- qfr has joined. 00:43:02 -!- Deewiant has joined. 00:43:02 -!- aloril has joined. 00:43:02 -!- myndzi has joined. 00:43:02 -!- Nisstyre has joined. 00:43:02 -!- Slereah has joined. 00:43:02 -!- Gregor has joined. 00:43:02 -!- ion has joined. 00:43:02 -!- yorick has joined. 00:43:02 -!- clog has joined. 00:43:02 -!- olsner has joined. 00:43:02 -!- Kray has joined. 00:43:02 -!- const has joined. 00:43:02 -!- nvt has joined. 00:43:02 -!- Zuu has joined. 00:43:02 -!- comex has joined. 00:43:02 -!- fizzie has joined. 00:43:02 -!- ineiros has joined. 00:44:07 -!- glogbackup has joined. 00:44:08 -!- Algo has joined. 00:44:08 -!- david_werecat has joined. 00:44:08 -!- MoALTz has joined. 00:44:08 -!- monqy has joined. 00:44:08 -!- SimonRC has joined. 00:44:08 -!- pikhq_ has joined. 00:44:08 -!- Sgeo has joined. 00:44:08 -!- DHeadshot has joined. 00:44:08 -!- rodgort has joined. 00:44:08 -!- sebbu has joined. 00:44:08 -!- lifthrasiir has joined. 00:44:08 -!- quintopia has joined. 00:44:08 -!- augur has joined. 00:44:08 -!- kmc has joined. 00:44:08 -!- itidus21 has joined. 00:44:08 -!- nortti has joined. 00:44:08 -!- Zetro has joined. 00:44:08 -!- mtve has joined. 00:44:08 -!- jix has joined. 00:44:08 -!- TodPunk has joined. 00:44:08 -!- tswett has joined. 00:44:08 -!- lambdabot has joined. 00:44:08 -!- lahwran has joined. 00:44:08 -!- HackEgo has joined. 00:44:08 -!- cknz has joined. 00:44:08 -!- yiyus has joined. 00:44:19 -!- glogbackup has left. 00:44:56 -!- lifthrasiir has quit (*.net *.split). 00:44:56 -!- Zetro has quit (*.net *.split). 00:44:56 -!- mtve has quit (*.net *.split). 00:44:56 -!- Algo has quit (*.net *.split). 00:44:56 -!- sebbu has quit (*.net *.split). 00:44:56 -!- lahwran has quit (*.net *.split). 00:44:56 -!- david_werecat has quit (*.net *.split). 00:44:56 -!- monqy has quit (*.net *.split). 00:44:56 -!- itidus21 has quit (*.net *.split). 00:44:57 -!- MoALTz has quit (*.net *.split). 00:44:57 -!- SimonRC has quit (*.net *.split). 00:44:57 -!- nortti has quit (*.net *.split). 00:44:57 -!- TodPunk has quit (*.net *.split). 00:44:57 -!- tswett has quit (*.net *.split). 00:44:57 -!- HackEgo has quit (*.net *.split). 00:44:57 -!- pikhq_ has quit (*.net *.split). 00:44:57 -!- kmc has quit (*.net *.split). 00:44:58 -!- glogbackup has quit (*.net *.split). 00:44:58 -!- cknz has quit (*.net *.split). 00:44:58 -!- Sgeo has quit (*.net *.split). 00:44:58 -!- DHeadshot has quit (*.net *.split). 00:44:58 -!- rodgort has quit (*.net *.split). 00:44:58 -!- quintopia has quit (*.net *.split). 00:44:58 -!- augur has quit (*.net *.split). 00:44:58 -!- jix has quit (*.net *.split). 00:44:58 -!- lambdabot has quit (*.net *.split). 00:44:58 -!- yiyus has quit (*.net *.split). 00:44:58 -!- qfr has quit (*.net *.split). 00:44:59 -!- calamari has quit (*.net *.split). 00:44:59 -!- coppro has quit (*.net *.split). 00:44:59 -!- Deewiant has quit (*.net *.split). 00:44:59 -!- ion has quit (*.net *.split). 00:44:59 -!- Kray has quit (*.net *.split). 00:44:59 -!- const has quit (*.net *.split). 00:44:59 -!- fizzie has quit (*.net *.split). 00:44:59 -!- EgoBot has quit (*.net *.split). 00:44:59 -!- kwertii has quit (*.net *.split). 00:44:59 -!- MDude has quit (*.net *.split). 00:44:59 -!- oerjan has quit (*.net *.split). 00:44:59 -!- rvchangue_ has quit (*.net *.split). 00:44:59 -!- myndzi has quit (*.net *.split). 00:45:00 -!- aloril has quit (*.net *.split). 00:45:00 -!- yorick has quit (*.net *.split). 00:45:00 -!- fizziew has quit (*.net *.split). 00:45:00 -!- cswords__ has quit (*.net *.split). 00:45:00 -!- Lumpio- has quit (*.net *.split). 00:45:00 -!- Nisstyre has quit (*.net *.split). 00:45:00 -!- clog has quit (*.net *.split). 00:45:00 -!- olsner has quit (*.net *.split). 00:45:00 -!- nvt has quit (*.net *.split). 00:45:00 -!- Zuu has quit (*.net *.split). 00:45:00 -!- comex has quit (*.net *.split). 00:45:00 -!- Slereah has quit (*.net *.split). 00:45:01 -!- mroman has quit (*.net *.split). 00:45:01 -!- Patashu has quit (*.net *.split). 00:45:01 -!- shachaf has quit (*.net *.split). 00:45:01 -!- Madoka-Kaname has quit (*.net *.split). 00:45:01 -!- Gregor has quit (*.net *.split). 00:45:01 -!- ineiros has quit (*.net *.split). 00:45:03 -!- FireFly has joined. 00:51:16 -!- glogbackup has joined. 00:51:16 -!- yiyus has joined. 00:51:16 -!- cknz has joined. 00:51:16 -!- HackEgo has joined. 00:51:16 -!- lahwran has joined. 00:51:16 -!- lambdabot has joined. 00:51:16 -!- tswett has joined. 00:51:16 -!- TodPunk has joined. 00:51:16 -!- jix has joined. 00:51:16 -!- mtve has joined. 00:51:16 -!- Zetro has joined. 00:51:16 -!- nortti has joined. 00:51:16 -!- itidus21 has joined. 00:51:16 -!- kmc has joined. 00:51:16 -!- augur has joined. 00:51:16 -!- quintopia has joined. 00:51:16 -!- lifthrasiir has joined. 00:51:16 -!- sebbu has joined. 00:51:16 -!- rodgort has joined. 00:51:16 -!- DHeadshot has joined. 00:51:16 -!- Sgeo has joined. 00:51:16 -!- pikhq_ has joined. 00:51:16 -!- SimonRC has joined. 00:51:16 -!- monqy has joined. 00:51:16 -!- MoALTz has joined. 00:51:16 -!- david_werecat has joined. 00:51:16 -!- Algo has joined. 00:51:16 -!- fizziew has joined. 00:51:16 -!- EgoBot has joined. 00:51:16 -!- mroman has joined. 00:51:16 -!- kwertii has joined. 00:51:16 -!- Patashu has joined. 00:51:16 -!- MDude has joined. 00:51:16 -!- oerjan has joined. 00:51:16 -!- calamari has joined. 00:51:16 -!- shachaf has joined. 00:51:16 -!- Madoka-Kaname has joined. 00:51:16 -!- cswords__ has joined. 00:51:16 -!- Lumpio- has joined. 00:51:16 -!- coppro has joined. 00:51:16 -!- rvchangue_ has joined. 00:51:16 -!- qfr has joined. 00:51:16 -!- Deewiant has joined. 00:51:16 -!- aloril has joined. 00:51:16 -!- myndzi has joined. 00:51:16 -!- Nisstyre has joined. 00:51:16 -!- Slereah has joined. 00:51:16 -!- Gregor has joined. 00:51:16 -!- ion has joined. 00:51:16 -!- yorick has joined. 00:51:16 -!- clog has joined. 00:51:16 -!- olsner has joined. 00:51:16 -!- Kray has joined. 00:51:16 -!- const has joined. 00:51:16 -!- nvt has joined. 00:51:16 -!- Zuu has joined. 00:51:16 -!- comex has joined. 00:51:16 -!- fizzie has joined. 00:51:16 -!- ineiros has joined. 00:51:23 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:51:23 -!- glogbackup has left. 00:51:23 -!- DHeadshot has joined. 00:51:55 -!- MDude has quit (Ping timeout: 260 seconds). 01:01:22 -!- zzo38 has joined. 01:02:20 Does the PC speaker driver broken on Linux? 01:03:07 zzo38: It wasn't last time I checked? 01:03:13 ##trains 01:03:23 -!- pikhq_ has quit (Read error: Operation timed out). 01:06:06 I did find that the file "mzx_ascii.chr" from MegaZeux works fine as a Linux console font if the mappings are correct 01:08:47 (On the computer at FreeGeek I have tested this and it does work; now I can work on the mapping files to get it work better) 01:13:09 -!- Patashu has quit (Read error: Connection reset by peer). 01:13:50 -!- Patashu has joined. 01:17:19 -!- madbr has joined. 01:17:25 I have written some thing on here in past, I thought about discardable functor and commutative applicative, now I also have idempotent applicative. 01:25:07 -!- Patashu has quit (Ping timeout: 250 seconds). 01:25:20 -!- pikhq has joined. 01:26:02 -!- oerjan has quit (Quit: leaving). 01:27:24 -!- Patashu has joined. 01:32:06 -!- PatashuXantheres has joined. 01:32:10 -!- Patashu has quit (Ping timeout: 260 seconds). 01:38:54 -!- PatashuXantheres has quit (Read error: Connection reset by peer). 01:45:54 -!- Patashu has joined. 01:46:03 Have you played Super Bat Puncher (for NES/Famicom)? 01:53:05 -!- DHeadshot has quit (Read error: Connection reset by peer). 01:53:06 thats why i like the japanese... thats why i like the NES... thats why i like the word Super 01:53:24 because even though i have no idea what Super Bat Puncher is.. 01:53:33 -!- DHeadshot has joined. 01:55:22 The game is good quality (especially the secret level) but it is not yet completed being made. You can download a demo, however. 02:01:32 oh then it must be a homebrew thing 02:04:23 -!- david_werecat has quit (Ping timeout: 244 seconds). 02:04:27 Yes 02:05:15 -!- shachaf has quit (Remote host closed the connection). 02:36:45 -!- shachaf has joined. 02:46:06 -!- MDude has joined. 02:55:11 -!- PatashuXantheres has joined. 02:55:49 -!- Patashu has quit (Ping timeout: 248 seconds). 03:01:41 -!- PatashuXantheres has quit (Ping timeout: 248 seconds). 03:02:38 -!- Patashu has joined. 03:07:43 -!- Madoka-Kaname has quit (Read error: Connection reset by peer). 03:11:03 What is esoteric song contest? 03:14:40 -!- Madoka-Kaname has joined. 03:14:58 -!- Patashu has quit (Read error: Connection reset by peer). 03:15:40 -!- Algo has quit (Quit: Leaving.). 03:54:41 -!- Patashu has joined. 04:17:08 -!- calamari has left ("Leaving"). 04:37:16 -!- TodPunk has quit (Read error: Connection reset by peer). 04:43:35 Heralds don't pun; they cant. 04:43:36 -!- DHeadshot has quit (Read error: Connection reset by peer). 04:43:52 -!- DHeadshot has joined. 04:48:48 -!- TodPunk has joined. 04:49:39 Why did they change mathNEWS to make it slower and more confusing? 04:50:17 It makes it difficult to read and understand, and difficult to find the current issue, too 05:33:49 -!- qfr has quit (Ping timeout: 248 seconds). 05:34:47 -!- qfr has joined. 05:48:26 -!- kwertii has quit (Quit: kwertii). 06:08:13 -!- Patashu has quit (Read error: Connection reset by peer). 06:08:15 -!- PatashuXantheres has joined. 06:10:54 -!- Patashu has joined. 06:12:38 -!- PatashuXantheres has quit (Ping timeout: 240 seconds). 06:14:32 -!- Patashu has quit (Read error: Connection reset by peer). 06:18:52 -!- Patashu has joined. 06:23:44 Free (CoYoneda f) is *always* a monad regardless of what f is 06:26:24 -!- MDude has changed nick to MSleep. 06:30:08 -!- mr^swiFt has joined. 06:33:44 -!- mr^swiFt has left. 07:10:13 -!- madbr has quit (Quit: Radiateur). 07:12:15 -!- zzo38 has quit (Remote host closed the connection). 07:13:25 -!- zzo38 has joined. 07:13:31 ?messages 07:13:32 You don't have any new messages. 07:19:19 -!- DHeadshot has quit (Ping timeout: 245 seconds). 07:45:42 -!- monqy has quit (Quit: hello). 07:49:19 -!- asiekierka has joined. 07:49:46 -!- elliott has joined. 07:49:51 http://www.topatoco.com/merchant.mvc?Screen=PROD&Store_Code=TO&Product_Code=QW-MICRO-TREX&Category_Code=QW 07:49:52 he;lp 07:54:35 -!- Taneb has joined. 07:54:42 http://www.topatoco.com/merchant.mvc?Screen=PROD&Store_Code=TO&Product_Code=QW-MICRO-TREX&Category_Code=QW 07:54:44 taneb 07:54:45 assist 07:54:47 assist!!! 07:54:51 Hello 07:54:53 Aaargh 07:55:01 Buy 07:55:50 ;_; 07:55:54 i cant buy because 07:56:00 if i open the page again 07:56:02 ill be paralyse 07:56:18 If you give me your address and bank details, I'll buy one for you 07:56:19 :) 07:56:54 Go and read Guillaume Joseph Hyacinthe Jean-Baptiste Le Gentil de la Galaisière’s biography. :-D http://en.wikipedia.org/wiki/Guillaume_Le_Gentil 07:58:50 elliott, alternate solution: disable images in your browser 07:59:47 ion: heh 08:02:18 -!- asiekierka has quit (Remote host closed the connection). 08:04:48 how to be confused: read http://www.qwantz.com/index.php?comic=2197 before http://www.qwantz.com/index.php?comic=2196 08:06:20 -!- asiekierka has joined. 08:41:10 -!- sebbu2 has joined. 08:41:10 -!- sebbu2 has quit (Changing host). 08:41:10 -!- sebbu2 has joined. 08:42:25 -!- sebbu has quit (Ping timeout: 276 seconds). 08:48:36 Two spammers on Esolang today. 08:48:50 What gives me satisfaction is that every single time we get spammed, someone had to learn something about esolangs to do it. 08:50:31 * pikhq carpe noctem 08:50:44 hi 09:00:52 what, do you have an esolang captcha? 09:01:02 Yes, actually 09:01:54 elliott, what's the captcha? 09:01:57 Or something could be broken, allowing the spammers to get through without doing the captcha 09:02:12 Madoka-Kaname: Try and edit a page logged out to see :P 09:02:26 Sgeo: ConfirmEdit being broken would be pretty hilarious. 09:02:34 Sgeo: But no, I know that isn't happening. 09:02:48 Web server logs prove it, unless they're using advanced NLP and faking a real browser. 09:02:57 Also the spam rate would be much higher if it could also get through automated. 09:04:29 elliott, that is an evil captcha.. 09:04:37 Make it better and ask general programming questions 09:04:40 How is it evil? 09:04:44 (And there are multiple.) 09:05:35 What would be *evil* is gluing "prove P=NP" to a proof verifier. 09:05:56 Madoka-Kaname: Seriously, I don't get what's evil about it. 09:06:06 Trivia questions. 09:06:06 XP 09:06:27 Madoka-Kaname: ...well, so? 09:06:28 pikhq, is that for banned people? 09:06:48 "You need to be at least this smart to edit (arrow pointing at Deep Thought)" 09:06:54 Madoka-Kaname: Sure, why not. 09:07:12 But what if P!=NP 09:07:32 Prove that either P=NP or P!=NP 09:07:36 Hmm, I need to rephrase that. 09:07:58 Prove either that P=NP, or that P!=NP. 09:08:10 Madoka-Kaname: You did notice the links, right? 09:08:13 Sgeo: Then they don't get to edit. 09:08:15 :) 09:08:39 I did 09:08:48 *shrug* 09:09:00 I don't want an evil CAPTCHA, but I still don't really see how it's evil. 09:09:40 I guess 09:09:45 elliott, no. 09:09:46 Evil would be 09:09:49 Giving a language sample 09:09:53 And asking "what language is this"? 09:10:34 Choose between INTERCAL, Brainfuck, Underload, Befunge, ///, and Unlambda 09:11:05 Isn't practically any text with matching square brackets valid brainfuck 09:11:13 s/practically // 09:11:37 Taneb, I don't mean "valid as" 09:11:39 I mean "works as" 09:11:49 Taneb: It *may* hit undefined behavior, but yes. 09:11:57 (namely, walking off the left edge of the tape) 09:12:03 Aw, now I want to write a brainfuck-Underload-///-Befunge polyglot 09:12:12 do so 09:12:13 The /// part sounds hard 09:13:06 -!- asiekierka has quit (Remote host closed the connection). 09:13:16 ^bf +. 09:13:24 There is a game on X-BIT called BATGUY, you have to select to pursue on foot, go by car, by helicopter, gun, climb wall, bazooka, send in Robin, or bet money. But everything goes wrong, there is a bomb in the helicopter, you eat the burger too much and cannot drive, trip over the ground, what else.... 09:13:42 ^ul (test)S 09:13:42 -!- asiekierka has joined. 09:13:48 He sometimes chases the wrong guy 09:13:49 Where is the bot? 09:13:50 :< 09:15:12 fizzie: fungot 09:15:24 fizzie, plz fungot 09:18:52 How does Befunge behave on unknown characters? 09:18:59 93 or 98 09:19:03 Both 09:19:07 i dunno check 09:19:09 Either 09:19:12 Which is your favourite 09:20:00 Everyone has really bad aim... flying into Superman, blowing up the mayor's car, trip on the boots, the team trying to work together instead just collides and fall down, the ropes break, the engines break, they don't understand that the "R" stands for Reverse not Robin 09:20:47 In 98, they behave like "r" 09:22:45 Why do you keep pointing the bazooka backward? 09:28:26 Taneb: In 98 they reverse, in 93 it's undefined but canonically they're noöps 09:28:38 I like what 98 does 09:29:00 (Although I haven't read the '93 spec that closely so maybe it is defined there somewhere.) 09:30:11 -!- fungot has joined. 09:32:25 There "U" go. 09:32:55 Taneb, I assume you've seen the recent update? 09:33:05 Probably 09:33:20 ^bf_textgen brainfuck 09:34:11 That's not a fungot command. 09:34:12 fizzie: it's provably perfect, and i'd need to arrange it so that each new invocation doesn't hammer the log site... 09:34:40 !bf_txtgen brainfuck 09:34:45 100 ++++++++++++++[>+>+++++++>++++++++><<<<-]>>.>++.<-.++++++++.+++++.--------.>+++.<---.++++++++.<----. [584] 09:34:51 ...egobot 09:35:34 fungot: It's also not provably perfect, at least if the measure of perfection is program length. 09:35:35 fizzie: and what fnord of associative array?' is that? 09:35:56 What fnord of associative array indeed. 09:36:45 elliott: "the expression problem" is annoying. :-( 09:37:01 shachaf: Why is it in quotes? 09:37:12 10:32 There "U" go. 09:37:21 fizzie: It's made me happy "4" me, so "thx" "go" "2" "u". 09:37:44 elliott: Because that allows me not to take responsibility for the name. 09:37:58 I don't think you understand how the use-mention distinction works. 09:38:06 "The 'Expression Problem'" would have been correct, though. 09:38:11 But you can't include the "the" like that. 09:38:19 Yes I can. 09:38:24 Quotes are way overloaded in English. 09:38:33 That's just that which makes that statement which you said incorrect, and that is just that which makes that confusing.. 09:38:35 This is a standard and perfectly valid use. 09:38:39 s/\.\.$/./ 09:38:51 shachaf: "The expression problem" does not seem standard at all to me. 09:38:54 I wish they weren't so overloaded, but since they are, I might as well enjoy it. 09:39:01 "The 'expression problem'" would have parsed fine. 09:39:12 And, anyway, that's a name. 09:39:26 The *name* of the thing is "the expression problem". 09:39:31 No, it's not. 09:39:32 It doesn't deserve a definite article. 09:39:44 Proof by Wikipedia: http://en.wikipedia.org/wiki/Expression_problem 09:39:45 I ain't gonna give it a definite article. 09:39:53 I'm not quoting Wikipedia. 09:39:55 There's your definite article. 09:40:04 @slap elliott 09:40:05 I don't perform such side effects on command! 09:40:21 The *point* is that it's annoying. 09:40:28 Do you have a solution for it? 09:40:49 My position is that it illustrates a fundamental dichotomy between two styles of programming and is inherently (and fairly simply) unsolvable by definition. 09:41:21 I don't care how you solve it. You can use a definition or an example or something else. 09:41:25 I just want it solved. :-( 09:41:28 I said it was inherently unsolvable. 09:41:50 It's not a problem which can be solved. 09:42:51 Next you'll reduce it to the halting problem. 09:43:24 No. 09:43:35 elliott: Rice's theorem is a good theorem. 09:43:39 Yes. 09:43:50 I can tell you why the expression problem is unsolvable, if you'd like. 09:44:01 * shachaf is tired. 09:44:04 Oh! Tell me. 09:45:07 OK, so the basic thing is: You can either define a union type, and write functions by discriminating on each case; this lets you add more behaviour (functions), but not more data (union elements). 09:45:09 Or, 09:45:17 (>++++++[>+++++++<-]<++++++[>++++++++<-]>->[[.<]>[>]<[->+>+<<]>>[-<<+>>]<])!(*)S(/*)(~(*)*:S~:^):^ 09:45:17 Wee 09:45:25 Brainfuck / Underload polygot 09:45:29 You can define a product type with the implementations of the behaviour as the fields. 09:45:31 Now to add in something that isn't trivial 09:45:35 Slashes? 09:45:39 This lets you add more data, but not more behaviour. 09:46:07 You can't do both, because what would it mean to add more data when there is existing behaviour? You would have to specify the result for every single behaviour on your new piece of data. 09:46:20 And since the whole point is that new behaviour can be added at will, this isn't possible. 09:46:36 And what would it mean to add new behaviour when there is existing data? You would, again, have to supply the behaviour for all the existing data, which is impossible for the same reasons. 09:46:52 I think all you've specified is the problem itself. :-) 09:47:04 shachaf: Not really? 09:47:11 I described the problem, and then told you why you can't do it. 09:47:21 Hmm... 09:47:22 Is there 09:47:23 shachaf: Consider that the expression problem was first discussed in the context of a purported solution. 09:47:30 Even a clean way to make a slashes/Underload polygot? 09:47:43 My understanding of that solution is that it is not really a solution at all. 09:47:52 I don't know what that solution is. 09:48:04 http://www.daimi.au.dk/~madst/tool/papers/expression.txt 09:48:10 What you described is the thing that one immediately thinks about when one hears about the problem. 09:48:14 And then one gets annoyed. 09:48:28 It has a lot of distraction about recompiling and static type-safety and so on. 09:48:33 shachaf: I don't get annoyed. 09:48:43 Oh. 09:48:48 shachaf: Actually I find it a very enlightening description of the essence of OOP vs. functional programming. 09:49:02 And going over the fundamental trade-off is a good way to decide which is appropriate in each case. 09:49:24 Type classes vs. sum types in Haskell are in some sense a similar thing. 09:49:46 shachaf: I dislike your bringing of typeclasses into it. 09:49:54 I very specifically phrased my description with normal data types. 09:50:07 data Behaviour = Behaviour { doThing :: Int -> IO (), zapBangName :: String } 09:50:20 data Data = A Int | B String String [FilePath] | C Octagon 09:50:26 a :: Int -> Behaviour 09:50:40 Well, OK. 09:50:40 a n = Behaviour { doThing = \m -> print (n + m), zapBangName = show n } 09:50:45 doThingData :: Data -> Int -> IO () 09:50:53 doThingData (A n) m = print (n + m) 09:50:53 and so on. 09:51:15 shachaf: It's important to do it this way, because the two approaches are on equal footing; they're both types. 09:51:36 This doesn't have that much to do with OOP, though. 09:51:45 I disagree! 09:51:52 To me, things like Behaviour are the very essence of OOP. 09:52:11 Haskell is great at OOP. 09:53:36 shachaf: So what is OOP, if not encoding things as behaviour? 09:53:49 I don't know. 09:53:57 An acronym. 09:54:10 The first three letters of a not-very-good pop song 09:54:17 (There you'll be with your "use-mention distinction" again.) 09:54:31 Taneb: What are the other letters? 09:54:44 SIDIDITAGAIN 09:55:07 MR. SIDIDITA GAIN 09:55:22 (That's pronounced "GAÏN".) 09:56:44 * shachaf needs to goto sleep; 09:57:47 -!- Phantom_Hoover has joined. 09:59:38 hi Phantom_Hoover 09:59:55 shachaf: Anyway, I've given up on solving things. 10:00:09 elliott, solve the eurozone crisis 10:00:15 Taneb: No. 10:00:22 Then solve the eurovision crisis (i.e., why does the UK suck at it) 10:00:29 By "eurozone crisis", do you mean "everywhere crisis"? 10:00:33 "We want to make it easy to add either rows or columns." 10:00:34 About some of these kind of things, there is the Typeable class in Haskell which can sometimes help too 10:00:36 Isn't the obvious solution... 10:00:45 elliott, slightly, yeah 10:00:47 Functional features in an OO language? It's not like the two have any basic conflict. 10:00:59 Madoka-Kaname: That only lets you choose which you can add on a case-by-case basis. 10:01:09 i.e. for each type. 10:01:20 The idea is to be able to add both to any type. 10:01:20 BYOB blends the two in a language aimed at children 10:01:57 (it's what you get when you mix Logo, Lisp, and JavaScript, essentially) 10:02:06 and JAVASCRIPT 10:02:07 ?? 10:02:08 o.o 10:02:20 That's where it gets it's OO from. 10:02:23 Prototype based 10:02:34 elliott, I see. 10:04:18 zzo38, I was thinking about Prelude.Generalize this morning, which is probably a bad idea 10:05:55 Thinking is a bad idea? 10:08:01 Yes. 10:09:27 Taneb: What idea did you think of, about it? 10:09:48 unchurch :: Peanoid a => ((a -> a) -> a -> a) -> a 10:09:56 unchurch f = f succP zeroP 10:09:57 Peanoid? 10:09:58 Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. 10:10:31 Taneb: OK 10:12:35 Also; instance Peanoid ((a -> a) -> a -> a) where zeroP = const id; succP = (<*>) (.) 10:13:34 Taneb: OK, maybe 10:14:17 (this makes church a specialization of transPeano, I think) 10:14:26 what the fuck!? freenode let my bot in! I love freenode 10:14:37 nortti, you have a bot? 10:14:49 fizzie: elisa seems to be no more blocked 10:14:58 Taneb: yes. on #esoteric-en 10:15:47 It doesn't seem possible to make it to add rows and columns to any type; but there are ways to do something close for specific purposes, one thing is object-oriented but there are other things too, possibly some things in "extensible-data" package might help in some cases, and maybe other uses of Typeable class such as: data Xyz where { Xyz :: forall x. XyzClass x => x -> Xyz; } deriving Typeable; class Typeable x => XyzClass x where { ... }; 10:16:26 nortti: So it seems. 10:18:39 How can it be completely possible in any programming language? 10:19:03 It seems there must be some kind of restriction, either rows, columns, or uses. 10:26:06 I, too, have a unrelated problem: I need to figure out what words to use to lead the chancellor into the trap in the Dungeons&Dragons game. 10:26:56 "Oi! Chancellor! Come in 'ere if you think you're hard enough, matey!" 10:28:28 Best is also if we can get him to reveal where he hid the king, before he arrives. 10:30:44 Maybe the chancellor is Yakra, and the real one is in a chest. 10:31:01 "Oi! Chancellor! We've found you're kingy, he was hidden in a real lame place! Come in here if you think you're hard enough, ya lame no-life!" 10:31:07 http://www.reddit.com/r/scheme/comments/s8buc/monad_egg_for_chicken_scheme_released/ 10:31:08 Yakra? 10:31:16 Please tell me that Mr. [deleted] is not the author of the egg 10:31:47 Real one of what? 10:32:14 i like the part where their monad is a functor 10:33:01 The linked page looks correct at least, but maybe someone fixed the page... who knows what's with the code 10:33:38 Yakra impersonates the chancellor twice in Chrono Trigger. 10:33:59 O, that is what it is. 10:34:59 I should learn Scheme macros at some point 10:36:33 Ah, but which Scheme macros? Syntax-rules, or syntax-case? 10:36:45 No I think it is the real chancellor but he is a bad person and has done bad things. My intention is make him dead without letting anyone know he is dead, but first require his autograph, so that I can compare his handwriting with the other handwriting. I already found the dummy 10:36:49 Or the defmacro-alikes found in many Scheme implementations? 10:36:50 fizzie, whichever 10:36:52 SO MANY MACRO SYSTEMS. 10:37:04 elliott, thanks for encouraging my decision paralysis :( 10:37:23 I ... think I'm going to try to stick with Chicken for a while unless there's a good reason not to 10:37:33 zzo38, crossdess and lure him into a honey trap? 10:37:38 Sgeo: i have completely given up on influencing your behaviour in any way 10:37:41 Although laziness in trying to set it up my stymie 10:37:47 Taneb: I do not understand. 10:37:48 might stymie me 10:37:57 *crossdress 10:38:08 Utlilize his libido against him 10:39:00 im just going to /clear instead of reading the context to that 10:39:19 Well, Chicken has syntax-rules and a low-level defmacroish macro system built in, and a syntax-case egg, so just sticking with it doesn't really help when it comes to selecting a macro system. 10:39:21 Taneb: I doubt I can do any of those things 10:39:57 zzo38, how good is your charisma? 10:40:22 18 10:40:24 Though I suppose the syntax-case egg is for version 3. 10:40:35 fizzie, it helps when it comes to selecting a Scheme 10:40:55 IT WILL WORK PERFECTLY 10:41:06 All the information about the game is available on my computer and can be accessed by internet 10:42:34 Changing my dress is unlikely to help 10:42:52 What if you get him drunk first? 10:43:07 fizzie, if they're all part of the same Scheme, then I just choose whichever I need in the specific situation, right? 10:43:31 Are code-walkers easier in Scheme than CL? 10:43:48 I think you completely fail to understand the situation... I need to tell him something remotely; we cannot see each other or touch each other before he arrives 10:44:03 Okay 10:44:25 I'm out, then 10:45:09 I may need some scrolls of Locate Creature too 10:45:31 I've never actually played DnD 10:45:40 I've got a player's handbook for some reason 10:45:49 What version? 10:45:56 4th ed 10:46:07 I am playing 3.5ed. I don't like 4th ed 10:46:12 Why am I ignoring Racket? 10:48:04 Taneb: http://zzo38computer.cjb.net/dnd/recording/level20.tex 10:48:54 About the Scheme interpreter in LSL 10:48:55 "There are still scheme features that are not implimented. Among these are the following: - There is no way to define macros. - There are no floating point numbers. - Procedures must be created using lambda. It is not possible to write (define (square x) (* x x)) - There is no such thing as a dotted pair! *gasp* - Cond, Let, Display have not been defined." 10:49:00 That is the current situation in the game. 10:49:10 (My character is Kjugobe) 10:49:41 I'm not likely to be much help 10:50:37 There is also the .dvi file but you may want the source it asks you what level of detail you want to print before it compiles. You also need dungeonsrecording.tex 10:52:54 Sgeo: But does it have continuations? 10:53:11 I doubt it. 10:53:52 It's such a Scheme thing it ought to be on the list. 10:54:05 My idea was Icosahedral RPG; 4th ed changed many things I don't like and Icosahedral is changed from 3rd ed mostly in the opposite ways (this is mainly a coincidence; these ideas were much from before 4th ed was announced) 10:54:30 For example, 4th ed has CR but no LA, Icosahedral has LA but no CR. 10:58:14 Icosahedral RPG also completes PC/NPC unification, something 3rd ed has partially done and 4th ed has abandoned. 11:00:46 Arcane magic in 3rd ed (and all earlier editions) is not sufficiently arcane (in my opinion), and in 4th ed it is not even sufficiently magic! 11:06:10 -!- Madoka-Kaname has quit (Quit: Going down for system reinstallation.). 11:06:33 -!- Madoka-Kaname has joined. 11:06:52 -!- Madoka-Kaname has quit (Client Quit). 11:15:12 (The things that used CR in D&D are not used in Icosahedral RPG, so there is no need to have CR.) 11:16:21 http://i.imgur.com/6mg5v.jpg 11:18:50 ion: Crawl Light has squarelos now! 11:19:36 ion: THANKS TO ME. 11:19:39 Have I told you this? 11:20:11 Make a variant with knightlos 11:20:32 That sounds confusing. 11:20:37 elliott: You haven’t! 11:20:44 Yes it probably would be confusing 11:20:57 ion: BEHOLD: https://github.com/dtsund/crawl-light/commit/4978bd01902f948a5bdbc00d48539a2d912523a7 11:21:00 You should play Light! 11:21:16 I have unfinished games on both CAO and CDO, btw. :-P 11:21:27 ion: You know how Crawl has a bunch of repetitive levels and could stand to have the branches a bit shorter? And also how curses are so meaningless as to be pointless? 11:21:44 And also how hunger is more of an annoyance than anything else? And also how the identificaiton game is kind of lame? And also how the LOS is a badly-approximated circle? 11:21:48 LIGHT FIXES ALL THESE THINGS. 11:21:50 Especially the last one. 11:21:55 ok :-) 11:21:56 Because I spent two days manually applying and fixing a patch. 11:22:10 ion: Anyway, two unfinished games is not nearly enough. 11:24:09 ion: Have I mentioned Light has a hard mode? 11:24:21 Lots of dragons and eyes of draining and multiple nasty uniques on the same dungeon level. 11:24:22 It's great. 11:24:26 Do I mean draining? 11:24:29 I mean devastation, I think. 11:28:32 -!- Taneb has quit (Ping timeout: 252 seconds). 11:29:42 I suppose the “circle” LOS is more like a rounded plus shape since diagonal moves have the same cost as horizontal and vertical moves, one could say you see further horizontally and vertically than diagonally. And the “square” LOS is more like a circle given the nonlinear topology. 11:30:03 ion: Yes, exactly. 11:30:12 ion: circlelos does ridiculous things like make it more advantageous to approach from a diagonal. 11:30:31 ion: (I think the "rounded plus shape" is actually a diamond.) 11:30:52 Hmm, it might be. 11:30:53 What's MIT scheme like? 11:31:05 Sgeo: A Scheme implementation. 11:31:11 ion: If I tell you the server, will you play Light? 11:31:11 sgeo: It has parentheses. 11:31:31 ion: Hint: The server is telnet light.bitprayer.com. 11:31:56 elliott: I might as well try it later. I’m watching mitx-6.002 lectures at the moment and there’s a deadline for the homework. 11:32:11 ion: Pfft, excuses. 11:33:59 Do you like to play as monster character in D&D game? 11:34:10 -!- zzo38 has quit (Quit: Did you know that? Heralds don't pun, they cant.). 11:34:23 Jim Florentine - Let Me Put My Brother On (Prank Call) http://youtu.be/2dy9lUJJGqI 11:37:40 ion: Too busy for Crawl but not for YouTube? :P 11:39:53 elliott: I can do youtube for five minutes while eating something, crawl takes more time and more free hands. :-) 11:40:07 You can probably play Crawl with one hand. 11:40:28 -!- DHeadshot has joined. 11:43:50 That sounds dirty. 12:24:31 -!- pikhq_ has joined. 12:25:10 -!- pikhq has quit (Ping timeout: 265 seconds). 12:27:05 -!- Patashu has changed nick to Door. 12:28:20 -!- Door has changed nick to Patashu. 12:35:51 -!- derdon has joined. 12:49:00 -!- derdon has quit (Remote host closed the connection). 12:50:55 -!- Taneb has joined. 12:54:33 Hello 13:01:47 hi Taneb 13:07:10 Why does Linden Labs prefix so many functions with the word Get 13:07:14 Get this, get that 13:10:33 They, too, are trapped in the Java Bean factory. 13:11:39 -!- Gregor has set topic: ESOTERIC SPONGE CONTEST | http://codu.org/logs/_esoteric/. 13:26:35 Finally, Luigi has a purpose! 13:31:33 -!- MSleep has changed nick to MDude. 13:57:00 -!- Guest2761 has joined. 13:57:28 -!- Guest2761 has left. 14:02:08 -!- Patashu has quit (Ping timeout: 256 seconds). 14:10:06 i had this great dream last night 14:10:09 but i've forgotten most of it 14:15:43 -!- ion has set topic: ESOTERIC SPONGE PREGNANCY TEST | http://codu.org/logs/_esoteric/. 14:24:18 -!- Taneb has quit (Quit: Leaving). 15:07:02 elliott: find a piece you can remember.. and it will link to more 15:07:19 or maybe it won't 15:07:28 I don't remember more than a very few vague events; just images and the feel of it. 15:07:37 I know it involved at least one foreign country. 15:15:04 -!- sebbu2 has changed nick to sebbu. 15:18:56 -!- qfr has quit (Changing host). 15:18:56 -!- qfr has joined. 15:26:16 -!- MDude has quit (Read error: Connection reset by peer). 15:26:31 -!- MDude has joined. 15:30:06 http://www.guardian.co.uk/world/2012/may/25/psychologists-replace-rorschach-tests-with-misheard-lyrics 15:31:49 itidus21: that links doesn't work 15:32:00 thats because it's a lie 15:32:09 diabolical 15:32:20 i wrote a url knowing it didn't exist! 15:32:38 diabolical 15:33:07 i once purjored myself that way 15:33:39 ^perjured 15:38:03 I both want to know the details and am praying that I never do. 15:38:28 i lied again! 15:38:51 HOW CAN I BEST SUCH A MASTER OF DECEPTION 15:39:29 maybe you don't need to. i just need to learn to communicate 16:00:06 The enemy has your lolly! 16:04:25 Then I need a hero who likes food. PacMan. 16:05:37 PacMan sequals = proof that 16:06:49 professor pacman: http://upload.wikimedia.org/wikipedia/en/f/f8/Profpacman.png 16:09:54 break; 16:10:43 hi 16:26:52 Tried ArmA2 16:26:58 The controls feel like crap 16:27:06