←2014-12-19 2014-12-20 2014-12-21→ ↑2014 ↑all
00:00:13 -!- GeekDude has quit (Changing host).
00:00:14 -!- GeekDude has joined.
00:00:46 <fizzie> Oh, and the student MATLAB license is only 35/69 eur, so maybe the calculator isn't unequivocally cheaper.
00:00:50 <oren> llvm[4] what does the 4 mean?
00:04:17 <fizzie> Make recursion depth, maybe.
00:04:30 <elliott> it's the third element of llvm
00:04:34 <elliott> er
00:04:34 <elliott> fuck
00:04:35 <elliott> wow
00:04:37 <elliott> owned myself
00:05:03 <oerjan> nice off-by-two error
00:05:10 <oren> quick somone make a language where all arrays are two based
00:05:23 <elliott> oerjan: ...is that a double joke
00:05:45 -!- spiette has quit (Ping timeout: 258 seconds).
00:05:58 <oerjan> elliott: if llvm[0] is the first element, then llvm[4] is the fifth, surely
00:06:31 <elliott> ...
00:06:32 <elliott> right.
00:06:33 <oren> no llvm[0] and llvm[1] are undefined behaviour. the array begins with llvm[2].
00:06:34 <elliott> wow.
00:06:36 <elliott> I'm useless.
00:06:43 <elliott> oren: actually 4 isn't an integer in C
00:06:51 <elliott> only 0..3 and 5..72 are defined in the standard
00:06:55 <elliott> anything else is a gcc extension
00:07:10 <fizzie> oren: Perl $[ = 2; hth
00:07:41 <oerjan> i think this is time to relink http://www.strangehorizons.com/2000/20001120/secret_number.shtml
00:07:52 <oren> OH YEAH! Perl is incredibly configurable.
00:08:31 <fizzie> It's not the only language where you can customize the array indexing base.
00:08:48 <fizzie> Sometimes you can do it per-array.
00:09:36 -!- shikhout has joined.
00:10:16 -!- shikhout has changed nick to Guest51583.
00:10:41 <oren> if it's the make recursion depth then i'm back at 3 levels deep. the inception has been planted
00:10:58 <oerjan> pascal had array int[3..5] or thereabouts
00:11:00 <ais523> oren: have you read "recursive make considered harmful"?
00:11:23 <oerjan> iirc the 3..5 was a range type, you could give them names
00:11:24 <oren> no, but then i didn't write this code
00:11:39 <oren> i would never use recursive make anyway
00:12:10 <oerjan> oh and you could use character ranges
00:12:13 <oren> i would instead write a convoluted python perl shell abomination
00:12:44 <oerjan> haskell has arbitrary bounds too, except that's not actually statically typed
00:13:04 -!- shikhin has quit (Ping timeout: 264 seconds).
00:13:30 <oerjan> > Data.Array.fromList (3,5) [1,2,3]
00:13:31 <lambdabot> Not in scope: ‘Data.Array.fromList’
00:14:20 <oerjan> > Data.Array.listArray (3,5) [1,2,3]
00:14:21 <lambdabot> array (3,5) [(3,1),(4,2),(5,3)]
00:14:37 <oren> cool
00:14:47 <oerjan> > Data.Array.listArray ((1,1),(2,2)) [1,2,3,4]
00:14:48 <lambdabot> array ((1,1),(2,2)) [((1,1),1),((1,2),2),((2,1),3),((2,2),4)]
00:14:57 <oren> ummm...
00:15:05 * oerjan whistles innocently
00:15:29 <oren> how does it determine the ordering of the twodimensional points?
00:15:37 <oerjan> Ix type class
00:15:45 <oerjan> @src Ix
00:15:45 <lambdabot> class (Ord a) => Ix a where
00:15:45 <lambdabot> range :: (a,a) -> [a]
00:15:45 <lambdabot> index :: (a,a) -> a -> Int
00:15:45 <lambdabot> inRange :: (a,a) -> a -> Bool
00:15:45 <lambdabot> rangeSize :: (a,a) -> Int
00:15:47 <fizzie> Some BASICs have 'DIM a(12 TO 34) AS INTEGER' or so.
00:16:16 <oerjan> > index ((1,1),(2,2)) (1,2)
00:16:17 <lambdabot> 1
00:17:15 <oren> also how does it know not to do (1,3) in that range?
00:17:27 <oerjan> > range ((1,1),(2,2))
00:17:28 <lambdabot> [(1,1),(1,2),(2,1),(2,2)]
00:17:48 <oerjan> @src (,) Ix
00:17:48 <lambdabot> Source not found. You untyped fool!
00:17:53 <oerjan> @src Ix (,)
00:17:53 <lambdabot> Source not found. That's something I cannot allow to happen.
00:17:55 <oerjan> bah
00:18:09 <oerjan> @src is so ad-hoc
00:18:30 <oerjan> probably the rangeSize tells it enough
00:18:49 <oren> hmmm i guess the rule is it is a rectangle?
00:20:13 <int-e> funny how TCP/IP doesn't work if the target IP is wrong.
00:20:30 <oren> yeah funny dat.
00:21:09 <oerjan> oren: yeah
00:21:31 <oren> although my ghci doesn't have "range" for some reason
00:22:12 <oerjan> oren: it's in Data.Ix
00:22:46 <oerjan> and also exported from Data.Array
00:23:08 -!- ais523 has quit.
00:23:09 <oren> ah ok got it
00:23:23 -!- ais523 has joined.
00:23:57 <oerjan> sadly people seem to prefer the vector package (only 1d arrays) for efficiency reasons these days
00:24:20 <elliott> there is also repa
00:24:44 <int-e> Even with arrays, I only use 1d arrays if efficiency matters.
00:25:43 <oren> in C all arrays are just syntactic sugar for 1d arrays.
00:25:54 <int-e> Also I shouldn't be allowed to run servers, my Apache configuration had bitrotted horribly.
00:26:14 <oerjan> oren: arrays of pointers to arrays, presumably
00:26:32 <oren> yeah you can do that but it's a separate type
00:27:01 <oren> the regular multidimensional arrays in C have restrictions so they can be reduced to 1D
00:27:03 <oerjan> oren: oh then i don't remember what you mean
00:27:34 <oren> like only the first size of an array can be non-constant
00:27:42 <oerjan> right
00:28:50 <oren> wow i couldn't figure out how to end ghci until I remembered ^D.
00:29:17 <int-e> "GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help"
00:29:51 <int-e> hmm, the help "page" has grown long. :q(uit) quits.
00:30:23 <oerjan> hm what if you have char a[5][3], can you risk each char [3] subarray is aligned to 4 bytes?
00:30:36 <int-e> I don't think so.
00:30:59 <fizzie> No, there are no gaps.
00:31:12 <oerjan> ok
00:31:19 <oren> fizzie: is it allowed for there to be gaps?
00:31:40 <oerjan> i assume fizzie wouldn't have formulated it that way if it were allowed
00:31:43 <fizzie> But a[1][4] is (ssh) undefined.
00:31:54 <int-e> fizzie: do you happen to know where this is specified in the C standard?
00:32:28 <oren> wow rust is *still* compiling
00:32:35 <fizzie> int-e: It's very vague. There's an explicit defect report reply, though.
00:33:19 <fizzie> int-e: http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_017.html Q16.
00:33:28 <elliott> it is undefined??
00:33:38 <oerjan> int-e: i think ghci needs command-specific :help :(
00:33:42 <fizzie> int-e: "For an array of arrays, the permitted pointer arithmetic in subclause 6.3.6, page 47, lines 12-40 is to be understood by interpreting the use of the word ``object'' as denoting the specific object determined directly by the pointer's type and value, not other objects related to that one by contiguity. Therefore, if an expression exceeds these permissions, the behavior is undefined. For example, the following code has undefined behavior: int a[4][5
00:33:49 <elliott> oh, I guess because a[m][n] is not (a[m])[n]
00:34:02 <fizzie> -- int a[4][5]; a[1][7] = 0; /* undefined */ Some conforming implementations may choose to diagnose an ``array bounds violation,'' while others may choose to interpret such attempted accesses successfully with the ``obvious'' extended semantics."
00:34:03 -!- Patashu has quit (Disconnected by services).
00:34:03 -!- Patashu_ has joined.
00:34:04 <elliott> I was thinking it would have an obvious compositional equivalence to * and +
00:34:09 <elliott> in which case it would be very surprising
00:34:20 <elliott> bad syntax imo
00:34:45 <elliott> fizzie: very weird to specify UB and then list possible implementation choices, as if it's implementation-defined behaviour
00:34:46 -!- madbr has joined.
00:34:55 <oren> all C syntax is bad
00:35:11 <elliott> yes
00:35:35 <fizzie> elliott: Well, they're only human.
00:36:02 <fizzie> (Or at least likely so.)
00:36:10 <elliott> fizzie: it would be funny if the C standard had examples in it that were UB, or something
00:36:13 <elliott> (without intending to be)
00:36:33 <fizzie> I guess that's arguably one of the reasons the examples are non-normative.
00:36:44 <elliott> oerjan: what's that language based on the reals
00:36:52 <madbr> oren : how would you fix C syntax?
00:36:53 <elliott> (arguably esoteric, but invented by mathematicians or computer scientists, not internet nerds)
00:37:21 <elliott> http://www.wikihow.com/Make-a-Real-Language google is not helping
00:37:34 <elliott> Make up the dictionary. It is best to type on Microsoft Word, that way more can be added.
00:37:37 <oren> madbr: by doing a[n,m] instead, and defning the semantics thereofmore sanely
00:38:04 <oerjan> elliott: i cannot remember
00:38:04 <elliott> the semantics of 2D arrays are ok but the syntax is bad
00:38:10 <elliott> C's array handling is sort of a mess
00:38:26 <elliott> Tips: [...] Don't speak it around strangers, this is rude.
00:38:49 <elliott> blum-shub-smale, that was it
00:39:07 <madbr> oren : true... though I feel that's still a comparatively small mistake
00:39:11 <int-e> fizzie: found it, 6.2.5.20 "An array type describes a contiguously allocated nonempty set of objects [...]"
00:39:28 <elliott> it is annoying how it uses the vague "real function"
00:39:29 <oerjan> iä, blum-shub-smale
00:39:29 <oren> madbr: the more major mistake was the bitwise logics
00:39:41 <fizzie> int-e: Oh, you meant that part, not the "don't access beyond bounds of a subarray" part.
00:39:43 <int-e> oh I'm looking at C99...
00:39:44 <elliott> I guess you're meant to define the language by pasting the axioms of ZFC and the reals to show how functions can precisely be specified?
00:39:45 <fizzie> int-e: Sorry, misinterpreted.
00:40:07 <int-e> err. no, it's the C11 draft all right.
00:40:08 <madbr> ores: yes
00:40:40 <int-e> fizzie: The out of bounds thing is interesting, too...
00:41:02 <oren> also i guess it would be better to have pascal-style strings
00:41:14 <oren> the C strings are inefficient
00:41:20 <elliott> (I may or may not be asking about this because of my desire to produce [0,1]-indexed brainfuck.)
00:41:31 <fizzie> There are people (I'm looking askew at ##c) who insist that it's a mortal sin to use the word "multidimensional" in the context of C's arrays, even though the standard freely does that. (C11 6.5.2.1p3: "Successive subscript operators designate an element of a multidimensional array object." Footnote 142: "When several ``array of'' specifications are adjacent, a multidimensional array is ...
00:41:37 <fizzie> ... declared.")
00:42:11 <madbr> fizzie : yeah that's... pedantic
00:42:31 <coppro> < elliott> C's array handling is sort of a mess <-- I disagree strongly with "sort of"
00:42:44 <oerjan> elliott: surely you mean [0,2pi) with 2pi wrapping back to 0
00:42:59 <int-e> coppro: that's sort of opinionated
00:43:13 <coppro> int-e: I see what you did there
00:43:21 <elliott> oerjan: you some kind of tauist?
00:43:22 <elliott> :p
00:43:28 <elliott> (okay, maybe. that's kind of cute.)
00:43:33 <madbr> to be fair I'm not sure it's even possible to have much better array handling than C... all the tradeoffs are bad
00:43:44 <elliott> coppro: "sort of" is kind of an intensifier for me...
00:44:22 <coppro> elliott: oh. sarcasm?
00:44:27 <oerjan> elliott: hm? 2pi is where exp(ti) is periodic. you could also use {z\in C | abs(z)==1}
00:44:38 <elliott> coppro: I mean C's array handling is just plain a mess
00:44:47 <elliott> oerjan: it was a bad joke.
00:45:03 <oerjan> (i think i chose the worst possible notation for that last one)
00:45:35 <coppro> elliott: yeah, ok, I can figure out the intended intonation now
00:45:38 <elliott> it is just hard to see how to make a cute BF derivative out of it because specifying the function on the index you want to run as a ZFC term is kind of ridiculous
00:46:42 -!- ais523 has quit.
00:46:53 -!- ais523 has joined.
00:52:11 -!- Patashu has joined.
00:52:55 -!- Patashu_ has quit (Ping timeout: 250 seconds).
00:54:36 <zzo38> I have written how I would fix C without causing incompatibilities; if incompatibilities are allowed then more things can be fixed, such as less confusing syntax of types, and I would also include a few features of BLISS which I don't see anywhere else.
00:54:58 <zzo38> In BLISS a variable name is just treated as a constant which is the address of that variable.
00:56:26 <oren> zzo38 that is the sanest way.
00:56:36 <oren> in a low level language anyway
00:59:47 -!- AndoDaan has joined.
01:00:08 -!- Solace has quit (Quit: Connection closed for inactivity).
01:00:46 <AndoDaan> myndz got lucky, considering.
01:03:03 * oerjan swats AndoDaan for dismembering myndzi's nick too -----###
01:03:32 <boily> hellørjan. I see you're keeping in shape with the Swatter.
01:03:36 <ais523> <zzo38> In BLISS a variable name is just treated as a constant which is the address of that variable. ← ALGOL works like that
01:03:37 <boily> @massages-loud
01:03:37 <lambdabot> mroman said 9h 38m 18s ago: You might want to have a look at GADTs
01:03:37 <lambdabot> mroman said 9h 37m 51s ago: https://downloads.haskell.org/~ghc/6.6/docs/html/users_guide/gadt.html
01:03:42 <ais523> and possibly invented the practice?
01:03:43 <AndoDaan> See, and that's me not even trying not paying attention.
01:03:59 <boily> mroman: mrhelloman. indeed.
01:04:45 <oren> massages? MASSAGES? dammit!
01:04:52 <oerjan> hoilly
01:05:09 <oerjan> oren: you seem confused
01:05:13 <elliott> mroman: ghc 6.6 docs...
01:05:27 <elliott> boily: I suggest looking at GADT docs for a newer version than that if you do
01:05:37 <AndoDaan> Hey, are we sure that oren != oerjan?
01:05:43 <oerjan> @pun 2+2
01:05:44 <lambdabot> 4
01:05:49 <oerjan> AndoDaan: i'm pretty sure
01:05:52 <boily> AndoDaan: most definitely sure.
01:06:26 <AndoDaan> If you guys were me, that'd hardly be conclusive evidence.
01:06:26 <boily> elliott: I remember having watched a great GADT tutorial some time ago. it also discussed phantom types.
01:06:55 <boily> AndoDaan: I'm not you. you're not enough sane.
01:06:59 <elliott> boily: mroman probably @told you that in response to you asking about where clauses in data declarations
01:07:02 <elliott> since that's the GADT syntax
01:07:11 -!- Patashu_ has joined.
01:07:11 -!- Patashu has quit (Disconnected by services).
01:07:26 <boily> elliott: I had forgot a lot about gadts and suchlike. they subtly confuse me.
01:07:52 <AndoDaan> @messages-forte
01:07:52 <lambdabot> Unknown command, try @list
01:07:57 <boily> (but then, with parallels to make with lenses and Scott encodings, it makes more sense.)
01:08:16 <AndoDaan> @massages-load
01:08:16 <lambdabot> You don't have any messages
01:08:24 <AndoDaan> cool.
01:08:38 <AndoDaan> 4veralone.
01:09:23 <oren> @tell oren hello me
01:09:23 <lambdabot> You can tell yourself!
01:09:28 <oren> epic
01:09:32 <zzo38> I happen to like GADT it can help many purposes
01:09:46 <oerjan> @tell AndoDaan for a good time call 555-666-31415
01:09:46 <lambdabot> Consider it noted.
01:09:50 <elliott> do you want me to friendzone you. we can be in the friend zone together and send each other lots and lots of lambadbot massages
01:10:10 <AndoDaan> Is that's jenny's number?
01:10:24 <oerjan> nope
01:10:29 <oren> that's lucifer's number
01:11:03 <AndoDaan> got excited that i got a msg for a second.
01:11:13 <AndoDaan> 4everAlone-1second
01:11:39 <AndoDaan> fake-devil-pi
01:12:16 <AndoDaan> fake-devil-piTimesTenThousand
01:12:23 <AndoDaan> For accuracy.
01:14:10 <AndoDaan> Any chess players/enthusiastic amongst you?
01:14:21 <ais523> AndoDaan: zzo38's generated a ton of chess variants
01:15:11 <AndoDaan> Generated?
01:15:17 <oren> my favorite chess variant is checkers played with chess pieces. confuses everyone around you
01:15:34 <AndoDaan> Ha
01:16:05 <AndoDaan> I think that's the variant movie characters are always playing.
01:16:09 -!- ais523 has quit (Read error: Connection reset by peer).
01:16:32 -!- ais523 has joined.
01:16:42 <boily> AndoDaan: do you like xiangqi or shōgi?
01:17:03 <madbr> trying to come up with a turing complete chess variants
01:17:15 <madbr> it looks feasible but it might require multiple kings
01:17:28 <boily> madbr: hi! long time no see!
01:17:38 <madbr> sup
01:17:40 <AndoDaan> I've learned them. Thought the idea of Shogi was really cool, but couldn't find opponents back in the day.
01:18:04 <elliott> madbr: on an infinite board, I guess?
01:18:24 <AndoDaan> Well, each game starts with TWO kings, so... hth
01:18:34 <oren> chess with real number positions
01:18:44 <zzo38> I know how to play xiangqi and shogi
01:18:45 <boily> chess, on a 2D brainfuck tape that grows as needed...
01:18:51 <zzo38> But there are a lot of other chess variant game too
01:18:52 <elliott> chess on ice
01:19:42 <boily> madbr: nearly holidays!
01:19:47 <boily> how's life on your end?
01:19:52 <oren> elliott: that would be cool. A piece must move the maximum distance it can move, in the direction chosen
01:20:25 <coppro> oren: how does that work for pawns and captures?
01:20:59 <oren> hmm, you choose whther to move one extra space and capture, and pawns are assumed to have spiked boots.
01:21:34 <oren> similar knights jump so they don't slide
01:22:13 <int-e> what about castling? if a king can castle to the king side, moving two spaces, can it also move only one space instead?
01:22:40 <oren> when you castle, the rook moves as far to the other side as it can.
01:22:57 <int-e> uh... ok, but that wasn't the question.
01:23:02 <madbr> boily : decided to take monday + tuesday off so already in xmas mode :3
01:23:20 <oren> hmm the king has spiked boots too.
01:24:07 <boily> madbr: nice ^^
01:24:28 <boily> oren: should equipment be restricted to spiked boots only, or be more creative?
01:24:38 <oren> so he can choose how far to move. on the other hand maybe if you stop in front of a piece you can push them
01:24:44 <int-e> oren: final question, about pawns; on their first move, assuming it's not a capture, do they get a choice whether they advance two spaces or one?
01:26:19 <int-e> (actually I was assuming that "as far as possible" was with respect to the usual rules of chess, i.e. the slow pieces (pawn, king, knight) would still be slow, and now be allowed to move further than before.)
01:26:43 <oren> hmmm... maybe they should.
01:27:07 <int-e> iow, only bishop, rook and queen would be affected.
01:27:20 <oren> yeah that's it.
01:27:55 <oren> i think knights are like dragoons from final fantasy: they move and attack my jumping
01:28:19 <int-e> which leaves open the question for the few cases where a slow piece can move one or two steps in a particular direction.
01:28:41 <int-e> that's why I asked about castling and the first forward move of pawns.
01:28:53 <oren> the slow pieces would probably still decide.
01:29:16 -!- S1 has quit (Quit: S1).
01:29:50 -!- callforjudgement has joined.
01:30:12 -!- AndoDaan has quit (Read error: Connection reset by peer).
01:30:15 <elliott> ssehc, where you have to make valid moves in reverse to turn a checkmate position back into the initial one
01:30:19 <elliott> that probably exists
01:31:09 <oren> who decides what piece was in a position when a piece is untaken?
01:31:49 -!- AndoDaan has joined.
01:33:42 -!- ais523 has quit (Ping timeout: 265 seconds).
01:33:54 -!- callforjudgement has changed nick to ais523.
01:34:27 <oren> actually, chessehc! you can freely take or antitake pieces. every valid game begins at a checkmate and ends at one.
01:35:04 <oren> wiat that would be ssechcess
01:35:30 <oren> chessech would end at the initial state
01:35:58 <oren> the winner is whoever's pieces spent the least time dead.
01:36:40 <oren> hmm no wait then the game might never end
01:38:32 <int-e> I don't see how ssehc will end. A player can just leave one of her pieces in the home ranks of the opponent and refuse to ever un-move it.
01:38:49 <oren> maybe a cooperative game towards a nontrivial goal?
01:40:42 <oren> e.g. begin at a checkmate for white, end at a checkmate for black, but pass through a given state.
01:41:05 <tromp_> computation is a 0 player game
01:41:22 <tromp_> nondeterministic computation is a 1 player game
01:41:36 <tromp_> alternating computation is a 2 player game
01:42:04 <AndoDaan> Realtime
01:42:17 <AndoDaan> multiplayer computatin is physics.
01:45:17 -!- dianne_ has quit (Ping timeout: 245 seconds).
01:47:16 -!- dianne has joined.
01:54:35 -!- GeekDude has quit (Remote host closed the connection).
01:54:41 -!- tswett has joined.
02:06:18 -!- AndoDaan has quit (Quit: bbl).
02:09:46 -!- kcm1700_ has joined.
02:11:52 -!- kcm1700 has quit (Ping timeout: 250 seconds).
02:12:37 -!- tswett has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
02:14:02 -!- kcm1700_ has quit (Ping timeout: 250 seconds).
02:14:51 -!- kcm1700 has joined.
02:26:50 -!- boily has quit (Quit: P-ADIC CHICKEN).
02:36:05 -!- glguy_ has joined.
02:36:11 -!- glguy_ has quit (Client Quit).
02:47:42 -!- bb010g has joined.
02:56:49 <Jafet> itt https://en.wikipedia.org/wiki/Proof_game
03:21:38 -!- Guest51583 has quit (Ping timeout: 250 seconds).
03:23:46 -!- PinealGlandOptic has joined.
03:43:25 -!- GeekDude has joined.
03:45:09 -!- GeekDude has quit (Client Quit).
03:48:16 -!- GeekDude has joined.
03:57:31 <oerjan> @tell int-e i remembered where i'd seen such a monster before http://www.girlgeniusonline.com/comic.php?date=20121029
03:57:31 <lambdabot> Consider it noted.
04:01:57 -!- AndoDaan has joined.
04:12:57 <oerjan> @tell int-e apparently they're called dreens
04:12:57 <lambdabot> Consider it noted.
04:13:48 <oerjan> @tell int-e *-s
04:13:48 <lambdabot> Consider it noted.
04:14:00 -!- copumpkin has joined.
04:19:55 -!- Solace has joined.
04:20:57 -!- Solace has changed nick to Spiffy.
04:21:17 <Spiffy> Ugh i need to find a name to register
04:22:38 -!- contrapumpkin has joined.
04:25:40 -!- copumpkin has quit (Ping timeout: 264 seconds).
04:25:45 -!- contrapumpkin has changed nick to copumpkun.
04:25:50 -!- copumpkun has changed nick to copumpkin.
04:31:12 -!- nys has quit (Quit: quit).
04:32:29 -!- contrapumpkin has joined.
04:36:28 -!- copumpkin has quit (Ping timeout: 264 seconds).
04:39:24 -!- mitchs_ has quit (Ping timeout: 245 seconds).
04:42:02 -!- contrapumpkin has quit (Read error: Connection reset by peer).
04:51:38 -!- mitchs has joined.
05:03:42 -!- AndoDaan has quit (Ping timeout: 256 seconds).
05:03:50 -!- AndoDaan_ has joined.
05:09:35 -!- callforjudgement has joined.
05:10:05 -!- ais523 has quit.
05:14:13 -!- AndoDaan_ has quit (Ping timeout: 250 seconds).
05:14:41 -!- AndoDaan_ has joined.
05:15:39 -!- callforjudgement has quit (Read error: Connection reset by peer).
05:15:42 -!- scarf has joined.
05:15:57 -!- scarf has changed nick to ais523.
05:16:32 -!- AndoDaan_ has quit (Read error: Connection reset by peer).
05:23:18 <MDude> http://esolangs.org/wiki/Cvlemar I'm guessing this isn't implemented.
05:26:00 <zzo38> There isn't any implmentation that I know of, anyways.
05:26:17 <zzo38> Although, there is supposed to be category to indicate if it is implemented or it isn't implemented.
05:26:32 -!- shikhin has joined.
05:26:55 -!- shikhin has changed nick to Guest9481.
05:28:29 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
05:37:44 -!- MDude has changed nick to MDream.
05:44:00 -!- copumpkin has joined.
06:07:19 -!- callforjudgement has joined.
06:07:22 -!- ais523 has quit.
06:12:09 -!- shikhout has joined.
06:12:31 -!- shikhout has changed nick to Guest26264.
06:14:57 -!- Guest9481 has quit (Ping timeout: 240 seconds).
06:36:22 -!- CrazyM4n has joined.
06:37:06 <CrazyM4n> So I got windows installed
06:43:34 -!- callforjudgement has changed nick to ais523.
06:47:08 -!- ais523 has quit (Read error: Connection reset by peer).
06:47:14 -!- callforjudgement has joined.
06:57:36 -!- kcm1700 has quit (Read error: Connection reset by peer).
06:57:39 -!- kcm1700_ has joined.
07:00:59 -!- CrazyM4n has quit (Quit: Page closed).
07:03:58 -!- newsham has quit (Ping timeout: 258 seconds).
07:10:29 -!- supay has quit (Ping timeout: 258 seconds).
07:10:52 -!- skarn has quit (Ping timeout: 258 seconds).
07:12:01 -!- incomprehensibly has quit (Ping timeout: 258 seconds).
07:12:47 -!- Spiffy has quit (Ping timeout: 258 seconds).
07:12:52 -!- supay has joined.
07:13:03 -!- incomprehensibly has joined.
07:13:33 -!- drdanmaku has quit (Ping timeout: 258 seconds).
07:14:39 -!- Solace has joined.
07:15:39 -!- drdanmaku has joined.
07:16:14 -!- trn has quit (Ping timeout: 258 seconds).
07:29:49 -!- trn has joined.
07:33:31 -!- skarn has joined.
07:37:07 -!- newsham has joined.
07:49:16 -!- oerjan has quit (Quit: Nite).
08:11:52 -!- dts|pokeball has quit (Ping timeout: 264 seconds).
08:11:55 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
08:40:29 -!- mitchs has quit (Ping timeout: 265 seconds).
08:52:19 -!- mitchs has joined.
09:10:08 -!- Solace has quit (Quit: Connection closed for inactivity).
09:25:13 -!- AndoDaan has joined.
09:29:47 -!- AndoDaan has quit (Ping timeout: 265 seconds).
09:36:49 -!- mitchs has quit (Ping timeout: 250 seconds).
09:48:52 -!- mitchs has joined.
09:54:08 -!- scarf has joined.
09:56:22 -!- callforjudgement has quit (Ping timeout: 255 seconds).
10:04:02 -!- mitchs has quit (Ping timeout: 245 seconds).
10:15:57 -!- mitchs has joined.
10:44:37 -!- J_Arcane has quit (Ping timeout: 240 seconds).
11:18:43 -!- SopaXorzTaker has quit (Changing host).
11:18:43 -!- SopaXorzTaker has joined.
11:20:52 -!- mitchs has quit (Ping timeout: 264 seconds).
11:29:43 -!- J_Arcane has joined.
11:32:28 -!- mitchs has joined.
11:35:18 -!- madbr has quit (Quit: Pics or it didn't happen).
11:39:23 -!- scarf has changed nick to ais523.
11:46:41 -!- S1 has joined.
11:50:08 -!- ais523 has quit (Read error: Connection reset by peer).
11:50:17 -!- ais523 has joined.
12:06:52 -!- Patashu_ has quit (Ping timeout: 255 seconds).
12:11:57 -!- shikhin has joined.
12:12:21 -!- shikhin has changed nick to Guest11984.
12:14:56 -!- Guest26264 has quit (Ping timeout: 256 seconds).
12:28:05 -!- mitchs has quit (Ping timeout: 264 seconds).
12:32:33 -!- ais523 has quit.
12:39:29 -!- mitchs has joined.
12:53:34 -!- ocharles_ has quit (Excess Flood).
12:53:53 -!- ocharles_ has joined.
13:13:59 -!- mitchs has quit (Ping timeout: 245 seconds).
13:20:20 -!- boily has joined.
13:25:53 -!- mitchs has joined.
13:28:04 -!- mitchs_ has joined.
13:30:50 -!- mitchs has quit (Ping timeout: 244 seconds).
13:37:41 -!- mitchs_ has quit (Ping timeout: 264 seconds).
13:40:29 <int-e> @metar LOWI
13:40:30 <lambdabot> LOWI 201320Z 16005KT 100V180 9999 FEW020 08/05 Q1021 NOSIG
13:41:10 -!- Guest11984 has changed nick to shikhin.
13:41:17 -!- shikhin has quit (Changing host).
13:41:18 -!- shikhin has joined.
13:49:36 -!- mitchs has joined.
14:18:16 -!- mitchs has quit (Ping timeout: 255 seconds).
14:29:54 -!- mitchs has joined.
14:34:22 -!- mitchs has quit (Ping timeout: 240 seconds).
14:47:51 -!- GeekDude has joined.
15:25:13 * Sgeo only now learns of a Star Wars villain named Tarkin
15:25:26 <Sgeo> Suddenly the name Tarquin makes much more sense
15:27:18 -!- S1 has quit (Quit: S1).
15:57:05 -!- drdanmaku has joined.
15:59:27 -!- hjulle has quit (Ping timeout: 245 seconds).
16:00:30 -!- hjulle has joined.
16:19:38 -!- jix_ has joined.
16:20:09 -!- perrier__ has joined.
16:22:31 -!- int-e_ has joined.
16:26:26 -!- quintopia has joined.
16:35:04 -!- variable has quit (Ping timeout: 255 seconds).
16:38:29 -!- GeekDude has quit (Ping timeout: 255 seconds).
16:41:49 -!- diginet has quit (Ping timeout: 255 seconds).
16:42:16 -!- b_jonas has quit (Ping timeout: 255 seconds).
16:43:10 -!- qlkzy has quit (Ping timeout: 255 seconds).
16:43:30 -!- quintopi1 has quit (*.net *.split).
16:43:30 -!- sebbu2 has quit (*.net *.split).
16:43:30 -!- jix has quit (*.net *.split).
16:43:30 -!- weissschloss has quit (*.net *.split).
16:43:31 -!- perrier_ has quit (*.net *.split).
16:43:31 -!- int-e has quit (*.net *.split).
16:43:32 -!- ocharles__ has joined.
16:43:32 -!- mitchs has joined.
16:43:32 -!- supay_ has joined.
16:43:32 -!- kcm1700_ has quit (Ping timeout: 245 seconds).
16:43:33 -!- InvalidC1 has joined.
16:43:34 -!- scounder has quit (Ping timeout: 265 seconds).
16:43:34 -!- ocharles_ has quit (Ping timeout: 265 seconds).
16:43:34 -!- KingOfKarlsruhe has quit (Ping timeout: 265 seconds).
16:43:34 -!- shachaf has quit (Ping timeout: 265 seconds).
16:43:34 -!- supay has quit (Ping timeout: 265 seconds).
16:43:34 -!- SopaXorzTaker has quit (Ping timeout: 265 seconds).
16:43:35 -!- Lymia has quit (Ping timeout: 265 seconds).
16:43:35 -!- coppro has quit (Ping timeout: 265 seconds).
16:43:35 -!- mroman has quit (Ping timeout: 265 seconds).
16:43:35 -!- boily has quit (Ping timeout: 265 seconds).
16:43:35 -!- nisstyre has quit (Ping timeout: 265 seconds).
16:43:36 -!- incomprehensibly has quit (Ping timeout: 265 seconds).
16:43:36 -!- InvalidCo has quit (Ping timeout: 265 seconds).
16:43:36 -!- supay_ has changed nick to supay.
16:43:36 -!- nyuszika7h_ has joined.
16:43:37 -!- ocharles__ has changed nick to ocharles_.
16:43:37 -!- incomprehensibly has joined.
16:43:37 -!- weissschloss has joined.
16:43:38 -!- supay has quit.
16:43:38 -!- G33kDude has joined.
16:43:41 -!- oren has quit (*.net *.split).
16:43:41 -!- drdanmaku_ has joined.
16:43:41 -!- fungot has quit (Ping timeout: 276 seconds).
16:43:41 -!- zemhill_ has quit (Ping timeout: 276 seconds).
16:43:42 -!- G33kDude has changed nick to GeekDude.
16:43:42 -!- diginet_ has joined.
16:43:50 -!- scounder has joined.
16:44:06 -!- shachaf has joined.
16:44:29 -!- Lymia has joined.
16:44:29 -!- Lymia has quit (Changing host).
16:44:29 -!- Lymia has joined.
16:45:01 -!- fizzie has quit (Ping timeout: 265 seconds).
16:45:02 -!- nyuszika7h has quit (Ping timeout: 265 seconds).
16:45:02 -!- lambdabot has quit (Ping timeout: 265 seconds).
16:45:03 -!- fizzie has joined.
16:45:04 -!- drdanmaku has quit (*.net *.split).
16:45:04 -!- mroman has joined.
16:45:18 -!- fizzie has quit (Changing host).
16:45:18 -!- fizzie has joined.
16:45:19 -!- coppro has joined.
16:45:30 -!- variable has joined.
16:45:42 -!- mitchs has quit (Ping timeout: 245 seconds).
16:45:44 -!- FireFly has quit (Ping timeout: 244 seconds).
16:46:03 -!- nisstyre has joined.
16:46:12 -!- zemhill_ has joined.
16:46:15 -!- FireFly has joined.
16:47:41 -!- oren has joined.
16:48:02 -!- b_jonas has joined.
16:48:09 -!- qlkzy_ has joined.
16:49:49 -!- lambdabot has joined.
16:50:26 -!- ocharles_ has quit (Changing host).
16:50:26 -!- ocharles_ has joined.
16:50:49 -!- incomprehensibly has quit (Changing host).
16:50:49 -!- incomprehensibly has joined.
16:51:10 -!- drdanmaku_ has quit (Changing host).
16:51:11 -!- drdanmaku_ has joined.
16:51:49 -!- variable has quit (Changing host).
16:51:49 -!- variable has joined.
16:51:51 -!- variable has quit (Changing host).
16:51:51 -!- variable has joined.
16:52:42 -!- kcm1700 has joined.
16:52:51 -!- KingOfKarlsruhe has joined.
16:54:50 -!- supay has joined.
16:57:39 -!- mitchs has joined.
16:58:33 -!- nyuszika7h_ has changed nick to nyuszika7h.
17:03:11 -!- sebbu has joined.
17:03:46 -!- sebbu has quit (Changing host).
17:03:46 -!- sebbu has joined.
17:06:42 -!- mitchs has quit (Ping timeout: 250 seconds).
17:14:15 -!- Lorenzo64 has joined.
17:18:40 -!- mitchs has joined.
17:21:38 -!- drdanmaku_ has changed nick to drdanmaku.
17:31:37 -!- MDream has changed nick to MDude.
17:38:09 -!- int-e_ has changed nick to int-e.
18:03:02 -!- oren has quit (Ping timeout: 250 seconds).
18:04:06 -!- oren has joined.
18:12:09 -!- shikhout has joined.
18:12:31 -!- shikhout has changed nick to Guest64038.
18:14:57 -!- shikhin has quit (Ping timeout: 240 seconds).
18:42:47 -!- oren has quit (Ping timeout: 245 seconds).
18:45:08 -!- Lorenzo64 has quit (Quit: Leaving).
19:20:15 -!- CrazyM4n has joined.
19:28:29 -!- Guest64038 has changed nick to shikhin.
19:28:35 -!- shikhin has quit (Changing host).
19:28:35 -!- shikhin has joined.
19:48:23 -!- nisstyre has quit (Changing host).
19:48:23 -!- nisstyre has joined.
20:06:13 -!- oren has joined.
20:17:30 -!- diginet_ has quit (Quit: diginet has quit!).
20:18:06 -!- diginet has joined.
20:24:59 -!- oren has quit (Ping timeout: 244 seconds).
20:26:16 -!- oren has joined.
20:37:36 -!- evalj has joined.
20:56:46 -!- Solace has joined.
20:57:06 <Solace> So heresy is pretty gud
21:04:49 -!- scounder has quit (Changing host).
21:04:49 -!- scounder has joined.
21:22:14 <J_Arcane> Solace: the language?
21:23:04 <Solace> Yes
21:23:32 <J_Arcane> :) Glad you like it.
21:23:37 <Solace> Heresy and blasphemy! shoo's J_Arcane to prison
21:24:04 <Solace> Its very smooth for me and pretty nice
21:24:26 <J_Arcane> (for (x in (range 1 to 100) with 0) (carry (+ x cry)))
21:36:24 -!- CrazyM4n has quit (Quit: Leaving).
21:36:59 -!- zzo38 has quit (Remote host closed the connection).
21:47:45 <Solace> So hows ya'll doin'
21:58:40 <oren> im good
22:01:12 <Solace> Thats good
22:01:24 <Solace> ∞ + (−∞), (−∞) + ∞ 
22:03:29 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
22:05:14 -!- mitchs has quit (Ping timeout: 265 seconds).
22:10:57 <Taneb> > (1/0) + (-1/0)
22:10:58 <lambdabot> NaN
22:12:59 -!- Patashu has joined.
22:17:02 -!- mitchs has joined.
22:18:37 <Solace> How do i uncap max ram
22:23:25 <MDude> Download more of it.
22:23:54 <elliott> @google download more ram
22:23:54 <lambdabot> http://www.downloadmoreram.com/
22:23:54 <lambdabot> Title: Download More RAM!
22:25:14 -!- GeekDude has joined.
22:39:28 -!- roasted42 has joined.
22:50:46 -!- mitchs has quit (Ping timeout: 250 seconds).
23:01:35 <oren> make a swap file?
23:02:06 <oren> (assuming you don't want to use all the ram AT ONCE)
23:02:31 -!- mitchs has joined.
23:14:35 -!- roasted42 has quit (Ping timeout: 272 seconds).
23:15:21 -!- roasted42 has joined.
23:17:19 -!- oerjan has joined.
23:23:13 -!- evalj has quit (Remote host closed the connection).
23:27:47 -!- mitchs has quit (Ping timeout: 245 seconds).
23:27:51 -!- oren has quit (Quit: Lost terminal).
23:30:05 <Sgeo> 'Because WebTV utilized strong encryption, upon launch in 1996, WebTV was classified as munitions (a military weapon) by the United States government and was therefore barred from export under United States security laws at the time.'
23:32:42 <oerjan> <Sgeo> Suddenly the name Tarquin makes much more sense <-- heh i guess you didn't notice the accompanying star wars shoutouts either? :)
23:32:57 <Sgeo> I noticed the obvious ones
23:33:03 <Sgeo> But I don't really know Star Wars that well
23:37:10 -!- roasted42 has quit (Changing host).
23:37:10 -!- roasted42 has joined.
23:37:11 -!- roasted42 has changed nick to TheM4ch1n3.
23:39:23 <oerjan> those were some short logs today.
23:39:34 -!- mitchs has joined.
23:41:39 -!- roasted42 has joined.
23:41:41 -!- roasted42 has quit (Changing host).
23:41:41 -!- roasted42 has joined.
23:41:41 -!- TheM4ch1n3 has changed nick to Guest39057.
23:41:41 -!- Guest39057 has quit (Killed (sendak.freenode.net (Nickname regained by services))).
23:41:41 -!- roasted42 has changed nick to TheM4ch1n3.
23:42:35 <TheM4ch1n3> Breeth in when looking at the green of plants, then out into crowds where people are looking where they are going, after a while you will notice something strange ...
23:43:01 <elliott> go on
23:43:32 <TheM4ch1n3> it is because the spirit of man "son of man", breathed and looked at plants
23:44:30 <elliott> what strange thing will I notice?
23:45:00 <TheM4ch1n3> contiousness gets like +seconds into the future, from boosting other peoples sight
23:45:17 <oerjan> spelling otoh takes a deep dive
23:47:17 * int-e misses fungot's voice of reason.
23:47:25 <oerjan> eek
23:49:46 <int-e> oerjan: All I could remember about that Dreen monster was that it was an impressive fighter. I *thought* I had seen it in GG, but I couldn't pinpoint where. I also looked through Buck Godot (which is a bit shorter than the whole collection of GG strips), but they don't appear there ;)
23:50:12 <oerjan> int-e: there's also a wikia page, which has some more links
23:50:51 <oerjan> from back on the initial wulfenbach castle act
23:51:55 <oerjan> and also some information from the non-free books
23:54:03 -!- zzo38 has joined.
23:55:27 <int-e> nice.
23:55:55 <int-e> the time stop device is called a "take-five bomb", hmm.
23:56:12 <oerjan> i remember reading that too
23:56:31 <oerjan> although wasn't that a fan-invented name
23:58:06 <int-e> I dunno. It's not attributed to the Word of God.
23:58:44 <int-e> "Item has gained a fan name" <-- I guess you're right.
23:58:54 <elliott> TheM4ch1n3: btw, your contributions are good but this channel is about programming so it might not interest you much
23:59:13 <oerjan> hasn't TheM4ch1n3 been here for a while
23:59:25 <oerjan> i think e should know what we're about by now
←2014-12-19 2014-12-20 2014-12-21→ ↑2014 ↑all