←2012-09-23 2012-09-24 2012-09-25→ ↑2012 ↑all
00:01:12 <oerjan> > 6^4
00:01:13 <lambdabot> 1296
00:04:56 <oerjan> > scanl1 (*) [2..]
00:04:57 <lambdabot> [2,6,24,120,720,5040,40320,362880,3628800,39916800,479001600,6227020800,871...
00:05:40 <oerjan> > sqrt <$> scanl1 (*) [2..]
00:05:41 <lambdabot> [1.4142135623730951,2.449489742783178,4.898979485566356,10.954451150103322,...
00:05:54 <oerjan> > sqrt <$> scanl1 (*) [2..] :: [Float]
00:05:55 <lambdabot> [1.4142135,2.4494898,4.8989797,10.954452,26.832815,70.99296,200.7984,602.39...
00:06:24 <oerjan> > 71^2
00:06:25 <lambdabot> 5041
00:06:32 <itidus21> zzo38: in short im gonna assume the answer is yes. the interesting part of the question is the word possible. given that its almost certainly possible.. then looking at whether it's worthwhile. if it's not worthwhile then it's almost urgent in #esoteric i think
00:06:57 <oerjan> > sqrt 2012
00:06:58 <lambdabot> 44.85532298401161
00:07:18 <zzo38> itidus21: OK.
00:07:25 <itidus21> lol
00:08:00 <oerjan> i'm with itidus21 on this. as long as i don't have to do any of this urgent work.
00:08:00 <itidus21> i think it may be too useful for #esoteric
00:08:40 <itidus21> oerjan: well you calculated the square root of 2012
00:08:40 <zzo38> Almost, not quite.
00:08:47 <itidus21> that was of utmost urgency
00:08:52 <oerjan> indeed
00:13:38 <oerjan> > 3^6
00:13:39 <lambdabot> 729
00:14:30 <oerjan> > 3^4
00:14:32 <lambdabot> 81
00:14:56 <itidus21> > 6^3 + 4^3
00:14:58 <lambdabot> 280
00:15:32 <oerjan> > 4^5
00:15:34 <lambdabot> 1024
00:19:52 <oerjan> > 720/8
00:19:53 <lambdabot> 90.0
00:19:57 <oerjan> > 720/16
00:19:58 <lambdabot> 45.0
00:20:36 <Arc_Koen> I don't think division can actually be used
00:20:51 <Arc_Koen> because of the order thing
00:23:46 <oerjan> > 2^15
00:23:47 <lambdabot> 32768
00:28:10 <hagb4rd> > [(x^(1/y)) | x <- [1..10], y <- [1..5]]
00:28:11 <lambdabot> Ambiguous type variable `t' in the constraints:
00:28:11 <lambdabot> `GHC.Real.Fractional t'
00:28:11 <lambdabot> ...
00:28:37 <hagb4rd> y this not works?
00:28:49 <oerjan> > [(x**(1/y)) | x <- [1..10], y <- [1..5]]
00:28:50 <lambdabot> [1.0,1.0,1.0,1.0,1.0,2.0,1.4142135623730951,1.2599210498948732,1.1892071150...
00:29:34 <oerjan> because ^ takes a natural number exponent
00:31:13 <hagb4rd> > [(x^^(1/y)) | x <- [1..10], y <- [1..5]]
00:31:15 <lambdabot> Ambiguous type variable `t' in the constraints:
00:31:15 <lambdabot> `GHC.Real.Fractional t'
00:31:15 <lambdabot> ...
00:31:39 <oerjan> ^^ takes an integral one
00:31:59 <Arc_Koen> that was unexpected
00:32:02 <hagb4rd> ah ok
00:34:38 <oerjan> ^ ^^ ** go from being restrictive of the exponent to being restrictive on the base
00:42:59 -!- nys has quit (Quit: quit).
00:48:21 -!- monqy has quit (Quit: hello).
00:58:39 -!- oerjan has quit (Quit: leaving).
01:13:29 -!- pikhq has joined.
01:21:57 <ion> > x^5
01:21:58 <lambdabot> x * x * (x * x) * x
01:22:27 <ion> > x^^(1/5)
01:22:28 <lambdabot> Ambiguous type variable `t' in the constraints:
01:22:29 <lambdabot> `GHC.Real.Fractional t'
01:22:29 <lambdabot> ...
01:22:35 <shachaf> Expr should have a thing where it uses observable sharing to show you the true graph.
01:23:04 <ion> What would it look like? let a = x * x in a * a * x?
01:23:27 <shachaf> ion: I DUNNO, MAN, THAT'S YOUR JOB
01:23:52 <shachaf> It should draw a 2-dimensional graph.
01:24:18 <ion> > x^^(1/5) :: Expr
01:24:19 <lambdabot> Ambiguous type variable `t' in the constraints:
01:24:20 <lambdabot> `GHC.Real.Fractional t'
01:24:20 <lambdabot> ...
01:24:28 <ion> I take it Expr isn’t Fractional?
01:24:45 <shachaf> @instances Fractional
01:24:45 <ion> > (x :: Expr)^^(1/5)
01:24:45 <lambdabot> Double, Float
01:24:46 <lambdabot> Ambiguous type variable `t' in the constraints:
01:24:46 <lambdabot> `GHC.Real.Fractional t'
01:24:46 <lambdabot> ...
01:24:52 <shachaf> @instances Integral
01:24:53 <lambdabot> Int, Integer
01:24:56 <shachaf> @instances Num
01:24:56 <lambdabot> Double, Float, Int, Integer
01:25:44 <ion> Oh, wait. My bad. I’m brainfarting.
01:25:51 <ion> > x^^(-5)
01:25:52 <lambdabot> recip (x * x * (x * x) * x)
01:26:01 <ion> It was supposed to be -5, not 1/5.
01:26:12 <ion> > x**(-1/5)
01:26:13 <lambdabot> x**negate (1 / 5)
01:28:48 -!- kinoSi has quit (Read error: Connection reset by peer).
01:29:15 -!- kinoSi has joined.
01:35:54 <shachaf> The place I'm in is playing a television program.
01:36:17 <shachaf> I can't make out the words but I can guess where the laugh track will play just from how people are talking.
01:42:43 -!- JaBoJa has joined.
01:43:55 -!- Arc_Koen has quit (Quit: that's dr. turing to you, punk).
02:09:29 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:15:37 <kmc> yes
02:15:52 <kmc> is it actually a laugh track or is it live studio laughter?
02:16:35 <shachaf> I don't know.
02:16:40 <ais523> <FOLDOC> Here is a plausible conversation that never actually happened:
02:16:46 <shachaf> It sounded exactly the same every time.
02:17:12 <shachaf> But it's probably a separate track regardless of whether it was recorded while people were watching the show or elsewhile. :-)
02:17:37 <ais523> <zzo38> Is it possible to make circuits described using discrete logic to be compiled into a native code which can emulate this circuit? ← sure, you can do it with programs like GHDL (which compiles hardware descriptions to gcc intermediate representation, and uses gcc to take it the rest of the way)
02:21:49 * kmc should learn how UNIX session and controlling terminal stuff works, one day
02:22:14 <kmc> i want to fork, and have the child exec a shell (connected to the user's terminal) that keeps running even if the parent dies
02:22:53 <shachaf> As in nohup?
02:23:01 <shachaf> Oh, no.
02:24:27 -!- monqy has joined.
02:24:47 <kmc> no, that's the problem
02:24:58 <kmc> the magic incantation for detaching and daemonizing is well documented
02:25:05 <kmc> but i haven't been able to find what I'm trying to do
02:25:11 <kmc> so i will have to actually understand what's going on :/
02:30:07 <shachaf> kmc: Sorry. :-(
02:30:13 <shachaf> When you understand you should tell me.
02:30:23 <shachaf> So I don't have to look it up, if it ever comes to that.
02:30:41 <kmc> maybe i'll write a blog post!
02:31:08 <shachaf> kmc: Your weblog's URL is way too long.
02:31:20 * shachaf types it by hand each time.
02:31:31 <kmc> i type "main\t" ;)
02:31:55 <shachaf> I use Incognito Mode so it's not in my history.
02:32:27 <kmc> heh
02:44:18 <zzo38> ais513: OK
02:44:31 <zzo38> What format of hardware descriptions can it use?
02:44:40 <zzo38> Can it use discrete logic format?
03:26:51 -!- Jafet has joined.
03:30:26 -!- TeruFSX has quit (Ping timeout: 245 seconds).
03:37:01 -!- ogrom has joined.
03:37:37 <shachaf> "Yes. Something lingering, with boiling oil in it, I fancy. Something of that sort. I think boiling oil occurs in it, but I'm not sure. I know it's something humorous, but lingering, with either boiling oil or melted lead. Come, come, don't fret — I'm not a bit angry."
03:39:30 -!- epicmonkey has joined.
03:41:10 -!- JaBoJa has quit (Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/).
03:46:10 -!- TeruFSX has joined.
03:54:34 -!- TeruFSX has quit (Ping timeout: 240 seconds).
03:55:10 -!- ogrom has quit (Ping timeout: 268 seconds).
04:01:21 <kmc> apparently the Samsung Galaxy S3 supports GLONASS
04:01:50 <kmc> because Russia has a 25% import duty on non-GLONASS GPS devices, or something
04:02:29 <pikhq> And it's rather cheap to add now.
04:02:40 <kmc> why's that?
04:04:25 <pikhq> IIRC they extended the signal sent by the satellites so that it's not *vastly* different from GPS if you listen to the right band.
04:04:57 <pikhq> Kinda like how Galileo support is easy to add to a GPS receiver.
04:07:22 -!- epicmonkey has quit (Ping timeout: 246 seconds).
04:13:57 -!- MoALTz has joined.
04:18:42 <shachaf> kmc: I wrote a GHC extension to allow things like 1e6 to be integer literals.
04:18:51 <shachaf> kmc: elliott says you'll hate me.
04:18:56 * shachaf wonders why.
04:20:49 -!- TeruFSX has joined.
04:24:22 <kmc> i don't hate you!
04:24:28 <kmc> how hard was it to write?
04:24:38 <kmc> is there some fancy way to write syntactic extensions now?
04:27:19 <shachaf> kmc: It was ~8 lines.
04:27:46 <shachaf> The codebase is pretty messy, though. :-(
04:28:00 <shachaf> Every time I read GHC code I get a strong urge to clean things up.
04:28:12 * pikhq mutters at the French revolution a bit
04:28:23 <pikhq> The reason why the kilogram is a base unit with an SI prefix is them.
04:28:39 <pikhq> "grave" sounded like a German title of nobility, which was against their ideals.
04:28:49 <pikhq> So, s/grave/kilogram/ jerks
04:28:55 <shachaf> kmc: I don't know about any fancy way.
04:29:59 <shachaf> I just found some code in compiler/rename/ that handled OverLits and changed HsFractionals with denominator 1 into HsIntegers.
04:30:25 <shachaf> There's some code for handling OverloadedStrings in the same directory, so I'm hoping this was the right place to put it.
04:30:35 <pikhq> (the gram was before then a synonym for the milligrave)
04:30:36 <pikhq> (jerks)
04:35:43 -!- MoALTz has quit (Ping timeout: 256 seconds).
04:41:37 -!- david_werecat has joined.
04:59:40 <kmc> jours sans-culottides
05:00:12 <zzo38> O, so that is why kilogram is base unit?
05:00:48 <zzo38> O, now I can see the above text. At first, I just saw "the gram was before then a synonym for the milligrave" and thought of it too.
05:15:30 -!- ais523 has quit.
05:16:33 <olsner> someone in here was talking about a cpu with an execute instruction a while ago
05:17:00 <olsner> the TMS9900 cpu had one of those that worked almost exactly like that
05:17:05 -!- TeruFSX has quit (Ping timeout: 256 seconds).
05:18:45 <zzo38> That works like how?
05:22:40 <olsner> runs one instruction using register values from some memory buffer
05:26:09 -!- copumpkin has quit (Ping timeout: 256 seconds).
05:26:27 -!- copumpkin has joined.
05:33:41 <pikhq> zzo38: Yeah. Having a different name for the kilogram makes the whole thing rather cleaner.
05:36:18 <olsner> z/Architecture has a similar thing as well (and there, trying to EXECUTE another EXECUTE instruction causes an exception)
05:57:51 <olsner> oh, and any cpu with hardware single-stepping can kind of simulate an execute instruction
05:58:40 -!- pikhq_ has joined.
05:59:01 -!- pikhq has quit (Ping timeout: 256 seconds).
06:02:59 -!- pikhq_ has quit (Ping timeout: 256 seconds).
06:03:40 -!- pikhq has joined.
06:05:48 -!- nooga has joined.
06:12:12 <zzo38> If you have a Famicom cartridge with CIRAM A10 connected directly to PA6, then in a software emulation compiled from the hardware description, can this automatically be optimized out?
06:14:30 -!- ais523 has joined.
06:18:39 -!- Nisstyre has quit (Read error: Connection reset by peer).
06:20:44 -!- Nisstyre has joined.
06:24:32 <shachaf> kmc: http://hackage.haskell.org/trac/ghc/ticket/7266
06:48:05 -!- augur has joined.
06:56:05 -!- ais523_ has joined.
06:56:28 -!- ais523 has quit (Ping timeout: 268 seconds).
06:56:37 -!- ais523_ has changed nick to ais523.
06:59:50 -!- ais523_ has joined.
07:00:07 -!- ais523 has quit (Disconnected by services).
07:00:08 -!- ais523_ has changed nick to ais523.
07:31:13 -!- zzo38 has quit (Remote host closed the connection).
07:45:17 -!- ais523_ has joined.
07:45:26 -!- ais523 has quit (Disconnected by services).
07:45:27 -!- ais523_ has changed nick to ais523.
07:46:30 -!- monqy has quit (Quit: hello).
07:58:27 -!- ais523 has quit.
07:58:30 -!- ais523_ has joined.
07:58:51 -!- ais523_ has changed nick to ais523.
08:17:15 -!- Catman_ has joined.
08:17:42 -!- Catman_ has quit (Client Quit).
08:18:55 -!- Nisstyre_ has joined.
08:19:32 -!- Nisstyre has quit (Ping timeout: 248 seconds).
08:29:17 -!- DHeadshot has joined.
08:34:18 -!- ais523 has quit.
08:34:29 -!- ais523 has joined.
08:38:53 -!- ais523 has quit (Client Quit).
08:38:59 -!- ais523_ has joined.
08:53:26 -!- ais523__ has joined.
08:53:38 -!- ais523_ has quit (Disconnected by services).
08:53:39 -!- ais523__ has changed nick to ais523.
08:55:37 -!- oerjan has joined.
10:17:26 -!- Jafet has quit (Quit: Leaving.).
10:21:52 -!- DHeadshot has quit (Read error: Connection reset by peer).
10:21:58 -!- DH____ has joined.
10:39:35 -!- oerjan has quit (Quit: leaving).
11:07:28 -!- zzo38 has joined.
11:07:46 -!- ais523 has quit.
11:07:49 -!- ais523_ has joined.
11:16:07 -!- ais523_ has quit (Ping timeout: 246 seconds).
11:32:08 -!- ais523_ has joined.
11:36:27 -!- Phantom_Hoover has joined.
11:40:37 <Sgeo> ....Bitmanagement is claiming that BS Contact is "state of the art computer graphics"
11:40:54 <Sgeo> It's a VRML viewer
11:41:07 <Sgeo> ..Well, maybe it supports newer stuff these days *shrug*
11:42:05 <Phantom_Hoover> man what an idiot
11:48:20 <Sgeo> 300 euros for a VRML viewer that used to be free?
11:48:43 <Sgeo> (I mean, they have a trial version that puts an annoying flying logo in every scene)
11:54:31 -!- MoALTz has joined.
12:01:48 -!- ais523_ has changed nick to ais523.
12:10:00 <itidus21> Sgeo: so whats the reality?
12:10:09 <itidus21> is it held up by a patent or something?
12:10:20 <Sgeo> Doubt it
12:10:26 <itidus21> like, what is dependant on this bs contact thing
12:10:31 <Sgeo> Cybertown
12:10:49 <itidus21> and they suddenly increased the price?
12:10:56 -!- boily has joined.
12:10:57 <Sgeo> Although that was back in the Blaxxun days. Blaxxun is dead now, and I think Bitmanagement owns the Intellectual Property
12:11:21 <Sgeo> Blaxxun now Bitmanagement owns the software, Cybertown just uses/used it
12:14:04 <itidus21> what they're claiming is "State of the Art computer graphics with continued development since 1995 e.g. texturing with flash, physics or multi user"
12:37:58 <zzo38> Do you like this so far? http://esolangs.org/wiki/REVER
12:38:30 -!- MoALTz_ has joined.
12:39:27 -!- Nisstyre_ has quit (Ping timeout: 244 seconds).
12:40:14 -!- MoALTz has quit (Ping timeout: 246 seconds).
12:40:20 -!- Arc_Koen has joined.
12:43:24 <itidus21> it's completely useless for real-world development, it's therefore a perfect esolang
12:44:22 <itidus21> real-world meaning paid-to-code-with
12:49:19 <zzo38> OK
12:53:51 -!- Nisstyre_ has joined.
12:59:04 -!- Nisstyre_ has quit (Ping timeout: 268 seconds).
13:12:37 -!- MoALTz__ has joined.
13:13:39 -!- Nisstyre_ has joined.
13:15:26 -!- MoALTz_ has quit (Ping timeout: 245 seconds).
13:16:32 -!- ais523_ has joined.
13:19:05 -!- ais523 has quit (Ping timeout: 246 seconds).
13:20:04 -!- ais523_ has changed nick to ais523.
13:22:06 <zzo38> yinYang = join $ liftA2 runCT (getCC <* lift (putChar '\n')) (getCC <* lift (putChar '*'));
13:33:41 <itidus21> in brainfuck i like the + - < > instructions
13:34:06 <itidus21> or equivalents
13:34:42 -!- Nisstyre_ has quit (Quit: Leaving).
13:36:20 <itidus21> i think that you could have a machine with 4 plastic buttons + - < > and a finite toroidal tape and do a lot with it
13:36:33 <itidus21> i guess its quite strange such things don't exist
13:37:53 <itidus21> i guess it would be useless
13:38:33 <fizzie> Possibly, but mechanical calculators are real fancy.
13:38:56 <fizzie> There's one that looks really much like http://www.arm.ac.uk/history/instruments/Mechanical-calculator.jpg at my grandmother's house.
13:38:58 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
13:39:01 <itidus21> i was actually thinking of a chessboard where both players control things via 4 such buttons :D
13:39:19 <itidus21> but yeah calculator humm
13:39:34 <fizzie> It's somewhat rusty and doesn't really want to move, but it's still fancy.
13:39:49 <fizzie> There was some kind of a thing for division in it.
13:41:23 <fizzie> Actually I think http://mrhonner.files.wordpress.com/2011/02/odhner-mechanical-calculator.jpg is an even more exact match; I remember those thumb-twiddly bits and the crank with a pin.
13:41:28 <fizzie> Possibly it's a clone of that.
13:41:28 <itidus21> ok picture it like this.. a chess player goes to make his move.. he presses < and > until he reaches the piece to move.. then he presses + and - until he sets the piece to be empty
13:41:55 <itidus21> then he presses < and > until he reaches destination square, and finally presses + and - until the move has been completed
13:42:22 <itidus21> that is what is in my imagination
13:44:12 <itidus21> "he" because few self respecting women would engage in such pursuits.. i don't mean to be sexist though
13:45:26 <itidus21> infact i doubt anyone with self-respect would play chess in such a way
13:49:31 -!- impomatic has joined.
13:51:09 -!- MoALTz_ has joined.
13:53:46 -!- MoALTz__ has quit (Ping timeout: 245 seconds).
13:54:01 -!- MoALTz_ has quit (Client Quit).
13:55:39 -!- MoALTz has joined.
14:03:19 <kmc> i like it when someone says something blatantly sexist and suffixes it with "i don't mean to be sexist though"
14:08:36 -!- copumpkin has joined.
14:13:31 -!- MoALTz_ has joined.
14:16:16 -!- MoALTz has quit (Ping timeout: 245 seconds).
14:27:13 -!- atriq has joined.
14:27:36 <atriq> Hello!
14:27:53 <atriq> Wait
14:27:58 <atriq> Oh no!
14:28:01 <atriq> I was doing so well!
14:28:02 <atriq> :(
14:29:48 <Phantom_Hoover> Where did it all go wrong?
14:30:05 <atriq> When I opened IRC
14:30:12 <atriq> And immediately said "Hello!"
14:30:28 <Phantom_Hoover> Cursed by your own hubris.
14:31:54 <atriq> Phantom_Hoover, have you seen the Homestuck update?
14:32:08 <Phantom_Hoover> omg an [s]
14:32:26 <atriq> I reckon that's a no
14:32:32 <atriq> See you in a couple of hours!
14:32:44 <Phantom_Hoover> omh
14:32:46 <Phantom_Hoover> omg
14:32:48 <Phantom_Hoover> a walkabout
14:37:17 <atriq> Sgeo, do the listy thing
14:37:26 <atriq> You're the Heir of Lists
14:39:37 <coppro> what is the listy thing?
14:39:47 <coppro> unless this is intended to be a non sequitur
14:39:49 <coppro> in which case go ahead
14:39:52 <atriq> For Homestuck fans
14:39:52 <coppro> also every new character sucks
14:39:58 <coppro> well I get the reference
14:40:04 <coppro> It just seems like a non sequitur
14:40:34 -!- MoALTz__ has joined.
14:43:20 <Phantom_Hoover> oh my god
14:43:22 -!- MoALTz_ has quit (Ping timeout: 245 seconds).
14:43:35 <Phantom_Hoover> it has gamebro mixed with the la2t frontiier
14:43:47 -!- MoALTz has joined.
14:43:50 <coppro> 10:39:52 < coppro> also every new character sucks
14:44:00 <Phantom_Hoover> go away
14:44:13 <atriq> One of those characters is severely autistic.
14:44:19 <atriq> Or something.
14:44:31 <atriq> Another is pretty awful
14:44:34 -!- FreeFull has joined.
14:44:56 <atriq> Yeah, Cronus does suck
14:45:01 <Phantom_Hoover> uh
14:45:05 <Phantom_Hoover> do i have someone on /ignore
14:45:08 <coppro> Phantom_Hoover: standard internet homestuck spoilers rule: the statute of limitations for spoilers expires immediately
14:45:13 <atriq> I don't think so
14:45:18 <atriq> No, I just talk to myself
14:45:18 <Phantom_Hoover> nope
14:45:22 <Phantom_Hoover> who's awful
14:45:27 -!- MoALTz__ has quit (Ping timeout: 245 seconds).
14:45:29 -!- MoALTz has quit (Read error: Connection reset by peer).
14:45:31 <atriq> Cronus
14:45:45 <atriq> Hilariously awful
14:45:53 <atriq> You know what the fandom thinks Eridan is?
14:45:58 <Phantom_Hoover> ahhhhhhh
14:46:00 <Phantom_Hoover> that guy
14:46:01 <Phantom_Hoover> best#
14:46:04 <atriq> Oh, just go away and play the update
14:46:06 <kmc> hello atriq
14:46:08 <atriq> Hey
14:46:53 <Phantom_Hoover> hmm i see nepeta's things
14:47:00 <Phantom_Hoover> i wonder if her death is finally going to be confirmed
14:47:17 <atriq> I thought it already was?
14:47:25 <Phantom_Hoover> WE NEVER SAW MOST OF THE BODY
14:47:37 <atriq> WHICH BIT OF THE BODY DID WE SEE
14:47:47 <atriq> YOU CAN SOMETIMES TELL FROM JUST A SMALL BIT OF THE BODY
14:47:49 <atriq> LIKE THE HEAD
14:47:53 <atriq> OR THE LUNGS
14:47:59 <Phantom_Hoover> CATS CAN LIVE WITHOUT THEIR HEADS SOMETIMES
14:48:04 <Phantom_Hoover> wait that was a chicken
14:49:52 <coppro> Phantom_Hoover: http://www.mspaintadventures.com/?s=6&p=006189
14:50:20 <Phantom_Hoover> there's actually a very small dersite drawn over her hair
14:50:37 <Phantom_Hoover> jack stepped on him way back in act 3
14:52:06 <atriq> I see Gregor owns an accordion now
14:53:40 <Phantom_Hoover> Uh
14:53:54 <atriq> (Facebook)
14:53:56 <Phantom_Hoover> OK, I became Gamcestor and finished his bit, now I'm Meenah again.
14:54:05 <Phantom_Hoover> what do i dooo
14:54:07 <atriq> Oh, that "Uh"
14:54:43 <coppro> yeah, I don't see it
14:54:48 <atriq> Have you found all the keys?
14:54:52 <coppro> that Uh is quite an Uh
14:55:52 <Phantom_Hoover> atriq, I think so?
14:55:55 <Phantom_Hoover> Where's that puzzle door then.
14:56:01 <atriq> Back before Cronus
14:57:55 <coppro> It's not really that surprising of an Uh, really
14:57:56 <coppro> but still
14:58:15 <zzo38> Do you mean the keys to open the door or the keys to type on the computer or the keys to play piano?
14:58:26 <atriq> The first
14:58:45 <atriq> Keys to type on the computer was Problem Sleuth
14:59:02 <atriq> Piano was Doctor Brinner
14:59:32 <Phantom_Hoover> oh for
14:59:36 <Phantom_Hoover> what can i do now i'm karkat
14:59:44 <atriq> Go out the door
14:59:50 <Phantom_Hoover> wat
15:00:23 <atriq> Just turn around now, you're not welcome any more
15:00:32 <atriq> But yeah, go out the door
15:00:44 <atriq> It's a magic dream door
15:01:33 <coppro> atriq: wait, computer and piano?
15:01:36 <coppro> what are these things!!
15:01:48 <atriq> A COMPUTER IS WHAT YOU ARE LOOKING AT
15:01:55 <atriq> IT'S A BIT LIKE A FANCY TYPEWRITER
15:02:01 <atriq> AND A BIT LIKE A NOT VERY GOOD PHONE
15:02:14 <atriq> BUT IT DOES THE TALKING FOR YOU IF YOU TELL IT WHAT TO SAY
15:02:19 <atriq> AND IT CAN TALK VERY FAST
15:02:28 <Phantom_Hoover> on the topic of keys, press the one left of the 'a'
15:03:15 <atriq> WOW THANKS
15:03:23 <atriq> NOW I DON'T NEED TO HOLD DOWN THE SHIFT BUTTON
15:03:26 <atriq> YOU ARE AMAZING
15:03:28 <atriq> :P
15:03:40 <Phantom_Hoover> Damn, Terezi's theme's gotten rad.
15:03:40 -!- oklopol has joined.
15:03:44 <coppro> atriq: where is this computer?
15:03:53 <atriq> In front of you!
15:03:54 <atriq> :)
15:04:02 <atriq> You might be looking at it
15:04:08 <atriq> It should have a screen with lights
15:04:17 <atriq> And some wires leading to other bits of the computer!
15:05:25 <coppro> atriq: :P
15:05:39 <coppro> problem sleuth problem sleuth problem sleuth
15:05:41 <coppro> nope, it's not working
15:05:41 <atriq> On another note
15:05:43 <coppro> PS did not just appear
15:05:56 <atriq> Why do I still read Misfile?
15:05:58 <atriq> It's awful
15:06:05 <coppro> also I wanna hear bubstep :(
15:07:46 <atriq> Also also
15:07:56 <atriq> How did a picture of me eating a yorkshire pudding
15:08:02 <atriq> Get 4 likes on Facebook
15:09:01 <fizzie> I think it's the pudding.
15:09:11 <Sgeo> Oh, the listy thing: Uh, I think everyone who is both here and on the list already knows
15:09:17 <Phantom_Hoover> since when were there so many nathan van doorn
15:09:54 <coppro> Sgeo: what list?
15:10:02 <Phantom_Hoover> (nathan van doorn is its own plural, like sheep)
15:10:20 <atriq> I'm the one with the red picture with the clock
15:10:24 <Sgeo> The list of people I tell when Homestuck updates, unless I forget.
15:10:28 <coppro> ah
15:10:36 <coppro> I have one of those
15:10:38 <coppro> I call it my RSS reader
15:11:19 -!- augur has quit (Remote host closed the connection).
15:11:21 <Phantom_Hoover> sgeo is far superior
15:11:35 <atriq> Sgeo is sometimes quicker
15:12:22 <atriq> Anyway, the picture in question is http://sphotos-c.ak.fbcdn.net/hphotos-ak-ash3/557161_435025123200414_1140631525_n.jpg
15:12:50 <Phantom_Hoover> protip, it's easier if you use your hands
15:13:23 <atriq> Nonsense
15:14:14 <Sgeo> I wonder if I can bring a modified copy of LilHal in here
15:14:28 <atriq> As in...
15:14:34 <atriq> Dirk's Auto-Responder?
15:14:56 <Sgeo> (LilHal is the IRC bot I wrote in Tcl to tell the channel when there's an update. Yes, named after the AR)
15:16:20 <Sgeo> It's faster than many people's notifiers, I think
15:16:38 <itidus21> Sgeo: what about a separate channel for updates?
15:16:42 <atriq> Does it say the names of people?
15:16:52 <itidus21> like, #esoteric-en
15:16:54 <atriq> #esoteric-homestuck
15:17:50 <Sgeo> atriq, it private messages people
15:17:55 <itidus21> ooh
15:18:14 <Sgeo> And says it out loud in channel, but that can be disabled
15:19:10 <itidus21> it should pm a bot with @tell person update >:-)
15:19:26 -!- TeruFSX has joined.
15:19:29 <itidus21> no im being silly
15:19:34 <atriq> itidus21, that'd be too slow
15:19:40 <atriq> For a start, I'd have to be talking
15:20:38 <Sgeo> Well, it's currently active in SwiftIRC, could just use it there unless/until we get one running here
15:20:40 <itidus21> i think it would be tragic
15:20:44 <itidus21> doing my idea
15:22:50 <atriq> I'm not comfortable with the idea of being on more than one IRC server at once
15:23:03 <atriq> Freenode/Esper was too weird for me
15:26:23 <atriq> You know what annoys me?
15:26:36 <atriq> That I'm annoyed that people assume there's only one kind of sign language
15:28:47 <itidus21> thats probably a good annoyance
15:29:06 <atriq> I'm annoyed that this annoys me
15:29:57 <itidus21> too much nested annoyance
15:31:07 <itidus21> i get this from the first 2 lines annoyed_by(annoyed_by(people assume there's only one kind of sign language))
15:32:08 <kmc> butts
15:32:46 <itidus21> im not sure how to haskell this. but i don't mean to impose. i feel much better now.
15:32:49 <itidus21> brb
15:37:40 <FreeFull> atriq: I am on 12 networks right now
15:37:53 <atriq> That is a ridiculous amount of networks
15:38:09 <atriq> That's roughly similar to the number of channels I've been in
15:38:24 <atriq> (probably significantly less)
15:38:29 <FreeFull> I'm in 81 channels right now
15:38:33 <atriq> I'm in 2
15:38:46 <kmc> i'm also in 2 channels
15:38:55 <kmc> used to be in more but i keep rage-quitting them :/
15:39:07 <atriq> I very rarely rage-quit channels
15:39:12 <atriq> I just sort of phase out
15:39:18 <atriq> Or leave IRC entirely
15:40:21 <atriq> Might switch computer in a sec
15:40:35 <atriq> Oh, that reminds
15:40:36 <atriq> me
15:40:55 <atriq> What are the odds that linux gaming will become mainstream in the next 2 months?
15:41:10 <FreeFull> Depends on when Valve releases Steam for Linux
15:41:15 <FreeFull> I think it will take more than 2 months
15:41:44 <atriq> Then I ought to install Windows on my other computer
15:41:55 <atriq> So I can play games with my friends
15:44:29 <kmc> <atriq> What are the odds that linux gaming will become mainstream in the next 2 months?
15:44:32 <kmc> lol
15:44:41 <kmc> 2012 is the year of Linux on the desktop
15:44:43 <kmc> THE MAYANS WARNED US
15:45:35 <FreeFull> December isn't within 2 months yet
15:46:59 -!- ais523_ has joined.
15:47:29 <atriq> Gonna switch computer now, brb
15:47:30 -!- atriq has quit (Quit: Leaving).
15:47:41 -!- ais523 has quit (Disconnected by services).
15:47:42 -!- ais523_ has changed nick to ais523.
15:49:40 -!- augur has joined.
15:51:21 -!- atriq has joined.
15:53:11 -!- AnotherTest has joined.
15:53:15 <AnotherTest> Hello
15:53:21 <atriq> Sup
15:53:31 <itidus21> this could be the biggest thing ever
15:53:51 <AnotherTest> this = ?
15:53:57 <itidus21> disaffected windows 8 users might flock to steam to play games without paying for windows updates and malware
15:54:11 <itidus21> ^to play steam on linux
15:54:19 <itidus21> blah
15:54:19 <AnotherTest> oh
15:54:35 <atriq> I don't think there's enough Windows 8 users for any of them to be disaffected
15:54:45 <itidus21> well
15:54:50 <itidus21> still
15:54:54 <itidus21> even win7
15:55:24 <FreeFull> The valve linux blog only has two things on it right now
15:55:26 <itidus21> when people hear "you can play all your favorite games on a free OS which isn't owned by a corporation"
15:55:35 <itidus21> they will shit bricks
15:55:41 <itidus21> in a good way though
15:55:43 <atriq> No they won't
15:55:48 <atriq> They'll say "and?
15:55:56 <atriq> "I'm used to Windows"
15:56:03 <itidus21> but this is absoluetly massive @_@
15:56:10 <atriq> (actual vaguely correct use of quote marks)
15:56:22 <itidus21> this could be like the killer app on linux
15:56:50 <FreeFull> And Valve is getting the graphics card manufacturers to improve the drivers
15:57:04 <itidus21> somehow i inferred that would happen
15:57:24 <itidus21> wow
15:57:47 <itidus21> i admit it won't get me to jump off winxp
15:57:51 <zzo38> But does it let you to connect between Linux and Windows computers? And other computers too?
15:58:15 <itidus21> but im on a good windows os
15:58:20 <itidus21> im not disaffected
15:58:31 <atriq> zzo38, you can already connect Windows and Mac
15:58:34 <atriq> Using Steam
15:58:46 <atriq> If you couldn't connect Linux Valve are dicks
15:59:29 <itidus21> well.. i hope gabe can be trusted with this kind of power
16:00:05 <itidus21> steam isn't exactly rights-friendly
16:04:29 <itidus21> maybe one day microsoft will be reduced to selling apps for linux
16:04:59 <itidus21> i meant to say my speculation isn't very useful
16:11:50 <kmc> it's adorable that people still think the big software freedom fight is with Microsoft over control of the desktop
16:12:25 <atriq> When the real villain is General Mills
16:12:37 <kmc> that's right
16:13:59 <atriq> The question is...
16:14:13 <atriq> Is that the truth, or an obscure Homestuck reference?
16:15:33 <atriq> (4 points if you can tell me how it's a Homestuck reference, because it is)
16:17:41 <Phantom_Hoover> General Mills is presumably isomorphic to Betty Crocker.
16:17:57 <atriq> Almost
16:25:25 <itidus21> kmc: well i remember your comments about this now, vaguely, and the main thing about the mobile/portable/touchpad war seems to be about patents and ridiculous lawsuits
16:25:37 <itidus21> basically a clusterfuck of courtcases
16:26:26 <itidus21> each of which paints a picture of the future
16:32:26 <zzo38> Now for sure I completed the job for someone making a NES/Famicom ROM of their pictures and music. They will need to make the cartridge by themself, I think.
16:36:16 <AnotherTest> In haskell, what would be the preferred way of checking whether an integer can be divided by an another integer
16:37:08 <zzo38> AnotherTest: I would think using modulo, like it would in other programming languages, but I don't know
16:37:11 <atriq> :t \x y -> x `mod` y == 0
16:37:12 <lambdabot> forall a. (Integral a) => a -> a -> Bool
16:37:24 <AnotherTest> Okay :)
16:40:44 -!- nooga has quit (Ping timeout: 244 seconds).
16:40:50 -!- impomatic has quit (Quit: impomatic).
16:50:14 -!- david_werecat has quit (Ping timeout: 240 seconds).
16:59:22 -!- atriq has quit (Remote host closed the connection).
17:29:34 -!- ais523 has quit (Read error: Connection reset by peer).
17:29:37 -!- ais523_ has joined.
17:31:18 <AnotherTest> are [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47] the prime numbers in the range [0..50]
17:31:54 -!- ogrom has joined.
17:40:01 -!- augur has quit (Remote host closed the connection).
17:42:12 -!- nooga has joined.
17:48:38 <Gregor> itidus21: Yeah, I don't see many Windows users jumping ship for Linux thanks to Steam.
17:48:59 <Gregor> I'll be happy to see it since Steam + wine is less than ideal, but I still expect plenty of wine-games, so *eh*
17:49:02 -!- ais523_ has changed nick to ais523.
17:50:22 <FreeFull> Steam for linux isn't even out yet
17:51:54 <Gregor> FreeFull: “I'll” expands to “I will” *NBC The More You Know*
17:52:28 <Gregor> Oh
17:52:40 <Gregor> And “see” in that context is synonymous with “foresee”
17:52:49 <itidus21> one thing is that uhhh
17:53:10 <Phantom_Hoover> Gregor, no it isn't.
17:53:28 <Gregor> Phantom_Hoover: Yes, it is. Plenty of people use it like that. Maybe not in the UK *shrugs*
17:53:35 <itidus21> mind changing tracks.. oh humm... valve could launch it's very own linux i suppose
17:53:40 <Phantom_Hoover> Maybe, but in that context it doesn't mean 'foresee'.
17:53:44 -!- atriq has joined.
17:53:46 <Gregor> Phantom_Hoover: Yes, it does.
17:53:58 <Phantom_Hoover> The 'will' takes care of the time difference, you don't need to extend it further with 'foresee'.
17:54:15 <Gregor> Phantom_Hoover: Oh, hahah, I'm talking about a different “see” X-D
17:54:21 <itidus21> ^disregard
17:54:28 <Gregor> Phantom_Hoover: I meant on the previous line. “I don't see many Windows users jumping ship…”
17:54:31 <Phantom_Hoover> Oh.
17:54:35 <Phantom_Hoover> Right then it is.
17:54:47 <Gregor> Let us dance the jig of language ambiguity.
17:55:08 -!- ais523 has quit.
17:55:15 -!- augur has joined.
17:55:16 <Phantom_Hoover> If KSP gets ported to Linux then I can probably ignore Windows almost all the time.
17:55:55 <Gregor> I don't understand what people are complaining about with Steam games and Linux. I'm yet to find one that doesn't work.
17:56:21 <atriq> Hey, wiki spam
17:56:25 <itidus21> as a wannabe game developer my biggest two fears are patent infringement and my code failing to work on the main market's OS
17:56:36 <Phantom_Hoover> I've been stung by Wine too many times to see it as a viable option any more.
17:56:50 <Phantom_Hoover> Morrowind ran fine, but that's about the only thing that has.
17:56:57 <Gregor> Phantom_Hoover: When was the last time you used it? They continue to improve by leaps and bounds.
17:56:59 <Sgeo> KSP?
17:57:20 <Phantom_Hoover> Gregor, I tried it for TF2 a few months ago. It was not good.
17:57:29 <Phantom_Hoover> Sgeo, Kerbal Space Program.
17:57:36 -!- Vorpal has joined.
17:57:46 -!- elliott has joined.
17:57:51 <Gregor> For TF2?! OK, admittedly, I don't have TF2, but IIRC that's based on the same engine as HL2, and I have a few games that use that engine (including HL2), all of which run beautifully.
17:57:53 <elliott> http://esolangs.org/wiki/The_Correct_Way_To_Discover_Credit_Immediately someone create an esolang with this name. thx
17:57:55 -!- elliott has left ("Leaving").
17:58:21 <Gregor> Is there an esolang where programs look like spam messages?
17:58:24 <Phantom_Hoover> Gregor, HL2 had a lot of rough edges IIRC.
17:58:32 <Phantom_Hoover> Don't remember the details.
17:58:41 <Gregor> Phantom_Hoover: I have never even had the slightest issue with HL2.
17:59:02 <Phantom_Hoover> It's setup-dependent of course but the last time I tried to get help off the Wine guys they were snippy and refused to do anything because I was trying a pirate copy.
17:59:12 <atriq> Real Fast Nora's Hair Salon: Shear Disaster Download was originally a spam page
17:59:38 <itidus21> really?
17:59:43 <atriq> Yeah
17:59:48 <atriq> With a name like that?
17:59:51 <atriq> Can't be anything else
18:00:03 <itidus21> i assumed you were a fan of the film
18:00:15 <atriq> Never seen it
18:00:18 <itidus21> or making fun of it
18:01:00 <itidus21> i suspect that counts as found-object art
18:04:12 <itidus21> i have an uptodate gfx card, steam access, and free time.. but all the game descriptions sicken me
18:04:46 <itidus21> i think i don't want to acknowledge modern gaming
18:06:10 <itidus21> what with it's voice chats and multiplayer and achievements, and dlc, and drm
18:06:54 <Gregor> On-disc DLC FTW!
18:07:20 <itidus21> what would be even cooler is on-chip dlc
18:07:29 <Gregor> Oh heww yeah
18:08:00 <Gregor> “This Intel chip does not ship with SSE3 support, but by using this $50 DLC, you can enable it!”
18:08:04 <itidus21> :o
18:08:26 <Gregor> The download is a 2KB .exe file. It just twiddles some bits and shows a progress bar.
18:08:40 <Gregor> Most of the progress bar time is taken by sleep(), just to make you think it's doing something.
18:08:45 <itidus21> and.... and.. ... and... this is a dangerous future
18:08:58 <atriq> One of my brother's friends stuck an Intel Inside sticker on his bmx. So I gave my brother my Powered by AMD sticker and he put it on his bike
18:09:31 <Gregor> Now you just need a Cyrix sticker for somebody else ;)
18:10:08 <itidus21> wow thats even cooler than card pegged onto bikewheel
18:11:34 -!- hagb4rd has quit (Ping timeout: 246 seconds).
18:11:41 -!- augur has quit (Remote host closed the connection).
18:11:49 -!- AnotherTest has quit (Quit: Leaving.).
18:22:36 <kmc> IBM mainframes have that basically
18:22:51 <kmc> when you buy a mainframe it comes with a bunch of processors but they are not all activated
18:22:53 <atriq> Card pegged onto bikewheels?
18:23:00 <kmc> you can call them up to pay more money and get more processors turned on
18:23:28 <kmc> they can also turn them on in a mode where they will only run Linux or only run XML processing offload, and that costs less money
18:23:56 <itidus21> atriq: im hopeless at english. ill figure it out
18:24:17 <atriq> itidus21, no, that was meant at kmc
18:24:24 <atriq> kmc> IBM mainframes have that basically
18:24:29 <Gregor> lol
18:24:54 <Gregor> IBM mainframes probably have a noisemaker somewhere, just so that admins feel secure in the knowledge that their machines are doing something.
18:25:07 <kmc> blinkenlights
18:25:11 <shachaf> Hmm, my GHC patch LGTM.
18:25:15 <kmc> sweet
18:25:27 <shachaf> Looks Good To Marlow, I guess.
18:25:57 <atriq> What does the patch do?
18:26:02 <Phantom_Hoover> Lesbian Gay Transexual Mobsters?
18:26:26 <shachaf> atriq: Integer literals like 1.2e6
18:26:41 <atriq> Oh, cool
18:26:45 <atriq> Hmm
18:26:49 <atriq> I...
18:26:52 <atriq> I don't like
18:27:05 <atriq> It wreaks my obfuscation plans
18:27:08 <atriq> Well
18:27:10 <atriq> It doesn't
18:27:11 <atriq> At all
18:27:22 <itidus21> http://www.firebox.com/product/4364/Turbospoke-Bike-Exhaust-System
18:32:23 <oklopol> errrr where's the exhaust
18:32:29 <oklopol> you need exhaust.
18:35:43 <Phantom_Hoover> does anyone care to hear the voyages of the KSS Proportionate Response V as I try once more to make it go between two planets without exploding, running out of fuel or developing crippling stability problems
18:36:58 <Arc_Koen> do tell the tale!
18:37:23 -!- Dovregub1en has joined.
18:37:42 <Phantom_Hoover> Well I aborted the first launch while the engines were spinning up because it turns the physics engine into a slideshow.
18:39:19 <Phantom_Hoover> OK, I've either fixed that or made it much, much worse.
18:40:06 <Phantom_Hoover> Possibly the latter.
18:40:27 -!- TeruFSX2 has joined.
18:41:02 <Phantom_Hoover> It's off the ground, at least.
18:41:28 <Phantom_Hoover> Other than that I can't tell on account of getting about two frames a second.
18:42:43 <atriq> I'm not sure what the context is
18:43:22 <Phantom_Hoover> I'm launching an interplanetary lander in KSP.
18:43:53 <olsner> oh, it's the gerbil space program?
18:44:36 <Phantom_Hoover> yes
18:44:58 -!- pumpkin has joined.
18:45:09 <Phantom_Hoover> oh god what is happening
18:46:13 <olsner> maybe it makes sense for the gerbils
18:46:24 -!- sivoais_ has joined.
18:47:23 -!- Dovregubben has quit (Ping timeout: 245 seconds).
18:47:24 -!- TeruFSX has quit (Read error: Connection reset by peer).
18:47:24 -!- copumpkin has quit (*.net *.split).
18:47:24 -!- sivoais has quit (*.net *.split).
18:47:24 -!- Gregor has quit (*.net *.split).
18:47:25 -!- ssue has quit (*.net *.split).
18:47:25 -!- fizzie has quit (*.net *.split).
18:47:26 -!- pumpkin has changed nick to copumpkin.
18:48:29 -!- ssue has joined.
18:48:29 -!- fizzie has joined.
18:49:09 <atriq> $18!?
18:49:14 <atriq> EIGHTEEN DOLLARS?
18:49:21 <atriq> That's, like, 12 pounds
18:49:36 <nortti> 21:34 <JG71> netbsd is too well, obvious.openbsd, I wear neither orange nor otherwise I buy cough drops en masse.what remains to be because
18:49:42 <Phantom_Hoover> There's a demo, but it has, like, nothing.
18:50:08 <Phantom_Hoover> I paid for it because I was like "A GAME WHERE YOU GET TO FLY PROPER ROCKETS I HAVE BEEN WAITING FOR THIS SINCE I WAS 5"
18:50:20 <Phantom_Hoover> Gerbils are now in orbit.
18:50:40 <oklopol> go gerbils
18:52:08 -!- itidus20 has joined.
18:52:27 -!- kinoSi0 has joined.
18:52:38 -!- Sgeo_ has joined.
18:53:51 -!- oklofok has joined.
18:54:15 -!- Phantom__Hoover has joined.
18:54:39 <Phantom__Hoover> oh great
18:54:57 <Phantom__Hoover> a part fell off at some point and it's developed crippling stability problems
18:55:32 -!- DHeadshot has joined.
18:56:17 <Phantom__Hoover> At least the transfer stage's still stable.
18:56:37 <Phantom_Hoover> Where they will remain for another two or three months while I wait for the planets to align.
18:56:38 -!- DH____ has quit (Ping timeout: 246 seconds).
18:56:38 -!- kinoSi has quit (Ping timeout: 246 seconds).
18:56:39 -!- oklopol has quit (Ping timeout: 246 seconds).
18:56:39 -!- Sgeo has quit (Ping timeout: 246 seconds).
18:56:39 -!- itidus21 has quit (Ping timeout: 246 seconds).
18:56:39 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
18:59:45 <Phantom__Hoover> whoa
18:59:47 <Phantom__Hoover> trippy
19:01:10 <kmc> but can you control those proper rockets using a poorly designed 16-bit CPU
19:02:01 <Phantom__Hoover> no
19:02:24 <Phantom__Hoover> there's an autopilot but you can only write scripts for it
19:03:16 <Phantom__Hoover> anyway 0x10c is all sci-fi and shit
19:03:25 <Phantom__Hoover> ksp is just barrels and duct tape
19:03:36 <coppro> dammit where is ehird
19:03:37 <kmc> this is how we fix things on russian space station
19:03:43 <coppro> actually
19:03:45 <atriq> Duct tape is more useful than shit for many purposes
19:03:45 -!- Gregor has joined.
19:03:46 <coppro> where has he been latel
19:03:51 <atriq> coppro, hiding
19:03:58 <Phantom__Hoover> he's Left And Never Come Back
19:05:28 <quintopia> coooool
19:06:52 <Phantom__Hoover> not very nice quintopia
19:09:00 -!- KingOfKarlsruhe has joined.
19:12:11 -!- quintopi1 has joined.
19:12:39 -!- nortti_ has joined.
19:13:03 -!- aloril_ has joined.
19:13:25 -!- Gregor has quit (Ping timeout: 274 seconds).
19:13:27 -!- FreeFull has quit (Ping timeout: 274 seconds).
19:13:28 -!- nortti has quit (Ping timeout: 274 seconds).
19:13:28 -!- aloril has quit (Ping timeout: 274 seconds).
19:13:28 -!- quintopia has quit (Ping timeout: 274 seconds).
19:13:28 -!- hogeyui_ has quit (Ping timeout: 274 seconds).
19:13:28 -!- FreeFull has joined.
19:13:28 -!- FreeFull has quit (Changing host).
19:13:28 -!- FreeFull has joined.
19:13:52 -!- hogeyui_ has joined.
19:17:53 <quintopi1> blegh
19:18:28 -!- quintopi1 has changed nick to quintopia.
19:18:36 -!- quintopia has quit (Changing host).
19:18:36 -!- quintopia has joined.
19:18:57 -!- Nisstyre has joined.
19:27:36 -!- mtve has quit (Ping timeout: 244 seconds).
19:29:37 -!- hogeyui_ has quit (Ping timeout: 240 seconds).
19:30:43 -!- hogeyui_ has joined.
19:33:01 -!- mtve has joined.
19:33:11 <zzo38> In chess when the rules were less precise someone once promoted a pawn into an opponent's piece, and castled a promoted rook, which are not supposed to be allowed. But a variant can be made which allows such things?
19:35:25 -!- oerjan has joined.
19:41:54 <Arc_Koen> I think you should be glad everybody play with the same rules
19:42:06 <atriq> zzo38 and kallisti don't
19:42:07 <atriq> Ever
19:42:08 <oerjan> no i want different rules dammit!
19:42:13 <Arc_Koen> in the game of go there are always problems in international tournaments as to which rule to use
19:42:22 <oerjan> wait, we're talking about life, right?
19:42:37 <olsner> no, we seem to be discussing the last xkcd
19:42:47 <zzo38> Arc_Koen: Well, yes, you have to play by the rules of whatever game you are playing. But of course you can play a different game (as long as all players (and tournament official, if applicable) agrees).
19:42:52 <oerjan> oh ok.
19:43:18 <Arc_Koen> well, the rules are very similar but people have disagreements regarding details
19:43:21 <oerjan> that xkcd reminded me of zzo38's chess variants
19:43:52 <olsner> which is what we were actually talking about
19:44:00 <olsner> or maybe not
19:44:07 <olsner> it was something about chess
19:44:23 <Arc_Koen> and promoting a pawn into an opponent piece sounds like something that can be useful in very, very specific and rare situations only, so saying it's a different game is a bit of a stretch
19:44:26 <zzo38> I wrote all description of REVER esolang except the streams. I don't know exactly how it should work, but my idea is at least: Streams are (usually finite) queues of integers. Input streams are normally read-only and output streams are write-only. Streams operations can also be piped with other streams. Other than that, I don't know.
19:45:20 <olsner> piping a stream back into itself sounds like it could do something
19:46:52 <zzo38> Arc_Koen: Well, it is a variant of chess without a lot of new uses. I did not mean these are the only different rules; there can be others too, such as it doesn't matter if the king and rook has moved yet, but the king has to be on K1 and the rook on QR1, KR1, or K8. And then you can have more such as promoting only to lost pieces, sometimes miss a turn if you play the right card, etc
19:47:06 <olsner> oh, REVER has other things besides streams
19:47:26 <zzo38> olsner: I did not mean to itself, and I don't even know if that would work with the various restrictions REVER is supposed to have.
19:47:34 <quintopia> is there an esolang where the only fundamental objects are queues of bits?
19:48:29 <Arc_Koen> hummm
19:48:30 <zzo38> There is a esolang where the objects are queues of references of queues. And I think cyclic tag machines uses a queue of bits.
19:48:35 <oerjan> <zzo38> yinYang = join $ liftA2 runCT (getCC <* lift (putChar '\n')) (getCC <* lift (putChar '*'));
19:48:47 <Arc_Koen> so we're definitely not talking about regular chess are we? I might need more context then
19:49:03 <atriq> I think we're talking about everything at once
19:49:18 <zzo38> atriq: Yes, like it is often the case in IRC.
19:49:23 <olsner> Arc_Koen: no, we're talking about queues of bits
19:49:23 <zzo38> oerjan: What about that?
19:50:09 <oerjan> is that the same as yinyang? it looks closer to the unlambda ``.*`cd`r`cd program. although maybe that _is_ also yinyang
19:50:22 <quintopia> zzo38: whih
19:50:25 <oerjan> i somehow assumed the use of let* in the scheme complicated things
19:50:33 <zzo38> oerjan: Yes I think that Unlambda program is also yinyang.
19:50:35 <quintopia> what is the language with queues of queues
19:50:45 <atriq> Fueue?
19:50:59 <oerjan> * ``r`cd`.*`cd
19:51:00 <zzo38> quintopia: Q-Ref (one of my own) has queues of references of queues.
19:51:24 <atriq> Fueue has queues which can contain queues
19:51:29 <olsner> tried to google fueue and found https://en.wikipedia.org/wiki/Women_in_piracy
19:51:42 <zzo38> oerjan: This does the same thing too. Do you know the definition of runCT and getCC which I used (or perhaps you can figure out by yourself)?
19:51:47 <Arc_Koen> har har
19:52:28 <olsner> (and by "google" I meant using a completely different search engine)
19:52:44 <atriq> "I googled it on Amazon"
19:53:31 -!- ssue_ has joined.
19:54:03 -!- ssue has quit (Ping timeout: 245 seconds).
19:54:03 -!- Gregor has joined.
19:54:03 -!- ssue_ has changed nick to ssue.
19:54:04 <olsner> argh :( I thought I was looking it up on the eso wiki and failed to find the fueue article, turns out that was wikipedia
19:54:07 <quintopia> duckduckgoogle
19:54:23 -!- ogrom has quit (Quit: Left).
19:54:27 <coppro> tswett: ping
19:54:48 <olsner> I duckduckwent it?
19:55:00 <oerjan> i banged it
19:55:12 <quintopia> past tense of bing=bang?
19:55:14 <tswett> coppro: ahoy.
19:55:24 <quintopia> if so, no ed is necessary
19:55:26 <quintopia> i bang it
19:55:29 <olsner> sounds like it ought to be bung
19:55:37 <quintopia> you're bung
19:55:42 <oerjan> olsner: i think you are confused about english grammar
19:55:45 <quintopia> bung would be the participle
19:55:46 <quintopia> had bung
19:55:54 <olsner> right, bing bang bung
19:56:04 <olsner> off by one :)
19:56:41 <zzo38> I wonder if this getCC has some use in proper programs too
19:56:54 <atriq> AAAAAA
19:56:56 <tswett> zzo38: "get current continuation"?
19:56:59 -!- atriq has quit (Quit: THEY ARE COMMING).
19:57:47 <oerjan> :t callCC
19:57:48 <lambdabot> forall a (m :: * -> *) b. (MonadCont m) => ((a -> m b) -> m a) -> m a
19:58:14 <zzo38> tswett: It is what I meant it to mean but it is really just a name for the function.
19:58:36 <oerjan> :k Mu
19:58:37 <lambdabot> (* -> *) -> *
19:59:40 <oerjan> :k Flip
19:59:41 <lambdabot> Not in scope: type constructor or class `Flip'
19:59:45 <oerjan> bah
20:00:51 <oerjan> :k (<-)
20:00:52 <lambdabot> parse error on input `<-'
20:00:56 <oerjan> oh right
20:02:52 <zzo38> I think <- is a reserved word in Haskell
20:02:56 <oerjan> yes
20:03:03 <oerjan> that's what the oh right was for
20:03:33 <oerjan> i suspect lambdabot may not have a type allowing this to be written
20:03:52 <oerjan> :t Fix
20:03:53 <lambdabot> Not in scope: data constructor `Fix'
20:03:56 <zzo38> What do you try to write? Write your own types (even if lambdabot cannot use it).
20:03:57 <oerjan> :t Mu
20:03:58 <lambdabot> Not in scope: data constructor `Mu'
20:04:39 <oerjan> zzo38: i already know how to write it, i'm more interested in seeing if lambdabot can accept it
20:05:13 <zzo38> I want to know what it is though. What are you trying to make?
20:05:17 <oerjan> getCC
20:05:38 <zzo38> OK
20:05:46 <oerjan> it needs a = a -> m b afaik
20:06:24 <zzo38> It is like what I used, with a newtype wrapper, with the field named runCT
20:06:37 <oerjan> oh that's what runCT was for
20:07:21 <oerjan> hm...
20:07:25 <oerjan> :t ContT
20:07:27 <lambdabot> forall a (m :: * -> *) r. ((a -> m r) -> m r) -> ContT r m a
20:10:42 -!- atriq has joined.
20:11:57 <atriq> Turns out "comming" doesn't mean "coming"
20:14:21 -!- FreeFull_ has joined.
20:14:29 -!- FreeFull has quit (Ping timeout: 241 seconds).
20:14:53 <oerjan> shocking
20:16:12 -!- sivoais_ has quit (Quit: leaving).
20:16:23 <oerjan> <kmc> butts <-- do you actually have a script for doing this randomly?
20:16:47 -!- sivoais has joined.
20:18:43 <zzo38> I was playing Dungeons&Dragons game today very short time
20:22:57 <atriq> Oh no!
20:25:36 <atriq> I think...
20:25:47 <atriq> I think I have a way of dividing by two with Lambda Calculus
20:26:09 <oerjan> atriq: it shouldn't be _that_ hard...
20:26:15 <atriq> It isn't
20:26:24 <atriq> I just didn't see a solution immediately
20:26:30 <atriq> Is there an obvious one?
20:27:14 <atriq> Other than \n -> second (n (\x -> first x (pair false (succ (second x))) (pair true (second x))))
20:27:27 -!- FreeFull_ has changed nick to FreeFull.
20:27:35 <oerjan> well i'd do something like n (\(x,y) -> (y, x+1)) (0,0) with pairs expanded
20:28:30 <atriq> Oh, I see how that works
20:28:49 <oerjan> yours isn't the same? it looks pair-based too
20:29:33 <atriq> It isn't
20:29:45 <atriq> Mine has a boolean and it checks the boolean to see if now is the time for succing
20:29:49 <atriq> Otherwise it doesn't
20:29:51 <oerjan> ah
20:29:57 <atriq> Yours has a conveyor belt type thing?
20:30:12 <oerjan> i guess yours has a better chance of scaling to other divisors
20:30:58 -!- augur has joined.
20:31:02 <Phantom__Hoover> OK, back the the space gerbils.
20:31:05 <Phantom__Hoover> *back to
20:32:01 <FreeFull> butts
20:32:19 <oerjan> oh no it's spreading
20:32:25 <atriq> Mine annoyingly doesn't want to type-check
20:32:35 <atriq> n :: ((a -> a) -> a -> a)
20:33:31 <oerjan> i think you need some forall's if applying n to something is going to give a church numeral of the same type
20:35:48 <Phantom__Hoover> hmm
20:36:01 <Phantom__Hoover> maybe i should've put enough engines on this thing that I can't go and make a cup of tea during the planetary transfer burn.
20:36:49 -!- atriq has quit (Ping timeout: 246 seconds).
20:36:58 <oerjan> atriq: yours above appears to lack an argument to n
20:37:40 <oerjan> darn
20:37:55 <Gregor> So apparently Mitt Romney thinks airplane windows should open.
20:38:07 <Gregor> Potential future president of the USA.
20:38:14 <Gregor> Thinks airplane windows should roll down or something.
20:38:32 -!- augur has quit (Remote host closed the connection).
20:38:44 <Phantom__Hoover> makes sense
20:38:52 <Phantom__Hoover> how else are you meant to cool yourself down
20:39:00 <zzo38> Maybe he should make such windows on his own private airplane.
20:39:00 <Phantom__Hoover> either that or they should have little fans or something
20:42:24 -!- boily has quit (Quit: Poulet!).
20:47:24 <Phantom__Hoover> I did make a cup of tea, and this thing's still only a fraction of the way there.
20:47:54 <oerjan> everyone knows tea and spaceships don't mix, see H2G2
20:50:27 <Phantom__Hoover> Out of fuel already.
20:50:30 <Phantom__Hoover> That's a bit disappointing.
20:52:48 <Arc_Koen> cats fighting in the street... they shriek like birds
20:57:07 <oerjan> you have scary birds i take
20:57:28 -!- heroux_ has joined.
20:59:43 <Arc_Koen> http://esolangs.org/wiki/Numberwang/Implementations is that a subpage or a page with a slash in its title?
20:59:49 -!- nortti has joined.
20:59:59 -!- lambdabot has quit (Ping timeout: 252 seconds).
20:59:59 -!- clog has quit (Ping timeout: 252 seconds).
20:59:59 -!- nortti- has quit (Ping timeout: 252 seconds).
21:00:00 -!- heroux has quit (Ping timeout: 257 seconds).
21:00:18 <Arc_Koen> (my apologies I did not mean to kill lambdabot)
21:00:41 <oerjan> Arc_Koen: it's a page with a slash in its title; subpages get an automatic link back to the top
21:01:10 <Arc_Koen> hmmmm ok
21:01:19 <oerjan> compare e.g. http://esolangs.org/wiki/User:Zzo38/FurryScript (on esolang, User: namespace has subpages but not main namespace)
21:02:21 <Arc_Koen> also what the hell is "if n % 1 == 0:" for, at the beginning of the code? I thought the remainder of a euclidian division by 1 was always 0.
21:02:42 <zzo38> That is not the only user subpage and I am not the only one who has it, but that is one example.
21:03:38 <oerjan> Arc_Koen: i dunno
21:04:09 <oerjan> > rem <$> [-1, 0, 1] <*> [1]
21:04:15 <oerjan> oh right
21:04:41 <oerjan> Arc_Koen: don't worry, lambdabot dying was just my bad karma.
21:05:01 <Arc_Koen> is that an incentive for me to stop talking to you? :(
21:06:06 <oerjan> hm a tricky question. i don't fully understand how my karma works, or else it wouldn't be so bad...
21:06:54 <oerjan> Arc_Koen: oh hm i remember: the n may not be an integer.
21:07:06 <Arc_Koen> ohhhhhkay
21:07:24 <Arc_Koen> so "in case it's not an integer, multiply it by ten"?
21:07:35 <Arc_Koen> it all makes sense now!
21:07:48 <Arc_Koen> oh, you mean it can be a decimal
21:08:04 * Arc_Koen thought it could be a string or whatever other kind of data
21:08:51 <oerjan> right, although i am somewhat worried if that will always terminate... oh wait it will, although the number may be misrepresented
21:09:18 <oerjan> say 0.1 is not perfectly representable in binary
21:09:33 <oerjan> but whatever 0.1 is replaced with, will be.
21:09:38 <oerjan> > 0.1 * 10
21:09:54 * oerjan swats lambdabot in absentia -----###
21:10:45 <oerjan> what i really mean is that it might not always calculate the same as summing the digits in the original string
21:11:09 <Arc_Koen> right
21:13:15 <Arc_Koen> well thank you and have a good night!
21:20:04 -!- augur has joined.
21:21:00 -!- Vorpal has quit (Ping timeout: 276 seconds).
21:23:40 -!- atehwa_ has joined.
21:24:08 -!- Arc_Koen has quit (Ping timeout: 248 seconds).
21:24:09 -!- atehwa has quit (Ping timeout: 248 seconds).
21:24:37 -!- kmc has quit (Ping timeout: 248 seconds).
21:24:49 -!- Arc_Koen has joined.
21:24:54 -!- kmc has joined.
21:29:01 -!- monqy has joined.
21:30:09 -!- kinoSi0 has quit (Read error: Connection reset by peer).
21:30:37 -!- kinoSi has joined.
21:32:14 -!- nooga_ has joined.
21:32:43 -!- HackEgo has quit (Ping timeout: 240 seconds).
21:32:43 -!- FireFly has quit (Ping timeout: 240 seconds).
21:32:44 -!- Arc_Koen has quit (Read error: No buffer space available).
21:33:21 -!- HackEgo has joined.
21:33:34 -!- nooga has quit (Ping timeout: 240 seconds).
21:38:37 -!- Phantom___Hoover has joined.
21:38:53 <kmc> shachaf: Do you know about Base32?
21:39:04 <kmc> it's like Base64 but using only A-Z2-7
21:39:16 -!- FireFly has joined.
21:39:59 <kmc> decoders are allowed to interpret 0 as O and 1 as I
21:41:36 <oerjan> K00L
21:42:06 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds).
21:45:55 -!- monqy_ has joined.
21:46:09 -!- monqy has quit (Disconnected by services).
21:46:14 -!- monqy_ has changed nick to monqy.
21:46:33 -!- pikhq_ has joined.
21:48:28 -!- quintopi1 has joined.
21:48:40 -!- kinoSi0 has joined.
21:48:42 -!- kmc has quit (Read error: Connection reset by peer).
21:48:44 -!- FireFly has quit (Excess Flood).
21:49:12 -!- nooga_ has quit (Ping timeout: 245 seconds).
21:49:39 -!- kmc has joined.
21:49:52 <kmc> "2 arrested after having sex in public park, witnesses watch for 15 minutes"
21:49:59 <kmc> an important detail
21:50:28 -!- kallisti_ has joined.
21:50:32 -!- pikhq has quit (Ping timeout: 248 seconds).
21:50:32 -!- quintopia has quit (Ping timeout: 248 seconds).
21:50:33 -!- kallisti has quit (Ping timeout: 248 seconds).
21:50:55 <oerjan> a++ would watch again
21:50:56 <kmc> "Oh, police blotter. You make every newspaper a newspaper from Florida."
21:53:57 -!- kinoSi has quit (Read error: Connection reset by peer).
21:55:46 -!- FireFly has joined.
21:56:31 -!- FreeFull has quit (Quit: Zzzz).
22:02:32 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
22:02:58 <Gregor> kmc: I can't decide who in that story is creepier.
22:03:05 <kmc> i know, right?
22:03:17 <shachaf> kmc: Oh, sounds reasonable.
22:03:29 <Gregor> I'm gonna have to go with the witnesses. 'cause at least the perpetrators were getting laid.
22:04:01 <kmc> although I think if you're having sex in public, you are implicitly consenting to being watched
22:04:08 <kmc> indeed that's the point of it for some people
22:04:52 * shachaf was talking about base32.
22:04:59 <kmc> sure you were
22:05:03 <Gregor> *scoffs*
22:05:16 <Gregor> shachaf: Don't go trying to hide behind your fancy mathematics.
22:05:21 -!- augur_ has joined.
22:06:26 -!- Phantom__Hoover has joined.
22:08:22 <Phantom__Hoover> Well, after a lot of orbital fuckery, the Proportional Response V is now on a relatively accurate course into Joolian orbit.
22:09:16 -!- augur has quit (Ping timeout: 246 seconds).
22:09:16 -!- ssue has quit (Ping timeout: 246 seconds).
22:09:16 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds).
22:11:23 -!- mtve has quit (Ping timeout: 244 seconds).
22:12:18 -!- augur_ has changed nick to augur.
22:13:30 -!- ssue has joined.
22:16:17 -!- TodPunk has quit (Read error: Connection reset by peer).
22:16:47 -!- TodPunk has joined.
22:17:50 <Phantom__Hoover> Oh, also, further calculations suggest that this mission will not be able to return home.
22:18:47 -!- fizzie has quit (Ping timeout: 245 seconds).
22:19:16 <Phantom__Hoover> It and its crew will remain tragically stranded on the beach moon of Laythe, condemned to an eternity of sunning themselves without a care in the world.
22:20:08 -!- fizzie has joined.
22:20:52 <olsner> they've reached gerbil heaven?
22:21:06 -!- zzo38 has quit (Read error: Connection reset by peer).
22:21:18 <olsner> or still on their way to
22:21:29 -!- copumpkin has joined.
22:21:50 <Phantom__Hoover> olsner, i guess
22:22:12 <Phantom__Hoover> They deserve it by now, they've been at this for 332 days.
22:23:57 -!- rodgort has quit (Ping timeout: 268 seconds).
22:24:45 <Phantom__Hoover> Or perhaps not; they're currently roaring in towards Jool, and they're angled wrong to use the moons' gravity to slow down.
22:25:02 -!- rodgort has joined.
22:25:07 <olsner> I've failed to figure out what the normal gerbil life span is, but 332 days might be appropriate
22:26:04 <Phantom__Hoover> They seem pretty sprightly.
22:27:12 <Phantom__Hoover> I just took one out on an EVA to check if anything had fallen off the rocket and he seemed pretty sprightly.
22:30:33 <Phantom__Hoover> Wait, I totally can use the moons for gravity assists.
22:35:16 <olsner> cool
22:35:42 <olsner> or, as the gerbil crew would say: squeak
22:37:02 <Phantom__Hoover> Unfortunately I was only able to accomplish these assists by flying headlong into Jool, because the trajectory plotter isn't quiiiite working properly.
22:37:33 <Phantom__Hoover> *sigh*, I guess I can just aerobrake and then waste all my fuel.
22:39:18 <kmc> does this game run on linux
22:39:38 <Phantom__Hoover> No.
22:39:45 <olsner> no, it's actual news from the gerbil space program
22:39:49 <Phantom__Hoover> I've heard talk of a port, but nothing more than rumours.
22:43:47 <kmc> any port in a storm
22:44:08 <Phantom__Hoover> http://imgur.com/r6FIP
22:44:12 <Phantom__Hoover> Aerobraking in progress.
22:44:28 <kmc> godspeed
22:44:47 <Phantom__Hoover> (I'll probably have to savescum like hell for this, because there's no way to actually calculate aerobrake results.
22:48:57 <kmc> that's great
22:49:04 <kmc> "why don't you go outside and see if anything fell off the rocket"
22:49:51 -!- rodgort` has joined.
22:50:01 <Phantom__Hoover> fortunately, nothing had
22:50:10 -!- kallisti has joined.
22:50:10 -!- kallisti has quit (Changing host).
22:50:10 -!- kallisti has joined.
22:50:16 <kmc> is there any point checking?
22:50:25 <kmc> if something had fallen off, could you do anything about it?
22:50:25 -!- clog has joined.
22:50:38 <Phantom__Hoover> Not much as yet.
22:50:56 -!- rodgort has quit (Ping timeout: 399 seconds).
22:50:57 -!- kallisti_ has quit (Read error: Connection reset by peer).
22:50:59 <Phantom__Hoover> You can disable individual fuel tanks and maybe try and rebalance it a bit, but that's all.
22:51:54 <Phantom__Hoover> Also you can jettison stages if they take minor damage and try and get by on what's left; that's what I had to do after the ascent stage broke.
22:52:06 <kmc> cool
22:52:34 <Phantom__Hoover> EVA's not very developed yet though, it's mostly just there to look cool.
22:52:58 <Phantom__Hoover> It does allow crew transfers and walking around on moons though.
22:53:04 <kmc> can you rig together an adapter between systems manufactured by different contractors out of duct tape?
22:53:36 <Phantom__Hoover> Not yet.
22:54:28 <Phantom__Hoover> And now comes the harrowing process of trying to actually rendezvous with anything from the ridiculous orbit I've put myself in.
22:54:48 <kmc> http://0.tqn.com/d/space/1/0/K/8/1/GPN-2002-000055.jpg actually looks pretty legit
22:54:52 <kmc> that is some expert duct tape tearing
22:55:10 <kmc> i assume this is an essential part of astronaut training
22:56:13 <Phantom__Hoover> I am praying so hard right now that the autopilot can transfer me to the moons rather than me having to do it myself.
23:06:31 <Phantom__Hoover> It cannot!
23:13:35 -!- hagb4rd has joined.
23:19:16 -!- sirdancealot7 has quit (Read error: Connection reset by peer).
23:19:22 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.89 [Firefox 15.0.1/20120905151427]).
23:20:51 -!- sirdancealot has joined.
23:30:39 -!- glogbackup has quit (Ping timeout: 272 seconds).
23:30:40 -!- olsner has quit (Ping timeout: 272 seconds).
23:30:51 -!- olsner has joined.
23:36:56 -!- lifthrasiir has quit (Remote host closed the connection).
23:37:09 -!- lifthrasiir has joined.
23:43:08 <Phantom__Hoover> Stupid, stupid, stupid.
23:43:16 <Phantom__Hoover> I completely cocked up that aerobrake.
23:43:39 <Phantom__Hoover> I dumped most of my velocity, which just means it's harder to shed.
23:43:41 <Phantom__Hoover> Savescum time!
23:47:15 -!- tertu has joined.
23:49:35 -!- oklopol has joined.
23:51:32 <kmc> space travel is hard
23:52:10 <Phantom__Hoover> still, it's not exactly brain surgery
23:52:59 -!- oklofok has quit (Ping timeout: 260 seconds).
23:52:59 -!- TeruFSX2 has quit (Ping timeout: 260 seconds).
←2012-09-23 2012-09-24 2012-09-25→ ↑2012 ↑all