00:03:39 -!- augur has quit (Remote host closed the connection). 00:05:08 -!- Bike_ has joined. 00:05:10 -!- augur has joined. 00:05:20 -!- Bike has quit (Ping timeout: 256 seconds). 00:05:57 -!- john_metcalf has left. 00:18:59 -!- Bike_ has changed nick to Bike. 00:27:06 -!- augur has quit (Remote host closed the connection). 01:35:56 -!- mnoqy has joined. 01:53:29 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:17:05 -!- augur has joined. 02:17:25 -!- TeruFSX has joined. 02:21:45 -!- augur_ has joined. 02:21:48 -!- augur has quit (Ping timeout: 264 seconds). 02:36:30 @tell ais523 is the "Disallow" action somehow preventing the "Block" action? 02:36:30 Consider it noted. 02:36:38 @tell ais523 maybe it's only meant to have the latter or something (see AbuseLog) 02:36:39 Consider it noted. 03:03:42 -!- sirdancealot has quit (Ping timeout: 264 seconds). 03:17:26 -!- sirdancealot has joined. 03:40:23 elliott: context 03:42:25 spam 03:56:18 fabrice bellard fan club 03:56:44 i forgot he did ffmpeg too, jeez 03:56:48 hey that sounds like a good club 03:56:59 MCALLISTER Heegan 03:57:40 hi shachaf 03:58:17 Yarrr. 03:58:31 shachaf: i should get a job, where should i work 03:58:57 Personally, I work at "becoming sane". 03:59:05 kmc: i might ask you the same question 03:59:18 You should work for each other. 03:59:18 one of your goals in life was never working at a company with more than ~10 people, right? 03:59:22 Cycle up that hierarchical graph 03:59:25 well, ok 03:59:32 shachaf: don't think so 03:59:43 I already worked at a place with 100 people that grew to like 250 while i was there 03:59:46 it wasn't the best tho... 03:59:55 gosh, what happens if you fail a life goal 03:59:59 kmc once worked at oracle* 04:00:01 *facts distorted 04:00:02 Was that the HFT place? 04:00:11 yeah 04:01:14 i don't know what's the best size for me 04:04:51 kmc: found a haskell company. i'll join solely to complain about how much haskell sucks. success guaranteed 04:04:56 lolol 04:05:32 so you don't like finance and you don't like web startups? 04:06:11 kmc if you keep laughing at me I might quit 04:06:16 pretty sure i've had enough of finance yes 04:06:23 don't know about web startups, hard to generalize from one experience 04:06:28 at this juncture may i offer my services as laugh-eater 04:06:38 hire me to be laughed at for you. satisfaction moderately guaranteed 04:22:21 kmc: maybe there are relevant jobs in SF 04:24:39 yeah 04:24:44 i think i would like to move to SF 04:24:49 but should find a job there first 04:32:54 -!- impomatic has quit (Ping timeout: 276 seconds). 04:53:42 it's probably easier to pick the right place to live after getting a job anyways, even 04:54:44 kmc: have you considered a mobile social local startup instead of a web startup 04:55:29 ok maybe i´m nоt being helpful 04:55:37 mnoqy: did you work it out 04:56:10 huh? 04:56:19 is this about the () -> () -> () thing 04:56:25 ive gotten better at ignoring those 04:56:53 oh 04:57:06 you're not a very good addict............................ 04:57:45 monqy is my hero. 04:58:53 monqy is my hero 04:58:58 but all we have is mnoqy 04:58:58 bike is my hero 04:59:07 Fiora: hey i thought i was your hero!! 04:59:35 can i at least be mnoqy's hero 04:59:43 oerjan's hero 04:59:47 heroux's hero 04:59:52 `welcome heroux 04:59:55 heroux: 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. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 05:00:07 `pastelogs heroux 05:00:14 -!- TeruFSX has quit (Read error: Connection reset by peer). 05:00:54 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26762 05:00:55 Fiora: That wasn't you, was it? 05:01:42 Bike: can i have more than one hero 05:01:57 Slut. 05:11:31 ? 05:12:07 The anonymous messages? 05:12:22 anonymous messages? 05:12:46 Which anonymous messages? 05:12:51 Is Bike a Russian spy? 05:13:49 The ones on my tumblr, and no. 05:14:08 oh. no 05:14:21 is it like a love confession or something? 05:14:34 ha? no. 05:14:52 it was me. i love you Bike 05:14:52 "Once upon my time, you were my hero. Now, even though I understand you less and less, my opinion hasn't changed much." 05:14:56 j/k fuck all bikes 05:14:56 an odd thing to receive. 05:15:00 elliott: fuck you 05:15:42 oh. definitely not me 05:15:51 Right. 05:15:54 @ship elliot/Bike 05:15:55 Maybe you meant: show slap 05:16:05 yes. 05:16:35 im glad i dont get weird messages like that (joke's) 05:16:40 is elliot identical to me except that they like bikes 05:16:46 lacks the extra bike-hating t 05:16:48 oh boy shipping 05:16:52 sorry >_< 05:16:54 @ship elliott/Bike 05:16:55 Maybe you meant: show slap 05:16:57 is that better 05:17:02 elliottttttttttt 05:17:06 i'm more of a fan of shipping & handling 05:17:08 if you know what i mean 05:17:08 *elliotttt 05:17:11 er 05:17:12 sometimes i wake up and my name has grown more consonants 05:17:13 elliottt 05:17:17 elliottcable 05:17:21 eliot 05:17:22 conal 05:17:24 eliott 05:17:36 hm 05:17:54 what else is an "elliott name" 05:18:02 monqy 05:18:07 yeah, i guess so 05:20:25 Bike: you have "google analytics" so you can probably find out some things about your secret admirer 05:20:29 Conax Elliott, the cable TV conditional-access guy. 05:21:00 I also have apathy. 05:21:41 I'm not sure how google analytics would help, though. 05:22:07 -!- Frooxius has quit (Ping timeout: 264 seconds). 05:23:20 You can probably look up people who were at blah.tumblr.com/ask? 05:23:25 Unless they were "cautious". 05:24:02 i would ask Bike a question right now to foil him except i don't actually know what the url is, and also i block analytics. 05:24:09 Google can do that? 05:24:29 Can't it? 05:25:09 2spooky. 05:31:11 elliott: the url is http://bike.tumblr.com/ask 05:31:12 hth 05:31:58 http://fioraaeterna.tumblr.com/ask I have one tooo 05:34:11 I can't give both of you questions! I'd go bankrupt 05:34:25 -!- Bike_ has joined. 05:34:29 "How I met your tumblr" 05:34:44 -!- Bike has quit (Ping timeout: 256 seconds). 05:35:39 Hey, you Internet people, you know these things; what's the difference between a blog and one of those "thumbers" or whatever. 05:36:25 i found the answer on wayback machine like 2 years ago but then i forgot it 05:36:34 Nothing of import. 05:36:43 Maybe I should've put that in one of those above-mentioned places, if they are some sort of answering machines. 05:37:00 -!- Bike_ has changed nick to Bike. 05:37:17 Tumblelogs are blogs with less fuss and more stuff. Tumblr is your friendly and free tool for creating tumblelogs. 05:37:33 tumblr is just a blog host basically? 05:37:35 -tumblr circa 2007 05:37:57 with some extra features, like if you make an account, you can follow people (like an rss reader I guess?) 05:38:05 and like posts, and message people, and so on 05:38:10 it's like twitter but for pictures of cats 05:38:20 it's a little bit like livejournal, except more media-oriented? 05:38:24 Or pictures of cephalopods. 05:38:38 Tumblelogs are the easiest 05:38:38 way to express yourself. 05:38:38 Post anything. Tumblr makes it effortless to share text, photos, quotes, links, music, and videos, from your browser, phone, desktop, email, or wherever you happen to be. 05:38:39 Or pictures of haruspices. 05:38:41 Customize everything. Tweak everything from colors to your theme's HTML markup. Even use your own domain name. 05:38:44 Sign up and see why so many people love Tumblr. 05:38:49 Or pictures of haruspicy, yes 05:39:31 "Tumbleogs are the refreshingly simple new way to share anything you find, love, hate, or create." 05:39:56 Tumbellugs. 05:40:10 What's a tumblelog? 05:40:10 To make a simple analogy: If blogs are journals, tumblelogs are scrapbooks. 05:40:10 You can also look at tumblelogs as slightly more structured blogs that make it easier, faster, and more fun to post and share stuff you find or create. 05:40:13 You can find more information on Wikipedia. 05:40:38 Bike: http://slbkbs.org/sigh.txt 05:40:40 mnoqy you sellout! 05:40:51 I'm also still intrigued as to how eliot knew that one guy. (Except that the answer is probably something really boring, like "from some other Freenode channel".) 05:40:57 that's actually a pretty good description 05:41:00 sorry i have a thing for looking at sites on wayback 05:41:09 fizzie: i'll tell you...... if you op me 05:41:13 shachaf: bahaha, i should show feep that 05:41:15 one time i found a really cool picture on an old google site 05:41:38 shachaf: why are you espering, anyhow 05:41:40 um. I guess we went from sending asks to explaining what a blog is 05:41:47 I should have: guessed: what was coming. 05:41:50 whoa, espernet??? 05:42:09 didnt know anyone "did" that 05:42:35 um, I do 05:42:37 Bike: because all the cool people are on espernet i guess 05:42:47 a lot of my friends are there... 05:42:47 -!- Bike_ has joined. 05:42:59 shachaf: a common misconception, it's actually for ice giants 05:43:04 -!- Bike has quit (Disconnected by services). 05:43:07 -!- Bike_ has changed nick to Bike. 05:43:17 fizzie: Who was "that one guy"? 05:43:21 Bike_: ice giants are p. cool 05:43:28 the joke is: temperature 05:43:32 Yes. 05:45:58 shachaf: The guy who came to my place at the university and said nasty, hurtful things about speech recognition, and also predictable (after the first part) things about opping people. 05:46:27 shachaf: why did you do that thing that you did 05:46:40 fizzie: Oh, you didn't know him? 05:46:59 mnoqy: well i was curious 05:47:03 mnoqy: should i "un do" that thing 05:47:08 I sorta-know him. Not terribly well. 05:47:12 possibly 05:47:46 bad timing if you wanted to see anything happen!! other than embarrassing me in front of ??nobody at the moment?? 05:48:13 if you want me to i'll leave 05:48:14 I think he's trying to woo a female colleague from our group, based purely on the fact that I hear them TALKING quite often. (And it doesn't sound like WORK STUFF to me! So QED.) 05:48:25 im unsure how to best handle this situation 05:48:34 fizzie: are you trying to woo anybody 05:48:57 mnoqy: did i put you in an uncomfortable situation :( 05:49:13 possibly 05:49:29 No. Well, unless, I don't know, maybe my wife counts, if it's some sort of a permanent process? I don't know. 05:49:49 Fiora: should fizzie woo someone 05:50:17 Like, when you stop "wooing", they leave? Is that how it works? 05:50:44 We certainly talk quite a bit on non-business matters, so by my own set criteria... 05:51:20 @wn woo 05:51:21 *** "woo" wn "WordNet (r) 3.0 (2006)" 05:51:22 woo 05:51:22 v 1: seek someone's favor; "China is wooing Russia" [syn: {woo}, 05:51:22 {court}] 05:51:22 2: make amorous advances towards; "John is courting Mary" [syn: 05:51:23 {woo}, {court}, {romance}, {solicit}] 05:51:28 No help there. 05:52:05 fizzie: if i woo you would your wife mind 05:53:02 Not unless I actually get woofied, I guess? It is a mystery. 05:53:31 knock knock 05:53:42 Woo's there? 05:53:49 woo 05:53:57 Woo-woo. 05:54:07 you mean woo-woom 05:54:18 Bazoom. 05:55:57 fizzie: imo, op me 05:56:54 That would be a decision, and doing one sets bad precedence. 05:56:56 -!- madbr has quit (Quit: Radiateur). 05:59:17 -!- epicmonkey has joined. 05:59:46 fizzie: consider that inaction is a decision too 05:59:58 Bike: Are you one of those people who changes nicks all the time? 06:01:08 Not so much anymore. 06:01:11 But yes. 06:01:31 That's a banning offense in some channels. 06:01:44 Bike: were you ever "Bicycle" 06:01:48 :o 06:01:54 elliott: No, that's stupid. 06:02:29 Oh, I was in January for a while, because of shachaf's foul influence. 06:03:16 Bike: it fits you! (re: stupid) 06:03:16 were you ever "Flamingo" 06:03:29 (because of my fowl influence) 06:03:31 elliott: well played sir 06:05:25 Were you ever "Recumbent"? (I have a strange fascination towards recumbent bicycles.) 06:05:40 (They are so wired.) 06:06:02 mnoqy: what's going on :( 06:06:08 shachaf: what do you mean 06:06:25 mnoqy: am i causing "a scene" 06:06:43 hm good question 06:07:34 fizzie: talking about not work things 06:07:38 ... I think bike is trying to woo me 06:07:40 bike are you trying to woo me 06:07:43 you're talking about not work things 06:08:07 Fiora really wants to be wood by Bike 06:08:15 I don't know what you do for work, so by the open world assumption you do everything for work, so I don't talk about non-work things with you. 06:08:26 but what if the wooer is........ the wooee 06:10:36 Bike: i'm not sure you should be doing that......... 06:10:46 Doing what. 06:11:44 you know what! 06:11:57 Tomorrow I'll go see _Voyage_ by Tom Stoppard. 06:12:08 Cool. 06:12:58 biiiike 06:13:02 "♥ ❥ 😍 😻❣" i have thrown the universe into chaos. 06:13:54 -!- nooodl^ has quit (Ping timeout: 264 seconds). 06:14:04 shachaf: being wooed by bike would not be that bad 06:14:21 Bike: you heard the bot 06:14:23 get wooing! 06:15:07 Fiora: Mon chere, pepe, maginot line. 06:15:16 ??? 06:15:23 I'm wooing you. 06:16:15 this is america! we woo in english here! 06:16:49 -!- ThatOtherPerson has joined. 06:16:55 fizzie: in: re: wooing: "I hope he's not right, or my girlfriend is going to be angry." 06:17:30 shachaf: so is this a "role play" thing 06:17:41 mnoqy: what 06:18:00 Fiora: Perhaps I should woo you. 06:18:03 Fiora: "Woo." 06:18:04 this whole wooing thing 06:18:04 There we go. 06:18:09 Consider thyself wooed. 06:18:09 like what's up with that all of a sudden 06:18:27 mnoqy: oh fizzie started that 06:18:32 ah 06:18:56 -!- c00kiemon5ter has left. 06:28:06 -!- conehead has quit (Quit: Computer has gone to sleep.). 06:31:08 fizzie: did you woo your wife "back in the day" 06:31:12 and/or did your wife woo you 06:31:28 -!- FreeFull has quit (Quit: gotta go). 06:34:56 hi Bike 06:35:08 you know the puzzle about "8" shapes on a plane?? 06:36:03 No. 06:36:52 the puzzle is: how many "8" shapes (let's say that an 8 shape is two circles tangent to each other) can you fit on the real plane? 06:37:26 On. I thought you meant like a plane you go flying in. 06:37:28 Infinity? 06:38:02 But is it countable? 06:38:51 Bike: oh and they can't intersect 06:38:59 "kind of important to mention that" 06:39:02 Can you put one inside another? 06:39:19 Yes. 06:39:23 s/Y/y/ s/.$// 06:39:50 Probably not countable. 06:41:12 You say you can fit uncountably many non-intersecting 8s on a real plane? 06:42:53 Sure. 06:43:20 How? 06:44:14 Well, you can fit countably many 8s inside one another matryoshka-style, no? Then do that all over the plane. 06:45:20 That still sounds countable? 06:45:21 is this one of those conjectures OR independent of traditional axiom's 06:45:44 what is 06:46:09 thing with the 8s 06:46:12 oh i guess that would be countable huh 06:46:31 what's the conjecture i mean 06:46:39 there's an answer to the puzzle 06:46:53 ok 06:46:55 people know the answer iff they are cool 06:47:44 I ain't cool. 06:48:31 shachaf: I think it was mostly the latter. I mean, she did most of the work, if you know what I mean. (I don't know what that means.) 06:49:13 elliott: Well can he explain the GIGGLING? (I guess it might be just that he's a funny guy.) 06:54:48 shachaf: Well, given that each 8 shape can be of infinitisimal size, I'm thinking it's uncountable. Sadly I'm not sure how to go about a proof of that. 06:55:08 pikhq: No, each 8 has to be of a finite size. :-) 06:55:42 "Arbitrarily close to 0" is a finite size! :P 07:01:51 I think I've heard that you can only put a countable amount of nonintersecting discs on a plane, at least. 07:02:09 spooky 07:02:40 It has something to do with Q^2 being "dense". 07:03:42 fizzie: You can easily do uncountably many nonintersecting circles, though. 07:03:55 E.g. for every real number make a circle with that radius with center (0,0) 07:04:01 (Every positive real.) 07:04:19 Oh, right, your "8" was just two circles. 07:05:05 Doesn't quite work with the two circles though. I mean, there may be another way, but that particular schema doesn't. 07:05:47 Let's just say that two circles where the centers have the same x coordinate is still "8 enough". (Then it should work.) 07:06:08 pikhq: Right. 07:06:21 fizzie: No, they'll intersect. 07:06:48 shachaf: Not if the sizes are from the open interval (0, 1), into which I'm sure you can map all of R. 07:07:09 ? 07:07:14 How do you make it not intersect? 07:07:19 Maybe I should draw a picture? 07:07:42 Gopher it. 07:10:25 Like, https://dl.dropboxusercontent.com/u/113389132/Misc/20130425-Drawing1.png 07:11:11 (I did say I modified your definition of 8 to something quite a bit less 8-like.) 07:11:39 Oh, no, they have to touch. 07:11:45 * elliott only sees one 8 there 07:11:46 23:36 the puzzle is: how many "8" shapes (let's say that an 8 shape is two circles tangent to each other) can you fit on the real plane? 07:11:46 fizzie: Sneaky. :P 07:11:56 shachaf: [10:05:46] Let's just say that two circles where the centers have the same x coordinate is still "8 enough". (Then it should work.) 07:12:02 Yeah, the tangentness makes this a lot harder. 07:12:37 fizzie: Well, I assumed you were doing that without breaking the rules. 07:12:51 I don't see how you can do that without breaking the rules. 07:13:05 fizzie: Two circles of different size tangent to each other. 07:13:10 So prove you can't do it. 07:13:31 pikhq: Oh, also, one circle of the 8 can't be inside the other circle. 07:13:44 (I'm not sure whether that makes a difference?) 07:16:00 Hmm. This can be rephrased with "how many tangent circles can you tile the real plane with", I think. 07:17:35 I mean, I don't see how you can do "two circles where the centers have the same x coordinate is also an 8" without breaking the rules by definition; I don't think *that* needs a proof. 07:17:39 (Not that I see how you'd do the original thing either.) 07:18:37 -!- ThatOtherPerson has quit (Quit: Leaving). 07:18:53 fizzie: The outermost circles in your picture have that property? 07:19:21 Yeah, it can definitely just be an additional restriction. 07:22:05 shachaf: OKAY, if you want to be like that. But it really should have written differently if it was an additional constraint; now it's just saying what else is an 8. 07:22:43 fizzie: I thought you were saying: You can do it with 8s (as defined previously) that also have this additional property! 07:28:45 If you could fit a disc inside any 8 that you could guarantee is not inside any other 8 (say, by some argumentation of what 8s look like), you could reduce it to the disc thing. 07:29:51 -!- nooga has joined. 07:31:12 -!- Bike has quit (Quit: leaving). 07:31:28 (I broke down, and went and looked up a clever answer that also uses Q^2.) 07:34:39 fizzie: I feel a great disturbance in the Gregor voice force. 07:34:48 it seems that he needs to also be opped temporarily to maintain universal balance. 07:48:24 -!- DHeadshot has quit (Ping timeout: 258 seconds). 08:23:36 -!- mnoqy has quit (Quit: hello). 08:42:25 -!- Phantom_Hoover has joined. 09:10:45 -!- carado has quit (Quit: Leaving). 09:10:46 -!- carado_ has joined. 09:21:32 fizzie: do YOU like optimising PNGs??? 09:28:20 i like pngs 09:58:59 -!- ais523_ has joined. 10:02:12 @messages? 10:02:12 Sorry, no messages today. 10:06:28 ais523_: I sent a message 10:06:31 but to the nick you'd expect 10:06:37 oh right 10:06:39 -!- ais523_ has changed nick to ais523. 10:06:46 -!- ais523 has changed nick to ais523_. 10:07:09 elliott: in response to that message, I'd say it's worth a try, at least 10:13:31 I forget what I said 10:14:19 19:36 @tell ais523 is the "Disallow" action somehow preventing the "Block" action? 10:14:22 19:36 @tell ais523 maybe it's only meant to have the latter or something (see AbuseLog) 10:15:29 ah 10:15:41 you get to change it; I'm too terrified of abusefilter 10:16:00 OTOH, maybe it's best if they just get silently blocked for all eternity rather than spamming recent changes 10:16:10 (with blocks) 10:16:25 they /do/ only seem to try a finite number of times 10:16:55 we don't have an autoconfirm timeout 10:17:16 so there's no real difference between blocking them and forcing them to create a new account, or them just trying on their existing account 10:17:40 that said, I'm not sure what an abusefilter block looks like 10:17:44 it might not show up in recent changes at all 10:18:54 ideally, instead of blocking it'd delete their account to clean up the goddamn user list :P 10:19:20 it seems like disabling all the old captchas has stopped spam registrations entirely for now, anyway 10:19:32 yeah, they must have got a human to compile answers to the captchas 10:19:36 and then just set their bots on it 10:19:55 yes 10:19:59 question is whether they care enough to do it again 10:20:33 if they do, we'll have to get smarter, since it's hard to come up with good plain constant question/answer captchas that are easy for humans to solve 10:20:41 as in, humans who don't necessarily know much about esolangs 10:20:52 since I don't really believe not knowing brainfuck should be a barrier to entry or whatever 10:23:23 elliott: the way that clc.intercal.org.uk does it is to ask people to evaluate a random INTERCAL expression, and gives a link to a page that contains the answer 10:23:36 the documentation is actually dynamic, it uses the most recently set CAPTCHA as its example 10:23:50 obviously this is trivially automatable around, just nobody has tried yet 10:25:31 ais523_: another thing is how much of a burden it is to answer 10:25:35 remember that every anonymous edit has to go through this 10:25:45 and we'd like to encourage anonymous edits 10:25:51 (as opposed to no edits at all) 10:26:42 indeed 10:26:52 the CLC-INTERCAL thing isn't a burden because following a link and copying a number isn't a burden 10:28:18 hmm, says the guy who never clicks links 10:28:39 our captchas already involve link-clicking, anyway :) 10:31:28 Good ol' shachafbot. 10:32:38 hi Jafet 10:33:28 Jafetbot: solve for n: e ^ (-n * (n+1) / (2*d)) = 0.5 10:35:58 I will not be unterbot. 10:53:44 Jafet: solve for n: 1 - e ^ (-n * (n+1) / (2*d)) = 0.5 10:59:41 Wolfram: solve for n: 1 - e ^ (-n * (n+1) / (2*d)) = 0.5. -> http://sprunge.us/hWBO 11:00:25 I like "math" 11:00:49 If I type "mathematica", I think it will try to start up a graphical extravaganca. 11:04:50 -!- DHeadshot has joined. 11:19:50 -!- Nisstyre has quit (Ping timeout: 256 seconds). 11:23:23 -!- epicmonkey has quit (Ping timeout: 268 seconds). 11:24:30 -!- DH____ has joined. 11:24:31 -!- tswett_ has joined. 11:25:01 -!- Gracenotes_ has joined. 11:26:56 -!- comex` has joined. 11:29:00 -!- DHeadshot has quit (Ping timeout: 264 seconds). 11:29:17 -!- Lymia has quit (*.net *.split). 11:29:17 -!- Gracenotes has quit (*.net *.split). 11:29:18 -!- Cryovat has quit (*.net *.split). 11:29:18 -!- tswett has quit (*.net *.split). 11:29:18 -!- comex has quit (*.net *.split). 11:30:41 -!- DH____ has quit (Quit: Bye). 11:31:00 -!- Lymia has joined. 11:31:00 -!- Lymia has quit (Changing host). 11:31:00 -!- Lymia has joined. 11:31:10 -!- Cryovat has joined. 11:31:17 -!- carado has joined. 11:33:44 -!- carado_ has quit (Ping timeout: 246 seconds). 11:42:57 -!- DHeadshot has joined. 11:51:48 -!- DHeadshot has quit (Ping timeout: 264 seconds). 12:16:07 -!- ais523_ has quit (Quit: Page closed). 12:25:41 proof irrelevance is the worst thing ever. :( 12:26:41 -!- bengt_ has quit (Ping timeout: 245 seconds). 12:36:10 Proof Erasure could be a good band name 12:38:42 A metal band might want to go for Chains of Judgement instead. (Cut Rule is probably too emo.) 12:38:54 Prof. Erasure, a distinguished mathematician. 12:44:17 -!- bengt has joined. 13:11:12 My workstation... splonked. I can't figure out a better word. It hung up as far as keyboard/screen are concerned, so I ssh'd in and killed gnome-session; now it's in framebuffer console, where pressing enter echoes out "^\", and releasing it echoes a square. 13:11:13 -!- oerjan has joined. 13:11:30 In fact, releasing any key makes a square. 13:11:43 But the space bar inserts "9"s. 13:12:40 1, 2 and 4 result in ^B, ^C and ^E, respectively. I guess it's in some sort of very uncooked mode. 13:13:33 salmonella mode 13:14:06 Aren't these things supposed to have a thing where I can briefly press the power button to initiate a controlled shutdown? 13:15:18 you can always try ghc -e launchMissiles 13:16:09 Heh, the power button also echoes [square]^[square] when pressed. 13:16:42 oerjan: hey :) 13:16:56 g'day elliott 13:17:39 oerjan: :1:1: Not in scope: `launchMissiles' 13:17:43 oerjan: I take it there's something wrong with my GHC install. 13:17:47 ^style youtube 13:17:54 fuck 13:17:59 fizzie: or something very right. 13:18:02