←2014-07-05 2014-07-06 2014-07-07→ ↑2014 ↑all
00:04:32 <ski> newsham : heh, that reminds me i found a Prolog for C64 :)
00:06:01 <ski> zzo38 : oh .. i thought you were talking about TFMX for a second ..
00:14:57 <zzo38> ski: Well, it isn't.
00:46:16 -!- nooodl_ has joined.
00:46:48 <oerjan> `addquote <Taneb> Help I'm distracting myself from writing terrible Python by reading terrible PHP
00:46:54 <HackEgo> 1212) <Taneb> Help I'm distracting myself from writing terrible Python by reading terrible PHP
00:47:51 <oerjan> at least that's probably less evil than the reverse (or is it converse)
00:50:11 -!- nooodl has quit (Ping timeout: 272 seconds).
00:51:16 <boily> oerjan: obviously it's the obverse.
00:51:33 <oerjan> ah.
00:53:18 <boily> uhm. you really shouldn't be taking me at face value there. I have no fungotting clue what I'm talking about.
00:53:18 <fungot> boily: i was just unsure whether it had already been interned fnord not use j much... he was bugging me.
00:53:51 <oerjan> boily: i think that's the perfect qualification for this conversation hth
00:54:33 <boily> tdh. m.
00:56:29 <Sgeo> Help, I need to stop being so reluctant to watch shows that are nominally kids' shows
00:57:18 <zzo38> Sgeo: Well, if it is a show you like then watch it, otherwise, please don't watch it.
00:57:23 <zzo38> OK??????????????
00:57:41 <Sgeo> I'm specifically referring to shows that I haven't seen before. Shows that I've watched some of and know I like will continue to be watched
00:59:34 <oerjan> Except ye be converted, and become as little children, ye shall not enter into the kingdom of heaven.
00:59:41 <oerjan> hth
01:00:08 <oerjan> in other words you need to watch children's shows or be DOOMED
01:00:37 <zzo38> Sgeo: If you have not seen it before, then you must learn.
01:01:46 <boily> http://youtu.be/_kNvcxwJVs4
01:02:36 <oerjan> boily: Denne videoen er ikke tilgjengelig i ditt land. tdnh.
01:03:41 <boily> halp. I'm understanding Norwegian.
01:03:54 <boily> maybe this one? → http://youtu.be/oh4tHpUflDA
01:04:05 <oerjan> *MVAHAHAHÅ*
01:04:13 <boily> (hm. it has lyrics. the lyrics, they are dirty.)
01:04:44 <boily> oerjan: care to provide an audio clip of your evil voice, so that I can know how you sound like? plzkthxtwh
01:05:11 <oerjan> boily: too much work hth
01:09:44 <oerjan> also, malaysia doesn't have a president.
01:11:12 <boily> ...???
01:11:21 <oerjan> (see comments)
01:12:00 <boily> I unsee youtube comments.
01:12:17 <boily> speaking of unseeing stuff, quintopia: QUINTHELLOPIAAAAAAAAAAAAAAAAA!
01:14:01 * boily lightly prods quintopia *prod* *prod* *prod*
01:14:36 * FireFly lightly nudges boily *wink* *wink* *nudge* *nudge*
01:16:12 <boily> say no more!
01:21:56 <zzo38> Now I did make example of AmigaMML: https://devlabs.linuxassist.net/projects/amigamml/wiki/Examples
01:31:58 <zzo38> I had idea of a kind of card game called "The Aberration Hater Card Game", which is played by two, three, or four players, and with four players it is teams and there is two modes "Bridge-mode" and "Washizu-mode". Some cards are only usable based on the role of each player (which rotates), and each player has a different role except in Bridge-mode.
01:33:35 <zzo38> However, I don't know much else about it
01:34:28 * quintopia succumbs to boily's prods
01:35:35 -!- Patashu_ has quit (Ping timeout: 244 seconds).
01:36:29 <oerjan> <boily> also eyes. can't forget the eyes. <-- are you saying the land of lisp is multiocular?
01:37:31 <boily> quintopia: I finished reading The City & The City the other day. it was good!
01:37:58 <quintopia> i'm all wrapped up in Worm now >_>
01:38:10 <quintopia> my sleep will surely suffer
01:38:18 <quintopia> as if it doesn't always
01:38:28 <boily> oerjan: I couldn't find myself telling a negative answer. the LoL is indeed multiocular.
01:38:46 <boily> quintopia: what kind of worm? the one where you blow your opponents up?
01:39:06 <quintopia> that's Worms
01:39:18 <quintopia> i'm talking about parahumans.wordpress.com
01:39:29 <Bike> waiting for the worms *guitar riff*
01:40:50 <quintopia> i also have this graph algorithm problem that i don't know enough to approach :/
01:40:54 -!- Patashu has joined.
01:41:32 <newsham> in the land of the blind multiocular lisp is king?
01:42:14 <boily> quintopia: I took a peek at the table of contents. were you naïvely planning to sleep this year?
01:42:54 <boily> newsham: more like something approaching godhood.
01:43:02 <quintopia> it's only a million words long1
01:43:12 <quintopia> surely i could finish it this month if i wanted
01:44:17 <newsham> a million well typed monkeys will eventually create lisp
01:44:40 <boily> are monkeys statically typed?
01:45:24 <quintopia> i'm working on creating some monkeys! which is how this problem arose
01:45:48 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
01:46:07 -!- Patashu has joined.
01:46:50 <newsham> monkeys with lisps are not statically typed
01:46:56 <newsham> statistically
01:47:02 <newsham> but.. given infinite monkeys....
01:49:25 <oerjan> newsham: what about thtatically?
01:50:15 <boily> how would one summon infinite statistic monkeys? like with some kung fu pose and a “中心极限定理” war cry?
01:52:18 <oerjan> boily: needs more video
01:52:36 <newsham> thatithtically i taught i taw a puddy tat
01:52:57 <newsham> boily: you create virtual pairs out of quantum foam
01:56:03 -!- shikhin has quit (Ping timeout: 240 seconds).
01:59:50 -!- Patashu has quit (Ping timeout: 248 seconds).
02:01:06 <boily> quantum foam I somewhat understand, but what is a virtual pair?
02:01:35 <Bike> isn't that one of those particle-antiparticle pairs that show up randomly but wink out just as fast
02:01:44 <Bike> except near a black hole which is how hawking radiation happens. or something?
02:04:27 <boily> perhaps, but I'm going to sleep. if I have quantum nightmares tonight, I'll know who to blame.
02:04:44 * boily defiantly glares at newsham. very defiant. much glare.
02:04:50 <Bike> by
02:04:59 -!- boily has quit (Quit: AQUEOUS CHICKEN).
02:05:29 -!- Patashu has joined.
02:06:32 <zzo38> I was thinking that I could have a Forth system which makes intermediate code which is executable inside of the compiler, and which is then compiled into a Z-machine code. Both individual instructions and sequence of instructions can combine into Z-machine instructions, for example DROP becomes FSTACK or ICALL 0 *0 and various other things.
02:07:21 <zzo38> What are quantum nightmares?
02:09:37 -!- nooodl_ has quit (Quit: Ik ga weg).
02:10:59 <FreeFull> You put a cat in a box, and it disappears
02:11:12 -!- Patashu_ has joined.
02:11:12 -!- Patashu has quit (Disconnected by services).
02:15:22 -!- Patashu_ has quit (Ping timeout: 244 seconds).
02:15:47 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
02:17:05 -!- Patashu has joined.
02:21:57 -!- Patashu has quit (Ping timeout: 264 seconds).
02:28:08 -!- Patashu has joined.
02:33:31 -!- zorr0 has joined.
02:33:54 -!- zorr0 has left.
02:50:30 -!- copumpkin has joined.
02:50:35 -!- copumpkin has quit (Client Quit).
02:52:16 -!- copumpkin has joined.
03:14:09 -!- jj2baile_ has quit (Ping timeout: 264 seconds).
03:15:20 -!- jj2baile has joined.
03:15:34 -!- pikhq has quit (Ping timeout: 248 seconds).
03:16:58 -!- vifino has quit (Quit: Ze Cat now leaves...).
03:22:57 -!- ineiros has quit (Ping timeout: 255 seconds).
03:33:30 -!- ineiros has joined.
03:37:26 -!- pikhq has joined.
03:41:47 -!- edwardk has quit (Remote host closed the connection).
03:51:31 -!- pikhq has quit (Read error: Connection reset by peer).
03:52:18 -!- pikhq has joined.
04:05:36 -!- hubs has quit (Ping timeout: 240 seconds).
04:06:57 -!- hubs has joined.
04:17:50 -!- pikhq has quit (Read error: Connection reset by peer).
04:20:05 -!- augur has quit (Ping timeout: 248 seconds).
04:20:09 -!- bug-magnet has joined.
04:28:33 -!- pikhq has joined.
04:35:55 -!- FireFly has quit (Excess Flood).
04:37:41 -!- FireFly has joined.
04:38:49 -!- Sorella has quit (Excess Flood).
04:40:07 -!- Sorella has joined.
04:40:28 <oerjan> is there a deluge somewhere
04:42:42 -!- pikhq has quit (Read error: Connection reset by peer).
04:42:49 -!- aloril has quit (Excess Flood).
04:42:51 -!- pikhq has joined.
04:43:20 -!- aloril_ has joined.
04:43:25 -!- Frooxius has quit (Excess Flood).
04:43:54 -!- bug-magnet has quit (Write error: Broken pipe).
04:47:26 -!- Gracenotes_ has joined.
04:47:36 -!- FreeFull_ has joined.
04:47:50 -!- bug-magnet has joined.
04:48:01 -!- sc00fy has joined.
04:48:19 -!- scoofy has quit (Excess Flood).
04:48:50 -!- pikhq has quit (Read error: Connection reset by peer).
04:49:02 -!- Sgeo has quit (Excess Flood).
04:49:05 -!- pikhq has joined.
04:49:12 -!- ineiros_ has joined.
04:49:56 -!- ineiros has quit (Write error: Connection reset by peer).
04:50:11 -!- FreeFull has quit (Remote host closed the connection).
04:51:05 -!- pikhq_ has joined.
04:51:39 -!- pikhq_ has quit (Client Quit).
04:54:32 -!- pikhq has quit (Ping timeout: 260 seconds).
04:56:47 -!- pikhq has joined.
04:58:14 -!- Gracenotes has quit (Remote host closed the connection).
04:59:02 -!- trout has quit (Ping timeout: 877 seconds).
04:59:02 -!- Speed` has quit (Ping timeout: 877 seconds).
04:59:02 -!- augur has joined.
04:59:17 -!- Speed`` has joined.
05:00:19 -!- Slereah_ has joined.
05:00:42 -!- Slereah has quit (Ping timeout: 276 seconds).
05:01:03 -!- MDude has quit (Ping timeout: 255 seconds).
05:02:45 -!- Frooxius has joined.
05:05:46 -!- Sgeo has joined.
05:09:56 -!- Patashu has quit (Disconnected by services).
05:09:56 -!- Patashu_ has joined.
05:14:32 -!- Patashu_ has quit (Ping timeout: 252 seconds).
05:20:45 -!- variable has joined.
05:21:51 -!- Sorella has quit (Quit: It is tiem!).
05:23:26 -!- Patashu has joined.
05:31:29 <zzo38> I have some computer game, where some objects have commands to use. One object is a toilet and its only command is "CAR WWW.CBC.CA," What?
05:32:21 <Bike> the canadian broadcasting corporation is important.
05:38:03 <Sgeo> Finally watched Watchmen
05:38:44 <Bike> that answers that question
05:41:47 -!- FreeFull_ has changed nick to FreeFull.
05:42:14 <HackEgo> [wiki] [[Arborealis]] http://esolangs.org/w/index.php?diff=40090&oldid=40088 * Dweymouth * (+146) /* Implementation Specifics */ EOF
05:43:33 -!- Patashu has quit (Ping timeout: 240 seconds).
05:44:22 <oerjan> zzo38: perhaps someone is trying to secretly insult the head of CBC
05:46:15 -!- Patashu has joined.
05:49:06 -!- bug-magnet has quit (Quit: bug-magnet).
05:49:44 <zzo38> There are other things too; in one place there is a stove, and its commands are "burn my finger" and "cook pizza"
05:51:35 <zzo38> A lock with four dots can be opened with a fork.
05:54:52 <zzo38> In one room there is a diskette slot in the floor, and there is a man running back and forth. If you insert a disk, then he trips and falls and dies. There is also a pan in there, and its only command is to put a key in it. Doing so changes the color of the key.
06:00:00 -!- Patashu has quit (Ping timeout: 255 seconds).
06:03:29 -!- Patashu has joined.
06:21:59 <fowl> zzo38, neat
07:16:32 -!- sc00fy has quit (Read error: Connection reset by peer).
07:22:14 -!- shikhin has joined.
07:51:29 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
07:53:24 -!- shikhout has joined.
07:57:03 -!- shikhin has quit (Ping timeout: 272 seconds).
08:09:17 -!- Phantom_Hoover has joined.
08:16:11 -!- Patashu has quit (Disconnected by services).
08:16:11 -!- Patashu_ has joined.
08:32:32 -!- hogeyui_ has quit (Ping timeout: 244 seconds).
08:35:35 -!- hogeyui_ has joined.
08:41:20 <Slereah_> How old are hard drives as a standard component of PCs
08:47:15 <Phantom_Hoover> they weren't standard in the 80s so
08:48:28 <Slereah_> My first PC in 92 or so had none, I think, but it was a hand me down
08:49:49 <Slereah_> and my second one in 95 had one
09:12:52 <b_jonas> in the original PCs, the hard disk controller expansion card (called fixed disk controller back then; the card also contained the part of the ROM BIOS needed for hard disk) and the hard disk (called fixed disk) were both optional
09:21:28 -!- augur has quit (Ping timeout: 260 seconds).
09:27:40 -!- augur has joined.
09:43:38 -!- MindlessDrone has joined.
09:52:03 -!- augur has quit (Ping timeout: 240 seconds).
09:58:05 -!- augur has joined.
10:21:02 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
10:23:00 -!- vifino has joined.
10:28:59 -!- oerjan has quit (Quit: leaving).
10:57:57 -!- FreeFull has quit.
11:31:20 -!- FreeFull has joined.
12:16:30 -!- nooodl has joined.
12:20:10 -!- boily has joined.
12:21:34 -!- shikhout has changed nick to shikhin.
12:23:12 -!- yorick has joined.
12:32:16 -!- nooodl has quit (Read error: Connection reset by peer).
12:38:13 -!- heroux has quit (Ping timeout: 248 seconds).
12:38:21 -!- nooodl has joined.
12:45:46 -!- Sorella has joined.
13:05:59 <HackEgo> [wiki] [[BANCStar]] http://esolangs.org/w/index.php?diff=40091&oldid=40048 * GreyKnight * (+3757) /* Arithmetic instructions */ revise arithmetic section with new research
13:06:39 <b_jonas> oh, more BANCStar!
13:08:16 -!- lollo64it has joined.
13:19:23 <HackEgo> [wiki] [[Talk:BANCStar]] http://esolangs.org/w/index.php?diff=40092&oldid=40045 * GreyKnight * (+341) /* more archaeology */ woohoo
13:19:45 -!- bug-magnet has joined.
13:22:20 -!- heroux has joined.
13:33:21 -!- Patashu_ has quit (Ping timeout: 272 seconds).
13:34:12 <HackEgo> [wiki] [[BANCStar]] http://esolangs.org/w/index.php?diff=40093&oldid=40091 * GreyKnight * (+125) /* Instructions */ mysterious 9401 variant
13:34:51 <b_jonas> great, but is there any hope for an interpreter?
13:39:46 <HackEgo> [wiki] [[User talk:B jonas]] http://esolangs.org/w/index.php?diff=40094&oldid=39206 * GreyKnight * (+425) /* BANCStar implementation */ new section
13:42:48 <HackEgo> [wiki] [[User talk:GreyKnight]] N http://esolangs.org/w/index.php?oldid=40095 * B jonas * (+231) Created page with "== BANCStar == Re rescuing BANCStar interpreter: that's just a rumour I've heared in the irc channel, and I haven't heared any followup since. I was hoping you knew something..."
13:48:53 <boily> just a rumour? but we are a very informed and thrustworthy channel!
13:49:27 <b_jonas> boily: maybe you should inform me and GreyKnight about what the channel knows too then
13:49:32 <b_jonas> I tried to ask a few times
13:51:04 <boily> it's the channel itself that knows. not the people in it. maybe fungot?
13:51:04 <fungot> boily: fnord can't use scsh with slime48, or you were intending on doing load-balancing?
13:51:16 <HackEgo> [wiki] [[User talk:B jonas]] http://esolangs.org/w/index.php?diff=40096&oldid=40094 * GreyKnight * (+498) /* BANCStar implementation */
13:54:05 <b_jonas> fungot, whatever happened with that plan of mining a BANCStar implementation from old floppies
13:54:06 <fungot> b_jonas: i was thinking about one too ( its for entering the right mindset, good fucking luck getting anyone to help?)
13:54:24 <b_jonas> fungot: who had those floppies in first place?
13:54:25 <fungot> b_jonas: i think i.am exists, but it's been published in peer-reviewed journals, so... okay. yeah that improves it for when throw is called, they don't neglect any possibility to try to take both branches
13:56:54 <boily> the conspiracy runs deeper. it goes beyond such technological novelties as floppy discs, and reaches further back, in the Time of Listings, when bad typesetting ruled the Magazines.
13:57:01 <HackEgo> [wiki] [[User talk:GreyKnight]] http://esolangs.org/w/index.php?diff=40097&oldid=40095 * B jonas * (+159)
13:57:09 -!- shikhin has quit (Ping timeout: 248 seconds).
13:59:08 -!- shikhin has joined.
14:27:29 -!- vifino has quit (Quit: Ze Cat now leaves...).
14:32:09 -!- Sgeo_ has joined.
14:32:20 -!- Froox has joined.
14:33:54 -!- vifino has joined.
14:39:23 -!- bug-magnet has left.
14:41:56 -!- Sgeo has quit (*.net *.split).
14:41:56 -!- Frooxius has quit (*.net *.split).
14:52:39 -!- boily has quit (Quit: ランランル〜〜〜).
14:55:09 <HackEgo> [wiki] [[Lii]] http://esolangs.org/w/index.php?diff=40098&oldid=40069 * GermanyBoy * (+227) /* CLii */ better example
15:46:56 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
16:14:28 -!- Bike has quit (Ping timeout: 260 seconds).
16:16:08 -!- Bike has joined.
16:30:57 -!- augur has quit (Ping timeout: 264 seconds).
16:44:59 -!- AnotherTest has joined.
17:05:10 -!- vifino has quit (Quit: Ze Cat now leaves...).
17:35:49 -!- vifino has joined.
17:40:11 -!- AnotherTest has quit (Read error: Connection reset by peer).
18:02:18 -!- AnotherTest has joined.
18:13:30 -!- AnotherTest has quit (Read error: Connection reset by peer).
18:17:54 -!- nooodl has quit (Quit: Leaving).
18:25:32 -!- nooodl has joined.
18:35:49 -!- vifino has quit (Quit: Ze Cat now leaves...).
18:37:43 -!- FreeFull has quit (Quit: Restarting router).
18:37:59 -!- AnotherTest has joined.
18:50:59 -!- edwardk has joined.
18:53:28 -!- nortti has changed nick to lawspeaker.
18:53:45 -!- lawspeaker has changed nick to nortti.
18:55:25 -!- nortti has changed nick to lawspeaker.
18:55:31 -!- lawspeaker has changed nick to nortti.
19:16:02 -!- Phantom_Hoover has joined.
19:17:13 -!- ais523_ has joined.
19:41:04 <zzo38> How would you program a AI generator for computer-RPG games?
19:41:38 <Bike> something that makes AIs?
19:41:58 <myname> zzo38: if you find something, let me know
19:42:06 <Slereah_> I would build a neural network with feedback and train it to say "Welcome to our village"
19:42:17 <Slereah_> Or maybe "Hello adventurer, do you want to buy a sword"
19:42:27 <ais523_> zzo38: is this combat AI, or overworld AI/
19:42:29 <Bike> *sigh* times are tough
19:42:33 <ais523_> the two are completely different in how you implement them
19:42:45 <Slereah_> "I saw a mudcrab this morning
19:43:21 <ais523_> I have had thoughts about an RPG where the overworld NPCs have procedurally generated dialogue trees
19:43:27 <ais523_> so that they /all/ have something useful to say
19:43:28 <zzo38> ais523_: Combat AI; I forgot about overworld AI although I don't think I need that and can just code overworld manually
19:43:47 <Slereah_> "I am error"
19:44:08 <ais523_> zzo38: well it depends on whether you care more about making them realistic, or about making the game generally fun
19:44:20 <ais523_> even just picking actions at random can be reasonably fun, except sometimes in boss fights
19:44:32 <ais523_> if you want realistic behaviour, you can treat it much the same way as a chess AI
19:44:45 <ais523_> alpha-beta search, etc.
19:45:24 <zzo38> Well, I intend to make it that they can do a good job, but also to consider what the NPCs goal are. For example of they are a thief their goal is simply to steal stuff from you, and then they might attempt to run away, or fight back, depending what is considered as better in the situation
19:45:54 <zzo38> As welll as such goal as defend someone, attack someone, revenge, etc
19:46:03 <Slereah_> It would be nice to have an RPG that, for instance
19:46:12 <Slereah_> If you, the demon lord of the 9 realms
19:46:17 <Slereah_> Steal a penny from a hobo
19:46:24 <Slereah_> That hobo doesn't fight you to the death
19:46:53 <zzo38> Slereah_: That is an example of what I meant, different NPC can have different goals, some don't care about such thing
19:46:53 <fowl> Slereah_, what if that was his last penny?
19:47:14 <Slereah_> Well he won't be able to take this penny as a ghost
19:47:21 <ais523_> Slereah_: in that situation, the hobo should be running away /before/ you steal the penny
19:47:32 <Slereah_> Well not necessarily
19:47:43 <Slereah_> Like he could beg you maybe???
19:47:53 <Slereah_> Oh mighty lord do not steal my gross hobo coin :(((
19:47:53 <fowl> "oh god the demon lord is looking at me!" then he wets himself
19:48:10 <fowl> i'd play that game
19:48:11 <zzo38> ais523_: Yes, that is another thing that should be considered
19:48:15 <myname> can someone recommend a good read on those language processingnstuff for bots (was it markov chains?)
19:48:39 <fowl> fungot, knows about markov chains
19:48:40 <fungot> fowl: self-imposed silence? like that twilight zone episode? best episode ever.' in ( fnord) function provided" problem...
19:48:50 <ais523_> myname: IIRC fizzie works in that area, so e'd probably know
19:49:35 <zzo38> And then, you have to consider such thing as deception. One is to try go guess the player's action ahead of time in case of delayed actions, and what is best with what in what situation, what their weaknesses and defenses are, and to try to conceal your own...
19:49:47 <zzo38> Furthermore, there is the consideration of teamwork!
19:50:36 <ais523_> I want to analyze the maths behind simultaneous-action RPGs, sometime
19:50:49 <ais523_> alpha-beta is not the best approach due to the possibility of rock-paper-scissors scenarios
19:51:45 <zzo38> Yes, that is also kind of thing like I was mentioning.
19:52:35 <Taneb> `quote hour and a half
19:52:36 <HackEgo> 1126) <Taneb> kmc, I was trying to go to a sci-fi and fantasy society social, and I went to the wrong bar <Taneb> Wound up at my university's fetish society <Taneb> Didn't realise for an hour and a half
19:52:41 <Taneb> I should go back some time
19:52:44 <Taneb> They were pretty nice people
19:56:17 -!- vifino has joined.
19:56:37 -!- shikhin has quit (Ping timeout: 248 seconds).
19:58:47 -!- shikhin has joined.
20:11:39 <fizzie> What sort of read? I mean, a textbook kind of thing?
20:13:21 -!- augur has joined.
20:15:07 <fizzie> If so, then our courses on the topic used Manning & Schütze -- http://nlp.stanford.edu/fsnlp/ -- though it's not exactly "recent trends", having been published in '99.
20:16:15 <fizzie> fungot: Still online and working? Impressive.
20:16:15 <fungot> fizzie: what are you trying to deter people from using it in the south, didn't work
20:16:32 <fizzie> (Been over a week.)
20:20:19 <FireFly> stop trying to deter people from using fungot in the south
20:20:19 <fungot> FireFly: having to do administrative things. what color are my eyes?
20:20:27 <FireFly> good question actually
20:24:20 -!- mhi^ has joined.
20:24:54 * ais523_ imagines fungot filling out a form, and being a bot, actually stuck on a question about eye color
20:24:54 <fungot> ais523_: grasping the logical concept may be difficult
20:27:36 <int-e> ( ) brown ( ) blue ( ) green ( ) grey ( ) I have a matte display ( ) other
20:27:37 <idris-bot> (input):1:1: error: no implicit
20:27:37 <idris-bot> arguments allowed
20:27:37 <idris-bot> here, expected: ":",
20:27:37 <idris-bot> dependent type signature,
20:27:37 <idris-bot> end of input↵…
20:28:19 <Phantom_Hoover> <fizzie> (Been over a week.)
20:28:23 <Phantom_Hoover> over a week since what...
20:28:43 <int-e> ... since fungot had to be restarted
20:28:43 <fungot> int-e: tell asymtonic foo () ( newline) ( loop))
20:29:47 <int-e> fizzie is the kind soul who has done that the last couple of times
20:31:19 <Taneb> Just used >>= in Python, I can almost pretend that it's Haskell
20:32:19 <Phantom_Hoover> does python let you define your own operators?
20:32:26 <Taneb> No
20:32:32 <Taneb> That's a bit-shift operator
20:32:53 <Phantom_Hoover> haha
20:34:41 -!- Bike has quit (Ping timeout: 252 seconds).
20:36:36 -!- Bike has joined.
20:40:23 <newsham> http://www.thenewsh.com/~newsham/x/machine/monad.py
20:41:07 -!- Patashu has joined.
20:41:19 <newsham> doesnt abstract "return" :(
20:41:56 -!- Patashu has quit (Disconnected by services).
20:41:56 -!- Patashu_ has joined.
20:44:20 -!- drdanmaku has joined.
20:49:32 <nooodl> newsham: "def __ge__(self, m): return self.bind(m)" sounds neater
20:52:57 <ais523_> now I'm filled with a huge urge to make C++ streams syntax work in Haskell, where the >> is actually a monad bind
20:53:05 <ais523_> rather than a redefinition of (>>)
20:53:15 <ais523_> but I don't know enough Haskell (or enough C++, really) to pull it off
21:01:11 <newsham> nooodl: feel free to rewrite it
21:01:32 <nooodl> newsham: i'm writing a generic liftM!!
21:01:39 <newsham> ais: i saw some python code using >> as a stream output today
21:01:42 <nooodl> exciting stuff imo
21:06:15 <newsham> you're right, shoulda been calling to bind
21:06:22 <newsham> instead of using """bind"""
21:06:59 <newsham> need some hack to make "ret" polymorphic
21:09:04 -!- ais523_ has quit (Quit: Page closed).
21:12:53 <nooodl> newsham: polymorphic how?
21:13:01 <nooodl> newsham: also http://bpaste.net/raw/441340/
21:15:40 <newsham> notice all my calls to ret are fully qualified?
21:15:47 <newsham> it should be implicit and polymorphic
21:18:44 -!- AnotherTest has quit (Ping timeout: 260 seconds).
21:19:47 -!- nooodl_ has joined.
21:23:33 -!- nooodl has quit (Ping timeout: 248 seconds).
21:24:29 -!- Tritonio has joined.
21:25:03 -!- Patashu_ has quit (Ping timeout: 240 seconds).
21:27:27 -!- Tritonio1 has joined.
21:29:59 -!- Tritonio has quit (Ping timeout: 264 seconds).
21:30:36 -!- Tritonio has joined.
21:31:33 -!- Tritonio1 has quit (Ping timeout: 240 seconds).
21:34:48 -!- MindlessDrone has quit (Quit: MindlessDrone).
21:43:26 -!- Tritonio has quit (Ping timeout: 252 seconds).
21:49:07 -!- copumpkin has joined.
21:53:03 -!- copumpkin has quit (Client Quit).
22:18:53 <zzo38> I want to know what would probably be the best way to make the AI generator for the sophisticated things mentioned above, do you have any ideas of such at least?
22:24:10 -!- nooodl_ has changed nick to nooodl.
22:24:15 <nooodl> newsham: oops, hi
22:24:36 <nooodl> that sounds hard because: what should print ret(3) do
22:27:51 -!- vifino has quit (Quit: Ze Cat now leaves...).
22:37:13 <newsham> nooodl: with a hack its possible to make > ret(3) do the right thing
22:37:38 <newsham> or rather < ret(3)
22:37:43 <newsham> by defining __lt__ and ret appropriately
22:55:01 <nooodl> http://bpaste.net/raw/441535/ a cute hack
22:55:12 -!- Bike has quit (Ping timeout: 255 seconds).
22:55:28 <nooodl> lift() is quite the function now.
22:55:59 <nooodl> basically ret() returns an object that gets coerced into the right monad by monadic functions
22:56:31 <nooodl> for lift() this involves finding out which monad we're working in by looking at the types of all arguments passed to it
22:57:06 -!- Bike has joined.
22:57:41 -!- FreeFull has joined.
23:24:52 -!- newsham has quit (Quit: leaving).
23:31:00 -!- yorick has quit (Remote host closed the connection).
23:53:16 <Sgeo_> My phone turned me into a spammer
23:53:23 <Sgeo_> It spazzed and sent an email with the subject:
23:53:28 <Sgeo_> Ppt 0ilpfile ppi0oppkp0op0p0pop00 p0l00p0 0 LPO 00p00 for loll loll poll plop p00k000p00000jp pop 0p00over 00p0pand then plop in psox psox
←2014-07-05 2014-07-06 2014-07-07→ ↑2014 ↑all