00:00:40 elliott: so, even if you can't blow up planets 00:00:52 you can black hole them? 00:01:08 * Sgeo hurls kallisti into a <> 00:01:09 what. 00:01:18 you mentioned being able to produce black holes 00:01:21 elliott: so it would 00:01:24 -!- itidus21 has quit (Read error: Operation timed out). 00:01:49 The input to the interpreter has the form [interpreter, program, current line, state]. The in- 00:01:49 terpreter is (if π3 (π3 ( )) then π1 (π4 ( )) else π1 (Update)) Υ9 , where Update is the term 00:01:49 [ a Υ ( [π1 ( b ), π2 ( c ), d Υ ([π2 ( e ), π4 ( e )] Υ2 e ), f Υ π4 ( g )] 00:01:49 Υ 00:01:49 b 00:01:50 c π1 (π3 ( d )) 00:01:52 e π2 (π3 ( f )) 00:01:53 g 00:01:56 ) 00:01:58 ] Υ (π1 ( ))a b c d e f g . 00:02:00 aww, it messed up the formatting 00:02:01 and 00:02:03 the words 00:02:05 and symbols 00:02:25 noooo itidus 00:02:28 WHYYYYYY 00:02:30 wierhiuwheriuhweurhwreih 00:02:34 I am can't go on 00:02:37 * kallisti dies. 00:02:59 kallisti: what 00:03:00 oh 00:03:01 rip 00:03:46 elliott: ripped your mom apart in that dung blizzard 00:03:48 pahhhhh 00:03:51 pah pha pah ha pha 00:03:51 -!- itidus21 has joined. 00:03:54 itidus21: hi 00:04:03 oerjan: "Because UPSILON is Turing-compete and has a composition function, it is an acceptable programming system" 00:04:05 whatever you say... 00:04:22 elliott: hey by _our_ standards... 00:04:24 elliott: all turing complete languages with a composition function are acceptable. QED 00:04:43 kallisti: "as defined by Rogers [Rog58]." :P 00:04:54 does 00:04:57 dooes his last name start with a G? 00:05:28 eek, our recent changes page is _only_ spam deletion 00:05:43 oerjan: yep! 00:07:05 stars should probably be immovable 00:07:19 but I think planet destruction could be based on individual planets. 00:07:25 kallisti: there is no "star". there's just a big, massive, hot object floating about. 00:07:31 small ones would be easier to destroy, presumably. 00:07:38 elliott: and what do you call that object? 00:07:53 kallisti: a star. i'm saying it's not special-cased in the physics. 00:07:59 you can't have an "immovable" star. 00:08:00 also small planets have lesser impact on the star systems orbits so... not gamebreaking. 00:08:24 elliott: I mean indestructable. practically 00:08:25 not in the code 00:08:28 as in 00:08:32 nothing you have will do anything to it. 00:08:47 that's also mostly a property of the object itself :P 00:09:00 uh, sure 00:09:03 if you want to be incredibly vague. 00:09:40 like mercury for example 00:09:43 is basically a big asteroid 00:09:50 I should be able to blow that motherfucker up. 00:10:12 yes. a _very_ big asteroid. 00:10:26 i don't mean to interrupt but what game is this under discussion? 00:10:40 should i look at logs perhaps? 00:10:43 aii 00:10:46 hi itidus21 00:10:46 ok 00:11:05 by reading the word "aii" you now know everything about the game :P 00:11:13 yay 00:11:29 um, is it an actual game or something under design? 00:11:52 oerjan: latter, although there is code 00:12:22 elliott: how about can I land on planets instead? 00:12:25 if I'm going slow 00:12:32 instead of dying on them 00:12:51 kallisti: you could... rest on it? there's no atmospheres. 00:12:54 kallisti: i am pretty sure you would just burn up though. 00:13:08 ah yes heat 00:13:13 so gas giants are not gas giants 00:13:16 but rock giants :P 00:13:27 kallisti: well you could just turn collision off... 00:13:35 for those 00:13:58 great so now instead of colliding into planets and dying I can get sucked into their massive gravitational pull :P 00:15:49 elliott: also I feel there's a lack of character-driven story 00:15:53 perhaps the planets can be people 00:15:55 and have personalities 00:15:58 (...) 00:16:00 the story is that you hate whoever you're playing with 00:16:19 but see it's more interesting for example 00:16:31 if Jupiter is jealous of Mercury's small body 00:16:41 and wants to lose all that gassy weight. 00:16:59 makes the story more dynamic 00:18:31 elliott: anyway I doubt we can use realistic radii for planets 00:18:40 because if you make the ship large enough so that Jupiter fits on screen 00:18:53 earth-sized planets are now tiny dots in comparison to your ship. 00:19:19 yeah you could have like Jupiter be the king of the planets, and say Mercury could be the messenger because he's fast. And Venus could be the hot chick. Nah wait, too ridiculous. 00:19:45 lol 00:22:44 and you could tell stories of their interactions to explain various earthly phenomena 00:23:12 jupiter's the fat guy who has horrible gas. but he's still a pretty cool guy. 00:23:23 wait what are we doing 00:23:33 oklopol: terribly whooshy gas 00:23:57 well fuck you too :D 00:24:24 you can't expect me to read more than one random line 00:24:28 of backlog 00:24:30 indeed 00:25:10 oklopol: making a game (not as good as your games don't worry) 00:25:23 elliott: but it would be cool if you plug in parameters for the solar system into a map editor and it creates a working model of the solar system. 00:25:28 well that goes without even saying it goes without saying. 00:25:39 `addquotebutthebotsnothere well that goes without even saying it goes without saying. 00:25:43 -!- Darth_Cliche has joined. 00:26:03 so why is this game about? 00:26:13 there is no why, alas. 00:26:17 good 00:26:29 i will continue doing nothing 00:26:38 elliott: lies 00:26:42 there are at least two whys 00:26:45 i will try my best to nontribute to this game 00:27:25 elliott: okay so if we have like 00:27:26 some kind of roll 00:27:30 and when you execute this roll 00:27:32 oklopol: good because you SUCK lol 00:27:34 it reflects projectiles 00:27:35 away from you 00:27:57 that's called a shield, kallisti 00:28:10 hmmmm, no 00:28:12 it's more like 00:28:12 a barrel roll? 00:28:14 like a barrel roll 00:28:15 yes 00:28:16 itidus21: thank 00:28:52 -!- Darth_Cliche has changed nick to Klisz. 00:29:03 elliott: HAHA I AM BEING HUMEROUS FOR HUMER EFFECT GET IT 00:29:05 Thanks a lot, Peppy... 00:29:11 no ur bad person 00:32:36 " oklopol: good because you SUCK lol" xD 00:32:49 oklopol: no im being so dreadfully sincere your games are the WORST 00:32:55 yyyyeah :D 00:33:00 but i 00:33:02 want you to 00:33:03 get offended 00:33:08 so i can apologise?? 00:33:16 i'm really trying 00:33:40 oklopol: I'm sorry oklopol 00:34:30 argh, and now that's gonna go to waste 00:34:48 listen i'll get some sleep and see if i can muster up some in the morning 00:35:02 you'll work on your "game" 00:35:13 erm 00:35:15 i meant to say 00:35:18 "work" 00:35:26 oklopol: no but its not a game its actually 00:35:26 a plan 00:35:28 tok ill you 00:35:30 to death 00:36:33 huh. well i guess i'm ever gladder i didn't colluberate. 00:36:48 oklopol: no but 00:36:49 if you collaborates 00:36:50 d 00:36:54 we were going to hold off. 00:36:58 oh that's how it's spulled 00:37:34 well that's not gonna make me collaboratesd because i now knowsd the plan. 00:38:00 i really have to sleep. after this episode. 00:38:08 bye night. 00:38:58 oklopol: but do you knowsd 00:39:02 oklopol: that you're goingsd tosd 00:39:04 oklopol: diesd 00:45:42 -!- MSleep has joined. 00:46:52 -!- MSleep has changed nick to MDude. 00:48:29 goosd grammarsd 00:50:14 die oerjan, die 00:50:18 oerjan: are you a physics 00:50:44 no am chemic 00:51:01 ok. 00:51:20 oerjan: code aii's physics engine thanks, chemic are good at this 00:52:07 engine go boom 00:52:18 -!- PiRSquared17 has joined. 00:53:02 aii aii o 00:53:52 -!- itidus20 has joined. 00:55:16 itidus21 decremented 00:55:17 -!- EgoBot has quit (Remote host closed the connection). 00:55:20 and became itidus20 00:55:26 Gregor: noooooooo 00:55:27 -!- EgoBot has joined. 00:55:32 oh PiRSquared17 looks new 00:55:36 did someone mention the channel in #haskell again 00:55:50 I've been here before... 00:55:53 Last year 00:55:55 ah. 00:56:23 I check the wiki... 00:56:24 good! i won't welcome you then. 00:56:42 * elliott harsh, but fair. 00:56:43 yeah we don't want to be welcoming to your kind. 00:57:06 we prefer people who've never been here, their brains are squishier and more tasty 00:57:21 also easier to trap 00:57:25 Darn, I was.just about tobasl if id be welcome back into the monecraft channel 00:57:39 I was just tobasl if id be welcome back into the monecraft channel too. 00:57:43 -!- itidus21 has quit (Ping timeout: 276 seconds). 00:57:58 * elliott was going to say that PiRSquared17 should become TauRSquared8.5, but someone might actually take him seriously. 00:58:38 tau = 2pi ? 00:58:46 PiRNOTSquared, PIRRound 00:58:49 PiRSquared17: Yes :P 00:58:59 SgeoN1: N.B. That was not actually true. 00:59:00 That's what I thought... 00:59:47 moneycraft the gnome game 01:00:07 mooncraft the elf game 01:00:24 moancraft - let's not go into details 01:00:54 meancraft the orc game 01:01:09 moocraft 01:01:16 did i mention i caught up with yafgc 01:01:22 I could have sworn I saw PiR on Reddit 01:01:29 NOt me 01:01:32 *o 01:01:49 manecraft is just horsing around 01:02:02 minicraft the halfling/hobbit game 01:03:04 * oerjan suddenly realizes he is confusing minecraft and DF, the joke falls off a cliff and dies 01:03:18 it did that a long time ago 01:03:24 ok then 01:03:34 it just didn't realize until it looked down 01:03:54 Dwarfcraft 01:08:24 -!- yorick has quit (Quit: No Ping reply in 180 seconds.). 01:08:52 -!- yorick has joined. 01:14:22 -!- itidus22 has joined. 01:15:36 -!- Jafet has joined. 01:22:51 -!- itidus20 has quit (Read error: Connection timed out). 01:24:25 -!- augur has joined. 01:24:46 -!- sebbu has quit (Read error: Connection reset by peer). 01:25:08 -!- sebbu has joined. 01:25:08 -!- sebbu has quit (Changing host). 01:25:08 -!- sebbu has joined. 01:31:49 -!- Klisz has quit (Quit: I AM KLISZ, FEAR ME). 01:32:31 -!- itidus22 has quit (Read error: Connection timed out). 01:33:03 -!- itidus22 has joined. 01:34:19 double increment detected 01:35:28 hi itidus22 how are you enjoying your +2 01:38:16 `welcome shachaf 01:38:44 you are NOT welcome. this much should be obvious. 01:40:41 :D 01:42:47 -!- Jafet has quit (Quit: Leaving.). 01:43:54 * shachaf :-( 01:47:25 -!- augur has quit (Remote host closed the connection). 01:53:29 -!- itidus22 has quit (Read error: Connection timed out). 01:54:04 -!- itidus22 has joined. 01:54:55 Disconnects are fun! 01:56:35 fun disco nectar 01:57:32 Hey, I didn't end up disconnected! 01:57:51 Just very high lag reporte 01:57:51 which went down 01:57:57 Does the server hold on to messages for a time? 01:58:13 maybe it 01:58:17 's your evil twin 01:58:31 I said disconnects are fun at :54, XChat says :56 01:58:40 :54 here 01:59:12 Support for the server holds onto messages until reconnect or pingout hypothesis 01:59:28 what has that got to do with that 01:59:37 of course the server delivers messages if you're connected... 01:59:41 How else would XChat have seen my message? 01:59:46 If I lost connection 02:00:04 because 02:00:06 you didn't lose connection? 02:00:10 that's why the message sent?? 02:00:22 Then what has been happening? 02:00:44 SgeoN1 has not disconnected before (for a long while) or since saying "Disconnects are fun" 02:00:50 so what are you talking about? 02:01:03 It's only my computer that's disconnecting 02:01:09 For some reason 02:01:20 ...then wtf is your hypothesis about? 02:01:27 you _also_ haven't disconnected in ages 02:01:36 elliott, I came close around :54-56 02:01:51 I think I did disconnect, but for an amount of time less than Freenode takes to notice the pingout 02:01:59 do you know how TCP works 02:02:22 lost connection is indistinguishable from sufficiently large lag. 02:02:37 so obviously freenode won't disconnect you if you lose connection for a sufficiently short amount of time 02:02:44 nothing about "keeping messages" 02:03:18 Was TCP trying to resend the messages then? 02:03:32 That.. makes sense, I think 02:04:17 Sgeo: You... realise that TCP was created because connections are really unreliable, right? 02:04:25 It's all about retries. 02:04:30 Ok 02:04:38 Well... half retries, half maintaining the illusion of an ordered stream. 02:04:40 If IRC used UDP, the effect wouldn't happen, I guess 02:05:02 If IRC used UDP, it would actually be entirely possible for you to miss things sent to the channel. 02:05:24 If IRC used UDP, close enough messages would arrive in nonsense order :P 02:05:52 Although IRC doesn't really need streaming much *shrugs* 02:06:05 Not to mention there would be no meaningful notion of "connection". 02:06:48 pikhq: Well, ping timeouts are the only time IRC cares about connections, really :) 02:06:57 I mean, there's "remote host closed the connection", but doing that with ping timeout is only like a hundred second delay, and it's a failure case anyway. 02:07:19 pikhq: Although it does mean that you'd be limited to one connection per IP :P 02:07:54 elliott: Not really; UDP has seperate source/destination ports, just like TCP. 02:08:10 pikhq: Oh, right 02:08:10 hm? doesn't UDP also inc... right 02:08:22 I keep forgetting about that because no interface exposes it ever :) 02:08:29 Well, apart from low level socket interfaces :P 02:08:47 Huh, why not? 02:09:01 how else could UDP ever work on a multiuser machine 02:09:05 oerjan: right 02:09:07 Sgeo: Why? 02:09:13 Sgeo: The source/dest ports are completely irrelevant to any actual user. 02:09:29 -!- kmc has quit (Ping timeout: 240 seconds). 02:09:33 They are? 02:09:51 Sgeo: When you're not starting a server, BSD sockets just randomises the source port. 02:10:13 Sgeo: Sure they are. 02:10:13 -!- kmc has joined. 02:10:13 Sgeo: Do you know your current source/dest port? 02:10:15 Because the only time that it matters which port you *choose* is when you start a server. 02:10:16 (for IRC) 02:10:21 When would you ever need to? 02:10:53 But surely a single program needs to... well, hmm, have a destination port? 02:11:14 the dest is usually 6777 for irc, isn't it? or does it mean something else? 02:11:17 I mean, choose it. 02:11:21 er, *6667 02:11:26 Sgeo: Yes, it chooses *that*, but not the other one. 02:11:29 SgeoN1: The socket library handles picking a port. 02:11:41 There's a *pair* of ports in each TCP or UDP session. 02:11:44 Oh, I see what SgeoN1 means. 02:11:46 You only ever choose one. 02:11:46 Well, yes, you need :6667... 02:11:55 I mean that you don't care about the one that isn't the server port. 02:11:55 SCTP is the future. 02:12:00 shachaf: Does anything route SCTP yet? 02:12:16 elliott: Did I *say* "SCTP is the present"? 02:12:22 I didn't think so. 02:12:24 shachaf: :-) 02:12:26 elliott: On the greater Internet, everything should *route* it. 02:12:32 I don't think anything *NATs* it, though. 02:12:45 pikhq: Quick! Run an SCTP server! 02:12:53 Behind a NAT. 02:12:54 -!- Rugxulo has joined. 02:12:54 WE MUST TEST THIS 02:13:10 Pah :P 02:13:11 https://github.com/TTimo/doom3.gpl 02:13:13 There's also SCTP over UDP. 02:13:18 Which should "just work". 02:13:20 July 1, 2004 02:13:20 SCTP now comes to you via satellite until DSL becomes available. This means you must be patient when downloading files since there is an additional 550ms RTT for TCP packets which causes interesting side effects. The uplink speed is 100kbps, so large downloads will take some time. 02:13:24 pikhq: How much overhead does that give? 02:13:25 Rugxulo: old :P 02:13:30 A WHOLE DAY OLD 02:13:35 :-D 02:13:40 elliott: Not very much at all. 02:13:55 not as old as what I'm playing (id Tech 1 -- Hexen 2) 02:14:01 The UDP header is 32 bits. 02:14:26 Source port, destination port, length, and optional checksum. 02:14:38 (mandatory for IPv6) 02:14:38 pikhq: There's also the algorithmic overhead, but yeah :P 02:15:14 pikhq: Don't you mean 64 bits? 02:15:18 * elliott doesn't think ports are that small. Or, lengths and checksums. 02:15:25 Sorry, derp. 02:15:28 Yes, 64 bits. 02:15:36 16 per field. 02:16:13 pikhq: I'd rather replace IP than TCP and UDP. :( 02:16:14 32 Bits, where 1 Bit = 2 bits. 02:16:39 It's like Calories. 02:16:45 a bit confusing 02:17:06 elliott: I'll be happy to switch to IPv@ 02:17:57 shachaf: Here's a prototype: Remove bits 96-128. 02:18:03 (Uh, from IPv4.) 02:18:31 Oh, IPv6's header is surprisingly simple. 02:18:35 ... The *IP address*? 02:18:41 shachaf: Revised prototype: Remove bits 64-160. 02:18:44 pikhq: The source address. 02:19:42 elliott: That is just going to shove it further down the protocol stack... 02:19:53 -!- Sgeo has quit (Ping timeout: 240 seconds). 02:20:00 pikhq: Source-independent networking. 02:20:07 It's what's for dinner! 02:20:40 elliott: "Networking without replies." 02:21:00 *Is* there a usecase for send-only networking? 02:21:04 -!- Sgeo has joined. 02:21:44 pikhq: I gather that there are at least two other people in the world who think this is a good idea, and one of them is Van Jacobson, so I must be doing something right. 02:22:11 Name to me some cases where you would like to send packets without receiving any packets in response in a network at all. 02:23:02 What Introversion game should I play 02:24:13 I'm thinking DEFCON, Uplink, or Darwinia, I've heard of those 02:24:21 Sgeo: Uplink. 02:24:22 Sgeo: Also, that's ... all of the games. 02:24:22 Apart from Multiwinia, which is just online Darwinia, I think. 02:24:32 I'm curious about DEFCON, which is also multiplayer, right? 02:24:32 Yes, but apparently rather boring. 02:24:32 But seriously though. 02:24:32 Uplink. 02:24:33 It's their most famous game for a reason. 02:24:33 I think when I tried Uplink, I thought it was boring 02:24:33 pikhq: I should just link you to the Urbit post. http://moronlab.blogspot.com/2010/01/urbit-functional-programming-from.html 02:24:33 But ok, I'll try it 02:24:33 Sgeo: You were wrong. 02:24:41 Hey, what's so bad about monoids? 02:24:51 What. 02:24:59 What's the deal with monoids? 02:25:01 In the Urbit post 02:25:13 * elliott doesn't know what you're talking about. 02:25:23 "Read the whole thing. Haskell fans, you'll know exactly where you can stick your monads. Indeed, Elliott on monadic I/O sounds a lot like VJ on connection-oriented networking. This is not, I believe, a coincidence. If Urbit is like anything, it's like Elliot's FRP - though with no monads, gonads, morphinisms, monoids, combiguators, or other implements of metamathematical torture." 02:25:28 Oh. 02:25:34 Just ignore the bit after that dash. 02:25:39 Guy doesn't actually know any Haskell. 02:25:49 Ooh, that quote looks good. 02:25:53 Is it talking about Conal? 02:26:19 Wait, that's not form that link. 02:26:26 It is. 02:27:01 The rest of the post is very good, even despite that tiny regrettable bit. 02:27:04 (http://moronlab.blogspot.com/2010/01/nock-maxwells-equations-of-software.html should be read before it, though.) 02:27:11 it could be talking about all three elliotts, like some kind of chimera 02:27:25 Well, even though monads are pure except for IO, I think it makes sense to apply anger towards monads 02:27:26 or kerberos 02:27:36 They're often used for imperative-style, if not always 02:27:45 Sgeo: What's "not pure" about IO? 02:27:56 shachaf: IO is a model of impure computation. 02:28:04 Describing it as "impure" doesn't seem inaccurate. 02:28:35 Well, ok, I guess the not pure stuff is .. right outside, so to speak? executing main is certainly an impure operation, even if that's not observable from inside Haskell. Although I guess a lot of good things are 02:28:38 Fine. I'll just dispute the "used for imperative-style" bit, then. 02:29:01 shachaf: Well, IO is also inherently sequential. 02:29:31 Sgeo: Well, let's call printing a string "executing it" and then call strings "models of impure computation". 02:29:39 elliott: Sure, but I wasn't talking about IO. 02:29:56 shachaf: That seems unfair, since kind of the whole point about IO is that you can't get a value out of it. 02:30:02 There's no "tail :: IO a -> IO a". 02:30:13 (To be really vague about it.) 02:30:19 elliott: Well, sure. 02:30:24 State is often imperative-style, I'd think, even though it's fundamentally pure inside 02:30:32 You have some primitive programs, and can transform the results of programs, but there's nothing you can do to the IOs /themselves/. 02:30:48 elliott: It doesn't *have* to be that way, depending on your model of IO. 02:31:03 Well, not in general. 02:31:24 shachaf: Like what? decompose :: IO a -> exists b. (IOOperation b, b -> IO a)? 02:31:54 What's the exists for? 02:32:04 (Where data IOOperation a where PutStrLn :: String -> IOOperation (); GetLine :: IOOperation String etc.) 02:32:17 Sgeo: As in "why can't you just remove it", or "what does it do"? 02:32:42 Sgeo: It's shorter than: 02:32:42 data DecomposedIO a = forall b. DecomposedIO (IOOperation b) (b -> IO a) 02:32:42 decompose :: IO a -> DecomposedIO a 02:34:28 Ah 02:34:28 Something like that. 02:34:44 What would happen if you could know what was inside? 02:34:57 Or would the type of IO balloon? 02:34:59 Sgeo: Depends what you mean about "inside". 02:35:03 As in, know the type of b 02:35:10 shachaf: That breaks a lot of nice properties, though. :( 02:35:12 Sgeo: You do. That's why it's an "exists". 02:35:26 -!- Rugxulo has left ("Leaving"). 02:35:29 You get given one, as opposed to getting to choose one (a forall). 02:35:46 elliott: Oh, man, all those nice properties of IO. 02:35:59 shachaf: Well, it breaks IO-parametricity. 02:36:02 Which is a thing now. 02:36:09 It didn't need a name until you broke it. 02:37:37 Do I want a mouse to play Uplink? 02:37:45 Or is touchpad sufficient? 02:38:07 Sgeo: Are you happy navigating your computer menus with a touchpad? 02:38:18 Relatively quickly? 02:38:23 :t Left{} 02:38:24 forall a b. Either a b 02:38:28 Sgeo: Because that's literally Uplink's interface. 02:38:30 oerjan: augh 02:38:35 Sgeo: Actually more buttons than menus. 02:38:44 elliott: http://www.haskell.org/pipermail/haskell-cafe/2011-November/097047.html 02:38:46 Well, not as quick as with a mouse 02:38:59 SgeoN1: Do you /have/ a mouse? 02:39:10 > Left{} 02:39:11 Left *Exception: :3:0-5: Missing field in record construction 02:39:31 Mouse, but the table my computer is on is not a good mousepad, and the newspaper I once used is now on the floor, and I'm not about to touch it 02:39:53 is it covered in ants 02:39:56 oerjan: btw why aren't you using the google groups interface :P 02:40:09 There's a cat living here 02:40:15 The litterbox is on the floor 02:40:25 02:40:25 is it a nice cat 02:40:43 is it a friend cat 02:40:48 elliott: augh 02:40:54 hi oerjan 02:41:39 :t StateT{} 02:41:40 forall s (m :: * -> *) a. StateT s m a 02:41:48 oerjan: why aughy 02:42:01 because i had the feeling when pasting that you would remind me ;P 02:42:54 What's with the {}? 02:43:02 oerjan: are you afraid of google groups :P 02:43:09 Sgeo: record syntax, with an empty field list 02:44:11 > runStateT (undefined { runStateT = \s -> return (s, "hello") } ) 5 02:44:11 No instance for (GHC.Num.Num [GHC.Types.Char]) 02:44:11 arising from the literal ... 02:44:46 > runIdentity $ runStateT (undefined { runStateT = \s -> return ("hello", s) } ) 5 02:44:46 ("hello",5) 02:44:52 > const 3 (undefined + 3) 02:45:04 hah 02:45:16 oerjan: how the heck does that work?? 02:45:16 3 02:45:18 i wonder if that's according to the report 02:45:32 oerjan: oh because StateT is a newtype 02:45:37 so x { runStateT = y } === StateT y 02:45:41 ew :( 02:45:55 elliott: well StateT has only one constructor, so presumably ghc doesn't bother to evaluate before replacing 02:45:56 oerjan: otoh it's not clear to me that x{...} should evaluate x... 02:46:01 elliott, artdiopdate 02:46:11 hm... time to look at the report text 02:46:38 THE BIG GUNS 02:49:36 the translation in http://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-490003.15.3 seems to imply that it should be strict, but otoh the alternative only makes sense for single-constructor types 02:49:59 oh wait 02:50:09 if taken _literally_, it actually isn't strict for newtypes :P 02:51:03 oerjan: i was hoping that # would point to something useful :( 02:51:13 !haskell data Testing = Testing { field :: Int } deriving Show; main = print $ undefined { field = 100 } 02:51:19 input.15792.hs: Prelude.undefined 02:51:26 elliott: oh it doesn't? remove the .3 then 02:51:26 "The expression F {}, where F is a data constructor, is legal whether or not F was declared with record syntax (provided F has no strict fields — see the fourth bullet above)" 02:51:32 oerjan: hm is a newtype's field not strict? 02:51:47 i would think it should be considered strict, and so Newtype{} should be illegal... 02:51:48 re: StateT{} 02:51:53 elliott: not in pattern matching 02:52:06 oerjan: er what? 02:52:12 i realise that newtypes behave differently when pattern-matching 02:52:22 but apart from that a newtype is identical to data Foo = Foo !Field 02:52:31 but i guess pattern-matching is relevant here... 02:52:57 elliott: the translation given in the link depends on the strictness of that pattern matching for whether the result is strict 02:53:11 right 02:53:14 section 3.15.3 02:53:19 so i guess it is valid 02:53:32 oerjan: what was the non-literal reading? 02:54:07 well just assuming it would work like for data 02:54:25 !haskell newtype Testing = Testing { field :: Int } deriving Show; main = print $ undefined { field = 100 } 02:54:29 Testing {field = 100} 02:54:32 gah 02:54:44 yeah so it actually differs 02:55:09 oerjan: well it's obvious that it differs with GHC's implementation of newtypes P: 02:55:59 elliott: You must be the most virtuous programmer, for you are possessed of the greatest virtue. 02:56:36 EgoBot evaluates Haskell? 02:56:56 !haskell putStrLn "does it use MooEval?" 02:56:58 does it use MooEval? 02:57:13 !bf ++++++++++++++++++++++++++++... 02:57:14 ​... 02:57:15 s 02:57:22 No, it's merely runhaskell'ing in a sandbox. 02:58:03 !haskell Control.Concurrent.threadDelay 1000000000 02:58:09 pikhq: hi 02:58:13 pikhq: It's not actually runhaskell. 02:58:27 shachaf: It tries GHC with various wrappers around the code in the same sandbox as HackEgo. 02:58:30 !haskell 2 + 2 02:58:33 4 02:58:38 !haskell print (2 + 2) 02:58:40 4 02:58:43 elliott: Yay, hubris! 02:58:46 !haskell main :: IO (); main = print (2 + 2) 02:58:46 elliott: well it _could_ have special-cased single constructor data 02:58:51 4 02:58:54 !haskell return(2+2)::IO Int 02:58:57 4 02:59:10 > StateT {} `seq` "test" 02:59:10 "*Exception: :3:0-8: Missing field in record construction Cont... 02:59:17 oops hm 02:59:20 > (StateT) {} `seq` "test" 02:59:21 : Empty record update 02:59:41 oerjan: StateT is a newtype. 02:59:43 > const "test" $ StateT {} 02:59:43 "test" 02:59:54 -!- Sgeo has quit (Ping timeout: 240 seconds). 03:00:02 !help 03:00:02 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 03:00:02 !haskell runST (return 5) 03:00:20 Some error reporting you've got there, EgoBot. 03:00:29 !haskell import Control.Monad.ST; print (runST (return 5)) 03:00:38 -!- Klisz has joined. 03:00:42 02:59 DCC CHAT from EgoBot [64.62.173.65 port 10079] 03:00:50 hi Klisz 03:00:54 blah blah esolangs http://esolangs.org/wiki/ 03:00:59 it looks like ghc doesn't consider newtypes strict for that compile time error 03:01:04 elliott: Do you just welcome everybody? 03:01:09 shachaf: Totally. 03:01:14 Hello elliott. 03:01:17 ...Who isn't me? 03:01:21 -!- Sgeo has joined. 03:01:23 shachaf: I don't like you! 03:01:44 There is a distinctly non-zero possibility I know Klisz IRL. 03:01:44 elliott: It's psychologically impossible to dislike me. 03:02:04 !haskell data Test = Test {strict :: !Int }; main = print $ const "test" $ Test {} 03:02:13 (hello, other person from Colorado!) 03:02:14 pikhq: Are you Klisz? 03:02:14 pikhq: I believe you don't. I was known as Darth Cliche until earlier today when I changed my name. 03:02:18 !haskell import Control.Monad.ST; main = print (runST (return 5)) 03:02:19 elliott: No. 03:02:21 yeah that gave an error in DCC 03:02:23 5 03:02:26 elliott: We merely happen to be in the same state. 03:02:29 !haskell import Control.Monad.ST; main = print (id runST (return 5)) 03:02:36 Klisz: Ah. Yeah, you're up in Boulder, aren't you? 03:02:36 !haskell import Control.Monad.ST; main = print ((id runST) (return 5)) 03:02:41 5 03:02:41 shachaf: Oh, EgoBot's !haskell does -O2. 03:02:42 shachaf: That's why it's so slow. 03:02:54 pikhq: Yes, visiting family for Thanksgiving; I normally live in Cheyenne, WY, though 03:03:09 being one of four or five people in that state 03:03:48 pikhq: When are you moving to CA? 03:03:51 pikhq: It's not actually runhaskell. <-- um iirc the second wrapper tried is runhaskell 03:03:52 Klisz: When are you moving to CA? 03:03:56 oerjan: Yeah, it is. 03:04:05 shachaf: Really tempted to put -fglasgow-exts in this patch of EgoBot's runghc. 03:04:20 Don't do it! 03:04:24 -fglasgow-exts is the devil. 03:04:27 shachaf: If ever, probably sometime after graduating. 03:04:30 shachaf: It's such a good devil! 03:04:33 shachaf: I do not intend to move outside the glorious Rocky Mountains 03:06:01 Some error reporting you've got there, EgoBot. <-- everything above one line is sent as DCC CHAT 03:06:18 oerjan: Don't you need to open a port for those? 03:06:26 @tell Gregor Replace HackEgo's runghc with http://sprunge.us/AYIK, thx (avoids really expensive optimisation, useless temporary file) 03:06:26 Consider it noted. 03:06:36 shachaf: works for me without port-forwarding 03:06:59 I don't want to (a) figure out how to tell irssi to accept DCC CHAT (b) accept DCC CHAT. 03:07:13 elliott: You use IPv8 or something, don't you? 03:07:14 -!- SgeoN1 has quit (Read error: Connection reset by peer). 03:07:26 -!- SgeoN1 has joined. 03:07:33 shachaf: IPv20 03:07:56 shachaf: /dcc chat, btw. 03:08:15 oerjan: Don't you need to open a port for those? <-- well yes, i've set irssi to accept from EgoBot automatically. 03:08:32 elliott: Did you know you get public-facing IP addresses at MIT when you connect to the free WiFi? 03:08:37 Probably because they have way too many of them. 03:08:53 dcc_autochat_masks = EgoBot 03:08:59 No one deserves that many IPv4 addresses. 03:09:01 shachaf: MIT own an /8. 03:09:11 It's "LEGACY", though, so I guess they don't actually use it. 03:09:33 * shachaf wonders if this is the sort of channel where people get angry at you if you say "Class A". 03:09:49 * oerjan hits shachaf with the saucepan ===\__/ 03:09:54 People get angry at people saying that? 03:10:05 DON'T USE FUCKING BAD WORDS LIKE THAT 03:10:05 shachaf: I wish Ilari was here to see us talking about IP. 03:10:09 Let's try it out in #-blah. 03:10:14 He will be missed. 03:10:19 Maybe he ran out of IPv6 addresses. 03:11:09 Who is Ilari? 03:11:38 He's a guy who used to come in here. Mostly he reported IPv4 exhaustion with nearly robotic precission and formatting. 03:11:40 It was great fun. 03:11:56 also, nutritional science 03:12:01 Also IPv6 deletion, but that's like saying he reported on oceans and also his tap which keeps dripping. 03:12:14 elliott: I was wrong. 03:12:23 Are you ever not? 03:12:35 * elliott doesn't actually think shachaf is always wrong. 03:12:40 Yeah, Ilari was pretty great. 03:12:41 * shachaf is always wrong. 03:21:42 -!- pikhq has quit (Ping timeout: 244 seconds). 03:21:44 -!- pikhq_ has joined. 03:27:04 -!- pikhq_ has quit (Ping timeout: 253 seconds). 03:27:09 -!- pikhq has joined. 03:28:03 elliott, is there another hacker or something? I took a mission, the file server was empty, I replidd and got paid 03:28:50 SgeoN1: Did you /read/ the opening text? 03:28:52 It's not like the Uplink server and job board exists solely for your personal benefit. 03:29:23 SgeoN1: Just believe the game will be as detailed and realistic to its premise as possible, and you'll do well. 03:30:07 Uplink Internal Services never gets a subpoena? 03:30:29 Hmm, actually 03:30:34 That doesn't make sense 03:30:54 But... the authorities never conclude that something weird is going on with InterNIC 03:31:09 Sgeo: Did you read the very opening text? It's encryption shit, man. 03:31:15 And there's nothing weird about InterNIC, it just gets routed through. 03:31:34 Sgeo: Anyway, /to its premise/, i.e. Hollywood hacking. 03:32:03 Sgeo: Just pretend it's Tor if you have to. 03:35:56 Sgeo: Besides, the authorities _can_ track you down. 03:36:06 Uplink just trashes your machine and disconnects you. 03:36:50 From my understanding, the Feds actually go inside the building where the machine is stored 03:37:16 They don't ever come to the conclusion that Uplink... hmm, actually this sounds a bit like the argument over copyright and user-uploaded content 03:37:20 So, hmm 03:37:44 Sgeo: What's to say the FBI isn't after Uplink's ass, but they just distribute their servers throughout multiple continents through various proxy accounts blah blah blah? 03:38:02 I mean, this may surprise you, but people actually conduct illegitimate activities over the internet. On a wide scale, even! 03:42:54 oerjan: Jerzy Karczmarczuk sure is annoying 03:42:58 oerjan: (you've got me reading haskell-cafe!) 03:47:18 clCreateProgramWithBinary ctx devs bins = wrapPError $ \perr -> do withArray 03:47:18 devs $ \pdevs -> do withArray lbins $ \plbins -> do buffs <- forM bins $ \bs -> 03:47:18 do buff <- mallocArray (length bs) :: IO (Ptr Word8) pokeArray buff bs return 03:47:18 buff 03:47:18 ret <- withArray buffs $ \(pbuffs :: Ptr (Ptr Word8)) -> do 03:47:19 allocaArray ndevs $ \(perrs :: Ptr CLint) -> do 03:47:21 WHY WOULD YOU COMMIT THIS 03:48:05 elliott: on a... /wide scale/ 03:48:09 a scary thought. 03:48:18 Kind of like your mom! 03:48:19 HAHAHAHA 03:49:24 I actually refrained this time... 03:50:02 It is best described as a simulator of the cinematic depiction of computer hacking. 03:50:06 wow shitty idea. 03:52:23 kallisti: no it's 03:52:25 a really good game 03:54:11 kallisti: 03:54:12 http://www.atpm.com/9.07/images/uplink-stocks.gif 03:54:13 http://wizzywizzyweb.gmgcdn.com/media/products/uplink/screenshots/large-2-640x350.jpg 03:54:14 http://www.introversion.co.uk/uplink/screenshots/uplink3.jpg 03:54:16 http://www.introversion.co.uk/uplink/screenshots/uplink4.gif 03:54:16 http://images.wikia.com/tig/images/7/72/Uplink1.jpg 03:54:18 http://www.playdar.co.uk/media/uplink.png 03:54:19 http://img510.imageshack.us/img510/1287/uplink2010122716504046.png 03:54:21 http://images.bit-tech.net/content_images/2007/04/Linux_has_game/uplink3.jpg 03:54:24 SO GOOD. 03:55:08 you hack 03:55:10 the stock market? 03:55:25 no that's a separate thing. 03:55:29 -!- Sgeo has quit (Ping timeout: 240 seconds). 03:55:44 kallisti: you can connect to the stock market computer and stock market. 03:55:56 well i'm sure you can hack it 03:56:01 there are only like two machines in the game you can't hack i think 03:56:39 well it probably has the best hacking system of any game 03:56:44 actually wait I take that back: Shadowrun does 03:56:50 but Shadowrun isn't a computer game. 03:57:02 kallisti: no it's literally so good 03:57:21 -!- Sgeo has joined. 03:57:30 kallisti: http://humblebundle.com/ buy it for a few dollars, play classic game, thank me, kthx 03:57:51 I am starting to think it's just XChat that is choking 03:58:05 * Sgeo types in man ping 03:58:08 Weird thought 03:58:30 man pong is a weirder thought 03:58:46 kallisti: also you get darwinia?? which got like insanely good critical acclaim i think 03:58:58 yes I buy and play all the arthouse games. 03:59:05 (I actually don't) 03:59:21 kallisti: it's RTSy! you like RTS! 03:59:37 http://www.youtube.com/watch?v=17H8vc5Askw 03:59:40 look. it's pretty! 04:00:11 Nothing bad will happen from me leaving a continuous ping on, will it? 04:00:56 Sgeo: you will be arrest by cyber police 04:00:56 hm interesting 04:01:04 elliott: but it also has multiple minigames and stuff 04:01:05 Unlisted 04:01:07 iiiinteresting 04:02:32 kallisti: what does 04:03:07 Sgeo: what 04:03:13 kallisti: wat 04:03:18 The video is unlisted on YouTube 04:03:21 Sgeo: so? 04:03:39 * Sgeo shrugs 04:03:56 elliott: darwinia 04:03:57 based on 04:04:00 utub 04:04:16 er 04:04:17 wikipedia 04:04:19 not utub 04:04:41 this is kind of sort of how Shadowrun's virtual reality works. 04:05:21 everything takes a physical manifestation in a virtual world. programs, people connected to it, etc. 04:05:39 and then you can run programs as offensive/defensive/support/hacking actions 04:05:43 -!- elliott has quit (Read error: Connection reset by peer). 04:06:04 -!- elliott has joined. 04:06:20 Lagging put 04:06:25 also you can be creative in depicting it. each network node could have a specific theme for instance 04:06:34 kallisti: dunno what you mean about minigames *shrugs* 04:06:53 * elliott hasn't actually played Darwinia but has intended to since like 2006. 04:06:56 attack program could be like a big sword and sentry program could be like a dragon or something. 04:06:57 Maybe I actually will now that I have it. 04:07:08 kallisti: Anyway yeah seriously get this Bundle, Introversion are amazing. 04:07:11 But ping -i 1 -f 8.8.8.8 says I only dropped one packet 04:07:12 -!- kmc has quit (Quit: Leaving). 04:07:27 oh the mini-games are to familiarized you with the controls 04:07:31 in the intro of the game 04:08:14 Once connected, irc clients don't usually use the domain name, right? That's supid? 04:08:30 SgeoN1: what 04:08:33 what do they need the domain name for? 04:08:40 No idea 04:08:56 I mean other than to connect 04:08:57 obviously 04:09:00 I'm suspecting that it's XChat that's broken 04:09:08 SgeoN1: try another client for a bit? 04:09:29 -!- Sgeo has quit (Ping timeout: 240 seconds). 04:09:30 kallisti: HAVE YOU BOUGHT IT YET 04:09:38 no how much is the bundle thing 04:09:42 -!- Jafet has joined. 04:09:47 kallisti: it's a humble bundle, dude 04:09:50 the whole idea is that you pay whatever 04:10:04 kallisti: although over 3.80 gets you two games from previous bundles 04:10:16 elliott: Should I buy it? 04:10:24 Right now, only Freenode is lagging for me. All the other networks I'm on, I disconnected then recinnected 04:10:32 shachaf: Have you played any Introversion games? If not, then yes. 04:10:34 If yes, then probably. 04:10:35 elliott: do all of their games like linux? 04:10:48 kallisti: allow me to quote from the very top of the page 04:10:48 Cross-platform. The games featured on the shelf 04:10:48 work natively on Linux, Mac OS X, 04:10:48 and Windows. 04:11:02 :> 04:11:02 elliott: I played Aquaria once. 04:11:12 kallisti: Also it gives you Steam keys?? I gather people like Steam although I have no idea why. 04:11:12 -!- Klisz has quit (Quit: You are now graced with my absence.). 04:11:18 shachaf: Introversion didn't make Aquaria. 04:11:36 elliott: IT'S IN THE BUNDLE, OK? 04:11:48 It's the thought that counts? 04:11:54 -!- Sgeo has joined. 04:12:03 Let's see if this does anything 04:12:07 Still XChat, but restarted. 04:12:29 1.6sec lag 04:13:03 elliott: I'll buy the bundle 04:13:03 but 04:13:10 only if you buy starcraft 2 :> 04:13:14 loooool 04:13:25 kallisti: How much is it. 04:13:27 I'm sure it's only like $40 now. 04:13:30 may still be $50! 04:13:40 Bundle costs >0 04:13:41 elliott: Don't do it! 04:13:42 kallisti: Can I just... pirate it? (To answer your next question, no you can't.) 04:13:46 That's pretty much it. 04:13:47 Isn't Starcraft all about micromanagement? 04:14:01 shachaf: Thanks to Deewiant, I now know there is both MICRO and MACRO! 04:14:05 They actually call it that. 04:14:08 Micro and macro. 04:14:11 yep 04:14:12 EPIC MICROZ SKILLZ DUDE 04:14:16 yep 04:14:35 elliott: well 04:14:36 elliott: You should play Command & Conquer: Red Alert instead. 04:14:40 you need a key to actually play it online 04:14:45 If you're looking for an RTS to play. 04:15:03 no starcraft 04:15:06 is definitely better 04:15:08 than that shit 04:15:13 shachaf: Too many people like Red Alert for me to consider playing it. 04:15:16 (has never played that shit; unbiased) 04:15:16 * elliott logic. 04:15:22 elliott: Which version? 04:15:27 There are versions? 04:15:34 Yes, there's 2 and 3. 04:15:45 kallisti: Ooh, there's a COLLECTORS EDITION. It's 72 fucking pounds. 04:16:00 elliott: dude the humans have bipedal war machines that can TRANSFORM INTO SPACEFIGHTERS 04:16:11 think about that. 04:16:23 elliott: Red Alert 3 is $10 on your favourite game distribution platform, the Steam! 04:16:55 The Steam(tm). 04:16:56 elliott: yes it's $50 still 04:17:09 which is insane. 04:17:12 elliott: The S™. 04:17:25 but it's understandable because it's 04:17:25 so 04:17:26 good 04:17:59 Starcraft II: Heaven's Devils [Book] 04:17:59 by William C. Dietz - Simon & Schuster (2010.04.06) - hardback - 336 pages 04:17:59 For the poor, hardworking citizens of the Confederacy’s fringe worlds, the Guild Wars have exacted a huge toll. Swayed by the promise of financial ... 04:18:00 elliott: If you get the Red Alert I'll get Humble Bundle. 04:18:18 shachaf: I don't actually profit from Humble Bundle sales. 04:18:28 That might work for the Humble AII Bundle. 04:18:52 kallisti: http://www.thegamecollection.net/starcraft-ii-wings-of-liberty-pc-p-3243.html?ad=frooogle 04:18:55 kallisti: 42 dollars! 04:19:32 elliott: I am aware. 04:19:38 "in many ways, StarCraft II: Wings of Liberty feels like StarCraft 2.0 – and that’s a good thing" 04:19:43 like people love StarCraft so much 04:19:48 elliott: But you profit (in utility) from my happiness. 04:19:53 that they basically don't mind that Starcraft 2 is much starcraft but with more things. 04:19:59 *pretty much 04:20:17 shachaf: Fuck utilons, maan. 04:20:46 kallisti: What if I buy just StarCraft? Shit's gotta be cheap now. 04:20:54 elliott's utility function = fix (1/) 04:21:07 The Terran race will feature three new units: the Shredder, the Battle Hellion, and the Warhound. The Protoss will also feature three new units: the Replicant, the Oracle, and the Tempest. The Zerg will only receive two new units: the Viper, and the Swarm Host. The Protoss Mothership and Carrier will be removed from the game 04:21:12 wait they.... 04:21:13 removed carriers? 04:21:15 they 04:21:24 what 04:21:24 why 04:21:26 wetiuwrhiusdhfiuwhetiuwher 04:21:27 kallisti: Does Starcraft II even have a story mode? 04:21:29 yes 04:21:31 Do people even play story modes any more. 04:21:34 sure. 04:22:45 elliott: you could play starcraft if you wanted 04:22:48 but don't play it online 04:22:53 because you will be smitten by Korean gods. 04:23:24 kallisti: Do Korean gods not play Starcraft II? 04:23:36 Also: What's so crafty about it? 04:23:38 There's no way to tell skill levels before playing? 04:23:46 yes but the new ladder system only matches you with people in the same tier. 04:23:59 whereas in starcraft anyone can join any public game. 04:24:47 elliott: u gottab be clevre 04:25:02 dats eh craeft 04:26:28 Sgeo: ? 04:26:48 kallisti: Do they still do StarCraft tournaments, or is that too retro now. 04:26:56 I think they do yes. 04:27:13 kallisti: Buy the Bundle. 04:27:28 http://video.google.com/videoplay?docid=-6648934043675888354 04:27:31 this was six years ago 04:27:33 but you can see 04:27:41 that people actually watch people play this game in Korea 04:28:03 I know. 04:28:06 Well, it's better than football. 04:28:23 also the video quality is shit 04:28:37 Why not watch people playing a variety of games? 04:28:47 because starcraft 04:29:20 I think Shattered Galaxy has a similar interface. No idea about Starcrafts gameplay in comparison 04:30:27 elliott: in the original starcraft terran was always the dominate race in tournaments 04:30:30 well, it became that way 04:31:01 But all I know about Koreans is "kekekekekeke zerg rush". 04:31:07 Has the internet... LIED to me? 04:32:32 http://www.youtube.com/watch?v=l29Hyrx2MXw 04:32:51 Boxer is the most well-known terran starcraft player 04:33:00 here he's playing sc2 04:33:59 ... 04:38:14 spoiler 04:38:18 Boxer pwns 04:41:33 hi PiRSquared17 04:41:39 hi 04:41:48 PiRSquared17: was the channel ever on-topic last time you were here 04:41:49 * PiRSquared17 didn't leave 04:42:00 oh we say hi to people a lot. 04:42:01 nowadays. 04:42:02 in the future. 04:42:07 elliott: a little more, but not much more 04:42:12 elliott: actually wait no boxer loses probably. :( 04:46:19 kallisti: i feel like i'm staring into another universe when i watch these things 04:48:12 elliott: the second game is a bit more interesting so far 04:48:14 one second you were talking about IPv6 etc, then Haskell (more on-topic), then a bunch of "what?"s, then some computer game 04:48:31 and stereotyping Koreans 04:48:43 what? Koreans are gods at starcraft 04:48:45 not a stereotype 04:48:48 PiRSquared17: "what?" -> introversion software's games, primarily uplink -> starcraft 04:49:22 kallisti: But all I know about Koreans is "kekekekekeke zerg rush". 04:50:06 PiRSquared17: It was a direct quote, not an invocation! Also by "all I know about Koreans" I meant "all I have heard about Koreans who play Starcraft". 04:50:20 oh, ok 04:51:29 Esolang talk usually occurs when http://esoteric.voxelperfect.net/wiki/Special:Recentchanges is filled up with something other than spam. :p 04:52:18 kallisti: Have 300 thousand people really watched this? 04:52:26 elliott: ask utub 04:52:35 I like boxer's old school strategies... 04:54:13 http://esoteric.voxelperfect.net/wiki/User:MichaelCarrillo670 04:54:21 elliott: Thanks to you, it's 300,001. 04:54:26 delete, block 04:54:27 ooh is there another good spam page 04:54:28 ? 04:54:42 PiRSquared17: none of the wiki admins are online right now 04:54:59 PiRSquared17: but going based on http://esoteric.voxelperfect.net/wiki/Special:Recentchanges i'm pretty sure they know how to delete spam pages :P 04:59:39 `welcome pirsquared17 04:59:52 `thank monqy 05:00:24 elliott: yeah game 2 was much better 05:00:26 * kallisti watches game 3 05:02:12 `summon HackEgo 05:02:29 sleeeeeeeeeeeeeeeeeeeeeeeep 05:02:45 quintopia: no 05:02:54 sleep is for zombies 05:02:59 slep? 05:03:22 slep is good but 05:03:24 hard to come by 05:03:38 hlep slep? 05:04:07 impossible 05:04:12 i had nap today 05:04:16 but im still tired 05:04:23 i had a nap dream it was really confusing 05:04:34 i can't make enough sense of it to say anything interesting :( 05:04:39 but it was a very interesting nap dream! 05:05:08 neat 05:05:21 i will nap now and see if there is interesting dream 05:05:26 bye quintopia 05:05:30 enjoy slepping 05:12:26 Bye! 05:12:56 -!- PiRSquared17 has left. 05:15:53 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:17:06 -!- Sgeo has joined. 05:17:16 ONE PACKET 05:17:26 or, well, ONE PING 05:17:34 I LOSE ONE PING AND XCHAT GOES HEYWIRE 05:20:41 I am now given to wondering if my network card is loose 05:22:17 elliott: what sucks is that I know who wins game 4 05:22:29 because it's best of 5, and there's no 5th game, and Jinro is in the lead 2 to 1..... 05:22:33 stupid math 05:23:53 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:24:16 kallisti: should have put a fake fifth game video up :P 05:26:20 This is what happens when you take the power away from the broadcasting companies. 05:27:01 -!- Sgeo has joined. 05:27:06 :D 05:33:29 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:36:46 -!- Sgeo has joined. 05:40:37 -!- copumpkin has changed nick to OracleOfDelphi. 05:42:46 -!- MDude has changed nick to MSleep. 05:43:18 -!- OracleOfDelphi has changed nick to copumpkin. 05:51:29 -!- Sgeo has quit (Ping timeout: 240 seconds). 05:54:41 -!- Sgeo has joined. 05:55:00 elliott: oh dude boxer won 05:55:03 WHERE'S GAME 5???? 05:55:39 oh here 05:55:46 it's in Game 4 part 3 for some reason? 05:56:51 lol 05:57:04 nice twist 05:58:59 this has been pretty entertaining to watch 05:59:14 actually boxer was at a disadvantage 05:59:21 but has his leet skillz 06:05:10 but sweet, now I know why I haven't found any boxer vidz; because his name is manofoneway 06:07:46 -!- Klisz has joined. 06:12:18 -!- Zuu has quit (Ping timeout: 244 seconds). 06:45:53 -!- Sgeo has quit (Ping timeout: 240 seconds). 06:46:41 -!- Sgeo has joined. 06:50:46 -!- Sgeo has quit (Client Quit). 06:54:24 * oerjan is bored and tries a new wikipedia game 06:54:59 instead of clicking on the _first_ substantial link in the introduction (tends to end up in a loop with Philosophy), i try the last one 06:56:52 from http://en.wikipedia.org/wiki/Broadcast_Film_Critics_Association_Award_for_Best_Director to LSD in 10 steps 06:57:03 (which then loops) 06:58:07 elliott: http://www.youtube.com/watch?v=4HTrGL_pfO8 06:58:08 watch this 06:58:49 kallisti: not right now :P 06:59:31 it does not seem to go to more general subjects in the same way as the first link game. Gerald P. Ryan loops in 6 steps without leaving Australian sport 06:59:55 elliott: no right now you must 06:59:59 (only the last two loop) 07:00:01 * elliott crai 07:00:36 oerjan: this interests me btw i just have nothing to say 07:00:47 -!- GreaseMonkey has quit (Quit: The Other Game). 07:00:48 actually not even leaving football 07:03:11 elliott: so there is no chance but sc2 is not a perfect information game. 07:03:14 due to fog of war. 07:03:18 this one seemed more interesting; from Ascitans through other christian subjects but then on to folklore and television 07:03:26 *seems, not finished yet 07:03:29 kallisti: more like fog of lame 07:03:41 elliott: ...the game would be much more boring without fog of war. 07:04:00 sure. you mean more cool 07:04:28 "oh look my enemy dropped this building I should counter with this." "oh he made these units I'll counter with these" 07:04:28 then on to radio and frequency subjects 07:05:11 suddenly to telemetry and SMS 07:05:44 oh, United States 07:06:03 http://kevan.org/catfishing.php 07:06:39 global military spending, stockholm international peace research institute 07:07:24 open source, biotechnology, life sciences :P 07:07:45 this is almost like clicking random itself, but with less lousy hits 07:08:47 zoology, ancient greek, renaissance 07:09:12 -!- monqy has quit (Quit: hello). 07:09:52 Jafet: this is very difficult 07:09:53 subpages of that, then obscurantism 07:10:21 @src (<*>) [] 07:10:21 Source not found. Just try something else. 07:10:23 @src [] (<*>) 07:10:24 (<*>) = ap 07:10:29 look of disapproval 07:10:30 friedrich nietsche - somehow we're getting closer to philosophy anyhow :P 07:10:38 *nietzsche 07:10:41 > ap [f,g,h] [a,b,c] 07:10:42 Ambiguous type variable `b' in the constraints: 07:10:42 `GHC.Show.Show b' 07:10:42 a... 07:10:45 > ap [f,g,h] [a,b,c] :: [Expr] 07:10:46 [f a,f b,f c,g a,g b,g c,h a,h b,h c] 07:10:51 ah yes. 07:11:28 tertiary syphilis 07:12:18 men who have sex with men, social research 07:12:47 market research, European Society for Opinion and Marketing Research 07:13:45 oerjan: wow, it's actually titled "men who have sex with men" 07:13:48 i thought you were being cutsey 07:14:06 ethical code, ethics, descriptive ethics, meta-ethics, normative ethics, john rawls, democracy 07:14:12 nope i wasn't :P 07:14:31 About 2% of the US population (about 4% of American men) are classified as men who have sex with men.[10] 07:14:41 i guess they included the non-male statistic for all those non-male men who have sex with men 07:15:38 SgeoN1: the cause of freenode lagging with xchat is because i am on freenode using xchat 07:16:04 republic, republics of the soviet union, dissolution of the soviet union, union state, belarus 07:16:15 this is quite wild :P 07:16:48 it would be typical that the client and server ( :P ) combination i choose to use is the one which lags 07:16:53 elliott: Gender can get confusing in confusing circumstances. 07:17:04 "male" is FAIRLY unambiguous :P 07:17:24 commonwealth of independent states, single market, customs union, trade pact, trade 07:17:28 Indeed. "Man", however, is not. :P 07:18:18 financial market, brownian model of financial markets, jump diffusion, valuation of options 07:18:34 oerjan should make a script to do this already. 07:18:37 oerjan: last substantial link as in in the body of the document? does that include lists of related topics or above that? 07:18:44 i'm _still_ on the one starting with the Ascitan sect 07:18:54 oh.. what am i saying.. i can just follow your trail 07:18:57 itidus22: no, as in the introduction section 07:19:01 since itde deterministic 07:19:20 Well, the topology is slightly time-varying 07:19:27 lol 07:19:39 Unless oerjan gives revision numbers 07:19:42 -!- Klisz has quit (Quit: You are now graced with my absence.). 07:19:48 wow 07:19:53 yeah.. 07:20:18 option (finance), investment banking, Financial Industry Regulatory Authority, financial regulation 07:21:33 government, regime, politics, policy, policy studies, public administration 07:22:18 and then finally it returns to ethics. 07:23:09 ok so in the presence of a contents section it is the first signifigant link before the contents, and in its absence it is the last link of the first paragraph 07:23:18 ^last 07:23:23 blah. 07:23:32 30 steps in the ethics loop 07:24:30 ok not first paragraph 07:24:34 first intuitive section 07:25:01 and 37 steps from the Ascitans to ethics 07:25:14 oerjan: i wish you could easily index structures keyed on functions, so we could just build a "give us a function (Article -> Link) and we'll let you compute shortest paths and shit" :P 07:25:30 thus completely removing the human element and fun in place of efficiency! 07:25:36 yay! 07:25:43 Just download the dumps 07:25:58 hmm 07:26:03 Jafet: it's still pretty computationally intensive to compute things like shortest path... 07:26:05 I believe they're still only in the low GBs 07:26:53 It's actually quite surprising that people haven't found better ways to compute shortest paths 07:26:54 * oerjan tries another one 07:27:40 Dijkstra's is something like O(v e log v) 07:28:08 Mohler, Robert Mohler, Dharma & Greg, Golden Globe Award for Best Actress – Television Series Musical or Comedy 07:28:37 Jafet: http://dumps.wikimedia.org/enwiki/20111007/ 07:28:46 too varying sizes to mentally estimate a size 07:28:53 but probably < 20 gigs 07:29:08 Jafet: but it's apparently ~150 gigs uncompressed 07:29:22 Hollywood Foreign Press Association, Los Angeles, Mediterranean climate, Chile 07:29:56 Paul Erdos, probability theory, quantum mechanics, quantum gravity(debatable), orders of magnitude (mass), kilogram, planck constant, pi, ludolph van ceulen, leiden university 07:31:16 Union of South American Nations, Ecuador, Human Development Index, Human development (humanity), Capability approach, Consumer choice 07:31:40 League of European Research Universities, europe, History of the Soviet Union (19821991), Perestroika, cold war, Dissolution of the Soviet Union, union state 07:31:56 itidus22: that merges with my previous one 07:32:00 ... some of these i get nervous about whether i am choosing correctly but so far so good 07:32:05 from the dissolution 07:32:21 holy crap 07:33:09 I wonder what distribution is followed by these "last links". 07:33:15 anal sex, butt plug, anal cancer, buttocks, feces, anallingus 07:33:44 we seem to have found a vergence in the wiki 07:33:44 If you know the distribution, you can calculate the expected path length, etc. 07:33:45 Hypothesis, Counterfactual conditional, Indicative conditional, Material conditional, Reductio ad absurdum 07:34:05 pegging, fingering, Judaism, ethnoreligious group, Anti-Discrimination Act 1997 07:34:12 =)) 07:35:11 MC Hammer, Doug E. Fresh, microphone, piezoelectric, propane barbecues, regional variations of barbecue, western united states, tennessee, tennessee aquarium, cambridge seven associates, interior design 07:35:14 amazing 07:35:19 oerjan: what do you do if there's no links in the intro 07:35:46 elliott: i've not seen that yet, although i have seen a couple with just one 07:36:00 oerjan: WHAT DO I DO!! 07:36:01 do i give up 07:36:07 i suppose :/ 07:36:10 How could you turn this into a multi-player game? 07:36:21 hmm 07:36:29 Jafet: you have to meet the other person? 07:36:31 and you play in teams 07:36:36 trying to link the whole team up on the same trail 07:36:57 Anselm of Canterbury, Pope Clement XI, Pope, Assumption of Mary, Juan de Salazar de Espinosa, Álvar Núñez Cabeza de Vaca 07:37:15 transgender, pansexual, LGBT, questioning, Bi-curious, three-way, love triangle, murder, suicide, samurai, pre-industrial society, family economy, peasants, yeoman, Elizabethan era, Britannia. 07:37:28 god blses britannia 07:37:52 kallisti: i like how it goes "three-way, love triangle, murder" 07:38:00 brainfuck, proper noun, Article (grammar), Zero-marking in English, function word, --lost 07:38:02 I was thinking more along the lines of "Mornington Crescent". 07:38:03 -!- SgeoN1 has quit (Read error: Connection reset by peer). 07:38:04 Indigenous peoples of the Americas, Uncontacted peoples, Infectious disease 07:38:20 oerjan: can you identify the link on this page? http://en.wikipedia.org/wiki/Function_word 07:38:23 well obvious if you get to Mornington Crescent, you win 07:38:54 itidus22: http://en.wikipedia.org/wiki/Pro-sentence 07:38:56 Mornington Crescent (game), London Underground, London Overground, Watford DC Line, alternating current, modulation, modem, phase shift keying, demodulator, modulation 07:39:04 ok cool makes sense to me 07:39:37 WhatLinksHere/Mornington_Crescent 07:39:43 Friendship, reciprocity, and... uhh 07:39:45 oerjan: http://en.wikipedia.org/wiki/Reciprocity_(social_psychology) help 07:39:51 -!- Ngevd has joined. 07:40:27 elliott: http://en.wikipedia.org/wiki/Influence:_Science_and_Practice 07:40:36 Hrm, only three Main pages link to Mornington_Crescent. 07:40:51 No wonder that game was hard to win. 07:40:55 oerjan: hmm, bored of this chain now :( 07:41:01 Jafet: heh 07:41:03 time to go totally stupid! 07:41:16 sex, sexual dimorphism, behavior, involuntary, 07:41:23 oerjan: what do i do about disambigs, go to the last link? 07:41:31 the last disambig link, not last see also or w/e 07:41:50 Hello! 07:42:04 elliott: well i think i've pretty consistently stopped before the second section line 07:42:13 sex, sexual dimorphism, behavior, involuntary, involuntary commitment, deinstitutionalisation, community mental health act, homelessness, domestic violence, abuse 07:42:19 WOW sex is serious stuff! 07:42:32 Kids, don't do sex. 07:42:35 hi Ngevd we're playing a new wikipedia game 07:42:53 , aggression, assertiveness, self-esteem, amour-propre, Fall of Man 07:42:56 sex -> fall of man 07:43:12 Has elliott had any sleep? 07:43:41 , nostalgia, Old South, history of the united states (1789–1849), second great awakening, jesus christ (yes i win!!), Bahá'í Faith, Bahá%27í_symbols#The_Greatest_Name 07:43:44 oerjan: what do i do for section links 07:43:45 last link in section? 07:43:56 elliott: i've just gone to the article beginning 07:44:02 meh, i prefer last in section 07:44:12 , manifestation of god, progressive revalation (Bahá'í), manifestation of god 07:44:17 sex is all about bahá'í 07:44:21 Synonym, Thesaurus, Historical Thesaurus of the Oxford English Dictionary, Roget's Thesaurus 07:44:24 and homelessness. and domestic violence. and abuse. 07:44:31 sex: just say no. 07:44:35 Ngevd: not to my knowledge 07:44:47 Okay, elliott, go to sleep 07:44:54 I will meanwhile have a shower 07:45:09 =)) 07:45:27 wikipedia, Encyclopædia Britannica, british spelling, american and british english differences, english language#geographical distribution, indian english, english medium education, david graddol, university of york, green belt (uk), duncan sandys 07:45:30 winston churchill 07:45:35 elliott: you know you want to stop doing this and watch the most legendary starcraft player sc2. 07:45:39 100 greatest britons 07:45:42 the beatles 07:45:49 Time 100: The Most Important People of the Century 07:45:53 albert einstein 07:45:55 genius 07:45:58 mastery 07:46:02 basic skills 07:46:06 constance kamii 07:46:11 Categories (Aristotle), Apprehension (understanding), Space, Tests of general relativity 07:46:18 birmingham, alabama 07:46:23 southeastern conference 07:46:26 michael slive 07:46:29 academic year 07:46:46 positive correlation 07:46:49 robust statistics 07:46:50 Tests of special relativity, and back to the previous one. 07:46:52 esimator 07:46:55 robust statistics 07:47:01 esimator, robust statistics, esimator, robust statistics, esimator, robust statistics, esimator, robust statistics, esimator, robust statistics, ... 07:47:12 Very robust. 07:47:18 vee haf loops 07:47:49 i believe kallisti stopped at britannia 07:48:45 rjan (given name) is left as an exercize to the reader 07:49:09 Britannia, Kingdom of Scotland, Capital city, County seat, List of boroughs and census areas in Alaska 07:49:41 oerjan: yes I went from anal sex to Brittania 07:51:03 United States Census Bureau, President of the United States, Inauguration of Barack Obama, National Mall, Washington Monument 07:52:55 2011 Virginia earthquake, Canada, Standard of living, South Korea, East Asia Summit, Kuala Lumpur 07:54:14 -!- calamari has quit (Quit: Leaving). 07:54:56 the dark side, DarkSide (collaboration), Laboratori Nazionali del Gran Sasso, ILIAS, MySQL, Twitter, new york city, rockefeller university, The Journal of General Physiology, molecule, glass, studio glass, glassblowing, (loop to) glass 07:55:16 Petronas Towers, Kuala Lumpur Tower, and loop back to the previous one. 07:55:45 kallisti: conclusion, anal sex can get you to some tall places 07:57:47 ocd'ing on elliott's unfinished one: Influence: Science and Practice, Regulatory compliance, whoops no link. 07:58:21 lol 07:58:56 no link? 07:59:18 -!- Jafet has quit (Quit: Leaving.). 07:59:21 ahhh 07:59:22 well, i _could_ take the disambiguation one i guess, but that doesn't count in the usual first link game... 07:59:29 ahhh cool 07:59:33 so no link means no link 08:00:09 itidus22: indeed 08:01:14 so does this one lead to ECA? http://en.wikipedia.org/wiki/2006_in_video_gaming 08:02:01 Örjan (given name), Baptism, ignore internal link, Believer's baptism, back to Baptism via section link 08:02:41 oerjan: theres basiclaly no escaping baptism however you try it 08:03:07 itidus22: bah i guess ECA is it, not a well formatted article for this 08:03:18 hmm ok lets ignore the eca 08:03:44 minecraft, dwarf fortress, 2006 in video gaming, malformed 08:04:02 um i meant the article which eca was on was not good for this 08:04:12 ya.. it's a doozy 08:04:28 but minecraft leads to dwarf fortress which is cool 08:06:14 i'll try Baptism again with elliott's section linking method 08:06:51 whoops should i take the whole section or just the first subsection 08:06:55 elliott: ^ 08:07:19 oerjan: um what do you mean 08:07:22 you take the section it links to 08:07:23 oh subsection 08:07:26 ignore subsections, I think 08:07:33 you're looking for the "intro" to the section 08:07:38 basically imagine the section was an article itself 08:07:41 that's the article you were linked to 08:07:42 ok 08:08:02 it makes no difference.. you still end up trapped 08:08:06 hahaha 08:08:43 Baptism, Baptism#Other_initiation_ceremonies, Archaeology, Pseudoarchaeology 08:08:43 oh.. unless there is a special section rule.. hm 08:08:47 ahh cool 08:09:00 so thats the section rule 08:10:42 Evolution, Evolutionary psychology, Criticism of evolutionary psychology, darn loops back to evolutionary psychology 08:13:06 -!- Slereah has joined. 08:14:49 -!- Slereah_ has quit (Ping timeout: 258 seconds). 08:17:50 xkcd, leet, Hacker (hobbyist), Altair 8800, Altair BASIC, Microsoft BASIC, Microcomputer, Personal computer, smartphones, Binary Runtime Environment for Wireless, Machine code, Bytecode, Compiler, Parsing, Part of speech, 08:20:20 Haskell (programming language), Curry%E2%80%93Howard_correspondence#Origin.2C_scope.2C_and_consequences, Corecursion, Self-reference, Paradox, Inspection, no link 08:21:20 Where are we allowed to start? 08:22:07 Ngevd: any main namespace wikipedia article you want, including random 08:23:54 oh itidus22 already did brainfuck, no wonder this looked familiar 08:24:37 Stative verb, Dynamic verb, Historical present, Foregrounding, Pragmatics, experience, Recreational drug use, Psychoactive drug, Neuroethics, Justice, Equity (law), Common law, Australia, .. man this is a long one 08:25:44 And what do we have to do? 08:26:40 Ngevd: look at the introduction section, and find the _last_ link there to another wikipedia main space article 08:26:44 Pacific Islands Forum, Northern Mariana Islands, Capital city, County seat, List of boroughs and census areas in Alaska, United States Census Bureau -- and this part has been done before i think 08:26:57 itidus22: yep, from Capital city 08:27:31 xkcd had so much hope when it got to parsing.. but it fell apart 08:27:55 Ngevd: then just see what strange path you follow before looping or there being no link 08:27:56 Goodbye 08:27:57 -!- Ngevd has quit (Quit: Goodbye). 08:29:25 brainfuck, ..., Pro-sentence, Emotion, Armindo Freitas-Magalhães, Forensic science, Synonym and i'm sure i've seen that before. 08:30:50 it ended up looping between Tests of general relativity and Tests of special relativity 08:30:59 @djinn ((x -> b) -> c) -> ((x -> a) -> b) -> ((x -> a) -> c) 08:31:00 f a b c = a (\ d -> b (\ _ -> c d)) 08:31:07 NOT HELPFUL LAMBDABOT 08:31:15 "oerjan> Synonym, Thesaurus, Historical Thesaurus of the Oxford English Dictionary, Roget's Thesaurus" 08:32:48 DMM is let down a bit in this game. 08:34:01 :t \a b c -> a (\x -> b c) 08:34:02 forall t t1 t2 t3. ((t1 -> t2) -> t3) -> (t -> t2) -> t -> t3 08:34:58 elliott: ^ 08:35:28 oerjan: the correct solution is actually \a b c -> a (\d -> b (c . (++ d))) 08:35:52 elliott: that seems somewhat unlikely with that ++ 08:36:02 oerjan: i can assure you it's correct 08:36:16 :t \a b c -> a (\d -> b (c . (++ d))) 08:36:16 forall b m t t1. (Monoid m) => ((m -> t) -> t1) -> ((m -> b) -> t) -> (m -> b) -> t1 08:36:24 caleskell :') 08:37:54 well it doesn't work without x being a list type, then 08:39:01 oerjan: duh. i was simplifying it so djinn gave me the structure 08:39:08 I use x as a placeholder for concrete types usually 08:39:46 i suppose it _should_ be a special case of the type of mine, since (c . (++ d)) always has the same type as c when it types 08:39:51 * elliott wishes his editor had djinn 08:40:01 befunge, Programming language, Reference implementation, Java Platform Enterprise Edition, Application server, Personal computer hardware, Device driver, Interrupt, Interrupt handler, Event (computing), Interactivity, Industrial design, United States, List of countries by military expenditures, Stockholm International Peace Research Institute, 08:40:20 itidus22: United States has been seen before 08:40:27 ah ok thanks 08:41:29 :t showHex 08:41:30 forall a. (Integral a) => a -> String -> String 08:48:47 EgoBot, Whirl, Turning tarpit, Turing tarpit, Turing-complete, Church-Turing thesis, Lambda calculus, (loops back to) Church-Turing thesis 08:50:05 Toto, I don't think we're in Wikipedia anymore 08:50:20 i should give it a rest 08:50:41 -!- oerjan has quit (Quit: Good night). 08:58:49 @unmtl Cont r a 08:58:49 (a -> r) -> r 09:41:01 elliott: hi 09:41:08 elliott: FRP for newtonian physics? 09:41:13 yes? no? 09:41:17 what 09:41:26 so, no. 09:41:29 okay. thanks. :) 09:41:42 no that's 09:41:42 not no 09:41:46 that's 09:41:46 not even no 09:41:47 as in 09:41:49 what the hell are you talking about 09:42:01 I was wondering if FRP worked for a physics engine 09:42:02 for games 09:42:03 such as 09:42:04 aii 09:42:51 yes it turns out that frp is applicable to many game engines? 09:42:59 okay cool 09:43:02 do you want to do that for the physics? 09:43:06 but i doubt it helps much 09:43:07 since 09:43:11 there is exactly one piece of physics driving everything 09:43:20 or animation 09:43:32 only one? I thought there was heat and stuff as well as velocity. 09:43:43 and gravity 09:43:56 ... 09:44:08 i meant one piece of physics code 09:44:19 maybe i'll sleep, i'm starting to get annoyed at way too frequent a rate 09:44:58 elliott: nah just watch starcraft videos 09:45:03 that's what I've been doing. 09:46:21 elliott: so basically gravity is the one piece of complex physics code 09:46:50 with velocity being trivial and player thrusting being trivial as well. 09:46:53 no 09:46:54 the 09:47:00 one piece of physics code is the newtonian physics simulation 09:47:14 which 09:47:18 is going to be a few thousand lines at absolute maximum 09:47:33 and is pretty much a self-contained, pre-specified system 09:47:38 so i don't see how frp would help at all 09:49:47 dunno 09:50:08 I thought that it would perhaps make the code easier to write 09:50:24 rather than being used to couple mulitple components. 09:51:45 like i just said 09:51:47 there is exactly one component 09:52:16 right 09:52:17 that's why 09:52:19 I wasn't suggesting that one 09:52:28 the one involving the multiple components. 09:52:48 it was basically just a guess as I actually don't understand the use case of FRP 10:06:58 -!- augur has joined. 10:12:25 -!- elliott has quit (Ping timeout: 245 seconds). 10:44:18 -!- augur has quit (Ping timeout: 240 seconds). 10:50:19 -!- ais523 has joined. 11:21:18 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 11:30:45 -!- ais523 has quit (Read error: Operation timed out). 11:32:10 -!- ais523 has joined. 11:53:32 -!- derdon has joined. 12:31:12 -!- derdon has quit (Remote host closed the connection). 13:14:02 -!- derrik has joined. 14:05:42 -!- ais523 has quit (Remote host closed the connection). 14:07:57 -!- derrik has quit (Ping timeout: 252 seconds). 14:28:20 -!- Ngevd has joined. 14:28:34 Are you still playing that wikipedia game? 14:30:08 Also, hello! 14:34:53 London, Ontario ends on a loop betweeen Sanskrit and Sanskrit revival 14:35:05 Via Nihilism, Zeitgeist, Dutch Golden Age 14:45:28 -!- derrik has joined. 14:51:06 -!- Phantom_Hoover has joined. 14:52:03 Hello derrik, Phantom_Hoover 14:52:12 fungot? 14:52:12 Ngevd: there! there it is! but by the time we're through with you, you'll be in danger. open hatch. 400 long years. when will it be the reptites, or you silly apes who end up ruling the world? 14:52:14 hi Ngevd 14:52:21 -!- ais523 has joined. 14:52:27 Hello ais523 14:52:28 Great, now my name is associated with derrik's for all time. 14:52:28 Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. 14:52:57 hi Ngevd 14:52:58 Phantom_Hoover: yw 14:53:14 ^style 14:53:14 Available: agora alice c64 ct* darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 14:53:19 ^style ct 14:53:19 Selected style: ct (Chrono Trigger game script) 14:53:31 ^style homestuck 14:53:31 Selected style: homestuck (Homestuck pages 1901-4673) 14:53:32 fungot 14:53:32 Ngevd: have a look. 14:54:10 fungot, demonstrate intelligence 14:54:11 Ngevd: but in a more platonic sense, and with a more specific social purpose. 14:55:26 ^style discworld 14:55:27 Selected style: discworld (a subset of Terry Pratchett's Discworld books) 14:55:49 fungot, what's up? 14:55:50 Ngevd: ' by now,' said ridcully. " you've got one minute." 14:56:03 That's... coherent. 14:56:27 Got a new Pterry today 14:57:08 Vimes dies. 14:57:12 So does Rincewind. 14:57:21 Death goes into a coma. 14:57:22 Cohen? 14:57:35 He becomes a zombie. 14:57:42 Wow, cool 14:58:05 He has a duel to the death with Slant and Reg Shoe. 14:58:31 In I Shall Wear Midnight? 14:58:42 Why is none of this even /hinted at/ on the cover? 14:59:01 It's a suprise. 14:59:05 Also a surprise. 15:05:28 -!- MDude has joined. 15:08:18 -!- MSleep has quit (Ping timeout: 248 seconds). 15:08:36 -!- derrik has quit (Quit: gone). 15:11:17 -!- ais523 has changed nick to ais523\unfoog. 15:36:50 My eyes hurt and I can smell cheese 15:49:28 Has someone stuck some cheese in your eyes, by any chance? 15:49:54 Not as far as I am aware 15:50:10 Check, just to be sure. 15:50:30 There is very little cheese in my eyes 15:50:42 None that could couse this simultaneous pain and smell 15:50:50 I suspect the two are unrelated 15:51:09 Move to a different area where there is no cheese smell, test for correlation. 15:51:32 This is not the time for science! 15:51:48 ALL TIMES ARE TIME FOR SCIENCE 15:52:03 someone quote those lines please 15:52:14 oh wait 15:52:18 HackEgo is still down. 15:52:20 no bots 15:52:23 : 15:52:26 fungot is a bot 15:52:29 :< 15:52:29 Probably 15:52:30 !sanetemp 57 15:52:33 13.8 15:52:39 fungot!? 15:52:39 fungot cant quote :< 15:52:39 !sh lss 15:52:40 ​/tmp/input.832: line 1: lss: command not found 15:52:40 quintopia: bucket gaped at him. " certainly your actual pig products. genuine pig." " yeah. you could tell them all that." 15:52:41 !sh ls 15:52:41 interps 15:53:18 oh egobot is here 15:53:34 why is egobot here but not hackego? 15:53:42 God only knows. 15:54:00 > "lambdabot is also here" 15:54:01 "lambdabot is also here" 15:54:03 Although on second thoughts I suppose Gregor does too. 15:54:17 should have written GOK 15:54:23 God only knows; Gregor understands 15:54:24 could be interpreted either way 15:55:05 we need to preserve for posterity the fact that Ngevd thinks there is a time that is not for science 15:56:36 i guess its up to me 15:56:41 i shall tweet it 16:22:36 -!- Sgeo has joined. 16:35:20 -!- Ngevd has quit (Ping timeout: 240 seconds). 16:39:30 -!- MDude has quit (Ping timeout: 248 seconds). 16:49:54 -!- Sgeo has quit (Ping timeout: 240 seconds). 16:52:59 -!- Sgeo has joined. 16:59:26 -!- monqy has joined. 17:03:30 hi monqy 17:03:36 where you live? 17:05:22 !! 17:05:26 is usa specific enough 17:05:38 does someone know me 17:06:07 no. i was just curious as to country and time zone 17:06:14 oh 17:06:17 pacific time 17:06:21 if you are usa then happy t-day! 17:06:41 so that's today? I can never remember which it is 17:07:16 its always thursday 17:07:25 maybe I'll remember now 17:08:19 -!- sebbu2 has joined. 17:08:46 It's the second-to-last Thursday of the month. 17:09:00 (of November) 17:10:00 -!- sebbu has quit (Ping timeout: 260 seconds). 17:12:44 it's easy to tell what day it is. if the newspaper looks unusually thick, even for a snday paper, but its thursday? thanksgiving 17:13:21 Is this that quaint American thing you do with the turkey? 17:13:30 -!- Sgeo has quit (Ping timeout: 240 seconds). 17:13:48 turkey? 17:14:22 no we celebrate thanksgiving with a watching of addams family values and giving smallpox-infected blankets to neighbors 17:14:25 its tradition 17:14:33 -!- Sgeo has joined. 17:14:44 The smallpox must be hell to source these days. 17:15:13 -!- sebbu2 has changed nick to sebbu. 17:17:03 its a long-standing tradition. we've had it since the beginning. other families keep their christmas lights up all year. we keep our smallpox fed all year 17:17:46 I bet the man's always trying to take it away. 17:19:13 nah, america esteems tradition highly 17:19:38 and since we only give it to the mexican neighbors, they can see that we are just doing our patriotic duty 17:49:22 -!- PiRSquared17 has joined. 17:49:53 Hello again 17:51:09 hi 17:51:16 where you from? 17:51:30 Virgo supercluster 17:51:36 ah 17:51:45 they probably dont celebrate thanksgiving there 17:53:30 -!- Sgeo has quit (Ping timeout: 240 seconds). 17:54:28 < solid_liq> Dianora, not at all. I've tried other languages numerous times over the last 27 years, and always head back to the best two languages: C and C++ 17:54:37 -!- Sgeo has joined. 17:54:49 a religious war in ##electronics >_> 17:55:13 i think it's spelled ridiculous 17:58:27 i would agree 17:58:43 at least 17:58:49 solid_liq is ridiculous 18:00:48 well he is obviously insane 18:01:08 he's religious? 18:01:30 -!- Sgeo has quit (Ping timeout: 240 seconds). 18:02:12 when it comes to C and C++ 18:03:06 -!- copumpkin has changed nick to TheRubberTurkey. 18:04:37 -!- Sgeo has joined. 18:07:20 -!- TheRubberTurkey has quit (Quit: Computer has gone to sleep.). 18:10:26 -!- derrik has joined. 18:26:48 -!- elliott has joined. 18:29:48 -!- Ngevd has joined. 18:30:25 Hello! 18:30:29 helo 18:30:35 Still no HackEgo? 18:33:38 17:54:28: < solid_liq> Dianora, not at all. I've tried other languages numerous times over the last 27 years, and always head back to the best two languages: C and C++ 18:33:42 quintopia: i have the best rebuttal: 18:33:47 quintopia: "you're stupid" 18:33:56 yes 18:34:00 we all said that 18:34:08 D is much better 18:34:23 quintopia: so since this was ##electronics did they say "oh, asm is so much better" 18:34:29 sorry i'm kind of racist against electronicists 18:34:35 eh only jokingly 18:34:44 Well, for many uses asm *is* better. 18:34:48 mostly they just said "they have their good and bad sides" 18:35:06 Said uses just aren't exactly popular anymore. :P 18:35:21 the great thing about C++ is all it has is bad files 18:35:39 s/files/sides/ oops 18:35:52 True. "Hmm. C has many mistakes. Let's make more." 18:37:16 git wizards: How can I apply the inverse of three contiguous commits, preferably with a nice autogenerated commit message? 18:37:27 If this channel tried to create the perfect programming language, what would it look like? 18:37:50 underload :P 18:38:06 An impure language with no input? 18:38:14 underload is pure 18:38:14 It would be N+1 languages, where N is the number of channel members. 18:38:29 it's a transformation from a program to a program 18:38:30 or 18:38:32 who would write two? 18:38:36 a program to a stack of programs and a program 18:38:39 but usually you discard the stack 18:38:50 I dunno. Gregor or elliott, I guess? 18:38:55 i mean yes every language is "pure" in this sense 18:38:58 nah 18:38:59 but underload fits it quite well 18:39:03 elliott: What, you mean, um, undoing 3 commits? 18:39:06 elliott wouldnt even finish the first one 18:39:08 pikhq: yep 18:39:25 we'd probably just sit back and wait for feather 18:39:58 elliott: "git revert HEAD~2" 18:40:03 pikhq: i never said they were head 18:40:07 pikhq: there have been commits since 18:40:10 i want to retain those 18:40:28 "git revert first_commit..last_commit" 18:40:34 thx 18:42:15 a03d8ec Close upgrade_fd when upgrading 18:42:16 6e816b9 Fix a "leak" in //upgrade 18:42:16 4edb5be Awful //upgrade stuff. I'm ashamed. 18:42:18 time to revert these! 18:43:11 pikhq: doesn't work man 18:43:14 pikhq: it tries to revert them all separately 18:44:43 My RSS feeds haven't told me about any mchost or mcmap updates for ages 18:44:48 Should I be worried? 18:45:37 there haven't been any 18:46:01 That replaces worry with dissappointment 18:46:57 pikhq: which is weird :/ 18:47:17 aha, -n 18:47:45 pikhq: nope, doesn't work 18:49:47 pikhq: I guess I'll just get the diffs and manually reverse-apply them? 18:50:48 [elliott@dinky mcmap]$ git diff 4edb5be~..a03d8ec | git apply -R 18:50:48 woo, massive failures 18:52:34 -!- Phantom__Hoover has joined. 18:55:46 -!- Zuu has joined. 18:55:51 -!- Zuu has quit (Changing host). 18:55:51 -!- Zuu has joined. 18:56:18 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 19:10:28 -!- MSleep has joined. 19:15:14 -!- MSleep has quit (Ping timeout: 248 seconds). 19:15:14 -!- TheRubberTurkey has joined. 19:18:55 -!- TheRubberTurkey has changed nick to copumpkin. 19:18:55 -!- copumpkin has quit (Changing host). 19:18:55 -!- copumpkin has joined. 19:19:23 ais523\unfoog: your termcast seems a lot laggier than last time for some reason 19:19:44 perhaps the game's just laggy 19:21:46 gah, I just realised that my second- or third-favourite programming editor isn't maintained any more 19:24:24 -!- pikhq has quit (Ping timeout: 260 seconds). 19:29:40 ais523\unfoog: I am flabbergasted to learn that owlbears are a thing 19:29:48 heh 19:29:51 I take it you're watching me 19:29:56 intermittently 19:29:59 I'm not really used to playing wizards 19:30:01 they're too squishy 19:30:03 blarg, I need to make more slides 19:30:08 i'm not sure where you are, exactly 19:30:09 I need beter armour 19:30:12 and that's the Quest home level 19:30:29 hey, I could actually use a shield 19:30:30 ais523\unfoog: they're squishy early on, but if they survive, they can't lose 19:30:41 coppro: they're squishy even late on 19:30:44 despite being overpowered offensively 19:30:54 yeah, but the squishiness is irrelevant 19:30:59 since they can FoD everything 19:31:32 especially if they find markers to enchant their armor with 19:32:32 nah, it messes up spellcasting too much 19:32:47 wizards should be spending three or four wishes on markers 19:32:47 dsm doesn't 19:32:55 I know 19:33:01 the nah was at the shield I just tried on 19:33:04 ah 19:33:13 also magicbane 19:33:15 which reminds me, I need to find somewhere nice and enclosed to revgeno silver dragons 19:33:31 magicbane is rather silly 19:33:51 I'm practicing with magicbane atm 19:33:57 I've been using a quarterstaff pretty much all game 19:34:22 magicbane is good just for being an athame 19:34:29 much less having the properties it does 19:36:28 MR is pretty major as properties go, although ofc wizards have that anyway 19:42:14 yay, now I have SDSM 19:42:25 that went a bit wrong, I typoed off the Elbereth square and almost died 19:42:32 but all's well that ends well in NetHack, right? 19:51:00 oh no, every now and then I forget this header file exist 19:51:00 s 19:51:03 and then I see it again 19:51:05 and I remember my pain :( 19:55:13 -!- pikhq has joined. 20:13:54 -!- Sgeo has quit (Ping timeout: 240 seconds). 20:14:56 -!- Sgeo has joined. 20:19:14 -!- copumpkin has quit (Ping timeout: 260 seconds). 20:19:30 -!- Sgeo has quit (Ping timeout: 240 seconds). 20:22:42 -!- Sgeo has joined. 20:23:44 -!- GreaseMonkey has joined. 20:33:30 -!- Sgeo has quit (Ping timeout: 240 seconds). 20:36:38 -!- Sgeo has joined. 20:41:35 Bye 20:41:38 -!- PiRSquared17 has left. 20:42:45 -!- HackEgo has joined. 20:43:13 HackEgo 20:43:14 i love you 20:43:27 Sgeo: boooooo 20:43:37 `pastequotes 20:43:39 kallisti, hm? 20:43:44 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1598 20:44:29 -!- PiRSquared17 has joined. 20:44:36 `run cat '/var/irclogs/_esoteric/2011-11-24-raw.txt' | perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_}; " for sort {$j{$b} <=> $j{$a}} keys %j}' 20:44:38 Sgeo 630; Ngevd 168; Slereah 97; itidus21 76; itidus22 71; pikhq 61; Darth_Cliche 56; MDude 43; copumpkin 43; Rugxulo 40; EgoBot 38; ais523 37; 32; SgeoN1 29; kmc 25; elliott 24; Jafet 22; monqy 13; Klisz 12; PiRSquared17 12; MSleep 11; sebbu2 10; HackEgo 7; Phantom_Hoover 5; sebbu 5; augur 5; derrik 5; itidus20 5; Zuu 4; TheRubberTurkey 3; GreaseMonkey 2; pikhq_ 2; derdon 2; Phantom__Hoover 1; yorick 1; kallisti 1; 20:44:45 Sgeo: ^^^ 20:44:47 `addquote This is not the time for science! ALL TIMES ARE TIME FOR SCIENCE 20:44:49 735) This is not the time for science! ALL TIMES ARE TIME FOR SCIENCE 20:44:50 kallisti: Yes, just break it again. 20:44:56 ? 20:45:01 wow. 20:45:02 is that what broke it? 20:45:03 That's the last thing happened before HackEgo died :) 20:45:04 Well 20:45:07 Apart from deleting bin/hi :P 20:45:13 I'm the second mose quoted person!? 20:45:23 elliott: therefore it must have been that! :P 20:45:25 I think? 20:45:32 no 20:45:33 ? 20:45:34 Ngevd: Nope, that's counting JOINs 20:45:38 `quote 20:45:40 618) I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee 20:45:46 Wow, me 20:45:48 HackEgo, :(){:|:&};: 20:45:52 This is why I was using the webchat for so long 20:46:06 `quote 20:46:08 73) i use dynamic indentation, i indent lines k times, if they are used O(n^k) times during a run of the program 20:46:08 in all seriousness a fork bomb gave my harddrive a bad sector once 20:46:24 And that's terrible. 20:46:40 (The fork bomb forked forty times. That's as many as four tens.) 20:46:41 hrm I didn't do anything today 20:46:43 strange 20:47:26 Phantom__Hoover: also note how awesome I am at not spamming with joins 20:47:30 please note this 20:47:40 Hang on 20:47:41 Phantom__Hoover: (asshole) 20:47:50 I'm the most JOINing person? 20:47:53 no Sgeo 20:47:54 Second most 20:47:56 Ngevd: can you read? :P 20:47:56 sgeo sgeo 20:48:00 (ha ha ha ) 20:48:02 ha 20:48:05 `quote 20:48:07 686) COCKS [...] truly cocks 20:48:13 Who *is* the most quoted? 20:48:17 me 20:48:20 (this is a lie) 20:48:21 true mystery 20:48:28 Kentucky... Magic Chicken? 20:48:34 Phantom__Hoover: fungot or me or you, probably 20:48:34 although I did disconnect once today 20:48:34 yes 20:48:35 elliott: ' i don't know, think of something that had existed before anyone else.' against her better judgement." she hammered the cork into the bottle with the end of the factory. 20:48:38 I blame my ISP 20:48:45 and otherwise freenode 20:48:49 elliott: I guess oerjan in fact. 20:48:56 nahh 20:49:16 If you divide by the time they've spent in the channel, probably me 20:49:32 `quote taneb 20:49:34 464) Turned out he got recursion, he just didn't get the return statement \ 470) Cut to February War were declared A galaxy in turmoil Anyway, Febuary '10 \ 471) I can't afford one of those! A grandchild, not a laser printer \ 478) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different 20:49:35 `quote ngevd 20:49:37 652) Dammit, Gregor, this is not the time to fall in love \ 658) [in the context of Open University] "Unlike other operating systems, Linux operating systems use Linux" \ 661) Ngevd:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov \ 663) Also you steal Berwick from us and then 20:49:38 `quote hovercraft 20:49:40 Ngevd: no itidus wins there 20:49:40 No output. 20:49:51 `quote PiRSquared17 20:49:53 No output. 20:49:54 -!- Sgeo has quit (Ping timeout: 240 seconds). 20:49:56 `quote itidus 20:49:59 474) to assume that someone can be described by a rule without exception... is to assume they are omnipotent for instance stones are omnipotent, as they don't do anything, without exception \ 497) monqy: last night in my dreams I saw a false photo album of my childhood... looking ghostly \ 498) itidus20: i saw a dancing cgi skeleton named malaria. i danced and played with him. 20:50:09 `quote HackEgo 20:50:12 39) `translatefromto hu en Hogy hogy hogy ami kemeny How hard is that \ 96) let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 376) `quote django ​352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 377) `quote 20:50:15 @tell Sgeo you suck 20:50:15 Consider it noted. 20:50:46 Phantom__Hoover: again note how awesomely I have managed to only join once today. 20:50:58 you may note that this is in no way associated with join/part spam 20:51:04 -!- Sgeo has joined. 20:51:06 even though you quizzically said that it was. 20:51:06 `quote kallisti 20:51:09 No output. 20:51:10 Q.E.D. 20:51:14 `quote cakeprophet 20:51:16 141) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's work and passing it off as our own. \ 142) CakeProphet: reading herbert might be enlightening in one hand he held a long worm can be greased. twice i got it nearly there, and the protector of cattle. mars is 20:51:19 bad quotes 20:51:41 `quote lambdabot 20:51:43 407) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] I need to learn more Haskell... ..I need to get op privs. \ 491) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace \ 588) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] 20:51:43 monqy: will you play aii 20:51:48 whats aii 20:51:53 Phantom__Hoover: tell monqy whats ai 20:51:54 i 20:52:02 `quote 588 20:52:03 Hi 20:52:03 Sgeo: You have 2 new messages. '/msg lambdabot @messages' to read them. 20:52:05 588) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell 20:52:07 monqy, OK take Asteroids. 20:52:08 gotta let the channel see that one again 20:52:10 so good :') 20:52:13 And then stick II at the end. 20:52:19 asteroidsii 20:52:35 elliott, how... 20:52:58 Phantom__Hoover: That quote is the reason I can't COMPLETELY mock belief in synchronicity. 20:53:22 "a) What is Fermat’s Last Theorem? For what values of n is it false?" 20:53:35 — A Cambridge interview question, apparently. 20:53:36 fermat's last almost theorem 20:53:49 It's clear what's meant by it, I think. Either that or it's a trick question. 20:53:55 -!- Phantom__Hoover has changed nick to Phantom_Hoover. 20:54:19 Phantom__Hoover: note that lack of good quotes has nothing to do with join/part spam, which is, if you haven't noticed, completely not associated with this nick name in any way. 20:54:20 Well, TbH, it's clearly meant to be more of an interview-type discussion thing. 20:54:26 Phantom_Hoover: completely 20:54:29 :> 20:54:50 -!- SgeoN1 has joined. 20:55:06 Can we get lambdabot to respond to ":>" with "DON'T DO THAT"? 20:55:13 :> 20:55:17 :> 20:55:23 Because it looks like a bird 20:55:26 > print "DON'T DO THAT" 20:55:27 20:55:27 And that is silly 20:55:32 > "DON'T DO THAT" 20:55:33 "DON'T DO THAT" 20:55:36 Are there integers a b and c for which a^n + b^n = c^n for various negative values of n? 20:55:36 > text "DON'T DO THAT" 20:55:38 DON'T DO THAT 20:55:39 > text "DON'T DO THAT" 20:55:40 DON'T DO THAT 20:55:53 16:43:48: Yes, and your name is not one unassociated with join/quit spam. 20:55:55 /whois PiRSquared17 20:55:56 please note 20:55:59 this statement that was said on the 21st 20:56:01 take note. 20:56:04 of how wrong it is, yes. 20:56:12 PiRSquared17 <~PiRSquare@wikipedia/PiRSquared17> “(pi *) . (^ 2)” 20:56:13 kallisti, you are not being serious, right? 20:56:16 > text "\08test" 20:56:17 test 20:56:29 I just want to get straight whether I should be laughing or pitying. 20:56:37 Phantom_Hoover: I am always serious when one has besmirched my good name. 20:56:53 That's not how one uses 'one'. 20:57:07 always serious when you has besmirched 20:57:13 -!- Sgeo has quit (Quit: Leaving). 20:57:14 That's how one uses "someone" 20:57:14 @pl \r -> pi * (r ^ 2) 20:57:14 (pi *) . (^ 2) 20:57:22 Besmirch you a good name. 20:57:53 PiRSquared17: (tau *) . (/ 2) . (^ 2) 20:57:57 Note increased elegance. 20:57:59 last I checked one just meant a single thing, in this context a person. the "hypothetical you" thing is stupid 20:58:26 @type pi 20:58:26 forall a. (Floating a) => a 20:58:29 @type tau 20:58:30 Not in scope: `tau' 20:58:35 "one" is nominative, generally, I think? 20:58:41 Phantom_Hoover: HASKELL IS WRONG 20:58:47 WHAT DO WE DOOOOOOOO 20:58:54 oh no quick tell quintopia 20:58:55 Ngevd: no, should is 20:58:56 @ only supports ti, which is (tau + pi) / 4.7. 20:59:02 Ngevd: "one should" is commonly used, sure. 20:59:06 Look how much more elegant it is: 20:59:08 @type let tau = 2 * pi in tau 20:59:09 forall t. (Floating t) => t 20:59:11 With tau: (tau + (tau / 2)) / 4.7. 20:59:13 Ngevd: oh misread 20:59:16 With pi: ((pi * 2) + pi) / 4.7. 20:59:18 With ti: ti 20:59:19 Ngevd: I thought that was normative :P 21:00:07 -!- PiRSquared17 has changed nick to HalfTauRSquared. 21:00:36 Phantom_Hoover: anyway fuck your prescriptivism. "one" is totally fine there. 21:00:58 I will continue to be okay with this, but staunchly prescriptivist about other things. 21:00:58 Could we @def tau pi * 2? 21:01:10 @def tau pi * 2 21:01:11 Maybe you meant: bf do let 21:01:12 ? 21:01:15 kallisti, fun fact, 'fuck prescriptivism' doesn't let you make up the language and act like it's everyone else's problem if it doesn't make sense. 21:01:24 @let tau = pi / 3 21:01:25 Defined. 21:01:33 pi/3 ? 21:01:40 Phantom_Hoover: what about "one" does not make sense in that sentence? 21:01:52 @let tau = pi * 2 21:01:53 :2:0: 21:01:53 Multiple declarations of `L.tau' 21:01:54 Declared at: ... 21:01:56 everything 21:02:06 ? 21:02:28 Because the word you were looking for was 'someone', which means something different. 21:02:28 kallisti, "one" is nominative!!! I'm sure of it! 21:02:29 i cnat eve begin to understand what you meant with that "one" 21:03:28 It's particularly annoying because 'one' is not used in normal conversational English, so you were trying to be prescriptivist but failed. 21:03:41 so it's just annoying 21:03:43 good to know. 21:04:14 `addquote i cnat eve begin to understand what you meant with that "one" 21:04:17 736) i cnat eve begin to understand what you meant with that "one" 21:04:22 Phantom_Hoover: I use "one" all the time it is like a bad habit. 21:04:29 i cnat eve ] 21:04:34 i cnat eve 21:04:36 elliott, that's OK, you're the Queen. 21:04:52 HalfTauRSquared: That's better than monqy usually types. 21:05:50 i type bad 21:05:56 -!- augur has joined. 21:07:07 One should use "one" as often as one desires. 21:07:17 two 21:07:21 pikhq: yesssssss 21:07:33 one is the onest one one can say. 21:07:39 One should also be aware that one will look like one big prat. 21:08:02 five 21:08:39 somesomeone is a good word. 21:08:49 otherone 21:08:58 manyone 21:09:01 onesomeone 21:09:06 notone 21:09:18 ntontonenoe 21:09:36 anytwo 21:09:39 noone oneone twoone threeone fourone fiveone sixone sevenone 21:09:40 soemoenotnoenoenoteno 21:10:04 Not Eno!!!!!!!! 21:10:11 noe not eno 21:10:35 soe moe not noe noe not eno 21:10:54 HalfTauRSquared: what do you have against Brian Eno, maan. 21:11:04 -!- MSleep has joined. 21:11:16 Who is Brian Eno? 21:11:32 a man you dislike passionately 21:11:35 :( 21:11:37 WHY? 21:11:39 naiiti itiiti niiti saniti yoniti goiti rokuiti sitiiti ← Well, that looks really strange. 21:12:13 soemoenotnoenoe /noteno/ ? 21:13:00 HalfTauRSquared: brian eno is a cool dude 21:13:17 soemoenotnoenoeyeseno 21:13:22 he pioneered being a cool dude. 21:13:39 andotherthings 21:17:56 -!- pikhq_ has joined. 21:17:59 -!- pikhq has quit (Ping timeout: 258 seconds). 21:21:34 Can I put my nick back now? 21:21:52 -!- HalfTauRSquared has changed nick to PiRSquared17. 21:22:42 No NEVER 21:23:10 Look at me and kallisti 21:23:38 fine 21:23:42 -!- PiRSquared17 has changed nick to HalfTauRSquared. 21:23:59 I grouped it anyway(s?) 21:26:02 ... 21:26:14 ,,, 21:26:16 ;;; 21:26:18 ::: 21:27:00 -!- Patashu has joined. 21:27:14 `hello Patashu 21:27:16 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hello: not found 21:27:27 `welcome Patashu 21:27:30 Patashu: 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 21:28:14 http://esolangs.org/wiki/User:JillBrennan805 21:29:09 to be expecte 21:29:10 d 21:31:42 http://esolangs.org/wiki/Category_talk:Languages :? 21:31:44 -!- Ngevd has quit (Quit: Goodbye). 21:32:35 yes 21:32:38 -!- derrik has quit (Quit: quitter). 21:39:35 "as an engineer i fully approve of your explanation, it is great. however as a marxist[...]" 21:39:40 Best opening to anything ever. 21:44:49 rip ngevd 21:45:24 Phantom_Hoover: Best. 21:46:02 Hmm, what else can I stick "However, as a Marxist..." onto the end of. 21:46:23 I am immensely proud to be standing here today. However, as a Marxist... 21:46:38 Phantom_Hoover: I smell a Lyttle Lytton entry in the making. 21:46:53 That makes two now. 21:47:08 As an experienced musician, I would be delighted to join your band. However, as a Marxist[...] 21:47:40 Phantom_Hoover: As a proud supporter of the fascist corporatocracy, I fully support Mr. President's actions. However, as a Marxist[...] 21:49:06 I would be delighted to attend your formal dinner. However, as a Marxist... 21:49:38 -!- Notch has joined. 21:49:42 -!- Notch has quit (Client Quit). 21:49:49 Dammit, someone snabbed it. 21:49:54 -!- Phantom_Hoover has changed nick to notch. 21:50:04 David began to slow slightly as his ears, however, as a Marxist… 21:50:04 -!- notch has changed nick to Guest55333. 21:50:11 -!- Guest55333 has changed nick to Phantom_Hoover. 21:50:17 ais523\unfoog: you got it wrong 21:50:24 probably 21:50:30 Wait can we work on the Finnish one> 21:50:31 I can never remember exactly how that one goes anyway 21:50:32 David slowed slightly as his ears, however, as a Marxist 21:50:49 elliott: I thought that's what I thought it was and id turned out to be wrong 21:50:54 `log > David 21:50:58 *it 21:51:09 `echo ping 21:51:11 ping 21:51:22 2010-08-18.txt:00:49:04: DAVID MITCHELL 21:51:39 `log > David 21:51:48 2009-06-17.txt:01:01:27: David slowed his pace slightly as his ears, bottled in formaldehyde, caught his eye. "Oh," he thought, "to be alive again." 21:51:56 elliott: seems we were both wrong 21:52:03 I knew it wasn't just "slowed slightly" 21:52:05 `log > David 21:52:11 2009-11-02.txt:02:28:54: David Piepgrass is the designer of the Asset keyboard layout. 21:52:15 `log > David 21:52:21 2011-06-09.txt:22:05:28: 00:31:32: David slowed (his pace slightly) as (his ears, in a vat of chocolate); only his less slightly paces can go faster. 21:52:25 `log > David 21:52:30 2010-06-04.txt:13:31:36: David Haskellhoff. 21:52:41 elliott: which should we delete? :P 21:52:52 `dellog 2010-06-04.txt:13:31:36: 21:52:55 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dellog: not found 21:53:02 `log PiRSquared17 21:53:07 2011-11-24.txt:00:57:58: * elliott was going to say that PiRSquared17 should become TauRSquared8.5, but someone might actually take him seriously. 21:53:12 `log PiRSquared17 21:53:17 2011-11-24.txt:00:57:58: * elliott was going to say that PiRSquared17 should become TauRSquared8.5, but someone might actually take him seriously. 21:53:21 `log PiRSquared17 21:53:26 2011-11-24.txt:20:55:32: > "DON'T DO THAT" 21:53:29 `quote 21:53:30 `quote 21:53:30 `quote 21:53:30 `quote 21:53:32 `quote 21:53:33 117) insufficient time dilation. try running faster. 21:53:35 286) back to legal tender, that expression really makes me daydream. Like, there'd be black-market tender. Out-of-town hug shops where people exchange tenderness you've NEVER SEEN BEFORE. 21:53:37 394) CakeProphet, the X support is fairly recent. Not more than a few decades old 21:53:51 443) I go to clean up the shrapnel from a teabag and you're discussing the definition of god out of nowhere. 21:53:52 442) elliott: His mouse obeys the law of the excluded middle :/ 21:55:46 `quote 21:55:48 `quote 21:55:48 `quote 21:55:49 `quote 21:55:49 `quote 21:55:49 597) elliott: ppl should vote clinton because obama is biracial every1 knows that dood, look at him he has been on something lately. 21:55:56 719) the parser would be even simpler if I didn't try to do type inference in it 21:55:56 215) OK, let's reduce the human genome to 4 chromosomes, in 2 homologous pairs. 21:56:05 87) Discrimination fields ACTIVATE. 21:56:06 510) elliott_: No it isn't a game, it is a computer game 21:56:06 `log pirsquared 21:56:11 2011-11-24.txt:21:00:07: -!- PiRSquared17 is now known as HalfTauRSquared. 21:56:14 wait, we have two blocks of 5 to delete from 21:56:31 `quote CakeProphet 21:56:33 141) how does a "DNA computer" work. von neumann machines? CakeProphet, that's boring in the context of DNA. It's just stealing the universe's work and passing it off as our own. \ 142) CakeProphet: reading herbert might be enlightening in one hand he held a long worm can be greased. twice i got it nearly there, and the protector of cattle. mars is 21:56:37 that quote is dumb 21:56:39 and always appears 21:56:45 elliott: in the first block, I'd say 442 or 394 21:56:47 do you agree? 21:56:53 Please learn how `quote works. 21:57:04 yes, although I don't really dislike any of them 21:57:06 `pastequotes CakeProphet 21:57:09 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1378 21:57:11 `delquote 87 21:57:14 ​*poof* Discrimination fields ACTIVATE. 21:57:17 elliott: do we have to delete one? or can we just say it reached perfection? 21:57:30 I agree with 87 in the second block, although quite a few aren't as good as the first block 21:58:07 let's just do another block 21:58:08 `quote 21:58:08 `quote 21:58:08 `quote 21:58:09 `quote 21:58:09 `quote 21:58:17 222) oerjan: What, can girls aim their penises better? 21:58:19 425) You just went from "no sexualized ads" to "we have ads for dildos, but they're different for ads for Orangina" X-D 21:58:29 579) FFS, building a perpetual motion machine should not be this hard. 21:58:29 107) fungot!*@* added to ignore list. AnMaster: i'd find that a bit annoying to wait for an ack. 21:58:30 637) It's like Pygmalion and Galatea but more weeaboo. Also lesbian. 22:00:13 there's no need to quote me when I'm funny 22:00:14 because 22:00:16 I'm just hilarious always 22:00:26 :> 22:00:42 yes that's what it is. 22:01:23 `ls quotes 22:01:25 quotes 22:01:34 `ls quotes/ 22:01:36 ls: cannot access quotes/: Not a directory 22:01:45 `cat quotes 22:01:45 `ls / 22:01:47 I used computational linguistics to kill her. \ EgoBot just opened a chat session with me to say "bork bork bork" \ Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ that's where I got it rocket launch facility gift shop \ GKennethR: he should be told that you should 22:01:55 `ls /bin 22:01:57 bash \ bunzip2 \ bzcat \ bzcmp \ bzdiff \ bzegrep \ bzexe \ bzfgrep \ bzgrep \ bzip2 \ bzip2recover \ bzless \ bzmore \ cat \ chgrp \ chmod \ chown \ cp \ cpio \ dash \ date \ dd \ df \ dir \ dmesg \ dnsdomainname \ domainname \ echo \ ed \ egrep \ false \ fgrep \ grep \ gunzip \ gzexe \ gzip \ hostname \ ip \ kill \ less \ lessecho \ lessfile \ lesskey \ lesspipe \ ln \ login \ ls \ lsmod \ mkdir \ mknod \ mktemp 22:01:58 bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr \ var 22:01:59 `paste quotes 22:02:13 `cd /bin 22:02:15 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9119 22:02:30 Wait I have no idea how to do quote counts with that. 22:02:43 rm -rf / 22:02:56 `rm -rf / 22:03:14 It won't do anything, right? 22:03:18 HalfTauRSquared: You broke it, congrats 22:03:19 `ls 22:03:33 ... 22:03:35 ? 22:03:46 `quotes PiRSquared17 22:03:55 elliott: does this have anything to do with your patch for the weird concurrency stuffs? 22:03:58 `log PiRSquared17 22:04:06 It runs in a version-controlled, sandboxed chroot. 22:04:06 Nope, HalfTauRSquared is just evil 22:04:13 Actually /breaking/ it is not that easy. 22:04:13 -!- derdon has joined. 22:04:16 ah yes of course. 22:04:25 What happened? 22:04:33 It's probably just lagging :P 22:04:39 you broke elliott's weird patch with EVIL. 22:04:41 actually. 22:04:47 My patches haven't even been applied yet. 22:04:52 oh 22:05:03 r m - r f / is evil? 22:05:06 At worst, it'll need to be reverted, which is trivial. 22:05:20 elliott, you realise I was the one who actually sent the command, right? 22:05:36 Phantom_Hoover: Yes, I just wanted to scare HalfTauRSquared. 22:05:56 Scare 'em back to the ways of pi. 22:05:56 http://codu.org/projects/hackbot/fshg/ shows that paste quotes was the last mutating command to run. 22:05:58 I didn't add ` on purpose 22:06:32 XD, someone posted the OEIS to r/math. 22:06:43 Yes I'm sure that'll be new and interesting to most readers. 22:06:56 Sloane's is new? 22:07:12 Thatsthejoke. 22:07:53 I must have amazing sarcasm detection abilities or something.. 22:08:09 -!- HackEgo has quit (Ping timeout: 244 seconds). 22:08:12 was the problem the ` c d or the ` r m ... - r f ... 22:08:13 ? 22:08:23 -!- HackEgo has joined. 22:08:24 neither I think? 22:08:29 it just lagged or something. 22:08:30 `ls 22:08:33 2011-11-23-raw.txt \ bin \ canary \ karma \ lib \ paste \ quotes \ share \ wisdom \ x 22:08:41 `rm -rf / 22:08:43 rm: invalid option -- ' ' \ Try `rm --help' for more information. 22:08:47 `run rm -rf / 22:08:48 `run rm -rf / 22:08:49 HE's connection is maintained by a small piece of thread. 22:08:50 rm: it is dangerous to operate recursively on `/' \ rm: use --no-preserve-root to override this failsafe 22:08:57 `run rm -rf --no-preserve-root / 22:08:59 rm: cannot remove `/sys/fs': Permission denied \ rm: cannot remove `/sys/devices/platform/uevent': Permission denied \ rm: cannot remove `/sys/devices/platform/alarmtimer/uevent': Permission denied \ rm: cannot remove `/sys/devices/platform/alarmtimer/modalias': Permission denied \ rm: cannot remove `/sys/devices/platform/alarmtimer/subsystem': Permission denied \ rm: cannot remove `/sys/devices/platform/alarmtimer/driver': 22:09:02 rm: it is dangerous to operate recursively on `/' \ rm: use --no-preserve-root to override this failsafe 22:09:06 `ls 22:09:08 2011-11-23-raw.txt \ bin \ canary \ karma \ lib \ paste \ quotes \ share \ wisdom \ x 22:09:09 `run pwd 22:09:13 ​/hackenv 22:09:14 `run rm -rf $(pwd) 22:09:17 rm: cannot remove `/hackenv/.hg/requires': Read-only file system \ rm: cannot remove `/hackenv/.hg/00changelog.i': Read-only file system \ rm: cannot remove `/hackenv/.hg/store/data/babies/babies.db.i': Read-only file system \ rm: cannot remove `/hackenv/.hg/store/data/bin/addquote.i': Read-only file system \ rm: cannot remove `/hackenv/.hg/store/data/bin/allquotes.i': Read-only file system \ rm: cannot remove 22:09:23 `ls 22:09:26 2011-11-23-raw.txt \ bin \ canary \ karma \ lib \ paste \ quotes \ share \ wisdom \ x 22:09:37 `rm *raw.txt 22:09:39 rm: cannot remove `*raw.txt': No such file or directory 22:09:40 `run rm *raw.txt 22:09:40 `ls canary 22:09:46 No output. 22:09:54 `touch filee 22:09:56 canary 22:09:56 No output. 22:09:59 `run find . -name '.hg' -prune -exec rm -f '{}' \; 22:10:02 rm: cannot remove `./.hg': Is a directory 22:10:05 Delicious filee. 22:10:08 `vi filee 22:10:10 `run find . -name '.hg' -prune -o -exec rm -f '{}' \; 22:10:12 Vim: Warning: Output is not to a terminal \ .[1;24r.[?25h.[?8c.[?25h.[?0c.[27m.[24m.[0m.[H.[J.[?25l.[?1c.[24;1H"filee" 0 lines, 0 characters.[2;1H.[1m.[34m~ .[3;1H~ .[4;1H~ .[5;1H~ 22:10:18 0 22:10:20 rm: cannot remove `.': Is a directory \ rm: cannot remove `./bin': Is a directory \ rm: cannot remove `./karma': Is a directory \ rm: cannot remove `./lib': Is a directory \ rm: cannot remove `./paste': Is a directory \ rm: cannot remove `./share': Is a directory \ rm: cannot remove `./wisdom': Is a directory 22:10:21 `ls 22:10:24 bin \ canary \ filee \ karma \ lib \ paste \ quotes \ share \ wisdom \ x 22:10:29 `run rm filee x 22:10:31 -!- ais523\unfoog has quit (Remote host closed the connection). 22:10:31 No output. 22:10:35 ``skk 22:10:36 ITT: everyone rape HackEgo 22:10:36 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `skk: not found 22:10:41 ``skk 22:10:43 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `skk: not found 22:11:11 `rm -rf * 22:11:22 `rm -rf * 22:11:24 rm: invalid option -- ' ' \ Try `rm --help' for more information. 22:11:34 you have to use `run because hackego is lame. 22:11:40 `run rm -rf * 22:11:42 No output. 22:11:49 lol 22:11:56 `run ls -al 22:11:58 total 120 \ drwx------ 9 5000 0 4096 Nov 24 22:11 . \ drwxr-xr-x 16 0 0 0 Nov 24 22:11 .. \ drwxr-xr-x 3 5000 0 4096 Nov 24 22:11 .hg \ drwxr-xr-x 2 5000 0 4096 Nov 24 22:11 bin \ -rw-r--r-- 1 5000 0 0 Nov 24 22:11 canary \ drwxr-xr-x 2 5000 0 4096 Nov 24 22:11 karma \ drwxr-xr-x 2 5000 0 4096 Nov 24 22:11 lib \ drwxr-xr-x 2 5000 0 4096 Nov 24 22:11 paste \ -rw-r--r-- 1 5000 0 84089 Nov 24 22:12:02 HalfTauRSquared: by default everything is passed as the first argument to the command 22:12:12 HalfTauRSquared: `run actually invokes a shell 22:12:19 oh 22:12:53 `pwd 22:12:55 ​/hackenv 22:13:04 * kallisti would like to be able to do something like `(perl -e) perl code here 22:13:33 `run man ls 22:13:35 man: can't open the manpath configuration file /etc/manpath.config 22:13:55 `run info ls 22:13:57 Gregor: IMPROPERLY CONFIGURED MAN, MAN. 22:13:58 info: Writing node (coreutils.info.gz)ls invocation... \ info: Writing node (coreutils.info.gz)Which files are listed... \ info: Writing node (coreutils.info.gz)What information is listed... \ info: Writing node (coreutils.info.gz)Sorting the output... \ info: Writing node (coreutils.info.gz)Details about version sort... \ info: Writing node (coreutils.info.gz)General output formatting... \ info: Writing node 22:14:14 q 22:14:25 HalfTauRSquared: as you can see it is a linux system 22:14:30 with linuxy things 22:14:47 `whereis kde 22:14:49 kde: 22:14:57 `which kde 22:14:59 No output. 22:15:09 `which frink 22:15:11 ​/hackenv/bin/frink 22:15:17 `whereis lynx 22:15:19 lynx: /usr/bin/lynx.cur /usr/bin/lynx /usr/share/man/man1/lynx.1.gz 22:15:24 `frink 66 F -> C 22:15:36 `lynx http://google.com 22:15:36 Error 22:15:38 ​\ Configuration file "/etc/lynx-cur/lynx.cfg" is not available. \ 22:15:41 elliott: how do you do temps in frink? 22:16:09 HalfTauRSquared, if you just want to toy with it, it works in a query too. 22:16:15 `frink F[66] -> C 22:16:26 18.88888888888888889 22:17:08 > PEER_SDFsD RP:::LPDPRGTSQJDS)O#OZZS{AWEQ)R{R{W#{$%Q}}#}#{{{L$TPI$%)*W)(@$$*@#O@((#% 22:17:09 : parse error on input `)' 22:17:19 `dc 22:17:35 `quit 22:17:37 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quit: not found 22:17:41 `exit 22:17:43 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: exit: not found 22:17:50 No output. 22:17:52 `ls 22:17:54 bin \ canary \ karma \ lib \ paste \ quotes \ share \ wisdom 22:18:01 `logout 22:18:03 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: logout: not found 22:18:11 `sudo 22:18:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sudo: not found 22:18:20 sudo: not found 22:18:27 HalfTauRSquared: I'm sure if you try enough you'll find an exploit 22:18:32 `su 22:18:34 I'm sure he won't. 22:18:35 No output. 22:18:42 `su password 22:18:44 su: Cannot determine your user name. 22:18:46 That would be an exploit in User Mode Linux, which would be impressive. 22:18:57 Or an exploit in the extremely trivial mudem code, I suppose. 22:19:05 HalfTauRSquared is an impressive thing, dude. 22:19:10 good equation 22:19:26 er 22:19:27 expression 22:19:51 Mudem? 22:20:17 `run rm -rfi / 22:20:19 rm: it is dangerous to operate recursively on `/' \ rm: use --no-preserve-root to override this failsafe 22:20:37 `run rm -rfi / --no-preserve-root 22:21:01 n 22:21:03 y 22:21:06 `ls 22:21:08 bin \ canary \ karma \ lib \ paste \ quotes \ share \ wisdom 22:21:08 rm: descend into write-protected directory `/'? 22:21:17 n 22:21:35 lolwut 22:21:48 -!- Sgeo has joined. 22:22:09 I am currently tethering from my phone 22:22:22 Sgeo: cool, maybe you won't bounce so much 22:22:25 ha. ha. 22:22:28 If my connection stays stable, I think it's safe to assume there's a hardware problem 22:22:36 kallisti, lol 22:23:07 `sa 22:23:09 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sa: not found 22:25:15 `ping google.com 22:25:17 pong 22:25:58 `ping localhost 22:26:01 pong 22:26:02 `ping 0.0.0.0 22:26:04 pong 22:26:09 `ping 127.0.0.1 22:26:11 pong 22:26:15 `ping 500.400.300.200 22:26:17 pong 22:26:20 ! 22:26:31 `ping pong ping pong ping 22:26:33 pong 22:26:53 `ping HalfTauRSquared 22:26:55 pong 22:27:05 `emacs 22:27:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: emacs: not found 22:27:15 `vim 22:27:19 Vim: Warning: Output is not to a terminal \ .[1;24r.[?25h.[?8c.[?25h.[?0c.[27m.[24m.[0m.[H.[J.[?25l.[?1c.[2;1H.[1m.[34m~ .[3;1H~ .[4;1H~ .[5;1H~ 22:27:27 6 22:27:45 `nano 22:27:52 HalfTauRSquared: why yes you can run text editors 22:27:59 really? 22:28:01 YES 22:28:13 `ed test 22:28:14 `quote 22:28:16 and: PROGRAAAAMMMING LAAAANGUAGES 22:28:16 51) no Deewiant No?! I've been living a lie yep. Excuse me while I jump out of the window -> 22:28:17 ​.[1;24r.[0;10m.[4l.[?7h.[?25h.[?0c.[39;49m.[39;49m.[0;10m.[H.[J.[0;10;7m GNU nano 2.2.4 New Buffer .[23;1H^G.[0;10m Get Help .[0;10;7m^O.[0;10m WriteOut .[0;10;7m^R.[0;10m Read File .[0;10;7m^Y.[0;10m Prev Page .[0;10;7m^K.[0;10m Cut Text .[0;10;7m^C.[0;10m Cur Pos..[24d.[0;10;7m^X.[0;10m Exit.[14G.[0;10;7m^J.[0;10m Justify .[0;10;7m^W.[0;10m Where Is 22:28:31 get help 22:28:38 `help 22:28:39 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 22:28:43 `brainfuck +++++++++++++++++++++++++++++++++++............... 22:28:44 monqy: thank 22:28:44 test: No such file or directory 22:28:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: brainfuck: not found 22:28:45 s 22:28:58 !bf ,[.,]!hi 22:29:03 `which ping 22:29:05 ​/hackenv/bin/ping 22:29:14 `cat /hackenv/bin/ping 22:29:16 ​#!/bin/bash \ echo pong 22:29:16 $PATH 22:29:20 Pretty obvious 22:29:56 !bf ,[.,]!testing 22:30:06 doesn't seem to work 22:30:12 EgoBot: hi 22:30:15 !unlambda .k 22:30:38 ... 22:31:03 !help 22:31:03 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 22:31:15 !help languages 22:31:15 ​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. 22:31:27 !help userinterps 22:31:28 ​userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. 22:31:44 !help addinterp 22:31:44 ​addinterp: !addinterp . Add a new interpreter to EgoBot. This interpreter will be run once every time you type ! , and receive the program code as input. 22:32:40 I have this overwhelming desire to have a bath right now. 22:32:47 !bf ,[.,]!123456789 22:32:53 123456789 22:32:54 ​:HalfTauRSquared!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :123456789. 22:33:10 `run echo '#!/bin/sh' > bin/hatesgeo; echo cat '/var/irclogs/_esoteric/2011-11-24-raw.txt' | perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_}; " for sort {$j{$b} <=> $j{$a}} keys %j}' 22:33:13 1; 22:33:14 noooooo 22:33:40 `hatesgep 22:33:43 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hatesgep: not found 22:33:49 “EgoBot” (68.9.170.24:10065) 22:34:19 why would anyone hate sgep 22:34:33 `run echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_}; " for sort {$j{$b} <=> $j{$a}} keys %j}' \'$@\' >> bin/hackego 22:34:35 No output. 22:34:38 `run chmod +x bin/hatesgeo 22:34:40 No output. 22:34:46 `hatesgeo 22:34:48 No output. 22:34:52 hates geo 22:35:02 hat esgeo 22:35:05 `fsck 22:35:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: fsck: not found 22:35:07 ha, tesgeo 22:35:20 `run hatesgeo /var/irclogs/_esoteric/2011-11-24-raw.txt 22:35:22 No output. 22:35:23 :( 22:35:49 !bf [.+,.]!123456789 22:35:53 `run cat bin/hatesgeo 22:35:55 123456789 22:35:55 ​#!/bin/sh 22:35:59 ah good goo 22:36:18 `run echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_}; " for sort {$j{$b} <=> $j{$a}} keys %j}' \'$@\' >> bin/hatesgeo 22:36:20 No output. 22:36:23 !bf +[.+,.]!123 22:36:26 123 22:36:26 ​.::HHaallffTTaauuRRSSqquuaarreedd!!~~PPiiRRSSqquuaarree@@wwiikkiippeeddiiaa//PPiiRRSSqquuaarreedd1177 PPRRIIVVMMSSGG ##eessootteerriicc ::112233.. 22:36:27 `rm bin/hackego 22:36:29 No output. 22:36:39 `run chmod +x bin/hatesgeo 22:36:41 No output. 22:36:46 `run hatesgeo /var/irclogs/_esoteric/2011-11-24-raw.txt 22:36:48 ​/hackenv/bin/hatesgeo: 2: Syntax error: "(" unexpected 22:36:51 werhiuweriuywdiuyweiuryweri 22:36:54 ALWAYS WITH THE ( 22:36:59 !bf +[.+,.]!123 22:37:12 123 22:37:12 ​. 22:37:28 ​.::HHaallffTTaauuRRSSqquuaarreedd!!~~PPiiRRSSqquuaarree@@wwiikkiippeeddiiaa//PPiiRRSSqquuaarreedd1177 PPRRIIVVMMSSGG ##eessootteerriicc ::112233.. 22:37:50 WWhhaatt iiss tthhaatt?? 22:38:05 `run echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e \'/:(.*?)!.*JOIN/; $j{$1}++; END {print \"$_ $j{$_};\" for sort {$j{$b} <=> $j{$a}} keys %j}\' \'$@\' >> bin/hatesgeo 22:38:06 Um 22:38:07 bash: -c: line 0: syntax error near unexpected token `(' \ bash: -c: line 0: `echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e \'/:(.*?).!.*JOIN/; $j{$1}++; END {print \"$_ $j{$_};\" for sort {$j{$b} <=> $j{$a}} keys %j}\' \'$@\' >> bin/hatesgeo' 22:38:10 whut 22:38:17 -!- augur_ has joined. 22:38:20 HalfTauRSquared: your bf thing 22:38:36 Am I the only one who say doubles in recent lines? 22:38:57 !bf +[.+] 22:38:58 ​........ 22:39:11 `run echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e \'/:(.*?)!.*JOIN/; $j{$1}++; END {print \"$_ $j{$_};\" for sort {$j{$b} <=> $j{$a}} keys %j}\' \'$@\' >> bin/hatesgeo 22:39:13 bash: -c: line 0: syntax error near unexpected token `(' \ bash: -c: line 0: `echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e \'/:(.*?)!.*JOIN/; $j{$1}++; END {print \"$_ $j{$_};\" for sort {$j{$b} <=> $j{$a}} keys %j}\' \'$@\' >> bin/hatesgeo' 22:39:16 !bf +[.++++] 22:39:17 weroijweoirjwoeijroiwjer 22:39:29 lol 22:39:32 !bf +[.+++] 22:39:46 !bf +[,..........] 22:39:53 good things will now happen 22:39:54 -!- augur has quit (Ping timeout: 240 seconds). 22:39:55 ugh I don't want to escape the quotes 22:40:30 !unlambda .x 22:40:38 -!- Jafet has joined. 22:41:10 !underload (test)S 22:41:10 test 22:41:41 Can I put my nick back now? 22:41:55 -!- HalfTauRSquared has changed nick to PiRSquared17. 22:42:56 `run echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e ''\''/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_};" for sort {$j{$b} <=> $j{$a}} keys %j}'\'' '\''$@'\' >> bin/hatesgeo 22:42:58 No output. 22:43:30 -!- augur_ has quit (Ping timeout: 240 seconds). 22:43:42 `run chmod +x bin/hatesgeo 22:43:45 No output. 22:43:49 `log wikipedia 22:43:55 `run hatesgeo /var/irclogs/_esoteric/2011-11-24-raw.txt 22:43:57 Can't open $@: No such file or directory. 22:44:05 2005-05-04.txt:19:04:06: Ohhhhhhhhh. Hmm. Wikipedia to the rescue I think....... 22:44:08 oh right 22:44:25 `log ook! 22:44:31 2007-07-14.txt:22:28:53: I want to complain. My dog ate my invisible notebook! 22:44:35 `run echo '#!/bin/sh' > bin/hatesgeo; echo perl -n -e ''\''/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_};" for sort {$j{$b} <=> $j{$a}} keys %j}'\'' $@' >> bin/hatesgeo 22:44:37 No output. 22:44:40 `run hatesgeo /var/irclogs/_esoteric/2011-11-24-raw.txt 22:44:42 Sgeo 733;Ngevd 209;HackEgo 144;SgeoN1 117;Notch 117;Slereah 97;kallisti 79;itidus21 76;itidus22 71;pikhq 61;Darth_Cliche 56;MDude 43;copumpkin 43;elliott 41;Rugxulo 40;EgoBot 38;ais523 37; 32;Jafet 27;derdon 25;augur 25;kmc 25;Patashu 23;MSleep 22;pikhq_ 15;monqy 13;Klisz 12;PiRSquared17 12;sebbu2 10;Phantom_Hoover 5;sebbu 5;derrik 5;augur_ 5;itidus20 5;Zuu 4;TheRubberTurkey 3;GreaseMonkey 2;Phantom__Hoover 1;yorick 1; 22:44:45 yesssss 22:44:49 my hate machine is complete. 22:44:51 `log ook 22:44:56 2006-05-07.txt:00:57:52: (Unless of course it is supposed to take the piss out of other fantasy books.) 22:45:02 ... 22:45:03 nice hate machine, kallisti 22:45:05 kallisti, make it take an arbitrary date 22:45:15 `log turing-complete 22:45:18 it takes an arbitrary file, I could improve it to take a date yes. 22:45:21 2009-09-20.txt:22:54:42: is it Turing-complete? 22:45:28 `log turing complete 22:45:34 2008-01-14.txt:21:04:30: 'This language will, by no account, need an infinitely large grid to be Turing complete.' that's not a reason 22:45:39 `run hatesgeo /var/irclogs/_esoteric/2011-11-23-raw.txt 22:45:41 Sgeo 639;Vorpal 180;pikhq 114;augur 90;kallisti 70; 53;Ngevd 47;Darth_Cliche 47;copumpkin 38;glogbot 34;itidus21 31;shachaf 22;SgeoN1 21;Phantom_Hoover 19;oerjan 18;elliott 18;CakeProphet 16;pikhq_ 16;lament 14;monqy 13;HackEgo 12;glogbackup 12;Deewiant 11;myndzi\ 7;sebbu2 7;Patashu 5;ais523 4;calamari 4;plycke 3;kmc 3;Slereah_ 3;Jafet 3;GreaseMonkey 2;Nisstyre 2;EgoBot 2;quintopia 2;mithridates 1; 22:45:53 `log finite st 22:45:58 `run hatesgeo /var/irclogs/_esoteric/2011-11-22-raw.txt 22:45:59 2008-03-14.txt:23:44:19: lament: I was wondering about whether to use an infinite stack of ones in Underlambda 22:46:00 copumpkin 610;Jafet 399;GreaseMonkey 357;Madoka-Kaname 303;ineiros 252;derdon 245;DCliche 234;Phantom_Hoover 232;monqy 196;new2net 165;kmc 144;myndz\ 115;derrik 93;pkzip 89;pikhq 73;Darth_Cliche 72;pikhq_ 70;Lymee 53;MSleep 50;ais523 42;augur 42;oerjan 37;Ngevd 36;Phantom__Hoover 31;augur_ 26; 21;sebbu2 15;MDude 11;derrik_ 6;Slereah 3;FireFly 3;aloril 2;Lymia 2;Sgeo 2;Patashu 1;Nisstyre 1; 22:46:09 someone please ban that fucker 22:46:11 `log finite state 22:46:15 ? 22:46:17 2010-05-24.txt:20:22:37: Zuu, sure it is. But also the official C standard forbids C from having an infinite state. 22:46:17 `run hatesgeo /var/irclogs/_esoteric/2011-11-??-raw.txt 22:46:21 augur 3518;GreaseMonkey 2994;Ngevd 2907;copumpkin 2835;pikhq 1997;elliott 1824;Phantom_Hoover 1812;ais523 1594;zzo38 1384;Sgeo 1384;sebbu2 1365;Patashu 1312;Jafet 1247;Zuu 1204;oerjan 1092;CakeProphet 1020;Darth_Cliche 1010;sebbu 931;pkzip 906;Taneb 903;tiffany 851;derrik 771;pikhq_ 753;hagb4rd 724;derdon 640;Phantom__Hoover 636;Vorpal 586;DCliche 569;Sgeo|web 534;nooga 532;Madoka-Kaname 530;pumpkin 497;SgeoN1 490;monqy 22:46:21 Nisstyre: sorry it's just my hate machine 22:46:42 STOP IT. NOW. 22:46:48 mass hl are bad 22:46:50 ? 22:46:55 derdon: you can't stop an unstoppable hate machine. 22:47:00 at least but some control char in the middle of the nickname 22:47:07 put* 22:47:10 kallisti: fuck this channel 22:47:14 derdon: leave? 22:47:15 -!- derdon has left. 22:47:23 now look what you've done 22:47:30 ask and you shall be heard :p 22:47:30 oh no I've made an idler leave 22:47:56 !underload ( 22:47:57 Error: Expected ) at end of input 22:47:58 '99 bottles of beer' in Underload 22:48:00 written by Keymaker 22:48:02 )!((!!!!!!!!!)(!!!!!!!!!))(~()~(~^:()~((9))~(!(8))~(!!(7))~(!!!(6))~(!!!!(5))~(!!!!!(4))~(!!!!!!(3))~(!!!!!!!(2))~(!!!!!!!!(1))~(!!!!!!!!!(!)*())~^^S~a~a*~a*^:(s)~((9))~(!(8))~(!!(7))~(!!!(6))~(!!!!(5))~(!!!!!(4))~(!!!!!!(3))~(!!!!!!!(2))~(!!!!!!!!~!~(!())~(!)~^^()~(!)~(1))~(!!!!!!!!!!!(!~(!())*~()(no more))~(!(0))~^^()~()~(s)~)~^^S( bottle)SS( of beer)S~!a~a*~):^( on the wall, )S:^(. 22:48:03 Take one down and pass it around, )S~^~((!!!!!!!!))~(!(!!!!!!!))~(!!(!!!!!!))~(!!!(!!!!!))~(!!!!(!!!!))~(!!!!!(!!!))~(!!!!!!(!!))~(!!!!!!!(!))~(!!!!!!!!())~(!!!!!!!!!((!!!!!!!!))~(!(!!!!!!!))~(!!(!!!!!!))~(!!!(!!!!!))~(!!!!(!!!!))~(!!!!!(!!!))~(!!!!!!(!!))~(!!!!!!!(!))~(!!!!!!!!())~()~^^(!!!!!!!!!))~^^a~a*~:^!( on the wall. 22:48:05 )Sa~a*~a*^~^:^):^ 22:48:12 sebbu: you know you can make highlights not annoying and stuff if you really want 22:48:17 * kallisti has his system beep completely turned off. 22:48:19 the best 99 bottles is in perl 22:48:24 shaped like a bottle 22:48:34 I've seen it 22:48:34 kallisti, for me it only change the color of the line and of the channel tab 22:48:48 oh okay good 22:49:03 kallisti, or, you could change your script 22:49:10 !bf +[.+++.+]!1234567898765432123456789876543212345678987654321234567890 22:49:14 123456789 22:49:20 so you're not going to be insufferably lame about the fact that your client program highlights your name when it's used, and then project it on the rest of the world as though they're responsible. 22:49:24 good. good. 22:49:33 sebbu: it's the same for me, but I'm compelled to click on it when it changes colour 22:49:42 kallisti, some people want to know when they're being talked about 22:49:52 well sure. 22:49:54 The hatesgeo thing really doesn't talk about them in a way they're interested in. 22:49:55 perhaps you misunderstood me. 22:49:58 oh 22:50:01 Especially with repeated use. 22:50:02 * Phantom_Hoover → sleep 22:50:05 well, oh well. :P 22:50:08 kallisti, stop being a prick. 22:50:09 -!- Phantom_Hoover has quit (Quit: Leaving). 22:50:10 (which, admittedly, is partly my fault) 22:50:19 But still, fix the script. 22:50:20 -!- PiRSquared17 has left ("leaving"). 22:50:24 man I'm on a roll. total ragequit count: 2 22:50:26 -!- PiRSquared17 has joined. 22:50:37 put a control character in each nick and that will stop it from highlighting 22:50:41 e.g. kallisti 22:50:54 kallisti ? 22:50:56 ? 22:51:03 fungot: weigh in on the matter 22:51:03 kallisti: apocalypse? said death. now... look at this one," she said. 22:51:03 that shouldn't have highlighted you 22:51:04 Nisstyre, that may have difficult with single-character nicks, but f those guys 22:51:15 Nisstyre: it did 22:51:23 Sgeo: oh yeah, but those people will get highlighted a lot anyway 22:51:23 Where's oerjan when you need him? 22:51:31 kallisti: it shouldn't have... 22:51:39 Nisstyre: it's... completely dependent on client behavior 22:51:40 maybe your client removes invisible characters 22:51:42 there is no "should" 22:51:58 Ni$$tyre 22:52:05 that shouldn't have highlighted you 22:52:30 what about kallisti 22:52:37 what about it? 22:52:40 s/it/me/ 22:52:45 does it highlight you? 22:52:47 kåll1$†1 22:52:47 yes it did highlight me. 22:52:52 k​allisti N​isstyre 22:52:55 kåll1$†1 <-- highlight? 22:52:56 okay, so adding colours won't change anything 22:52:58 Do those hilight you? 22:52:58 Sgeo: that one didn't 22:53:13 I guess you could have an algorithm that replaces some characters with "equivalents" 22:53:20 nah 22:53:23 Nisstyre, I did a zero-width breaking space 22:53:24 like a with @ 22:53:24 Sgeo: what character did you use? 22:53:33 Erm 22:53:34 Sgeo: what is that in perl string - ese 22:53:37 Zero-width space 22:53:39 some russian/greek/other alphabet have letter that ressemble latin alphabet 22:53:41 L33t5p33k 22:53:50 zOMG11!!!!!11!yu 22:53:56 It has the Unicode value of U+200B and its HTML entity is ​ 22:54:01 ^^from wikipedia 22:54:13 `log wikipedia 22:54:18 2011-09-21.txt:18:55:45: next thing they'll start giving names and wikipedia articles to distinctive dog piles 22:54:26 @tell Phantom_Hoover I have done absolutely nothing wrong, dickface. :> 22:54:26 on irc there's a control character to reset style 22:54:26 Consider it noted. 22:54:28 ctrl+o 22:54:33 it breaks hl 22:54:36 `log wiktionary 22:54:39 Sgeo 22:54:41 2010-05-19.txt:20:58:36: According to Wiktionary (Swedish) "fönster" is from Latin too. <-- probably. But indirectly 22:54:43 as does color, bold, underline 22:54:50 This channel strips colors 22:55:00 bold too ? 22:55:19 Testing. If this does not appear bold, bold is stripped. 22:55:27 stripped too :( 22:55:35 Just use a zero-width space :/ 22:55:37 kallisti 22:55:41 PiRSquared17: hi 22:55:49 (yes) 22:55:51 allisti 22:55:53 (no) 22:56:06 remove the k 22:56:21 I'm on XChat. On XChat, I go to Insert Unicode Control Character -> ZWS 22:56:25 kallisti 22:56:30 PiRSquared17: you should be TauRSquared 22:56:43 P​iRSquared17 22:56:43 HalfTauRSquared 22:56:52 `log HalfTauRSquared 22:56:57 2011-11-24.txt:22:41:41: Can I put my nick back now? 22:57:05 `log HalfTauRSquared 22:57:10 2011-11-24.txt:22:27:59: really? 22:57:18 Why does no one listen to me? 22:59:15 -!- SgeoN1 has quit (Quit: Bye). 22:59:21 5630 23:00:52 Now, how do I determine whether I'm having driver issues or hardware issues? 23:03:28 Sgeo: you use the same drivers in a virtual machine 23:03:55 Not sure how to fake wifi cards... 23:04:03 onoenoswomenomenwsaomeghce 23:04:14 use QEMU 23:04:43 you can probably do it with that 23:05:23 > text (reverse "onoenoswomenomenwsaomeghce") 23:05:24 echgemoaswnemonemowsoneono 23:13:23 -!- yorick has quit (*.net *.split). 23:13:26 -!- variable has quit (*.net *.split). 23:13:28 -!- twice11 has quit (*.net *.split). 23:13:30 -!- monqy has quit (*.net *.split). 23:13:36 -!- Zwaarddi1k has quit (*.net *.split). 23:13:41 -!- Sgeo has quit (*.net *.split). 23:13:42 -!- PiRSquared17 has quit (*.net *.split). 23:13:46 -!- kallisti has quit (*.net *.split). 23:13:46 -!- Nisstyre has quit (*.net *.split). 23:13:50 -!- jix has quit (*.net *.split). 23:13:50 -!- yiyus has quit (*.net *.split). 23:13:51 -!- atehwa has quit (*.net *.split). 23:13:51 -!- Betawolf has quit (*.net *.split). 23:13:51 -!- rodgort has quit (*.net *.split). 23:13:52 -!- GreaseMonkey has quit (*.net *.split). 23:13:56 -!- lambdabot has quit (*.net *.split). 23:13:59 -!- pikhq_ has quit (*.net *.split). 23:13:59 -!- Zuu has quit (*.net *.split). 23:14:02 -!- fungot has quit (*.net *.split). 23:14:05 -!- fizziew has quit (*.net *.split). 23:14:06 -!- HackEgo has quit (*.net *.split). 23:14:07 -!- myndzi\ has quit (*.net *.split). 23:14:09 -!- shachaf has quit (*.net *.split). 23:14:11 -!- Deewiant has quit (*.net *.split). 23:14:12 -!- coppro has quit (*.net *.split). 23:14:15 -!- itidus22 has quit (*.net *.split). 23:14:15 -!- aloril has quit (*.net *.split). 23:14:20 -!- fizzie has quit (*.net *.split). 23:14:37 -!- KnucklesTheEchid has joined. 23:14:38 -!- HackEgo has joined. 23:14:38 -!- pikhq_ has joined. 23:14:38 -!- GreaseMonkey has joined. 23:14:38 -!- Zuu has joined. 23:14:38 -!- monqy has joined. 23:14:38 -!- myndzi\ has joined. 23:14:38 -!- kallisti has joined. 23:14:38 -!- Nisstyre has joined. 23:14:38 -!- fungot has joined. 23:14:38 -!- lambdabot has joined. 23:14:38 -!- shachaf has joined. 23:14:38 -!- Zwaarddi1k has joined. 23:14:38 -!- Betawolf has joined. 23:14:38 -!- jix has joined. 23:14:38 -!- rodgort has joined. 23:14:38 -!- atehwa has joined. 23:14:38 -!- yiyus has joined. 23:14:38 -!- fizziew has joined. 23:14:38 -!- Deewiant has joined. 23:14:38 -!- coppro has joined. 23:14:45 -!- KnucklesTheEchid has changed nick to netsplit. 23:14:52 -!- netsplit has changed nick to net_split. 23:14:57 -!- net_split has changed nick to _net_split. 23:15:29 -!- itidus22 has joined. 23:15:29 -!- aloril has joined. 23:15:29 -!- fizzie has joined. 23:15:47 -!- yorick has joined. 23:15:47 -!- variable has joined. 23:15:47 -!- twice11 has joined. 23:19:39 -!- oerjan has joined. 23:21:32 <_net_split> yo 23:21:57 hello, disguised round one 23:22:19 -!- _net_split has changed nick to PiRSquared17. 23:22:48 `welcome HackEgo 23:22:51 HackEgo: 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 23:23:43 `welcome `welcome` 23:23:45 ​`welcome`: 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 23:23:58 Can I put my nick back now? 23:24:00 PiRSquared17: No. 23:24:07 I did 23:24:44 kallisti: fuck this channel 23:24:46 a terrible loss 23:25:43 * Phantom_Hoover → sleep @tell Phantom_Hoover I have done absolutely nothing wrong, dickface. :> 23:25:46 kallisti: im sure he left because of you 23:26:09 http://dpaste.com/661394/ 23:26:36 yes? 23:26:53 Did I do that? 23:26:58 yes. 23:27:52 I broke one of the tubes? 23:28:33 two of the tubes, actually 23:28:51 I'll have to buy a new internet? 23:29:09 it _is_ a little annoying searching for my nick in the logs lately. 23:29:10 one per person you hurt 23:30:14 -!- PiRSquared17 has left. 23:30:19 bye 23:30:41 -!- PiRSquared17 has joined. 23:30:46 hi 23:31:19 `whereis Paris 23:31:21 Paris: 23:31:42 is paris real 23:31:52 `whereis WallaWalla 23:31:54 WallaWalla: 23:31:59 `whereis Walla Walla 23:32:01 Walla Walla: 23:32:08 is walla walla real 23:32:15 yes 23:32:26 http://enwp/Walla Walla 23:32:32 http://enwp/Walla_Walla 23:32:47 http://enwp.org/Walla_Walla 23:33:02 really real 23:33:21 http://en.wikipedia.org/wiki/Walla_Walla_people 23:33:28 elliott: yeah dude he totally did 23:33:31 Walla Walla people? 23:33:32 elliott: he was so angry man 23:33:33 bahahaha 23:33:34 realest 23:34:06 `whereis wheris 23:34:08 wheris: 23:34:08 `whereis whereis 23:34:11 whereis: /usr/bin/whereis /usr/share/man/man1/whereis.1.gz 23:34:13 `which which 23:34:15 ​/usr/bin/which 23:34:16 thereis 23:34:18 that 23:34:20 `ls ls 23:34:23 ls: cannot access ls: No such file or directory 23:34:31 `cd cd 23:34:32 `cat `which cat` 23:34:33 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cd: not found 23:34:34 cat: `which cat`: No such file or directory 23:34:38 `run cat `which cat` 23:34:40 ​ELF... 23:34:45 `cat canary 23:34:47 No output. 23:34:59 `vim vigor 23:35:03 Vim: Warning: Output is not to a terminal \ .[1;24r.[?25h.[?8c.[?25h.[?0c.[27m.[24m.[0m.[H.[J.[?25l.[?1c.[24;1H"vigor" [New File].[2;1H.[1m.[34m~ .[3;1H~ .[4;1H~ .[5;1H~ 23:35:03 underload is pure 23:35:10 `run welcome `welcome` 23:35:13 Welcome: 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 23:35:19 underload is just a monoid with relations, what's the problem? 23:36:01 oerjan: heh 23:36:29 `run `echo `cat `which cat``` 23:36:31 ​ELF... 23:36:55 catwhich 23:37:02 which cat 23:37:07 !bf +[-<+]-ÿ<<<<<<<[.>] 23:37:20 ÿ 23:37:26 !bf +[-<+]-ÿ<<<<<<<[.>]!foo 23:38:12 mmm thanksgiving 23:38:15 so many calories 23:38:23 -!- Sgeo has joined. 23:38:31 Sgeo: hi tethersgeo 23:38:55 (x)(y)* = (xy), (x)^ = x, (x)(y)~ = (y)(x), (x): = (x)(x), (x)a = ((x)), (x)! = , (x)(y)S = (y)S(x) 23:38:59 !hq9+ q 23:39:08 !help 23:39:08 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 23:39:21 !help languages 23:39:22 ​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. 23:39:35 no HQ9+? 23:39:37 !help userinterps 23:39:38 ​userinterps: Users can add interpreters written in any of the languages in !help languages. See !help addinterp, delinterp, show | !userinterps. List interpreters added with !addinterp. 23:39:45 *=, 23:39:57 `word 25 23:39:58 er scratch that *=, 23:39:59 !addinterp 23:39:59 ​There is already an interpreter for ! 23:40:01 innersenianapotcheaynimilaya cali hquent inee vidhayas cn sultenseokereprowe uneyerasseeauteptorshwairinisiftierottauturmhamis terant cal rud pu nentableyes tt iiiger virfisbywinewal tre reten va somysterebelatimcd silhe as samette nan batime 23:40:32 oh, (x)S(y)S = (xy)S 23:40:36 !userinterps 23:40:36 ​Installed user interpreters: acro aol austro bc bct bfbignum brit brooklyn bypass_ignore bytes chaos chiqrsx9p choo cpick ctcp dc decide drawl drome dubya echo ehird elmer fudd google graph hello id insanetemp jethro kraut lperl lsh map monqy num numberwang ook pansy pi pikhq ping pirate plot postmodern postmodern_aoler prefixes python redneck reverse rimshot rot13 rot47 sadbf sanetemp sfedeesh sffedeesh simplename slashes svedeesh swedish valspeak wacro warez 23:40:50 !hello test 23:40:54 Unknown command (test) encountered 23:41:00 !hello . 23:41:01 Unknown command (.) encountered 23:41:01 PiRSquared17: write your own hq9+ interp 23:41:11 in what language? 23:41:20 perl 23:41:23 i dun care 23:41:23 most esoteric 23:41:36 how about underload 23:41:38 I did it in JS once... 23:41:39 -!- augur has joined. 23:41:50 PiRSquared17: it has to be a language that egobot can interpret 23:42:06 ok 23:42:13 my poor yodawg keeps slipping off the !userinterps list 23:42:24 !yodawg sup 23:42:36 :( 23:42:44 !wacro 23:42:50 that should give an error... was there DCC? 23:42:57 nope 23:43:07 oh wait no, 23:43:21 it's the program s, which does nothing, followed by input up 23:44:10 !yodawg `.g`.w`.a`.d`.o`.yi 23:44:10 yodawg 23:44:42 !help addinterp 23:44:42 ​addinterp: !addinterp . Add a new interpreter to EgoBot. This interpreter will be run once every time you type ! , and receive the program code as input. 23:46:04 !addinterp recursionTest recursionTest . 23:46:04 ​Interpreter recursionTest does not exist! 23:46:52 early binding 23:46:57 !help languages 23:46:57 ​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. 23:48:13 !addinterp helloworld underload (Hello, world!)S 23:48:13 ​Interpreter helloworld installed. 23:48:14 no HQ9+? <-- there is my chiqrsx9+ extension 23:48:40 which !(.*?) is that 23:48:48 ? 23:49:04 !helloworld 0 23:49:05 Hello, world! 23:49:15 !chiqrsx9p qq 23:49:15 qq 23:49:29 another line in DCC 23:49:30 !ok 23:49:44 !chiqrsx9p 9 23:49:44 99 bottles of beer on the wall, 23:49:58 ? 23:50:03 dcc 23:50:14 PiRSquared17: you should see a DCC CHAT connection trying to open for the remaining lines 23:50:29 I don't 23:50:42 it's what EgoBot does for all > 1 line output 23:50:50 PiRSquared17: it may be hidden in a status line 23:51:07 er, status window 23:51:15 or something 23:51:30 which dialect of bf is !bf ? 23:51:37 16-bit, i think 23:51:39 (EOF=0?) 23:51:46 oh, not sure 23:52:15 er, well EOF=0 tends to work in practice. hm... 23:52:22 !bf ,[.,]!123 23:52:38 apparently not ! supporting 23:52:38 ​:oerjan!oerjan@129.241.210.46 PRIVMSG #esoteric :apparently not ! supporting. 23:52:45 EgoBot is just broken 23:52:47 WAT 23:52:57 !bf ,[.,] 23:53:00 rtxrhxhrtdrthcdtjc 23:53:03 is this ! something regular 23:53:15 Gregor: that was WEIRD 23:53:27 !bf ,[.,]!123 23:53:29 !bf ,[...,...]! 23:53:31 abcdefg 23:53:31 !bf ,[.,]!123 23:53:31 ​:PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :!bf ,[.,]!123. 23:53:34 PiRSquared17: it's not _supposed_ to read following lines afaik :P 23:53:46 It does... 23:53:47 !bf ,[...,...]!123 23:53:55 egobot listen to me... 23:53:58 Gregor: crazy bug there 23:54:01 !bf ,[.,]!123 23:54:04 !bf ,[.,]!123 23:54:05 ​:PiRSquared17!~PiRSquare@wikipedia/PiRSquared17 PRIVMSG #esoteric :!bf ,[.,]!123. 23:54:10 you aren't putting enough . in there 23:54:19 x-cz-command:dcc-decline%203705 23:54:30 What the heck? 23:54:35 maybe it actually requires a ! in the message to see it 23:54:43 but it's still a bug 23:54:56 anyway 23:54:59 oerjan: did you not see where it duplicated a line above 23:55:05 !bf ++++++++++++++++++++++++++.......................!23qw34sdrt' 23:55:06 ​....................... 23:55:16 !bf +++++++++++++++++++++++++.......................!23qw34sdrt' 23:55:16 ​....................... 23:55:18 !bf ,[...,]!123 23:55:18 -!- augur has quit (Ping timeout: 252 seconds). 23:55:19 egobot! 23:55:23 noo 23:55:24 elliott: er isn't that what i was talking about? 23:55:37 !bf +[...,]!123 23:55:39 egobot! 23:55:39 ​...:::mmmooonnnqqqyyy!!!~~~ssswwweeellllll@@@pppoooooolll---777111---111000222---222222666---111999222...sssnnnlllooocccaaa...dddssslll---www...vvveeerrriiizzzooonnn...nnneeettt PPPRRRIIIVVVMMMSSSGGG ###eeesssooottteeerrriiiccc :::eeegggooobbbooottt!!!... 23:55:40 22:36:23: !bf +[.+,.]!123 23:55:40 22:36:26: 123 23:55:40 22:36:26: ​.::HHaallffTTaauuRRSSqquuaarreedd!!~~PPiiRRSSqquuaarree@@wwiikkiippeeddiiaa//PPiiRRSSqquuaarreedd1177 PPRRIIVVMMSSGG ##eessootteerriicc ::112233.. 23:55:43 !bf ,[,.]!|<--augur has left freenode (Ping timeout: 252 seconds) 23:55:45 !bf ,[,.]!|<--augur has left freenode (Ping timeout: 252 seconds) 23:55:49 thank you egobot 23:55:51 for listening 23:55:58 LOLOL 23:56:28 !addinterp cat bf ,[.,] 23:56:29 ​Interpreter cat installed. 23:56:33 !cat testing 23:56:33 testing 23:56:38 monqy: ppprrriiivvvmmmsssggg 23:56:56 it gave me a dcc but i'm not listening 23:56:56 that's how you actually do it, no idea if ! is supposed to work or not 23:56:58 !cat 23:56:59 hello! 23:57:18 !delinterp cat 23:57:18 ​Interpreter cat deleted. 23:57:19 cccaaattt... 23:57:31 mmmooonnnqqqyyy 23:57:44 oh it's obviously EOF 0 to halt with that program 23:57:46 `addquote ​...:::mmmooonnnqqqyyy!!!~~~ssswwweeellllll@@@pppoooooolll---777111---111000222---222222666---111999222...sssnnnlllooocccaaa...dddssslll---www...vvveeerrriiizzzooonnn...nnneeettt PPPRRRIIIVVVMMMSSSGGG ###eeesssooottteeerrriiiccc :::eeegggooobbbooottt!!!...22:36:23: !bf +[.+,.]!12322:36:26: 12322:36:26:... 23:57:48 ... ​.::HHaallffTTaauuRRSSqquuaarreedd!!~~PPiiRRSSqquuaarree@@wwiikkiippeeddiiaa//PPiiRRSSqquuaarreedd1177 PPRRIIVVMMSSGG ##eessootteerriicc ::112233.. 23:57:48 736) .​...:::mmmooonnnqqqyyy!!!~~~ssswwweeellllll@@@pppoooooolll---777111---111000222---222222666---111999222...sssnnnlllooocccaaa...dddssslll---www...vvveeerrriiizzzooonnn...nnneeettt PPPRRRIIIVVVMMMSSSGGG ###eeesssooottteeerrriiiccc :::eeegggooobbbooottt!!!....22:36:23: !bf +[.+,.]!123.22:36:26: 123.22:36:26:... 23:57:54 very quotable 23:58:08 * kallisti waits. 23:58:10 !delquote 736 23:58:12 er 23:58:13 I keep thinking that maybe my connection is being weird 23:58:14 `delquote 736 23:58:16 ​*poof* ​...:::mmmooonnnqqqyyy!!!~~~ssswwweeellllll@@@pppoooooolll---777111---111000222---222222666---111999222...sssnnnlllooocccaaa...dddssslll---www...vvveeerrriiizzzooonnn...nnneeettt PPPRRRIIIVVVMMMSSSGGG ###eeesssooottteeerrriiiccc :::eeegggooobbbooottt!!!....22:36:23: !bf +[.+,.]!123.22:36:26: 123.22:36:26:... 23:58:17 LOL SO MUCH 23:58:35 But that makes nop sense 23:58:50 that's what's funny 23:58:56 that it isn't funny? 23:58:56 !cat y 23:58:58 !cat y 23:58:59 ha. ha. ha. 23:59:00 !cat y 23:59:02 ? 23:59:03 `yes 23:59:05 y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y \ y 23:59:06 monqy: tricycle butt 23:59:06 ha 23:59:06 y 23:59:09 ha ha 23:59:16 `yes kallisti 23:59:18 kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti \ kallisti 23:59:30 `yes `yes 23:59:32 ​`yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes \ `yes 23:59:40 ,hatesgeo on every logfile