00:06:13 <itidus21> Gregor: there probably wasn't room for both, so they made room for WHITE UP POINTING INDEX
00:08:06 <itidus21> also theres WHITE FROWNING FACE but no BLACK FROWNING FACE
00:08:16 <oerjan> lebensraum, as they say
00:09:19 <itidus21> WHITE CLUB SUIT and WHITE SPADE SUIT they had room for
00:15:03 <itidus21> 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 <zzo38> Does the PC speaker driver broken on Linux?
01:03:07 <shachaf> zzo38: It wasn't last time I checked?
01:03:23 -!- pikhq_ has quit (Read error: Operation timed out).
01:06:06 <zzo38> 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 <zzo38> (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 <zzo38> 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 <zzo38> Have you played Super Bat Puncher (for NES/Famicom)?
01:53:05 -!- DHeadshot has quit (Read error: Connection reset by peer).
01:53:06 <itidus21> thats why i like the japanese... thats why i like the NES... thats why i like the word Super
01:53:24 <itidus21> because even though i have no idea what Super Bat Puncher is..
01:53:33 -!- DHeadshot has joined.
01:55:22 <zzo38> 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 <itidus21> oh then it must be a homebrew thing
02:04:23 -!- david_werecat has quit (Ping timeout: 244 seconds).
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 <zzo38> 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 <zzo38> 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 <zzo38> Why did they change mathNEWS to make it slower and more confusing?
04:50:17 <zzo38> 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 <zzo38> 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: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 <elliott> http://www.topatoco.com/merchant.mvc?Screen=PROD&Store_Code=TO&Product_Code=QW-MICRO-TREX&Category_Code=QW
07:54:35 -!- Taneb has joined.
07:54:42 <elliott> http://www.topatoco.com/merchant.mvc?Screen=PROD&Store_Code=TO&Product_Code=QW-MICRO-TREX&Category_Code=QW
07:56:18 <Taneb> If you give me your address and bank details, I'll buy one for you
07:56:54 <ion> 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 <Taneb> elliott, alternate solution: disable images in your browser
08:02:18 -!- asiekierka has quit (Remote host closed the connection).
08:04:48 <elliott> 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 <elliott> Two spammers on Esolang today.
08:48:50 <elliott> What gives me satisfaction is that every single time we get spammed, someone had to learn something about esolangs to do it.
09:00:52 <kmc> what, do you have an esolang captcha?
09:01:57 <Sgeo> Or something could be broken, allowing the spammers to get through without doing the captcha
09:02:12 <elliott> Madoka-Kaname: Try and edit a page logged out to see :P
09:02:26 <elliott> Sgeo: ConfirmEdit being broken would be pretty hilarious.
09:02:34 <elliott> Sgeo: But no, I know that isn't happening.
09:02:48 <elliott> Web server logs prove it, unless they're using advanced NLP and faking a real browser.
09:02:57 <elliott> Also the spam rate would be much higher if it could also get through automated.
09:04:37 <Madoka-Kaname> Make it better and ask general programming questions
09:05:35 <pikhq> What would be *evil* is gluing "prove P=NP" to a proof verifier.
09:05:56 <elliott> Madoka-Kaname: Seriously, I don't get what's evil about it.
09:06:27 <elliott> Madoka-Kaname: ...well, so?
09:06:48 <pikhq> "You need to be at least this smart to edit (arrow pointing at Deep Thought)"
09:06:54 <pikhq> Madoka-Kaname: Sure, why not.
09:07:12 <Sgeo> But what if P!=NP
09:07:32 <Sgeo> Prove that either P=NP or P!=NP
09:07:36 <Sgeo> Hmm, I need to rephrase that.
09:07:58 <elliott> Prove either that P=NP, or that P!=NP.
09:08:10 <elliott> Madoka-Kaname: You did notice the links, right?
09:08:13 <pikhq> Sgeo: Then they don't get to edit.
09:09:00 <elliott> I don't want an evil CAPTCHA, but I still don't really see how it's evil.
09:10:34 <Madoka-Kaname> Choose between INTERCAL, Brainfuck, Underload, Befunge, ///, and Unlambda
09:11:05 <Taneb> Isn't practically any text with matching square brackets valid brainfuck
09:11:49 <pikhq> Taneb: It *may* hit undefined behavior, but yes.
09:11:57 <pikhq> (namely, walking off the left edge of the tape)
09:12:03 <Taneb> Aw, now I want to write a brainfuck-Underload-///-Befunge polyglot
09:13:06 -!- asiekierka has quit (Remote host closed the connection).
09:13:24 <zzo38> 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 -!- asiekierka has joined.
09:13:48 <zzo38> He sometimes chases the wrong guy
09:18:52 <Taneb> How does Befunge behave on unknown characters?
09:19:12 <Taneb> Which is your favourite
09:20:00 <zzo38> 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 <Taneb> In 98, they behave like "r"
09:22:45 <zzo38> Why do you keep pointing the bazooka backward?
09:28:26 <Deewiant> Taneb: In 98 they reverse, in 93 it's undefined but canonically they're noöps
09:28:38 <Taneb> I like what 98 does
09:29:00 <Deewiant> (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:55 <Sgeo> Taneb, I assume you've seen the recent update?
09:33:20 <Taneb> ^bf_textgen brainfuck
09:34:11 <fizzie> That's not a fungot command.
09:34:12 <fungot> 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:45 <EgoBot> 100 ++++++++++++++[>+>+++++++>++++++++><<<<-]>>.>++.<-.++++++++.+++++.--------.>+++.<---.++++++++.<----. [584]
09:35:34 <fizzie> fungot: It's also not provably perfect, at least if the measure of perfection is program length.
09:35:35 <fungot> fizzie: and what fnord of associative array?' is that?
09:35:56 <fizzie> What fnord of associative array indeed.
09:36:45 <shachaf> elliott: "the expression problem" is annoying. :-(
09:37:01 <elliott> shachaf: Why is it in quotes?
09:37:12 <elliott> 10:32 <fizzie> There "U" go.
09:37:21 <elliott> fizzie: It's made me happy "4" me, so "thx" "go" "2" "u".
09:37:44 <shachaf> elliott: Because that allows me not to take responsibility for the name.
09:37:58 <elliott> I don't think you understand how the use-mention distinction works.
09:38:06 <elliott> "The 'Expression Problem'" would have been correct, though.
09:38:11 <elliott> But you can't include the "the" like that.
09:38:24 <shachaf> Quotes are way overloaded in English.
09:38:33 <elliott> That's just that which makes that statement which you said incorrect, and that is just that which makes that confusing..
09:38:35 <shachaf> This is a standard and perfectly valid use.
09:38:51 <elliott> shachaf: "The expression problem" does not seem standard at all to me.
09:38:54 <shachaf> I wish they weren't so overloaded, but since they are, I might as well enjoy it.
09:39:01 <elliott> "The 'expression problem'" would have parsed fine.
09:39:12 <shachaf> And, anyway, that's a name.
09:39:26 <shachaf> The *name* of the thing is "the expression problem".
09:39:32 <shachaf> It doesn't deserve a definite article.
09:39:44 <elliott> Proof by Wikipedia: http://en.wikipedia.org/wiki/Expression_problem
09:39:45 <shachaf> I ain't gonna give it a definite article.
09:39:53 <shachaf> I'm not quoting Wikipedia.
09:39:55 <elliott> There's your definite article.
09:40:05 <lambdabot> I don't perform such side effects on command!
09:40:21 <shachaf> The *point* is that it's annoying.
09:40:28 <shachaf> Do you have a solution for it?
09:40:49 <elliott> 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 <shachaf> I don't care how you solve it. You can use a definition or an example or something else.
09:41:25 <shachaf> I just want it solved. :-(
09:41:28 <elliott> I said it was inherently unsolvable.
09:41:50 <elliott> It's not a problem which can be solved.
09:42:51 <shachaf> Next you'll reduce it to the halting problem.
09:43:35 <shachaf> elliott: Rice's theorem is a good theorem.
09:43:50 <elliott> I can tell you why the expression problem is unsolvable, if you'd like.
09:45:07 <elliott> 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:17 <Madoka-Kaname> (>++++++[>+++++++<-]<++++++[>++++++++<-]>->[[.<]>[>]<[->+>+<<]>>[-<<+>>]<])!(*)S(/*)(~(*)*:S~:^):^
09:45:29 <elliott> You can define a product type with the implementations of the behaviour as the fields.
09:45:39 <elliott> This lets you add more data, but not more behaviour.
09:46:07 <elliott> 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 <elliott> And since the whole point is that new behaviour can be added at will, this isn't possible.
09:46:36 <elliott> 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 <shachaf> I think all you've specified is the problem itself. :-)
09:47:11 <elliott> I described the problem, and then told you why you can't do it.
09:47:23 <elliott> shachaf: Consider that the expression problem was first discussed in the context of a purported solution.
09:47:30 <Madoka-Kaname> Even a clean way to make a slashes/Underload polygot?
09:47:43 <elliott> My understanding of that solution is that it is not really a solution at all.
09:47:52 <shachaf> I don't know what that solution is.
09:48:04 <elliott> http://www.daimi.au.dk/~madst/tool/papers/expression.txt
09:48:10 <shachaf> What you described is the thing that one immediately thinks about when one hears about the problem.
09:48:14 <shachaf> And then one gets annoyed.
09:48:28 <elliott> It has a lot of distraction about recompiling and static type-safety and so on.
09:48:33 <elliott> shachaf: I don't get annoyed.
09:48:48 <elliott> shachaf: Actually I find it a very enlightening description of the essence of OOP vs. functional programming.
09:49:02 <elliott> And going over the fundamental trade-off is a good way to decide which is appropriate in each case.
09:49:24 <shachaf> Type classes vs. sum types in Haskell are in some sense a similar thing.
09:49:46 <elliott> shachaf: I dislike your bringing of typeclasses into it.
09:49:54 <elliott> I very specifically phrased my description with normal data types.
09:50:07 <elliott> data Behaviour = Behaviour { doThing :: Int -> IO (), zapBangName :: String }
09:50:20 <elliott> data Data = A Int | B String String [FilePath] | C Octagon
09:50:40 <elliott> a n = Behaviour { doThing = \m -> print (n + m), zapBangName = show n }
09:50:45 <elliott> doThingData :: Data -> Int -> IO ()
09:50:53 <elliott> doThingData (A n) m = print (n + m)
09:51:15 <elliott> shachaf: It's important to do it this way, because the two approaches are on equal footing; they're both types.
09:51:36 <shachaf> This doesn't have that much to do with OOP, though.
09:51:52 <elliott> To me, things like Behaviour are the very essence of OOP.
09:53:36 <elliott> shachaf: So what is OOP, if not encoding things as behaviour?
09:54:10 <Taneb> The first three letters of a not-very-good pop song
09:54:17 <shachaf> (There you'll be with your "use-mention distinction" again.)
09:54:31 <elliott> Taneb: What are the other letters?
09:55:22 <shachaf> (That's pronounced "GAÏN".)
09:57:47 -!- Phantom_Hoover has joined.
09:59:55 <elliott> shachaf: Anyway, I've given up on solving things.
10:00:09 <Taneb> elliott, solve the eurozone crisis
10:00:22 <Taneb> Then solve the eurovision crisis (i.e., why does the UK suck at it)
10:00:29 <elliott> By "eurozone crisis", do you mean "everywhere crisis"?
10:00:33 <Madoka-Kaname> "We want to make it easy to add either rows or columns."
10:00:34 <zzo38> About some of these kind of things, there is the Typeable class in Haskell which can sometimes help too
10:00:45 <Taneb> elliott, slightly, yeah
10:00:47 <Madoka-Kaname> Functional features in an OO language? It's not like the two have any basic conflict.
10:00:59 <elliott> Madoka-Kaname: That only lets you choose which you can add on a case-by-case basis.
10:01:20 <elliott> The idea is to be able to add both to any type.
10:01:20 <Taneb> BYOB blends the two in a language aimed at children
10:01:57 <Taneb> (it's what you get when you mix Logo, Lisp, and JavaScript, essentially)
10:02:20 <Taneb> That's where it gets it's OO from.
10:04:18 <Taneb> zzo38, I was thinking about Prelude.Generalize this morning, which is probably a bad idea
10:05:55 <zzo38> Thinking is a bad idea?
10:09:27 <zzo38> Taneb: What idea did you think of, about it?
10:09:48 <Taneb> unchurch :: Peanoid a => ((a -> a) -> a -> a) -> a
10:09:56 <Taneb> unchurch f = f succP zeroP
10:09:58 <lambdabot> Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them.
10:12:35 <Taneb> Also; instance Peanoid ((a -> a) -> a -> a) where zeroP = const id; succP = (<*>) (.)
10:14:17 <Taneb> (this makes church a specialization of transPeano, I think)
10:14:26 <nortti> what the fuck!? freenode let my bot in! I love freenode
10:14:37 <Taneb> nortti, you have a bot?
10:14:49 <nortti> fizzie: elisa seems to be no more blocked
10:14:58 <nortti> Taneb: yes. on #esoteric-en
10:15:47 <zzo38> 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:18:39 <zzo38> How can it be completely possible in any programming language?
10:19:03 <zzo38> It seems there must be some kind of restriction, either rows, columns, or uses.
10:26:06 <zzo38> 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 <Taneb> "Oi! Chancellor! Come in 'ere if you think you're hard enough, matey!"
10:28:28 <zzo38> Best is also if we can get him to reveal where he hid the king, before he arrives.
10:30:44 <fizzie> Maybe the chancellor is Yakra, and the real one is in a chest.
10:31:01 <Taneb> "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 <Sgeo> http://www.reddit.com/r/scheme/comments/s8buc/monad_egg_for_chicken_scheme_released/
10:31:16 <Sgeo> Please tell me that Mr. [deleted] is not the author of the egg
10:32:14 <elliott> i like the part where their monad is a functor
10:33:01 <Sgeo> The linked page looks correct at least, but maybe someone fixed the page... who knows what's with the code
10:33:38 <fizzie> Yakra impersonates the chancellor twice in Chrono Trigger.
10:33:59 <zzo38> O, that is what it is.
10:34:59 <Sgeo> I should learn Scheme macros at some point
10:36:33 <fizzie> Ah, but which Scheme macros? Syntax-rules, or syntax-case?
10:36:45 <zzo38> 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 <elliott> Or the defmacro-alikes found in many Scheme implementations?
10:36:50 <Sgeo> fizzie, whichever
10:37:04 <Sgeo> elliott, thanks for encouraging my decision paralysis :(
10:37:23 <Sgeo> 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 <Taneb> zzo38, crossdess and lure him into a honey trap?
10:37:38 <elliott> Sgeo: i have completely given up on influencing your behaviour in any way
10:37:41 <Sgeo> Although laziness in trying to set it up my stymie
10:37:47 <zzo38> Taneb: I do not understand.
10:37:48 <Sgeo> might stymie me
10:38:08 <Taneb> Utlilize his libido against him
10:39:00 <elliott> im just going to /clear instead of reading the context to that
10:39:19 <fizzie> 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 <zzo38> Taneb: I doubt I can do any of those things
10:39:57 <Taneb> zzo38, how good is your charisma?
10:40:24 <fizzie> Though I suppose the syntax-case egg is for version 3.
10:40:35 <Sgeo> fizzie, it helps when it comes to selecting a Scheme
10:40:55 <Taneb> IT WILL WORK PERFECTLY
10:41:06 <zzo38> All the information about the game is available on my computer and can be accessed by internet
10:42:34 <zzo38> Changing my dress is unlikely to help
10:42:52 <Taneb> What if you get him drunk first?
10:43:07 <Sgeo> 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 <Sgeo> Are code-walkers easier in Scheme than CL?
10:43:48 <zzo38> 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:45:09 <zzo38> I may need some scrolls of Locate Creature too
10:45:31 <Taneb> I've never actually played DnD
10:45:40 <Taneb> I've got a player's handbook for some reason
10:46:07 <zzo38> I am playing 3.5ed. I don't like 4th ed
10:46:12 <Sgeo> Why am I ignoring Racket?
10:48:04 <zzo38> Taneb: http://zzo38computer.cjb.net/dnd/recording/level20.tex
10:48:54 <Sgeo> About the Scheme interpreter in LSL
10:48:55 <Sgeo> "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 <zzo38> That is the current situation in the game.
10:49:10 <zzo38> (My character is Kjugobe)
10:49:41 <Taneb> I'm not likely to be much help
10:50:37 <zzo38> 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 <fizzie> Sgeo: But does it have continuations?
10:53:52 <fizzie> It's such a Scheme thing it ought to be on the list.
10:54:05 <zzo38> 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 <zzo38> For example, 4th ed has CR but no LA, Icosahedral has LA but no CR.
10:58:14 <zzo38> Icosahedral RPG also completes PC/NPC unification, something 3rd ed has partially done and 4th ed has abandoned.
11:00:46 <zzo38> 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 <zzo38> (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 <ion> http://i.imgur.com/6mg5v.jpg
11:18:50 <elliott> ion: Crawl Light has squarelos now!
11:20:11 <zzo38> Make a variant with knightlos
11:20:37 <ion> elliott: You haven’t!
11:20:44 <zzo38> Yes it probably would be confusing
11:20:57 <elliott> ion: BEHOLD: https://github.com/dtsund/crawl-light/commit/4978bd01902f948a5bdbc00d48539a2d912523a7
11:21:16 <ion> I have unfinished games on both CAO and CDO, btw. :-P
11:21:27 <elliott> 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 <elliott> 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 <elliott> LIGHT FIXES ALL THESE THINGS.
11:21:56 <elliott> Because I spent two days manually applying and fixing a patch.
11:22:10 <elliott> ion: Anyway, two unfinished games is not nearly enough.
11:24:09 <elliott> ion: Have I mentioned Light has a hard mode?
11:24:21 <elliott> Lots of dragons and eyes of draining and multiple nasty uniques on the same dungeon level.
11:24:29 <elliott> I mean devastation, I think.
11:28:32 -!- Taneb has quit (Ping timeout: 252 seconds).
11:29:42 <ion> 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:12 <elliott> ion: circlelos does ridiculous things like make it more advantageous to approach from a diagonal.
11:30:31 <elliott> ion: (I think the "rounded plus shape" is actually a diamond.)
11:30:52 <ion> Hmm, it might be.
11:30:53 <Sgeo> What's MIT scheme like?
11:31:05 <elliott> Sgeo: A Scheme implementation.
11:31:11 <elliott> ion: If I tell you the server, will you play Light?
11:31:11 <ion> sgeo: It has parentheses.
11:31:31 <elliott> ion: Hint: The server is telnet light.bitprayer.com.
11:31:56 <ion> 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:33:59 <zzo38> 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 <ion> Jim Florentine - Let Me Put My Brother On (Prank Call) http://youtu.be/2dy9lUJJGqI
11:37:40 <elliott> ion: Too busy for Crawl but not for YouTube? :P
11:39:53 <ion> elliott: I can do youtube for five minutes while eating something, crawl takes more time and more free hands. :-)
11:40:07 <elliott> You can probably play Crawl with one hand.
11:40:28 -!- DHeadshot has joined.
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.
13:07:10 <Sgeo> Why does Linden Labs prefix so many functions with the word Get
13:07:14 <Sgeo> Get this, get that
13:10:33 <fizzie> 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 <Taneb> 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 <elliott> i had this great dream last night
14:10:09 <elliott> 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 <itidus21> elliott: find a piece you can remember.. and it will link to more
15:07:28 <elliott> I don't remember more than a very few vague events; just images and the feel of it.
15:07:37 <elliott> 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 <itidus21> http://www.guardian.co.uk/world/2012/may/25/psychologists-replace-rorschach-tests-with-misheard-lyrics
15:31:49 <nortti> itidus21: that links doesn't work
15:32:20 <itidus21> i wrote a url knowing it didn't exist!
15:33:07 <itidus21> i once purjored myself that way
15:38:03 <Phantom_Hoover> I both want to know the details and am praying that I never do.
15:39:29 <itidus21> maybe you don't need to. i just need to learn to communicate
16:00:06 <Sgeo> The enemy has your lolly!
16:04:25 <itidus21> Then I need a hero who likes food. PacMan.
16:06:49 <itidus21> professor pacman: http://upload.wikimedia.org/wikipedia/en/f/f8/Profpacman.png
16:26:58 <Sgeo> The controls feel like crap
16:27:06 <Sgeo> I'm tempted to try America's Army like originally intended
16:28:16 <Sgeo> Because if I do, the brain control waves hidden in the game will force me to join the Army?
16:32:34 -!- KingOfKarlsruhe has joined.
16:32:38 <itidus21> propaganda isn't based on brain control waves
16:32:41 <Sgeo> `welcome KingOfKarlsruhe
16:32:49 <HackEgo> KingOfKarlsruhe: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
16:32:58 <Sgeo> Well, I promise not to join the Army, at any rate
16:33:11 <elliott> have i mentioned don't play america's army
16:33:53 <Sgeo> elliott, what will happen if I do
16:34:03 <Sgeo> KingOfKarlsruhe, that's lambdabot
16:34:49 <Sgeo> Bleh, I'd need to free up a lot of HD space
16:36:22 <Phantom_Hoover> and dont like having q and e mapped to lean right and left because it is the 90s and there is time for fps qwop
16:36:37 <Sgeo> I didn't even play with that
16:36:58 <Sgeo> I don't like an essential function for training being mapped to a non-existent key
16:37:06 <elliott> `pastlog and there is time for
16:37:41 <Sgeo> The mouse sensitivity needs to be tuned :/
16:37:46 <elliott> `pastlog there is time for
16:37:53 <Sgeo> Phantom_Hoover, I binded it to left Alt
16:38:02 <Sgeo> In the process losing the key for Look
16:38:04 <HackEgo> 2011-09-07.txt:03:14:55: -!- oerjan changed the topic of #esoteric to: It is the 90s and there is time for the requirements of supervision and control of transmissible spongiform encephalopathies, also an Esolang event @ Hel/Finland on 3.10.2011: https://wiki.helsinki.fi/display/lambda/esoteeriset+ohjelmointikielet | I think pointers are considerably more useful than lambda calculus | 12345678 | http://codu.org/logs/_esoteric/
16:38:04 <Phantom_Hoover> there are several pages of controls in each of like 5 sections
16:38:21 -!- elliott has set topic: It is the 90s and there is time for the requirements of supervision and control of transmissible spongiform encephalopathies, also an Esolang event @ Hel/Finland on 3.10.2011: https://wiki.helsinki.fi/display/lambda/esoteeriset+ohjelmointikielet | I think pointers are considerably more useful than lambda calculus | 12345678 | http://codu.org/logs/_esoteric/.
16:38:35 <elliott> atehwa: How did that event go, by the way?
16:38:45 <Sgeo> I only just realized that that's not the word
16:39:07 <Sgeo> Phantom_Hoover, wait, is right alt used for anything/
16:39:10 <Sgeo> I have a right alt key
16:39:33 <Phantom_Hoover> if you mash your face on the keyboard in arma 2 youll probably manage to start a nuclear war
16:41:30 <elliott> YOU EXPLODE YOU ACTUALLY *EXPLODE*
16:42:05 <Sgeo> Phantom_Hoover, is look actually useful in games?
16:42:57 <Phantom_Hoover> but if you have to do a vehicle section i pity you, its like piloting a pig with 2 engines on fire
16:43:16 <elliott> Phantom_Hoover: what was the pig trap's slogan again
16:43:19 <elliott> ex piggia et scientia or something
16:43:34 <Sgeo> Phantom_Hoover, does AA3 have vehicles? >.>
16:44:09 * Sgeo goes to install Urban Terror
16:45:00 <elliott> Y\O\U\ H\A\V\E\N\'\T\ E\X\P\L\O\D\E\D\ Y\E\T\
16:45:18 <Sgeo> elliott, go get Worms working at some point
16:45:22 <elliott> /B/U/T/ Y/O/U/ W/I/L/L/ /S/O/O/N
16:46:27 <Sgeo> Didn't realize there was something to ruin
16:46:35 <elliott> That line. It interrupted mine.
16:46:55 <Sgeo> Didn't realize there would be another line, and that there was supposed to be some sort of visual effect
16:46:58 <Sgeo> <elliott> Y\O\U\ H\A\V\E\N\'\T\ E\X\P\L\O\D\E\D\ Y\E\T\
16:47:01 <Sgeo> <elliott> /B/U/T/ Y/O/U/ W/I/L/L/ /S/O/O/N
16:47:05 <Sgeo> I don't get it
16:47:10 <elliott> It's not really a visual effect.
16:47:14 <elliott> They just belong together.
16:48:39 <ion> YBOUUT HYAOVUE NW'ITL LE XSPOLOON
16:49:01 <ion> I’l playing 6.002x
16:49:14 <elliott> telnet light.bitprayer.com
16:51:02 <elliott> such a boring combo!!! but ok
16:51:04 <Sgeo> What's light about it?
16:51:26 <Sgeo> Oh, so still full game
16:51:29 <elliott> aren't you going to adjust your skills
16:51:33 <Sgeo> Thought it would be some quick thing
16:51:41 <elliott> you can win in a few hours
16:51:59 <elliott> turn off fighting and dodging
16:52:24 <Sgeo> What's purple?
16:52:33 <elliott> it's scrolls that are probably bad
16:52:41 <elliott> also mutagenic corpses but light doesn't have eating so
16:52:59 <elliott> and prayer does nothing if you've already chopped a corpse...
16:53:14 <elliott> (additionally: you don't need to walk onto a corpse to sacrifice it in light)
16:53:30 <Sgeo> Did not know that about not needing to walk on it
16:53:52 <Sgeo> Why do apples exist?
16:54:19 <elliott> i don't like the permafood still existing thing
16:56:03 <Sgeo> Does teleport still have time before it actually takes effect?
16:57:56 <elliott> it will be fun if you get stat-drained
16:58:06 <Sgeo> Why is it that low?
16:59:26 <Sgeo> Is Trog fine with skeletized corpses?
16:59:44 <elliott> he's not fine with rotting corpses
17:00:23 <elliott> henzell is more useful than xv
17:00:31 <Sgeo> She can't cast in silence right?
17:00:52 <elliott> just chokepoint and bash her
17:01:54 <elliott> bad stuff that gives you mutations if it gets too high
17:01:59 <elliott> so you can't spam spells/invocations too much
17:03:36 <elliott> why did you add the zig to your shopping list
17:03:53 <Sgeo> I think o automatically enters shops or something
17:04:04 <elliott> i'm not sure what's confusing
17:04:12 <Sgeo> Why it was offering me a ziggurat
17:06:14 <elliott> you didn't even reach the pandoora
17:06:20 <elliott> do you give games less time than you give languages
17:06:54 <Sgeo> >.> I might be in that habit
17:07:01 <Sgeo> I do intend to go through SICP
17:08:25 <elliott> i have doubts in your patience
17:09:00 <Sgeo> >.> that's a fear
17:11:47 <elliott> Sgeo: you could at least splat the thing
17:14:51 <itidus21> the odds of me doing sicp are so small that the idea of me doing it first is not cause for concern
17:15:11 <ion> A star vs. a black hole, the length is 139 days. http://i.minus.com/ibovF0KvyEZmtl.gif
17:17:52 <ion> I’m rooting for the black hole.
17:25:07 -!- asiekierka has quit (Read error: Connection reset by peer).
17:30:59 -!- azaq23 has joined.
17:31:07 -!- azaq23 has quit (Max SendQ exceeded).
17:31:33 -!- azaq23 has joined.
17:35:17 -!- augur has quit (Remote host closed the connection).
18:00:44 -!- derdon has joined.
18:07:25 -!- augur has joined.
18:18:43 -!- BlueProtoman has joined.
18:20:32 <BlueProtoman> I'm trying to write a Brainfuck interpreter. I've got my code here for seeing if the []'s are balanced http://ideone.com/S6Td2 , but it doesn't seem to work. I stepped through it on my own, with drawings and everything, and it worked fine. Any tips
18:21:57 <elliott> are you just trying to check if they're balanced, or build a table of some kind while you're doing so?
18:22:30 <BlueProtoman> A table that records brace pairs so I can easily jump around.
18:22:56 <elliott> what problems are you seeing exactly?
18:23:35 <elliott> perhaps brace_table is insufficiently large
18:24:07 <elliott> well, how do you declare brace_table?
18:24:51 <BlueProtoman> std::unordered_map<int64_t, int64_t> brace_table;
18:25:14 <BlueProtoman> I use unordered_map because that's got constant lookup, while map doesn't.
18:25:28 <elliott> but non-constant insert :)
18:25:51 <elliott> have you tried stepping through in gdb? I'd guess it's some other code you have that's causing the segfault, because I can't see how this would
18:25:53 <BlueProtoman> Right, but I'm doing more lookups than insertions.
18:25:58 <fizzie> How about that thing, you know that thing. A gruddebe? No, that's not it. A grudbug. Oh, right, a debugger!
18:26:24 <fizzie> elliott: Yeah, I was trying to invent more misspellings.
18:26:51 <shachaf> elliott: You said it first but fizzie said it better.
18:26:53 <BlueProtoman> Also, I don't quite know how to run a program through gdb. I.e. launch gdb first, then my program.
18:27:05 <shachaf> BlueProtoman: You should learn to use gdb!
18:27:12 <elliott> BlueProtoman: gdb ./program
18:27:16 <lambdabot> Not in scope: `hi'Not in scope: `program'
18:27:55 <BlueProtoman> shachaf: I do use it through Code::Blocks, but I don't really know how to use it on the command line. I don't know how to have Code::Blocks pass arguments to my program. With no args, my interpreter just shows a help screen.
18:28:13 <shachaf> elliott: whoa, dude, start
18:28:26 <elliott> gdb can also take args on the command-line i think but
18:28:35 <shachaf> Yes, with gdb --args ./program a b c d
18:28:35 <fizzie> gdb --args ./program a b c d, or some-such.
18:29:12 <BlueProtoman> OK, but now I need to figure out how to use the important utilities.
18:29:27 <BlueProtoman> This summer I need to spend my time before college starts learning things like make or gdb.
18:29:42 <shachaf> elliott: gdb is ~2 million lines of code.
18:29:49 <shachaf> So that's 20,000 useful lines?
18:30:00 <elliott> shachaf: Sounds like an overestimation to me.
18:30:49 <shachaf> Also gdb has some useful features that (presumably) take a lot of code to implement.
18:31:11 <shachaf> BlueProtoman: Did you know gdb could do that?
18:31:17 <elliott> I use printf debugging whenever possible.
18:31:33 <elliott> The nice thing about REPLs is that they're basically printf debugging automators.
18:32:02 <lambdabot> http://stackoverflow.com/questions/8731782/whats-a-repl-process-and-what-can-i-use-it-for
18:32:02 <lambdabot> Title: node.js - What's a REPL process and what can I use it for? - Stack Overflow
18:32:06 <elliott> BlueProtoman: Read-eval-print-loop.
18:32:14 <elliott> Don't click that Stack Overflow link. Nothing with node.js in the title can be good news.
18:32:19 <elliott> BlueProtoman: Have you used Python or Ruby?
18:32:24 <shachaf> @google why node.js is stupid
18:32:27 <lambdabot> http://www.youtube.com/watch?v=1e1zzna-dNw
18:32:28 <BlueProtoman> elliott: I've dabbled in Python, Ruby not really.
18:32:33 <elliott> BlueProtoman: You know the Python console?
18:32:39 <elliott> BlueProtoman: That's a REPL.
18:32:46 <elliott> It reads an expression, evaluates it, prints the result, and loops back again.
18:33:03 <BlueProtoman> Does it allow normal program flow if placed inside a program?
18:33:37 <elliott> Can you clarify? I'm not sure I understand.
18:34:05 <elliott> shachaf: I forgot about that video. :(
18:34:36 <elliott> Gregor: You should watch that video. It's terrible.
18:35:22 <BlueProtoman> elliott: Like, could I insert a REPL into my Brainfuck interpreter and NOT have it affect it running, aside from extra junk being put on-screen?
18:35:46 <elliott> BlueProtoman: Well, a REPL is a development tool, really, separate from running complete programs.
18:36:07 <elliott> But you could have a REPL where you can feed it a whole program and it'd work fine, sure.
18:36:44 <elliott> gdb is like a REPL except it's attached to a running program that you step through.
18:36:50 <elliott> And also you can't actually evaluate arbitrary expressions.
18:37:00 <elliott> So it's not really like a REPL. But there are similarities :)
18:37:07 <shachaf> elliott: I haven't watched it.
18:40:25 -!- augur has quit (Read error: Connection reset by peer).
18:40:41 -!- augur has joined.
18:49:29 -!- ais523 has joined.
19:04:26 <BlueProtoman> I now know how to access the braces properly. Fine.
19:05:04 <BlueProtoman> But now when Brain Drain (as I call the interpreter) runs through the BF program, it doesn't output anything even though the BF program has "." instructions.
19:06:15 <BlueProtoman> I catch all the exceptions that both std::string and std::unordered_map throw, and they mostly consist of vector::_M_range_check, with the occasional _Map_base::at
19:07:10 <BlueProtoman> And I use unordered_map.at() rather than unordered_map[] so I don't create new elements.
19:08:31 <shachaf> BlueProtoman: I recommend taking elliott's advice.
19:08:41 <shachaf> Take your printfshaker and sprinkle some printfs throughout the program.
19:09:03 <coppro> how big is the interpreter?
19:09:04 <BlueProtoman> Particularly in my instructions, which come as void function objects.
19:09:48 <BlueProtoman> coppro: Lemme put it on IDEone. See, I plan on adding several Brainfuck dialects, and each one will come as a class.
19:11:06 <BlueProtoman> When I put cout's in my BF instructions, I get nothing. I DO know that the program is looping with the braces, though.
19:12:16 <coppro> I think your regex is wrong
19:13:07 <BlueProtoman> coppro: My regex is somewhat correct (it compiles, but doesn't match anything), but that's not my concern right now.
19:13:37 <coppro> BlueProtoman: ok, well, it doesn't match because the early ] kills it
19:13:42 <coppro> your character class ends partway through
19:13:51 <BlueProtoman> coppro: I don't know how to match individual []'s, though.
19:14:02 <coppro> BlueProtoman: [ can be matched safely inside a class
19:14:12 <coppro> and ] can be matched safely outside of one
19:14:18 <coppro> it needs to be first or las
19:14:24 <coppro> *or last, or else it will be a character range
19:14:54 -!- oerjan has joined.
19:15:30 <coppro> oh, ] can also be safely matched first
19:15:43 <coppro> []fo] matches ']', 'f', or 'o'
19:16:23 <BlueProtoman> This is mine, with your changes; [^><+.,[\]@$!}{~^&|-]
19:16:33 <BlueProtoman> f++++++++++[>+++++++>++++++++++>+++>+<<<<-]>++.>+.+++++++The Rain in Spain is Falling on the Plane..+++.>++.<<+++++++++++++++.>.+++.------.--------.>+.>.
19:16:45 <nortti> I have installed working c compiler to my bot at #esoteric-en. first one to destroy my chroot gets ops
19:16:53 <coppro> you can't just escape a ]
19:17:05 <coppro> backslashes are meaningless inside classes
19:17:29 <coppro> you have to do [^][><+.,@$!{}~^&|-]
19:18:28 <BlueProtoman> coppro: It works! Thanks! Now to actually get the program itself working.
19:18:40 <coppro> make sure to flush cout
19:19:15 <coppro> cout is buffered output
19:19:24 <coppro> it doesn't instantly print everything you stream to it
19:19:29 <coppro> you have to flush it to make it actually happen
19:19:39 <coppro> endl flushes automatically
19:21:12 -!- zzo38 has joined.
19:21:51 <BlueProtoman> coppro: OK, I cout.flush() whenever I hit a "." instruction, but I still see nothing.
19:26:49 <oerjan> always flush regularly. or was that floss regularly.
19:27:41 <BlueProtoman> I still don't quite understand what a buffer is or what flushing is.
19:29:58 <oerjan> afaik: communicating between processes is somewhat expensive, therefore file/stream io tends to try not to send just one character at a time, but instead save it in a buffer to be sent all at once. this can be set to happen either when the buffer is full, when a newline is output, or on each character (when you really need it).
19:30:37 <elliott> It's syscalls that are expensive, really
19:31:32 <oerjan> also perhaps cache synchronization, no?
19:32:14 <BlueProtoman> If that's the case, why does std::cout << "France"; work
19:32:34 <kmc> yes, even when processes communicate through shared memory and use lockless data structures, there is no free lunch
19:32:49 <kmc> BlueProtoman: stdout is typically line-buffered if it's a terminal
19:33:29 <BlueProtoman> kmc: In that case, why should I flush often if we're using a terminal? Hell, what else could stdout go to?
19:33:45 <kmc> BlueProtoman: you could redirect stdout to a file, or pipe it to another process
19:34:00 -!- pikhq has joined.
19:34:03 <elliott> BlueProtoman: because it won't flush until you write a newline
19:34:09 <BlueProtoman> kmc: So I could redirect stdout to LibreOffice if I wanted to?
19:34:12 -!- pikhq_ has quit (Ping timeout: 246 seconds).
19:34:19 <kmc> on UNIX anyway, stdout is just file descriptor 1, and that could be opened to any kind of file
19:34:22 <elliott> if libreoffice supported that, sure
19:34:29 <elliott> unix is all about connecting stdout and stdin to places
19:34:29 <kmc> BlueProtoman: sure, but those programs typically don't accept input on standard input
19:34:33 <kmc> why don't you read about unix pipes
19:35:23 <kmc> libreoffice is a gui program with gui dialogs for opening files and such
19:35:30 <kmc> that's where it gets its input
19:35:34 <kmc> not by reading std::cin
19:36:04 <kmc> i'm so confused
19:36:19 <ais523> <elliott> It's syscalls that are expensive, really <-- right, shared memory and non-contended futexes are both pretty cheap, as neither gets the kernel involved
19:36:27 <kmc> i think rather than flushing repeatedly, you can just put std::cout into an unbuffered mode
19:36:31 <kmc> but i don't remember how
19:37:11 <elliott> it's like feather, but different
19:37:15 <elliott> http://esolangs.org/wiki/Feather
19:37:23 <kmc> BlueProtoman: as to your original question, try something like: std::cout << "foo"; sleep(2); std::cout << " bar\n";
19:37:34 <kmc> you won't see foo 2 seconds before bar
19:37:37 <kmc> because of line buffering
19:37:39 <oerjan> BlueProtoman: @ is elliott's vaporware os design
19:37:52 <lambdabot> Maybe you meant: arr more part where yarr
19:37:53 <Sgeo> The suckiest part of World of Padman is the players
19:38:02 <Sgeo> They don't seem to know how to play capture the flag
19:39:04 <oerjan> elliott: just solidly challenged, right?
19:39:51 <kmc> naive use of shared memory is pretty cheap for 2-4 threads but if you're trying to scale up to a 48 core machine, you hit a wall pretty quickly
19:40:09 <oerjan> http://www.mezzacotta.net/owls/ is very meta today
19:40:41 <BlueProtoman> kmc: OK. Now, what I don't get is how this helps me understand why my BF interpreter gives me no output. Especially since I just switched to putchar.
19:40:43 <kmc> then you need to think about cache lines bouncing between cores, efficient use of memory barriers, NUMA
19:41:04 <elliott> BlueProtoman: it doesn't :P
19:41:06 <kmc> BlueProtoman: if it's a buffering problem you should get all the output when the program quits
19:41:07 <elliott> putchar buffers too though
19:41:27 <BlueProtoman> elliott: Except that there might be a need for input beforehand. BF allows input.
19:41:49 <kmc> coppro: you can also do [><+.,@$!{}~^&|-^] no?
19:42:42 <BlueProtoman> There must be a problem with how I'm calling my function objects.
19:42:56 <BlueProtoman> Placing std::cout << "France" << std::endl in them does nothing.
19:43:14 <kmc> maybe your code isn't getting called at all
19:43:33 <kmc> btw, cerr is useful for debugging as it's unbuffered
19:45:25 <kmc> you could use debugger breakpoints to see if your code is getting called
19:45:33 -!- Taneb has joined.
19:46:01 <Taneb> Am I allowed to call myself a published software author now?
19:46:58 -!- Zuu has changed nick to FluffZuu.
19:47:09 -!- FluffZuu has changed nick to FluffBall.
19:48:26 <BlueProtoman> kmc: This is my Brainfuck.cpp. At the bottom, I call my code with run(), which calls nextInstruction() on each character. http://ideone.com/8EjGf
19:51:55 <kmc> you could use debugger breakpoints to see if your code is getting called
19:52:34 -!- BlueProtoman has left ("Leaving").
19:52:39 -!- elliott has left.
19:53:43 <fizzie> It's probably not related, but the run() looks very dubious. It will call nextInstruction() as many times as there are characters in the program, but (if there are loops) that's probably not the right amount of steps to execute.
19:54:49 -!- pikhq_ has joined.
19:54:54 -!- pikhq has quit (Ping timeout: 252 seconds).
20:12:06 <zzo38> Go the store, and buy some more. You will need to open the purple door. -- Super ASCII MZX Town
20:13:58 -!- nortti has changed nick to nortti_.
20:14:26 -!- nortti_ has changed nick to nortti.
20:17:01 -!- nortti has changed nick to nortti_.
20:17:10 -!- nortti_ has changed nick to nortti.
20:18:47 -!- nortti has changed nick to nortti_.
20:18:53 <zzo38> Make up QR-GAME which consists of a QR code of a binary code of a computer game for some virtual machine or emulator
20:18:59 -!- nortti_ has changed nick to nortti.
20:19:18 <zzo38> nortti: Why do you keep changing your name?
20:19:52 <nortti> zzo38: I test !msg and !readmsg commands in my ircbot
20:21:49 -!- nortti has changed nick to nortti_.
20:21:58 -!- nortti_ has changed nick to nortti.
20:28:30 -!- Achtquack has joined.
20:29:40 -!- Achtquack has quit (Quit: Verlassend).
20:29:48 -!- pikhq has joined.
20:30:18 -!- pikhq_ has quit (Ping timeout: 256 seconds).
20:32:06 -!- augur has quit (Remote host closed the connection).
20:32:07 -!- Phantom_Hoover has quit (Remote host closed the connection).
20:33:33 -!- augur has joined.
20:33:58 -!- Phantom_Hoover has joined.
20:44:31 -!- pikhq has quit (Ping timeout: 252 seconds).
20:49:18 -!- nortti has changed nick to nortti__.
20:49:34 -!- nortti__ has changed nick to nortti_.
20:50:34 -!- nortti_ has changed nick to nortti.
20:55:17 <Sgeo> Church of Bitcoin?
21:00:26 -!- pikhq has joined.
21:02:11 <zzo38> Edward Kmett said that discardable functors are the same as representable functors, and representable functors are isomorphic to ((->) x) for some x. I can prove that all discardable monads are idempotent applicatives, but since they are representable and therefore isomorphic to ((->) x) they are all monads and therefore all idempotent as well.
21:04:09 <zzo38> However, there are idempotent applicatives which are not discardable/representable, such as: ZipList, ((,) x) for some idempotent monoid x, Maybe, (Either x), (Const x) for some idempotent monoid x
21:04:10 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 12.0/20120420145725]).
21:04:37 <Taneb> What does idempotent mean?
21:05:17 <zzo38> Idempotent monoid means mappend x x = x and idempotent applicative means x *> x = x
21:05:38 <kmc> idempotent in general means "if you apply it twice, it's the same as applying it once"
21:05:55 <Taneb> And discardable and representable in this context?
21:06:59 <zzo38> Taneb: Discardable functor means x <$ y = x <$ z and representable means isomorphic to ((->) x) for some x
21:07:36 <zzo38> Identity is isomorphic to ((->) ()) and Finalize is isomorphic to ((->) Zero)
21:10:19 <zzo38> Is (\f x y -> (f x -> f y)) a Arrow if and only if f is idempotent applicative? I don't know but I guessed
21:12:15 <zzo38> x *> x = x >> x = join (x <$ x) = join (x <$ return y) = join (return x) = (join . return) x = id x = x
21:12:17 <Taneb> ...is Proxy an idempotent applicative?
21:12:46 <zzo38> Taneb: I think Proxy is equivalent to Finalize, so it is
21:13:05 <zzo38> (Note in proof given: This assumes it is discardable, so (x <$ x) = (x <$ y) for any y)
21:39:24 -!- nortti_ has joined.
21:40:42 -!- Taneb has quit (Quit: Leaving).
21:40:59 -!- augur has quit (Remote host closed the connection).
21:44:30 -!- monqy has joined.
21:44:51 -!- nortti_ has quit (Read error: Connection reset by peer).
21:45:42 -!- MoALTz has quit (Quit: brb).
21:48:16 -!- MoALTz has joined.
21:48:35 -!- nortti_ has joined.
21:49:58 -!- oonbotti has joined.
21:50:43 <zzo38> There are two campaign rules I like (which are default in Icosahedral RPG, but I like to use them in Dungeons&Dragons as well): * Any dead creature is considered to age twice as fast while dead for the purpose of resurrection increasing your age more. * Alignment entry for kinds of creatures does not describe what is most likely (with a few exceptions) but instead describes what people (especially if superstitious) tend to believe.
21:50:56 <zzo38> Exceptions = angels, devils, demons, normal animals/vermins, unintelligent undead, and uniques.
21:57:05 <HackEgo> oonbotti: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
21:57:37 * oerjan has a hunch that might mean "o is a bot"
21:58:23 <nortti_> oonbotti=olen botti=I am bot
21:59:18 <zzo38> (Other than the given exceptions, any random individual of some kind can be just as likely to be of any alignment; confirmation bias may cause people to persist in their fallacious beliefs.)
21:59:43 <zzo38> I think these two campaign rules make the game more interesting
22:00:04 <nortti_> !rawirc PRIVMSG #esoteric Maybe I should make command for this
22:00:05 <oerjan> oh oon is slang for olen?
22:00:20 <zzo38> nortti_: You forgot the colon
22:00:27 <nortti_> !rawirc PRIVMSG #esoteric :Maybe I should make command for this
22:00:28 <oonbotti> Maybe I should make command for this
22:01:23 <oerjan> sorry, slang ain't gonna make it 'round here
22:02:50 <oonbotti> #include <stdio.h>\nint main() {char a[12]; a[0]='H'; a[1]='e'; a[2]='l'; a[3]='l'; a[4]='o'; a[5]=' '; a[6]='w'; a[7]='o'; a[8]='r'; a[9]='l'; a[10]='d'; a[11]=0; puts(a); }
22:02:54 <oonbotti> >>[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[>+>>>>+<<<<<-]>[<+>-]>>>>+[
22:04:18 <zzo38> I suggest you could just send message directly to oonbotti
22:04:37 <zzo38> Or you could have "oonbotti: " prefix for commands written to the channel
22:05:08 -!- oonbotti has left.
22:05:39 <nortti_> oh well. I 'lljust keep it on #esoteric-en
22:06:34 <oerjan> if the default is finnish, then #esoteric-en means _not_ esoteric, right?
22:06:49 <ais523> oerjan: no, #esoteric-en means /not finnish/
22:06:55 <ais523> all languages but finnish are acceptable there, though
22:07:38 <oerjan> ais523: that was a lousy attempt at a pun with finnish.
22:08:57 <oerjan> fi:en = en:i don't, or something like that
22:09:37 <ais523> when #esoteric-en was in the topic, though, the rule was that it was for all languages but Finnish
22:09:47 <ais523> actually enforced in #esoteric-en :)
22:09:54 <ais523> (not sure how many people actually joined it)
22:10:08 * oerjan suddenly wonders why it's fi rather than su
22:10:09 <nortti_> Ii never saw anyone other there than Sgeo
22:11:03 <nortti_> and I was there almost all the time
22:11:43 <zzo38> Do you like the rules of Icosahedral RPG?
22:12:23 -!- kwertii has joined.
22:13:10 <Gregor> Is this topic some kind of Markov nightmare of all the topics from the past year?
22:14:12 <nortti_> by the way !cc on oonbotti was actually c2bf
22:15:34 <nortti_> it is the ISC licensed version with my libc and cpp added on wrapper script
22:17:26 <Gregor> Is that available somewhere yet?
22:18:36 <oerjan> `pastlog transmissible spongiform encephalopathies, also
22:18:41 <nortti_> no yet. I still don't really understand how git works
22:18:53 <HackEgo> 2011-09-13.txt:23:10:28: -!- oerjan changed the topic of #esoteric to: Freudian armchair psycho-babble | It is the 90s and there is time for the requirements of supervision and control of transmissible spongiform encephalopathies, also an Esolang event @ Hel/Finland on 3.10.2011: https://wiki.helsinki.fi/display/lambda/esoteeriset+ohjelmointikielet | god bless haskell america | 12345678!& | http://codu.org/logs/_esoteric/
22:19:32 <Gregor> oerjan: Yes, that was my point ...
22:19:37 <oerjan> Gregor: i think it may be a straight rerun of one from earlier
22:20:04 <nortti_> Gregor: it was "fun" to edit copyright notices in all of the files
22:22:34 <Gregor> nortti_: YOU'RE WELCOME
22:36:27 -!- augur has joined.
22:38:21 -!- Patashu has joined.
23:06:11 -!- augur has quit (Read error: Connection reset by peer).
23:06:25 -!- azaq23 has quit (Quit: Leaving.).
23:06:57 -!- augur has joined.
23:13:40 <zzo38> Can you make the Free Geeks GameBoy game?
23:27:06 -!- nortti_ has quit (Ping timeout: 256 seconds).
23:44:26 -!- derdon has quit (Remote host closed the connection).