00:00:46 * oerjan wasn't aware that existensials were useless in haskell 00:01:40 @flush 00:01:47 oerjan: well they usually are because you can just pre-apply them. 00:01:58 like how (exists a. (Show a) => a) is String (modulo the precedence stuff which you can do too if you want) 00:02:13 (exists s. (s, s -> a)) is a because all you can do is apply it, etc. 00:02:51 forall s. Foo { initialiseState :: IO s, doSomethingA :: s -> IO (), doSomethingB :: IO () } --> Foo (IO Bar) where Bar { doSomethingA :: IO (), doSomethingB :: IO () } 00:02:53 etc. 00:02:56 > a + b = 5 00:02:56 : parse error on input `=' 00:03:01 :( 00:03:05 (plus http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/) 00:05:14 Madoka-Kaname: > takes expressions, not declarations 00:09:44 i wouldn't say they're "usually useless" 00:10:05 but they are overused 00:10:21 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 but no, "null" is useful in the right context 00:11:58 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 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 well your third example, with the IO 00:12:51 if your objects *don't* have destructive update 00:13:00 or if you just sometimes want to return (IO s) 00:13:07 's not uncommon 00:13:13 I don't understand what you mean by either of those. 00:15:49 anyway I think API design in Haskell is probably hopeless 00:15:57 wat 00:16:05 people spend their whole programming lives thinking about OOP design, and they still screw it up regularly 00:16:17 very few people do enough Haskell programming to get the knack for good API design 00:16:43 i've never seen a list of rules or guidelines and I expect the community would not welcome same 00:17:05 you're way too cynical 00:17:25 maybe 00:17:39 a confounding factor is that the most popular OOP languages don't actually support OOP style very well 00:18:18 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 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:18 *requirements to software 00:22:50 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 because... it's just better 00:23:13 so while there's less of a culture around rules and guidelines for API design, they're less necessary 00:23:41 hahahahahahaha 00:23:46 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:47 kmc: well, come on 00:23:52 i'm not saying haskell magically solves all problems 00:24:06 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 it avoids some of the OOP pitfalls but it introduces many pitfalls of its own 00:24:32 like having to provide a way for the user to control strictness 00:24:50 that's not necessarily a requirement of an API... 00:25:19 and dealing with all the incompatible string / vector / iteratee types 00:25:37 it's not necessarily a requirement of a library that it be good or useful 00:26:22 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:42 bullshit 00:26:43 so you have to balance API niceness against the level of sophistication required from the user 00:33:08 you can call bullshit if you want elliott 00:33:18 i did :) 00:33:19 but i've found all of these to be pain points with Haskell APIs 00:33:26 and you haven't provided any argument to the contrary 00:33:34 they're not *always* an issue but neither are the standard OOP pitfalls 00:33:52 if you end up requiring crazy GHC extensions for an API it's usually because you're trying too hard 00:34:09 another pain point is that people write high level looking FFI bindings and don't f*cking make them threadsafe 00:34:10 imo 00:34:12 but that's not really Haskell's fault 00:34:21 that's C's fault :P 00:34:28 That's a failure of pain-over-IP protocol. 00:34:31 haskellers have higher standards 00:34:59 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 i am not saying it's impossible to design a good API in Haskell 00:35:16 shrug 00:35:25 is your point just "people are incompetent" 00:35:30 no 00:35:42 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:35:48 -_- 00:37:32 kmc: were you this cynical before #haskell started burning you out 00:37:37 yeah 00:37:45 elliott you're not understanding my point about APIs 00:37:48 that's fine ok 00:38:06 just askin' 00:38:31 you seem to be acting as if I'm saying "API design is easy" 00:38:47 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 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 because, while the OOP pitfalls go away, there are new ones 00:39:33 so I think it's hard to argue that Haskell API design is easier or harder on balance 00:39:50 fine, but that's hardly "API design in Haskell is probably hopeless" 00:40:47 well combine it with the fact that few people learn Haskell well enough to understand the pitfalls 00:40:55 what is the difference between a haskell api and one made java (e.g.) 00:40:56 ? 00:43:37 -!- cswords has quit (Ping timeout: 276 seconds). 00:48:24 elliott: I would hang around #haskell being cynical about how everyone else is too dumb to understand how great Haskell is 00:50:08 and I still kind of feel that way, too 00:50:12 so yes, I did get more cynical ;P 00:50:25 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 you don't see because you don't know much about haskell 00:51:01 -!- Phantom_Hoover has quit (Quit: Leaving). 00:51:08 a lot of people only know programming languages which are very similar to each other 00:51:15 @tell Phantom_Hoover i remembered 00:51:15 Consider it noted. 00:51:27 All programming languages are basically the same thing. 00:51:31 but if i use an interface, i don't really need to? am i wrong? 00:51:39 You press keys on the keyboard, something happens on the screen. 00:51:46 you are wrong hagb4rd 00:51:51 anyway the solution is to not care about whether other people are any good at API design or whatever 00:52:05 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 it's a major part of C API design, and a major thing people get wrong 00:52:25 it's not a concern in Java or Python 00:53:22 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 s/even more advanced/advanced type system/ 00:54:59 hagb4rd: this shows that API design in C has extra challenges compared to API design in Java 00:55:10 there are of course challenges in Java not shared by C 00:55:30 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 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 hagb4rd: yes, but it won't be idiomatic Haskell 00:56:05 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 sure, but it handles parameters (of an expected type) and produces some output (of another type).. correct? 00:57:35 without going into more details 00:57:47 look you need to learn about haskell before this discussion can continue 00:58:14 functions in haskell are functions, they don't have side effects and their output depends only on their input 00:58:26 that means they do not map cleanly to the "functions" of C, Java, etc 00:58:51 that does not surprise me at all kmc 01:00:38 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 hagb4rd: that is a very general statement of what the problem is 01:02:30 that problem has all kinds of specific ramifications in different languages 01:02:38 like the C memory management thing 01:03:36 hmm, plouffe's inverter seems broken 01:04:46 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 "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 hagb4rd: have you programmed in C 01:07:34 yes 01:07:50 you understand that, sometimes a function returns a pointer and you are responsible for free()ing that pointer 01:08:00 other times a function returns a pointer and you need to be very careful *not* to free() it 01:08:09 that is part of API design in C 01:08:15 deciding who will manage which bits of memory 01:08:33 it is user-visible API design, not an implementation detail 01:08:45 sure, but everytime the api expects a pointer it will get a pointer 01:08:55 and nothing more or less than that 01:09:00 what? 01:09:38 do you think that API design is only a matter of writing out type signatures? 01:09:45 you have to say what the arguments *mean* 01:10:04 i have the feeling i'm being trolled 01:12:12 i dunno, i thought we're talking about apidesign but somehow we arrived @ memory management.. nevermind 01:12:32 turns out memory management is part of api design 01:12:57 "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 so you're managing memory on business layer for example? 01:13:27 in C you have to 01:13:36 in Java that would be crazy 01:13:38 that was my point 01:13:48 the specific concerns of API design depend on the language you're using 01:13:51 that was my point 01:15:12 "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 "non-existent giant hole in the North Pole" 01:15:38 HEY THAT'S JUST AN OPINION 01:16:01 "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 literally everything to do with attempts to find and/or recover the wreck of the titanic is hilarious 01:16:31 O_O 01:16:48 this thing has to be one gigantic hoax 01:17:04 "It later turned out that Sea MARC had actually passed over Titanic but had failed to detect it" 01:20:27 on unlikely places to have your wedding gatecrashed: http://www.bbc.co.uk/news/uk-england-coventry-warwickshire-17694043 01:22:15 that's nothing. once i gatecrashed a wedding in a CHURCH 01:22:18 ooh 01:23:01 * oerjan wonders if the russians will make an industry of this like with the space tourists 01:26:22 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 do norwegians have a thing about russia 01:27:58 yes; it's called a shared border and industry on svalbard 01:28:44 so he flew by norwegian plane to svalbard and hiked with the russians via their 89 degree arctic base 01:29:13 *degrees 01:29:27 oerjan: ok by "shared border and industry on svalbard" 01:29:30 do you mean "we hate their guts" 01:30:21 surprisingly amicable, really; just a few years ago we even managed to agree on _where_ the border is 01:30:29 wowzers 01:30:41 should i go to svalbard 01:30:47 yes 01:30:50 can i come too 01:30:57 kmc: why not 01:31:41 things have changed since there may be a way to get that oil below the ice capes 01:33:00 svalbard has almost free immigration 01:33:07 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:33:14 yes 01:34:13 oh by "go" does kmc mean "move" 01:34:27 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 zzo38: that's a well-known formulation iirc 01:35:11 I just used that it seem dual to liftPair :: (f x, f y) -> f (x, y); 01:38:06 kmc: did you mean "move" or "visit" i can't actually tell 01:38:14 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 oerjan: trondheim has too much power 01:39:46 ah of course the russians have made it an industry http://en.wikipedia.org/wiki/Barneo 01:40:08 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 i don't know anything about winapi 01:41:29 elliott: i meant more like "visit" but i basically just asked because i thought the answers might be interesting 01:41:29 ok 01:43:30 "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 elliott: are you preparing for a polar expedition, or sth? 01:50:27 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:34 oh, bleh 01:50:41 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:51:20 hagb4rd: totally 01:53:05 ais523: squeal, of course 01:53:14 __builtin_prefetch should not have been an epic win. 01:53:20 It *was*, but it should not have been. 01:53:32 huh, something's seriously wrong if adding it has any noticeable effect at all 01:53:44 did you have to say "epic win" :( 01:53:50 pikhq_: there's a hilarious blog post by one of the Mozilla people talking about improving Firefox's startup time 01:54:06 they spent ages benchmarking it to stop it seeking about all over the place in the executable, and instead read sequentially 01:54:09 and had got it down quite a bit 01:54:22 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 ais523: Well, in my defense, I'm doing nonsequential accesses on a *framebuffer*. 01:54:37 And said framebuffer doesn't fit in my L2. 01:54:39 pikhq_: reads or writes? 01:54:47 pikhq_: your defence? it's the compiler I'm bitchingat 01:54:49 *bitching at 01:55:18 Writes, actually. 01:55:25 Yes, it's ridiculous. 01:56:19 how do you speed up writes with a prefetch? 01:56:24 *I don't know!* 01:56:42 But it halved the time I take to draw a frame! 01:56:50 meanwhile, XPN's text wrap is really /really/ broken 01:57:27 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 Though __builtin_prefetch takes an option so you can tell it you're meaning to *write*. 01:58:15 if you're doing only writes, you can use nontemporal store instructions 01:58:30 well, it's a framebuffer, it's being read by something else 01:58:37 or might even physically be part of the video hardware, I guess 01:58:51 not sure how many layers of indirection there are between a typical framebuffer and the video card 01:59:06 anyway, Web of Lies-related issue: X is trying to make iopl syscalls, as non-root 01:59:09 and is then bitching when they fail 01:59:20 'Cept it doesn't fit in cache. 01:59:22 also, passing them through to the kernel is giving EINVAL rather than EPERM anyway 01:59:27 It's ~4 times larger than my L2. 02:22:33 OK, this device is seriously amazing. 02:22:50 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 i think RocketJSquirrel likes his tablet 02:23:24 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:30 So my expectations were low. 02:23:34 But it's seriously amazing. 02:23:54 i have a shitty android tablet that isn't really shitty too 02:24:00 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 shitty android tablet that isn't really shitty friends 02:24:06 Woooh! 02:24:09 *high five* 02:24:25 *low six* 02:24:38 *carted off to prison for statutory rape* 02:25:09 -!- Sgeo_ has quit (Ping timeout: 245 seconds). 02:26:53 how good is the screen? 02:27:58 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:28:17 And it's perfectly crisp, bright, etc (800x480) 02:48:58 @timm 02:48:59 Local time for elliott is Sun Apr 15 03:49:29 03:00:28 @karma elliott 03:00:29 elliott has a karma of 18 03:03:17 @help protontorpedo 03:03:17 protontorpedo is silly 03:03:24 hi monqy 03:03:33 we were jstju tlkninga oubto aooabuyouuuu 03:06:11 you were???? 03:06:17 yeyss 03:06:28 oh ! 03:06:42 about hwowoow you dnontndotn syay hi nono morere:( 03:06:49 :( 03:07:29 monqy: wew decideded to replapcle yoou 03:07:34 with abetebter monqy 03:07:44 who syas hi 03:07:47 who's abetebter monqy 03:07:51 I added more stuff to file of idea of D&D scenarios 03:09:08 @protontorpedo 03:09:08 how do we automate ftp file transfers with haskell? 03:09:10 @protontorpedo 03:09:10 check otu squeak seems dope 03:10:25 @prontotorpedo 03:10:26 hu me/ 03:10:43 Is lesswrong.com a cult? 03:21:06 is it a different cult from the SingInst cult? 03:21:39 is it a different cult from mormonism 03:22:32 kmc: I think it's the same one. 03:23:55 monqy: unhi 03:24:04 unhi 03:25:19 monqy: 1 Corinthians 10:13 03:25:30 which is that 03:25:48 it's the one that says "YOU CAN DO IT MONQY" 03:25:52 "I BELIEVE IN YOU MONQY" 03:26:00 @google 1 corinthians 10:13 03:26:03 http://www.biblegateway.com/passage/?search=1+Corinthians+10%3A13&version=NIV 03:26:03 Title: 1 Corinthians 10:13 NIV - No temptation has overtaken you except - Bible Gateway 03:31:48 @electrontorpedo 03:31:48 Unknown command, try @list 03:33:22 @neutrontorpedo 03:33:22 Unknown command, try @list 03:33:54 @protontorpedo 03:33:54 Unknown command, try @list 03:33:58 @slap zzo38 03:33:58 * lambdabot will count to five... 03:34:05 5 03:34:25 Hey,#esoteric,is this OK? 03:34:35 Can I type like this? 03:34:44 yes 03:35:11 yay 03:35:22 you’re the best, monqy 03:35:35 -!- elliott has left ("Leaving"). 03:35:42 kmc: Does this highlight your nick? 03:37:16 shachaf: how do you do that? 03:37:33 hagb4rd: I have magical artist powers. 03:37:50 share them with me :) 03:38:05 He has Unicode is stupid powers >_> 03:38:57 kmc: I have an actual Japanese input method set up! 03:39:03 In order to not be racist. 03:39:36 how considerate ! 03:39:38 that's worth a hi 03:39:39 hi shachaf 03:40:09 monqy: im givning up hi :( 03:40:14 oh no :( 03:40:19 I remember old shachaf 03:40:23 old shachaf said hi 03:40:32 Well, old shachaf is no more. 03:40:39 what did you do old shachaf 03:42:09 monqy: I don't know. :-( 03:42:19 :( 03:43:57 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 hagb4rd: I have a secret macro that encodes EVERYTHING I TYPE -- EVEN THESE VERY CHARACTERS -- AS UNICODE. 03:44:38 Where by Unicode I mean UTF-8. 03:46:44 i see 03:48:15 is there an escape char to prefix a unicode char? IF YOU KNOW WHAT I MEAN NUDGE NUDGE WINK WINK 03:49:04 `chr 55 03:49:10 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: chr: not found 03:49:14 >chr 55 03:51:12 shachaf: it did not hilight 03:53:45 maybe thats because it is so secret 03:54:07 Is hagb4rd = itidus21? 03:54:27 no, i'm just a bot 03:54:40 What a coïncidence! 03:54:51 really? 03:55:03 explain please 03:56:18 haha 03:56:31 shachaf: you are not the first person to wonder that 03:57:02 kmc, is it you 03:57:31 -!- oerjan has quit (Quit: Cohi). 03:57:40 kmc: Uh-oh. 03:58:22 Welp, the person I was babbling my battery test reports at logged off, so I have to report them at #esoteric now. 03:58:32 EPISODE ELEVEN COMPLETE. REPORTED BATTERY LEVEL: 37% 03:58:44 Erm, episode TEN complete. 03:59:24 Coming up on four straight hours of video. 04:00:10 shachaf: what's up with itidus21? you haven't hurt him, did you? 04:04:43 i will strike down upon thee with great vengeance and furious anger those who attempt to poison and destroy my brothers 04:06:16 hagb4rd: Are you sure you're not itidus21? 04:07:23 indeed i am 04:07:49 Good job on the ambiguity there 04:11:50 @karma- shachaf 04:11:50 shachaf's karma lowered to 12. 04:12:04 -!- elliott has joined. 04:12:31 21:11 < hagb4rd> @karma- shachaf 04:12:31 21:11 < lambdabot> shachaf's karma lowered to 12. 04:12:40 elliott: Look at what hagb4rd did. 04:13:03 @karma+ shachaf 04:13:03 shachaf's karma raised to 13. 04:14:05 @karma- lambdabot 04:14:06 lambdabot's karma lowered to 6. 04:14:20 squealer :P 04:14:51 @karma+ lambdabot 04:14:51 lambdabot's karma raised to 7. 04:15:10 lambdabot once had 50 karma. 04:15:12 Then I @karma-'d it all. 04:15:55 -!- rvchangue has quit (Ping timeout: 260 seconds). 04:18:27 -!- rvchangue has joined. 04:19:35 (Passed the four hour mark fifteen minutes ago) 04:21:03 Episode eleven complete, reported battery level 28%. 04:21:56 RocketJSquirrel: Do you know what the type of a closure is??? 04:22:41 elliott: why are you asking that 04:22:57 elliott: Um, A -> B? 04:22:58 kmc: It's one of those questions where I already know the answer, I'm just repeating it a lot, you see? 04:23:06 Mostly so I can do this: 04:23:09 RocketJSquirrel: WRONGGGGGGGGGGGG 04:23:12 It's really satisfying. 04:23:41 -!- cswords has joined. 04:24:39 elliott: The best part was the part where you were wrong all along. 04:24:40 yes, great attitude 04:25:00 shachaf: Yes. But then I became right! 04:25:22 Apparently http://prokofiev.org/ may harm my computer. :-( 04:25:36 elliott: AFTER I MADE YOU RIGHT 04:26:03 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:18 Probably. 04:26:24 No. 04:26:28 elliott: Also, I wasn't really exactly wrong, as such. 04:26:33 I said struct Closure. 04:26:51 struct Closure { void *data; void (*fn)(void *); }; 04:27:42 data a -> b = K (∃f. (f, a) -># b) 04:28:26 Exactly. 04:28:27 kmc: That needs MagicHash, man! 04:28:30 So unportable. 04:28:34 By the way, that's wrong too. 04:28:38 You mean: 04:28:41 data a -> b = K (∃f. (f, (f, a) -># b)) 04:28:52 elliott: kmc always needs MagicHash. 04:29:07 Wait! I think I get the joke! 04:29:11 Is the joke: drugs? 04:29:15 itt: drugs 04:29:23 yeah you're right elliott 04:29:32 * elliott geniouse 04:29:45 elliott: Isn't it great how you corrected kmc with the exact same thing I used to correct you earlier? 04:29:59 Yes. 04:30:10 WHOSE GENIOUSE NOW?? 04:30:26 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 shachaf: aim hecker :( 04:30:49 Have I mentioned that my systems language uses kmc's (->#) as its function arrow? 04:31:03 "my systems language" 04:31:24 is it @ 04:31:24 kmc: did i hckecek ur aim???? 04:31:32 s/kmc/bobthemonkey13/ 04:31:38 shachaf: WHY ARE YOU STILL ANGRY ABOUT PHP 04:31:40 lol nerds get a life 04:32:11 kmc's aim is so hecked that he doesn't technically have an aim any more 04:32:18 shachaf: yesterday I went sailing in the Charles River Basin 04:32:36 @time 04:32:37 Local time for elliott is Sun Apr 15 05:33:07 04:32:40 Oh boy! 04:33:02 kmc: Was it good? 04:33:22 i didn't sink 04:33:33 Guess what sunk???? 04:33:35 THE TITANIC. 04:33:45 i went with KeithW so if we did sink, that would pretty much be the end of Mosh 04:33:51 we need a critical personel policy 04:34:03 zomg kmc = famousmc 04:34:54 kmc: I think that would require a bus to drive into the basin with you, and then hit you. 04:35:04 That is, as I understand, the procedure. 04:35:06 that could very easily happen 04:35:22 Buses? In my Charles River Basin? 04:35:34 It's not your Charles River basin, shachaf. 04:35:36 It's God's. 04:35:40 hi god 04:35:42 oh no :( 04:35:51 elliott: Did I mention I quit hi? 04:36:10 -!- MDude has changed nick to MSleep. 04:36:28 more like Cam River basin 04:36:42 does anyone here know how to make good currywurst sauce 04:37:26 Step 1. Make some curry. 04:37:31 Step 2. No, like, the worst curry. 04:37:33 Step 3. 04:37:50 HA HA HA HA HA HA HA HA 04:37:50 HA HA HA HA HA HA HA HA 04:37:52 HA HA HA HA HA HA HA HA 04:37:52 HA HA HA HA HA HA HA HA 04:38:40 thanks kmc 04:39:28 kmc: You should implement my language. 04:39:32 @? 04:39:34 Do you know if Codensity can ever make Extend or Comonad? 04:39:57 ubuntu freebsd 04:40:23 kmc: No, not @. :( 04:40:26 Not *everything* I do is @. 04:40:29 Only most things. 04:40:43 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:41:57 kmc: I... I apologise. 04:42:03 I did not know the consequences of my actions. 04:43:09 Episode twelve complete, reported battery level 21%. 04:44:08 RocketJSquirrel: Can you implement my language? 04:44:10 In not JavaScript. 04:45:45 kmc: Also, did you ever tell me about DDC? 04:45:47 /Can/ I? 04:45:47 Honestly, you people. 04:45:49 Probably. 04:47:26 no 04:47:36 honestly 04:47:38 you people 04:47:53 now he's finally going mental 04:48:01 You should at least read this paper for me so I can close its window. 04:49:23 "We use the type bool as a shorthand to denote the type 04:49:23 1 + 1 and use left () to be true and right () to be false." 04:49:27 No! That's the wrong way around. :( 04:49:59 hagb4rd++ 04:50:32 @karma kmc 04:50:32 kmc has a karma of 7 04:50:36 @karma elliott 04:50:36 You have a karma of 18 04:50:39 * elliott is a superior person to kmc 04:50:43 * kmc punk't 04:51:13 *punk't 04:51:13 *punk'te 04:55:03 @time 04:55:04 Local time for elliott is Sun Apr 15 05:55:34 04:55:04 @ping 04:55:04 pong 04:55:43 what paper is this is it a good paper 04:56:10 -!- augur has quit (Remote host closed the connection). 04:56:11 reveal your paper elliott 04:57:00 http://www.cs.indiana.edu/~sabry/papers/rational.pdf 04:57:05 its a-b and a/b for types "fune" 04:57:29 also it has diagrams 05:00:00 aaaaaaaahhhhhhhhhhhhhhhh 05:00:06 monqy: waht 05:00:09 -!- augur has joined. 05:00:59 its hte a-b and a/b for types fune 05:01:17 fun is not aaaah!!!! 05:04:44 Episode thirteen complete, reported battery level 19%. 05:05:06 I was not expecting this to be an all night marathon X_X 05:05:57 monqy: how predictable ! 05:06:11 shachaf: hi 05:06:17 elliott: help 05:06:20 help me resist 05:06:41 hlep, 05:06:45 you are both wrong!!!! 05:08:00 "I agree with your clarifications so far. Thank you, ehird." :') 05:08:10 im pasteurised 05:08:26 im parephrased 05:09:57 * shachaf , paraphrased 05:10:10 monqy: Remember when elliott drew a self-portrait of me? 05:10:14 (BECAUSE I = ELLIOTT) 05:12:23 Oh god entering hour six O_O 05:15:04 elliott: do you have the haskell code mentioned to be "organized for better presentation" on page 2? 05:17:26 nope 05:26:14 Episode fourteen complete, reported battery level 17%. 05:26:28 Must ... test ... battery ... completely ... 05:26:34 Must ... not ... fall ... asleep ... 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:43:11 this is far-out stuff 05:43:20 need a break 05:44:15 python unicode escapes are BMP-only? 05:44:29 print u'\u1f63a' 05:44:31 laaaaame 05:45:38 kmc: try capital u 05:45:45 \U0001f63a 05:45:51 convention is \uxxxx \UXXXXXXXX 05:46:22 oh cool that works 05:46:23 thanks coppro 05:47:08 i guess they need to be fixed length 05:47:35 What is RocketJSquirrel watching? 05:48:06 Sgeo: Not relevant, I'm testing the battery life of this tablet. 05:48:15 Episode fifteen complete, reported battery level 13%. 05:48:45 SMILING CAT FACE WITH OPEN MOUTH? 05:49:16 yeah 05:51:56 RocketJSquirrel, but they must be episodes of something 05:52:41 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:55:39 Sgeo: They MIGHT be MLP:FiM ;) 05:56:47 kmc: It's CAPITAL u because it's Unicode BIG endian. 05:56:56 There's a logic behind the scenes. 06:03:46 yes 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:08:34 hi guys im back 06:08:58 we missed you 06:09:05 me 2 06:09:47 Episode sixteen complete, reported battery level 10%. 06:11:00 -!- MoALTz_ has quit (Ping timeout: 250 seconds). 06:11:51 why are you doing this to yourself 06:14:16 RocketJSquirrel: what are you watching? 06:16:04 it's the ultimate endurance test for his new toy.. "it's perfectly crisp, bright, etc" 06:17:21 coppro: Not relevant, I'm testing this tablet's battery life. 06:17:50 i bet it drains the battery and never turns on again 06:18:10 elliott: I've already drained the battery once ;) 06:18:45 yea, he used to ring the bell for about 8 hours 06:18:56 elliott: how predictable ! 06:19:39 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:40 shachaf: hi 06:19:48 elliott: help, 06:19:55 How do I convince my gf that I'm not good at everything 06:20:24 that's easy: just mess it all up 06:20:25 you have a gf? 06:20:41 who thinks you're good at everything? 06:20:50 -!- MoALTz has joined. 06:28:57 sgeo: if all else fails, beat her, calling her a bitch or sth. that should lower her expectations rapidly 06:29:11 monqy: Is 2:0.10.0-2 06:29:14 Crawl version 2:0.10.0-2 06:29:20 Really outdated? 06:30:41 are you playing crawl? 06:30:49 Not right now. 06:30:53 What's a good version 06:31:00 Is Crawl version 2:0.10.0-2 06:31:03 none of them (laughs) 06:31:04 goode? 06:31:05 Why not play on the server? 06:31:10 I HATE THE SERVER 06:31:20 Sgeo: When I play on the server, it starts beeping my IRC client. 06:31:23 if you play on the server I can watch you, and sgeo can watch you too 06:31:33 shachaf: 0.11 is most recent if you have any decency 06:31:41 Episode seventeen complete, reported battery level 8%. 06:31:43 "oh, shachaf has died. oh, someone just killed shachaf's ghost. oh, shachaf was killed by a jellyfish" 06:31:56 just change your name, or play on an account with a funny name 06:32:02 did you know that crawl sucks 06:32:05 And then EVERY TIME SOMEONE SEARCHES FOR !topkills by a jellyfish... 06:32:13 Guess what happens? 06:32:17 HINT: MY IRC CLIENT BEEPS 06:32:22 elliott: yes, but maybe shachaf doesn't 06:32:33 monqy: do i :( 06:32:35 I like Crawl 06:32:39 HLEP,pad 06:32:44 oop,se 06:33:16 At any rate, I can't play NetHack on NAO 06:33:21 I have a good game going 06:33:30 And don't want to screw it up 06:33:46 monqy: Do I have decency? 06:34:21 you're playing crawl, so no. (laughs) 06:34:26 I dunno, man!! 06:34:27 do you? 06:34:30 do you have it in you 06:34:41 monqy: Can't I just install what's in APT>;f a;df;:_-( 06:35:01 if you don't play on the servers everyone in ##crawl will mock you 06:35:15 monqy: But I haven't been playing on the server for years! 06:35:26 In fact I haven't played a single game of Crawl for the last $TIME. 06:35:34 if you play crawl but don't play on the servers, I should say 06:35:34 Including on the server. 06:35:40 oh :( 06:35:44 zzo38: Do you play Crawl? 06:35:52 you know what would be more entertaining than watching shachaf play crawl 06:35:56 watching me play nethack while sleep-deprived 06:36:02 sure 06:36:05 elliott: NONSENSE. NETHACK IS BORING. 06:36:07 I don't like nethack either though 06:36:08 @time elliott 06:36:09 Local time for elliott is Sun Apr 15 07:36:39 06:36:13 GO TO SLEEP ELLIOTT 06:36:26 yeah but 06:36:37 nethack is bad in a way that i understand 06:36:38 ie 06:36:41 i know how to play nethack sort of 06:36:44 this is not true of crawl 06:36:49 anyway 06:36:52 elliott: But have you ASCENDED NETHACK ATHEIST WISHLESS 06:36:53 LIKE I HAVE 06:36:57 shachaf: you realise you can just termcast the crawl game 06:37:00 even if it's not on the server 06:37:35 elliott: http://alt.org/nethack/userdata/s/shachaf/dumplog/1248250553.nh343.txt 06:37:39 monqy: http://alt.org/nethack/userdata/s/shachaf/dumplog/1248250553.nh343.txt 06:37:50 shachaf: what's a nethack 06:37:52 You were an atheist 06:37:55 and how do I play it ?? 06:37:56 You used no wishes 06:37:59 You never genocided any monsters 06:38:01 You never polymorphed an object 06:38:02 just kidding i don't want to play nethack 06:38:12 shachaf: but you polyselfed? 06:38:20 coppro: IT WAS AN ACCIDENT 06:38:22 (I think?) 06:38:35 I have polyselfless ascensions too. 06:38:42 http://alt.org/nethack/userdata/s/shachaf/dumplog/1212252167.nh343.txt 06:38:58 ok so 06:38:59 http://alt.org/nethack/userdata/s/shachaf/dumplog/1289699027.nh343.txt 06:39:02 http://alt.org/nethack/userdata/s/shachaf/dumplog/1289294462.nh343.txt 06:39:06 shachaf: I have played Crawl before; both on the computer and on the Nintendo DS 06:39:06 http://alt.org/nethack/userdata/s/shachaf/dumplog/1212543239.nh343.txt 06:39:06 zzo38: You have 3 new messages. '/msg lambdabot @messages' to read them. 06:39:06 im going to play nethack 06:39:11 really badly 06:39:14 who will 06:39:15 ?messages 06:39:15 dmwit said 5d 2h 31m 45s ago: how to use ?tell 06:39:15 dmwit asked 5d 2h 31m 23s ago: if he knows how to use ?ask 06:39:15 edwardk said 49m 47s ago: i pushed a new kan-extensions with the Applicative instance for Density 06:39:15 watch me 06:39:17 are you naoing or termcasting or what 06:39:18 i'll watch 06:39:28 monqy: ill termcast because uh nao is really slow in europe 06:39:31 actually 06:39:34 i don't think ic an install nethack 06:39:36 elliott: Instead of naoing you should later. 06:39:37 because my packages are broken 06:39:39 so NAO IT IS!!!! 06:39:53 elliott: Did you know I WROTE A NETHACK PATCH 06:39:56 WHICH RUNS ON NAO 06:39:57 RIGHT NAO 06:40:05 elliott: you should be playing NH4 06:40:14 why isnt telnetting to nethack.alt.org working help 06:40:15 nh4?????? 06:40:16 The documentation is not available yet 06:40:18 coppro: i knew about that BEFORE IT CAME OUT YO 06:40:26 elliott, ping me when you're on 06:40:27 monqy: sure here's the release announcements: 06:40:31 elliott: Maybe it uses a different port numbers? 06:40:36 elliott: oh yeah dgamelaunch has a problem 06:40:37 elliott: Let's play a coöperative game of NetHack. 06:40:37 monqy: http://groups.google.com/group/rec.games.roguelike.nethack/browse_thread/thread/261849837d0d8e42# 06:40:41 monqy: http://groups.google.com/group/rec.games.roguelike.nethack/browse_thread/thread/ade3da9173a7cc2a# 06:40:43 monqy: http://groups.google.com/group/rec.games.roguelike.nethack/browse_thread/thread/cb0da1bf9d2c0ba1# 06:40:51 (nethack switched to a rapid-release model) 06:40:57 shachaf: is that where i press keys but you all yell at me what to do 06:40:58 elliott: you have to set your TERM environment variable to something it recognizes 06:41:00 'cuz i'm down 4 that 06:41:04 monqy: oh thanks 06:41:08 monqy: what's a good thing it recognises 06:41:09 elliott: No, it's shared-screen-nethack. 06:41:09 im using urxvt 06:41:11 uhh 06:41:17 elliott: WANT TO DO IT 06:41:20 FIGHT OVER THE KEYBOARD 06:41:21 I use TERM=rxvt-unicode to get it to work 06:41:21 * elliott tries "xterm" 06:41:24 monqy: oh ok thx 06:41:26 i thin 06:41:27 er 06:41:31 monqy thin 06:41:41 without that it's rxvt-unicode-256color qqhich does not work 06:41:53 ok 06:41:55 i'm on nao 06:41:55 Sgeo: ping 06:42:01 ok 06:42:02 what 06:42:02 Sgeo: ping 06:42:06 race role gender alignment 06:42:07 should i pick 06:42:21 also uh 06:42:24 elliott: how multiplayer nethack works is that you and the other player take turns if you're on the same level 06:42:25 my terminal is oddly-sized 06:42:27 so sorry about that 06:42:29 and crash if you do anything that interacts 06:42:33 coppro: i know 06:42:36 coppro: ais523 told me about it ages ago 06:42:38 elliott: wizard elf male chaotic 06:42:45 shachaf: ok thanks for ur vote 06:42:47 monqy: ur vote pls 06:42:48 Sgeo: ur vote pls 06:42:49 elliott: valkyrie human female neutral 06:42:51 * coppro recompiles his compiler 06:42:57 elliott: samurai 06:43:03 elliott, too busy fighting with my computer 06:43:05 coppro: doesn't crash, it would if it were allowed, but it isn't 06:43:11 ais523: haha 06:43:12 doppelganger yeoman 06:43:18 ais523: that's how it was described to me :P 06:43:19 @slap monqy 06:43:19 I don't perform such side effects on command! 06:43:25 HELP 06:43:25 elliott: lawful dwarf female valk 06:43:26 monqy the traitor :'( 06:43:29 ais523: that's boring!!! 06:43:34 i'm aiming for Fun here 06:43:39 elliott: TOURIST 06:43:43 MAXIMAL FUN 06:43:44 oh, gnome healer, then 06:43:49 WHY WON'T YOU ALL AGREE 06:43:53 elliott: DIG FOR VICTORY! 06:43:58 I want to watch elliott try to DfV. 06:44:12 convict 06:44:25 coppro: haha 06:44:26 ais523, so is NiceHack an actually viable Nitro+Ace merger? 06:44:32 ok what role 06:44:33 c'mon 06:44:34 role 06:44:36 also 06:44:38 elliott: * 06:44:39 Or is even the tarball just say april folls or something 06:44:41 Sgeo: it's called NetHack 4, but yes 06:44:41 i'll resize this terminal to be 80x24 06:44:47 um 06:44:48 elliott: Real programmers always choose * 06:44:49 what size is it now 06:44:53 also how do i make NAO redraw 06:44:54 elliott: how difficult do you want? 06:45:00 control-R, but resizing during a game doesn't work 06:45:01 elliott: 100000000000000000000×100000000000000000000000000000000 right now 06:45:02 ais523: as difficult as possible 06:45:07 and resizing during the dgamelaunch screen screws up 06:45:10 what do you mean during a game? 06:45:12 ok wait 06:45:18 uhh 06:45:19 in a different way 06:45:21 elliott: First pick a role. 06:45:23 is there a command line program to print the current terminal size 06:45:30 also, difficult as in lowest win chance, or as in dificult throughout the game 06:45:33 and yes, but I can't remember what it is offhand 06:45:42 ais523: the aim is comedy, i'm sleep deprived and terrible at nethack 06:45:53 elliott: urxvt shows terminal size when you resize 06:45:56 gnome healer, then, because it gets worse and worse as it goes on 06:46:01 aha, its tput 06:46:12 elliott: IT'S ECHO $ROWS, $COLS 06:46:51 tput cols; tput lines 06:46:51 ok 06:46:53 monqy: is gnome healer good 06:46:55 shoudl i be 06:46:56 gnom haller 06:47:10 elliott: Be * 06:47:16 Seriously. * is maximal comedy. 06:47:18 oh fuck it 06:47:18 * * * * 06:47:20 ok 06:47:20 fine 06:47:26 Sgeo: monqy: are you watching btw 06:47:33 yes 06:47:34 random all might produce a good combo by chance 06:47:34 elliott: In fact, press Q, then press Y instead of N. 06:47:42 lawful male human samurai? 06:47:42 today I probably won the 'weirdest question asked of proctor' award 06:47:43 ais523: That's part of the fun! 06:47:44 that's not comedy at all 06:47:48 hey, how can i join/watch? 06:47:48 that's boring 06:47:52 elliott, is it still asking for role? 06:47:57 hagb4rd, telnet to nethack.alt.org 06:47:57 coppro: What is that? 06:48:10 ok 06:48:11 I had a hangnail, so I asked if I could remove a set of nail clippers from my bag 06:48:12 elliott: what NAO username? 06:48:18 ais523: ehird, and currently laughing 06:48:29 * ais523 jettyplay dgamelaunch://nethack.alt.org/ehird 06:48:40 monqy: If I play on NAO will you watch me. :-( 06:48:44 shachaf: yes 06:48:49 Instead of elliott :-( 06:48:51 no!!! 06:48:52 elliott: huh, why is color off? 06:48:53 :'( 06:48:53 I'll watch you both 06:48:55 ais523: it isn't 06:48:56 at the same time 06:49:04 is it a monqy superpower 06:49:15 yes 06:49:17 well you have a terminal that uses bizarre nonstandard color codes then 06:49:23 it works for me 06:49:24 ais523: it's just rxvt-unicode 06:49:34 elliott: Turn off DECgraphics. 06:49:40 i like decgraphics 06:49:40 Real programmers use plain graphics. 06:49:46 oh, you died already 06:49:48 on purpose 06:49:51 boring role 06:49:52 My turn! 06:49:54 ais523: what's the terminal for xterm 256 colours 06:49:58 Now all y'all get to watch me. 06:49:59 TERM that is 06:50:06 elliott: xterm, I think 06:50:10 @poll-add nethack 06:50:11 Added new poll: "nethack" 06:50:17 there's xterm-color, but that only seems to work on BSD 06:50:20 properly, that is 06:50:21 OK, I'm on again 06:50:22 @choice-add nethack Wiz_Elf_Mal_Cha 06:50:22 New candidate "Wiz_Elf_Mal_Cha", added to poll "nethack". 06:50:22 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 I'll go with a gnome healer 06:50:31 @vote nethack Wiz_Elf-Mal_Cha 06:50:31 "Wiz_Elf-Mal_Cha" is not currently a candidate in this poll 06:50:33 @vote nethack Wiz_Elf_Mal_Cha 06:50:33 voted on "Wiz_Elf_Mal_Cha" 06:50:36 actually, naw 06:50:37 tourist 06:50:54 O, lambdabot has votes? 06:50:57 ais523: does colour work now? 06:51:06 I didn't know lambdabot has votes. 06:51:09 it works in gnome-terminal, trying jettyplay 06:51:14 zzo38: Do you know it now? 06:51:25 i liike how i've forgotten all the keys 06:51:26 yep, works in jettyplay too 06:51:29 shachaf: Partially I know it now. 06:51:30 how do you walk somewhere again 06:51:31 elliott: h j k l y u b n 06:51:32 no 06:51:33 i mean 06:51:35 automatically 06:51:42 H J K L Y U B N 06:51:45 no 06:51:47 more automatic than that 06:51:47 _ 06:51:47 _ 06:51:49 thx 06:51:52 hjklyubn 06:52:11 Did you fountaindrink. :-( 06:52:16 yes i love fountains 06:52:18 help 06:52:42 My turn! 06:52:44 LET'S TRY THT AGAIN 06:52:45 *THAT 06:52:45 shachaf are you playing too 06:52:48 hrm 06:52:49 Will all y'all watch me now? 06:52:54 I'll watch everyone 06:52:55 wh 06:52:57 why is there a goblin 06:53:03 help 06:53:04 I'll play if monqy watches. 06:53:04 I vaguely recall a player dying to a demon named 'where's my wish' 06:53:07 And ais523 watches. 06:53:08 that was funny 06:53:09 And Sgeo watches. 06:53:10 I'll watch 06:53:12 And elliott watches. 06:53:17 coppro can watch too. 06:53:40 but only if mail is on 06:53:42 Episode eighteen complete, reported battery level 7%. ... ... the last 10% is purgatory. 06:53:45 elliott: Probably because it happens at random that you find goblins and so on isn't that now NetHack works? 06:53:47 coppro: i have mail on 06:53:49 just sayin'!!! 06:54:13 i forget can you mail in-game 06:54:15 i guess not 06:55:18 I didn't write that! 06:55:20 can you make notes in game 06:56:06 What happened to the mail I sent? 06:56:42 Two messages on the same scroll? 06:56:56 * 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 Sgeo: the mail demon doesn't block on one client 06:57:11 what happened to my weapons!!! 06:57:13 and things 06:57:15 elliott: you can use the extended command thing to send messages back 06:57:37 elliott: you just type a message after the # 06:57:43 well that's boring 06:57:49 -!- hagb4rd has quit (Quit: need to restart). 06:58:09 elliott: Wow, did you just heal the fox? 06:58:12 elliott++ 06:58:12 i 06:58:13 thinks o 06:58:17 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 zzo38: Want to watch me play NetHack? 06:58:35 fuck yeah hermes 06:58:42 come ON 06:58:47 RIP elliott 06:58:50 elliott: The scalpel... 06:58:54 (not actually yet) 06:58:56 i think the fox just died from biting me 06:58:58 ais523: is there a server running the most recent NH4? 06:58:58 Elbereth? 06:59:03 oh elbereth 06:59:05 forgot about that 06:59:14 ELBERETH MAKES THE GAME BROING 06:59:16 shachaf: Not at this time. But if I do, how to connect (including terminal modes and so on)? 06:59:21 a elbereth gilthoniel! 06:59:29 zzo38: telnet nethack.alt.org 06:59:46 silver pen mire owl 07:00:01 riggfhtghtt?? 07:00:14 what shachaf fails to realise is that i am the pinnacle of nethack comedy 07:00:18 monqy: Will you watch my game? 07:00:21 awwww yeah 07:00:35 shachaf: do you have a game 07:00:46 monqy: If I have one will you wahfhchatchchh 07:00:49 yes 07:00:56 WHERE am the SHOPS!!!! 07:00:58 monqy: I have a game. 07:01:01 Sned me mail:_( 07:01:05 monqy: come on that's like watching a stupid person and an awesome person simultaneously!!! 07:01:06 im the best 07:01:12 ais523: do you have any advice for me in this tough situation 07:01:18 monqy: By the way, I pressed 'y' on the "pick for me" screen. 07:01:32 what tough situation? 07:01:37 oh, did you die and start again? 07:01:46 shachaf is competing against me :( and also i can't find the things on the level 07:01:54 elliott, may I show someone else your game? 07:01:55 oh, search the right end of the rightmost room 07:02:01 Sgeo: no its absolutely forbidden (yes) 07:02:08 not 100% that the door's there, but above 50% 07:02:16 why do first-sacrifice gifts vary so wildly in quality? 07:02:38 ais523: i dont think its here :'( 07:02:52 search the north wall of that room then 07:03:00 yaaaey 07:03:01 aha 07:03:06 I mean, snickersnee is kind of lame 07:03:10 monqy: advice pls:( 07:03:12 might as well get excalibur 07:03:59 help 07:04:12 mjollnir is situational 07:04:24 and Cleaver's also pretty bad 07:04:54 WAIT 07:04:59 ais523: Should I set up INTERHACK 07:05:01 elliott: Should I set up INTERHACK 07:05:03 monqy: Should I set up INTERHACK 07:05:05 zzo38: Should I set up INTERHACK 07:05:07 Sgeo: Should I set up INTERHACK 07:05:07 What is INTERHACK? 07:05:08 shachaf: no, it's out of date 07:05:11 HELP 07:05:19 i drunk frmo a fountain four times and now im help 07:05:21 ais523: How can you be out dater than NetHack? 07:05:27 elliott: why were you drinking from a fountain? 07:05:33 ais523: refreshing 07:05:38 im 07:05:41 sensing the presence of monsters 07:05:46 shachaf: First you have to answer a question what is INTERHACK before I answer your question too 07:05:58 is this good or bad 07:05:59 i cant tell 07:06:10 zzo38: Ask ais523. 07:06:11 -!- hagb4rd has joined. 07:06:13 zzo38: a telnet client designed specifically for playing NetHack 07:06:22 that tries to maintain information about the game but sucks because it uses regexes for parsing 07:06:27 elliott: it's about neutral 07:06:34 that's how ESR parses things 07:06:36 it can't be bad 07:06:40 he wrote the book on how to be a hacker!!! 07:07:00 help 07:07:02 is neko dead 07:07:38 nooooOOOOoooooooooOOOooooooooooo 07:07:44 in fact, why do so many terrible artifacts exist? 07:07:48 elliott, you're not Dudley, are you? 07:08:07 elliott: did neko leave a corpse? don't let it go to waste 07:08:17 they woke up :') 07:08:21 don't eat domestic animal corpses 07:08:23 monqy's advice sounds like bad advice 07:08:34 i remember when id id that 07:08:34 it was fun 07:08:35 ais523: What happens in this game if you do? 07:08:35 ESR parses with regexes? seriously? 07:08:41 he didn't in C-INTERCAL 07:08:44 HLEP 07:08:49 zzo38: nothing, the information's just displayed in a more convenient way 07:08:51 I just meleed floating eye 07:08:53 I die... :-( 07:09:00 shachaf..................... 07:09:03 no................................ 07:09:09 shachaf: Then don't do that next time 07:09:17 zzo38: But it was accident. :-( 07:09:22 elliott: still meleeing with your scalpel? :) 07:09:33 ais523: hey it worked much better than whatever i was using before 07:09:43 Potion of healing? 07:09:48 I imagine so. 07:09:54 no that broke 07:09:59 oh god my computer is linking clang 07:10:08 also ais523, you didn't answer my question earlier 07:10:10 mmm 07:10:12 the king of lin 07:10:12 partly eaten lichen corpse 07:10:17 coppro: which? 07:10:18 is there an up-to-date NH4 server running somewhere? 07:10:25 oh, no, there isn't 07:10:28 hopefully there will be soon 07:10:34 HELP WHERE'S CAT 07:10:43 CAT IS DEAD 07:10:43 great, your client is perfectly working ais523 :) 07:10:45 LONG LIVE CAT 07:11:03 http://news.ycombinator.com/item?id=923660 07:11:41 HELP 07:12:15 can i berfiend the h 07:12:18 Hey, PacifistRobin is playing! 07:12:27 monqy: Watch PacifistRobin 07:12:27 elliott: not easily 07:12:37 you need to micromanage your pets as a healer and ge them to do the fighting early 07:12:43 as you can't win many combats by yourself 07:12:48 that's why I thought you'd find this Fun 07:12:51 its ok i ran away by holding down the h key really fast 07:12:56 shachaf: is pacifistrobin you? are you pacifistrobin? 07:12:57 ais523: but i just lost my pet!!! 07:13:00 i dont know WHERE they wente 07:13:07 monqy: maybe :( 07:13:37 nobody has sent me mail in like 07:13:39 1000 turns :( 07:14:06 can i heat hobbit corpsen 07:14:44 @time elliott 07:14:45 Local time for elliott is Sun Apr 15 08:15:16 07:15:00 CAN I EATEN HOTTIBETEN CORPSEN 07:15:33 if you want to 07:15:48 : ( 07:15:55 i killed it 07:16:01 oyu should eat it 07:16:10 it didn't become corpse 07:16:45 http://geekz.co.uk/lovesraymond/archive/show-them-the-code 07:16:49 elliott, you should know not to eat zombies 07:17:03 i dont really know anything 07:17:05 oh man 07:17:07 monqy: is this enjoyable by the way 07:17:10 clang finished linking1 07:17:50 OH BOY 07:17:57 it's a floating eye! 07:17:59 maybe i'll melee it 07:18:02 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:12 how fatal is that usually 07:18:13 i forget 07:18:23 elliott, grid bugs are deadly 07:18:31 At least after you melee a floating eye 07:18:46 awesome 07:19:04 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:34 Sgeo 07:19:35 i said what 07:19:36 "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:40 yes 07:19:42 bffs 07:19:44 elliott, you said something liek it exists 07:20:53 oops 07:20:58 oops 07:21:00 oops 07:21:03 help 07:21:05 can i pray in the middle of a thing 07:21:08 rip 07:21:33 :'( 07:21:48 elliott, the new John Egbert? 07:21:49 -!- MoALTz_ has joined. 07:21:55 what 07:22:01 whos that 07:22:18 its a pop star 07:22:20 like zed shaw 07:22:22 I was going to send a mail with 07:22:23 or hannah montana 07:22:24 aw, jettyplay seems to freeze after i select rawdata :( 07:22:26 hi ~monqy 07:22:26 `quote zed shaw 07:22:35 561) elliott_, oh they are people known in the ruby community? Vorpal: Uh... you mean Hannah Montana? 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 ok im going to play as a wizard 07:23:10 ais523: wizards are fun right 07:23:18 they can be 07:23:18 ok fine 07:23:23 quite squishy early 07:23:24 i will add bronchodilators to my <3 list 07:23:27 chaotic female orcish wizard 07:23:34 lol orc wizard 07:23:36 good luck 07:24:09 a cream pie on my FIRST TURN??? 07:24:14 thinsg are lookin g good for ehird the evoker 07:24:53 http://hannahmontana.sourceforge.net/ 07:25:07 elliott: But iwantntt a cmreal pie :( 07:25:19 elliott: canivehave creamrpie :( 07:25:20 btw 07:25:25 i don't know how to cast spells properly 07:25:28 i know you zap wands and shit but that's about it 07:25:34 elliott: It's like zapping. 07:25:37 "Q : Will you be supporting other computer architectures like AMD64, SPARC, MIPS? 07:25:39 Except it's Zapping. 07:25:40 " 07:25:54 It's either z or Z 07:25:57 To zap a spell 07:26:01 * Sgeo is helpful! 07:26:04 yeah why can't i run hannah montana linux on my sgi indy 07:26:09 THAT'S NOT FAIR 07:26:41 Sgeo: HOW MANY TIMES HAVE YOU ASCENDED NETHACK, MR HELPFUL 07:27:05 I have a good game going on NAO that I started a few years ago! 07:27:09 i 07:27:15 don't want to zap my wand of secret door detection 07:27:16 The sad thing is I'm not even joking. 07:27:18 i want to zap my wand of hurt things 07:27:51 help!! 07:27:52 For what it's worht I always bplay withzards 07:27:55 hwo do i use my spell boks 07:28:02 elliott, read them 07:28:12 After you forgot what they say 07:28:14 Not before 07:31:53 sgeo 07:31:56 i read the bellbok 07:32:00 but im still cant force bolt 07:32:11 Z 07:32:12 or z 07:32:16 I'm pretty sure 07:32:31 Z 07:32:31 its Z tahkno you 07:32:40 I said that before 07:32:52 so you select spell (green mark) and cast it with z, right? 07:33:04 take that innocent goblin 07:33:47 almost kicked my cat oops 07:34:23 aw cmon 07:34:26 my cream pie was poisoned? 07:35:41 mmm 07:35:42 acid blob 07:35:51 yummy 07:38:03 whats flail 07:38:42 monqy: :'( 07:39:04 hi 07:39:06 whats flail 07:39:08 a weapon 07:39:16 thgansk 07:41:59 oopse 07:42:12 how do you cure that, 07:42:22 ais523: how do i cure deathly sick food pois 07:42:47 maybe a poition? 07:43:09 do you have any? 07:43:46 ;__; 07:43:48 im so lonely 07:43:49 not even any mail 07:44:17 FoodPois 07:44:22 I don't think you want mail. 07:44:25 Did you try praying? 07:44:29 Don't you have a full healing potion? 07:44:37 no that was uh 07:44:38 in a past life 07:44:50 what! 07:45:08 severe 07:45:19 elliott: try praying 07:45:23 if you have no better options 07:45:24 elliott: can I snedndd you mailol now :( 07:45:36 otherwise, eucalyptus leaf, or sufficiently strong healing potion 07:45:38 ais523: too busy dying frmo my illness 07:45:38 ais523: Instead of praying, he just did nothing for N turns until dying. 07:45:50 i thought my health would go down first!!!! 07:45:51 oh 07:45:56 no, it's an instadeath 07:46:36 elliott: hoow entertnainingnggg. :( 07:47:00 ok this time im play as chaotic monk 07:48:28 what! 07:48:29 im a monk 07:48:33 were suppsed to pray regualrlyl 07:51:48 yessss 07:51:53 monqy: is hallu yiur favourite thing 07:51:54 its mine 07:52:03 oh wow 07:52:06 great stuff 07:52:53 00:52 < asdfasdf> pl (\x= x+1) 07:53:44 00:53 < asdfasdf> pl \x -> x+2 07:54:08 -!- MoALTz_ has quit (Ping timeout: 250 seconds). 07:54:32 monqy should i kill the shk 07:54:46 can you 07:55:02 is the shope good 07:55:02 ais523 07:55:04 can i kill the shk 07:55:06 i dont know much about nethacke 07:56:53 ais523 07:56:53 i 07:56:56 want to kill the shke 07:57:01 kill it kill it 07:57:08 elliottte 07:57:16 youe aree thee shke 07:57:43 elliott: you will probably fail if you try 07:57:47 the INVISIBLE shopkeeper??? 07:57:50 without some dedicated shk-killing kit 07:57:52 i don't know if i can handle an invisible shopkeeper 07:58:57 -!- MoALTz has joined. 07:59:14 elliott: dide youe diee 07:59:22 yes 07:59:22 @time 07:59:23 Local time for elliott is Sun Apr 15 08:59:54 07:59:34 one more game 07:59:55 @time monqy 07:59:56 Local time for monqy is Sun Apr 15 00:59:55 2012 07:59:58 whoah 08:14:30 -!- KingOfKarlsruhe has joined. 08:18:24 -!- monqy has quit (Quit: hello). 08:36:38 How was elliott killed by a wand? 08:37:18 Well, that's silly. 08:37:20 waht 08:37:34 I don't usually expect 3 inches of snow in April. 08:37:44 i emant 08:37:45 sgeo 08:38:17 elliott, your death screen said killed by a wand 08:38:22 This may have been a whloel ago 08:38:23 while 08:39:31 -!- Tiktalik has changed nick to Sleeptalik. 08:42:49 ah 08:42:50 the shk 08:42:54 killed me 08:44:36 -!- azaq23 has joined. 08:53:01 Legendary miners in Minecraft are SCARY 09:05:36 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 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 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:40:51 Hello! 09:42:03 -!- MoALTz_ has joined. 09:42:17 hi Ngevd 09:43:20 -!- MoALTz has quit (Ping timeout: 250 seconds). 09:45:30 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 put an {{unsigned}} on it 09:46:24 that's a response, not a making! 09:46:33 well, I think he's trying to agree with you 09:46:35 in an annoyed way 09:46:41 I'm interpreting it as "yeah :(" 09:46:46 @time elliott 09:46:46 Local time for elliott is Sun Apr 15 10:47:17 09:46:47 @time 09:46:50 Local time for shachaf is Sun Apr 15 02:46:47 2012 09:46:54 elliott: make meo got sle pp :( 09:47:01 ais523: but i was like, totally helpful! :''( 09:47:03 shachaf: slep 09:47:08 elliott: no. 09:47:08 -!- Taneb has joined. 09:47:19 shachaf: are you tired? 09:47:21 shachaf: slep 09:47:23 shachaf: slep 09:47:23 shachaf: slep 09:47:24 shachaf: slep 09:47:24 ais523: Yes. 09:47:28 elliott: nononono 09:47:32 ais523: /kick shachaf slep 09:47:36 shachaf: do you think that if you attempt to go to sleep, you will? 09:47:47 ais523: I don't know. 09:47:55 aren't you /really curious/ to find out? 09:48:04 exciting science possibility 09:48:08 hi science 09:48:10 oops :( 09:48:20 elliott: hlep, , mem geto fffff hi 09:48:22 plsz 09:48:29 ais523: /kick shachaf slep 09:48:38 ais523: /kick me :( 09:48:46 me isn't even in the channel! 09:48:47 elliott: he seems tired enough that he'll fall asleep at the computer if he doesn't go to bed 09:48:48 If you kick me it won't make me go to sleep any faster. 09:49:04 ais523: IS THAT A CHANNELGE 09:49:08 -!- Ngevd has quit (Read error: Connection reset by peer). 09:49:11 shachaf: don't take it as one 09:49:12 FINALLY 09:49:15 -!- Taneb has changed nick to Ngevd. 09:49:18 ais523: no that's his poor imitation of monqy's style 09:49:24 Ngevd: u realise u can /ns ghost ???? 09:49:28 /ns ghost ngevd password 09:49:33 I careth not! 09:49:38 I enjoy playing the waiting game 09:49:42 "I careth" :-( 09:49:42 ais523: anyway, if you kick him he might shut up about wanting to be kicked :P 09:50:02 Ngevd: lernnrl2 enlgishsihs 09:50:12 Itsitstsi plsplelttt "care" 09:50:15 shachaf: why don't you tell Ngevd your IRC password so he can refuse to ghost you? 09:50:20 (Seriously, "careth" is wrong.) 09:50:27 Ngevd: My IRC password is hi monqy 09:50:36 I feel bad every time I type it. :-( 09:50:48 No it isn't 09:50:56 you found me out :( 09:51:07 shachaf's account name is Shachaf 09:51:08 just sayin 09:51:19 Ngevd: you tried? :) 09:51:42 I ALWAYS TRY 09:51:42 ais523: can you op me? 09:51:43 Doesn't nickserv tell you when someone tries and fails to ns identify as you? 09:51:46 just for five seconds or so 09:51:52 FOR I AM NGEVD 09:51:56 elliott: I can, but I have the feeling it would be a bad idea 09:52:02 ais523: DO IT 09:52:03 shachaf: only tries and succeeds, IIRC 09:52:03 ais523: come on, i'm responsible! 09:52:08 Life is for adventures. 09:52:14 i'm even a lambdabot admin! 09:52:20 elliott: you're acting like kerio, stop it 09:52:21 @admin - elliott 09:52:24 :( 09:52:29 shachaf isn't a lambdabot admin. 09:52:32 he is a fake lambdabot admin. 09:52:36 you should kick him for abuse of fake powers. 09:52:45 @admin + elliott 09:53:06 elliott: That worked? 09:53:10 @flush 09:53:23 @msg #esoteric /op elliott 09:53:24 /op elliott 09:53:26 what! 09:53:28 you can't do that, that's a side effect! 09:53:29 @type Just 09:53:30 forall a. a -> Maybe a 09:53:37 elliott: you can't op someone with a privmsg 09:53:40 -!- ChanServ has set channel mode: +o lambdabot. 09:53:48 @msg ChanServ op #esoteric elliott 09:53:57 @raw MODE #esoteric +b elliott 09:53:58 Maybe you meant: faq map rc read run yow 09:54:02 wait 09:54:04 +b isn't +o 09:54:06 good thing that didn't work 09:54:14 -!- ChanServ has set channel mode: -o lambdabot. 09:54:15 @msg ChanServ kick shachaf slep 09:54:17 oh come on 09:54:20 It would have been funny if it did 09:54:27 elliott: you are missing the point of @/msg/ 09:54:29 it sends /messages/ 09:54:33 ais523: yes? 09:54:35 kick, ban, op, etc aren't messages 09:54:35 i was messaging chanserv 09:54:37 yes they are 09:54:40 if you're a chanserv op 09:54:45 elliott: lambdabot isn't on the access list 09:54:51 yes, but i had to try :( 09:54:52 so can't send commands through chanserv 09:55:04 you should put lambdabot on the access list 09:55:06 i mean, it's lambdabot! 09:56:06 lambdabot: how predictable ! 09:56:14 hi monqy 09:57:07 enigma contains different floors ! 09:57:21 (note: I recently discovered that this is actually a misquote, the original quote had no punctuation) 09:57:25 (but who cares, it's a great misquote) 09:58:26 ais523: how about opping me for less than a second? that's not enough time to do any mischief 09:58:52 elliott: How about ZERO SECONDS 09:59:05 shachaf: I thought you *wanted* to be kicked. 09:59:08 Not that I would kick you. 09:59:12 Just commenting. In general. 10:00:15 ais523: Op me so I can kick anyone who kicks shachaf. 10:00:22 See, that's public defense... 10:00:25 *defenke 10:00:47 "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 ais523: do we have a message along those lines? 10:01:12 elliott: in which context? Esolang? 10:01:17 yes 10:01:21 not that I know of 10:01:27 * elliott greps http://esolangs.org/w/index.php?title=Special%3AAllMessages&prefix=&filter=all&lang=en&limit=5000 10:01:30 it's possible there's a secret one, though 10:01:44 nope, nothing like that on allmessagse 10:03:28 ais523: hey, would it violate our privacy policy to disclose the last time someone logged in? 10:03:46 not sure, what /is/ our privacy policy? 10:03:57 it might violate UK law, if we don't explicitly say we're going to do that, though 10:04:07 ais523: we don't have one; in fact, i explicitly removed a redlink to one from the footer 10:04:21 hmm, but the record was made when Graue owned the site 10:04:41 oh well, "they haven't used that accoutn since 2009" seems harmless and vague enough to me 10:04:43 oh, right, you can't (in the UK) disclose private info about someone without warning them before you collecte dit 10:04:43 *account 10:04:45 it might violate UK law, if we don't explicitly say we're going to do that, though 10:04:49 *collected it 10:04:53 it might violate UK law, if we don't explicitly say we're going to do that, though 10:04:56 are you an amnesiac? 10:05:01 no, Konversation bug 10:05:05 not quite bug, but big usability problem 10:05:11 -!- cheater__ has joined. 10:05:17 in that a trivial typo just before I press return leads to copying recent previous lines 10:05:22 with no way to undo it 10:05:31 have you not noticed me randomly repeat lines before? 10:05:38 i just assume you're weird 10:05:57 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 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:04 elliott: not sure 10:06:12 ais523: oh, I meant morally-okay, not legally-okay 10:06:16 I suppose you're a terrible person to ask for that 10:06:20 you know how ridiculously paranoid I am about that sort of thing 10:06:29 and yes, I am 10:06:42 "has not edited since 2009" is morally OK to disclose IMO, though 10:07:05 well, /that's/ a bit obviou 10:07:06 s 10:07:35 how about "That account hasn't been used in years"? 10:07:48 -!- derdon has joined. 10:07:53 "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:03 pah 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 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 but something is logged on 9th april 2012 where he deleted NBF2C.c 10:13:54 deletions are contributions too 10:14:20 -!- Ngevd has quit (Read error: Connection reset by peer). 10:14:38 -!- Ngevd has joined. 10:15:42 ais523: wut? 10:16:04 oh 10:16:05 -!- Ngevd has quit (Client Quit). 10:16:22 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 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 http://en.wikipedia.org/wiki/MY_Titanic Apparently there is actually a ship named after Titanic. 11:19:13 ...In 2009. 11:34:28 if it sinks today, it's the perfect celebration of the 100th anniversary 11:36:28 Anyone own an iceberg? 11:38:25 i am iceberbregegg 11:47:28 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 RocketJSquirrel: How much do you need to owe prgmr before they start sending you nastygrams? 12:05:31 elliott_: You have 1 new message. '/msg lambdabot @messages' to read it. 12:05:34 ...just askin; 12:05:35 -!- elliott_ has changed nick to Guest66938. 12:05:41 wat 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 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:10:16 hi Phantom_Hoover 12:10:19 i'm murdering pyralspite 12:15:25 wat 12:15:25 Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them. 12:15:26 wju 12:16:02 i'm 12:16:04 murdering pyralspite 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:23 so er 12:51:40 does anyone have any idea how to transfer 617 megabytes from prgmr to my machine without going insane 12:53:38 what is insane about that 12:54:03 my internet connection 12:54:04 is slow 12:54:19 and i want to cancel the vps while i owe prgmr $40 rather than $60 12:57:42 -!- oklopol has joined. 12:57:59 Huh, the last time I was on this computer is when McCarthy died. 12:58:34 -!- itidus20 has joined. 12:59:42 No more use for the server? 13:00:21 Deewiant: Well, I'm not paying for pyralspite *and* solidity. 13:00:35 I can run a Minecraft server on solidity, but I think most people are on Gregor's server nowadays? 13:01:06 If you have two servers, can't you move your 617 megabytes to the other one? 13:02:27 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 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 (Not that I don't have lots of room free.) 13:03:04 Also, the privkeys for both are on different computers, and I'm lazy. 13:03:57 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:49 You and your logic. 13:04:53 -!- nortti has joined. 13:05:03 I'd have to fiddle to transfer one of the privkeys safely. :( 13:05:38 Why'd you get another server anyway? 13:06:08 Deewiant: The whole "taking over esolangs.org" thing. prgmr is slower than I wanted. 13:06:18 And the network connection isn't very good, especially from here in the UK. 13:06:54 So where's solidity at? 13:07:02 Linode. 13:07:05 Home of stolen bitcoins! 13:07:05 (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 minecraft/old/old-backup-system/old-backup/ 13:10:05 What a great directory name. 13:14:10 -!- lambdabot has joined. 13:14:21 -!- pikhq has joined. 13:14:25 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 minecraft.tar.xz 3% 28MB 365.5KB/s 35:14 ETA 13:15:18 'tis not, apparently! 13:15:58 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 hmm, I wonder what this message means... "error: error running non-shared postrotate script for /var/log/acpid of '/var/log/acpid '" 13:19:14 it had an error 13:19:41 yeah, it should've just said "error: error" 13:24:31 ah, it's trying to send SIGUSR1 to acpid, but acpid is not running 13:25:46 oh, it's ... not even installed 13:32:15 lol 13:37:16 I had about a million packages in that "removed with residual config files" state 13:40:16 what distro are you using? 13:40:26 ubuntu 13:42:05 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:00:40 are thewre 14:01:00 does someone want to adopt a server 14:01:04 i feel so bad about putting it down 14:01:08 *there any amigaOS, morphOS or AROS users? 14:01:33 elliott_: specs? 14:01:33 cpressey used amigaos 14:01:47 nortti: uhhhhhhhhhhhhhhhh not very speccy 14:01:54 it's just a $20/mo VPS from prgmr 14:02:03 but i love it 14:02:03 all 14:02:04 the 14:02:04 same 14:16:04 But he's rabid. 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:21:58 It is done. 14:22:50 nortti: I have used RiscOS 14:22:54 -!- sebbu2 has joined. 14:22:56 but a really long time ago, can't remember much about it now 14:22:57 elliott: You're a man now, Elliott. 14:23:00 -!- sebbu2 has quit (Changing host). 14:23:01 -!- sebbu2 has joined. 14:23:01 it bothers me that the progress bar of a youtube video is not related to horizontal letterboxing of a youtube video 14:23:05 RocketJSquirrel: I haven't killed it yet. 14:23:09 Just copied its memory. 14:23:13 Like a real mad scientist. 14:23:15 it's what my primary school used, back before Windows had really caught on 14:23:17 elliott: You're not a man yet, Elliott. 14:23:41 just had to get that off my chest 14:23:45 RocketJSquirrel: What's the URL for prgmr management... 14:23:58 elliott: ssh 14:24:19 RocketJSquirrel: No, I mean, the page with all the billing stuff. 14:24:23 Oh 14:24:32 I forget :) 14:24:40 they should do that over ssh too :) 14:25:17 That would require PayPal-over-ssh :P 14:25:33 paypal? seriously? 14:25:59 elliott: billing-external.prgmr.com 14:25:59 -!- sebbu has quit (Ping timeout: 246 seconds). 14:26:04 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:10 ais523: We already had this argument, let's not deja vu. 14:26:13 Ah, https://billing-external.prgmr.com/ 14:26:16 Thanks in the past RocketJSquirrel 14:26:24 but the outcome was awesome enough that I don't care 14:26:43 itidus21: YouTube tell people not to upload with letterbox bars already on the encode 14:26:46 but they do anyway 14:26:59 RocketJSquirrel: There seems to be no way to cancel an account through this interface >_> 14:29:43 ais523: Do you know what version it ?was 14:29:54 *was? 14:29:57 nortti: of what? 14:30:01 also, weird typo 14:30:18 RISC OS 14:30:24 no, I don't 14:30:30 I was pretty young then 14:30:48 it was back when RISC OS was actually a viable choice for the primary OS of an organisation 14:31:51 yeah. I am thinking about using it as my main os for some time after it gets ported to Raspberry Pi 14:33:00 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 ais523: this is basically what i have in mind http://oi42.tinypic.com/1949sh.jpg 14:33:44 notice how nice it looks having the toolbar lined up with the letterboxing.. either that or i'm a tad mad 14:33:54 netsurf runs on it and so does gcc 14:34:07 itidus21: then why is the letterboxing there at all? 14:34:26 hmm 14:34:55 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 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:26 lol 14:35:44 RocketJSquirrel: HOW DO I CANCEL X_X 14:35:52 you... ask a good quetsion.. why IS the letterboxing there at all >.> 14:36:02 elliott: You can check out any time you want, but you can never leave. 14:36:29 hotel california 14:36:36 ais523: ok ... i'll let it go right now 14:36:41 -!- hagb4rd2 has changed nick to hagb4rd. 14:39:12 ais523: do you know that RISC OS has no memory protection and it uses co-operative multitasking 14:39:13 Come ooon, I don't wanna gotta email support about this. 14:39:19 They'll be all "WHY DID YOU PAY TWO MONTHS LATE" 14:39:30 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 nortti: no but I'm not surprised 14:41:56 itidus21: like every recent image viewer? 14:42:48 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 meh, win3.1 is coop multitasking with no memory protection too, IIRC 14:43:23 and it's entirely usable 14:44:21 Uhh, no. 14:44:29 Windows 3 is preëmptive. 14:44:31 ais523: and so is system 1-Mac OS 9 14:45:24 RocketJSquirrel: ah, OK 14:46:27 the docs I was working from were written as though cooperative versions of Windows were still in use 14:52:50 anyway, IMO, preëmptive multitasking is just a workaround for buggy programs 14:52:57 and cooperative would be better if programs were written correctly 14:53:11 (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:35 ais523: Welcome to #esoteric . 14:53:43 indeed :) 14:53:45 ais523: I am thinking about writing my own hy 14:54:44 RocketJSquirrel: cancel my prgmr for me thanks 14:54:48 -hy+hobby os the way it uses co-operative multitasking, but it can preempt task that is not respondig/giving up cpu time 14:55:15 nortti: That is how all preëmptive OSes work. 14:56:39 it'd be silly if processes had to go into a busyloop waiting to be preëmpted 14:56:59 hmm, is the opposite of preëmptive coöperative? 14:59:32 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 14:59:45 *sends 15:00:21 nortti: SIGXCPU works pretty much exactly like that in Linux (although it gets killed, not pre-empted) 15:00:22 nortti: OK, so what you've added to a preëmptive system is a nag signal. 15:00:33 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:09 `welcome Capster 15:27:14 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 http://www.osnews.com/comment.php?news_id=25818 15:44:40 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 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 I'm about to delete this question. 15:58:37 Everyone enjoy it while it's still there. 15:59:18 *poof* 16:00:01 delete, not just close? 16:01:15 It was already closd. 16:01:16 *closed. 16:01:50 I missed it :( 16:01:59 Other than the broken grammar in the title, I know of nothing wrong with it. 16:02:06 Don't worry! 16:02:17 http://ompldr.org/vZGR2Yw/stackoverflow.com-q-10162297.html 16:02:19 I AM HERE TO HELP 16:02:38 lol 16:02:38 (Yes, the entire question body is inexplicably in a blockquote tag.) 16:03:00 (ompldr happily serves up raw HTML???) 16:03:03 (That's as useful as it is insecure.) 16:03:23 elliott: exactly equal? 16:03:35 it's both useful and insecure, but it'd be a huge coincidence if it were both in equal ammounts 16:04:17 It's not /enormously/ insecure, it's not like you could ompload PHP and it'll just run on the server. 16:04:39 It's just a same-origin-policy issue. 16:05:01 ais523: Exactly equal! 16:05:14 RocketJSquirrel: Weeell, let's put it this way 16:05:32 http://ompldr.org/vZGR2Yw <-- do you expect clicking this link might lead you to a javascript nastygram? 16:05:40 Right, exactly. 16:05:44 Or Last Measure? 16:05:50 Wait, that /is/ a javascript nastygram. 16:05:59 Or Goatse? 16:06:01 Oh wait 16:06:04 RocketJSquirrel: More of a "same trust" issue than a same origin policy issue :P 16:06:11 Fair enough. 16:06:19 And yeah, yeah, but a billion popups are worse than one distended anus. 16:06:26 you could steal sessions with it, presumably? 16:06:36 ais523: I don't think ompldr has any sessions. 16:06:36 not sure if an ompldr session is worth anything 16:06:37 `addquote a billion popups are worse than one distended anus. 16:06:42 835) a billion popups are worse than one distended anus. 16:07:12 RocketJSquirrel: I specifically crafted that to get quoted but you have to obey the RULES dammit 16:07:53 is there a way to browse trought those quotes? 16:07:58 `pastequotes 16:08:01 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3288 16:08:08 `quote 16:08:08 `quote 16:08:09 `quote 16:08:09 `quote 16:08:09 `quote 16:08:16 ais523: wait, do we do 4 or 5? 16:08:28 803) 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:33 elliott: 5 16:08:39 how can you fail to remember that? 16:08:57 Failed to clone the environment! 16:08:58 420) 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 129) Gregor-P: I don't think lambda calculus is powerful enough 16:09:04 >_< 16:09:14 RocketJSquirrel: If you used Transactional HackEgo... 16:09:23 `quote 16:09:24 `quote 16:09:30 346) I just thought you might have meant the Ramanujan tau and I was WOAH he weilds heavy weapons 16:09:34 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 [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 why do the ID's change all the time? 16:13:08 nortti: because they're just based on file position 16:13:12 so deleting a quote renumbers all the ones after it 16:13:19 -!- Capster has left. 16:13:19 ais523: a prefix of a hash could work, yes 16:13:37 first five base-36 digits of an sha sum, say 16:13:39 `quote 16:13:40 `quote 16:13:40 `quote 16:13:40 `quote 16:13:41 `quote 16:14:02 711) the parser would be even simpler if I didn't try to do type inference in it 16:14:02 what would happen on hash collision? 16:14:14 121) AnMaster: intercal-72 c-intercal clc-intercal j-intercal yes all versions all versions 16:14:14 696) VMS Mosaic? I hope that's not Mosaic ported to VMS. Hmm. It's Mosaic ported to VMS. 16:14:14 247) mtve, now he's an expert idler. mtve: kitty kitty kitty 16:14:14 430) decrypt 'illustrates the "can do" approach of conservatism in a patriotic way' 16:14:14 nortti: I think that would be pretty unlikely. 16:14:32 247 is worst in that set 16:14:53 711 is funny, 121 is fungot-amusing, 696 is funny, 247 is... yeah, not that good, although the image amuses me 16:14:54 elliott: here, i'll prove it, too, will take what i can get a little of that back with them, dromiceiomimus 16:14:58 121 is pretty low-quality for fungot, though 16:14:58 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 and 430 is a direct Conservapedia quote, which is totally cheating, but I guess we'll have to live with it 16:15:58 https://github.com/farbrausch/fr_public whoa 16:16:06 ais523: meh, I'll roll again out of stubbornness 16:16:07 `quote 16:16:07 `quote 16:16:08 `quote 16:16:08 `quote 16:16:09 `quote 16:16:21 without deleting 247? 16:16:24 352) boston cream pie? sounds related to a cleveland steamer 16:16:28 or is it good enough to keep? 16:16:35 664) "Facekicker" Hird is a member of the Hird family Ngevd, world-renowned detective. 16:16:36 587) You mean it'd be Tau Zero but without the spaceship? 16:16:37 500) [2008] i'm testing Haiku and it appears that it is a major shit 5+7+5, not 5+11, nooga 16:16:38 780) "Category 4 ("professional") fireworks are for sale only to fireworks professionals. They have no restrictions," OK I need to become a pyrotechnician. Phantom_Hoover: that's like wanting to become a locksmith so that you can legally own lockpicks Did I mention when I wanted to become a locksmith? 16:16:41 ais523: I don't dislike any of them strongly enough to delete now 16:16:56 352 and 780 are naff 16:17:08 bleh, is there any way to adblock a favicon? 16:17:13 what 16:17:16 WAI HALLO THAR 16:17:29 elliott: I use adblock and noscript as generalised annoyance-blockers 16:17:37 but this favicon is pissing me off, and adblock can't aim at it 16:17:42 When are favicons annoying 16:17:43 what 16:17:46 what does it show 16:18:05 it shows 16:18:06 death 16:18:07 itself 16:18:09 it's animated 16:18:26 OK, I can get rid of it in the URL bar by editing the URL 16:18:29 but not the copy in the tab 16:18:38 meh, let's try this again 16:18:38 `quote 16:18:39 `quote 16:18:39 `quote 16:18:40 `quote 16:18:42 `quote 16:18:51 it's getting harder, which means either the quotes are getting better, or my standards are getting lower 16:19:04 814) Lent is a bad habit that people find very difficult to give up. 16:19:13 :D 16:19:41 419) * perlmonkey is pursuing the line of reasoning that eating raw foods can improve cognitive function perlmonkey, well, it certainly makes you think about what you'd rather be eating. 16:19:41 159) you should be eating corpses more 16:19:41 92) oklopol geez what are you doing here ...i don't know :< i actually ate until now, although i guess i also did other things... 16:19:42 185) catseye: Please wake up. Not recorded for this timezone. The big spider is not your dream 16:19:55 haha at the juxta of 419 and 159 16:20:06 `delquote 159 16:20:09 not haha at 159 itself, alas 16:20:15 although I suspect I'm to blame for that one 16:20:19 it's a clear NetHack reference 16:20:20 ​*poof* you should be eating corpses more 16:20:28 so it's only funny to people who don't know the context 16:20:32 elliott, how the hell did you not eat corpses all the time? 16:20:48 `quote 16:20:48 `quote 16:20:49 `quote 16:20:50 `quote 16:20:50 `quote 16:20:54 ais523: are you /sure/ it's 5? 16:20:56 I keep doing four 16:20:58 I compulsively eat everything I kill, unless it's a lichen, in which case I pick it up. 16:20:59 216) oerjan: What, can girls aim their penises better? 16:21:02 elliott: yes 16:21:11 491) itidus20: i saw a dancing cgi skeleton named malaria. i danced and played with him. 16:21:14 why is HackEgo 16:21:14 so 16:21:14 slow 16:21:19 i remember malaria! 16:21:24 so do I! 16:21:25 259) who is guido van rossum you could say he's a man who grew a beard but acquired none of the associated good properties 16:21:25 256) 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 that was the old old monqy 16:21:28 i dont 16:21:32 37) i'm my dad's unborn sister 16:21:33 before he got corrupted into old monqy by bad influences 16:21:47 I don't like 259 or 37 16:21:52 the other three are good 16:22:11 259 is good, 37 is bad but traditional 16:22:12 hmm 16:22:33 "traditional" is a reason to keep quotes? 16:22:39 yes! 16:22:40 bah, if this doesn't turn up a really crap one I'm going to go on an indiscriminate quote massacre: 16:22:41 `quote 16:22:42 `quote 16:22:42 `quote 16:22:43 `quote 16:22:44 `quote 16:23:01 803) the allocation is done by the "Dynamic" in DRAM before that we used SRAM where everything was preallocated in the factory olsner: So what's this SDRAM then? fizzie: synchronized, it's for multithreading 16:23:24 I remember that one 16:23:29 672) 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 787) the possession of diamonds by the bourgeois is more about establishing their bourgeoisness more than wanting a malleable metal oops i forgot i said diamonds instead of gold 16:23:30 666) It's missing the "bear scat showing a diet of prime numbers" picture. 16:23:31 191) fizzie: I can never tell with OpenBSD! everything looks like an error anyway 16:23:51 787 is pretty bad 16:23:58 and I don't get 666 16:24:11 `delquote 666 16:24:13 not funny out of context 16:24:17 also, demonic 16:24:25 ​*poof* It's missing the "bear scat showing a diet of prime numbers" picture. 16:24:38 `quote 16:24:39 `quote 16:24:39 `quote 16:24:40 `quote 16:24:40 `quote 16:24:46 what a wonderful way to wile away an afternoon this is 16:25:03 785) 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 523) what i mean by afk is i can see how dumb it is.. ill make a coffe instead 16:25:29 816) Phantom_Hoover: gsi-ffs.scm just has a tendency to give procedures meaningful, spelled out, names, unlike " fnord)" 16:25:35 23) IN AN ALTERNATE UNIVERSE: In an alternate universe, I would say "In an alternate universe, ehird has taste" 16:25:36 284) 320 quotes and still not a funny one yet! 16:25:52 multiple ones need to go there 16:26:00 hmm 16:26:01 284: now even funnier? 16:26:06 actually, I feel like keeping 284 because of the incrongognointosity 16:26:10 of the quote number 16:26:10 so 16:26:12 `delquote 523 16:26:17 ​*poof* what i mean by afk is i can see how dumb it is.. ill make a coffe instead 16:26:30 ok someone else spin the slot machine this time 16:26:42 `quote 16:26:44 `quote 16:26:44 `quote 16:26:45 `quote 16:26:45 `quote 16:26:48 thanks oklopol 16:26:50 you're a real pal 16:26:53 24) so i can only conclude that it is flawed, or the world is utterly bonkers 16:26:58 78) I used to have salt licks for my horses. They would make cool abstract sculptures with them. 16:27:08 449) Dear eHow: Please don't assume that my toilet works like that Or, at least, my toilet looks different 16:27:09 243) are you always careful to have a small enough margin so that it can't contain the proof? nddrylliog: i usually use latex, and make sure my hd is almost full 16:27:11 Failed < 1334507241 963061 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :that last one isn't funny at all 16:27:24 `delete Faile 16:27:27 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: delete: not found 16:27:29 *delquote 16:27:30 `quote 16:27:34 373) sgeo do you actually know what sex looks like i am just checking here I think so 16:27:44 `delquote 78 16:27:48 ​*poof* I used to have salt licks for my horses. They would make cool abstract sculptures with them. 16:30:19 Phantom_Hoover: You should spin it! 16:33:40 Spin what? 16:34:08 HackEgo. 16:34:57 scroll up man! 16:35:10 ais523: http://alpha61.com/primenumbershittingbear/ is kinda what it referred to. 16:35:43 It's Exactly What It Says on the Tin. 16:36:04 I don't quite recall what the "it" was in the context, though. 16:36:16 Some mirror, I think. 16:58:48 -!- zzo38 has joined. 16:58:59 -!- Nisstyre has changed nick to TheSussman. 16:59:17 -!- TheSussman has changed nick to Nisstyre. 16:59:17 ?messages 16:59:17 You don't have any new messages. 17:01:54 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:04:58 ais523: WELCOME TO JAVA 17:05:24 zzo38: Firefox 17:09:45 You know who we should disown? 17:09:47 People who use bold-italics. 17:09:54 Except when bolding the title of a work. 17:10:50 what about doing them as parody? 17:11:05 there's nothing wrong with doing something like this occasionally 17:11:13 except that most clients don't interpret tab as toggle-italic, like Konversation does 17:13:26 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 irssi shows I in reverse color 17:14:33 seems like I is displayed as I here 17:17:10 Installin' Debian on my tablet. 'cuz hell yeah. 17:18:14 ais523: I think parody should be banned, too. 17:18:34 well it doesn't display bold italics for anyone using a different client to me 17:18:39 so how can you tell it actually is bold italics? 17:18:44 I could be spoofing my version string 17:25:27 @time fizzie 17:25:29 Local time for fizzie is Sun Apr 15 20:25:28 2012 17:25:34 @time 17:25:38 Local time for nortti is Sun Apr 15 23:17:09 2012 17:26:03 oh shit. I think I fucked up my time settings 17:26:52 or fizzie did 17:27:59 -!- cheater has joined. 17:36:47 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:21 @time 17:38:24 Local time for nortti is Sun Apr 15 23:36:51 2012 17:39:10 @time 17:39:13 Local time for nortti is Sun Apr 15 20:37:40 2012 17:39:26 -!- Taneb has joined. 17:39:47 Hello! 17:40:00 hi Taneb! 17:40:47 bye Taneb 17:41:04 I'm on my phone 17:42:49 -!- nortti has quit (Read error: Operation timed out). 17:44:07 I can IRC and everything 17:44:33 wow 17:46:04 This is The Future 17:46:25 ais523, what news on Feather? 17:46:33 Taneb: none! 17:46:38 isn't that encouraging? 17:46:45 Yay! 17:47:43 It's just like I thought it would be! 17:48:15 this is amazing 17:48:27 I can talk to my phone and it puts it in the chat 17:48:37 ha ha ha ha ha ha ha ha ha 17:49:06 Taneb: try a tonguetwister 17:49:45 she sells seashells on the seashore 17:49:48 or just try to do my nick through the voice thing, it probably isn't in its dictionary 17:49:57 x 523 17:50:25 /close/ 17:50:31 can i call you x from now on? 17:50:36 ais is such a mouthful 17:50:36 coleridge and 17:50:43 `addquote coleridge and 17:50:43 can you guess is that was meant to be 17:50:46 832) coleridge and 17:51:21 `addquote asdfasd;lkfj 17:51:24 833) asdfasd;lkfj 17:51:41 that's not a fun depot 17:51:42 dbelange: Stop! Drive sideways. 17:51:51 hammertime 17:52:04 `delquote 833 17:52:07 ​*poof* asdfasd;lkfj 17:52:23 voice changer to remove ads from transit as well as intended 17:52:35 `delquote 832 17:52:38 ​*poof* coleridge and 17:52:42 `addquote coleridge and [...] voice changer to remove ads from transit as well as intended 17:52:43 argh 17:52:46 832) coleridge and [...] .18.<.Taneb.>.. voice changer to remove ads from transit as well as intended 17:52:47 `delquote 832 17:52:51 ​*poof* coleridge and [...] .18.<.Taneb.>.. voice changer to remove ads from transit as well as intended 17:52:55 `addquote coleridge and [...] voice changer to remove ads from transit as well as intended 17:52:58 832) coleridge and [...] voice changer to remove ads from transit as well as intended 17:53:08 hmm, that ruins coleridge and :( 17:53:27 Why does it have the CTRL+C and CTRL+H in your message there? 17:53:49 colours 17:54:21 the killers dancer in my c*** 17:54:49 I would suggest with even though I was meant to say try 17:55:09 I think I'll stick to keyboard input now on 17:58:20 `delquote 832 17:58:22 the killers dancer in my c*** 17:58:22 ​*poof* coleridge and [...] voice changer to remove ads from transit as well as intended 17:58:22 WJAT 17:58:25 Argh. 17:58:26 `addquote coleridge and 17:58:28 Caps lock. 17:58:29 832) coleridge and 17:58:32 `addquote voice changer to remove ads from transit as well as intended 17:58:35 833) voice changer to remove ads from transit as well as intended 17:58:37 `addquote the killers dancer in my c*** 17:58:41 834) the killers dancer in my c*** 17:59:09 Phantom_Hoover: i think the caps were appropriate 17:59:10 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:16 There were so many questions. 17:59:43 i had to google to check that wasn't actually real 17:59:51 just in case 18:00:39 doesn't seem like it was 18:00:57 l is it real 18:01:09 I am 18:01:19 taneb never stop 18:01:23 talking like this 18:01:33 Breaking news, Taneb 'real'. 18:02:44 @pl \n c -> n * 10 + toInteger (digitToInt c) 18:02:44 (. (toInteger . digitToInt)) . (+) . (10 *) 18:02:51 did you type that with speech 18:02:53 please say yes 18:03:03 because of how on earth would I do that 18:03:41 -!- nortti has joined. 18:04:18 indeed 18:04:21 I love how it worked at first and then went straight to hell. 18:04:39 I dont even no idea what I'm saying 18:04:40 wait when did it work 18:05:00 `addquote l is it real I am [...] because of how on earth would I do that [...] I dont even no idea what I'm saying 18:05:04 835) l is it real I am [...] because of how on earth would I do that [...] I dont even no idea what I'm saying 18:05:21 apparently it is good idea to have swap turned on when running linux on machine with 64MB of menory 18:05:43 *memory 18:05:57 apparently :) 18:06:07 -!- Ngevd has joined. 18:06:07 hang on I have bright idea 18:06:41 navajo to f me 1 in 3 people 18:06:50 `addquote hang on I have bright idea navajo to f me 1 in 3 people 18:06:53 836) hang on I have bright idea navajo to f me 1 in 3 people 18:07:06 This speech recognition software does seem rather fond of the profane. 18:07:24 profanity specialities 18:07:31 `addquote profanity specialities 18:07:33 837) profanity specialities 18:07:44 It knows it'll disgust him. 18:07:57 there must be an easier way to just put everything taneb says in the quote database directly 18:08:50 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 I think it's because making them covariant destroys constructivity or something but I'm not sure 18:09:23 thank you verse I'm not quite innocent 18:09:27 elliott: I don't know, don't make me think about it 18:10:21 ais523: but it's a very special day for thinking about things like that! 18:10:25 `addquote thank you verse I'm not quite innocent 18:10:28 838) thank you verse I'm not quite innocent 18:11:04 I don't even know set theory I haven't a clue what is going on 18:11:17 wow got that 1 right 18:11:32 `addquote I don't even know set theory I haven't a clue what is going on wow got that 1 right 18:11:34 839) I don't even know set theory I haven't a clue what is going on wow got that 1 right 18:11:38 I figure we can just remove the unfunny ones later 18:12:20 it's funny what is gay right c*** 18:13:06 `addquote it's funny what is gay right c*** 18:13:09 840) it's funny what is gay right c*** 18:13:13 It *is* funny. 18:13:19 I have no idea what gay right c*** is, to be honest. 18:13:22 I'm not sure I want to know, either. 18:13:47 may I use my phone says it's nick to clarify 18:14:05 fuck it 18:14:07 `addquote may I use my phone says it's nick to clarify 18:14:09 841) may I use my phone says it's nick to clarify 18:14:26 `pastequotes 18:14:27 Fine call someone see if they will clarify it for you 18:14:29 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 It might not help much 18:15:12 the gay right c*** was meant to be "It's funny what it can get right and what it can't" 18:15:15 `delquote 831 # VIOLATES GUIDELINES 18:15:18 No output. 18:15:25 ClarifyingNick: Uh huh. 18:15:33 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 820) s'f'slg;sd'sdfjhklf;sdklfjdfklgj 18:16:08 Wh- oh, I added that. 18:16:24 Let's delete it 18:16:42 No! 18:16:45 It's part of history now. 18:16:51 Let's delete something someone actually said instead. 18:16:52 `quote 18:16:52 `quote 18:16:53 `quote 18:16:53 `quote 18:16:54 `quote 18:17:04 -!- monqy has joined. 18:17:08 170) the pregnant ones are usually taken already. 18:17:12 hi monqy we were just having a party 18:17:16 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 and are continuing to have said party 18:17:27 16) Finally I have found some actually useful purpose for it. 18:17:28 412) It's a Toy Story character, you uncultured fuck. 18:17:38 720) I like category theory because when you get over how damn weird it is it's still weird. 18:17:39 565) I keep asking random people for "friendship " and it's crippling 18:17:45 i love parties 18:18:14 170 and 720 are boring 18:18:16 ais523: which one's worse? 18:18:27 No, I like those ones 18:18:28 * ais523 looks 18:18:35 170 is worse 18:18:42 And also 16 and 412 and 565 as well 18:18:45 So keep all of them on 18:18:45 funny, I thought 720 was worse 18:18:51 elliott: what's a toy story character? 18:19:00 olsner: a Debian release, I think 18:19:10 monqy: yeah me too 18:19:13 `delquote 720 18:19:14 "democracy" 18:19:16 ​*poof* I like category theory because when you get over how damn weird it is it's still weird. 18:19:25 `quote 18:19:26 66 and 69 are pretty lame 18:19:26 `quote 18:19:26 `quote 18:19:27 `quote 18:19:27 `quote 18:19:42 What is the command to insert quotations in a specified numeric position? 18:19:47 80) [Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( 18:19:57 that means... debian has a release that is newer than 1995? 18:20:05 745) Here in Scotland we have a rigorous and well-tested theory of brothels. 18:20:11 623) yes 5 is very infixr 18:20:11 zzo38: There is none. 18:20:13 377) scripting language. whole program analysis. together at last 18:20:13 310) elliott: hey, thinking's easier than using the Internet 18:20:19 olsner: Wait... 18:20:22 elliott: Then let's invent one. 18:20:24 I love 310 :) 18:20:31 ais523: How come Debian adopted a Toy Story naming scheme despite being founded a few years before Toy Story came out? 18:20:42 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 perhaps they didn't need a naming scheme until it came out 18:20:55 then used the film in a hurry 18:20:56 then it stuck 18:21:14 80 and 623 are rubbish there 18:21:26 `delquote 623 18:21:29 ​*poof* yes 5 is very infixr 18:21:32 I read 80 several times trying to understand it, and failed 18:21:41 whereas 623 looks like some haskell thing I don't know 18:21:44 ais523: it's "..." Warrigal: X 18:21:51 where "..." = `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. 18:21:59 and X = :( 18:22:03 -!- Taneb has quit (Remote host closed the connection). 18:22:04 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 yep, I parsed that much, but still didn't understand it 18:22:10 zzo38: They... 18:22:12 zzo38: I hate to tell you this. 18:22:16 zzo38: But they already made up Toy Story 3. 18:22:23 zzo38: Two years ago. 18:22:24 elliott: I know they did 18:22:27 Oh. 18:22:28 zzo38: pixar, that is, not debian 18:22:31 X-D 18:22:36 elliott: I didn't mean to say they didn't 18:22:46 Okay. 18:22:47 I was confused. 18:22:49 Irrelevant fact: you can now get Toy Story 3 Lego. 18:22:52 hmm, that's a clarification you don't get to use very often 18:23:12 A Debian-made Toy Story sequel is something they could make when they run out of names next time, though. 18:23:23 It'd be all about Linux-running toys or something. 18:23:29 Bahahah 18:23:45 fizzie: Dude. 18:23:49 We made that joke, like, years ago. 18:24:00 I think it might have even been you who made it. 18:24:09 I... don't recall, but that's no proof of anything. 18:24:28 `pastlog toy story.*debian 18:25:00 No output. 18:25:06 `pastlog debian.*toy story 18:25:31 2010-11-05.txt:19:03:25: * Phantom_Hoover realises the Debian releases are named after Toy Story characters. 18:25:39 Phantom_Hoover: ur stupid 18:25:49 ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." 18:26:01 Except that by "it", Lawlabee was referring to something entirely different. 18:26:09 So when I added that quote, Lawlabee emotifrowned. 18:27:55 "emotifrowned" 18:28:26 `addquote ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." Except that by "it", Lawlabee was referring to something entirely different. So when I added that quote, Lawlabee emotifrowned. 18:28:28 why not 18:28:29 840) ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." Except that by "it", Lawlabee was referring to something entirely different. So when I added that quote, Lawlabee emotifrowned. 18:29:11 is tswett Warrigal? 18:30:02 `addquote is tswett Warrigal? 18:30:04 841) is tswett Warrigal? 18:30:07 ok, time to delete some to make room for that crap 18:30:08 `quote 18:30:09 `quote 18:30:10 `quote 18:30:10 `quote 18:30:11 `quote 18:30:26 334) Oh, Hitler! You and your wacky antics! 18:30:50 351) here's a good multiplication algorithm 1010101 x 110 well I don't know how to do it but it starts like that 18:30:52 570) FFS, building a perpetual motion machine should not be this hard. 18:30:53 261) !bfjoust test (-)*10000 Score for Vorpal_test: 12.9 yay 18:30:55 607) 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 !bfjoust test (-)*10000 18:31:30 it's even missing a 0 :) 18:31:30 ​Score for ais523_test: 14.5 18:31:51 yay 18:32:00 it just keeps getting better 18:32:07 !bfjoust test (+)*10000 18:32:12 ​Score for olsner_test: 14.5 18:32:16 What a curveball. 18:32:33 !bfjoust test (-)*100000 18:32:35 fizzie: parity compensation 18:32:39 ​Score for ais523_test: 15.2 18:32:46 you'd expect the two paritied versions of the same thing to get the same result 18:33:00 except the hill changed 18:33:05 because olsner_test got added 18:33:11 did those make it to the hill? 18:33:17 oh, really? I'd expect all those to not make it 18:33:19 !bfjoust test (>+)*2000 18:33:22 ​Score for olsner_test: 0.0 18:33:22 yikes 18:33:49 hmm, did that break some rule and get killed or something? 18:33:57 !bfjoust test >(+)*10000000 18:33:58 went off the edge? 18:34:00 olsner: that goes off the right end of the tape before the opponent can zero its own flag 18:34:03 ​Score for Ngevd_test: 6.2 18:34:04 -!- KingOfKarlsruhe has joined. 18:34:06 698) elliott: well how will you represent "The dog jumped over the lazy dog" then? 18:34:08 this is still beautiful 18:34:24 698 is indeed beautiful 18:34:28 I'm interested in the context 18:34:29 `quote 698 18:34:32 698) elliott, cars aren't perfectly spherical. 18:35:33 `quote jumped 18:35:36 697) elliott: well how will you represent "The dog jumped over the lazy dog" then? 18:36:01 The quick brown fox jumps over the lazy dog. 18:36:12 me too 18:38:03 Jackdaws love my big sphinx of quartz. 18:38:19 what is !bfjoust? 18:38:46 nortti: it enters a BF Joust into our running King of the Hill competition 18:38:50 *BF Joust program 18:38:58 there's no penalty for submitting one that fails, it just won't get onto the hill 18:39:09 so you need an actually good program to do better than that 18:39:32 as in, something rather than nothing 18:39:50 stats for how well your program did are available on (HTTP) request 18:40:05 -!- Ngevd has quit (Excess Flood). 18:40:56 There's also my Page of Plots (tm), I should maybe run it again one day on the current hill. 18:42:06 fizzie: did you ever gcolour those things 18:42:23 Which were the things? 18:43:17 i forget 18:45:59 -!- Ngevd has joined. 18:49:05 fizzie: what's the Page of Plots? 18:49:21 !bfjoust >[(>[-]<[-]+[>[-]<[-]+] 18:49:22 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 18:49:29 !bfjoust asdff >[(>[-]<[-]+[>[-]<[-]+] 18:49:32 ​Score for nortti_asdff: 0.0 18:50:43 !bfjoust asdff >[>[-]<[-]+[>[-]<[-]+] 18:50:46 ​Score for nortti_asdff: 0.0 18:50:50 !bfjoust 1 +[-+]++ 18:50:52 ​Score for zzo38_1: 9.4 18:50:59 olsner: http://zem.fi/egostats/ but it's out-of-date. 18:51:54 nortti: your loop is unbalanced 18:52:53 !bfjoust ++[+[>-+]>>] 18:52:53 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 18:53:09 !bfjoust asdff >[>[-]]<[-]+[>[-]<[-]+] 18:53:12 ​Score for nortti_asdff: 17.0 18:53:20 !bfjoust notforlong ++[+[>-+]>>] 18:53:22 ​Score for itidus21_notforlong: 11.3 18:53:57 Is bfjoust with input implemented? Possibly it could be implemented using the same programs but its own scoreboard 18:55:21 why can't I find my program on the stats? 18:55:35 because it sucked too much and dropped off the hill 18:55:55 see also http://codu.org/eso/bfjoust/breakdown.txt after running a program 18:56:04 and http://codu.org/eso/bfjoust/egojsout/ for any kind of serious development 18:56:26 !bfjoust asdff >[>[-]]<[-]+[>[-]<[-]+] 18:56:30 ​Score for nortti_asdff: 17.0 18:56:59 !bfjoust notforlong ++[+[<+>-][>-+]>>] 18:57:01 ​Score for itidus21_notforlong: 0.0 18:57:10 i feel silly now with that name :D 18:57:41 and more reasons 18:57:45 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 RocketJSquirrel: Phantom_Hoover: (That means YOU) 18:57:53 (You, plural.) 18:58:36 Aaaaaaaaaaaaand... 18:58:42 *poof* 18:58:50 rest peacefully, linux drivers theory 18:58:53 Wow. 18:58:54 "you will be missed" 18:59:05 elliott: wow, that's a troll against Windows that's potentially valid? 18:59:14 disguised as an FAQ question? 18:59:19 (this is not redundant, btw!) 18:59:37 !bfjoust hiushui +[>+>>->++>>+++>>+>>>+++>>++>>>>+---++>>>>-->>>+++>>>>+] 18:59:41 ​Score for itidus21_hiushui: 0.0 18:59:51 wtf? 18:59:57 ais523: I cannot claim to know "is". 18:59:58 as if i know what im doing 19:00:02 It is pure form itself; it has no content. 19:00:13 I can merely meditate upon its existence. And also delete it 19:00:19 elliott: I'm trying to work out what your ""is"" is 19:00:28 well, referring to, at least 19:00:30 ais523: Bill Clinton once struggled with the same metaphysical question. 19:00:41 did he beat it? 19:00:44 !bfjoust tibute_to_itidus21 < 19:00:47 ​Score for monqy_tibute_to_itidus21: 0.0 19:01:01 ais523: Well, he stopped being President. 19:01:02 !bfjoust woops_I_meant_tribute + 19:01:05 ​Score for monqy_woops_I_meant_tribute: 9.8 19:01:10 score! 19:01:14 !bfjoust the_old_standby (>)*8(>[+])*21 19:01:17 ​Score for ais523_the_old_standby: 22.3 19:01:30 if you can't beat that, you should probably think hard about how you design BF Joust programs 19:01:55 ais523: ("It depends upon what the meaning of the word 'is' is." --Bill Clinton) 19:01:59 (admittedly, even rule of nine took a few days to discover) 19:02:00 !bfjoust counter_tribute_to_tidus ++[[+++>++>][+++<++<]]+ 19:02:03 ​Score for itidus21_counter_tribute_to_tidus: 9.9 19:02:07 elliott: oh, but he just had a single layer of quoting 19:02:13 I was asking about the meaning of ""is"" 19:02:20 Oh. 19:02:22 (or ((is)) with Underload quoting) 19:02:24 Well, that's different. 19:02:28 indeed 19:02:52 Mmmmmmm, orange pez :) 19:03:01 ais523: The "is" I was referring to was the "is" in your "wow, that's". 19:03:05 if you can't tell the difference between ""is"" and """is"""… 19:03:06 (i.e. the "is" in "that is".) 19:03:13 ah, OK 19:03:18 Thus, I cannot claim to know what that "is" is. 19:03:25 !bfjoust perkele [++++] 19:03:27 ​Score for nortti_perkele: 13.3 19:03:31 wft 19:03:39 works for truth? 19:03:55 !bfjoust perkele_notsuiciding +[++++] 19:03:59 ​Score for ais523_perkele_notsuiciding: 15.5 19:04:06 ^ obvious improvement 19:04:22 http://stackoverflow.com/questions/10120428/is-it-possible-to-draw-a-graph-using-javascript 19:04:24 GET IT WHILE IT'S HOT 19:04:42 elliott: is there a cost for deletion? 19:05:04 A cost? 19:05:13 YOUR SOUL 19:05:16 !bfjoust perkele [+++++] 19:05:16 No. It takes at least three people to delete something. More if the question has more votes. 19:05:17 like there is for downvotes 19:05:19 ​Score for nortti_perkele: 15.1 19:05:21 ah, OK 19:05:30 I was wondering if you had to pay in deletons or something 19:05:31 deletoids 19:05:34 deletelets 19:05:37 I'm just going through the "most delete votes" tab in the moderator tools. 19:05:46 nice, "can anyone suggest me the proper script.This is a simple one" 19:05:58 is there a don't-delete vote to counteract it? 19:06:01 elliott: Gettin' a bit power-happy, don'tcha think? 19:06:01 olsner: plz send me the codes 19:06:08 ais523: no, but there's an undelete button afterwards 19:06:11 “This question was removed from Stack Overflow for reasons of moderation.” 19:06:17 RocketJSquirrel: Soon I'll delete *your* *children*! 19:06:25 ion: TOOOO SLOW 19:06:27 ion: gah, trying to figure out if that's valid but very bad english, or if it's just wrong 19:06:47 there's nothing wrong with that sentence! 19:07:02 ion: http://ompldr.org/vZGR6NQ 19:07:13 Annoying that that thing does not save the comments. 19:07:15 elliott: isn't it equivalent to "this question was removed from Stack Overflow for moderate reasons"? 19:07:32 ais523: err, only if you deliberately use the wrong meaning of "moderation"? 19:07:49 elliott: the correct one doesn't fit into the sentence there 19:07:56 sure it does 19:08:06 there was too much of that question, now there is an appropriately moderate amount of it 19:08:12 elliott: heh 19:09:25 !bfjoust hudhewui >>>>>>>>>>>>>>>>>+[++>[-]<] 19:09:29 ​Score for itidus21_hudhewui: 0.2 19:10:14 !bfjoust congratulations_itidus21 - 19:10:15 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 ​Score for monqy_congratulations_itidus21: 9.7 19:10:22 congratulations itidus21! 19:11:10 And I managed to trick a pursuer by teleporting myself to the same location but one minute forward in time. 19:11:11 aha 19:11:15 i see what i did wrong 19:11:33 !bfjoust hudhewui >>>>>>>>>>>>>>>>>+[++>[<->]<] 19:11:35 ​Score for itidus21_hudhewui: 0.2 19:11:39 dhhh 19:11:49 just kidding, of course i didnt 19:12:31 does anyone want to tell itidus21 about the rule of 9 19:12:35 !help languahes 19:12:36 ​Sorry, I have no help for languahes! 19:12:45 !help languages 19:12:45 ​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 I'm misinterpreting your answer as being to my question in an attempt to derail the conversation 19:13:31 yes, it's got that bad 19:14:11 !bfjoust hudhewui >>>>>+[+>[<->]<] 19:14:15 ​Score for itidus21_hudhewui: 0.9 19:14:26 ok ill leave it alone 19:14:39 ais523: by the way, what's the type of a closure? 19:14:42 or did i already ask you that 19:14:52 elliott: function type, typically 19:14:58 * elliott coughs 19:14:59 or thunk type, in languages that have that 19:15:00 WRONGE 19:15:35 well, if the closure doesn't take arguments, then in a pure language you can't distinguish it from a value 19:15:43 which is why function types are so common for closures 19:15:44 the type of a closure is ∃s.(s, (s,a) → b) 19:20:16 !bfjoust hudhewui +[-+>[<-+>]<] 19:20:19 ​Score for itidus21_hudhewui: 10.8 19:20:24 ok now I have moved into pedantically nitpicking people's spelling hepl 19:20:44 I'm not good enough at trolling to derail a conversation that really badly needs derailing 19:20:55 what's it about 19:21:04 feminism 19:21:11 I think, at least 19:21:18 a discussion about feminism on IRC 19:21:21 how could anything possibly go wrong 19:21:41 note: it's entirely offtopic, and a very large proportion, possibly everyone, involved is male 19:21:53 how shocking :) 19:22:04 just /part, that's what I do when conversations are (a) hopeless and (b) hopelessly unstoppable 19:22:11 and it's got so heated and idiotic that people are repeatedly ragequitting 19:22:21 I'm hoping to salvage the channel before leave it permanently 19:22:38 what channel is it, out of curiosity? I promise not to join :P 19:22:39 *more people leave it permanently 19:22:41 #tasvideos 19:23:05 meh, you can join if you can think of a plausible way to change the subject 19:23:14 preferably to something really boring so conversation dies 19:23:21 nah, I suspect being witness to that conversation would just annoy me 19:24:56 OK, someone's trying to derail the conversation by thinking of even /more/ controversial topics to deflect it onto 19:25:00 I, umm, is that a bad idea? 19:25:04 -!- derdon has quit (Remote host closed the connection). 19:25:06 yes 19:25:07 Hello! 19:25:12 ais523: did you know Intel stands for INTegrated ELectronics???? 19:25:15 Intel facts 19:25:19 elliott: no 19:25:29 ais523: now you do 19:25:42 how much harm can a long term offtopic do? 19:25:46 did you know that AMD stands for Actually, More Daleks? 19:25:58 elliott: I think you are wrong about AMD 19:26:01 :( 19:26:01 no, presumably because it's false 19:26:09 it's okay to know things that are false too! 19:26:11 zzo38: I think he's lying, rather than wrong 19:26:12 you have to have some variety 19:26:14 he might also be wrong, I guess 19:26:29 ais523: Even if you are lying, you will still be wrong 19:26:58 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 is it actually more efficient to know whats true than whats false, or is that a perceptual bias? 19:27:20 and in the parody one-upmanship, they've forgotten the subject 19:27:21 it seems like a bias 19:27:36 itidus21: are there more true things or false things? 19:27:55 ais523: thats very zen really 19:28:08 ais523: equal, except on saturdays 19:28:10 no, it's more or less the opposite of zen 19:28:13 when false things take a slight lead 19:28:24 in zen, there is no false, there is no true, there is only oneness 19:28:31 `addquote ais523: thats very zen really no, it's more or less the opposite of zen 19:28:35 842) ais523: thats very zen really no, it's more or less the opposite of zen 19:29:48 I'd say there are more false things than true things 19:29:58 you have too much of a life 19:30:10 Ngevd: but it's Sunday 19:30:11 Ngevd: Some things can be neither true nor false 19:30:33 For every true thing, there can be many false things 19:30:41 However, as both are infinite? 19:30:44 Are they both countable? 19:31:11 ais523: he was just trying to increase the number of false things 19:31:12 by saying one 19:31:24 -!- Sleeptalik has changed nick to Tiktalik. 19:31:24 surely it exists even if it remains unsaid? 19:31:34 how can you be sure? 19:31:44 -!- oklopol has quit (Quit: ( www.nnscript.com :: NoNameScript 4.22 :: www.esnation.com )). 19:33:25 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 conciousness itself is probably a psychic phenomena 19:34:09 >:) 19:34:32 itidus21: Yes, that seems reasonable. But first let me finish by writing more messages, then we will know better. 19:36:13 i'm gonna retreat to the tv now 19:36:59 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 zzo38: was the person who phoned the psychic? 19:38:18 ais523: I don't know. 19:38:30 that would be a simple enough explanation 19:38:46 was the phone psychic 19:39:06 Was the person phoned a weird stalker guy with cameras EVERYWHERE 19:39:35 Ngevd: UK government? 19:39:41 POLITICAL COMMENTARY 19:39:46 ais523, UK private sector 19:39:51 POLITICAL COMMENTARY 19:39:52 was the person a giraffe 19:39:56 i'm just asking the quesitons nobody has thought of 19:39:58 uncovering 19:40:00 the trtuhrth 19:40:03 Ngevd: I think that is even less likely than the other explanations but possible 19:40:38 was the person who phoned 19:40:40 actually dead 19:40:53 ps. - the answer is 'yes' 19:41:59 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 That person needs to try harder 19:43:35 (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 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 (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 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 did you know that almost half of people are worse at logical thinking than average? 20:02:43 nortti: By "average", do you mean the mean or median? 20:03:14 Or mode 20:04:16 as is x1+x2+...+xn/n 20:04:24 Mean 20:05:08 *(x1+x2+...+xn)/n 20:05:22 I didn't know that. 20:05:36 -!- elliott has quit (Read error: Operation timed out). 20:05:53 But I suppose you are probably correct 20:06:32 nortti: is that a joke? 20:06:36 So... logical thinking is an approximately symmetrical distribution? 20:06:56 itidus21: yes 20:07:38 can you sense how almost half of people have a lousier than average intuition? 20:08:08 oerjan: *than median? 20:08:23 oh no, you're using a different average deliberately for proof of symmetry 20:09:08 ais523: if your intuition is good enough to distinguish mathematical averages, i'll be impressed 20:09:41 oerjan: in very skewed distributions, mode from mean is pretty easy to distinguish intuitively 20:09:50 and in distributions with large outliers, median from mean is 20:10:09 * oerjan wonders if anyone has measured the distribution of intuition 20:15:41 Is it measurable? 20:16:14 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 hm wait it's probably not really binary, it's just that the INTP etc. classes have only N vs. S 20:27:13 ?dice 1d4 20:27:13 1d4 => 4 20:27:29 Is that right? 20:27:42 you'd think 20:28:00 TIL: GTK can be switched over to Cyrllic transcription input. 20:28:02 ?dice 3d6 20:28:02 3d6 => 11 20:28:09 Cyrillic, too. 20:28:14 Yes, it is right 20:28:21 Ас ёу цан имагине, тхис веирдед ме тхе фуцк оут. 20:29:20 окаё 20:30:05 ?dice 13d13 20:30:05 13d13 => 64 20:30:06 hm wait ё is probably yo, not just y 20:30:48 ?dice 1000000d100 20:30:49 1000000d100 => 50516627 20:32:59 egojsout makes opera use infinite ram :( 20:33:13 I am advancing a D&D level which skill should I select? 20:33:52 rocket science 20:34:05 brain surgery 20:34:30 There is neither skill 20:34:55 brain surgery might be plausible, in a frankenstein monster way 20:34:56 Profession? Diplomacy? Decipher Script? Spellcraft? 20:36:29 Actually I already selected Decipher Script and should select one more 20:36:32 Dire Butterfly Collection 20:37:42 whatever you do, don't remove those pins 20:38:04 That's good, because I don't have any pins 20:38:29 you need pins for dire butterfly collection, duh 20:38:33 O, I know which one, I will select Disable Device 20:38:42 preferably enchanted ones, i think 20:40:36 Recipher Script, for when you realize reading that scroll was a _really_ bad idea 20:41:58 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:42:47 you're an illithid? 20:43:09 oerjan: Read it for full information about the game 20:43:31 too lazy 20:43:49 OK 20:43:55 I will ask someone else for suggestions 20:44:39 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 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 but there was an illithid in one of them, a fairly evil character 20:46:23 actually there was an illithid in oots too but that was just an enemy encountered 20:47:01 but yafgc has regular evil characters (but also good ones) 20:47:16 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 (The dwarf was also a slave) 20:48:27 This means I have been able to take absolutely nothing when escaping; so I am wizard with no spellbooko 20:49:16 NOTE TO SELF: playing TF2 is hard if you don't heat your room. 20:49:58 who needs working fingers anyway 20:50:34 Doing jigsaw puzzles with your feet is cheating! (At least, this is what someone at school once said) 20:53:40 i don't think it counts if you don't have working fingers 20:55:47 Do you like some of these ideas for D&D game scenario? 20:55:52 * The church has run out of money. 20:56:03 * The king is allergic to magic and wishes all spellcasters (arcane, divine, and psionic) destroyed (including the royal spellcasters). 20:56:19 * 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 * Airplanes appear and nobody understands them. 20:56:28 * The sun rises in the wrong place. 20:56:56 * A dwarf walks in to a bar (ouch). Heal him, please. (From WoTC forums) 20:57:07 * Help a beholder find his lost monocle/glasses. (From WoTC forums) 20:58:04 * 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:02:34 just barely 21:03:19 hm wait that ignores pressure 21:04:02 * oerjan is reading today's iwc annotation 21:16:45 I have selected "Learn Plans" 21:18:22 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 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 i'm sorry, my brain is not sufficiently awake for that 21:22:32 What time do you wake up? 21:22:48 it's not about sleeping, it's about being tired 21:22:57 (and not from lack of sleep) 21:23:45 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:28:16 Hello 22:28:17 OK 22:38:30 -!- nortti has quit (Quit: nortti). 22:44:43 -!- nortti has joined. 22:46:04 -!- oklopol has joined. 22:46:10 sidjfidjfkdflewf 22:46:39 What is that? 22:47:12 it means exactly what it looks like. 22:47:18 I think it means "hi" 22:47:24 ^ 22:50:56 i have a lot of fingers 22:51:12 * Phantom_Hoover -> sleep 22:51:13 -!- Phantom_Hoover has quit (Quit: Leaving). 22:51:38 10 22:51:41 10 fingers 22:51:51 that's so many ^^ 22:52:00 :D 22:52:06 so fucking many! 22:52:28 please comment on the amount of fingers in my hands 22:52:37 (all of these fingers are in my hands) 22:52:43 (all 10 of them) 22:53:21 Nine fingers was an awesome Amiga demo. It even ran on the Amiga 500. 22:53:38 that sounds even more awesome than 10 fingers 22:54:24 please tell me about this amount of fingers 22:54:29 in the demo 22:57:35 you are eing all 22:57:39 asdfljk 22:57:54 i think i may be drunk on orange juice. 22:58:09 *being 22:58:24 i'm gonna sleep, keep up the good work 22:58:41 the power of continuum will rise again 23:01:41 Enjoy being locked in your matrix of solidity. 23:04:28 -!- Patashu has joined. 23:07:41 `quote 23:07:44 796) fungot: Yeah, "fungott" would [...] remind people of elliott. fizzie: now that could be nice for a simple language can be used 23:08:04 `quote 23:08:07 556) i am out of all the fame loops and the australien soap opera loops so much loop / s omcuh 23:13:39 `quote 23:13:42 534) software patents strike again that's got to be at least three times, now are they out yet? 23:14:39 `quote 23:14:39 `quote 23:14:42 570) FFS, building a perpetual motion machine should not be this hard. 23:14:54 267) oerjan: Tell us what (a(b{c}d)*2e)%2 expands to <-- ababcdbcdedbabcdbcdede, i think oerjan: What - the - fuck 23:15:45 `quote 23:15:48 141) incest is best 23:15:54 `quote 23:15:56 352) 3 = 7/2 23:16:36 -!- augur has quit (Remote host closed the connection). 23:16:54 `quote 23:16:58 763) [...] we choose only die fittest people of nigeria [...] 23:17:04 -!- augur has joined. 23:17:38 `quote 23:17:41 837) I don't even know set theory I haven't a clue what is going on wow got that 1 right 23:18:43 most amusing 23:19:32 `quote 23:19:35 828) elliott: Apparently Rowan Williams is Primate of All England. CHECKMATE CREATIONISTS 23:20:11 `quote 23:20:14 783) * Phantom_Hoover moves 0.5 Phantom_Hoover into the Atlantic, and captures fizzie's upper body with 0.5 Phantom_Hoover. 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 !bfjoust hudhewui +[-+>[<+>]<] 23:33:09 ​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 !bfjoust hudhewui +[-+>[>[-]<<+>]<] 23:36:50 ​Score for itidus21_hudhewui: 10.4 23:37:12 Haskell is prospering, there are no boundaries to what faith can achieve! CHECKMATE ATHEISTS! 23:37:48 !bfjoust hudhewui +[-+>[>[-[-[-]]]<<+>]<] 23:37:50 ​Score for itidus21_hudhewui: 10.4 23:38:00 <--- clueless. 23:39:09 !bfjoust hudhewui +[-+>[>[-[+[-[+]]]]<<+>]<] 23:39:12 ​Score for itidus21_hudhewui: 12.7 23:39:37 itidus21: what are you doing 23:39:46 as if i know 23:40:53 i think i ... didnt think this through monqy 23:41:09 i forgot these were loops 23:41:11 !bfjoust suicide -*128 23:41:14 ​Score for RocketJSquirrel_suicide: 9.7 23:41:21 RocketJSquirrel: < is more suicidy 23:41:28 ais523: True. 23:42:12 i was imagining that they were non looping conditionals 23:44:04 What’s bfjoust? 23:46:57 !bfjoust hudhewui +[-+>[>[-]>[-]<<<+>]<] 23:47:00 ​Score for itidus21_hudhewui: 9.9 23:48:32 ion: check wiki artice about BF joust 23:49:53 !bfjoust hudhewui +++++++++++++++++++++++++++++[-+>[<+>]<] 23:49:57 ​Score for itidus21_hudhewui: 16.2 23:50:26 nortti: Ok, thanks 23:51:15 !bfjoust perkele [+]>>>>>[ 23:51:18 ​Score for nortti_perkele: 0.0 23:52:22 !bfjoust perkele [+++] 23:52:25 ​Score for nortti_perkele: 15.2 23:52:30 !bfjoust test (+.>[+[+]])*31+[-[-]]. 23:52:32 ​Score for olsner_test: 14.2 23:52:33 CHECKMATE CREATIONISTS? CHECKMATE ATHEISTS? No, you are both wrong. 23:52:53 checkmate, everyone 23:53:03 monqy: Are you good to play chess game? 23:53:05 checkmate, nobody? 23:53:13 I'm not a chess guy 23:53:20 Shogi? Xiangqi? 23:53:24 nope :( 23:55:36 !bfjoust hudhewui [++]++++++++++++++++++++++[-+>[<+>]<] 23:55:39 ​Score for itidus21_hudhewui: 15.6 23:57:00 !bfjoust hudhewui [-]+++++++++++++++++++++++++++++[-+>[<+>]<] 23:57:04 ​Score for itidus21_hudhewui: 16.3 23:57:19 8-} 23:58:06 yes 23:58:27 Yes, sir! 23:58:35 Just "yes" is not good enough 23:59:03 yessir 23:59:07 !bfjoust hudhewui [-]+++++++++++++++[[-+>[<+>]<]+] 23:59:10 ​Score for itidus21_hudhewui: 16.3 23:59:11 OK 23:59:44 !bfjoust hudhewui [-]+++++++++++++++[[-+>[<+>]<]----------------] 23:59:47 ​Score for itidus21_hudhewui: 16.3