00:00:46 * oerjan wasn't aware that existensials were useless in haskell
00:01:47 <elliott> oerjan: well they usually are because you can just pre-apply them.
00:01:58 <elliott> like how (exists a. (Show a) => a) is String (modulo the precedence stuff which you can do too if you want)
00:02:13 <elliott> (exists s. (s, s -> a)) is a because all you can do is apply it, etc.
00:02:51 <elliott> forall s. Foo { initialiseState :: IO s, doSomethingA :: s -> IO (), doSomethingB :: IO () } --> Foo (IO Bar) where Bar { doSomethingA :: IO (), doSomethingB :: IO () }
00:02:56 <lambdabot> <no location info>: parse error on input `='
00:03:05 <elliott> (plus http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/)
00:05:14 <oerjan> Madoka-Kaname: > takes expressions, not declarations
00:09:44 <kmc> i wouldn't say they're "usually useless"
00:10:05 <kmc> but they are overused
00:10:21 <kmc> you could say that "null" is useless because beginners write code like "if null xs then ..." and usually there is a better way
00:10:30 <kmc> but no, "null" is useful in the right context
00:11:58 <elliott> kmc: well, "existentials are useless" may be a bit strong, but i haven't yet seen *any* use of existentials that wouldn't be better without
00:12:31 <elliott> I recently saw a case where they turned out to be the best option, but that's because it had several constraints from various libraries; IMO that points to a design flaw in those libraries (that they can only abstract that functionality through typeclasses, unreasonably)
00:12:42 <kmc> well your third example, with the IO
00:12:51 <kmc> if your objects *don't* have destructive update
00:13:00 <kmc> or if you just sometimes want to return (IO s)
00:13:07 <kmc> 's not uncommon
00:13:13 <elliott> I don't understand what you mean by either of those.
00:15:49 <kmc> anyway I think API design in Haskell is probably hopeless
00:16:05 <kmc> people spend their whole programming lives thinking about OOP design, and they still screw it up regularly
00:16:17 <kmc> very few people do enough Haskell programming to get the knack for good API design
00:16:43 <kmc> i've never seen a list of rules or guidelines and I expect the community would not welcome same
00:17:39 <kmc> a confounding factor is that the most popular OOP languages don't actually support OOP style very well
00:18:18 <kmc> in Java you have some classes which represent the problem domain, and a lot more SingletonVisitorProxyAdaptorFactory classes which represent basic control flow
00:22:02 <hagb4rd> there is no good oop design at all, at least none without a specific context.. in practise the requirements often are extended to a point where the initial design becomes unsatisfying
00:22:50 <elliott> kmc: let's put it this way: good API design in Haskell doesn't require as much care and avoidance of pitfalls as OOP
00:23:01 <elliott> because... it's just better
00:23:13 <elliott> so while there's less of a culture around rules and guidelines for API design, they're less necessary
00:23:41 <kmc> hahahahahahaha
00:23:46 <elliott> and, well, there's also the fact that the kind of person who is dedicated enough with learning haskell to get to actually writing a library with something you could call an API is probably going to be better than $average_programmer at designing APIs in teh first place
00:23:52 <elliott> i'm not saying haskell magically solves all problems
00:24:06 <elliott> but it's a hell of a lot easier to design a nice haskell api than a nice java or C API or whatever
00:24:10 <kmc> it avoids some of the OOP pitfalls but it introduces many pitfalls of its own
00:24:32 <kmc> like having to provide a way for the user to control strictness
00:24:50 <elliott> that's not necessarily a requirement of an API...
00:25:19 <kmc> and dealing with all the incompatible string / vector / iteratee types
00:25:37 <kmc> it's not necessarily a requirement of a library that it be good or useful
00:26:22 <kmc> Haskell API design also has the pitfall that the nicest API you can think of will often involve crazy GHC extensions or insane types
00:26:43 <kmc> so you have to balance API niceness against the level of sophistication required from the user
00:33:08 <kmc> you can call bullshit if you want elliott
00:33:19 <kmc> but i've found all of these to be pain points with Haskell APIs
00:33:26 <kmc> and you haven't provided any argument to the contrary
00:33:34 <kmc> they're not *always* an issue but neither are the standard OOP pitfalls
00:33:52 <elliott> if you end up requiring crazy GHC extensions for an API it's usually because you're trying too hard
00:34:09 <kmc> another pain point is that people write high level looking FFI bindings and don't f*cking make them threadsafe
00:34:12 <kmc> but that's not really Haskell's fault
00:34:28 <pikhq_> That's a failure of pain-over-IP protocol.
00:34:31 <kmc> haskellers have higher standards
00:34:59 <kmc> elliott: I think you're proving my point. you have the wisdom to understand that these GHC extensions are "trying too hard", but most of the people designing APIs don't
00:35:11 <kmc> i am not saying it's impossible to design a good API in Haskell
00:35:25 <elliott> is your point just "people are incompetent"
00:35:42 <hagb4rd> what is a good API after all? it provides functionality of which you don't need to know how they work. just put sth in, and get sth out.. right?
00:37:32 <elliott> kmc: were you this cynical before #haskell started burning you out
00:37:45 <kmc> elliott you're not understanding my point about APIs
00:37:48 <kmc> that's fine ok
00:38:31 <elliott> you seem to be acting as if I'm saying "API design is easy"
00:38:47 <elliott> whereas the actual statement you made that I am disagreeing with is "anyway I think API design in Haskell is probably hopeless"
00:39:15 <kmc> the statement i'm disagreeing with is "good API design in Haskell doesn't require as much care and avoidance of pitfalls as OOP"
00:39:22 <kmc> because, while the OOP pitfalls go away, there are new ones
00:39:33 <kmc> so I think it's hard to argue that Haskell API design is easier or harder on balance
00:39:50 <elliott> fine, but that's hardly "API design in Haskell is probably hopeless"
00:40:47 <kmc> well combine it with the fact that few people learn Haskell well enough to understand the pitfalls
00:40:55 <hagb4rd> what is the difference between a haskell api and one made java (e.g.)
00:43:37 -!- cswords has quit (Ping timeout: 276 seconds).
00:48:24 <kmc> elliott: I would hang around #haskell being cynical about how everyone else is too dumb to understand how great Haskell is
00:50:08 <kmc> and I still kind of feel that way, too
00:50:12 <kmc> so yes, I did get more cynical ;P
00:50:25 <hagb4rd> i don't know much about haskell, but i don't see why there can be such a big difference on how and what an interface is supposed to do
00:50:53 <kmc> you don't see because you don't know much about haskell
00:51:01 -!- Phantom_Hoover has quit (Quit: Leaving).
00:51:08 <kmc> a lot of people only know programming languages which are very similar to each other
00:51:15 <elliott> @tell Phantom_Hoover i remembered
00:51:27 <shachaf> All programming languages are basically the same thing.
00:51:31 <hagb4rd> but if i use an interface, i don't really need to? am i wrong?
00:51:39 <shachaf> You press keys on the keyboard, something happens on the screen.
00:51:46 <kmc> you are wrong hagb4rd
00:51:51 <elliott> anyway the solution is to not care about whether other people are any good at API design or whatever
00:52:05 <kmc> for example in C a critical part of an interface is the contract for who manages memory passed into and returned from the function
00:52:21 <kmc> it's a major part of C API design, and a major thing people get wrong
00:52:25 <kmc> it's not a concern in Java or Python
00:53:22 <oerjan> hagb4rd: idiomatic haskell is distinctly _not_ object oriented, so naively translating an api which _is_ OO can become very awkward with excessive use of even more advanced features to fit OO into it
00:54:30 <oerjan> s/even more advanced/advanced type system/
00:54:59 <kmc> hagb4rd: this shows that API design in C has extra challenges compared to API design in Java
00:55:10 <kmc> there are of course challenges in Java not shared by C
00:55:30 <hagb4rd> okay, translating would be a problem, fair enough. but starting from scratch i could design a procedural api which pretty much works the same as a c api will do, or not?
00:55:32 <kmc> and so maybe you can imagine that there are challenges in Haskell not shared by Java, and vice versa, even if you don't know enough about Haskell to know what they are
00:55:44 <kmc> hagb4rd: yes, but it won't be idiomatic Haskell
00:56:05 <kmc> because in Haskell you only use imperative / procedural programming when it makes sense in the problem domain
00:56:39 * elliott (disagrees minorly, but not in a way that invalidates kmc's point)
00:57:17 <hagb4rd> sure, but it handles parameters (of an expected type) and produces some output (of another type).. correct?
00:57:35 <hagb4rd> without going into more details
00:57:47 <kmc> look you need to learn about haskell before this discussion can continue
00:58:14 <kmc> functions in haskell are functions, they don't have side effects and their output depends only on their input
00:58:26 <kmc> that means they do not map cleanly to the "functions" of C, Java, etc
00:58:51 <hagb4rd> that does not surprise me at all kmc
01:00:38 <hagb4rd> my point is, that the difficulties of designing an api is to declare those parameters (I/O) so they match all the use cases (and the ones which may appear in future architectures too)
01:01:51 -!- zzo38 has joined.
01:02:14 <kmc> hagb4rd: that is a very general statement of what the problem is
01:02:30 <kmc> that problem has all kinds of specific ramifications in different languages
01:02:38 <kmc> like the C memory management thing
01:03:36 <elliott> hmm, plouffe's inverter seems broken
01:04:46 <hagb4rd> afaik the code behind the api cares a lot of for its own memory management.. but there might be some special cases where it can make sense
01:05:13 <elliott> "Over the years since the sinking of the Titanic on 14/15 April 1912, many impractical, expensive and often physically impossible schemes have been put forward to raise the wreck from its resting place. They have included ideas such as filling the wreck with ping-pong balls, injecting it with 180,000 tons of Vaseline, or using half a million tons of liquid nitrogen to turn it into a giant iceberg that would float back to the surface."
01:05:27 -!- Sgeo_ has joined.
01:07:22 <kmc> hagb4rd: have you programmed in C
01:07:50 <kmc> you understand that, sometimes a function returns a pointer and you are responsible for free()ing that pointer
01:08:00 <kmc> other times a function returns a pointer and you need to be very careful *not* to free() it
01:08:09 <kmc> that is part of API design in C
01:08:15 <kmc> deciding who will manage which bits of memory
01:08:33 <kmc> it is user-visible API design, not an implementation detail
01:08:45 <hagb4rd> sure, but everytime the api expects a pointer it will get a pointer
01:08:55 <hagb4rd> and nothing more or less than that
01:09:38 <kmc> do you think that API design is only a matter of writing out type signatures?
01:09:45 <kmc> you have to say what the arguments *mean*
01:10:04 <kmc> i have the feeling i'm being trolled
01:12:12 <hagb4rd> i dunno, i thought we're talking about apidesign but somehow we arrived @ memory management.. nevermind
01:12:32 <elliott> turns out memory management is part of api design
01:12:57 <elliott> "Robert Ballard of the Woods Hole Oceanographic Institution had long been interested in finding Titanic. Although early negotiations with possible backers were abandoned when it emerged that they wanted to turn the ship into paperweights" this article is fucking hilarious
01:13:14 <hagb4rd> so you're managing memory on business layer for example?
01:13:27 <kmc> in C you have to
01:13:36 <kmc> in Java that would be crazy
01:13:38 <kmc> that was my point
01:13:48 <kmc> the specific concerns of API design depend on the language you're using
01:13:51 <kmc> that was my point
01:15:12 <elliott> "On 17 July 1980, an expedition sponsored by Texan oilman Jack Grimm set off from Port Everglades, Florida, in the research vessel H.J.W. Fay. Grimm had previously sponsored expeditions to find Noah's Ark, the Loch Ness Monster, Bigfoot, and the (non-existent) giant hole in the North Pole predicted by the Hollow Earth hypothesis."
01:15:34 <kmc> "non-existent giant hole in the North Pole"
01:15:38 <kmc> HEY THAT'S JUST AN OPINION
01:16:01 <elliott> "They nearly stayed ashore when Grimm brought along a monkey called Titan, which was trained to point at a spot on the map to supposedly indicate where Titanic was. The scientists issued an ultimatum: "It's either us or the monkey." Grimm preferred the monkey, but was prevailed upon to leave it behind and bring the scientists instead.[21]"
01:16:15 <elliott> literally everything to do with attempts to find and/or recover the wreck of the titanic is hilarious
01:16:48 <elliott> this thing has to be one gigantic hoax
01:17:04 <elliott> "It later turned out that Sea MARC had actually passed over Titanic but had failed to detect it"
01:20:27 <oerjan> on unlikely places to have your wedding gatecrashed: http://www.bbc.co.uk/news/uk-england-coventry-warwickshire-17694043
01:22:15 <elliott> that's nothing. once i gatecrashed a wedding in a CHURCH
01:23:01 * oerjan wonders if the russians will make an industry of this like with the space tourists
01:26:22 <oerjan> hm i guess that bbc article doesn't mention that the helicopter was russian, i read that today in a norwegian paper
01:26:54 <elliott> do norwegians have a thing about russia
01:27:58 <oerjan> yes; it's called a shared border and industry on svalbard
01:28:44 <oerjan> so he flew by norwegian plane to svalbard and hiked with the russians via their 89 degree arctic base
01:29:27 <elliott> oerjan: ok by "shared border and industry on svalbard"
01:29:30 <elliott> do you mean "we hate their guts"
01:30:21 <oerjan> surprisingly amicable, really; just a few years ago we even managed to agree on _where_ the border is
01:30:41 <kmc> should i go to svalbard
01:31:41 <hagb4rd> things have changed since there may be a way to get that oil below the ice capes
01:33:00 <kmc> svalbard has almost free immigration
01:33:07 <oerjan> if you are a citizen of one of these countries you might even manage to work there: http://en.wikipedia.org/wiki/Svalbard_Treaty
01:34:13 <elliott> oh by "go" does kmc mean "move"
01:34:27 <zzo38> I think a while ago someone in this channel try to think of coapplicative (and couldn't think of (>*<))? The thing I can think of is maybe like this? lowerChoice :: f (Either x y) -> Either (f x) (f y); It can be implemented on the non-empty list comonad, on identity comonad, etc
01:34:46 <elliott> zzo38: that's a well-known formulation iirc
01:35:11 <zzo38> I just used that it seem dual to liftPair :: (f x, f y) -> f (x, y);
01:38:06 <elliott> kmc: did you mean "move" or "visit" i can't actually tell
01:38:14 <elliott> oerjan: "Management of .sj lies with the Trondheim-based Norid, which is also the domain name registry for .no and the unused .bv."
01:38:17 <elliott> oerjan: trondheim has too much power
01:39:46 <oerjan> ah of course the russians have made it an industry http://en.wikipedia.org/wiki/Barneo
01:40:08 <hagb4rd> kmc, just bug you one more time :) i use the winapi a lot. can you point out an example where i need to handle memory management using the winapi`?
01:40:59 <kmc> i don't know anything about winapi
01:41:29 <kmc> elliott: i meant more like "visit" but i basically just asked because i thought the answers might be interesting
01:43:30 <elliott> "However, northerly winds cause the camp to drift toward the southeast at a speed of 0.8 km/h."
01:50:25 -!- ais523 has joined.
01:50:26 <hagb4rd> elliott: are you preparing for a polar expedition, or sth?
01:50:27 <oerjan> elliott: it seems that norid was established as part of uninett, which was originally maintained by http://en.wikipedia.org/wiki/SINTEF, which was founded by nth which is one of the two main parts that merged into NTNU university [nb: RAS]
01:50:41 <ais523> apparently SQL was originally /called/ SEQUEL but the name was changed for legal reasons
01:50:49 * ais523 gets even more confused as to htf it's supposed to be pronounced, then
01:53:05 <oerjan> ais523: squeal, of course
01:53:14 <pikhq_> __builtin_prefetch should not have been an epic win.
01:53:20 <pikhq_> It *was*, but it should not have been.
01:53:32 <ais523> huh, something's seriously wrong if adding it has any noticeable effect at all
01:53:44 <elliott> did you have to say "epic win" :(
01:53:50 <ais523> pikhq_: there's a hilarious blog post by one of the Mozilla people talking about improving Firefox's startup time
01:54:06 <ais523> they spent ages benchmarking it to stop it seeking about all over the place in the executable, and instead read sequentially
01:54:09 <ais523> and had got it down quite a bit
01:54:22 <ais523> and then, they just wrote a shell script that copied the executable to /dev/null before running it, and it went way faster
01:54:27 <pikhq_> ais523: Well, in my defense, I'm doing nonsequential accesses on a *framebuffer*.
01:54:37 <pikhq_> And said framebuffer doesn't fit in my L2.
01:54:39 <ais523> pikhq_: reads or writes?
01:54:47 <ais523> pikhq_: your defence? it's the compiler I'm bitchingat
01:56:19 <ais523> how do you speed up writes with a prefetch?
01:56:42 <pikhq_> But it halved the time I take to draw a frame!
01:56:50 <ais523> meanwhile, XPN's text wrap is really /really/ broken
01:57:27 <ais523> if you type () then start typing inside the parens, the cursor ends up outside them when it wraps from one line to the next, for instance
01:57:34 <pikhq_> Though __builtin_prefetch takes an option so you can tell it you're meaning to *write*.
01:58:15 <kmc> if you're doing only writes, you can use nontemporal store instructions
01:58:30 <ais523> well, it's a framebuffer, it's being read by something else
01:58:37 <ais523> or might even physically be part of the video hardware, I guess
01:58:51 <ais523> not sure how many layers of indirection there are between a typical framebuffer and the video card
01:59:06 <ais523> anyway, Web of Lies-related issue: X is trying to make iopl syscalls, as non-root
01:59:09 <ais523> and is then bitching when they fail
01:59:20 <pikhq_> 'Cept it doesn't fit in cache.
01:59:22 <ais523> also, passing them through to the kernel is giving EINVAL rather than EPERM anyway
01:59:27 <pikhq_> It's ~4 times larger than my L2.
02:22:50 <RocketJSquirrel> http://www.focalprice.com/CE0031W/HYUNDAI_A7_7_Capacitive_Android_40_Tablet_with_3G_WiFi_White.html <-- This. How is this. HOW.
02:23:03 <elliott> i think RocketJSquirrel likes his tablet
02:23:24 <RocketJSquirrel> elliott: Part of it is that I bought it only because I was expecting it to be SO bad, I had to know HOW bad.
02:23:54 <elliott> i have a shitty android tablet that isn't really shitty too
02:24:00 <RocketJSquirrel> I'm watching videos to test its battery life. I'm on episode 7, 62% battery (by probably-inaccurate reporting of course, but still, I'm on episode 7)
02:24:01 <elliott> shitty android tablet that isn't really shitty friends
02:25:09 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
02:26:53 <kmc> how good is the screen?
02:27:58 <RocketJSquirrel> kmc: It's plastic, not glass, but it's capacitive (reportedly five-point). At first I thought the sensitivity was a bit weird, but I don't seem to be having any issues, so either I got used to it or it was a nonissue.
02:48:59 <lambdabot> Local time for elliott is Sun Apr 15 03:49:29
03:03:33 <shachaf> we were jstju tlkninga oubto aooabuyouuuu
03:06:42 <shachaf> about hwowoow you dnontndotn syay hi nono morere:(
03:07:29 <shachaf> monqy: wew decideded to replapcle yoou
03:07:47 <monqy> who's abetebter monqy
03:07:51 <zzo38> I added more stuff to file of idea of D&D scenarios
03:09:08 <kmc> @protontorpedo
03:09:08 <lambdabot> how do we automate ftp file transfers with haskell?
03:09:10 <kmc> @protontorpedo
03:21:06 <kmc> is it a different cult from the SingInst cult?
03:21:39 <elliott> is it a different cult from mormonism
03:22:32 <shachaf> kmc: I think it's the same one.
03:25:19 <shachaf> monqy: 1 Corinthians 10:13
03:25:48 <shachaf> it's the one that says "YOU CAN DO IT MONQY"
03:26:00 <shachaf> @google 1 corinthians 10:13
03:26:03 <lambdabot> http://www.biblegateway.com/passage/?search=1+Corinthians+10%3A13&version=NIV
03:26:03 <lambdabot> Title: 1 Corinthians 10:13 NIV - No temptation has overtaken you except - Bible Gateway
03:35:35 -!- elliott has left ("Leaving").
03:35:42 <shachaf> ｋｍｃ： Ｄｏｅｓ ｔｈｉｓ ｈｉｇｈｌｉｇｈｔ ｙｏｕｒ ｎｉｃｋ？
03:37:16 <hagb4rd> shachaf: how do you do that?
03:37:33 <shachaf> hagb4rd: Ｉ ｈａｖｅ ｍａｇｉｃａｌ ａｒｔｉｓｔ ｐｏｗｅｒｓ．
03:38:57 <shachaf> kmc: I have an actual Japanese input method set up!
03:39:03 <shachaf> In order to not be racist.
03:40:09 <shachaf> monqy: im givning up hi :(
03:40:19 <monqy> I remember old shachaf
03:40:23 <monqy> old shachaf said hi
03:40:32 <shachaf> Well, old shachaf is no more.
03:40:39 <monqy> what did you do old shachaf
03:43:57 <hagb4rd> so you have kind of a macro set up, encoding your input as unicode right? is there an escape char to prefix a unicode char? if you know what i mean
03:44:33 <shachaf> hagb4rd: I have a secret macro that encodes EVERYTHING I TYPE -- EVEN THESE VERY CHARACTERS -- AS UNICODE.
03:44:38 <shachaf> Where by Unicode I mean UTF-8.
03:48:15 <kmc> is there an escape char to prefix a unicode char? IF YOU KNOW WHAT I MEAN NUDGE NUDGE WINK WINK
03:49:10 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: chr: not found
03:51:12 <kmc> shachaf: it did not hilight
03:53:45 <hagb4rd> maybe thats because it is so secret
03:56:31 <kmc> shachaf: you are not the first person to wonder that
03:57:31 -!- oerjan has quit (Quit: Cohi).
03:58:22 <RocketJSquirrel> Welp, the person I was babbling my battery test reports at logged off, so I have to report them at #esoteric now.
04:00:10 <hagb4rd> shachaf: what's up with itidus21? you haven't hurt him, did you?
04:04:43 <hagb4rd> i will strike down upon thee with great vengeance and furious anger those who attempt to poison and destroy my brothers
04:06:16 <shachaf> hagb4rd: Are you sure you're not itidus21?
04:12:04 -!- elliott has joined.
04:12:31 <shachaf> 21:11 < hagb4rd> @karma- shachaf
04:12:31 <shachaf> 21:11 < lambdabot> shachaf's karma lowered to 12.
04:12:40 <shachaf> elliott: Look at what hagb4rd did.
04:15:10 <elliott> lambdabot once had 50 karma.
04:15:55 -!- rvchangue has quit (Ping timeout: 260 seconds).
04:18:27 -!- rvchangue has joined.
04:21:56 <elliott> RocketJSquirrel: Do you know what the type of a closure is???
04:22:41 <kmc> elliott: why are you asking that
04:22:58 <elliott> kmc: It's one of those questions where I already know the answer, I'm just repeating it a lot, you see?
04:23:09 <elliott> RocketJSquirrel: WRONGGGGGGGGGGGG
04:23:41 -!- cswords has joined.
04:24:39 <shachaf> elliott: The best part was the part where you were wrong all along.
04:25:00 <elliott> shachaf: Yes. But then I became right!
04:25:22 <shachaf> Apparently http://prokofiev.org/ may harm my computer. :-(
04:25:36 <shachaf> elliott: AFTER I MADE YOU RIGHT
04:26:03 <elliott> shachaf: Yes, but would you have made me right without the inspiration and genius I showed to you with my original, slightly incorrect form?
04:26:28 <shachaf> elliott: Also, I wasn't really exactly wrong, as such.
04:26:51 <shachaf> struct Closure { void *data; void (*fn)(void *); };
04:27:42 <kmc> data a -> b = K (∃f. (f, a) -># b)
04:28:27 <elliott> kmc: That needs MagicHash, man!
04:28:34 <elliott> By the way, that's wrong too.
04:28:41 <elliott> data a -> b = K (∃f. (f, (f, a) -># b))
04:28:52 <shachaf> elliott: kmc always needs MagicHash.
04:29:07 <elliott> Wait! I think I get the joke!
04:29:15 <kmc> itt: drugs
04:29:23 <kmc> yeah you're right elliott
04:29:45 <shachaf> elliott: Isn't it great how you corrected kmc with the exact same thing I used to correct you earlier?
04:30:26 <elliott> I don't like how kmc's definition couples the concept of function with the concept of closure. But OTOH I can't see any useful way to use my original type without the product in there. :(
04:30:30 <kmc> shachaf: aim hecker :(
04:30:49 <elliott> Have I mentioned that my systems language uses kmc's (->#) as its function arrow?
04:31:24 <shachaf> kmc: did i hckecek ur aim????
04:31:38 <kmc> shachaf: WHY ARE YOU STILL ANGRY ABOUT PHP
04:31:40 <kmc> lol nerds get a life
04:32:11 <elliott> kmc's aim is so hecked that he doesn't technically have an aim any more
04:32:18 <kmc> shachaf: yesterday I went sailing in the Charles River Basin
04:32:37 <lambdabot> Local time for elliott is Sun Apr 15 05:33:07
04:33:22 <kmc> i didn't sink
04:33:45 <kmc> i went with KeithW so if we did sink, that would pretty much be the end of Mosh
04:33:51 <kmc> we need a critical personel policy
04:34:54 <elliott> kmc: I think that would require a bus to drive into the basin with you, and then hit you.
04:35:04 <elliott> That is, as I understand, the procedure.
04:35:06 <kmc> that could very easily happen
04:35:22 <shachaf> Buses? In my Charles River Basin?
04:35:34 <elliott> It's not your Charles River basin, shachaf.
04:35:51 <shachaf> elliott: Did I mention I quit hi?
04:36:10 -!- MDude has changed nick to MSleep.
04:36:28 <kmc> more like Cam River basin
04:36:42 <kmc> does anyone here know how to make good currywurst sauce
04:37:31 <elliott> Step 2. No, like, the worst curry.
04:37:50 <kmc> HA HA HA HA HA HA HA HA
04:37:50 <kmc> HA HA HA HA HA HA HA HA
04:37:52 <kmc> HA HA HA HA HA HA HA HA
04:37:52 <kmc> HA HA HA HA HA HA HA HA
04:39:28 <elliott> kmc: You should implement my language.
04:39:34 <zzo38> Do you know if Codensity can ever make Extend or Comonad?
04:39:57 <kmc> ubuntu freebsd
04:40:26 <elliott> Not *everything* I do is @.
04:40:43 <zzo38> kmc: You should help to implement my language as well, but not until the specification is written so that we can know how it should be
04:42:03 <elliott> I did not know the consequences of my actions.
04:44:08 <elliott> RocketJSquirrel: Can you implement my language?
04:45:45 <elliott> kmc: Also, did you ever tell me about DDC?
04:47:53 <hagb4rd> now he's finally going mental
04:48:01 <elliott> You should at least read this paper for me so I can close its window.
04:49:23 <elliott> "We use the type bool as a shorthand to denote the type
04:49:23 <elliott> 1 + 1 and use left () to be true and right () to be false."
04:49:27 <elliott> No! That's the wrong way around. :(
04:50:39 * elliott is a superior person to kmc
04:55:04 <lambdabot> Local time for elliott is Sun Apr 15 05:55:34
04:55:43 <monqy> what paper is this is it a good paper
04:56:10 -!- augur has quit (Remote host closed the connection).
04:57:00 <elliott> http://www.cs.indiana.edu/~sabry/papers/rational.pdf
04:57:05 <elliott> its a-b and a/b for types "fune"
05:00:00 <monqy> aaaaaaaahhhhhhhhhhhhhhhh
05:00:09 -!- augur has joined.
05:00:59 <monqy> its hte a-b and a/b for types fune
05:08:00 <elliott> "I agree with your clarifications so far. Thank you, ehird." :')
05:10:10 <shachaf> monqy: Remember when elliott drew a self-portrait of me?
05:15:04 <hagb4rd> elliott: do you have the haskell code mentioned to be "organized for better presentation" on page 2?
05:28:53 -!- elliott has quit (Ping timeout: 248 seconds).
05:29:52 -!- asiekierka_ has joined.
05:42:56 * hagb4rd engages the synaptic cooling system
05:44:15 <kmc> python unicode escapes are BMP-only?
05:44:29 <kmc> print u'\u1f63a'
05:45:51 <coppro> convention is \uxxxx \UXXXXXXXX
05:46:22 <kmc> oh cool that works
05:46:23 <kmc> thanks coppro
05:47:08 <kmc> i guess they need to be fixed length
05:47:35 <Sgeo> What is RocketJSquirrel watching?
05:48:06 <RocketJSquirrel> Sgeo: Not relevant, I'm testing the battery life of this tablet.
05:48:45 <coppro> SMILING CAT FACE WITH OPEN MOUTH?
05:51:56 <Sgeo> RocketJSquirrel, but they must be episodes of something
05:52:41 <Sgeo> Unless RocketJSquirrel is watching STATIC: THE MOVIE: THE SHOW
05:52:49 -!- MoALTz has quit (Ping timeout: 250 seconds).
05:54:03 -!- MoALTz has joined.
05:56:47 <shachaf> kmc: It's CAPITAL u because it's Unicode BIG endian.
05:56:56 <shachaf> There's a logic behind the scenes.
06:04:15 -!- asiekierka_ has changed nick to asiekierka.
06:05:47 -!- MoALTz_ has joined.
06:06:41 -!- MoALTz has quit (Ping timeout: 250 seconds).
06:08:32 -!- elliott has joined.
06:11:00 -!- MoALTz_ has quit (Ping timeout: 250 seconds).
06:11:51 <monqy> why are you doing this to yourself
06:14:16 <coppro> RocketJSquirrel: what are you watching?
06:16:04 <hagb4rd> it's the ultimate endurance test for his new toy.. "it's perfectly crisp, bright, etc"
06:17:21 <RocketJSquirrel> coppro: Not relevant, I'm testing this tablet's battery life.
06:17:50 <elliott> i bet it drains the battery and never turns on again
06:18:45 <hagb4rd> yea, he used to ring the bell for about 8 hours
06:18:56 <shachaf> elliott: how predictable !
06:19:39 <RocketJSquirrel> This wasn't supposed to be an endurance test for me, I really didn't think the damned thing would last seven hours X_X
06:19:55 <Sgeo> How do I convince my gf that I'm not good at everything
06:20:24 <hagb4rd> that's easy: just mess it all up
06:20:41 <monqy> who thinks you're good at everything?
06:20:50 -!- MoALTz has joined.
06:28:57 <hagb4rd> sgeo: if all else fails, beat her, calling her a bitch or sth. that should lower her expectations rapidly
06:30:41 <monqy> are you playing crawl?
06:31:00 <shachaf> Is Crawl version 2:0.10.0-2
06:31:03 <monqy> none of them (laughs)
06:31:05 <Sgeo> Why not play on the server?
06:31:20 <shachaf> Sgeo: When I play on the server, it starts beeping my IRC client.
06:31:23 <monqy> if you play on the server I can watch you, and sgeo can watch you too
06:31:33 <monqy> shachaf: 0.11 is most recent if you have any decency
06:31:43 <shachaf> "oh, shachaf has died. oh, someone just killed shachaf's ghost. oh, shachaf was killed by a jellyfish"
06:31:56 <monqy> just change your name, or play on an account with a funny name
06:32:02 <elliott> did you know that crawl sucks
06:32:05 <shachaf> And then EVERY TIME SOMEONE SEARCHES FOR !topkills by a jellyfish...
06:32:22 <monqy> elliott: yes, but maybe shachaf doesn't
06:33:16 <Sgeo> At any rate, I can't play NetHack on NAO
06:33:21 <Sgeo> I have a good game going
06:33:30 <Sgeo> And don't want to screw it up
06:34:21 <monqy> you're playing crawl, so no. (laughs)
06:34:30 <monqy> do you have it in you
06:34:41 <shachaf> monqy: Can't I just install what's in APT>;f a;df;:_-(
06:35:01 <monqy> if you don't play on the servers everyone in ##crawl will mock you
06:35:15 <shachaf> monqy: But I haven't been playing on the server for years!
06:35:26 <shachaf> In fact I haven't played a single game of Crawl for the last $TIME.
06:35:34 <monqy> if you play crawl but don't play on the servers, I should say
06:35:52 <elliott> you know what would be more entertaining than watching shachaf play crawl
06:35:56 <elliott> watching me play nethack while sleep-deprived
06:36:05 <shachaf> elliott: NONSENSE. NETHACK IS BORING.
06:36:07 <monqy> I don't like nethack either though
06:36:09 <lambdabot> Local time for elliott is Sun Apr 15 07:36:39
06:36:37 <elliott> nethack is bad in a way that i understand
06:36:41 <elliott> i know how to play nethack sort of
06:36:52 <shachaf> elliott: But have you ASCENDED NETHACK ATHEIST WISHLESS
06:36:57 <elliott> shachaf: you realise you can just termcast the crawl game
06:37:00 <elliott> even if it's not on the server
06:37:35 <shachaf> elliott: http://alt.org/nethack/userdata/s/shachaf/dumplog/1248250553.nh343.txt
06:37:39 <shachaf> monqy: http://alt.org/nethack/userdata/s/shachaf/dumplog/1248250553.nh343.txt
06:37:50 <monqy> shachaf: what's a nethack
06:37:55 <monqy> and how do I play it ??
06:37:59 <shachaf> You never genocided any monsters
06:38:01 <shachaf> You never polymorphed an object
06:38:02 <monqy> just kidding i don't want to play nethack
06:38:12 <coppro> shachaf: but you polyselfed?
06:38:20 <shachaf> coppro: IT WAS AN ACCIDENT
06:38:35 <shachaf> I have polyselfless ascensions too.
06:38:42 <shachaf> http://alt.org/nethack/userdata/s/shachaf/dumplog/1212252167.nh343.txt
06:38:59 <shachaf> http://alt.org/nethack/userdata/s/shachaf/dumplog/1289699027.nh343.txt
06:39:02 <shachaf> http://alt.org/nethack/userdata/s/shachaf/dumplog/1289294462.nh343.txt
06:39:06 <zzo38> shachaf: I have played Crawl before; both on the computer and on the Nintendo DS
06:39:06 <shachaf> http://alt.org/nethack/userdata/s/shachaf/dumplog/1212543239.nh343.txt
06:39:06 <lambdabot> zzo38: You have 3 new messages. '/msg lambdabot @messages' to read them.
06:39:15 <lambdabot> dmwit said 5d 2h 31m 45s ago: how to use ?tell
06:39:15 <lambdabot> dmwit asked 5d 2h 31m 23s ago: if he knows how to use ?ask
06:39:15 <lambdabot> edwardk said 49m 47s ago: i pushed a new kan-extensions with the Applicative instance for Density
06:39:17 <monqy> are you naoing or termcasting or what
06:39:28 <elliott> monqy: ill termcast because uh nao is really slow in europe
06:39:34 <elliott> i don't think ic an install nethack
06:39:36 <shachaf> elliott: Instead of naoing you should later.
06:39:37 <elliott> because my packages are broken
06:39:53 <shachaf> elliott: Did you know I WROTE A NETHACK PATCH
06:40:05 <coppro> elliott: you should be playing NH4
06:40:14 <elliott> why isnt telnetting to nethack.alt.org working help
06:40:16 <zzo38> The documentation is not available yet
06:40:18 <elliott> coppro: i knew about that BEFORE IT CAME OUT YO
06:40:26 <Sgeo> elliott, ping me when you're on
06:40:27 <elliott> monqy: sure here's the release announcements:
06:40:31 <zzo38> elliott: Maybe it uses a different port numbers?
06:40:36 <monqy> elliott: oh yeah dgamelaunch has a problem
06:40:37 <shachaf> elliott: Let's play a coöperative game of NetHack.
06:40:37 <elliott> monqy: http://groups.google.com/group/rec.games.roguelike.nethack/browse_thread/thread/261849837d0d8e42#
06:40:41 <elliott> monqy: http://groups.google.com/group/rec.games.roguelike.nethack/browse_thread/thread/ade3da9173a7cc2a#
06:40:43 <elliott> monqy: http://groups.google.com/group/rec.games.roguelike.nethack/browse_thread/thread/cb0da1bf9d2c0ba1#
06:40:51 <elliott> (nethack switched to a rapid-release model)
06:40:57 <elliott> shachaf: is that where i press keys but you all yell at me what to do
06:40:58 <monqy> elliott: you have to set your TERM environment variable to something it recognizes
06:41:08 <elliott> monqy: what's a good thing it recognises
06:41:09 <shachaf> elliott: No, it's shared-screen-nethack.
06:41:21 <monqy> I use TERM=rxvt-unicode to get it to work
06:41:41 <monqy> without that it's rxvt-unicode-256color qqhich does not work
06:42:06 <elliott> race role gender alignment
06:42:24 <coppro> elliott: how multiplayer nethack works is that you and the other player take turns if you're on the same level
06:42:25 <elliott> my terminal is oddly-sized
06:42:29 <coppro> and crash if you do anything that interacts
06:42:36 <elliott> coppro: ais523 told me about it ages ago
06:42:38 <shachaf> elliott: wizard elf male chaotic
06:42:45 <elliott> shachaf: ok thanks for ur vote
06:42:49 <shachaf> elliott: valkyrie human female neutral
06:42:51 * coppro recompiles his compiler
06:43:03 <Sgeo> elliott, too busy fighting with my computer
06:43:05 <ais523> coppro: doesn't crash, it would if it were allowed, but it isn't
06:43:12 <monqy> doppelganger yeoman
06:43:18 <coppro> ais523: that's how it was described to me :P
06:43:19 <lambdabot> I don't perform such side effects on command!
06:43:25 <ais523> elliott: lawful dwarf female valk
06:43:44 <ais523> oh, gnome healer, then
06:43:58 <shachaf> I want to watch elliott try to DfV.
06:44:26 <Sgeo> ais523, so is NiceHack an actually viable Nitro+Ace merger?
06:44:39 <Sgeo> Or is even the tarball just say april folls or something
06:44:41 <ais523> Sgeo: it's called NetHack 4, but yes
06:44:41 <elliott> i'll resize this terminal to be 80x24
06:44:48 <shachaf> elliott: Real programmers always choose *
06:44:53 <elliott> also how do i make NAO redraw
06:44:54 <ais523> elliott: how difficult do you want?
06:45:00 <ais523> control-R, but resizing during a game doesn't work
06:45:01 <shachaf> elliott: 100000000000000000000×100000000000000000000000000000000 right now
06:45:02 <elliott> ais523: as difficult as possible
06:45:07 <ais523> and resizing during the dgamelaunch screen screws up
06:45:10 <elliott> what do you mean during a game?
06:45:21 <shachaf> elliott: First pick a role.
06:45:23 <elliott> is there a command line program to print the current terminal size
06:45:30 <ais523> also, difficult as in lowest win chance, or as in dificult throughout the game
06:45:33 <ais523> and yes, but I can't remember what it is offhand
06:45:42 <elliott> ais523: the aim is comedy, i'm sleep deprived and terrible at nethack
06:45:53 <shachaf> elliott: urxvt shows terminal size when you resize
06:45:56 <ais523> gnome healer, then, because it gets worse and worse as it goes on
06:46:12 <shachaf> elliott: IT'S ECHO $ROWS, $COLS
06:46:53 <elliott> monqy: is gnome healer good
06:47:16 <shachaf> Seriously. * is maximal comedy.
06:47:26 <elliott> Sgeo: monqy: are you watching btw
06:47:34 <ais523> random all might produce a good combo by chance
06:47:34 <shachaf> elliott: In fact, press Q, then press Y instead of N.
06:47:42 <elliott> lawful male human samurai?
06:47:42 <coppro> today I probably won the 'weirdest question asked of proctor' award
06:47:43 <shachaf> ais523: That's part of the fun!
06:47:48 <hagb4rd> hey, how can i join/watch?
06:47:52 <Sgeo> elliott, is it still asking for role?
06:47:57 <Sgeo> hagb4rd, telnet to nethack.alt.org
06:47:57 <zzo38> coppro: What is that?
06:48:11 <coppro> I had a hangnail, so I asked if I could remove a set of nail clippers from my bag
06:48:12 <ais523> elliott: what NAO username?
06:48:18 <elliott> ais523: ehird, and currently laughing
06:48:29 * ais523 jettyplay dgamelaunch://nethack.alt.org/ehird
06:48:40 <shachaf> monqy: If I play on NAO will you watch me. :-(
06:48:52 <ais523> elliott: huh, why is color off?
06:48:53 <monqy> I'll watch you both
06:49:17 <ais523> well you have a terminal that uses bizarre nonstandard color codes then
06:49:24 <elliott> ais523: it's just rxvt-unicode
06:49:34 <shachaf> elliott: Turn off DECgraphics.
06:49:40 <shachaf> Real programmers use plain graphics.
06:49:54 <elliott> ais523: what's the terminal for xterm 256 colours
06:49:58 <shachaf> Now all y'all get to watch me.
06:50:06 <ais523> elliott: xterm, I think
06:50:17 <ais523> there's xterm-color, but that only seems to work on BSD
06:50:22 <shachaf> @choice-add nethack Wiz_Elf_Mal_Cha
06:50:22 <lambdabot> New candidate "Wiz_Elf_Mal_Cha", added to poll "nethack".
06:50:22 <zzo38> Finally, in D&D game, I have found the emerald monster (it seems to be some kind of large humanoid demon); it is my job to kill him but the other people in the party should not kill him although they can harm him if they want; it is solely has to my job to kill him however. He is in some large octagon room, in some evil religion I cannot recognize. What to do?
06:50:26 <elliott> I'll go with a gnome healer
06:50:31 <shachaf> @vote nethack Wiz_Elf-Mal_Cha
06:50:31 <lambdabot> "Wiz_Elf-Mal_Cha" is not currently a candidate in this poll
06:50:33 <shachaf> @vote nethack Wiz_Elf_Mal_Cha
06:50:54 <zzo38> O, lambdabot has votes?
06:50:57 <elliott> ais523: does colour work now?
06:51:06 <zzo38> I didn't know lambdabot has votes.
06:51:09 <ais523> it works in gnome-terminal, trying jettyplay
06:51:14 <shachaf> zzo38: Do you know it now?
06:51:25 <elliott> i liike how i've forgotten all the keys
06:51:26 <ais523> yep, works in jettyplay too
06:51:29 <zzo38> shachaf: Partially I know it now.
06:51:30 <elliott> how do you walk somewhere again
06:52:11 <shachaf> Did you fountaindrink. :-(
06:52:45 <monqy> shachaf are you playing too
06:52:49 <shachaf> Will all y'all watch me now?
06:52:54 <monqy> I'll watch everyone
06:53:04 <shachaf> I'll play if monqy watches.
06:53:04 <coppro> I vaguely recall a player dying to a demon named 'where's my wish'
06:53:40 <coppro> but only if mail is on
06:53:42 <RocketJSquirrel> Episode eighteen complete, reported battery level 7%. ... ... the last 10% is purgatory.
06:53:45 <zzo38> elliott: Probably because it happens at random that you find goblins and so on isn't that now NetHack works?
06:54:13 <elliott> i forget can you mail in-game
06:55:18 <Sgeo> I didn't write that!
06:55:20 <monqy> can you make notes in game
06:56:06 <Sgeo> What happened to the mail I sent?
06:56:42 <Sgeo> Two messages on the same scroll?
06:56:56 <zzo38> * I have one of his books, but it is torn. * I have his dagger too. * It is some evil religion I cannot recognize. * The only known exit is through another room, up the stairs, into some water. * Someone else in my party has an emerald sword too. * This room is octagonal with 30 ft each side. * This fortress is a long way away from anything.
06:57:08 <coppro> Sgeo: the mail demon doesn't block on one client
06:57:11 <elliott> what happened to my weapons!!!
06:57:15 <ais523> elliott: you can use the extended command thing to send messages back
06:57:37 <coppro> elliott: you just type a message after the #
06:57:49 -!- hagb4rd has quit (Quit: need to restart).
06:58:09 <shachaf> elliott: Wow, did you just heal the fox?
06:58:17 <zzo38> elliott: Maybe they evaporated; but, I think in NetHack you can get bonus points if you never use weapons so try that
06:58:30 <shachaf> zzo38: Want to watch me play NetHack?
06:58:54 <Sgeo> (not actually yet)
06:58:56 <elliott> i think the fox just died from biting me
06:58:58 <coppro> ais523: is there a server running the most recent NH4?
06:59:14 <shachaf> ELBERETH MAKES THE GAME BROING
06:59:16 <zzo38> shachaf: Not at this time. But if I do, how to connect (including terminal modes and so on)?
06:59:21 <coppro> a elbereth gilthoniel!
06:59:29 <shachaf> zzo38: telnet nethack.alt.org
07:00:14 <elliott> what shachaf fails to realise is that i am the pinnacle of nethack comedy
07:00:18 <shachaf> monqy: Will you watch my game?
07:00:35 <monqy> shachaf: do you have a game
07:00:46 <shachaf> monqy: If I have one will you wahfhchatchchh
07:01:05 <elliott> monqy: come on that's like watching a stupid person and an awesome person simultaneously!!!
07:01:12 <elliott> ais523: do you have any advice for me in this tough situation
07:01:18 <shachaf> monqy: By the way, I pressed 'y' on the "pick for me" screen.
07:01:37 <ais523> oh, did you die and start again?
07:01:46 <elliott> shachaf is competing against me :( and also i can't find the things on the level
07:01:54 <Sgeo> elliott, may I show someone else your game?
07:01:55 <ais523> oh, search the right end of the rightmost room
07:02:01 <elliott> Sgeo: no its absolutely forbidden (yes)
07:02:08 <ais523> not 100% that the door's there, but above 50%
07:02:16 <coppro> why do first-sacrifice gifts vary so wildly in quality?
07:02:38 <elliott> ais523: i dont think its here :'(
07:02:52 <ais523> search the north wall of that room then
07:03:06 <coppro> I mean, snickersnee is kind of lame
07:03:12 <coppro> might as well get excalibur
07:04:12 <coppro> mjollnir is situational
07:04:24 <coppro> and Cleaver's also pretty bad
07:04:59 <shachaf> ais523: Should I set up INTERHACK
07:05:01 <shachaf> elliott: Should I set up INTERHACK
07:05:03 <shachaf> monqy: Should I set up INTERHACK
07:05:05 <shachaf> zzo38: Should I set up INTERHACK
07:05:07 <shachaf> Sgeo: Should I set up INTERHACK
07:05:07 <Sgeo> What is INTERHACK?
07:05:08 <ais523> shachaf: no, it's out of date
07:05:19 <elliott> i drunk frmo a fountain four times and now im help
07:05:21 <shachaf> ais523: How can you be out dater than NetHack?
07:05:27 <ais523> elliott: why were you drinking from a fountain?
07:05:41 <elliott> sensing the presence of monsters
07:05:46 <zzo38> shachaf: First you have to answer a question what is INTERHACK before I answer your question too
07:06:11 -!- hagb4rd has joined.
07:06:13 <ais523> zzo38: a telnet client designed specifically for playing NetHack
07:06:22 <ais523> that tries to maintain information about the game but sucks because it uses regexes for parsing
07:06:27 <ais523> elliott: it's about neutral
07:06:34 <kmc> that's how ESR parses things
07:06:36 <kmc> it can't be bad
07:06:40 <kmc> he wrote the book on how to be a hacker!!!
07:07:38 <elliott> nooooOOOOoooooooooOOOooooooooooo
07:07:44 <coppro> in fact, why do so many terrible artifacts exist?
07:07:48 <Sgeo> elliott, you're not Dudley, are you?
07:08:07 <monqy> elliott: did neko leave a corpse? don't let it go to waste
07:08:21 <ais523> don't eat domestic animal corpses
07:08:23 <Sgeo> monqy's advice sounds like bad advice
07:08:34 <elliott> i remember when id id that
07:08:35 <zzo38> ais523: What happens in this game if you do?
07:08:35 <ais523> ESR parses with regexes? seriously?
07:08:41 <ais523> he didn't in C-INTERCAL
07:08:49 <ais523> zzo38: nothing, the information's just displayed in a more convenient way
07:08:51 <shachaf> I just meleed floating eye
07:09:00 <monqy> shachaf.....................
07:09:03 <monqy> no................................
07:09:09 <zzo38> shachaf: Then don't do that next time
07:09:17 <shachaf> zzo38: But it was accident. :-(
07:09:22 <ais523> elliott: still meleeing with your scalpel? :)
07:09:33 <elliott> ais523: hey it worked much better than whatever i was using before
07:09:59 <coppro> oh god my computer is linking clang
07:10:08 <coppro> also ais523, you didn't answer my question earlier
07:10:12 <elliott> partly eaten lichen corpse
07:10:18 <coppro> is there an up-to-date NH4 server running somewhere?
07:10:28 <ais523> hopefully there will be soon
07:10:43 <hagb4rd> great, your client is perfectly working ais523 :)
07:11:03 <kmc> http://news.ycombinator.com/item?id=923660
07:12:18 <shachaf> Hey, PacifistRobin is playing!
07:12:27 <shachaf> monqy: Watch PacifistRobin
07:12:37 <ais523> you need to micromanage your pets as a healer and ge them to do the fighting early
07:12:43 <ais523> as you can't win many combats by yourself
07:12:48 <ais523> that's why I thought you'd find this Fun
07:12:51 <elliott> its ok i ran away by holding down the h key really fast
07:12:56 <monqy> shachaf: is pacifistrobin you? are you pacifistrobin?
07:12:57 <elliott> ais523: but i just lost my pet!!!
07:13:00 <elliott> i dont know WHERE they wente
07:13:37 <elliott> nobody has sent me mail in like
07:14:45 <lambdabot> Local time for elliott is Sun Apr 15 08:15:16
07:15:00 <elliott> CAN I EATEN HOTTIBETEN CORPSEN
07:16:45 <kmc> http://geekz.co.uk/lovesraymond/archive/show-them-the-code
07:16:49 <Sgeo> elliott, you should know not to eat zombies
07:17:03 <elliott> i dont really know anything
07:17:07 <elliott> monqy: is this enjoyable by the way
07:17:10 <coppro> clang finished linking1
07:18:02 <monqy> elliott: I can't tell, I'm doing too many things at once to isolate the enjoyment im deriving from watching you play nethack
07:18:23 <Sgeo> elliott, grid bugs are deadly
07:18:31 <Sgeo> At least after you melee a floating eye
07:19:04 <kmc> oh and then after the meanies on HN made fun of his code, he wrote a pompous blog post about how his way is right http://esr.ibiblio.org/?p=1387
07:19:36 <kmc> "CORRECTION: The snotty kid (or snotty-kid soundalike) isn’t from Y Combinator. That’s actually a relief – I know Paul Graham, I like Paul Graham, and the crew around him usually has more sense."
07:19:44 <Sgeo> elliott, you said something liek it exists
07:21:05 <elliott> can i pray in the middle of a thing
07:21:48 <Sgeo> elliott, the new John Egbert?
07:21:49 -!- MoALTz_ has joined.
07:22:22 <Sgeo> I was going to send a mail with
07:22:24 <hagb4rd> aw, jettyplay seems to freeze after i select rawdata :(
07:22:35 <HackEgo> 561) <Vorpal> elliott_, oh they are people known in the ruby community? <elliott_> Vorpal: Uh... you mean Hannah Montana? <Vorpal> elliott_, yeah. And Zed Shaw. Either they are that or they come from popular culture.
07:22:56 -!- MoALTz has quit (Ping timeout: 250 seconds).
07:23:08 <elliott> ok im going to play as a wizard
07:23:10 <elliott> ais523: wizards are fun right
07:23:24 <coppro> i will add bronchodilators to my <3 list
07:23:27 <elliott> chaotic female orcish wizard
07:24:09 <elliott> a cream pie on my FIRST TURN???
07:24:14 <elliott> thinsg are lookin g good for ehird the evoker
07:24:53 <kmc> http://hannahmontana.sourceforge.net/
07:25:07 <shachaf> elliott: But iwantntt a cmreal pie :(
07:25:19 <shachaf> elliott: canivehave creamrpie :(
07:25:25 <elliott> i don't know how to cast spells properly
07:25:28 <elliott> i know you zap wands and shit but that's about it
07:25:34 <shachaf> elliott: It's like zapping.
07:25:37 <kmc> "Q : Will you be supporting other computer architectures like AMD64, SPARC, MIPS?
07:25:54 <Sgeo> It's either z or Z
07:25:57 <Sgeo> To zap a spell
07:26:04 <kmc> yeah why can't i run hannah montana linux on my sgi indy
07:26:41 <shachaf> Sgeo: HOW MANY TIMES HAVE YOU ASCENDED NETHACK, MR HELPFUL
07:27:05 <Sgeo> I have a good game going on NAO that I started a few years ago!
07:27:15 <elliott> don't want to zap my wand of secret door detection
07:27:16 <Sgeo> The sad thing is I'm not even joking.
07:27:18 <elliott> i want to zap my wand of hurt things
07:27:52 <Sgeo> For what it's worht I always bplay withzards
07:27:55 <elliott> hwo do i use my spell boks
07:28:02 <Sgeo> elliott, read them
07:28:12 <Sgeo> After you forgot what they say
07:32:00 <elliott> but im still cant force bolt
07:32:16 <Sgeo> I'm pretty sure
07:32:40 <Sgeo> I said that before
07:32:52 <hagb4rd> so you select spell (green mark) and cast it with z, right?
07:34:26 <elliott> my cream pie was poisoned?
07:42:12 <monqy> how do you cure that,
07:42:22 <elliott> ais523: how do i cure deathly sick food pois
07:44:22 <shachaf> I don't think you want mail.
07:44:29 <shachaf> Don't you have a full healing potion?
07:45:23 <ais523> if you have no better options
07:45:24 <shachaf> elliott: can I snedndd you mailol now :(
07:45:36 <ais523> otherwise, eucalyptus leaf, or sufficiently strong healing potion
07:45:38 <elliott> ais523: too busy dying frmo my illness
07:45:38 <shachaf> ais523: Instead of praying, he just did nothing for N turns until dying.
07:45:50 <elliott> i thought my health would go down first!!!!
07:45:56 <ais523> no, it's an instadeath
07:46:36 <shachaf> elliott: hoow entertnainingnggg. :(
07:47:00 <elliott> ok this time im play as chaotic monk
07:48:33 <elliott> were suppsed to pray regualrlyl
07:51:53 <elliott> monqy: is hallu yiur favourite thing
07:52:53 <shachaf> 00:52 < asdfasdf> pl (\x= x+1)
07:53:44 <shachaf> 00:53 < asdfasdf> pl \x -> x+2
07:54:08 -!- MoALTz_ has quit (Ping timeout: 250 seconds).
07:54:32 <elliott> monqy should i kill the shk
07:55:06 <monqy> i dont know much about nethacke
07:57:43 <ais523> elliott: you will probably fail if you try
07:57:47 <elliott> the INVISIBLE shopkeeper???
07:57:50 <ais523> without some dedicated shk-killing kit
07:57:52 <elliott> i don't know if i can handle an invisible shopkeeper
07:58:57 -!- MoALTz has joined.
07:59:23 <lambdabot> Local time for elliott is Sun Apr 15 08:59:54
07:59:56 <lambdabot> Local time for monqy is Sun Apr 15 00:59:55 2012
08:14:30 -!- KingOfKarlsruhe has joined.
08:18:24 -!- monqy has quit (Quit: hello).
08:36:38 <Sgeo> How was elliott killed by a wand?
08:37:34 <pikhq_> I don't usually expect 3 inches of snow in April.
08:38:17 <Sgeo> elliott, your death screen said killed by a wand
08:38:22 <Sgeo> This may have been a whloel ago
08:39:31 -!- Tiktalik has changed nick to Sleeptalik.
08:44:36 -!- azaq23 has joined.
09:05:36 <zzo38> I try to decide what the law of counterpoint :: x -> f (f x); will be; perhaps this: contramap counterpoint . counterpoint = id = contramap counterpoint . ccmap counterpoint (where ccmap = contramap . contramap)
09:07:21 <zzo38> But if that is the law, then, I don't know which (if any) of the instances I have will follow such laws, except Finalize which is trivial
09:14:07 <zzo38> One instance I did have I removed since I know is wrong; the instance for Const
09:22:59 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]).
09:39:41 -!- zzo38 has quit (Remote host closed the connection).
09:40:42 -!- Ngevd has joined.
09:42:03 -!- MoALTz_ has joined.
09:43:20 -!- MoALTz has quit (Ping timeout: 250 seconds).
09:45:30 <elliott> ais523: please help me figure out what to make of this edit http://esolangs.org/w/index.php?title=Talk:DNA-Sharp&curid=2722&diff=31925&oldid=31923
09:46:09 <ais523> put an {{unsigned}} on it
09:46:24 <elliott> that's a response, not a making!
09:46:33 <ais523> well, I think he's trying to agree with you
09:46:41 <ais523> I'm interpreting it as "yeah :("
09:46:46 <lambdabot> Local time for elliott is Sun Apr 15 10:47:17
09:46:50 <lambdabot> Local time for shachaf is Sun Apr 15 02:46:47 2012
09:46:54 <shachaf> elliott: make meo got sle pp :(
09:47:01 <elliott> ais523: but i was like, totally helpful! :''(
09:47:08 -!- Taneb has joined.
09:47:19 <ais523> shachaf: are you tired?
09:47:32 <elliott> ais523: /kick shachaf slep
09:47:36 <ais523> shachaf: do you think that if you attempt to go to sleep, you will?
09:47:55 <ais523> aren't you /really curious/ to find out?
09:48:04 <elliott> exciting science possibility
09:48:20 <shachaf> elliott: hlep, , mem geto fffff hi
09:48:29 <elliott> ais523: /kick shachaf slep
09:48:46 <elliott> me isn't even in the channel!
09:48:47 <ais523> elliott: he seems tired enough that he'll fall asleep at the computer if he doesn't go to bed
09:48:48 <shachaf> If you kick me it won't make me go to sleep any faster.
09:49:04 <shachaf> ais523: IS THAT A CHANNELGE
09:49:08 -!- Ngevd has quit (Read error: Connection reset by peer).
09:49:11 <ais523> shachaf: don't take it as one
09:49:15 -!- Taneb has changed nick to Ngevd.
09:49:18 <elliott> ais523: no that's his poor imitation of monqy's style
09:49:24 <elliott> Ngevd: u realise u can /ns ghost ????
09:49:38 <Ngevd> I enjoy playing the waiting game
09:49:42 <elliott> ais523: anyway, if you kick him he might shut up about wanting to be kicked :P
09:50:02 <shachaf> Ngevd: lernnrl2 enlgishsihs
09:50:12 <shachaf> Itsitstsi plsplelttt "care"
09:50:15 <ais523> shachaf: why don't you tell Ngevd your IRC password so he can refuse to ghost you?
09:50:20 <shachaf> (Seriously, "careth" is wrong.)
09:50:27 <shachaf> Ngevd: My IRC password is hi monqy
09:50:36 <shachaf> I feel bad every time I type it. :-(
09:51:07 <elliott> shachaf's account name is Shachaf
09:51:43 <shachaf> Doesn't nickserv tell you when someone tries and fails to ns identify as you?
09:51:46 <elliott> just for five seconds or so
09:51:56 <ais523> elliott: I can, but I have the feeling it would be a bad idea
09:52:03 <ais523> shachaf: only tries and succeeds, IIRC
09:52:03 <elliott> ais523: come on, i'm responsible!
09:52:14 <elliott> i'm even a lambdabot admin!
09:52:20 <ais523> elliott: you're acting like kerio, stop it
09:52:29 <elliott> shachaf isn't a lambdabot admin.
09:52:32 <elliott> he is a fake lambdabot admin.
09:52:36 <elliott> you should kick him for abuse of fake powers.
09:53:23 <elliott> @msg #esoteric /op elliott
09:53:28 <ais523> you can't do that, that's a side effect!
09:53:37 <ais523> elliott: you can't op someone with a privmsg
09:53:40 -!- ChanServ has set channel mode: +o lambdabot.
09:53:48 <elliott> @msg ChanServ op #esoteric elliott
09:53:57 <elliott> @raw MODE #esoteric +b elliott
09:53:58 <lambdabot> Maybe you meant: faq map rc read run yow
09:54:06 <elliott> good thing that didn't work
09:54:14 -!- ChanServ has set channel mode: -o lambdabot.
09:54:15 <elliott> @msg ChanServ kick shachaf slep
09:54:20 <Ngevd> It would have been funny if it did
09:54:27 <ais523> elliott: you are missing the point of @/msg/
09:54:35 <ais523> kick, ban, op, etc aren't messages
09:54:45 <ais523> elliott: lambdabot isn't on the access list
09:54:52 <ais523> so can't send commands through chanserv
09:55:04 <elliott> you should put lambdabot on the access list
09:56:06 <shachaf> lambdabot: how predictable !
09:57:07 <ais523> enigma contains different floors !
09:57:21 <ais523> (note: I recently discovered that this is actually a misquote, the original quote had no punctuation)
09:57:25 <ais523> (but who cares, it's a great misquote)
09:58:26 <elliott> ais523: how about opping me for less than a second? that's not enough time to do any mischief
09:58:52 <shachaf> elliott: How about ZERO SECONDS
09:59:05 <elliott> shachaf: I thought you *wanted* to be kicked.
09:59:08 <elliott> Not that I would kick you.
09:59:12 <elliott> Just commenting. In general.
10:00:15 <elliott> ais523: Op me so I can kick anyone who kicks shachaf.
10:00:22 <elliott> See, that's public defense...
10:00:47 <elliott> "As a side note, I seem to remember their being a message that came up when I created my account in saying accounts got deleted if the user didn't log in within 30 days (or something along them lines)." er...
10:01:07 <elliott> ais523: do we have a message along those lines?
10:01:12 <ais523> elliott: in which context? Esolang?
10:01:27 * elliott greps http://esolangs.org/w/index.php?title=Special%3AAllMessages&prefix=&filter=all&lang=en&limit=5000
10:01:30 <ais523> it's possible there's a secret one, though
10:01:44 <elliott> nope, nothing like that on allmessagse
10:03:28 <elliott> ais523: hey, would it violate our privacy policy to disclose the last time someone logged in?
10:03:46 <ais523> not sure, what /is/ our privacy policy?
10:03:57 <ais523> it might violate UK law, if we don't explicitly say we're going to do that, though
10:04:07 <elliott> ais523: we don't have one; in fact, i explicitly removed a redlink to one from the footer
10:04:21 <elliott> hmm, but the record was made when Graue owned the site
10:04:41 <elliott> oh well, "they haven't used that accoutn since 2009" seems harmless and vague enough to me
10:04:43 <ais523> oh, right, you can't (in the UK) disclose private info about someone without warning them before you collecte dit
10:04:45 <ais523> it might violate UK law, if we don't explicitly say we're going to do that, though
10:04:53 <elliott> <ais523> it might violate UK law, if we don't explicitly say we're going to do that, though
10:05:05 <ais523> not quite bug, but big usability problem
10:05:11 -!- cheater__ has joined.
10:05:17 <ais523> in that a trivial typo just before I press return leads to copying recent previous lines
10:05:22 <ais523> with no way to undo it
10:05:31 <ais523> have you not noticed me randomly repeat lines before?
10:05:38 <elliott> i just assume you're weird
10:05:57 <elliott> ais523: it's in the logs now, but "nope, they haven't used that account since 2009" is okay to disclose, right?
10:06:00 <ais523> sometimes I think of using correction stars
10:06:04 * elliott MUST NOT UPSET HYPOTHETICAL PERSON WHO DOESN'T CARE ABOUT THE WIKI ANY MORE
10:06:12 <elliott> ais523: oh, I meant morally-okay, not legally-okay
10:06:16 <elliott> I suppose you're a terrible person to ask for that
10:06:20 <ais523> you know how ridiculously paranoid I am about that sort of thing
10:06:42 <ais523> "has not edited since 2009" is morally OK to disclose IMO, though
10:07:05 <elliott> well, /that's/ a bit obviou
10:07:35 <elliott> how about "That account hasn't been used in years"?
10:07:48 -!- derdon has joined.
10:07:53 <itidus21> "has not edited since 2009?" your aliby is a LIE mr. hypothetical. the court must find you guilty
10:07:58 -!- Slereah_ has joined.
10:09:07 -!- cheater_ has quit (Ping timeout: 276 seconds).
10:09:18 -!- Ngevd has quit (Read error: Connection reset by peer).
10:09:38 -!- Ngevd has joined.
10:10:01 -!- Slereah has quit (Ping timeout: 265 seconds).
10:12:22 <itidus21> most recent contrib by ais523 is 7th april 2012 about the whole NBF2C.c fiasco
10:12:22 -!- Ngevd has quit (Read error: Connection reset by peer).
10:12:37 -!- Ngevd has joined.
10:13:18 <itidus21> but something is logged on 9th april 2012 where he deleted NBF2C.c
10:13:54 <ais523> deletions are contributions too
10:14:20 -!- Ngevd has quit (Read error: Connection reset by peer).
10:14:38 -!- Ngevd has joined.
10:16:05 -!- Ngevd has quit (Client Quit).
10:16:22 <elliott> ais523: you could be a deletionist with words like those
10:22:19 -!- MoALTz_ has quit (Ping timeout: 250 seconds).
10:24:35 -!- MoALTz has joined.
10:40:34 <elliott> ais523: oh, btw, http://esolangs.org/wiki/Talk:Pict if you didn't see it
10:48:31 -!- derdon has quit (Remote host closed the connection).
10:58:28 -!- KingOfKarlsruhe has joined.
11:19:07 <elliott> http://en.wikipedia.org/wiki/MY_Titanic Apparently there is actually a ship named after Titanic.
11:34:28 <olsner> if it sinks today, it's the perfect celebration of the 100th anniversary
11:47:28 <elliott> comex: I think you have a doppelganger: http://www.reddit.com/user/comox
11:53:44 -!- MoALTz_ has joined.
11:55:55 -!- MoALTz has quit (Ping timeout: 250 seconds).
12:05:09 -!- elliott_ has joined.
12:05:13 -!- elliott_ has quit (Remote host closed the connection).
12:05:17 -!- elliott_ has joined.
12:05:31 <elliott_> RocketJSquirrel: How much do you need to owe prgmr before they start sending you nastygrams?
12:05:31 <lambdabot> elliott_: You have 1 new message. '/msg lambdabot @messages' to read it.
12:05:35 -!- elliott_ has changed nick to Guest66938.
12:05:53 -!- Guest66938 has quit (Changing host).
12:05:53 -!- Guest66938 has joined.
12:06:07 -!- Guest66938 has changed nick to elliott_.
12:07:19 <olsner> the pellet with the poison is in the vessel with the pestle, the chalice from the palace has the brew that is true
12:09:35 -!- Phantom_Hoover has joined.
12:15:25 <lambdabot> Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them.
12:24:34 -!- hagb4rd has quit (Quit: hagb4rd).
12:25:16 -!- hagb4rd has joined.
12:41:39 -!- MoALTz_ has quit (Ping timeout: 260 seconds).
12:45:21 -!- elliott_ has quit (Remote host closed the connection).
12:47:27 -!- elliott_ has joined.
12:51:40 <elliott_> does anyone have any idea how to transfer 617 megabytes from prgmr to my machine without going insane
12:53:38 <kmc> what is insane about that
12:54:19 <elliott_> and i want to cancel the vps while i owe prgmr $40 rather than $60
12:57:42 -!- oklopol has joined.
12:57:59 <elliott_> Huh, the last time I was on this computer is when McCarthy died.
12:58:34 -!- itidus20 has joined.
13:00:21 <elliott_> Deewiant: Well, I'm not paying for pyralspite *and* solidity.
13:00:35 <elliott_> I can run a Minecraft server on solidity, but I think most people are on Gregor's server nowadays?
13:01:06 <Deewiant> If you have two servers, can't you move your 617 megabytes to the other one?
13:02:27 <elliott_> Deewiant: I don't have an immediate use for the 617 megabytes; it's the Minecraft world (plus months of incremental backups).
13:02:46 <elliott_> I mean, I could move it to solidity, but I'd probably want to move it straight off again to make room.
13:02:55 <elliott_> (Not that I don't have lots of room free.)
13:03:04 <elliott_> Also, the privkeys for both are on different computers, and I'm lazy.
13:03:57 <Deewiant> If you just want to get the stuff off pyralspite quickly, solidity seems like the best choice, even if you then slowly transfer it to your own computer immediately thereafter.
13:04:53 -!- nortti has joined.
13:05:03 <elliott_> I'd have to fiddle to transfer one of the privkeys safely. :(
13:05:38 <Deewiant> Why'd you get another server anyway?
13:06:08 <elliott_> Deewiant: The whole "taking over esolangs.org" thing. prgmr is slower than I wanted.
13:06:18 <elliott_> And the network connection isn't very good, especially from here in the UK.
13:07:05 <Deewiant> (Or from, whatever the proper term is.)
13:08:12 -!- itidus21 has quit (*.net *.split).
13:08:12 -!- oklofok has quit (*.net *.split).
13:08:13 -!- lambdabot has quit (*.net *.split).
13:08:29 -!- pikhq_ has quit (Ping timeout: 245 seconds).
13:10:01 <elliott_> minecraft/old/old-backup-system/old-backup/
13:14:10 -!- lambdabot has joined.
13:14:21 -!- pikhq has joined.
13:14:25 <olsner> elliott: is your internet connection so slow that 617MB will not be done before you have to pay more for your VPS?
13:15:15 <elliott_> minecraft.tar.xz 3% 28MB 365.5KB/s 35:14 ETA
13:15:58 <olsner> btw, I think you can do server-to-server scp nowadays, might only require having keys on the client that starts the transfer
13:19:03 <olsner> hmm, I wonder what this message means... "error: error running non-shared postrotate script for /var/log/acpid of '/var/log/acpid '"
13:19:41 <olsner> yeah, it should've just said "error: error"
13:24:31 <olsner> ah, it's trying to send SIGUSR1 to acpid, but acpid is not running
13:25:46 <olsner> oh, it's ... not even installed
13:37:16 <olsner> I had about a million packages in that "removed with residual config files" state
13:40:16 <nortti> what distro are you using?
13:42:05 <nortti> I tried it once and didn't really like it. Too heavy
13:55:11 -!- derdon has joined.
13:58:27 -!- MoALTz has joined.
14:01:00 <elliott_> does someone want to adopt a server
14:01:04 <elliott_> i feel so bad about putting it down
14:01:08 <nortti> *there any amigaOS, morphOS or AROS users?
14:01:47 <elliott_> nortti: uhhhhhhhhhhhhhhhh not very speccy
14:01:54 <elliott_> it's just a $20/mo VPS from prgmr
14:16:46 -!- itidus20 has changed nick to itidus21.
14:19:57 -!- elliott_ has quit (Quit: Leaving).
14:21:26 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]).
14:22:50 <ais523> nortti: I have used RiscOS
14:22:54 -!- sebbu2 has joined.
14:22:56 <ais523> but a really long time ago, can't remember much about it now
14:23:00 -!- sebbu2 has quit (Changing host).
14:23:01 -!- sebbu2 has joined.
14:23:01 <itidus21> it bothers me that the progress bar of a youtube video is not related to horizontal letterboxing of a youtube video
14:23:05 <elliott> RocketJSquirrel: I haven't killed it yet.
14:23:13 <elliott> Like a real mad scientist.
14:23:15 <ais523> it's what my primary school used, back before Windows had really caught on
14:23:41 <itidus21> just had to get that off my chest
14:23:45 <elliott> RocketJSquirrel: What's the URL for prgmr management...
14:24:19 <elliott> RocketJSquirrel: No, I mean, the page with all the billing stuff.
14:24:40 <ais523> they should do that over ssh too :)
14:25:17 <elliott> That would require PayPal-over-ssh :P
14:25:59 -!- sebbu has quit (Ping timeout: 246 seconds).
14:26:04 <itidus21> in general they should have an option to letterbox the youtube videoplayer interface when it is windowed mode, so that you don't have to spend screen realestate on the letterboxed bits
14:26:13 <elliott> Ah, https://billing-external.prgmr.com/
14:26:16 <elliott> Thanks in the past RocketJSquirrel
14:26:24 <ais523> but the outcome was awesome enough that I don't care
14:26:43 <ais523> itidus21: YouTube tell people not to upload with letterbox bars already on the encode
14:26:59 <elliott> RocketJSquirrel: There seems to be no way to cancel an account through this interface >_>
14:29:43 <nortti> ais523: Do you know what version it ?was
14:30:30 <ais523> I was pretty young then
14:30:48 <ais523> it was back when RISC OS was actually a viable choice for the primary OS of an organisation
14:31:51 <nortti> yeah. I am thinking about using it as my main os for some time after it gets ported to Raspberry Pi
14:33:00 <ais523> from what I remember and what I've heard about it, it doesn't seem that unviable, but the filename conventions are bizarre by modern standards and nothing understands them, and I doubt application availability is too great atm…
14:33:10 <itidus21> ais523: this is basically what i have in mind http://oi42.tinypic.com/1949sh.jpg
14:33:44 <itidus21> notice how nice it looks having the toolbar lined up with the letterboxing.. either that or i'm a tad mad
14:33:54 <nortti> netsurf runs on it and so does gcc
14:34:07 <ais523> itidus21: then why is the letterboxing there at all?
14:34:55 <ais523> and actually, I prefer it to be the whole width
14:35:02 -!- hagb4rd has quit (Disconnected by services).
14:35:02 -!- hagb4rd2 has joined.
14:35:19 <ais523> a video I'm watching at the moment is using less than a third of the width, if the seek bar were a similar proportion seeking would be three times as difficult
14:35:44 <elliott> RocketJSquirrel: HOW DO I CANCEL X_X
14:35:52 <itidus21> you... ask a good quetsion.. why IS the letterboxing there at all >.>
14:36:02 <RocketJSquirrel> elliott: You can check out any time you want, but you can never leave.
14:36:36 <itidus21> ais523: ok ... i'll let it go right now
14:36:41 -!- hagb4rd2 has changed nick to hagb4rd.
14:39:12 <nortti> ais523: do you know that RISC OS has no memory protection and it uses co-operative multitasking
14:39:13 <elliott> Come ooon, I don't wanna gotta email support about this.
14:39:19 <elliott> They'll be all "WHY DID YOU PAY TWO MONTHS LATE"
14:39:30 <itidus21> speaking of curious gui design decisions, firefox recently started displaying images in the center instead of the top-left.
14:39:31 -!- cheater__ has quit (Ping timeout: 276 seconds).
14:41:10 <ais523> nortti: no but I'm not surprised
14:41:56 <ais523> itidus21: like every recent image viewer?
14:42:48 <nortti> ais523: I don't really think that is a really bad thing but many people disagree and have laughed at me after I told them that about RISC OS
14:42:51 -!- cheater__ has joined.
14:43:18 <ais523> meh, win3.1 is coop multitasking with no memory protection too, IIRC
14:43:23 <ais523> and it's entirely usable
14:44:31 <nortti> ais523: and so is system 1-Mac OS 9
14:45:24 <ais523> RocketJSquirrel: ah, OK
14:46:27 <ais523> the docs I was working from were written as though cooperative versions of Windows were still in use
14:52:50 <ais523> anyway, IMO, preëmptive multitasking is just a workaround for buggy programs
14:52:57 <ais523> and cooperative would be better if programs were written correctly
14:53:11 <ais523> (wow, we both diaresised the e independently? I didn't check to see if you'd done it until after I did)
14:53:12 -!- variable has changed nick to invariable.
14:53:14 -!- invariable has changed nick to const.
14:53:45 <nortti> ais523: I am thinking about writing my own hy
14:54:44 <elliott> RocketJSquirrel: cancel my prgmr for me thanks
14:54:48 <nortti> -hy+hobby os the way it uses co-operative multitasking, but it can preempt task that is not respondig/giving up cpu time
14:56:39 <ais523> it'd be silly if processes had to go into a busyloop waiting to be preëmpted
14:56:59 <ais523> hmm, is the opposite of preëmptive coöperative?
14:59:32 <nortti> RockeJSquirrel: no. it will have clock inteerupt incrementing counter and if it reaches 16 for example it sensd plesase give up cpu time signal to the program and if it doesn't do it for another 16 clock interrupts it will be marked not respondig and then it will be preempted, but program can give up cpu at any time if it wants
15:00:21 <ais523> nortti: SIGXCPU works pretty much exactly like that in Linux (although it gets killed, not pre-empted)
15:00:22 <RocketJSquirrel> nortti: OK, so what you've added to a preëmptive system is a nag signal.
15:00:33 <ais523> bleh, I broke the chain
15:18:44 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
15:19:56 -!- Capster has joined.
15:20:14 -!- sebbu2 has changed nick to sebbu.
15:22:21 -!- MSleep has changed nick to MDude.
15:27:14 <HackEgo> Capster: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page
15:35:53 <nortti> http://www.osnews.com/comment.php?news_id=25818
15:44:40 <RocketJSquirrel> Ohyeah, so the final report is almost exactly seven hours of battery life during video playback.
15:54:19 -!- asiekierka has quit (Remote host closed the connection).
15:57:31 -!- cheater__ has quit (Ping timeout: 276 seconds).
15:58:26 <elliott> http://stackoverflow.com/questions/10162297/i-need-to-create-a-tic-tac-toe-game-on-c-with-gui-can-someone-tell-me-what-i
15:58:30 <elliott> I'm about to delete this question.
15:58:37 <elliott> Everyone enjoy it while it's still there.
16:00:01 <ais523> delete, not just close?
16:01:59 <RocketJSquirrel> Other than the broken grammar in the title, I know of nothing wrong with it.
16:02:17 <elliott> http://ompldr.org/vZGR2Yw/stackoverflow.com-q-10162297.html
16:02:38 <elliott> (Yes, the entire question body is inexplicably in a blockquote tag.)
16:03:00 <elliott> (ompldr happily serves up raw HTML???)
16:03:03 <elliott> (That's as useful as it is insecure.)
16:03:23 <ais523> elliott: exactly equal?
16:03:35 <ais523> it's both useful and insecure, but it'd be a huge coincidence if it were both in equal ammounts
16:04:17 <RocketJSquirrel> It's not /enormously/ insecure, it's not like you could ompload PHP and it'll just run on the server.
16:05:14 <elliott> RocketJSquirrel: Weeell, let's put it this way
16:05:32 <elliott> http://ompldr.org/vZGR2Yw <-- do you expect clicking this link might lead you to a javascript nastygram?
16:05:50 <elliott> Wait, that /is/ a javascript nastygram.
16:06:04 <elliott> RocketJSquirrel: More of a "same trust" issue than a same origin policy issue :P
16:06:19 <elliott> And yeah, yeah, but a billion popups are worse than one distended anus.
16:06:26 <ais523> you could steal sessions with it, presumably?
16:06:36 <elliott> ais523: I don't think ompldr has any sessions.
16:06:36 <ais523> not sure if an ompldr session is worth anything
16:06:37 <RocketJSquirrel> `addquote <elliott> a billion popups are worse than one distended anus.
16:06:42 <HackEgo> 835) <elliott> a billion popups are worse than one distended anus.
16:07:12 <elliott> RocketJSquirrel: I specifically crafted that to get quoted but you have to obey the RULES dammit
16:07:53 <nortti> is there a way to browse trought those quotes?
16:08:01 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3288
16:08:16 <elliott> ais523: wait, do we do 4 or 5?
16:08:28 <HackEgo> 803) <Phantom_Hoover> BF derivatives are a cancer running throughout the fringes of the esolang community, and as the fringes vastly outweigh the core, we're screwed.
16:08:39 <ais523> how can you fail to remember that?
16:08:57 <HackEgo> Failed to clone the environment!
16:08:58 <HackEgo> 420) <Gregor> You just went from "no sexualized ads" to "we have ads for dildos, but they're different for ads for Orangina" X-D
16:08:59 <HackEgo> 129) <Mathnerd314> Gregor-P: I don't think lambda calculus is powerful enough
16:09:14 <elliott> RocketJSquirrel: If you used Transactional HackEgo...
16:09:30 <HackEgo> 346) <crystal-cola> I just thought you might have meant the Ramanujan tau and I was WOAH he weilds heavy weapons
16:09:34 <elliott> RocketJSquirrel: (then it would never clone the environment, and thus there would be no bugs)
16:12:39 -!- esowiki has joined.
16:12:39 -!- glogbot has joined.
16:12:39 <?unknown?> [freenode-info] channel trolls and no channel staff around to help? please check with freenode support: http://freenode.net/faq.shtml#gettinghelp
16:12:40 -!- HackEgo has joined.
16:12:43 -!- esowiki has joined.
16:12:44 -!- esowiki has joined.
16:13:02 <nortti> why do the ID's change all the time?
16:13:08 <elliott> nortti: because they're just based on file position
16:13:12 <elliott> so deleting a quote renumbers all the ones after it
16:13:19 -!- Capster has left.
16:13:19 <elliott> ais523: a prefix of a hash could work, yes
16:13:37 <elliott> first five base-36 digits of an sha sum, say
16:14:02 <HackEgo> 711) <ais523> the parser would be even simpler if I didn't try to do type inference in it
16:14:02 <nortti> what would happen on hash collision?
16:14:14 <HackEgo> 121) <fungot> AnMaster: intercal-72 c-intercal clc-intercal j-intercal yes all versions all versions
16:14:14 <HackEgo> 696) <shachaf> VMS Mosaic? <shachaf> I hope that's not Mosaic ported to VMS. <shachaf> Hmm. It's Mosaic ported to VMS.
16:14:14 <HackEgo> 247) <elliott> mtve, now he's an expert idler. <nddrylliog> mtve: kitty kitty kitty
16:14:14 <HackEgo> 430) <Gregor> decrypt 'illustrates the "can do" approach of conservatism in a patriotic way'
16:14:14 <elliott> nortti: I think that would be pretty unlikely.
16:14:32 <ais523> 247 is worst in that set
16:14:53 <elliott> 711 is funny, 121 is fungot-amusing, 696 is funny, 247 is... yeah, not that good, although the image amuses me
16:14:54 <fungot> elliott: here, i'll prove it, too, will take what i can get a little of that back with them, dromiceiomimus
16:14:58 <ais523> 121 is pretty low-quality for fungot, though
16:14:58 <fungot> ais523: this, my friends, is the malaise of the glutton at life's buffet, building complicaters? domino frustraters? wobbley times u.s.a.? um, maybe if i told his jokes
16:15:01 -!- RocketJSquirrel has joined.
16:15:03 -!- glogbackup has joined.
16:15:07 <elliott> and 430 is a direct Conservapedia quote, which is totally cheating, but I guess we'll have to live with it
16:15:58 <elliott> https://github.com/farbrausch/fr_public whoa
16:16:06 <elliott> ais523: meh, I'll roll again out of stubbornness
16:16:24 <HackEgo> 352) <olsner> boston cream pie? sounds related to a cleveland steamer
16:16:28 <ais523> or is it good enough to keep?
16:16:35 <HackEgo> 664) <Ngevd> "Facekicker" Hird is a member of the Hird family <Phantom_Hoover> Ngevd, world-renowned detective.
16:16:36 <HackEgo> 587) <Phantom_Hoover> You mean it'd be Tau Zero but without the spaceship?
16:16:37 <HackEgo> 500) [2008] <nooga> i'm testing Haiku <nooga> and it appears that it is a major shit <oerjan> 5+7+5, not 5+11, nooga
16:16:38 <HackEgo> 780) <Phantom_Hoover> "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," <Phantom_Hoover> OK I need to become a pyrotechnician. <ais523> Phantom_Hoover: that's like wanting to become a locksmith <ais523> so that you can legally own lockpicks <Phantom_Hoover> Did I mention when I wanted to become a locksmith?
16:16:41 <elliott> ais523: I don't dislike any of them strongly enough to delete now
16:17:08 <ais523> bleh, is there any way to adblock a favicon?
16:17:29 <ais523> elliott: I use adblock and noscript as generalised annoyance-blockers
16:17:37 <ais523> but this favicon is pissing me off, and adblock can't aim at it
16:18:26 <ais523> OK, I can get rid of it in the URL bar by editing the URL
16:18:29 <ais523> but not the copy in the tab
16:18:51 <elliott> it's getting harder, which means either the quotes are getting better, or my standards are getting lower
16:19:04 <HackEgo> 814) <shachaf> Lent is a bad habit that people find very difficult to give up.
16:19:41 <HackEgo> 419) * perlmonkey is pursuing the line of reasoning that eating raw foods can improve cognitive function <Phantom_Hoover> perlmonkey, well, it certainly makes you think about what you'd rather be eating.
16:19:41 <HackEgo> 159) <ais523> you should be eating corpses more
16:19:41 <HackEgo> 92) <fax> oklopol geez what are you doing here <oklokok> ...i don't know :< <oklokok> i actually ate until now, although i guess i also did other things...
16:19:42 <HackEgo> 185) <zzo38> catseye: Please wake up. Not recorded for this timezone. The big spider is not your dream
16:19:55 <elliott> haha at the juxta of 419 and 159
16:20:09 <elliott> not haha at 159 itself, alas
16:20:15 <elliott> although I suspect I'm to blame for that one
16:20:19 <ais523> it's a clear NetHack reference
16:20:20 <HackEgo> *poof* <ais523> you should be eating corpses more
16:20:28 <ais523> so it's only funny to people who don't know the context
16:20:32 <Phantom_Hoover> elliott, how the hell did you not eat corpses all the time?
16:20:54 <elliott> ais523: are you /sure/ it's 5?
16:20:58 <Phantom_Hoover> I compulsively eat everything I kill, unless it's a lichen, in which case I pick it up.
16:20:59 <HackEgo> 216) <elliott> oerjan: What, can girls aim their penises better?
16:21:11 <HackEgo> 491) <monqy> itidus20: i saw a dancing cgi skeleton named malaria. i danced and played with him.
16:21:25 <HackEgo> 259) <quintopia> who is guido van rossum <olsner> you could say he's a man who grew a beard but acquired none of the associated good properties
16:21:25 <HackEgo> 256) <zzo38> ais523: Maybe it is better, because I don't think the octopus will live very well in the tree. But the difference is that the Internet is lying and you cannot see such things; you could make modified picture, though, in order to lie more clearly, at least.
16:21:28 <elliott> that was the old old monqy
16:21:32 <HackEgo> 37) <oklopol> i'm my dad's unborn sister
16:21:33 <elliott> before he got corrupted into old monqy by bad influences
16:21:47 <ais523> I don't like 259 or 37
16:21:52 <ais523> the other three are good
16:22:11 <elliott> 259 is good, 37 is bad but traditional
16:22:33 <ais523> "traditional" is a reason to keep quotes?
16:22:40 <elliott> bah, if this doesn't turn up a really crap one I'm going to go on an indiscriminate quote massacre:
16:23:01 <HackEgo> 803) <olsner> the allocation is done by the "Dynamic" in DRAM <olsner> before that we used SRAM where everything was preallocated in the factory <fizzie> olsner: So what's this SDRAM then? <olsner> fizzie: synchronized, it's for multithreading
16:23:29 <HackEgo> 672) <Pavitra> That was me being *nice*. I could have made the request by word of mouth to my My Little Pony toys and it would count.
16:23:30 <HackEgo> 787) <itidus21> the possession of diamonds by the bourgeois is more about establishing their bourgeoisness more than wanting a malleable metal <itidus21> oops i forgot i said diamonds instead of gold
16:23:30 <HackEgo> 666) <fizzie> It's missing the "bear scat showing a diet of prime numbers" picture.
16:23:31 <HackEgo> 191) <cpressey> fizzie: I can never tell with OpenBSD! <cpressey> everything looks like an error anyway
16:24:25 <HackEgo> *poof* <fizzie> It's missing the "bear scat showing a diet of prime numbers" picture.
16:24:46 <elliott> what a wonderful way to wile away an afternoon this is
16:25:03 <HackEgo> 785) <fungot> elliott: to be honest, it doesn't exist in a state of almost perpetual stalemate, and expands to a larger board and more exotic collection of what he refers to as a thermal hull, instead of some kind of clock pun. no, dammit, will this breakfast injure his shrill, bearded, scraggly old men in space. jade's radioactive, omnipotent, space-warping dog named...
16:25:20 <HackEgo> 523) <itidus20> what i mean by afk is <itidus20> i can see how dumb it is.. ill make a coffe instead
16:25:29 <HackEgo> 816) <fungot> Phantom_Hoover: gsi-ffs.scm just has a tendency to give procedures meaningful, spelled out, names, unlike " fnord)"
16:25:35 <HackEgo> 23) IN AN ALTERNATE UNIVERSE: <oerjan> In an alternate universe, I would say "In an alternate universe, ehird has taste"
16:25:36 <HackEgo> 284) <elliott> 320 quotes and still not a funny one yet!
16:25:52 <elliott> multiple ones need to go there
16:26:06 <elliott> actually, I feel like keeping 284 because of the incrongognointosity
16:26:17 <HackEgo> *poof* <itidus20> what i mean by afk is <itidus20> i can see how dumb it is.. ill make a coffe instead
16:26:30 <elliott> ok someone else spin the slot machine this time
16:26:53 <HackEgo> 24) <ehird> so i can only conclude that it is flawed, or the world is utterly bonkers
16:26:58 <HackEgo> 78) <Eeyore> I used to have salt licks for my horses. They would make cool abstract sculptures with them.
16:27:08 <HackEgo> 449) <Sgeo> Dear eHow: Please don't assume that my toilet works like that <Sgeo> Or, at least, my toilet looks different
16:27:09 <HackEgo> 243) <nddrylliog> are you always careful to have a small enough margin so that it can't contain the proof? <oklofok> nddrylliog: i usually use latex, and make sure my hd is almost full
16:27:11 <HackEgo> Failed < 1334507241 963061 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that last one isn't funny at all
16:27:27 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: delete: not found
16:27:34 <HackEgo> 373) <elliott> sgeo do you actually know what sex looks like i am just checking here <Sgeo> I think so
16:27:48 <HackEgo> *poof* <Eeyore> I used to have salt licks for my horses. They would make cool abstract sculptures with them.
16:30:19 <elliott> Phantom_Hoover: You should spin it!
16:35:10 <fizzie> ais523: http://alpha61.com/primenumbershittingbear/ is kinda what it referred to.
16:35:43 <fizzie> It's Exactly What It Says on the Tin.
16:36:04 <fizzie> I don't quite recall what the "it" was in the context, though.
16:58:48 -!- zzo38 has joined.
16:58:59 -!- Nisstyre has changed nick to TheSussman.
16:59:17 -!- TheSussman has changed nick to Nisstyre.
17:01:54 <zzo38> ais523: What browser are you using? Some have an option to turn off favicons entirely so that they will not be displayed at all
17:09:45 <elliott> You know who we should disown?
17:09:47 <elliott> People who use bold-italics.
17:09:54 <elliott> Except when bolding the title of a work.
17:10:50 <ais523> what about doing them as parody?
17:11:05 <ais523> there's nothing wrong with doing something like this occasionally
17:11:13 <ais523> except that most clients don't interpret tab as toggle-italic, like Konversation does
17:13:26 <zzo38> My client interprets CTRL+B as bold, but doesn't interpret CTRL+I and just displays it "I" black on purple as it does with any unrecognized control character
17:14:00 <nortti> irssi shows I in reverse color
17:14:33 <olsner> seems like I is displayed as I here
17:18:14 <elliott> ais523: I think parody should be banned, too.
17:18:34 <ais523> well it doesn't display bold italics for anyone using a different client to me
17:18:39 <ais523> so how can you tell it actually is bold italics?
17:18:44 <ais523> I could be spoofing my version string
17:25:29 <lambdabot> Local time for fizzie is Sun Apr 15 20:25:28 2012
17:25:38 <lambdabot> Local time for nortti is Sun Apr 15 23:17:09 2012
17:26:03 <nortti> oh shit. I think I fucked up my time settings
17:27:59 -!- cheater has joined.
17:36:47 <zzo38> Here it is CTRL+V which shows reverse video (although it isn't really reverse video; it is black on yellow, while normal long-parameter-text is bright blue)
17:38:24 <lambdabot> Local time for nortti is Sun Apr 15 23:36:51 2012
17:39:13 <lambdabot> Local time for nortti is Sun Apr 15 20:37:40 2012
17:39:26 -!- Taneb has joined.
17:42:49 -!- nortti has quit (Read error: Operation timed out).
17:44:07 <Taneb> I can IRC and everything
17:46:04 <Taneb> This is The Future
17:46:25 <Taneb> ais523, what news on Feather?
17:46:38 <ais523> isn't that encouraging?
17:47:43 <Taneb> It's just like I thought it would be!
17:48:27 <Taneb> I can talk to my phone and it puts it in the chat
17:48:37 <Taneb> ha ha ha ha ha ha ha ha ha
17:49:06 <ais523> Taneb: try a tonguetwister
17:49:45 <Taneb> she sells seashells on the seashore
17:49:48 <ais523> or just try to do my nick through the voice thing, it probably isn't in its dictionary
17:50:31 <elliott> can i call you x from now on?
17:50:43 <elliott> `addquote <Taneb> coleridge and
17:50:43 <Taneb> can you guess is that was meant to be
17:50:46 <HackEgo> 832) <Taneb> coleridge and
17:51:41 <Taneb> that's not a fun depot
17:51:42 <zzo38> dbelange: Stop! Drive sideways.
17:52:23 <Taneb> voice changer to remove ads from transit as well as intended
17:52:38 <HackEgo> *poof* <Taneb> coleridge and
17:52:42 <elliott> `addquote <Taneb> coleridge and [...] <Taneb> voice changer to remove ads from transit as well as intended
17:52:46 <HackEgo> 832) <Taneb> coleridge and [...] .18.<.Taneb.>.. voice changer to remove ads from transit as well as intended
17:52:51 <HackEgo> *poof* <Taneb> coleridge and [...] .18.<.Taneb.>.. voice changer to remove ads from transit as well as intended
17:52:55 <elliott> `addquote <Taneb> coleridge and [...] <Taneb> voice changer to remove ads from transit as well as intended
17:52:58 <HackEgo> 832) <Taneb> coleridge and [...] <Taneb> voice changer to remove ads from transit as well as intended
17:53:08 <elliott> hmm, that ruins coleridge and :(
17:53:27 <zzo38> Why does it have the CTRL+C and CTRL+H in your message there?
17:54:21 <Taneb> the killers dancer in my c***
17:54:49 <Taneb> I would suggest with even though I was meant to say try
17:55:09 <Taneb> I think I'll stick to keyboard input now on
17:58:22 <HackEgo> *poof* <Taneb> coleridge and [...] <Taneb> voice changer to remove ads from transit as well as intended
17:58:26 <elliott> `addquote <Taneb> coleridge and
17:58:29 <HackEgo> 832) <Taneb> coleridge and
17:58:32 <elliott> `addquote <Taneb> voice changer to remove ads from transit as well as intended
17:58:35 <HackEgo> 833) <Taneb> voice changer to remove ads from transit as well as intended
17:58:37 <elliott> `addquote <Taneb> the killers dancer in my c***
17:58:41 <HackEgo> 834) <Taneb> the killers dancer in my c***
17:59:09 <elliott> Phantom_Hoover: i think the caps were appropriate
17:59:10 <Phantom_Hoover> I didn't see the context when I first looked, so I thought he was talking about the Killers song "Dancer in my Cunt".
17:59:43 <elliott> i had to google to check that wasn't actually real
18:00:39 <olsner> doesn't seem like it was
18:02:44 <Taneb> @pl \n c -> n * 10 + toInteger (digitToInt c)
18:02:44 <lambdabot> (. (toInteger . digitToInt)) . (+) . (10 *)
18:02:51 <elliott> did you type that with speech
18:03:03 <Taneb> because of how on earth would I do that
18:03:41 -!- nortti has joined.
18:04:21 <Phantom_Hoover> I love how it worked at first and then went straight to hell.
18:04:39 <Taneb> I dont even no idea what I'm saying
18:05:00 <elliott> `addquote <Taneb> l is it real <Taneb> I am [...] <Taneb> because of how on earth would I do that [...] <Taneb> I dont even no idea what I'm saying
18:05:04 <HackEgo> 835) <Taneb> l is it real <Taneb> I am [...] <Taneb> because of how on earth would I do that [...] <Taneb> I dont even no idea what I'm saying
18:05:21 <nortti> apparently it is good idea to have swap turned on when running linux on machine with 64MB of menory
18:06:07 -!- Ngevd has joined.
18:06:07 <Taneb> hang on I have bright idea
18:06:41 <Taneb> navajo to f me 1 in 3 people
18:06:50 <elliott> `addquote <Taneb> hang on I have bright idea <Taneb> navajo to f me 1 in 3 people
18:06:53 <HackEgo> 836) <Taneb> hang on I have bright idea <Taneb> navajo to f me 1 in 3 people
18:07:06 <elliott> This speech recognition software does seem rather fond of the profane.
18:07:24 <Taneb> profanity specialities
18:07:31 <elliott> `addquote <Taneb> profanity specialities
18:07:33 <HackEgo> 837) <Taneb> profanity specialities
18:07:57 <olsner> there must be an easier way to just put everything taneb says in the quote database directly
18:08:50 <elliott> ais523: hey, how come sets and relations in type theory end up contravariant only, when they're both covariant and contravariant in set theory?
18:09:05 <elliott> I think it's because making them covariant destroys constructivity or something but I'm not sure
18:09:23 <Taneb> thank you verse I'm not quite innocent
18:09:27 <ais523> elliott: I don't know, don't make me think about it
18:10:21 <elliott> ais523: but it's a very special day for thinking about things like that!
18:10:25 <elliott> `addquote <Taneb> thank you verse I'm not quite innocent
18:10:28 <HackEgo> 838) <Taneb> thank you verse I'm not quite innocent
18:11:04 <Taneb> I don't even know set theory I haven't a clue what is going on
18:11:17 <Taneb> wow got that 1 right
18:11:32 <elliott> `addquote <Taneb> I don't even know set theory I haven't a clue what is going on <Taneb> wow got that 1 right
18:11:34 <HackEgo> 839) <Taneb> I don't even know set theory I haven't a clue what is going on <Taneb> wow got that 1 right
18:11:38 <elliott> I figure we can just remove the unfunny ones later
18:12:20 <Taneb> it's funny what is gay right c***
18:13:06 <elliott> `addquote <Taneb> it's funny what is gay right c***
18:13:09 <HackEgo> 840) <Taneb> it's funny what is gay right c***
18:13:19 <elliott> I have no idea what gay right c*** is, to be honest.
18:13:22 <elliott> I'm not sure I want to know, either.
18:13:47 <Taneb> may I use my phone says it's nick to clarify
18:14:07 <elliott> `addquote <Taneb> may I use my phone says it's nick to clarify
18:14:09 <HackEgo> 841) <Taneb> may I use my phone says it's nick to clarify
18:14:27 <zzo38> Fine call someone see if they will clarify it for you
18:14:29 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9504
18:14:47 -!- Ngevd has changed nick to ClarifyingNick.
18:14:47 <zzo38> It might not help much
18:15:12 <ClarifyingNick> the gay right c*** was meant to be "It's funny what it can get right and what it can't"
18:15:15 <elliott> `delquote 831 # VIOLATES GUIDELINES
18:15:33 <elliott> ClarifyingNick: Stop trying to cover up your clear desire to know what is gay right c***.
18:16:00 -!- ClarifyingNick has changed nick to Ngevd.
18:16:04 <elliott> 820) s'f'slg;sd'sdfjhklf;sdklfjdfklgj
18:16:51 <elliott> Let's delete something someone actually said instead.
18:17:04 -!- monqy has joined.
18:17:08 <HackEgo> 170) <benuphoenix> the pregnant ones are usually taken already.
18:17:12 <elliott> hi monqy we were just having a party
18:17:16 <zzo38> Yes; it is a part of the history but, it is keep history even if you delete it I think? Isn't it?
18:17:18 <elliott> and are continuing to have said party
18:17:27 <HackEgo> 16) <fizzie after embedding some of his department research into fungot> Finally I have found some actually useful purpose for it.
18:17:28 <HackEgo> 412) <elliott> It's a Toy Story character, you uncultured fuck.
18:17:38 <HackEgo> 720) <CakeProphet> I like category theory because when you get over how damn weird it is it's still weird.
18:17:39 <HackEgo> 565) <Phantom_Hoover> I keep asking random people for "friendship <thing>" and it's crippling
18:18:16 <elliott> ais523: which one's worse?
18:18:27 <zzo38> No, I like those ones
18:18:42 <zzo38> And also 16 and 412 and 565 as well
18:18:45 <zzo38> So keep all of them on
18:18:45 <monqy> funny, I thought 720 was worse
18:18:51 <olsner> elliott: what's a toy story character?
18:19:00 <elliott> olsner: a Debian release, I think
18:19:16 <HackEgo> *poof* <CakeProphet> I like category theory because when you get over how damn weird it is it's still weird.
18:19:26 <Ngevd> 66 and 69 are pretty lame
18:19:42 <zzo38> What is the command to insert quotations in a specified numeric position?
18:19:47 <HackEgo> 80) [Warrigal] `addquote <Dylan> hahaha, Lawlabee is running windows <Lawlabee> 'cuz it's pretty awesome. [Lawlabee] Warrigal: :(
18:19:57 <olsner> that means... debian has a release that is newer than 1995?
18:20:05 <HackEgo> 745) <Phantom_Hoover> Here in Scotland we have a rigorous and well-tested theory of brothels.
18:20:11 <HackEgo> 623) <oerjan> yes 5 is very infixr
18:20:13 <HackEgo> 377) <ZOMGMODULES> scripting language. whole program analysis. together at last
18:20:13 <HackEgo> 310) <ais523> elliott: hey, thinking's easier than using the Internet
18:20:22 <zzo38> elliott: Then let's invent one.
18:20:31 <elliott> ais523: How come Debian adopted a Toy Story naming scheme despite being founded a few years before Toy Story came out?
18:20:42 <elliott> I mean, who the heck decides "you know this film that JUST CAME OUT? Let's base our naming scheme on its characters -- forever"
18:20:48 <ais523> perhaps they didn't need a naming scheme until it came out
18:20:55 <ais523> then used the film in a hurry
18:21:14 <elliott> 80 and 623 are rubbish there
18:21:29 <HackEgo> *poof* <oerjan> yes 5 is very infixr
18:21:32 <ais523> I read 80 several times trying to understand it, and failed
18:21:41 <ais523> whereas 623 looks like some haskell thing I don't know
18:21:44 <elliott> ais523: it's <Warrigal> "..." <Lawlabee> Warrigal: X
18:21:51 <elliott> where "..." = `addquote <Dylan> hahaha, Lawlabee is running windows <Lawlabee> 'cuz it's pretty awesome.
18:22:03 -!- Taneb has quit (Remote host closed the connection).
18:22:04 <zzo38> I think Debian could not make up release names so they could not make up releases, yet, until they make up Toy Story 3 and then they are able to continue releasing Debian too, they are lucky that works
18:22:09 <ais523> yep, I parsed that much, but still didn't understand it
18:22:12 <elliott> zzo38: I hate to tell you this.
18:22:16 <elliott> zzo38: But they already made up Toy Story 3.
18:22:24 <zzo38> elliott: I know they did
18:22:28 <ais523> zzo38: pixar, that is, not debian
18:22:36 <zzo38> elliott: I didn't mean to say they didn't
18:22:52 <ais523> hmm, that's a clarification you don't get to use very often
18:23:12 <fizzie> A Debian-made Toy Story sequel is something they could make when they run out of names next time, though.
18:23:23 <fizzie> It'd be all about Linux-running toys or something.
18:23:49 <elliott> We made that joke, like, years ago.
18:24:00 <elliott> I think it might have even been you who made it.
18:24:09 <fizzie> I... don't recall, but that's no proof of anything.
18:24:28 <elliott> `pastlog toy story.*debian
18:25:06 <elliott> `pastlog debian.*toy story
18:25:31 <HackEgo> 2010-11-05.txt:19:03:25: * Phantom_Hoover realises the Debian releases are named after Toy Story characters.
18:25:49 <tswett> ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome."
18:26:01 <tswett> Except that by "it", Lawlabee was referring to something entirely different.
18:26:09 <tswett> So when I added that quote, Lawlabee emotifrowned.
18:28:26 <elliott> `addquote <tswett> ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." <tswett> Except that by "it", Lawlabee was referring to something entirely different. <tswett> So when I added that quote, Lawlabee emotifrowned.
18:28:29 <HackEgo> 840) <tswett> ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." <tswett> Except that by "it", Lawlabee was referring to something entirely different. <tswett> So when I added that quote, Lawlabee emotifrowned.
18:30:02 <elliott> `addquote <olsner> is tswett Warrigal?
18:30:04 <HackEgo> 841) <olsner> is tswett Warrigal?
18:30:07 <elliott> ok, time to delete some to make room for that crap
18:30:26 <HackEgo> 334) <Phantom_Hoover> Oh, Hitler! You and your wacky antics!
18:30:50 <HackEgo> 351) <crystal-cola> here's a good multiplication algorithm <crystal-cola> 1010101 x 110 <crystal-cola> well <crystal-cola> I don't know how to do it but it starts like that
18:30:52 <HackEgo> 570) <Phantom_Hoover> FFS, building a perpetual motion machine should not be this hard.
18:30:53 <HackEgo> 261) <Vorpal> !bfjoust test (-)*10000 <EgoBot> Score for Vorpal_test: 12.9 <Vorpal> yay
18:30:55 <HackEgo> 607) <itidus20> what is nice about a pebble is that you can process it with your brain as a number by simply looking at it
18:31:16 <ais523> !bfjoust test (-)*10000
18:31:30 <ais523> it's even missing a 0 :)
18:31:30 <EgoBot> Score for ais523_test: 14.5
18:32:00 <elliott> it just keeps getting better
18:32:07 <olsner> !bfjoust test (+)*10000
18:32:12 <EgoBot> Score for olsner_test: 14.5
18:32:33 <ais523> !bfjoust test (-)*100000
18:32:35 <ais523> fizzie: parity compensation
18:32:39 <EgoBot> Score for ais523_test: 15.2
18:32:46 <ais523> you'd expect the two paritied versions of the same thing to get the same result
18:33:05 <elliott> because olsner_test got added
18:33:11 <monqy> did those make it to the hill?
18:33:17 <ais523> oh, really? I'd expect all those to not make it
18:33:19 <olsner> !bfjoust test (>+)*2000
18:33:22 <EgoBot> Score for olsner_test: 0.0
18:33:49 <olsner> hmm, did that break some rule and get killed or something?
18:33:57 <Ngevd> !bfjoust test >(+)*10000000
18:33:58 <monqy> went off the edge?
18:34:00 <ais523> olsner: that goes off the right end of the tape before the opponent can zero its own flag
18:34:03 <EgoBot> Score for Ngevd_test: 6.2
18:34:04 -!- KingOfKarlsruhe has joined.
18:34:06 <elliott> 698) <Vorpal> elliott: well how will you represent "The dog jumped over the lazy dog" then?
18:34:24 <ais523> 698 is indeed beautiful
18:34:28 <ais523> I'm interested in the context
18:34:32 <HackEgo> 698) <Phantom__Hoover> elliott, cars aren't perfectly spherical.
18:35:36 <HackEgo> 697) <Vorpal> elliott: well how will you represent "The dog jumped over the lazy dog" then?
18:36:01 <zzo38> The quick brown fox jumps over the lazy dog.
18:38:03 <zzo38> Jackdaws love my big sphinx of quartz.
18:38:46 <ais523> nortti: it enters a BF Joust into our running King of the Hill competition
18:38:58 <ais523> there's no penalty for submitting one that fails, it just won't get onto the hill
18:39:09 <ais523> so you need an actually good program to do better than that
18:39:32 <ais523> as in, something rather than nothing
18:39:50 <ais523> stats for how well your program did are available on (HTTP) request
18:40:05 -!- Ngevd has quit (Excess Flood).
18:40:56 <fizzie> There's also my Page of Plots (tm), I should maybe run it again one day on the current hill.
18:42:06 <elliott> fizzie: did you ever gcolour those things
18:42:23 <fizzie> Which were the things?
18:45:59 -!- Ngevd has joined.
18:49:05 <olsner> fizzie: what's the Page of Plots?
18:49:21 <nortti> !bfjoust >[(>[-]<[-]+[>[-]<[-]+]
18:49:22 <EgoBot> Use: !bfjoust <program name> <program> . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/
18:49:29 <nortti> !bfjoust asdff >[(>[-]<[-]+[>[-]<[-]+]
18:49:32 <EgoBot> Score for nortti_asdff: 0.0
18:50:43 <nortti> !bfjoust asdff >[>[-]<[-]+[>[-]<[-]+]
18:50:46 <EgoBot> Score for nortti_asdff: 0.0
18:50:50 <zzo38> !bfjoust 1 +[-+]++
18:50:52 <EgoBot> Score for zzo38_1: 9.4
18:50:59 <fizzie> olsner: http://zem.fi/egostats/ but it's out-of-date.
18:51:54 <elliott> nortti: your loop is unbalanced
18:52:53 <EgoBot> Use: !bfjoust <program name> <program> . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/
18:53:09 <nortti> !bfjoust asdff >[>[-]]<[-]+[>[-]<[-]+]
18:53:12 <EgoBot> Score for nortti_asdff: 17.0
18:53:20 <itidus21> !bfjoust notforlong ++[+[>-+]>>]
18:53:22 <EgoBot> Score for itidus21_notforlong: 11.3
18:53:57 <zzo38> Is bfjoust with input implemented? Possibly it could be implemented using the same programs but its own scoreboard
18:55:21 <nortti> why can't I find my program on the stats?
18:55:35 <elliott> because it sucked too much and dropped off the hill
18:55:55 <elliott> see also http://codu.org/eso/bfjoust/breakdown.txt after running a program
18:56:04 <elliott> and http://codu.org/eso/bfjoust/egojsout/ for any kind of serious development
18:56:26 <nortti> !bfjoust asdff >[>[-]]<[-]+[>[-]<[-]+]
18:56:30 <EgoBot> Score for nortti_asdff: 17.0
18:56:59 <itidus21> !bfjoust notforlong ++[+[<+>-][>-+]>>]
18:57:01 <EgoBot> Score for itidus21_notforlong: 0.0
18:57:10 <itidus21> i feel silly now with that name :D
18:57:45 <elliott> RED ALERT RED ALERT I'm about to delete http://stackoverflow.com/questions/10164689/linux-drivers-theory get it while it's hot.
18:57:51 <elliott> RocketJSquirrel: Phantom_Hoover: (That means YOU)
18:58:50 <monqy> rest peacefully, linux drivers theory
18:58:54 <monqy> "you will be missed"
18:59:05 <ais523> elliott: wow, that's a troll against Windows that's potentially valid?
18:59:14 <ais523> disguised as an FAQ question?
18:59:19 <ais523> (this is not redundant, btw!)
18:59:37 <itidus21> !bfjoust hiushui +[>+>>->++>>+++>>+>>>+++>>++>>>>+---++>>>>-->>>+++>>>>+]
18:59:41 <EgoBot> Score for itidus21_hiushui: 0.0
18:59:57 <elliott> ais523: I cannot claim to know "is".
19:00:02 <elliott> It is pure form itself; it has no content.
19:00:13 <elliott> I can merely meditate upon its existence. And also delete it
19:00:19 <ais523> elliott: I'm trying to work out what your ""is"" is
19:00:28 <ais523> well, referring to, at least
19:00:30 <elliott> ais523: Bill Clinton once struggled with the same metaphysical question.
19:00:44 <monqy> !bfjoust tibute_to_itidus21 <
19:00:47 <EgoBot> Score for monqy_tibute_to_itidus21: 0.0
19:01:01 <elliott> ais523: Well, he stopped being President.
19:01:02 <monqy> !bfjoust woops_I_meant_tribute +
19:01:05 <EgoBot> Score for monqy_woops_I_meant_tribute: 9.8
19:01:14 <ais523> !bfjoust the_old_standby (>)*8(>[+])*21
19:01:17 <EgoBot> Score for ais523_the_old_standby: 22.3
19:01:30 <ais523> if you can't beat that, you should probably think hard about how you design BF Joust programs
19:01:55 <elliott> ais523: ("It depends upon what the meaning of the word 'is' is." --Bill Clinton)
19:01:59 <ais523> (admittedly, even rule of nine took a few days to discover)
19:02:00 <itidus21> !bfjoust counter_tribute_to_tidus ++[[+++>++>][+++<++<]]+
19:02:03 <EgoBot> Score for itidus21_counter_tribute_to_tidus: 9.9
19:02:07 <ais523> elliott: oh, but he just had a single layer of quoting
19:02:13 <ais523> I was asking about the meaning of ""is""
19:02:22 <ais523> (or ((is)) with Underload quoting)
19:03:01 <elliott> ais523: The "is" I was referring to was the "is" in your "wow, that's".
19:03:05 <ais523> if you can't tell the difference between ""is"" and """is"""…
19:03:06 <elliott> (i.e. the "is" in "that is".)
19:03:18 <elliott> Thus, I cannot claim to know what that "is" is.
19:03:25 <nortti> !bfjoust perkele [++++]
19:03:27 <EgoBot> Score for nortti_perkele: 13.3
19:03:55 <ais523> !bfjoust perkele_notsuiciding +[++++]
19:03:59 <EgoBot> Score for ais523_perkele_notsuiciding: 15.5
19:04:22 <elliott> http://stackoverflow.com/questions/10120428/is-it-possible-to-draw-a-graph-using-javascript
19:04:42 <ais523> elliott: is there a cost for deletion?
19:05:16 <nortti> !bfjoust perkele [+++++]
19:05:16 <elliott> No. It takes at least three people to delete something. More if the question has more votes.
19:05:17 <ais523> like there is for downvotes
19:05:19 <EgoBot> Score for nortti_perkele: 15.1
19:05:30 <ais523> I was wondering if you had to pay in deletons or something
19:05:37 <elliott> I'm just going through the "most delete votes" tab in the moderator tools.
19:05:46 <olsner> nice, "can anyone suggest me the proper script.This is a simple one"
19:05:58 <ais523> is there a don't-delete vote to counteract it?
19:06:01 <ais523> olsner: plz send me the codes
19:06:08 <elliott> ais523: no, but there's an undelete button afterwards
19:06:11 <ion> “This question was removed from Stack Overflow for reasons of moderation.”
19:06:17 <elliott> RocketJSquirrel: Soon I'll delete *your* *children*!
19:06:27 <ais523> ion: gah, trying to figure out if that's valid but very bad english, or if it's just wrong
19:06:47 <elliott> there's nothing wrong with that sentence!
19:07:02 <elliott> ion: http://ompldr.org/vZGR6NQ
19:07:13 <elliott> Annoying that that thing does not save the comments.
19:07:15 <ais523> elliott: isn't it equivalent to "this question was removed from Stack Overflow for moderate reasons"?
19:07:32 <elliott> ais523: err, only if you deliberately use the wrong meaning of "moderation"?
19:07:49 <ais523> elliott: the correct one doesn't fit into the sentence there
19:08:06 <olsner> there was too much of that question, now there is an appropriately moderate amount of it
19:08:12 <ion> elliott: heh
19:09:25 <itidus21> !bfjoust hudhewui >>>>>>>>>>>>>>>>>+[++>[-]<]
19:09:29 <EgoBot> Score for itidus21_hudhewui: 0.2
19:10:14 <monqy> !bfjoust congratulations_itidus21 -
19:10:15 <zzo38> In the Dungeons&Dragons game, there is one room I was only able to enter because one of the guards in the arrow slot room knew about lockpicking and had the tools for it (he never exited the guard room).
19:10:17 <EgoBot> Score for monqy_congratulations_itidus21: 9.7
19:10:22 <monqy> congratulations itidus21!
19:11:10 <zzo38> And I managed to trick a pursuer by teleporting myself to the same location but one minute forward in time.
19:11:33 <itidus21> !bfjoust hudhewui >>>>>>>>>>>>>>>>>+[++>[<->]<]
19:11:35 <EgoBot> Score for itidus21_hudhewui: 0.2
19:11:49 <itidus21> just kidding, of course i didnt
19:12:31 <elliott> does anyone want to tell itidus21 about the rule of 9
19:12:36 <EgoBot> Sorry, I have no help for languahes!
19:12:45 <EgoBot> languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh.
19:13:26 <ais523> <ais523 in another channel> I'm misinterpreting your answer as being to my question in an attempt to derail the conversation
19:13:31 <ais523> yes, it's got that bad
19:14:11 <itidus21> !bfjoust hudhewui >>>>>+[+>[<->]<]
19:14:15 <EgoBot> Score for itidus21_hudhewui: 0.9
19:14:39 <elliott> ais523: by the way, what's the type of a closure?
19:14:42 <elliott> or did i already ask you that
19:14:52 <ais523> elliott: function type, typically
19:14:59 <ais523> or thunk type, in languages that have that
19:15:35 <ais523> well, if the closure doesn't take arguments, then in a pure language you can't distinguish it from a value
19:15:43 <ais523> which is why function types are so common for closures
19:15:44 <elliott> the type of a closure is ∃s.(s, (s,a) → b)
19:20:16 <itidus21> !bfjoust hudhewui +[-+>[<-+>]<]
19:20:19 <EgoBot> Score for itidus21_hudhewui: 10.8
19:20:24 <ais523> ok now I have moved into pedantically nitpicking people's spelling hepl
19:20:44 <ais523> I'm not good enough at trolling to derail a conversation that really badly needs derailing
19:21:18 <elliott> a discussion about feminism on IRC
19:21:21 <elliott> how could anything possibly go wrong
19:21:41 <ais523> note: it's entirely offtopic, and a very large proportion, possibly everyone, involved is male
19:22:04 <elliott> just /part, that's what I do when conversations are (a) hopeless and (b) hopelessly unstoppable
19:22:11 <ais523> and it's got so heated and idiotic that people are repeatedly ragequitting
19:22:21 <ais523> I'm hoping to salvage the channel before leave it permanently
19:22:38 <elliott> what channel is it, out of curiosity? I promise not to join :P
19:22:39 <ais523> *more people leave it permanently
19:23:05 <ais523> meh, you can join if you can think of a plausible way to change the subject
19:23:14 <ais523> preferably to something really boring so conversation dies
19:23:21 <elliott> nah, I suspect being witness to that conversation would just annoy me
19:24:56 <ais523> OK, someone's trying to derail the conversation by thinking of even /more/ controversial topics to deflect it onto
19:25:00 <ais523> I, umm, is that a bad idea?
19:25:04 -!- derdon has quit (Remote host closed the connection).
19:25:12 <elliott> ais523: did you know Intel stands for INTegrated ELectronics????
19:25:42 <itidus21> how much harm can a long term offtopic do?
19:25:46 <elliott> did you know that AMD stands for Actually, More Daleks?
19:25:58 <zzo38> elliott: I think you are wrong about AMD
19:26:01 <ais523> no, presumably because it's false
19:26:09 <elliott> it's okay to know things that are false too!
19:26:11 <ais523> zzo38: I think he's lying, rather than wrong
19:26:12 <elliott> you have to have some variety
19:26:14 <ais523> he might also be wrong, I guess
19:26:29 <zzo38> ais523: Even if you are lying, you will still be wrong
19:26:58 <ais523> OK, the going onto even more controversial topics, shockingly, is actually working, because everyone's adopting a parody of a position that basically nobody agrees with
19:27:07 <itidus21> is it actually more efficient to know whats true than whats false, or is that a perceptual bias?
19:27:20 <ais523> and in the parody one-upmanship, they've forgotten the subject
19:27:36 <ais523> itidus21: are there more true things or false things?
19:28:08 <elliott> ais523: equal, except on saturdays
19:28:10 <ais523> no, it's more or less the opposite of zen
19:28:13 <elliott> when false things take a slight lead
19:28:24 <ais523> in zen, there is no false, there is no true, there is only oneness
19:28:31 <elliott> `addquote <itidus21> ais523: thats very zen really <ais523> no, it's more or less the opposite of zen
19:28:35 <HackEgo> 842) <itidus21> ais523: thats very zen really <ais523> no, it's more or less the opposite of zen
19:29:48 <Ngevd> I'd say there are more false things than true things
19:30:10 <ais523> Ngevd: but it's Sunday
19:30:11 <zzo38> Ngevd: Some things can be neither true nor false
19:30:33 <Ngevd> For every true thing, there can be many false things
19:30:41 <Ngevd> However, as both are infinite?
19:30:44 <Ngevd> Are they both countable?
19:31:11 <elliott> ais523: he was just trying to increase the number of false things
19:31:24 -!- Sleeptalik has changed nick to Tiktalik.
19:31:24 <ais523> surely it exists even if it remains unsaid?
19:31:44 -!- oklopol has quit (Quit: ( www.nnscript.com :: NoNameScript 4.22 :: www.esnation.com )).
19:33:25 <zzo38> What do you know about psychic phenomena? I have heard of various experiences, experiments, and so on. Many fail to find any psychic phenomena, but Kuda Bux could walk on very hot fire that nobody else can. Some people suggest it is a trick, some say it is psychic; but I think the real reason is something unusual about his feet which medical science does not yet know.
19:34:07 <itidus21> conciousness itself is probably a psychic phenomena
19:34:32 <zzo38> itidus21: Yes, that seems reasonable. But first let me finish by writing more messages, then we will know better.
19:36:13 <itidus21> i'm gonna retreat to the tv now
19:36:59 <zzo38> Someone found a telephone number in a newspaper, of someone claiming to be psychic and no payment required. This was another city. He called the number, and the psychic said, please hang up, write ten yes/no questions which you know the answer to, and call me back tomorrow. He called back, they answered all ten questions correctly without knowing what they are, in the correct order. However, this is an isolated incident so we don't know if it means anything. (
19:37:55 <ais523> zzo38: was the person who phoned the psychic?
19:38:18 <zzo38> ais523: I don't know.
19:38:30 <ais523> that would be a simple enough explanation
19:39:06 <Ngevd> Was the person phoned a weird stalker guy with cameras EVERYWHERE
19:39:46 <Ngevd> ais523, UK private sector
19:39:56 <elliott> i'm just asking the quesitons nobody has thought of
19:40:03 <zzo38> Ngevd: I think that is even less likely than the other explanations but possible
19:41:59 <zzo38> Another thing done was a proper scientific experiment. They made a quantum noise random bit generator, connected to a red and green light. They saw the lights seem equal red/green approx. 50% each with many trials. Later on, a psychic came in and was asked to observe the lights and make it red all the time. It didn't turn out red all the time, but it did come red a statisticly significant 52% of the time.
19:42:34 <Ngevd> That person needs to try harder
19:43:35 <zzo38> (The equipment wasn't faulty; it had been tested.) After that, another one was made up, but instead was recorded on a tape and printed out (the printout was only viewed casually by the scientists, to ensure that the ink is OK); a psychic then came in and was asked to do the same thing (not knowing it was recorded); the same thing happened, and the lights did match the printout.
19:45:19 <zzo38> To me, after reading about the first experiment, this is the expected result (due to both spacetime relativity and quantum mechanics). Someone I told this to said he would not expect that; but I would think, spacetime is together rather than separate and relative rather than absolute (something shown by many mainstream experiments in the past). Perhaps this is one of the possible keys to unifying relativity with quantum mechanics.
19:46:02 <zzo38> (Note: The report did not mention relativity; or at least, I did not read anything in the report about relativity; I may have not read the entire report. The relativity is my own conclusion.)
19:50:24 -!- pikhq has quit (Read error: Operation timed out).
19:51:20 <zzo38> elliott: I highly doubt the caller was dead. I think the caller is the one who wrote about this; so he may have been lying but not dead.
19:52:18 -!- pikhq has joined.
19:55:28 -!- oerjan has joined.
20:01:38 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]).
20:02:22 <nortti> did you know that almost half of people are worse at logical thinking than average?
20:02:43 <zzo38> nortti: By "average", do you mean the mean or median?
20:05:22 <zzo38> I didn't know that.
20:05:36 -!- elliott has quit (Read error: Operation timed out).
20:05:53 <zzo38> But I suppose you are probably correct
20:06:36 <Ngevd> So... logical thinking is an approximately symmetrical distribution?
20:07:38 <oerjan> can you sense how almost half of people have a lousier than average intuition?
20:08:23 <ais523> oh no, you're using a different average deliberately for proof of symmetry
20:09:08 <oerjan> ais523: if your intuition is good enough to distinguish mathematical averages, i'll be impressed
20:09:41 <ais523> oerjan: in very skewed distributions, mode from mean is pretty easy to distinguish intuitively
20:09:50 <ais523> and in distributions with large outliers, median from mean is
20:10:09 * oerjan wonders if anyone has measured the distribution of intuition
20:16:14 <oerjan> that was my second wondering. apart from the myers-briggs test (which is only binary for intuition), i don't know
20:20:28 -!- Ngevd has quit (Read error: Connection reset by peer).
20:22:25 <oerjan> hm wait it's probably not really binary, it's just that the INTP etc. classes have only N vs. S
20:28:00 <pikhq> TIL: GTK can be switched over to Cyrllic transcription input.
20:28:21 <pikhq> Ас ёу цан имагине, тхис веирдед ме тхе фуцк оут.
20:30:06 <oerjan> hm wait ё is probably yo, not just y
20:32:59 <olsner> egojsout makes opera use infinite ram :(
20:33:13 <zzo38> I am advancing a D&D level which skill should I select?
20:34:30 <zzo38> There is neither skill
20:34:55 <oerjan> brain surgery might be plausible, in a frankenstein monster way
20:34:56 <zzo38> Profession? Diplomacy? Decipher Script? Spellcraft?
20:36:29 <zzo38> Actually I already selected Decipher Script and should select one more
20:36:32 <oerjan> Dire Butterfly Collection
20:37:42 <oerjan> whatever you do, don't remove those pins
20:38:04 <zzo38> That's good, because I don't have any pins
20:38:29 <oerjan> you need pins for dire butterfly collection, duh
20:38:33 <zzo38> O, I know which one, I will select Disable Device
20:38:42 <oerjan> preferably enchanted ones, i think
20:40:36 <oerjan> Recipher Script, for when you realize reading that scroll was a _really_ bad idea
20:41:58 <zzo38> Which Illithid Savant Extras feature should I select? (Read the current situation if you want; also, I have the text of the Extras features in another file)
20:43:09 <zzo38> oerjan: Read it for full information about the game
20:43:55 <zzo38> I will ask someone else for suggestions
20:44:39 <oerjan> that may be best, as i don't know much more about d&d than what i've learned through d&d comics and a little wikipedia
20:45:24 <zzo38> The file "level20.tex" (and its compiled "level20.dvi") describes the complete story and all character sheets; it is possible to learn a few things about a game from such a transcript
20:45:31 <oerjan> but there was an illithid in one of them, a fairly evil character
20:46:23 <oerjan> actually there was an illithid in oots too but that was just an enemy encountered
20:47:01 <oerjan> but yafgc has regular evil characters (but also good ones)
20:47:16 <zzo38> I have been assigned by a dwarf who freed me from being enslaved by other illithids, and also freed a doppelganger for the same assignment, to find and kill the emerald monster (some kind of demon); who has just been found now. The doppelganger is another player character who has quit
20:47:58 <zzo38> (The dwarf was also a slave)
20:48:27 <zzo38> This means I have been able to take absolutely nothing when escaping; so I am wizard with no spellbooko
20:49:16 <Phantom_Hoover> NOTE TO SELF: playing TF2 is hard if you don't heat your room.
20:49:58 <oerjan> who needs working fingers anyway
20:50:34 <zzo38> Doing jigsaw puzzles with your feet is cheating! (At least, this is what someone at school once said)
20:53:40 <oerjan> i don't think it counts if you don't have working fingers
20:55:47 <zzo38> Do you like some of these ideas for D&D game scenario?
20:55:52 <zzo38> * The church has run out of money.
20:56:03 <zzo38> * The king is allergic to magic and wishes all spellcasters (arcane, divine, and psionic) destroyed (including the royal spellcasters).
20:56:19 <zzo38> * The king wishes to eliminate all beholders from the city, even though only (exactly) half of them have done anything wrong. The problem with this is that there are an odd number of them!
20:56:23 <zzo38> * Airplanes appear and nobody understands them.
20:56:28 <zzo38> * The sun rises in the wrong place.
20:56:56 <zzo38> * A dwarf walks in to a bar (ouch). Heal him, please. (From WoTC forums)
20:57:07 <zzo38> * Help a beholder find his lost monocle/glasses. (From WoTC forums)
20:58:04 <zzo38> * The player character's equipment has been stolen and then another thief has stolen it from that thief too
21:02:23 * oerjan realizes tungsten and rhenium have high enough boiling temperatures that they might _not_ boil on the sun's surface
21:03:19 <oerjan> hm wait that ignores pressure
21:04:02 * oerjan is reading today's iwc annotation
21:16:45 <zzo38> I have selected "Learn Plans"
21:18:22 <zzo38> I found a castle with no windows, and the road that leads to it leads nowhere else; there is dense forest around it. There is no water source either.
21:20:47 <zzo38> oerjan: You have answered me before about the counterpoint :: x -> f (f x); stuff; do you know what kind of laws or other thing about it? Does this work? contramap counterpoint . counterpoint = id = contramap counterpoint . ccmap counterpoint (where ccmap = contramap . contramap)
21:22:15 <oerjan> i'm sorry, my brain is not sufficiently awake for that
21:22:32 <zzo38> What time do you wake up?
21:22:48 <oerjan> it's not about sleeping, it's about being tired
21:22:57 <oerjan> (and not from lack of sleep)
21:23:45 <zzo38> It resembles one of the monad laws with contramap counterpoint in place of join, counterpoint in place of return, and ccmap in place of fmap.
21:24:11 -!- MDude has quit (Quit: later chat).
21:24:24 -!- MDude has joined.
21:26:11 -!- MDude has quit (Read error: Connection reset by peer).
21:26:28 -!- MDude has joined.
21:36:52 -!- hagb4rd has quit (Quit: hagb4rd).
21:37:39 -!- hagb4rd has joined.
22:38:30 -!- nortti has quit (Quit: nortti).
22:44:43 -!- nortti has joined.
22:46:04 -!- oklopol has joined.
22:47:12 <oklopol> it means exactly what it looks like.
22:51:13 -!- Phantom_Hoover has quit (Quit: Leaving).
22:52:28 <oklopol> please comment on the amount of fingers in my hands
22:52:37 <oklopol> (all of these fingers are in my hands)
22:53:21 <ion> Nine fingers was an awesome Amiga demo. It even ran on the Amiga 500.
22:53:38 <oklopol> that sounds even more awesome than 10 fingers
22:54:24 <oklopol> please tell me about this amount of fingers
22:57:54 <oklopol> i think i may be drunk on orange juice.
22:58:24 <oklopol> i'm gonna sleep, keep up the good work
22:58:41 <oklopol> the power of continuum will rise again
23:01:41 <ion> Enjoy being locked in your matrix of solidity.
23:04:28 -!- Patashu has joined.
23:07:44 <HackEgo> 796) <fizzie> fungot: Yeah, "fungott" would [...] remind people of elliott. <fungot> fizzie: now that could be nice for a simple language can be used
23:08:07 <HackEgo> 556) <monqy> i am out of all the fame loops <monqy> and the australien soap opera loops <monqy> so much loop / s omcuh
23:13:42 <HackEgo> 534) <itidus20> software patents strike again <ais523_> that's got to be at least three times, now <ais523_> are they out yet?
23:14:42 <HackEgo> 570) <Phantom_Hoover> FFS, building a perpetual motion machine should not be this hard.
23:14:54 <HackEgo> 267) <oerjan> <Gregor> oerjan: Tell us what (a(b{c}d)*2e)%2 expands to <-- ababcdbcdedbabcdbcdede, i think <Gregor> oerjan: What - the - fuck
23:15:48 <HackEgo> 141) <cheater99> incest is best
23:15:56 <HackEgo> 352) <crystal-cola> 3 = 7/2
23:16:36 -!- augur has quit (Remote host closed the connection).
23:16:58 <HackEgo> 763) <fungot> [...] we choose only die fittest people of nigeria [...]
23:17:04 -!- augur has joined.
23:17:41 <HackEgo> 837) <Taneb> I don't even know set theory I haven't a clue what is going on <Taneb> wow got that 1 right
23:19:35 <HackEgo> 828) <shachaf> elliott: Apparently Rowan Williams is Primate of All England. <shachaf> CHECKMATE CREATIONISTS
23:20:14 <HackEgo> 783) * Phantom_Hoover moves 0.5 Phantom_Hoover into the Atlantic, and captures fizzie's upper body with 0.5 Phantom_Hoover. <fizzie> Glurk.
23:21:25 -!- augur has quit (Ping timeout: 252 seconds).
23:27:27 -!- itidus20 has joined.
23:29:27 -!- itidus21 has quit (Ping timeout: 265 seconds).
23:32:55 -!- itidus20 has changed nick to itidus21.
23:33:04 <itidus21> !bfjoust hudhewui +[-+>[<+>]<]
23:33:09 <EgoBot> Score for itidus21_hudhewui: 12.9
23:33:58 -!- Tiktalik has changed nick to Tiktalik|FOOOOOO.
23:34:18 -!- Tiktalik|FOOOOOO has changed nick to Tiktalik|Food.
23:36:46 <itidus21> !bfjoust hudhewui +[-+>[>[-]<<+>]<]
23:36:50 <EgoBot> Score for itidus21_hudhewui: 10.4
23:37:12 <qfr> Haskell is prospering, there are no boundaries to what faith can achieve! CHECKMATE ATHEISTS!
23:37:48 <itidus21> !bfjoust hudhewui +[-+>[>[-[-[-]]]<<+>]<]
23:37:50 <EgoBot> Score for itidus21_hudhewui: 10.4
23:39:09 <itidus21> !bfjoust hudhewui +[-+>[>[-[+[-[+]]]]<<+>]<]
23:39:12 <EgoBot> Score for itidus21_hudhewui: 12.7
23:39:37 <monqy> itidus21: what are you doing
23:40:53 <itidus21> i think i ... didnt think this through monqy
23:41:14 <EgoBot> Score for RocketJSquirrel_suicide: 9.7
23:41:21 <ais523> RocketJSquirrel: < is more suicidy
23:42:12 <itidus21> i was imagining that they were non looping conditionals
23:44:04 <ion> What’s bfjoust?
23:46:57 <itidus21> !bfjoust hudhewui +[-+>[>[-]>[-]<<<+>]<]
23:47:00 <EgoBot> Score for itidus21_hudhewui: 9.9
23:48:32 <nortti> ion: check wiki artice about BF joust
23:49:53 <itidus21> !bfjoust hudhewui +++++++++++++++++++++++++++++[-+>[<+>]<]
23:49:57 <EgoBot> Score for itidus21_hudhewui: 16.2
23:50:26 <ion> nortti: Ok, thanks
23:51:15 <nortti> !bfjoust perkele [+]>>>>>[
23:51:18 <EgoBot> Score for nortti_perkele: 0.0
23:52:22 <nortti> !bfjoust perkele [+++]
23:52:25 <EgoBot> Score for nortti_perkele: 15.2
23:52:30 <olsner> !bfjoust test (+.>[+[+]])*31+[-[-]].
23:52:32 <EgoBot> Score for olsner_test: 14.2
23:52:33 <zzo38> CHECKMATE CREATIONISTS? CHECKMATE ATHEISTS? No, you are both wrong.
23:52:53 <monqy> checkmate, everyone
23:53:03 <zzo38> monqy: Are you good to play chess game?
23:53:05 <monqy> checkmate, nobody?
23:53:13 <monqy> I'm not a chess guy
23:55:36 <itidus21> !bfjoust hudhewui [++]++++++++++++++++++++++[-+>[<+>]<]
23:55:39 <EgoBot> Score for itidus21_hudhewui: 15.6
23:57:00 <itidus21> !bfjoust hudhewui [-]+++++++++++++++++++++++++++++[-+>[<+>]<]
23:57:04 <EgoBot> Score for itidus21_hudhewui: 16.3
23:58:35 <zzo38> Just "yes" is not good enough
23:59:07 <itidus21> !bfjoust hudhewui [-]+++++++++++++++[[-+>[<+>]<]+]
23:59:10 <EgoBot> Score for itidus21_hudhewui: 16.3
23:59:44 <itidus21> !bfjoust hudhewui [-]+++++++++++++++[[-+>[<+>]<]----------------]
23:59:47 <EgoBot> Score for itidus21_hudhewui: 16.3