00:15:25 -!- Phantom_Hoover has joined.
00:42:05 -!- kmc has quit (Quit: Lost terminal).
00:50:31 -!- pikhq_ has changed nick to pikhq.
00:55:13 -!- kmc has joined.
01:07:55 <oerjan> :t (sin . cos .)
01:07:56 <lambdabot>     The operator `.' [infixr 9] of a section
01:07:56 <lambdabot>         must have lower precedence than that of the operand,
01:07:56 <lambdabot>           namely `.' [infixr 9]
01:21:37 -!- Nisstyre has joined.
01:33:24 -!- Nisstyre has quit (Quit: Leaving).
01:35:33 -!- Nisstyre has joined.
01:50:03 -!- kmc has quit (Quit: Lost terminal).
01:54:18 -!- Nisstyre has quit (Quit: Leaving).
01:55:35 -!- Nisstyre has joined.
02:02:02 -!- Nisstyre has quit (Quit: Leaving).
02:04:34 -!- Nisstyre has joined.
02:07:38 -!- evincar has joined.
02:53:26 -!- Nisstyre has quit (Quit: Leaving).
03:13:44 -!- kmc has joined.
03:23:58 -!- Nisstyre-laptop has joined.
03:36:19 -!- FreeFull_ has joined.
03:39:06 -!- FreeFull has quit (Ping timeout: 264 seconds).
04:24:01 -!- Phantom_Hoover has quit (Remote host closed the connection).
04:25:07 <kmc> http://chainsawsuit.com/2012/09/06/new-pizza-hut-fraczas/
04:38:15 -!- asiekierka has joined.
04:43:57 -!- oerjan has quit (Quit: leaving).
05:07:38 -!- FreeFull_ has quit.
05:09:12 -!- asiekierka has quit (Quit: Connection reset by PO).
05:25:28 -!- centrinia has joined.
05:46:33 -!- nooga has joined.
05:54:07 -!- nooga has quit (Ping timeout: 240 seconds).
06:08:21 -!- centrinia has quit (Ping timeout: 245 seconds).
06:16:22 -!- mig22 has joined.
06:45:10 -!- mig22 has quit (Quit: mig22).
06:53:59 -!- epicmonkey_ has joined.
07:06:06 -!- epicmonkey_ has quit (Ping timeout: 264 seconds).
07:09:23 -!- nooga has joined.
07:32:57 -!- evincar has left.
07:49:05 <shachaf> ion: Yay, you deal with the mmap thing this time.
07:53:36 <shachaf> ion: Is it just me or do I hate #haskell?
07:54:36 <ion> shachaf: It’s not you, it’s Hitler.
08:18:18 -!- epicmonkey_ has joined.
08:54:26 -!- ineiros has quit (Quit: x).
08:54:53 -!- ineiros has joined.
11:10:52 -!- MoALTz has joined.
12:04:31 -!- nooga has quit (Read error: Connection reset by peer).
12:10:11 -!- nooga has joined.
12:13:14 -!- Arc_Koen has joined.
12:15:08 <Arc_Koen> hello
12:17:30 <fizzie> Jello.
12:18:04 <ion> cello
12:18:36 -!- Phantom_Hoover has joined.
12:19:05 <fizzie> Yello(w).
12:20:03 <ion> bordello
12:20:08 <ion> othello
12:21:23 <fizzie> Morello.
12:21:27 <olsner> 'ello
12:21:32 <fizzie> Bargello.
12:21:52 <fizzie> (I hadn't even heard of these 'ellos before.)
12:21:54 <fizzie> @wn morello
12:21:54 <lambdabot> *** "morello" wn "WordNet (r) 3.0 (2006)"
12:21:55 <lambdabot> morello
12:21:55 <lambdabot>     n 1: any of several cultivated sour cherry trees bearing fruit
12:21:55 <lambdabot>          with dark skin and juice [syn: {morello}, {Prunus cerasus
12:21:55 <lambdabot>          austera}]
12:21:56 <lambdabot>     2: cultivated sour cherry with dark-colored skin and juice
12:21:58 <fizzie> @wn bargello
12:21:59 <lambdabot> *** "bargello" wn "WordNet (r) 3.0 (2006)"
12:22:01 <lambdabot> bargello
12:22:03 <lambdabot>     n 1: needlepoint embroidery stitch that produces zigzag lines
12:22:04 <lambdabot>          [syn: {bargello}, {flame stitch}]
12:22:34 <ion> Oh, one of bargello’s synonyms is bargello?
12:23:05 <ion> > compare "bargello" "bargello"  -- copypaste check
12:23:06 <lambdabot>   EQ
12:24:13 <fizzie> It's just the whole set.
12:24:20 <fizzie> Note that one of morello's synonyms is morello.
12:24:53 <fizzie> The command-line tool outputs "1. bargello, flame stitch -- (needlepoint embroidery stitch that produces zigzag lines)" which makes a bit more sense.
12:49:29 <olsner> oh, greek is apparently very remotely related to any other living languages
12:49:50 <olsner> I suppose that's the reason I had no idea until now which languages it was related to
13:10:20 -!- augur has quit (Remote host closed the connection).
13:50:59 -!- impomatic has joined.
13:53:43 * impomatic wonders if anyone is going to Spectrum 30 tomorrow? http://www.spectrum30.org.uk
13:54:45 <fizzie> I have a has-a-Speccy-past friend, but I doubt he's going to UK just for that.
13:58:34 <olsner> why is this the official channel of PEZ?
13:59:55 * impomatic had to google PEZ.
14:00:47 <fizzie> I thought PEZ was one of those universal kind of things.
14:02:22 <olsner> maybe it just hasn't reached hexham yet
14:03:16 <olsner> (or wherever impomatic is)
14:03:47 <fizzie> I don't think Hexham. Not absolutely everything is Hexham (yet).
14:04:01 -!- mig22 has joined.
14:04:04 <olsner> not everything, you say? weird.
14:05:58 -!- chickenzilla has quit (Ping timeout: 245 seconds).
14:06:34 -!- chickenzilla has joined.
14:09:32 <itidus21> But Labour MPs accused the Tories of trying to "gerrymander" the system and claimed the changes will produce major anomalies as seats are carved up to reduce the overall number.[...]The new Hexham seat for example would take in part of Gateshead, which currently forms a section of the Blaydon constituency that would completely disappear under the shake-up
14:12:08 <olsner> if you move Hexham to Gateshead, what happens to whatever was previously at Gateshead?
14:19:24 <itidus21> this http://sacvs.files.wordpress.com/2012/09/watkins_punishment_600_410.jpg
14:21:59 <impomatic> Boston, not Hexham.
14:29:53 <kmc> lt
14:29:56 <kmc> gt
14:29:57 <kmc> eq
14:31:29 <olsner> "Boston, north Hexham"
14:33:46 -!- augur has joined.
14:37:34 <olsner> hmm, so there's a 105 SEK pocket edition that I can buy, and also a 69 SEK pocket that "hasn't been published yet"
14:38:44 <olsner> I guess that means the available one is the "pocket for nearsighted people with very large pockets" edition
14:43:43 <ion> http://www.theworldbyroad.com/expedition/wp-content/uploads/2009/01/shower-2.jpg
14:45:07 <olsner> hmm, if the water gets electrified, will that really affect you? I suspect the pipe will be a better grounding than either of you or the water anyway
14:49:05 <ion> Yes, it’s completely safe, nothing whatsoever to worry about.
14:53:33 <itidus21> so basically it's an electric shower head?
14:54:25 -!- sirdancealot has quit (Ping timeout: 260 seconds).
14:58:34 -!- sirdancealot has joined.
15:03:39 -!- AnotherTest has joined.
15:03:45 <AnotherTest> Hello
15:04:25 <itidus21> We have experienced some difficulty to get the Star Trek Google Doodle to work in Internet Explorer and in Firefox. To experience the Google doodle as it were intended we recommend that you use Google Chrome for it to work 100%
15:05:47 <olsner> Upgrade to Google Doodle Premium now for only 1 soul?
15:06:25 <itidus21> The FTC settlement included a disclosure provision where Intel must: "...publish clearly that its compiler discriminates against non-Intel processors (such as AMD's designs), not fully utilizing their features and producing inferior code."
15:06:50 -!- atriq has joined.
15:07:15 <itidus21> well i wouldn't call it opportunism
15:07:28 <atriq> @messages?
15:07:28 <lambdabot> Sorry, no messages today.
15:08:03 <itidus21> > 2+2
15:08:04 <lambdabot>   4
15:08:07 <itidus21> ...
15:08:11 <itidus21> > 2+2
15:08:12 <lambdabot>   4
15:08:30 <nortti> lambdabot: it should be 5
15:09:52 <atriq> > let 2+2=5 in 2+2
15:09:54 <lambdabot>   5
15:10:06 <atriq> > let (+) = 5 in 2+2
15:10:07 <lambdabot>   5
15:10:13 <atriq> Wow
15:10:20 <atriq> lambdabot has some crazy instances
15:11:02 <nortti> > 2+2
15:11:03 <lambdabot>   4
15:11:54 -!- sirdancealot has quit (Ping timeout: 255 seconds).
15:12:14 <itidus21> > 5-2
15:12:15 <lambdabot>   3
15:12:36 <FireFly> > let 2+3 = 5 in 2+2
15:12:37 <lambdabot>   *Exception: <interactive>:3:4-10: Non-exhaustive patterns in function +
15:12:42 <FireFly> I see
15:13:06 <Arc_Koen> > let 2+2 = 5 in 1+2+2
15:13:07 <lambdabot>   *Exception: <interactive>:3:4-10: Non-exhaustive patterns in function +
15:13:27 <Arc_Koen> > let 2+2 = 5 in 1+(2+2)
15:13:28 <lambdabot>   *Exception: <interactive>:3:4-10: Non-exhaustive patterns in function +
15:13:45 <Arc_Koen> ohhh I see
15:13:46 <FireFly> > let 2+2 = 5; 1+5 = 8 in 1+(2+2)
15:13:47 <lambdabot>   8
15:13:51 <itidus21> > let 5-2=2 in 5-2
15:13:52 <lambdabot>   2
15:14:36 <Arc_Koen> > let x+y = y in 2+2
15:14:37 <lambdabot>   2
15:14:40 <Arc_Koen> yeay
15:20:04 <atriq> Haskell is a fun language
15:20:40 <atriq> > let id 0 = 0; id n = (n * 2) in map id [1..10]
15:20:40 <lambdabot>   [2,4,6,8,10,12,14,16,18,20]
15:29:14 <atriq> > runKleisli (Kleisli return >>> Kleisli (\x -> [1,2,3,x])) 1
15:29:15 <lambdabot>   [1,2,3,1]
15:39:56 -!- atriq has quit (Ping timeout: 252 seconds).
16:01:35 -!- ogrom has joined.
16:11:25 -!- mig22 has quit (Quit: mig22).
16:13:04 -!- augur has quit (Remote host closed the connection).
16:14:40 -!- epicmonkey_ has quit (Ping timeout: 246 seconds).
16:23:51 -!- atriq has joined.
16:52:13 <Arc_Koen> atriq: why would you need to specify id 0 = 0?
16:52:24 <atriq> Becuase it completely shadows id
16:52:26 <atriq> It's a new id
16:52:33 <atriq> Oh wait
16:52:40 <atriq> Because I changed my mind half way through writing it
16:52:45 <Arc_Koen> haha
16:55:06 -!- sirdancealot has joined.
16:56:21 -!- ogrom has quit (Quit: Left).
16:56:31 -!- impomatic has quit (Quit: impomatic).
16:58:37 -!- augur has joined.
17:06:46 -!- ais523 has joined.
17:27:17 -!- pikhq has quit (Remote host closed the connection).
17:38:22 -!- danko has joined.
17:42:08 <danko> hi
17:42:37 <atriq> Hey
17:47:45 -!- copumpkin has joined.
17:48:48 -!- danko has left.
17:54:47 <atriq> Pretty cool guy, that danko
18:03:45 -!- Nisstyre-laptop has quit (Quit: Leaving).
18:05:48 -!- sivoais has quit (Quit: Lost terminal).
18:06:44 -!- sivoais has joined.
18:25:24 <itidus21> so what happens when.. gorillas are given access to search engines
18:25:41 <itidus21> and cameras to make pics available as search results
18:26:04 <atriq> Pretty much nothing
18:26:13 <itidus21> maybe they get suicidal
18:27:23 <itidus21> in general, what happens when we let animals have their own internets
18:28:37 <atriq> Still, pretty much nothing
18:28:43 <itidus21> first we make them dependant on the internet
18:29:01 <itidus21> by making them abandon their old ways of doing things, and their old traditions
18:30:12 <itidus21> .... yeah... i dont think im thinking clearly
18:36:15 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
18:39:13 -!- impomatic has joined.
18:45:50 -!- ais523_ has joined.
18:45:56 -!- ais523 has quit (Disconnected by services).
18:45:58 -!- ais523_ has changed nick to ais523.
18:48:00 -!- AnotherTest has left.
18:48:17 -!- Phantom_Hoover has joined.
19:02:07 -!- Vorpal has joined.
19:10:42 -!- FreeFull has joined.
19:11:02 <Sgeo> I might accidentally qualify for a math minor.
19:13:26 <atriq> How so?
19:17:01 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
19:17:45 -!- hagb4rd has joined.
19:22:05 <hagb4rd> http://upload.wikimedia.org/wikipedia/commons/c/c2/Leibniz_Monadology_2.jpg
19:22:27 -!- oerjan has joined.
19:22:36 <hagb4rd> he finally got it right
19:22:44 <oerjan> i did? yay!
19:23:13 <oerjan> it only took me 14 years
19:24:04 <hagb4rd> axl rose too
19:25:55 -!- Slereah_ has joined.
19:26:15 <Sgeo> I happened to take so many math classes that, without deliberately seeking to, I might qualify
19:26:23 <Sgeo> I did not have minoring in math as a goal
19:26:26 <atriq> Well done?
19:27:06 <oerjan> NOW IF HIS SCHOOL ONLY HAD REAL MATH
19:27:21 <atriq> That reminds me
19:27:24 <atriq> I start Groups soon
19:27:30 * oerjan is filling in for the other cynics today
19:28:00 <atriq> Doing other stuff too
19:28:01 <atriq> Um
19:28:12 <atriq> Algebra type stuff
19:28:26 -!- Slereah has quit (Ping timeout: 244 seconds).
19:32:38 <oerjan> http://en.wikipedia.org/wiki/Subdirectly_irreducible_algebra
19:33:34 <atriq> I'm only up to http://en.wikipedia.org/wiki/Partial_fraction
19:33:35 <atriq> :(
19:34:13 <oerjan> that's ok, you'll get to the S'es soon enough
19:43:31 <impomatic> What do you think of the Google Nexus 7? I might buy one tomorrow...
19:46:56 -!- Phantom_Hoover has joined.
19:49:06 <Sgeo> java.awt.Robot looks like it could be fun
19:49:10 * Sgeo ducks
19:50:17 <oerjan> <olsner> oh, greek is apparently very remotely related to any other living languages <-- what crackpot got _you_ today?
19:50:36 <atriq> He may be thinking of Basque
19:50:48 <oerjan> ...doesn't precisely help.
19:52:01 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
19:52:05 <olsner> oerjan: there's like one other living language in the whole hellenic language group, but it's dying
19:52:22 <atriq> Greek had a lot of influence on Latin
19:52:35 <atriq> And hence the romantic languages and English
19:52:53 <oerjan> olsner: um greek is indoeuropean.  that means it's rather closer related to say english and swedish than to any language which isn't
19:52:57 <olsner> the closest relation to other languages seems to be that it's indo-european, but "almost everything" is
19:53:23 <atriq> The tree model is a poor approximation at best
19:54:48 <Sgeo> This was typed in using a Clojure REPL that has access to awtbot
19:54:53 <Sgeo> (Although I press Enter myself)
19:55:14 <oerjan> i actually recall a theory that implies that languages are _not_ all related - namely that in some places with very friendly climate new language families may be created by children getting lost before learning to speak.  it supposedly might explain why new guinea as such an enormous amount of language families (iirc the theory also said there was a part of california that used to be like this)
19:55:31 <oerjan> *has such an
19:55:37 <Sgeo> It was slow
19:56:33 <olsner> yeah yeah, but learn a germanic language and a romance language and you have a head start on a large proportion of european languages, but knowing any or all of those seems to help very poorly when it comes to understanding greek
19:56:46 <oerjan> olsner: hey just because indo-european is the largest language family doesn't mean there are no others.
19:57:19 <olsner> bah, you're just picking on the wrong ends of everything I've said :)
19:57:51 <Sgeo> This is a test, this is only a test.
19:57:52 <oerjan> olsner: that's because they all share a lot of latin loanwords, but there are greek ones too.
19:58:26 -!- epicmonkey_ has joined.
19:58:49 -!- zzo38 has joined.
19:59:11 <oerjan> i wouldn't bet on it helping with russian or hungarian either :)
19:59:32 <oerjan> more than greek, that is
19:59:56 <olsner> the greek loan words seem to be either less popular or a lot less useful, or just not in the relevant parts of the language
19:59:56 <atriq> Or Basque or Finnish
20:01:58 <olsner> what I'm referring to is things like using knowledge in {spanish,french,italian,latin} to decipher text in any of the other languages, which seems to usually work fairly well
20:02:17 <olsner> ... and that the set of non-greek languages useful for doing the same in greek seems to be empty
20:05:46 <quintopia> olsner!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
20:06:05 <olsner> quintopia: wat!
20:06:10 <quintopia> hi!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
20:06:24 <olsner> that's an awful lot of hi
20:06:29 <quintopia> why dont you learn armenian?
20:06:38 * Sgeo should try to have some fun with the Robot]
20:06:43 <olsner> why would I want to do that!?
20:07:04 <quintopia> why dont you learn russian?
20:09:21 <olsner> anyway, that was me reflecting on going to greece and my vaguely existing skills in other european languages being useless for understanding greek
20:13:39 <oerjan> i vaguely recall once reading armenian is closest to greek, although it may not have been very firm
20:14:34 -!- atriq has quit (Ping timeout: 240 seconds).
20:14:38 -!- Taneb has joined.
20:16:53 <olsner> http://en.wikipedia.org/wiki/Armenian_language implies they're usually considered separate branches of indo-european, but that other groupings have been proposed
20:18:11 <oerjan> well yes, closest branch.
20:19:21 -!- pikhq has joined.
20:20:02 <olsner> oerjan: does norway have cabbage pudding?
20:21:14 -!- lexande_ has joined.
20:21:46 <lexande_> today i went to a talk where the speaker kept prefacing his theorems with "If ZFC is consistent, then"
20:21:56 <lexande_> people made fun of him for this a bit
20:23:20 <pikhq> "Hey guys, I've got a proof that ZFC is consistent!"
20:23:24 <pikhq> "Fuck you."
20:24:08 <zzo38> Why? Would some theorems fail if ZFC is inconsistent? If ZFC is inconsistent wouldn't everything be a theorem?
20:24:33 <pikhq> zzo38: If you prove ZFC consistent using ZFC, it is not consistent.
20:25:11 <oerjan> olsner: not exactly i think
20:25:13 <zzo38> pikhq: Yes I know that too; I was refering to lexande_'s message about the speaker who kept prefacing his theorems with "If ZFC is consistent, then"
20:25:52 <quintopia> hi zzo38 
20:25:56 <Taneb> Is ZFC the one that's equivalent to Axiom of Choice?
20:26:00 <oerjan> http://www.nrk.no/mat/1.6150114 has a recipe in norwegian - by tina nordström :)
20:26:31 <quintopia> Taneb: it contains the AoC as an axiom
20:26:36 <Taneb> Oh
20:26:45 <quintopia> zorns lemma is equivalent to the aoc
20:26:49 <lexande_> zzo38, the theorems were like, if ZFC is consistent then there is a model of a multiverse of forcing with these properties
20:27:10 <lexande_> Taneb, ZFC is just the usual axioms of set theory/maths, including Choice
20:27:12 <zzo38> lexande_: O, OK. So that's why he did that.
20:27:17 <Taneb> I was thinking of Zorn's lemma
20:27:37 <Taneb> Or possibly the Well Ordering Principle
20:27:52 <Taneb> This is like yesterday when I got 5th Cell and Level 5 mixed up
20:27:54 <olsner> and here's one in english: http://swedecheese.blogspot.se/2008/05/food-journal-number-39-klpudding.html
20:28:09 <olsner> (it's simpler too)
20:29:44 <oerjan> olsner: i think no:kålruletter (rather old-fashioned) is about the same as sv:kåldolmar, however
20:30:06 <zzo38> I realized what I forgot in RogueVM which is banks of the screen grid (like screen pages on PC)
20:30:57 <zzo38> I expect two pages is sufficient, but if you don't agree, please notify me.
20:31:41 <olsner> oerjan: I think that's essentially the same as cabbage pudding but in a different format
20:31:58 <oerjan> "The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"
20:32:18 <oerjan> olsner: well yes it was mentioned in a pudding page
20:32:34 <olsner> seems a lot trickier to make too
20:33:09 -!- Taneb has quit (Ping timeout: 252 seconds).
20:35:29 <Sgeo> Why do I keep thinking that lifeboats are small things that hold maybe 4 people?
20:35:49 <olsner> because in some cases they are?
20:39:16 -!- Phantom_Hoover has joined.
20:41:02 <zzo38> Do you know a XML reading library in C?
20:42:36 <quintopia> i once did
20:43:50 <quintopia> http://i.imgur.com/Mev10.jpg
20:44:13 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
20:46:55 -!- Dude has joined.
20:46:58 -!- epicmonkey_ has quit (Ping timeout: 246 seconds).
20:47:20 -!- Dude has changed nick to Guest49957.
20:47:23 -!- Guest49957 has quit (Client Quit).
20:50:24 -!- Phantom_Hoover has joined.
20:50:35 <Phantom_Hoover> 19:27:24: <atriq> I start Groups soon
20:50:35 <Phantom_Hoover> wait what
20:50:40 <Phantom_Hoover> aren't you at sch--- wait it's september
20:55:05 -!- Nisstyre-laptop has joined.
20:55:44 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
20:59:39 -!- Phantom_Hoover has joined.
21:01:09 <zzo38> ..  A HUSH FALLS OVER THE AREN.    .HE FIG.TERS APPROACH THE RING
21:03:54 -!- ais523_ has joined.
21:04:07 -!- ais523 has changed nick to Guest96629.
21:04:19 -!- ais523_ has changed nick to ais523.
21:04:49 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
21:05:54 * quintopia picks up the Hush and puts it back on its perch.
21:06:25 <olsner> "Typically a crystal ball is connected to the chip at OSC1 and OSC2 pins."
21:06:43 <quintopia> is it an oracle chip?
21:07:16 -!- Guest96629 has quit (Ping timeout: 246 seconds).
21:08:36 <olsner> I'm guessing OSC stands for oracular sensor chip (circuit?) or somesuch
21:09:32 <olsner> Oracular Scintillator?
21:10:38 <olsner> (obviously, the word "ball" was not originally there)
21:27:04 -!- Phantom_Hoover has joined.
21:28:56 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
21:31:14 <oerjan> :t foldr (>>=) return
21:31:15 <lambdabot>     Occurs check: cannot construct the infinite type: b = a -> b
21:31:15 <lambdabot>     Probable cause: `>>=' is applied to too many arguments
21:31:15 <lambdabot>     In the first argument of `foldr', namely `(>>=)'
21:31:30 <oerjan> :t foldr (>>=) (return ())
21:31:31 <lambdabot>     Occurs check: cannot construct the infinite type: b = a -> b
21:31:32 <lambdabot>     Probable cause: `>>=' is applied to too many arguments
21:31:32 <lambdabot>     In the first argument of `foldr', namely `(>>=)'
21:32:15 <Sgeo> Heh, someone was trying to build a botloop in #clojure
21:33:01 * oerjan realized he wanted sequence_ instead
21:46:49 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
21:50:16 -!- MoALTz has quit (Ping timeout: 252 seconds).
21:51:24 -!- copumpkin has joined.
21:54:07 -!- Vorpal has quit (Ping timeout: 240 seconds).
21:54:28 -!- Nisstyre-laptop has quit (Remote host closed the connection).
22:00:07 <oerjan> > pred '0'
22:00:09 <lambdabot>   '/'
22:03:01 <oerjan> > pred '/'
22:03:03 <lambdabot>   '.'
22:04:53 -!- ais523 has quit.
22:07:10 <oerjan> Arc_Koen: doesn't your brainfunct truth-machine have an off-by-one error?  i.e. loops on '0' rather than '1'
22:09:28 <oerjan> @tell Arc_Koen doesn't your brainfunct truth-machine have an off-by-one error?  i.e. loops on '0' rather than '1'
22:09:29 <lambdabot> Consider it noted.
22:10:39 -!- augur has quit (Remote host closed the connection).
22:10:45 -!- hagb4rd has quit (Ping timeout: 276 seconds).
22:11:06 -!- augur has joined.
22:11:27 -!- augur has quit (Read error: Connection reset by peer).
22:11:33 -!- augur has joined.
22:19:10 <zzo38> Do you like these ideas for scenarios of the Dungeons&Dragons game?   * The sun rises in the wrong place.   * Suddenly the money changes into different money.   * The phase of the moon is now different shapes other than round, such as square and hexagon and so on.   * A dwarf walks in to a bar (ouch). Heal him, please.   * Help a beholder find his lost monocle/glasses.
22:21:06 <zzo38> * A war occurs over unclaimed land.   * Some people assign the party to a completely impossible task (not because it is too difficult, but because of references to things that do not exist, or illogical things, etc).   * Kjugobe and other illithids pursued by illithid slayers and evil druids. The illithid slayers and evil druid should probably be defeated.   * The king is allergic to magic and wishes all spellcasters (arcane, divine, and psionic) d
22:21:24 <zzo38> * You find a map, but it is all wrong.
22:40:30 <itidus21> some of them
22:41:43 <itidus21> where some means  none <= some <= all
22:41:56 <zzo38> OK yes that is what I thought you meant.
22:42:01 <itidus21> cool
22:42:22 <zzo38> However that is not specific as to what?
22:42:30 <itidus21> exactly
22:43:50 <itidus21> scenarios are quite strange
22:43:55 -!- augur has quit (Remote host closed the connection).
22:45:08 <zzo38> * The king of another city is attacking gibbering mouthers as well as anyone who enters his city. Hold the second one as you hold a pencil, in order to save the gibbering mouthers from the king's army. Bonus points if you give Potion of Confusing to gibbering mouthers who like that.   * Someone wants to charge minstrels everywhere royalties. Stop their evil scheme.   * A few magical items are found; you must not only figure out exactly what they do
22:45:13 <zzo38> I hope this message is not too long.
22:47:09 <itidus21> my useless contribution doubled it's size. 
22:47:47 <zzo38> Is it exactly double?
22:48:10 <itidus21> nah
22:48:36 <itidus21> anyway, i think you could afford to make it 50 lines long... 
22:48:58 <itidus21> excluding my part of it
22:49:46 <oerjan> zzo38: ... exactly what they do
22:50:11 <zzo38> What is the last word you have received in the long message?
22:50:28 <oerjan> i just told you.
22:51:35 <oerjan> oh and the previous one stopped at (arcane, divine, and psionic) d
22:51:47 <zzo38> * A few magical items are found; you must not only figure out exactly what they do (identification magic cannot be used), but also how to effectively use them for escape.
22:51:53 <zzo38> * The king is allergic to magic and wishes all spellcasters (arcane, divine, and psionic) destroyed (including the royal spellcasters).
22:51:57 <zzo38> Is it OK now?
22:52:02 <oerjan> looks so
22:52:39 <shachaf> "Shun magic, and shun the appearance of magic! Shun everything, and then shun shunning!"
22:53:12 <Sgeo> I wonder what people who think that Rails is too "magic" think of Clojure stuff, considering the usage of macros
22:53:24 <Sgeo> Do macros tend to feel less magic than run-time metaprogramming?
22:53:38 <kmc> i think so yes
22:53:48 <kmc> you can ask for the macro expansion
22:54:03 <zzo38> I don't know Clojure but I think in general, both macros and run-time can be useful.
22:54:22 <kmc> and they're sort of visual analogies
22:54:35 <kmc> at least in simple cases and with tasteful use of quasiquoting
22:56:56 * Sgeo is suddenly sad that Tcl doesn't have quasiquoting
22:57:01 <itidus21> zzo38: so it worked out at about 23 lines.
22:59:15 <zzo38> oerjan: Do you like this game?
22:59:26 <itidus21> * Some people assign the party to a completely impossible task (not because it is too difficult, but because of references to things that do not exist, or illogical things, etc). <-- this is a fairly good explanation of koans :D
22:59:41 <zzo38> How does quasiquoting work?
22:59:53 <zzo38> In those programming language?
23:00:05 <zzo38> itidus21: OK.
23:00:54 <itidus21> eg. The king assigned his best knight to find a man who could demonstrate the sound of one hand clapping.
23:01:22 <itidus21> ^well a man or woman
23:01:41 <itidus21> ^anyone or anything who could
23:03:53 <oerjan> zzo38: i'm not particularly interested
23:04:52 <zzo38> oerjan: OK.
23:08:08 <itidus21> hmm
23:08:44 <itidus21> so all this talk of scenarios reminds me of an interview with a final fantasy scenario writer where he explained that if scenario writing was automated he would be out of a job
23:09:42 <itidus21> so on the subject of humans jobs being automated by machines, the machines don't really make mistakes. and when they do they follow fairly pre-defined routines to deal with them
23:10:06 <itidus21> and if in practice they need help when they fail, then they are not infact entirely automated
23:10:32 <itidus21> but also, when humans do a job they always consider ways it can be done better or differently
23:10:49 <itidus21> and when they make mistakes it can inspire breakthrouhgs
23:11:20 <zzo38> I wrote them by hand. Some are based on ones from other sources, some are based on a computer game I have written, and some I just wrote my own. Automated programs can sometimes help a little bit but you still have to program it and modify its program to make a new one, and then if you don't like the result, modify it.
23:11:23 <itidus21> so machines are learning to react to feedback
23:11:36 <itidus21> however
23:11:50 <itidus21> i suspect that its just not the same
23:19:51 <itidus21> once a machine spends all it's time experimenting on work, it's no longer doing work
23:19:54 -!- lexande_ has quit (Ping timeout: 244 seconds).
23:20:35 -!- elliott has joined.
23:20:38 <elliott> kmc: https://github.com/albertz/playground/blob/master/test_importearlyexit.py
23:23:41 <FreeFull> itidus21: Now, how do you fully automate them if humans make mistakes
23:25:28 <itidus21> i guess that nothing truely gets perfected
23:26:16 <itidus21> because... i could barely parse that sentence.. thats my excuse
23:26:21 <itidus21> for being wrong
23:27:00 <Sgeo> Is it really that wrong to want to use java.awRobot as a fun toy?
23:27:12 <Sgeo> erm, java.awt.Robot
23:28:02 <elliott> urd
23:28:03 <elliott> *yes
23:28:06 <elliott> you're morally culpable
23:29:40 <Sgeo> ##java didn't like my implication that my reason for wanting to use java.awt.Robot was becuase it seemed fun
23:29:50 <itidus21> Sgeo: i want to make a robot in 2d using textured vector graphics which can position it's legs using inverse kinematics
23:30:19 <itidus21> but then again im not sure that i do
23:31:13 -!- augur has joined.
23:32:03 <itidus21> its one of many things
23:32:06 <Sgeo> awtbot is a nice Clojure library for using it, but it has an idiotic with-robot macro. Maybe it was written before doto worked with all forms?
23:35:57 <Sgeo> elliott, 
23:35:58 <Sgeo> elliott, 
23:35:58 <Sgeo> elliott, 
23:36:02 <Sgeo> elliott, 
23:36:02 <Sgeo> elliott, 
23:36:17 <Sgeo> </robot-abuse>
23:37:20 <itidus21> and here i was thinking it might relate to robotics :P
23:37:26 <itidus21> i just looked up what its for
23:38:13 <elliott> Sgeo: hi
23:38:52 <itidus21> sounds like it could be useful for writing aimbots in video games
23:50:08 -!- itidus21 has left ("/leave #esoteric /leave #esoteric [...]").
23:55:28 -!- Phantom_Hoover has joined.