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 <elliott> @tell ais523 is the "Disallow" action somehow preventing the "Block" action?
02:36:38 <elliott> @tell ais523 maybe it's only meant to have the latter or something (see AbuseLog)
03:03:42 -!- sirdancealot has quit (Ping timeout: 264 seconds).
03:17:26 -!- sirdancealot has joined.
03:56:18 <kmc> fabrice bellard fan club
03:56:44 <kmc> i forgot he did ffmpeg too, jeez
03:56:48 <shachaf> hey that sounds like a good club
03:57:40 <kmc> hi shachaf
03:58:31 <kmc> shachaf: i should get a job, where should i work
03:58:57 <pikhq> Personally, I work at "becoming sane".
03:59:05 <shachaf> kmc: i might ask you the same question
03:59:18 <Bike> You should work for each other.
03:59:18 <shachaf> one of your goals in life was never working at a company with more than ~10 people, right?
03:59:22 <Bike> Cycle up that hierarchical graph
03:59:32 <kmc> shachaf: don't think so
03:59:43 <kmc> I already worked at a place with 100 people that grew to like 250 while i was there
03:59:46 <kmc> it wasn't the best tho...
03:59:55 <Bike> gosh, what happens if you fail a life goal
03:59:59 <elliott> kmc once worked at oracle*
04:01:14 <kmc> i don't know what's the best size for me
04:04:51 <elliott> kmc: found a haskell company. i'll join solely to complain about how much haskell sucks. success guaranteed
04:05:32 <shachaf> so you don't like finance and you don't like web startups?
04:06:11 <elliott> kmc if you keep laughing at me I might quit
04:06:16 <kmc> pretty sure i've had enough of finance yes
04:06:23 <kmc> don't know about web startups, hard to generalize from one experience
04:06:28 <Bike> at this juncture may i offer my services as laugh-eater
04:06:38 <Bike> hire me to be laughed at for you. satisfaction moderately guaranteed
04:22:21 <shachaf> kmc: maybe there are relevant jobs in SF
04:24:44 <kmc> i think i would like to move to SF
04:24:49 <kmc> but should find a job there first
04:32:54 -!- impomatic has quit (Ping timeout: 276 seconds).
04:53:42 <Fiora> it's probably easier to pick the right place to live after getting a job anyways, even
04:54:44 <shachaf> kmc: have you considered a mobile social local startup instead of a web startup
04:55:29 <shachaf> ok maybe i´m nоt being helpful
04:55:37 <shachaf> mnoqy: did you work it out
04:56:19 <mnoqy> is this about the () -> () -> () thing
04:56:25 <mnoqy> ive gotten better at ignoring those
04:57:06 <shachaf> you're not a very good addict............................
04:57:45 <Bike> monqy is my hero.
04:59:07 <shachaf> Fiora: hey i thought i was your hero!!
04:59:35 <shachaf> can i at least be mnoqy's hero
04:59:55 <HackEgo> 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:14 -!- TeruFSX has quit (Read error: Connection reset by peer).
05:00:54 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26762
05:00:55 <Bike> Fiora: That wasn't you, was it?
05:01:42 <shachaf> Bike: can i have more than one hero
05:12:07 <Bike> The anonymous messages?
05:12:22 <Fiora> anonymous messages?
05:13:49 <Bike> The ones on my tumblr, and no.
05:14:21 <Fiora> is it like a love confession or something?
05:14:52 <elliott> it was me. i love you Bike
05:14:52 <Bike> "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 <Bike> an odd thing to receive.
05:15:00 <Bike> elliott: fuck you
05:15:42 <Fiora> oh. definitely not me
05:16:35 <mnoqy> im glad i dont get weird messages like that (joke's)
05:16:40 <elliott> is elliot identical to me except that they like bikes
05:16:46 <elliott> lacks the extra bike-hating t
05:16:54 <Fiora> @ship elliott/Bike
05:17:06 <shachaf> i'm more of a fan of shipping & handling
05:17:12 <elliott> sometimes i wake up and my name has grown more consonants
05:17:54 <mnoqy> what else is an "elliott name"
05:20:25 <shachaf> Bike: you have "google analytics" so you can probably find out some things about your secret admirer
05:20:29 <fizzie> Conax Elliott, the cable TV conditional-access guy.
05:21:00 <Bike> I also have apathy.
05:21:41 <Bike> I'm not sure how google analytics would help, though.
05:22:07 -!- Frooxius has quit (Ping timeout: 264 seconds).
05:23:20 <shachaf> You can probably look up people who were at blah.tumblr.com/ask?
05:23:25 <shachaf> Unless they were "cautious".
05:24:02 <elliott> 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 <Bike> Google can do that?
05:31:11 <shachaf> elliott: the url is http://bike.tumblr.com/ask
05:31:58 <Fiora> http://fioraaeterna.tumblr.com/ask I have one tooo
05:34:11 <elliott> I can't give both of you questions! I'd go bankrupt
05:34:25 -!- Bike_ has joined.
05:34:29 <Jafet> "How I met your tumblr"
05:34:44 -!- Bike has quit (Ping timeout: 256 seconds).
05:35:39 <fizzie> 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 <mnoqy> i found the answer on wayback machine like 2 years ago but then i forgot it
05:36:34 <Bike_> Nothing of import.
05:36:43 <fizzie> 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 <mnoqy> Tumblelogs are blogs with less fuss and more stuff. Tumblr is your friendly and free tool for creating tumblelogs.
05:37:33 <Fiora> tumblr is just a blog host basically?
05:37:35 <mnoqy> -tumblr circa 2007
05:37:57 <Fiora> with some extra features, like if you make an account, you can follow people (like an rss reader I guess?)
05:38:05 <Fiora> and like posts, and message people, and so on
05:38:10 <shachaf> it's like twitter but for pictures of cats
05:38:20 <Fiora> it's a little bit like livejournal, except more media-oriented?
05:38:24 <Bike> Or pictures of cephalopods.
05:38:38 <mnoqy> Tumblelogs are the easiest
05:38:38 <mnoqy> way to express yourself.
05:38:38 <mnoqy> 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 <shachaf> Or pictures of haruspices.
05:38:41 <mnoqy> Customize everything. Tweak everything from colors to your theme's HTML markup. Even use your own domain name.
05:38:44 <mnoqy> Sign up and see why so many people love Tumblr.
05:38:49 <Bike> Or pictures of haruspicy, yes
05:39:31 <mnoqy> "Tumbleogs are the refreshingly simple new way to share anything you find, love, hate, or create."
05:40:10 <mnoqy> What's a tumblelog?
05:40:10 <mnoqy> To make a simple analogy: If blogs are journals, tumblelogs are scrapbooks.
05:40:10 <mnoqy> 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 <mnoqy> You can find more information on Wikipedia.
05:40:38 <shachaf> Bike: http://slbkbs.org/sigh.txt
05:40:40 <Bike> mnoqy you sellout!
05:40:51 <fizzie> 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 <Fiora> that's actually a pretty good description
05:41:00 <mnoqy> sorry i have a thing for looking at sites on wayback
05:41:09 <elliott> fizzie: i'll tell you...... if you op me
05:41:13 <Bike> shachaf: bahaha, i should show feep that
05:41:15 <mnoqy> one time i found a really cool picture on an old google site
05:41:38 <Bike> shachaf: why are you espering, anyhow
05:41:40 <Fiora> um. I guess we went from sending asks to explaining what a blog is
05:41:47 <fizzie> I should have: guessed: what was coming.
05:42:09 <mnoqy> didnt know anyone "did" that
05:42:37 <shachaf> Bike: because all the cool people are on espernet i guess
05:42:47 <Fiora> a lot of my friends are there...
05:42:47 -!- Bike_ has joined.
05:42:59 <Bike_> 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 <shachaf> fizzie: Who was "that one guy"?
05:43:21 <shachaf> Bike_: ice giants are p. cool
05:45:58 <fizzie> 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 <mnoqy> shachaf: why did you do that thing that you did
05:46:40 <shachaf> fizzie: Oh, you didn't know him?
05:47:03 <shachaf> mnoqy: should i "un do" that thing
05:47:08 <fizzie> I sorta-know him. Not terribly well.
05:47:46 <mnoqy> bad timing if you wanted to see anything happen!! other than embarrassing me in front of ??nobody at the moment??
05:48:13 <shachaf> if you want me to i'll leave
05:48:14 <fizzie> 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 <mnoqy> im unsure how to best handle this situation
05:48:34 <shachaf> fizzie: are you trying to woo anybody
05:48:57 <shachaf> mnoqy: did i put you in an uncomfortable situation :(
05:49:29 <fizzie> 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 <shachaf> Fiora: should fizzie woo someone
05:50:17 <fizzie> Like, when you stop "wooing", they leave? Is that how it works?
05:50:44 <fizzie> We certainly talk quite a bit on non-business matters, so by my own set criteria...
05:51:21 <lambdabot> *** "woo" wn "WordNet (r) 3.0 (2006)"
05:51:22 <lambdabot> v 1: seek someone's favor; "China is wooing Russia" [syn: {woo},
05:51:22 <lambdabot> 2: make amorous advances towards; "John is courting Mary" [syn:
05:51:23 <lambdabot> {woo}, {court}, {romance}, {solicit}]
05:52:05 <shachaf> fizzie: if i woo you would your wife mind
05:53:02 <fizzie> Not unless I actually get woofied, I guess? It is a mystery.
05:56:54 <fizzie> 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 <elliott> fizzie: consider that inaction is a decision too
05:59:58 <shachaf> Bike: Are you one of those people who changes nicks all the time?
06:01:08 <Bike> Not so much anymore.
06:01:31 <shachaf> That's a banning offense in some channels.
06:01:44 <elliott> Bike: were you ever "Bicycle"
06:01:54 <Bike> elliott: No, that's stupid.
06:02:29 <Bike> Oh, I was in January for a while, because of shachaf's foul influence.
06:03:16 <elliott> Bike: it fits you! (re: stupid)
06:03:29 <shachaf> (because of my fowl influence)
06:03:31 <Bike> elliott: well played sir
06:05:25 <fizzie> Were you ever "Recumbent"? (I have a strange fascination towards recumbent bicycles.)
06:06:08 <mnoqy> shachaf: what do you mean
06:06:25 <shachaf> mnoqy: am i causing "a scene"
06:07:34 <Fiora> fizzie: talking about not work things
06:07:38 <Fiora> ... I think bike is trying to woo me
06:07:40 <Fiora> bike are you trying to woo me
06:07:43 <Fiora> you're talking about not work things
06:08:07 <shachaf> Fiora really wants to be wood by Bike
06:08:15 <Bike> 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 <shachaf> but what if the wooer is........ the wooee
06:10:36 <shachaf> Bike: i'm not sure you should be doing that.........
06:11:57 <shachaf> Tomorrow I'll go see _Voyage_ by Tom Stoppard.
06:13:02 <Bike> "♥ ❥ 😍 😻❣" i have thrown the universe into chaos.
06:13:54 -!- nooodl^ has quit (Ping timeout: 264 seconds).
06:14:04 <Fiora> shachaf: being wooed by bike would not be that bad
06:15:07 <Bike> Fiora: Mon chere, pepe, maginot line.
06:15:23 <Bike> I'm wooing you.
06:16:15 <shachaf> this is america! we woo in english here!
06:16:49 -!- ThatOtherPerson has joined.
06:16:55 <elliott> fizzie: in: re: wooing: "I hope he's not right, or my girlfriend is going to be angry."
06:17:30 <mnoqy> shachaf: so is this a "role play" thing
06:18:00 <pikhq> Fiora: Perhaps I should woo you.
06:18:04 <mnoqy> this whole wooing thing
06:18:09 <pikhq> Consider thyself wooed.
06:18:09 <mnoqy> like what's up with that all of a sudden
06:18:27 <shachaf> mnoqy: oh fizzie started that
06:18:56 -!- c00kiemon5ter has left.
06:28:06 -!- conehead has quit (Quit: Computer has gone to sleep.).
06:31:08 <shachaf> fizzie: did you woo your wife "back in the day"
06:31:12 <shachaf> and/or did your wife woo you
06:31:28 -!- FreeFull has quit (Quit: gotta go).
06:35:08 <shachaf> you know the puzzle about "8" shapes on a plane??
06:36:52 <shachaf> 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 <Bike> On. I thought you meant like a plane you go flying in.
06:38:51 <shachaf> Bike: oh and they can't intersect
06:38:59 <shachaf> "kind of important to mention that"
06:39:02 <Bike> Can you put one inside another?
06:39:50 <Bike> Probably not countable.
06:41:12 <shachaf> You say you can fit uncountably many non-intersecting 8s on a real plane?
06:44:14 <Bike> Well, you can fit countably many 8s inside one another matryoshka-style, no? Then do that all over the plane.
06:45:20 <shachaf> That still sounds countable?
06:45:21 <mnoqy> is this one of those conjectures OR independent of traditional axiom's
06:46:12 <Bike> oh i guess that would be countable huh
06:46:31 <shachaf> what's the conjecture i mean
06:46:39 <shachaf> there's an answer to the puzzle
06:46:55 <shachaf> people know the answer iff they are cool
06:48:31 <fizzie> 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 <fizzie> elliott: Well can he explain the GIGGLING? (I guess it might be just that he's a funny guy.)
06:54:48 <pikhq> 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 <shachaf> pikhq: No, each 8 has to be of a finite size. :-)
06:55:42 <pikhq> "Arbitrarily close to 0" is a finite size! :P
07:01:51 <fizzie> I think I've heard that you can only put a countable amount of nonintersecting discs on a plane, at least.
07:02:40 <fizzie> It has something to do with Q^2 being "dense".
07:03:42 <shachaf> fizzie: You can easily do uncountably many nonintersecting circles, though.
07:03:55 <shachaf> E.g. for every real number make a circle with that radius with center (0,0)
07:04:19 <fizzie> Oh, right, your "8" was just two circles.
07:05:05 <pikhq> 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 <fizzie> 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:21 <shachaf> fizzie: No, they'll intersect.
07:06:48 <fizzie> 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:14 <shachaf> How do you make it not intersect?
07:07:19 <fizzie> Maybe I should draw a picture?
07:10:25 <fizzie> Like, https://dl.dropboxusercontent.com/u/113389132/Misc/20130425-Drawing1.png
07:11:11 <fizzie> (I did say I modified your definition of 8 to something quite a bit less 8-like.)
07:11:39 <shachaf> Oh, no, they have to touch.
07:11:46 <shachaf> 23:36 <shachaf> 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 <pikhq> fizzie: Sneaky. :P
07:11:56 <fizzie> shachaf: [10:05:46] <fizzie> 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 <pikhq> Yeah, the tangentness makes this a lot harder.
07:12:37 <shachaf> fizzie: Well, I assumed you were doing that without breaking the rules.
07:12:51 <fizzie> I don't see how you can do that without breaking the rules.
07:13:05 <pikhq> fizzie: Two circles of different size tangent to each other.
07:13:31 <shachaf> pikhq: Oh, also, one circle of the 8 can't be inside the other circle.
07:13:44 <shachaf> (I'm not sure whether that makes a difference?)
07:16:00 <pikhq> Hmm. This can be rephrased with "how many tangent circles can you tile the real plane with", I think.
07:17:35 <fizzie> 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 <fizzie> (Not that I see how you'd do the original thing either.)
07:18:37 -!- ThatOtherPerson has quit (Quit: Leaving).
07:18:53 <shachaf> fizzie: The outermost circles in your picture have that property?
07:19:21 <pikhq> Yeah, it can definitely just be an additional restriction.
07:22:05 <fizzie> 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 <shachaf> fizzie: I thought you were saying: You can do it with 8s (as defined previously) that also have this additional property!
07:28:45 <fizzie> 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 <fizzie> (I broke down, and went and looked up a clever answer that also uses Q^2.)
07:34:39 <elliott> fizzie: I feel a great disturbance in the Gregor voice force.
07:34:48 <elliott> 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 <elliott> fizzie: do YOU like optimising PNGs???
09:58:59 -!- ais523_ has joined.
10:06:31 <elliott> but to the nick you'd expect
10:06:39 -!- ais523_ has changed nick to ais523.
10:06:46 -!- ais523 has changed nick to ais523_.
10:07:09 <ais523_> elliott: in response to that message, I'd say it's worth a try, at least
10:14:19 <shachaf> 19:36 <elliott> @tell ais523 is the "Disallow" action somehow preventing the "Block" action?
10:14:22 <shachaf> 19:36 <elliott> @tell ais523 maybe it's only meant to have the latter or something (see AbuseLog)
10:15:41 <elliott> you get to change it; I'm too terrified of abusefilter
10:16:00 <elliott> OTOH, maybe it's best if they just get silently blocked for all eternity rather than spamming recent changes
10:16:25 <elliott> they /do/ only seem to try a finite number of times
10:16:55 <ais523_> we don't have an autoconfirm timeout
10:17:16 <ais523_> 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 <ais523_> that said, I'm not sure what an abusefilter block looks like
10:17:44 <ais523_> it might not show up in recent changes at all
10:18:54 <elliott> ideally, instead of blocking it'd delete their account to clean up the goddamn user list :P
10:19:20 <elliott> it seems like disabling all the old captchas has stopped spam registrations entirely for now, anyway
10:19:32 <ais523_> yeah, they must have got a human to compile answers to the captchas
10:19:36 <ais523_> and then just set their bots on it
10:19:59 <elliott> question is whether they care enough to do it again
10:20:33 <elliott> 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 <elliott> as in, humans who don't necessarily know much about esolangs
10:20:52 <elliott> since I don't really believe not knowing brainfuck should be a barrier to entry or whatever
10:23:23 <ais523_> 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 <ais523_> the documentation is actually dynamic, it uses the most recently set CAPTCHA as its example
10:23:50 <ais523_> obviously this is trivially automatable around, just nobody has tried yet
10:25:31 <elliott> ais523_: another thing is how much of a burden it is to answer
10:25:35 <elliott> remember that every anonymous edit has to go through this
10:25:45 <elliott> and we'd like to encourage anonymous edits
10:25:51 <elliott> (as opposed to no edits at all)
10:26:52 <ais523_> the CLC-INTERCAL thing isn't a burden because following a link and copying a number isn't a burden
10:28:18 <elliott> hmm, says the guy who never clicks links
10:28:39 <elliott> our captchas already involve link-clicking, anyway :)
10:31:28 <Jafet> Good ol' shachafbot.
10:33:28 <shachaf> Jafetbot: solve for n: e ^ (-n * (n+1) / (2*d)) = 0.5
10:35:58 <Jafet> I will not be unterbot.
10:53:44 <shachaf> Jafet: solve for n: 1 - e ^ (-n * (n+1) / (2*d)) = 0.5
10:59:41 <fizzie> Wolfram: solve for n: 1 - e ^ (-n * (n+1) / (2*d)) = 0.5. -> http://sprunge.us/hWBO
11:00:49 <fizzie> 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 <elliott> proof irrelevance is the worst thing ever. :(
12:26:41 -!- bengt_ has quit (Ping timeout: 245 seconds).
12:36:10 <Jafet> Proof Erasure could be a good band name
12:38:42 <Jafet> A metal band might want to go for Chains of Judgement instead. (Cut Rule is probably too emo.)
12:38:54 <fizzie> Prof. Erasure, a distinguished mathematician.
12:44:17 -!- bengt has joined.
13:11:12 <fizzie> 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 <fizzie> In fact, releasing any key makes a square.
13:11:43 <fizzie> But the space bar inserts "9"s.
13:12:40 <fizzie> 1, 2 and 4 result in ^B, ^C and ^E, respectively. I guess it's in some sort of very uncooked mode.
13:14:06 <fizzie> 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 <oerjan> you can always try ghc -e launchMissiles
13:16:09 <fizzie> Heh, the power button also echoes [square]^[square] when pressed.
13:17:39 <fizzie> oerjan: <interactive>:1:1: Not in scope: `launchMissiles'
13:17:43 <fizzie> oerjan: I take it there's something wrong with my GHC install.
13:17:59 <oerjan> fizzie: or something very right.
13:18:43 <fizzie> As soon as that computer boots; it's too annoying with a phone.
13:18:51 <oerjan> itt we determine how much insulting it takes to get fizzie to actually do something oppy
13:19:44 <elliott> fizzie: op me and i'll fix fungot
13:20:00 <fizzie> Oh, fixing fungot is "oppy"?
13:20:20 <elliott> fizzie: it can be if you collaborate!
13:20:42 <fizzie> I try to fix it, but it's not FIXATING.
13:21:43 <fizzie> > let fungot = fix in fix fungot
13:21:44 <lambdabot> Occurs check: cannot construct the infinite type: a0 = a0 -> a0
13:22:17 -!- fungot has joined.
13:25:36 -!- Frooxius has joined.
13:28:14 <elliott> <elliott> fizzie: I feel a great disturbance in the Gregor voice force. <elliott> it seems that he needs to also be opped temporarily to maintain universal balance.
13:28:28 <elliott> see? if I am opped you can rely on me for sound Gregor mode policies, even before you realise their need.
13:39:32 -!- epicmonkey has joined.
13:40:16 <fizzie> On that topic, http://sprunge.us/LNJX
13:43:22 <elliott> fizzie: so in other words, you should op me so that I can be the shadowy figure behind the figurehead rule of Gregor.
13:43:25 * oerjan thinks that was from h2g2
13:46:28 <fizzie> On that note, should I go and play substitute teacher? The machine learning course lecturer is sick, and there's a lecture tomorrow.
13:47:07 <elliott> fizzie: well it'd certainly be a step up from your speech recognition work
13:47:24 <fizzie> I don't know about that, it's about approximate inference.
13:58:15 <fizzie> "Approximate Inference -- Consistency Methods -- Pretend that p is actually an instance of a distribution in a tractable family (eg a tree), and run the algorithm for the tractable family, but with parameters set from p. Cross your fingers and hope for the best."
13:58:44 <fizzie> Esp. calling it "Consistency Methods" is a nice touch, it sounds all proper and impressive.
14:06:42 -!- ais523 has joined.
14:14:30 <oerjan> `addquote <elliott> sometimes i wake up and my name has grown more consonants
14:14:37 <HackEgo> 1037) <elliott> sometimes i wake up and my name has grown more consonants
14:19:05 -!- oklopol has joined.
14:22:07 -!- oklofok has quit (Ping timeout: 264 seconds).
14:52:26 -!- john_metcalf has joined.
14:55:22 -!- boily has joined.
15:00:24 -!- epicmonkey has quit (Ping timeout: 258 seconds).
15:08:16 -!- Taneb has joined.
15:08:46 <oerjan> `olist #Not entirely sure if this is new
15:08:48 <HackEgo> olist: shachaf oerjan Sgeo FireFly
15:09:22 -!- Taneb has quit (Read error: Connection reset by peer).
15:13:40 <elliott> note to self: sleep-deprived Coq never goes well.
15:17:11 -!- ThatOtherPerson has joined.
15:18:22 -!- comex` has changed nick to comex.
15:20:59 -!- oerjan has quit (Quit: Coffee time).
15:26:35 -!- Taneb has joined.
15:26:54 -!- abumirqaan has joined.
15:29:11 -!- bengt has quit (Ping timeout: 245 seconds).
15:29:53 -!- aloril has quit (Ping timeout: 240 seconds).
15:29:54 -!- bengt has joined.
15:34:24 <fizzie> A HTML renderer? A 3D ray-thingamabob? A something else altogether?
15:36:54 -!- aloril has joined.
15:39:48 -!- bengt has quit (Disconnected by services).
15:40:23 -!- bengt_ has joined.
15:45:45 -!- conehead has joined.
15:51:21 -!- ThatOtherPerson has quit (Quit: Leaving).
15:52:26 -!- Lymia has quit (Ping timeout: 252 seconds).
15:55:08 -!- DHeadshot has joined.
16:00:21 -!- epicmonkey has joined.
16:00:21 -!- DHeadshot has quit (Read error: Connection reset by peer).
16:00:42 -!- DH____ has joined.
16:05:08 -!- DH____ has quit (Ping timeout: 255 seconds).
16:18:17 -!- Lymia has joined.
16:29:02 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
16:29:31 -!- Phantom_Hoover has joined.
16:34:52 -!- Taneb has quit (Ping timeout: 260 seconds).
16:55:52 -!- Taneb has joined.
17:00:24 -!- ThatOtherPerson has joined.
17:07:23 <Taneb> Answer a question someone posted on Facebook
17:07:27 <Taneb> He says "Who are you?" back.
17:12:56 -!- hagb4rd has joined.
17:23:19 -!- ydbkakghlglaeiln has joined.
17:23:19 -!- ydbkakghlglaeiln has left.
17:23:44 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
17:25:24 -!- Phantom_Hoover has joined.
17:29:13 <Taneb> Who is Phil Plait?
17:29:33 <Phantom_Hoover> an astronomer who writes about astronomy on the internet
17:29:38 -!- jlusbhtabmlojomx has joined.
17:30:54 -!- jlusbhtabmlojomx has quit (Read error: Connection reset by peer).
17:31:31 <FireFly> ThatOtherPerson: good idea, raytracers are fun to hack on
17:35:15 -!- FreeFull has joined.
17:38:39 -!- Phantom__Hoover has joined.
17:40:30 <Taneb> Seeing as neither iPlayer nor 4od have Game of Thrones
17:40:41 <Taneb> Paying people money seems like the best option
17:40:50 <Taneb> I suggest starting by paying me money
17:40:59 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
17:41:35 <Taneb> But then you don't get the new episodes
17:41:42 <Taneb> Which presumably you are up to
17:41:50 <Taneb> Could you stream them online somewhere?
17:44:13 <Taneb> Could you torrent on a different port?
17:46:30 <Taneb> Or ask someone to torrent them for you and mail them to you on a USB
17:47:01 -!- Phantom___Hoover has joined.
17:47:22 <Taneb> Are the IT folk after you
17:47:31 <Taneb> If they are, run. Never stop running.
17:49:03 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds).
17:53:31 -!- tswett_ has changed nick to tswett.
17:54:03 -!- nooga_ has joined.
17:56:24 -!- Phantom__Hoover has joined.
17:56:30 -!- nooga has quit (Ping timeout: 264 seconds).
17:56:37 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds).
17:57:26 <Taneb> Phantom__Hoover: good luck
17:57:39 <Taneb> Remember what I taught you
17:58:56 <ais523> Phantom__Hoover: shall I start being lawful good again? or would that not help?
17:59:36 <Taneb> ais523: we must all be chaotic good and save Phantom__Hoover from the authorities
17:59:47 <Taneb> Catch the next train to Coventry
18:00:21 <Taneb> Because #esoteric sticks together
18:03:06 <ThatOtherPerson> let's hack into the universe and teleport the IT people away from Phantom__Hoover
18:03:51 <Taneb> ThatOtherPerson: go for it
18:04:00 -!- Phantom___Hoover has joined.
18:05:55 <ThatOtherPerson> They have blood? I would have thought that they would have blood
18:06:39 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds).
18:18:24 -!- Phantom___Hoover has quit (Ping timeout: 268 seconds).
18:20:57 <ais523> this conversation is great in a client that filters colors
18:21:09 <ais523> also, if "truth" and "beauty" aren't names for sorts of quarks yet, they should be
18:22:31 <ThatOtherPerson> Gregor: the logs aren't in color. Why aren't the logs in color?
18:23:11 <Jafet> New quarks to have media spin
18:24:21 -!- Phantom___Hoover has joined.
18:24:34 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com).
18:39:30 -!- AnotherTest has joined.
18:46:38 <Taneb> what did you just call me bitch
18:54:34 -!- samebchase has quit (Ping timeout: 240 seconds).
18:55:38 -!- samebchase has joined.
19:06:12 -!- Phantom___Hoover has quit (Ping timeout: 272 seconds).
19:10:28 -!- carado has quit (Ping timeout: 246 seconds).
19:12:17 -!- Lymia has quit (Read error: Connection reset by peer).
19:29:15 -!- copumpkin has quit (Ping timeout: 252 seconds).
19:29:55 -!- copumpkin has joined.
19:40:16 -!- carado has joined.
19:53:06 -!- AnotherTest has quit (Quit: Leaving.).
20:23:02 -!- Phantom___Hoover has joined.
20:23:02 -!- Phantom___Hoover has changed nick to Phantom_Hoover.
20:23:37 <ais523> kmc: that isn't a valid response to helo
20:24:56 <kmc> OK computer
20:27:20 -!- Bike has joined.
20:31:30 <Bike> http://25.media.tumblr.com/932a7112a7c4db18add6f6e13dbd71c4/tumblr_mlsms516kW1qbsziao1_500.gif
20:34:21 <Bike> I dunno, Netflix had some silly categories for April Fool's.
20:34:41 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
20:46:32 -!- carado has quit (Quit: Leaving).
20:46:37 -!- carado_ has joined.
20:53:11 -!- Phantom_Hoover has joined.
20:57:48 -!- heroux has quit (Ping timeout: 264 seconds).
21:02:49 -!- heroux has joined.
21:04:01 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds).
21:09:28 -!- tromp has joined.
21:10:47 -!- Taneb has quit (Quit: Leaving).
21:10:51 -!- quintopi1 has joined.
21:15:32 -!- tromp__ has quit (*.net *.split).
21:15:32 -!- Lumpio- has quit (*.net *.split).
21:15:32 -!- iamcal_ has quit (*.net *.split).
21:15:32 -!- quintopia has quit (*.net *.split).
21:21:42 -!- epicmonkey has quit (Ping timeout: 245 seconds).
21:22:03 -!- Lumpio- has joined.
21:27:33 -!- Phantom_Hoover has joined.
21:32:06 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
21:35:18 <shachaf> kmc: I was reading some logs and it sounds like kmc-of-a-few-years-ago was a lot less cynical.
21:35:26 <kmc> that'll happen
21:35:34 <kmc> any particular way, though?
21:36:12 <shachaf> Not exactly... I don't know.
21:37:56 -!- Phantom_Hoover has joined.
21:39:33 -!- Lymia has joined.
21:39:34 -!- Lymia has quit (Changing host).
21:39:34 -!- Lymia has joined.
21:56:24 -!- augur_ has quit (Remote host closed the connection).
22:00:16 -!- boily has quit (Quit: Poulet!).
22:05:51 -!- sebbu2 has joined.
22:06:30 -!- sebbu2 has quit (Changing host).
22:06:30 -!- sebbu2 has joined.
22:07:45 -!- ThatOtherPerson has quit (Quit: Leaving).
22:15:02 -!- sebbu has quit (*.net *.split).
22:15:02 -!- kmc has quit (*.net *.split).
22:15:23 -!- kmc has joined.
22:15:23 -!- constant has changed nick to function.
22:17:23 -!- sebbu2 has quit (Ping timeout: 246 seconds).
22:18:33 -!- Lymia has quit (Ping timeout: 252 seconds).
22:20:13 -!- TeruFSX has joined.
22:22:54 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
22:26:01 -!- sebbu has joined.
22:26:36 -!- sebbu has quit (Changing host).
22:26:37 -!- sebbu has joined.
22:27:35 -!- epicmonkey has joined.
22:35:11 -!- Phantom_Hoover has joined.
22:44:42 <Phantom_Hoover> jeeesus christ, the gemini missions lasted for /weeks/
22:44:44 -!- sivoais has quit (Ping timeout: 255 seconds).
22:45:46 -!- sivoais has joined.
22:46:12 -!- SgeoN1 has joined.
22:46:24 <HackEgo> olist: shachaf oerjan Sgeo FireFly
22:46:27 <Bike> "Primary objective was to determine whether humans could live in space for 14 days."
22:46:54 <SgeoN1> Sorry if someone else did ot
22:47:22 <Bike> By this time the novelty of spaceflight had worn off for the crew of Gemini 7. They had spent 11 days in space and had three more to go. They were doing little more than drifting around the Earth and the incentive of the rendezvous was over. Borman read Roughing It by Mark Twain and Lovell Drums along the Mohawk by Walter D. Edmonds.
22:47:22 -!- Phantom__Hoover has joined.
22:47:45 <Phantom__Hoover> and afaict there was much more capsule space than on gemini
22:50:18 <Bike> They read books.
22:50:33 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
22:51:15 -!- Phantom___Hoover has joined.
22:53:53 -!- sivoais has quit (Ping timeout: 240 seconds).
22:54:31 -!- mnoqy has joined.
22:54:50 -!- Phantom__Hoover has quit (Ping timeout: 272 seconds).
22:56:01 -!- sivoais has joined.
22:57:04 <Bike> `? phantom_____hoover
22:57:06 <HackEgo> phantom_____hoover? ¯\(°_o)/¯
23:01:18 -!- epicmonkey has quit (Ping timeout: 264 seconds).
23:02:13 -!- Bike_ has joined.
23:02:21 -!- Bike has quit (Disconnected by services).
23:02:26 -!- Bike_ has changed nick to Bike.
23:03:33 -!- sivoais has quit (Ping timeout: 240 seconds).
23:06:12 -!- sivoais has joined.
23:11:18 -!- Lymia has joined.
23:11:18 -!- Lymia has quit (Changing host).
23:11:18 -!- Lymia has joined.
23:13:52 -!- augur has joined.
23:14:06 -!- sivoais has quit (Ping timeout: 252 seconds).
23:15:23 -!- sivoais has joined.
23:15:45 -!- iamcal_ has joined.
23:33:16 -!- Zerker has joined.
23:42:54 -!- Phantom___Hoover has quit (Quit: Leaving).
23:50:46 -!- Zerker_ has joined.
23:53:22 -!- Zerker has quit (Ping timeout: 245 seconds).
23:53:22 -!- Zerker_ has changed nick to Zerker.