00:00:16 is wisdom/intelligence impossible without the capacity to process sensation/input? 00:00:32 i inverted the question too... 00:00:41 i find that a bit weak definition of sentient 00:00:48 _any_ computer would qualify 00:00:52 quintopia: that's a rubbish replacement, but: yes, it is impossible 00:00:53 i chose a weak definition on purpose 00:01:10 (well any non-broken one) 00:01:37 hm this reminds me of _another_ H2G2 quote 00:02:05 it highlights the distinction well: alise says it's impossible for something to be sapient without doing something so simple every computer already qualifies as being able to do ti 00:04:06 indeed, i like to believe 1) computers _are_ sentient and 2) sentience is not necessarily a prerequisite for sapience, just as I/O is not a prerequisite for TCness 00:04:45 so the coords are w[y,x]? 00:04:53 cheater99: yes. can i have the code as it is now? i have to go 00:05:02 quintopia: computers are not sentient. 00:05:04 -!- iGO has quit. 00:05:15 alise: be patient. he can always give you the code tomorrow. 00:05:16 just a sec 00:05:33 quintopia: i did not ask you 00:05:40 i want to look at it before i go 00:06:13 ok uploadink 00:06:26 alise: i didn't ask you either 00:07:10 "And to this end they built themselves a stupendous super computer which was so amazingly intelligent that even before the data banks had been connected up it had started from I think therefore I am and got as far as the existence of rice pudding and income tax before anyone managed to turn it off." 00:07:13 sentience is a very poorly defined thing out there in the real world, so I chose a meaning for it that at least has some measure of testableness to it 00:07:42 (that was damn hard to find exactly) 00:07:59 that is an impressive computer inded 00:08:43 http://pastie.org/1201911.txt?key=2qq4jgnuxzulqebaa8la 00:09:18 cheater99: dude, you have all these unnecessary spaces! :| 00:09:31 that's to confuse you 00:09:45 so you think.. 00:09:54 "gee, that guy is writing well-formatted code." 00:10:05 then you look at this. ((B-11+o(1,11-B))*(1-2*(r(0,10)/10))),(A-40+o(1,40-A)*(1-2*(r(0,10)/10))) 00:10:16 which is the whole of the monster AI 00:10:32 oerjan: you know how they made it so smart? ... pair programming 00:10:44 cheater99: what the hell does it do? 00:10:53 haha 00:10:58 cpressey: no they used the FULL POWER OF XP! 00:11:27 alise: there's no telling. 00:11:28 why do you not write to w directly? 00:11:54 well, hasn't mom told you not to clobber data structures you're looping over? 00:12:23 you're not looping over it with a for loop 00:12:27 just iteration 00:12:28 so it's fine 00:12:33 no, it's not 00:12:45 unless you like your monsters to attain the speed of light 00:12:50 sure 00:12:56 when they're above you in the screen. 00:12:58 :| 00:13:06 i will have to shorten it you understand >:) 00:13:11 alise: you should follow his lead and replace all your randints with r 00:13:16 won't happen 00:13:17 yeah i will 00:13:57 w[v] > 9000: 00:13:59 dear god what 00:14:06 ahahahaha 00:14:13 cheater99: THERE IS NO CHARACTER 9000 00:14:25 no 00:14:28 but what if it's over 9000? 00:14:31 but there will be characters OVER 9000. 00:14:36 cheater99: why 00:14:43 because i told you why. 00:14:48 no you didn't 00:14:56 * oerjan swats alise -----### 00:14:56 yes i did 00:15:01 MEME DETECTION ERROR 00:15:05 except 9=1 00:15:06 19:12 < cheater99> when they're above you in the screen. 00:15:12 no 00:15:17 shh quince 00:15:22 alise: it's for gold monsters 00:15:24 omg unicode roguelike display 00:15:25 oerjan: it's in code 00:15:27 cheater99: what 00:15:29 i.e. G's 00:15:37 since when are there Gs 00:15:38 monsters carrying gold 00:15:43 are G's. 00:15:57 they lvl up with gold 00:16:06 neat 00:16:11 ! 00:16:14 you realise that still none of this tries to go near the player :D 00:16:15 which was the idea 00:16:25 well you have to stop running away 00:16:34 otherwise of course they'll be confused 00:17:04 cheater99: i think he wants monsters that behave exactly like DROD roaches 00:17:23 * oerjan read that as DROP 00:17:33 any relation to drop bears... 00:17:33 -!- FireFly has quit (Quit: swatted to death). 00:17:45 there's a nice exception being generated somewhere 00:17:46 oshit. oerjan is in meme mode 00:17:49 and with that, i'm off to sleep 00:18:08 and btw, something's still a bit fucked :D 00:18:13 because they jump around 00:18:17 but they haven't before 00:18:19 which is weird 00:18:37 alise: what's needed is a log window 00:19:05 log to the serial port 00:19:11 cheater99: naw 00:20:09 everyone loves a log! 00:20:27 it's big, it's heavy, it's wood 00:20:32 what rolls down stairs/ alone or in pairs/ rolls over your neighbors dog? 00:20:44 found why they were fucked 00:20:52 ((B-11+o(1,11-B))*(1-2*(r(0,10)/10))),(A-40+o(1,40-A)*(1-2*(r(0,10)/10))) 00:20:57 try this 00:23:04 what is the ai logic? 00:24:06 if i'm reading that right, it just moves closer by a random amount random speed probability thing 00:24:08 this is the ai logic 00:24:13 hyperparainconsistent antiintuitive metapredicate illogic 00:24:26 there is no ai logic other than what i have posted 00:24:30 that line 00:24:59 explain it :P 00:25:13 oerjan: NO 00:25:37 alise: it's not even esoteric 00:25:41 alise: it's just arithmetic -_- 00:25:43 cpressey: YES and i agree 00:25:47 alise: pls try harder 00:25:47 cheater99: yes but i'm tired 00:25:50 and have a headache 00:25:54 and one of my keys broke 00:25:56 well leave it for tomorrow :p 00:25:59 and i forgot what the functions are 00:26:04 you'll enjoy it tomorrow 00:26:09 instead of having it given to you today 00:26:19 alise: start by expanding r to randint and o to copysign 00:27:08 they are chasing the player now 00:27:09 :D 00:27:12 cool 00:27:12 its curry-howard isomorphism can only be expressed in extended Malbolge 00:27:14 now to implement G's 00:29:08 cheater99: i'm not actually trying this game, but the player is always at the center, right? 00:29:09 cheater99: i approve not of your fork ;) 00:29:14 quintopia: no. 00:29:15 goodnight bye. 00:29:16 -!- alise has quit (Quit: Leaving). 00:29:20 no. 00:29:46 * quintopia considers more 00:31:16 i guess i don't know what X and Y are supposed to be 00:31:56 is that the current location on the map of the screen top left? 00:33:17 looks right. so then you're looping over the visible screen, and when you find... 00:35:56 a Q? 00:36:05 monster? 00:42:40 and moves it randomly to the left or right, up or down each with probability 1/4 iirtc 00:42:45 -!- olsner has quit (Read error: Operation timed out). 00:47:01 -!- wareya has quit (Read error: Connection reset by peer). 00:48:10 -!- wareya has joined. 00:50:08 http://pastie.org/private/gaqwdbng4srklx1adb2o6g 00:50:11 there u go 00:51:39 been factored in, i can only assume they give chase now :D 00:52:13 s/been/seeing as have x and y have been/ 00:52:39 lagsauce :/ 00:52:44 ? 00:52:47 lag? 00:52:48 in what? 00:56:37 copysign, huh 00:57:07 -!- bsmntbombdood has quit (Read error: Operation timed out). 00:58:33 -!- olsner has joined. 01:01:54 also known as o( , ) 01:04:42 -!- cpressey has quit (Ping timeout: 240 seconds). 01:08:27 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 01:24:17 -!- Zuu has changed nick to WobblingZuu. 01:25:10 -!- augur has joined. 01:25:15 Hi everyone 01:25:59 -!- WobblingZuu has changed nick to Zuu. 01:26:48 -!- olsner has quit (Ping timeout: 240 seconds). 01:35:31 -!- augur has quit (Ping timeout: 240 seconds). 01:42:46 -!- aschueler has joined. 01:49:26 -!- augur has joined. 01:59:39 -!- augur has quit (Ping timeout: 240 seconds). 02:04:52 -!- augur has joined. 02:05:42 > do Just test <- Right Nothing; return "hm" 02:05:42 Ambiguous type variable `a' in the constraints: 02:05:43 `GHC.Show.Show a' 02:05:43 a... 02:06:08 > do Just test <- Right Nothing; return "hm" :: Either String String 02:06:09 Left "Pattern match failure in do expression at :1:136-139" 02:13:52 -!- Mathnerd314 has quit (Ping timeout: 245 seconds). 02:24:19 -!- bsmntbombdood has joined. 02:30:13 *sigh* We're really getting down to needing desperate measures to force IPv6 transitioning. 02:30:54 The ipv4 rapebot. 02:31:24 Something like a major IXP threatening to drop people who don't dual-stack. 02:31:34 IXP? 02:31:43 Internet Exchange Point. 02:31:45 Oh, Internet eXchange Point? 02:31:46 Ah 02:31:48 >.> 02:31:50 Internet Extermination Protocol 02:32:15 Y'know, where there's tons of peering. 02:32:35 yeah that's probably where the CIA peers over our shoulders 02:32:47 *ba-dum ching* 02:35:27 *ipv4 rapebot rolls in* 02:35:41 VZZZZT DOES YOUR NETWORK SUPPORT IPV6? 02:36:07 Uhh, no, not yet, we're planning on adding support once there's customer demand for it, b-- 02:36:47 UNACCEPTABLE RESPONSE. ASSUME PROSTRATE POSITION. BEGINNING INSERTION PROCEDURE. 02:37:01 -!- augur has quit (Ping timeout: 252 seconds). 02:38:35 oerjan: The NSA actually does have black rooms in US IXPs. (citation: Hepting v. AT&T) 02:39:02 pikhq: hey puns can be based on facts too 02:39:11 Heh... IPv6 is bit lacking. There's no way to properly configure the last mile... 02:39:17 *autoconfigure 02:39:32 Ilari: Whaddya mean? 02:40:11 -!- antivigilante has joined. 02:40:27 pikhq: DHCPv6: Support is poor. RA: Can't configure DNS (at least in most cases). 02:40:46 And no, don't say RDNSS, I know about that. 02:41:04 Clearly we should also have the IPV4 Rapebot go to work on router manufacturers. 02:41:50 More like OS manufacturers... 02:42:02 Which OSes don't support it? 02:42:46 IPV4 Rapebot has many skills. 02:42:48 Aside from XP, which is *more deprecated than Windows 3.1 was when it came out*. 02:42:55 It can rape anyone in need of rape. 02:43:32 pikhq: In spite of the fact that everyone uses it :P 02:43:54 Gregor: Yes, but Microsoft is about to pull the plug on security updates, and that's *all the support it is getting*. 02:43:56 * Ilari grabs some OS updates over IPv6... 02:44:52 That said, if it's that big of an issue, IPV4 Rapebot can go to work on Microsoft. 02:44:59 Surely they can add one more feature. 02:46:09 there is the danger though that microsoft might reverse engineer Rapebot for their own purposes 02:46:21 oerjan: They call it Clippy. 02:46:35 Today's IANA depletion date estimates: 2011-04-20 and 2011-06-01. 02:47:30 Based on current uptake rates, we will be on IPv6 at about 3000. 02:50:24 Soon the IPv6 migration plan in most places will look like this: http://www.codinghorror.com/blog/2009/12/our-disaster-recovery-plan.png 02:51:51 *many 02:53:10 Why the hell aren't ISPs dual-stack *right now*? 02:55:39 Oh, would you look at that. NTT in Japan (*the* phone company) has offered end-user IPv6 for 10 years now. 02:56:28 Clearly you can only move forward with IPv6 if you're willing to offer gigabit to the home. 03:01:51 Offered? 03:01:56 Does the customer have to know about it? 03:02:00 :/ 03:05:47 -!- iGO has joined. 03:24:58 -!- Mathnerd314 has joined. 03:33:27 -!- Quadrescence has quit (Ping timeout: 245 seconds). 03:36:35 -!- sebbu has quit (Ping timeout: 276 seconds). 03:45:10 -!- Quadrescence has joined. 03:54:09 Welp, trying to get Teredo running and failing somehow. 04:00:53 Somehow, my NAT is untraversible. 04:01:24 how unNATural 04:01:26 -!- antivigilante has quit (Ping timeout: 276 seconds). 04:02:09 Somehow "Teredo" sounds better than "Shipworm". 04:02:27 :-) 04:02:36 * pikhq shall be waiting on Sixxs, then. 04:02:51 And I can't use Hurricane Electric because the router here *denies pings*. 04:04:51 NAT on what device? 04:05:11 Stepdad's router. 04:05:23 And presumably no way to portforward protocol 41... 04:05:23 He's perversely paranoid about security. 04:05:45 Though ironically it supports UPnP hole punching. 04:06:00 Proof that a computer science degree does not net you common sense. 04:08:31 The computer that protocol 41 was forwarded to could then route the data for the rest... 04:08:55 -!- lament has joined. 04:09:14 -!- augur has joined. 04:10:21 UPnP hole punching does TCP ports only. 04:10:36 -!- oerjan has quit (Quit: Reboot). 04:11:46 Quite convenient for BitTorrent, but not much else. 04:12:00 And malware... 04:12:19 Quite true. 04:15:04 -!- oerjan has joined. 04:15:05 pikhq: Teredo not working is probably means one or both of two things: 1) NAT is symmetric or 2) There's extensive port blocking. 04:18:42 Ilari: I *doubt* it's symmetric NAT, so I'm going with UDP port blocking. 04:23:26 -!- antivigilante has joined. 04:27:21 So definitely waiting on Sixxs. 04:45:32 Motherfucking 04:45:35 States now charging for use of public defenders. 04:47:37 Heh... Spammer fined $1,068,928,721.46 04:57:48 NOT ENOUGH 04:57:58 We must steal his bones! 05:00:40 how can you charge for a public defender? 05:00:50 bsmntbombdood: "Fuck the Supreme Court" 05:01:19 oh 05:01:46 Basically: by doing so, and nobody appeals it. 05:02:54 -!- augur has quit (Ping timeout: 240 seconds). 05:25:26 night\ 05:30:11 -!- Sgeo has quit (Ping timeout: 265 seconds). 05:44:27 -!- Sgeo has joined. 05:53:18 -!- augur has joined. 05:53:52 -!- Sgeo has quit (Ping timeout: 245 seconds). 05:58:03 -!- GreaseMonkey has joined. 06:18:40 -!- oerjan has quit (Quit: leaving). 06:33:32 -!- sftp has quit (Remote host closed the connection). 07:19:20 -!- tombom has joined. 07:23:43 -!- augur has quit (Remote host closed the connection). 07:24:07 -!- augur has joined. 07:25:32 -!- zeotrope has quit (Ping timeout: 276 seconds). 07:35:54 hi 07:43:40 -!- Mathnerd314 has quit (Remote host closed the connection). 07:45:30 -!- olsner has joined. 07:52:34 -!- tombom has quit (Quit: Leaving). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:05:53 -!- zeotrope_ has joined. 08:40:02 egg foo young is so delicious omg 08:43:35 egg wat? 08:47:08 egg foo young 08:47:14 its basically a chinese-style omelette 08:47:24 Do you 08:47:28 Pity the foo 08:47:32 no 08:47:35 what's the diff 08:47:37 ? 08:47:43 cheater99: in theory, nothing 08:47:48 in practice, EVERYTHING 08:47:53 splain 08:48:39 i dont know exactly how to explain it 08:48:50 This dish is prepared with beaten eggs and minced ham. From these dishes, Chinese chefs in the United States, at least as early as the 1930s, created a pancake filled with eggs, vegetables, and meat or seafood. 08:48:52 there you go 08:48:55 explained in two sentences. 08:49:26 that just describes an omelette :| 08:50:04 it says "pancake" but egg foo young doesnt have any bread 08:50:10 so who knows what that writer was thinking 08:53:07 pancakes usually don't have any bread in them. 08:53:36 well, they're a bread-like food 08:53:43 doughy 08:53:51 or batter-y, in this case 08:54:00 but egg foo young doesnt have batter 08:57:08 you know a lot about this 08:57:20 well, i just ate some! 08:57:20 are you a batter specialist? 08:57:21 so 08:57:25 the master batter 08:57:27 batterologist, in fact 08:57:33 *rimshot* 08:58:13 interestingly, theres a fine line between batter and scrambled egg 08:58:37 oh? 08:59:39 well, batter is flour, with some other stuff, potentially egg, and often a liquid like milk 08:59:50 you can easily imagine adding some milk to egg for flavoring or consistency 08:59:54 or some flour similarly 09:00:00 but in small quantities 09:00:09 and still its a kind of fried egg, right 09:00:24 so when does it stop being fried egg 09:00:30 i like my pancakes very eggy 09:00:52 if i used slightly more egg, it would almost be hard to call pancakes 09:01:04 -!- lament has quit (Ping timeout: 265 seconds). 09:01:13 when does it cross from egg stuff to batter stuff 09:01:14 who knows! 09:54:17 -!- zeotrope_ has quit (Ping timeout: 245 seconds). 10:17:55 -!- zeotrope has joined. 10:20:59 -!- iGO has quit. 10:32:11 -!- GreaseMonkey has quit (Quit: Welcome honored guest. I got the key you want! would you like onderves. of Yourself). 11:08:25 -!- sebbu has joined. 11:38:43 i want to believe the reason xkcd has been sucking more than usual lately is that he's been spending most of his time working on this map...but given how much free time he must have, I'm not holding my breath. 11:44:23 Does he have a job? 11:44:38 Or does he just get internet money 12:13:46 He lives off of xkcd 12:14:08 this map is the sort of thing that would go great on a pictoblog! 12:15:52 -!- Sgeo has joined. 12:27:24 Vorpal: hi <-- yes? 12:41:37 -!- antivigilante has quit (Ping timeout: 240 seconds). 12:48:46 -!- iGO has joined. 12:53:08 -!- ais523 has joined. 12:56:22 -!- Sgeo has quit (Ping timeout: 245 seconds). 13:04:22 -!- sftp has joined. 13:05:12 -!- ais523 has quit (Remote host closed the connection). 13:06:25 -!- ais523 has joined. 13:27:34 -!- ais523 has quit (Remote host closed the connection). 13:34:34 -!- zeotrope has quit (Ping timeout: 240 seconds). 14:20:58 -!- FireFly has joined. 14:39:23 -!- cpressey has joined. 14:51:15 -!- BeholdMyGlory has joined. 14:54:32 -!- augur has quit (Ping timeout: 276 seconds). 15:41:45 -!- alise has joined. 15:41:58 oh bloody hell, my g key is still broken 15:47:04 -!- Phantom_Hoover has joined. 15:49:05 * Phantom_Hoover looks at the map of Agora. 15:49:24 "COPPRO STRAIGHT" ← the very same? 15:56:15 yes. 15:56:17 that's new 15:56:27 i disapprove of the modernisation >_> 15:59:08 I DISAPPROVE OF MUTABILITY 16:00:44 * Phantom_Hoover has discovered that finite naturals in Coq are trickier than they first appear. 16:01:53 pikhq: FIX IT 16:01:58 Phantom_Hoover: finite naturals? 16:02:03 you mean |Fin n| = n? 16:02:09 it's easy 16:02:21 I said "tricky", not "hard". 16:02:36 Defining them is easy enough. 16:02:44 Inductive fin : nat -> Set := fz : forall n, fin n | fs : fin n -> fin (S n) 16:02:52 you can also define a function fin : nat -> Set 16:02:55 this is sometimes more useful 16:03:21 Well, for that definition |fin n| = S n, but whatever. 16:04:10 -!- augur has joined. 16:07:41 Phantom_Hoover: erm, is it? 16:07:47 fin 0 = {fz : fin 0} 16:07:53 Yep. 16:07:55 fin 1 = {fz : fin 1, fs fz : fin 1} 16:08:01 It's irrelevant, though. 16:08:02 right 16:08:07 Inductive fin : nat -> Set := fz : forall n, fin (S n) | fs : fin n -> fin (S n) 16:08:10 that's how it's done, I forgot 16:08:27 cheater: how goes the AI :P 16:11:12 cheater is writing an AI? 16:11:39 alise: last i saw it, it was http://pastie.org/private/gaqwdbng4srklx1adb2o6g 16:12:11 cpressey: huh, did clog go out? 16:12:13 that's no in the logs 16:12:16 (not 16:12:32 **not 16:12:36 i disapprove of his silly fork ;) 16:13:04 alise: I AM CLOG NOW 16:13:08 although r = randint is cool 16:13:12 Q('Yum! That was delicious.');L+=int(not r(0,2)and r(5,10)) 16:13:19 s.addch(B-Y,A-X,choice(T)if U and not r(0,2)else w[v]) 16:13:33 python is such an ick language for golf 16:13:38 all those spaces! 16:13:49 cpressey: that's why you do evil things! 16:13:57 Like lambda abuse? 16:14:02 s.addstr(22,0,'_'*80);C('$:%-17s T:%-17s S:%-17s HP:%-3s (%s)'%(G,N,S,L,P));s.move(y-Y+11,x-X+40) 16:14:10 T=[32]*1000+[36,81]*5+[37]*3+[35]*50+[33] 16:14:16 alise: your code is almost READABLE 16:14:16 elif k=='q'and L and L+20<301: 16:14:16 q=min(L,20);L+=q;P=max(P-q,0);D() 16:14:31 cpressey: okay then, tell me what this does 16:14:33 s.addch(B-Y,A-X,choice(T)if U and not r(0,2)else w[v]) 16:14:49 hallu? 16:14:57 I love in inconsistent spacing. 16:14:59 cpressey: I must have told you >__> 16:14:59 *the 16:15:12 alise: you di'nt :) 16:15:23 "not r(0,n-1)" for a 1 in n chance is awesome, though 16:15:29 in fact, i might define a function for that 16:16:04 u=lambda n:not r(0,n) 16:16:10 u(n) is 1 in (n+1) chance 16:20:02 -!- lament has joined. 16:30:21 ha, my monsters move even when it isn't their turn. 16:36:02 Does lambdabot keep messages for us, too? 16:36:08 No. 16:36:17 16:36:50 I suppose we could save them as text files in HackEgo, but, notification. 16:37:52 ehird@dinky:~/Code/vagrant$ wc -c vagrant.py 16:37:52 1408 vagrant.py 16:37:57 amazing how much you can do in so little code, isn't it? 16:38:42 cpressey: does hallu normally allow you to hallucinate yourself as being floor in roguelikes? 16:38:43 DIDN'T THINK SO 16:38:53 -!- augur has quit (Remote host closed the connection). 16:39:16 -!- augur has joined. 16:39:36 I can golf a shorter one by cheating. 16:39:43 What, by executing mine? :P 16:39:53 No, NetHack. 16:40:19 A full-featured roguelike in precisely 7 bytes of shell script! 16:40:38 (Assuming appropriate libraries are installed.) 16:41:08 -!- lament has quit (Ping timeout: 276 seconds). 16:41:09 Yes, the nethack "library" 16:43:24 This tells something about IPv6 deployment status: http://www.mrp.net/IPv6_Survey.html (someone's comment "Un.. fucking.. believable."). Short summary: MAJOR FAIL. 16:43:40 cpressey, perfectly reasonable. 16:43:55 It's available for all major systems. 16:44:35 Phantom_Hoover: I get errors when linking to it 16:44:56 cpressey, well, you do with that kind of narrow-minded thinking. 16:45:09 Who says library interfaces have to be through linking? 16:45:26 Phantom_Hoover: I ALSO CANNOT FIGURE OUT HOW TO BORROW BOOKS FROM IT 16:49:54 if k in'hyb':a-=1 16:49:54 if k in'jbn':b+=1 16:49:54 if k in'kyu':b-=1 16:49:54 if k in'lun':a+=1 16:49:55 -------_> 16:49:58 *--------__> 16:49:59 *----------> 16:50:00 -!- yorick has quit (Read error: Operation timed out). 16:50:01 a+=(k in'lun')-(k in'hyb');b+=(k in'jbn')-(k in'kyu') 16:50:07 BEHOLD THE CRAZY BOOLEAN ARITHMETIC 16:50:09 BEHOLD IT 16:50:34 Is "False" too long? 16:50:39 Believe it or not, that actually works. 16:50:41 Phantom_Hoover: Hum? 16:50:44 Oops. 16:50:46 Ignore. 16:50:49 I don't have any explicit booleans there. 16:50:52 Not even in the old version/ 16:50:54 *version. 16:51:05 In this case a and b are the new x and y we're moving to, and k is the key. 16:51:06 I thought that was 'k' in 'lun' 16:51:11 No :P 16:51:15 Also, 0 would work instead of False. 16:51:20 And hence a pointless way of writing "False". 16:51:24 This implements hjkl cardinals, and yubn diagonals. 16:51:30 In two arithmetic statements! Fuck yeah! 16:51:39 -!- yorick has joined. 16:59:49 HOLY SHIT THE QS BREED 17:00:24 cpressey: Maybe I should add message-passing to fungot, then. 17:00:24 fizzie: the shit-talking between rounds has to stop. i can't come home and kill a spider. why don't you let us in the sega booth soon. does it have any kryptonite? 17:01:04 fungot: The Sega booth is full of kryptonite, in fact. Stop quoting entire sentences verbatim, you silly bot. 17:01:04 fizzie: i didn't know where else to go. 17:03:37 ^style 17:03:37 Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc jargon lovecraft nethack pa* speeches ss wp youtube 17:03:45 aww, quoting it will just be quoting verbatim then :) 17:08:26 I'll try to retrain that model at some point. 17:16:50 -!- Zuu has quit (Ping timeout: 276 seconds). 17:18:23 Effing rewrite tactic. 17:18:30 rewrite thing at 2. 17:18:40 WHY DOES THIS NOT WORK 17:19:37 If that page is descriptive of IPv6, the IPv6 deployment plan in many organizations is probably looking like the disaster recovery plan at Dilbert's work... 17:20:43 -!- augur has quit (Remote host closed the connection). 17:21:03 -!- Zuu has joined. 17:21:03 -!- Zuu has quit (Changing host). 17:21:03 -!- Zuu has joined. 17:21:18 -!- augur has joined. 17:21:29 alise 17:21:33 have you seen my new version 17:21:41 cheater: i saw the one cpressey linked 17:21:47 was that today 17:21:50 *soon look like 17:22:02 and yours is broken btw, monsters move even when it's not a turn 17:22:14 yes, it's the one 17:22:28 alise: what do you mean? 17:22:43 "not a turn"? 17:22:47 bash into a wall 17:22:49 see monsters move 17:23:08 yeah duh, why are you doing M() if bashing into a wall? 17:23:19 you should have a return at the very top for that 17:23:23 because M() handles it 17:23:25 there's no M() any more, also 17:23:26 yes 17:23:28 you're working on an older version 17:23:33 well fix it 17:23:43 it's a nice piece of code i added 17:23:46 it has fuzzy ai! 17:23:54 the monsters can even walk around obstacles! 17:23:57 Ilari: ... "plan"? 17:23:59 but i've almost written my own >_> 17:24:07 Ilari: JUST FILE A TICKET 17:24:08 hello collaboration 17:24:11 (yours was part of an older version) 17:24:12 :( 17:24:15 cheater: yeah well i stole some of your code 17:24:15 :P 17:24:21 which 17:24:25 the actual loop 17:24:39 with the AI code in it? 17:24:55 with r()? 17:25:01 and o() 17:25:03 well i stole r() 17:25:06 not o 17:25:09 why not o? 17:25:14 the actual logic i couldn't understand so i couldn't make it run to me :) 17:25:17 so i didn't need o 17:25:26 how could you not understand it? 17:25:30 it's very simple 17:26:03 Hmm, maybe "at" doesn't bother with nesting... 17:26:13 it takes the position of the cell and the position of the player, calculates the vector between them, and then unitarizes that vector 17:26:19 cheater: well rather i didn't bother to 17:26:23 >__> 17:26:35 then, it randomly flips some of the coordinates at a small probability 17:26:37 it's so simple 17:26:39 it's a one-liner 17:26:47 cheater: last i saw, it actually moves to (0,0) 17:26:55 you hadn't looked at the new one 17:26:56 it's nicer 17:27:06 also i made the line mirror-symmetric (kinda..) 17:27:42 Phantom_Hoover: That code is a real at's nest. 17:28:10 i'm not sure why malbolge is in the topic 17:28:11 * Phantom_Hoover swatpans cpressey --==\#/ 17:28:15 cheater: the new one had some gold monster stuff which i wasn't sure i approved of >_> 17:28:24 alise: of course you approve of it 17:28:29 alise: think about it, monsters lvling up 17:28:43 alise: this means you have to kill monsters quickly otherwise they'll level up too far 17:28:46 sort of like in osmos 17:28:47 ! 17:28:52 makes you think hard 17:28:52 maybe in Super Lotsa Added Stuff Vagrant 17:28:56 slasv 17:29:00 :| 17:29:22 :< 17:29:30 you could have made that switchable instead 17:29:32 Stuff: Lots Added to Vagrant. 17:29:35 Slav. 17:29:39 it's golfed code!! 17:29:43 yes 17:29:51 and if it gets parametrized it's nicer 17:30:18 Golf maintainability. 17:31:16 alise: i feel rejected 17:31:18 :, 17:31:47 * Phantom_Hoover → stuff 17:32:09 cheater: you don't understand what golfing is :P 17:32:20 ??????????? 17:32:25 minifying 17:32:54 cheater: i probably will add them 17:33:08 but it won't be my code then 17:33:10 ;,< 17:34:25 bah! :P 17:34:27 your code has spacse 17:34:28 *spaces 17:34:38 my code has breeding Qs 17:34:39 oh i see why 17:34:44 r,i,t,u=map(w.get,[(f,e),(d,e),(f,c),(d,c)]) 17:34:44 if r==32:q[f,e]=81 17:34:44 if i==32:q[d,e]=81 17:34:44 if t==32:q[f,c]=81 17:34:44 else:q[d,c]=81 17:34:47 should be elif 17:34:48 s 17:35:05 my code doesn't have spaces in the new version 17:35:17 it was just proof of concept OK????????????//////////// 17:35:24 i'll consider it >_________________________> 17:35:53 ; ; 17:38:05 wow now the monsters run away from me 17:38:09 come back! 17:39:06 hmm i need a goto 17:40:44 -!- Wamanuz4 has quit (Remote host closed the connection). 17:40:48 -!- impomatic has joined. 17:41:11 -!- Wamanuz has joined. 17:42:09 -!- impomatic has left (?). 17:46:48 you should parameterize monster motion too. some come towards you, some run away, and some wander aimlessly 17:47:05 you obviously hadn't seen the data structure 17:47:28 what would take more code but be cooler is if they came toward you only if you've been sitting still too long, like a cat sneaking up on you. 17:47:47 but if you go towards them, they run away 17:48:06 imagine a room full of those! 17:48:43 especially if they have camoflauge! and only appear when they move! 17:48:45 easily imagined. 17:50:28 there are no rooms 17:50:32 well, apart from emergent ones. 17:50:33 brb 17:50:59 now that's an idea... 17:51:08 monsters as walls 17:51:41 they strive to stay close to one another, and only move if they can get closer to the player without breaking formation, or if they aren't in formation yet. 17:51:50 so the walls literally close in! 17:51:54 weeoo 18:07:12 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 18:11:45 -!- oerjan has joined. 18:16:09 Does lambdabot keep messages for us, too? 18:16:13 it used to 18:16:21 @help tell 18:16:21 tell . When shows activity, tell them . 18:17:27 @tell cpressey Sure it does! 18:17:28 Consider it noted. 18:18:20 there is also MemoServ 18:23:14 -!- sebbu has quit (Ping timeout: 264 seconds). 18:36:53 -!- sebbu has joined. 18:39:31 -!- augur has quit (Ping timeout: 252 seconds). 18:44:16 lambdabot: hi there 18:44:39 omg, we have a lambdabot now? 18:44:43 @botsnack 18:44:44 :) 18:44:47 @botslap 18:44:48 Unknown command, try @list 18:45:22 cpressey: erm why didn't it tell you :( 18:46:15 > fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 18:46:16 [1,2,4,8,16,32,64,128,256,512,1024,2048,4096,8192,16384,32768,65536,131072,... 18:46:18 cpressey: try saying something without lambdabot: in front 18:46:27 ok 18:46:27 cpressey: You have 1 new message. '/msg lambdabot @messages' to read it. 18:46:31 indeed 18:46:40 @messages 18:46:40 oerjan said 29m 13s ago: Sure it does! 18:47:14 olsner: wtf 18:47:57 oerjan: I wrote that :D 18:48:48 not the thor's mother comment though, I think it started out with just (:[]) in the middle... a few people've edited the wiki page afterwards 18:50:39 -!- Zuu has quit (Read error: Connection reset by peer). 18:51:32 aha, the first version on that wiki page says {- OH MY GOD IT'S A COMMENT!!! -} instead, that'd be from me then 18:53:33 > :t [] 18:53:34 : parse error on input `:' 18:54:03 :t [] 18:54:04 forall a. [a] 18:54:34 the > is only for evaluating expressions 18:54:52 i see 18:55:13 -!- Zuu has joined. 18:55:13 -!- Zuu has quit (Changing host). 18:55:13 -!- Zuu has joined. 18:55:33 but you can probably enter ill-typed expressions and use the error message to see the type if you want to :D 18:55:57 you can do that to get fixities 18:56:03 > (0$0+) 18:56:04 The operator `GHC.Num.+' [infixl 6] of a section 18:56:04 must have lower prece... 18:56:17 > [1,2>3] 18:56:18 No instance for (GHC.Num.Num GHC.Bool.Bool) 18:56:18 arising from the literal `1'... 18:56:45 -!- oerjan has quit (Quit: Later). 18:57:05 I suppose 2<3 would have been a nicer fake typo 18:57:20 (on my AMERICAN keyboard) 18:57:25 * cpressey waves a little flag 19:01:07 AMERICAN KEYBOARD OF JESUS 19:01:19 is it the *keyboard* or the *layout* that's american? 19:01:38 good point. the keyboard itself is probably chinese. 19:01:49 many Model M's are made in ireland iirc 19:02:04 i say this only on the basis of odds. 19:02:34 * cpressey peeks under 19:02:46 yeah, made in china. 19:03:18 But everything in America is made in China. 19:03:27 communist keyboard! 19:03:32 Gregor: that's why i liked those odds. 19:03:32 So that's as American as it can be. 19:05:05 :t IO Int 19:05:06 Not in scope: data constructor `IO' 19:05:06 Not in scope: data constructor `Int' 19:05:48 :t getChar 19:05:49 IO Char 19:08:06 :t undefined 19:08:07 forall a. a 19:08:33 so... whence the lambdabot? 19:08:46 :t Just undefined 19:08:47 forall a. Maybe a 19:08:51 I don't think I've seen her in here before 19:08:52 you mean, from whence? 19:09:04 quintopia: maybe :) 19:09:08 olsner: used to 19:09:16 got her back 19:10:14 "From whence has a strong literary precedent, appearing in Shakespeare and the King James Bible as well as in the writings of numerous Victorian-era writers. In recent times, however, it has been criticized as redundant by usage commentators." 19:10:48 damn those usage commentators 19:11:15 -!- EgoBot has joined. 19:11:15 :t >=> 19:11:16 parse error on input `>=>' 19:11:21 From whence do thy usage commentators come, olsner? 19:11:22 :t '>=>' 19:11:23 lexical error in string/character literal at character '=' 19:11:28 :t (>=>) 19:11:29 forall a (m :: * -> *) b c. (Monad m) => (a -> m b) -> (b -> m c) -> a -> m c 19:11:38 Gregor: *whence, the from is redundant :P 19:11:44 :t ">=>" -- for completeness 19:11:45 [Char] 19:11:55 olsner is clearly the usage commentator 19:11:59 olsner: Your face is redundant, but you don't see me complaining. 19:12:05 * quintopia makes mashed commentaters 19:12:16 wait, "* -> *"? that's a new one on me 19:12:44 "This function does some shit" 19:12:47 cpressey: it's a kind 19:12:51 ah 19:13:22 very simplified, '*' is any normal type 19:13:35 there's also #, ## and ? 19:14:03 (in ghc anyway) 19:14:03 so * -> * is the kind of all one-argument functions? 19:14:10 well, "one argument" pfft 19:14:15 one-argument type constructors 19:14:23 right 19:15:10 i was going to say constructors, but it's the type constructor that has a kind, yeah 19:16:22 http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes has a neat little ascii diagram of the kinds 19:17:47 -!- aschueler has quit (Quit: leaving). 19:18:44 constructors also have kinds, but I think they'd all just be * 19:22:13 -!- antivigilante has joined. 19:23:28 tail(recursion). 19:23:41 -!- GreaseMonkey has joined. 19:23:41 -!- GreaseMonkey has quit (Changing host). 19:23:41 -!- GreaseMonkey has joined. 19:26:39 -!- tombom has joined. 19:29:18 -!- iGO has quit. 19:44:51 -!- SgeoN1 has joined. 19:45:37 Hello. Showing off #esoteric again 19:45:38 T=tail(recursion(T)). 19:45:55 SgeoN1: Oh no, must we be amusing now? 19:46:13 fizzie: amuse! amuse! 19:46:15 I didn't even see SgeoN1 when I typed that. Don't interpret it as an attempt to be amusing. 19:46:45 fungot: Quick, say something amusing! 19:46:45 fizzie: fnord/ fnord/ fnord/ fnord. 19:46:53 ... 19:46:56 boring 19:47:11 SgeoN1: see - utterly boring. 19:48:02 fungot: You're such a disappointment sometimes. 19:48:03 fizzie: i can do with a bagpipe?) for fnord macros and expansion.) 19:54:26 No longer showing off #esoteric 19:54:45 *phew* 19:55:03 SgeoN1: You should warn us in advance that we'd clean the channel up a bit, be more presentable. 19:55:32 cogito ergo dei 19:56:33 oh hi 19:56:36 cheater99: wtf 19:56:46 ? 19:56:47 what? 19:56:57 cheater99: that doesn't even have a verb! 19:57:06 well it does 19:57:11 but it makes no sense 19:57:26 fnord is the verb 19:57:28 poor yorick. 19:57:32 I think that would need at least two verbs 19:57:56 maybe latin doesn't need all the redundant verbs 19:59:07 olsner: but there's nothing redundant anything 19:59:10 about* 19:59:25 "cogito ergo dei" <-- it lacks a second verb and puts a noun instead :/ 20:00:02 well, then it's just missing a copula, right? do you *really* need to put that down every time? 20:01:17 how would that help? 20:01:54 you need to get laid 20:03:47 How would *that* help? 20:04:00 how *would* that help? 20:05:06 How would that *help*? 20:05:14 *How* would that help? 20:05:27 *how* would *that* help? 20:05:35 how *would* that *help* 20:05:42 ? 20:05:53 * yorick c-c-combo breaker! 20:05:57 haha u loze. 20:06:00 Wow, hud that yelp. 20:06:16 cheater99: true, but how would *that* help? :) 20:07:11 well, let's just say that obviously *someone* is in need of a latin grammar lesson 20:07:31 and it *might* just be me :/ 20:15:21 -!- augur has joined. 20:15:55 * olsner watches the waves as they propagate around his abdomen 20:17:28 -!- SgeoN1 has quit (Ping timeout: 264 seconds). 20:20:30 alise: hi 20:20:34 alise: how are yoouuu 20:32:50 -!- aschueler has joined. 20:36:33 speaking of edible: http://en.wikipedia.org/wiki/Edible_dormouse 20:37:42 but it was probably a long time ago you were discussing that 20:38:28 -!- aschueler has quit (Ping timeout: 264 seconds). 20:38:51 -!- Phantom_Hoover has joined. 20:39:54 Why does Coq MOCK me? 20:41:37 ... and why does Moq COCK you? 20:41:50 that makes no sense though 20:44:45 I just want to rewrite an expression, and it refuses to do so for no obvious reason. 20:51:25 aww poor edible dormice 20:51:37 named after their edibility 20:52:10 much unlike the great tortoises that were so edible no-one bothered to give them a proper name 20:52:22 for a couple of hundred years anyway 21:01:12 Stephen Wolfram's ego vs. that of the Apprentice candidates. 21:01:18 Which is bigger? 21:01:24 There's only one way to find out! 21:01:40 this is probably like comparing infinities 21:01:45 FIGHT 21:02:04 olsner, a TV Burp fight is the standard mechanism of comparing infinities. 21:02:11 the question is, which infinity has the largest cardinality 21:02:38 Well, I like |N|, and I like |R|. But which is bigger? There's only one way to find out! FIGHT! 21:05:57 hmm, how was it this infinity thing worked again? R can burp at least |N| for every |N|, and thus it's bigger? 21:06:46 Phantom_Hoover: I have the solution for your Coq problem. 21:07:00 DOUBLE REWRITE!!! 21:07:17 cpressey, no... 21:07:28 cpressey: http://www.youtube.com/watch?v=6WxJECOFg8w 21:07:29 YES 21:07:41 olsner: p, sure he knows 21:07:44 *p. 21:08:19 DABBURU KOMPAIRU 21:09:20 DABBURU REARAITU 21:13:35 how the fuck do you use the triplet mode on a tb 303 21:14:41 cpressey, anyway, my problem is basically that I can't right-rewrite then left-rewrite. 21:15:00 cpressey doesn't know Coq 21:15:05 I know this. 21:17:41 back, finally 21:17:46 cheater99: i am just fine thank you 21:18:08 very well, because i am not 21:18:12 why not 21:18:14 can i just say that vagrant's code is awesome 21:18:16 i can't figure out how to program this thing 21:18:22 you should download the manual 21:18:27 it's like the fucking intercal manual 21:18:32 try smiling 21:18:35 except it doesn't make sense 21:18:38 i'm smiling 21:18:38 ! 21:19:04 * cheater99 gives alise a hug for lightening up his day. 21:19:10 so yes 21:19:12 the manual sucks 21:19:38 For what? 21:19:40 Vagrant? 21:20:06 no 21:20:10 for this thing cheater99 is using 21:20:37 can you set a global exception handler in python? 21:21:52 aha 21:21:54 sys.excepthook 21:23:37 What's he using? 21:24:40 alise: just put everything in a try/catch. 21:25:01 cheater99: no, that'd fuck up the indentation 21:25:03 i have solved it 21:25:08 [[ 21:25:13 import sys 21:25:13 def hook(t,v,b):endwin();sys.__excepthook__(t,v,b) 21:25:14 sys.excepthook=hook 21:25:14 execfile('vagrant.py') 21:25:14 ]] 21:25:15 Phantom_Hoover: a drum machine, I gather? 21:25:17 this is debug.py 21:25:30 and yes, it is evil to use endwin like that without importing it myself but I DON'T CARE 21:25:35 cpressey, what, Coq? 21:25:44 ... 21:25:56 Oh, cheater99's thing? 21:25:58 Phantom_Hoover: No, Coq is a theorem prover. 21:26:31 Confusing drum machines and theorem provers. Just another wonderful service provided by your local #esoteric. 21:26:45 Well, not local exactly. 21:27:28 cheater99, drum machine as in machine which makes drum noises? 21:27:52 HEY cheater99 DEBUG MY AI CODE :P 21:28:09 I thought it was called a TR-303... maybe this is another model 21:28:48 TB-303? 21:29:08 new SGU is notably better than previous ep 21:29:42 -!- cheater99 has quit (Ping timeout: 245 seconds). 21:30:17 SGU is the Voyager of Stargate, yes? 21:30:19 -!- cheater99 has joined. 21:30:35 Where Voyager is the Phantom Menace of Star Trek. 21:31:00 yes 21:32:28 Oh, god, Randall Munroe hasn't rehashed Online Communities, has he? 21:33:05 lunch conversation indicates he has 21:34:44 Phantom_Hoover: he has 21:36:03 I HAD A GOOD IDEA ONCE AND DON'T YOU FORGET IT 21:36:08 cheater: bah, Q with p=0 doesn't work :( 21:37:26 cpressey: it's actually a bass synthesizer. 21:37:45 alise: p=what? 21:37:53 Q() function 21:37:58 p is second parameter (wait for response or not) 21:38:02 Q() is just an echo 21:38:03 isn't it 21:38:03 Q(foo), if done before D(), just gets wiped out 21:38:06 oh ok 21:38:07 by the status line 21:38:11 whereas, as it's a message function 21:38:12 it should persist 21:38:16 i'm trying to fix it right now 21:38:38 the great thing about this thing is 21:38:41 it has a built in sequencer 21:38:47 it's light and small and battery operated 21:38:56 which means you can take it with you to the toilet 21:39:00 cheater99: does your Q work?? 21:39:07 i don't know 21:39:13 -!- augur has quit (Remote host closed the connection). 21:39:21 i abandoned the project after a frosty rejection from the core team 21:39:22 hmm mine is *seriously* fucked up 21:39:28 oic 21:39:28 :-| 21:39:32 i fixed it 21:39:36 cheater99: i was just joking y'know. 21:39:40 -!- augur has joined. 21:39:46 u brk my hrt 21:39:59 HOW THE FUCK DID THEY OBLITERATE EACH OTHER 21:39:59 alise: let's golf chat 21:40:20 oh i see 21:40:24 they wipe everyone out indiscriminately 21:40:29 hw th fk dd thy obltr8 e/o 21:41:01 alise: you need the masking array, otherwise you're fuck'd 21:41:13 i mean, 21:41:27 u nd d makin arry, or ur fkd 21:41:37 *maskin 21:41:49 Randy's pictoblog really needs to be made. 21:42:11 cheater99: i have a masking array. 21:42:14 dood. 21:42:24 how do you know i'm a dood? 21:42:33 i could be a girl 21:42:34 -!- Mathnerd314 has joined. 21:42:36 i have managed to break even normal Q awesome. 21:42:36 or a boy 21:42:39 or something else. 21:42:55 dood applies regardless 21:43:30 HOW ARE THEY ALL FLOCKING TO THE CENTRE I SPECIFIED ME AS THE TARGET 21:43:38 cheater99: no one in this channel is a girl 21:43:45 doesn't happen. 21:43:57 yorick: did, about four times IIRC 21:44:01 (I worked it out once) 21:44:33 A whole 4?? 21:44:50 oh so that's what i did 21:44:51 Phantom_Hoover: yes 21:45:08 At once or over the entire lifetime? 21:47:20 yay it works now 21:47:22 Phantom_Hoover: lifetime 21:47:29 -!- aschueler has joined. 21:47:44 alise, how'd you come to that figure? 21:47:59 Phantom_Hoover: counting all the females I know to have been in here 21:48:43 alise, wtf at rerunning the map thing. It was quite nice first time, and redoing it could work, just not as a comic, maybe something to post on his blog or such 21:48:56 it's not a comic, it's a picto-blo 21:48:57 *blog 21:49:01 heh 21:49:13 alise, but I like the lifeboats marked in that picture 21:49:19 leaving digg and going for reddit 21:49:59 -!- Sgeo has joined. 21:51:30 Where's Digg, approximately? 21:51:56 Phantom_Hoover, a bit above IRC Isles 21:52:00 s/ / / 21:52:03 * alise realises that "not r(0,2)" is longer than "r(0,2)==0", cries 21:52:04 Sgeo, it has ActiveWorlds on it. 21:52:15 Q('Yum! That was delicious.');L+=int(0==r(0,2)and r(5,10)) 21:52:18 Guess why the 0 comes first. 21:52:27 Because of the and. 21:52:39 Phantom_Hoover: yep :D so I can have the ) 21:52:42 so i can avoid a space 21:53:14 o.O awesome! 21:54:55 Sgeo, it's a minuscule appendix to Second Life. 21:55:02 Phantom_Hoover, if you can't find irc isles, it is next to usenet. 21:55:38 It looks a bit big, tbh 21:55:54 Phantom_Hoover, where is second life? 21:55:55 Usenet is slightly smaller than IRC on that map, but I've already found it. 21:56:23 Vorpal, next to MMO Isle. 21:56:32 in the Gulf of Lag. 21:56:36 ah 21:56:37 there 21:56:49 Phantom_Hoover, did you spot the invasion fleet btw? 21:56:54 (not the same as the lifeboats) 21:57:04 jesus, why is gmail so sluggish 21:57:32 alise: females in here intentionally, or including those who wander in here for other reasons? 21:57:54 Vorpal, no. 21:57:55 Phantom_Hoover, oh and is "subspace" just a star trek reference, or some game? It is next to MMO Isle, opposite to second life 21:58:24 wait 21:58:28 alise is not female???? 21:58:39 alise: Oh and golf your user messages. Q('Mm!') should suffice. 21:58:48 Vorpal, don't know, Where's the fleet? 21:58:58 Phantom_Hoover, next to google talk 21:59:05 Q('Gak!') for poison. 21:59:08 Phantom_Hoover, which is close to skype 21:59:24 Vorpal, who is invading whom? 21:59:40 Phantom_Hoover, I don't know 22:00:01 I'd assume Google Talk is the invader, but whatever. 22:00:37 cpressey: intentionally 22:00:41 Subspace seems to be a mumorpeger per Google 22:00:41 Phantom_Hoover, what is "kayne's isle of sadness", in whaler sound next to google talk 22:00:44 Also, no golfing messages :P 22:00:50 Playable roguelike, tiny code. 22:00:54 alise: btw 22:00:55 * alise is typing from his replacement keyboard... 22:00:57 Phantom_Hoover, mumorpeger eh? *googles wtf that is* 22:00:58 Quite nice for a Logitech. 22:01:03 "Slim" but not hopelessly so, and a nice tactile action. 22:01:03 alise: have you ever done anything with uC's? 22:01:09 cheater99: expand uC 22:01:12 alise: or vhdl? 22:01:13 Urban Dictionary: mumorpeger 22:01:13 A different way to say MMORPG. (Massively multiplayer online role-playing game) 22:01:14 ah 22:01:25 alise: microcontroller. 22:01:35 alise: baudot 22:01:40 cheater99: no, but sounds fun 22:01:54 i think fpga could be fun 4 u 22:01:59 because it's like gate arrays 22:02:03 that can modify themselves on the fly 22:02:08 and it's an important part of the process 22:02:08 cheater99, what does uC stand for? I mean it doesn't really expand to microcontroller 22:02:13 so, game of life, in hardware 22:02:15 pretty much 22:02:15 We know what FPGAs are. 22:02:16 cheater99, µC would make some sort of sense 22:02:18 but not uC 22:02:22 cheater99: for certain values of "fly" 22:02:23 The quick brown fox jumpwedover my bix sphynx of qwertz. 22:02:24 Vorpal, O.o 22:02:25 Vorpal: u suck 22:02:36 Phantom_Hoover, hm? 22:02:42 Do tell us a method of typing mu easily. 22:02:49 Phantom_Hoover, easy: altgr-m 22:03:04 Ah. 22:03:10 Vorpal: that just makes Outlook pop up! 22:03:11 AltGr is stupid, but anyway... 22:03:12 I believe that will work on US international too 22:03:16 i hate you, gmail 22:03:19 just not US 22:03:25 cpressey, what? 22:04:02 Phantom_Hoover, why is altgr stupid? 22:04:07 it is just ISO level 3 shift 22:04:19 It's just... illogical. 22:04:28 Phantom_Hoover, okay, why is it illogical? 22:04:47 Phantom_Hoover, they key bindings on it? To some extent yes. 22:04:51 AG-m -> µ, AG-d → ð, AG-p → þ 22:04:54 you could repmap them 22:05:06 Phantom_Hoover, ð makes sense for icelandic iirc? 22:05:19 and the þ one *looks* similar 22:05:24 like a p kind of 22:05:36 Vorpal: PowerShell 22:05:40 Phantom_Hoover, and µ is pronounced "mu" starting with m 22:05:55 cpressey, well, I don't know for windows, do tell me if you find how to type µ there 22:05:56 Huh, I can't Alt+252 to get those gnarly chars 22:06:00 I'm on linux so 22:06:02 what kind of PowerShell is that 22:06:11 AG-l → ł, AG-f → đ 22:06:13 cpressey, "power(less)shell" :P 22:06:20 SUCH WIT 22:06:58 -!- wareya has quit (Read error: Connection reset by peer). 22:07:16 -!- alise has quit (Ping timeout: 264 seconds). 22:07:35 -!- wareya has joined. 22:07:51 -!- alise has joined. 22:08:34 * pikhq can has 2001:1938:81:169::2 ! 22:09:09 Doesn't look like it... 22:09:21 * pikhq mutters 22:09:42 -!- alise has quit (Client Quit). 22:09:48 I can ping over IPv6... ::1 and 2001:1938:81:169::1. 22:10:30 So the tunnel's up and... Nothing's being forwarded? 22:11:18 pikhq, sixxs? 22:11:27 Yup. 22:11:44 just the ::1 and ::2 pattern was familiar 22:11:53 And my IPv6 routing table seems to be set right. 22:12:02 pikhq, aiccu? 22:12:06 Yup. 22:12:19 pikhq, it was a PITA under gentoo 22:12:23 pikhq, works like a charm under arch 22:12:29 emerge aiccu;/etc/init.d/aiccu start 22:12:35 Phantom_Hoover, can you read the text in the dark area on the youtube island? 22:12:43 Phantom_Hoover, I can't figure out what it says 22:12:50 pikhq, yes but getting it actually working 22:12:51 I meant 22:12:59 pikhq, let me check old /etc stuff 22:13:03 Functional eyes to the rescue! 22:13:07 It's definitely running and I'm definitely getting IPv6 packets going through the link. 22:13:14 from future import ipv6 22:13:27 OK Go bay? 22:13:28 __, __, __ 22:13:31 It's just not *routing* anything from there. 22:13:40 pikhq, msg? 22:14:19 -!- alise has joined. 22:14:30 How is one meant to use a laptop on a computer stand? 22:14:35 The screen is too small! 22:15:02 So wait, how long will it be until ISPs actually start using IPv6? 22:15:44 a few already do 22:16:17 Mine's been doing native end-user v6 for at least three years now. 22:16:52 Things that annoy me: people who say "so-called" when they mean to indicate inaccuracy. 22:17:16 Things that annoy me: People who get annoyed by too many things. 22:17:25 Flaw of this keyboard: The spacebar is curved! Why?! 22:17:33 this so-called keyboard 22:18:02 Things that annoy me: People who feel the need to get a sense of self-superiority by not complaining about things. 22:18:14 OK Go bay? <-- hm, any clue what that refers to? 22:18:23 The band? 22:18:31 Phantom_Hoover, eh, okay? 22:18:33 whatever 22:18:37 Of the Rube Goldberg video and the treadmills? 22:18:47 von Neumann machine video. 22:18:50 It must be done. 22:19:23 Things that annoy me: People who feel the need to get a sense of self-superiority by not complaining about things. 22:19:31 ditto, but mentioning them all is really not required :p 22:19:49 Phantom_Hoover: I rate the probability that Vorpal knows who OK Go are as something like zero. 22:20:02 I rate it as less than zero. 22:20:12 "if this is true, everything else is LESS THAN FALSE" 22:20:53 \o/ 22:20:55 IPv6. 22:21:07 IPv6, it's like IPv4 except now DNS is doubly required! 22:21:36 Eh, running DNS on localhost; not a big deal. 22:21:42 DOUBLE RESOLVE!!! 22:21:52 (the rube goldberg machine video if anyone hasn't seen it, i hadn't: http://www.youtube.com/watch?v=qybUFnY7Y8w) 22:21:58 awesome. 22:22:00 Well, P(Vorpal knows about OK Go \/ the Pope's a Catholic) = 0 22:23:00 That's because P(the Pope's a Catholic) = 0 22:27:02 -!- GreaseMonkey has quit (Quit: Welcome honored guest. I got the key you want! would you like onderves. of Yourself). 22:28:32 alise: link the dogs video too. it's my second favorite. 22:28:47 because he no longer has his magic hat 22:29:21 * quintopia steals back the Pope's hat from cpressey 22:29:40 quintopia: that one's awesome too (and has better music) 22:29:58 "OK Go? Yeah, that's the video guys who make their own soundtrack, right?" 22:30:14 I thought \/ was or 22:30:20 Oh, hm 22:30:36 it is 22:30:37 I guess that's what alise's P(the Pope's a Catholic) = 0 is pointing out 22:30:48 no, that was just a random joke 22:31:20 http://www.youtube.com/watch?v=nHlJODYBLKs to satisfy quintopia 22:32:50 so are imported modules like dynamically scoped in Python? 22:34:13 no that's not right 22:34:19 stupidest scope rules ever 22:34:31 * alise watches as his Mac does Game of Life 22:34:32 Screensaver! 22:34:40 hmm? 22:35:32 GoL is my Mac's screensaver. 22:35:56 I meant @ cpressey 22:37:09 Sgeo: an example needs at least 3 files so is hard to give 22:37:49 if a and b both import common, and a changes common.foo and calls something in b, and the thing in b looks at common.foo, it sees the change that a made 22:38:04 which is fine 22:38:10 but it doesn't always seem to happen 22:38:12 I used that to do project-global variables in PSOX >.> 22:38:14 there is something else going on 22:39:05 oh wait i bet it is 22:39:37 alise: you has a Mac? o.o 22:39:55 you should make a generalized vant screensaver. 22:40:07 quintopia: (1) yes, since 2006; (2) what's vant? 22:40:34 the clas of automata in which langton's ant falls 22:40:38 mmf, this keyboard needs the numpad lobbing off, it's great though 22:40:57 DOUBLE RESOLVE!!! <-- do you have the resolve required to implement this? 22:41:28 WHat's wrong with the numpad? 22:43:13 It's EEEVVVILLLL 22:43:43 Hmm, how can I get more nerd cred than having Life as my screensaver? 22:44:05 I like electricsheep, too, so changing it will need a good reason. 22:44:06 turing machine? 22:44:07 re py, i was confused by two modules with the same name in different packages. 22:44:11 still worst scoping EVAR 22:44:38 Phantom_Hoover: I have no screensaver on this box. 22:44:51 Phantom_Hoover: Mersenne Search... 22:44:51 The mac just runs a randomised Game of Life with one pixel per cell. 22:44:53 But how will you save your screen? 22:44:54 Surprisingly fast, too. 22:44:57 About 100 gens/sec. 22:45:01 A bit less after a while; 95 or so. 22:45:05 Starts at like 125. 22:45:39 that's silly 22:45:50 should be able to set the speed 22:46:06 i like to run around 10000gens/sec... 22:46:10 <3 hashlife 22:46:42 Phantom_Hoover: run GoL as your screensaver, 1 cell per pixel, with Caterpillar as the default pattern 22:46:47 SUPER AWESOME CRED 22:47:06 quintopia: it's 1680x1050 22:47:10 and a screensaver 22:47:12 it shouldn't be too fast 22:47:18 also: 22:47:22 hashlife is rubbish for viewing things interactively 22:47:29 since different areas are on different generations 22:47:57 ohh that's what i did wrong 22:48:07 it's not rubbish for watching Caterpillar. Phantom_Hoover: if you do that, it should automatically scroll upwards to follow it. 22:48:27 alise: 1680x1050 is not quite enough to fit entire caterpillar sideways is it :/ 22:48:37 lawl 22:48:47 Phantom_Hoover: I saw one that cycled through a bunch of nerdly pursuits, including kite-and-dart tiling the screen 22:49:00 That's more nerd crud than I can handle 22:49:04 *cred 22:49:17 (or *did* I...?) 22:50:23 oh, another neat SS would be one where it zooms into a single random pixel on the last desktop/screen you had open when it kicked it, and that pixel contains an entire color-shifted copy of the original screen in it...recursive zooming forever 22:50:42 not much nerd cred for that tho. it'd just look cool. 22:50:57 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 22:51:00 it'd become solid, though 22:51:29 you could fudge it 22:51:38 slowly remove the color shifting as you zoom or something 22:54:12 hg revert --all 22:54:52 PowerShell continues to disappoint me. You're all still here. 22:57:21 cheater: can I hire you as my AI consultant? I have a working framework for it now >__> 23:01:29 http://benmetcalfe.com/blog/2010/10/the-ly-domain-space-to-be-considered-unsafe/ Using domains in the TLDs of countries you can't trust: surprisingly, a bad idea! trust 23:01:37 tl;dr use .ly, follow sharia law 23:08:46 -!- oerjan has joined. 23:16:05 The past that we shared / Lost to the Waves / My journey here / a lifetime ago / and all that I was / is lost, to the waves 23:16:40 -!- cpressey_ has joined. 23:17:16 -!- cpressey has quit (Read error: Connection reset by peer). 23:17:38 Got a lyrics wrong :/ 23:17:42 "The past but a shade" 23:17:46 That makes more sense 23:26:33 -!- cpressey_ has quit (Ping timeout: 265 seconds). 23:31:05 Maybe I should start quoting random lyrics! 23:31:21 -!- tombom has quit (Quit: Leaving). 23:34:23 * olsner watches the waves as they propagate around his abdomen <-- wait were you ircing in the bathtub or something? 23:39:18 Oh, god, Randall Munroe hasn't rehashed Online Communities, has he? 23:39:30 Sgeo will be happy that i noticed Active Worlds in there 23:39:35 -!- augur has quit (Ping timeout: 240 seconds). 23:44:09 (also i learned something new from the hovertext today) 23:47:05 i could be a girl <-- at this point i wouldn't believe it if you claimed to be 23:47:30 just my impression 23:50:15 P(cheater99 is a girl) = minuscule 23:50:16 :P 23:51:08 alise is not female???? <-- i am almost sure this has been pointed out to you before 23:51:50 -!- FireFly has quit (Quit: swatted to death). 23:52:21 Phantom_Hoover, oh and is "subspace" just a star trek reference, or some game? It is next to MMO Isle, opposite to second life 23:52:27 hm i wondered about that too 23:53:24 subspace is used in like everything 23:53:35 http://en.wikipedia.org/wiki/SubSpace_(video_game) but somehow I *doubt* 23:53:49 yeah that's the closest i found too 23:54:05 It has to be under the water for some reason 23:54:07 it's an MMO, so... 23:55:15 i am assuming it's not the record label :D 23:55:47 well since it _is_ next to MMO isle i guess it's pretty clear 23:56:04 -!- BeholdMyGlory has quit (Remote host closed the connection). 23:58:17 > ['a'..'z'] \\ (nub . sort . map toLower) "The quick brown fox jumpwedover my bix sphynx of qwertz." 23:58:18 "agl" 23:58:23 FAIL 23:59:05 > (nub . sort . map toLower) "The quick brown fox jumpwedover my bix sphynx of qwertz." 23:59:06 " .bcdefhijkmnopqrstuvwxyz" 23:59:42 cheater: how much to have you consult on AI??