00:02:16 I guess I'm 15 now, huh. 00:03:29 alise, oh? 00:03:37 alise, much nostalgia yet? 00:03:46 or I guess that will take a few more years 00:05:00 Why, when I was your age.... 00:05:09 XD 00:05:26 Vorpal: I've had nostalgia since I was, what, 10. 00:05:28 Phantom_Hoover_, wait, you are younger than me 00:05:33 Mostly for things I /wasn't alive for/. 00:05:37 Vorpal, AGEIST 00:05:40 Vorpal: Yes, but when Phantom_Hoover_'s older than you, he'll KICK YOUR ASS 00:05:41 XD 00:05:58 * Phantom_Hoover_ fires Vorpal off at 0.9c. 00:06:08 alise, hm... relativity right? 00:06:13 No. 00:06:17 See, when Phantom_Hoover_ grows up, he'll be older than you. 00:06:20 Then he'll kick your ass. 00:06:38 Well, I'll need to catch him first. 00:06:44 alise, you forgot I age too, so this only works by relativity 00:06:52 Vorpal, hence the 0.9c. 00:07:07 Phantom_Hoover_, yes but I was writing my line while you said that 00:07:30 didn't see it until after 00:07:47 -!- sebbu has joined. 00:07:51 alise, you forgot I age too, so this only works by relativity 00:07:53 * Phantom_Hoover_ wonders about ways to get Vorpal to 0.9c. 00:08:00 I say, I say, that's a joke, son. 00:08:24 alise, yes, his sense of humour goes through nonexistent and approaches existence from the other side. 00:08:27 alise, yes but #esoteric is all about taking jokes seriously, iirc ais said so 00:08:32 and he is an AUTHORITY 00:08:35 on many things 00:08:45 that wasn't meant as a defence of you, dude. 00:08:50 Phantom_Hoover_: But only approaches. 00:08:54 I could but him in a giant cannon, I suppose. 00:09:10 But he might have no ass to kick when I slowed him down. 00:09:12 alise, maybe, but I can use it as one 00:09:14 but is a verb now 00:09:54 I could put him in a Buissard ramjet and fire it somewhere, but that'd take too long to slow down. 00:10:08 And I don't have a Buissard ramjet handy. 00:10:33 Does he actually have to get back? 00:10:40 Well, obviously. 00:10:47 How else will I kick his ass? 00:11:21 -!- sebbu2 has quit (Ping timeout: 272 seconds). 00:11:34 Kick a piece of air. One day, the particles will reach him, and kick his ass. 00:11:40 Plus, we can get rid of him! 00:11:50 Yeah, but I won't be older than him! 00:11:56 That's the whole POINT. 00:12:09 alternative: hire Chuck Norris. Except chuck Norris can't be hired for money. 00:12:13 or something 00:12:29 Chuck Norris is a fuckwit. 00:12:34 alise, true 00:12:39 Chuck Norris roundhouse kicking you in the face would send you back in time. 00:12:44 Seen that video where he talks about bible-based education shit? 00:12:45 Ha. 00:12:57 btw, rule 34 on Chuck Norris. 00:13:09 no! 00:13:10 hell no. 00:13:18 Your Feynman diagram would be in the shape of a cross. 00:13:25 hm on second thought, no indeed 00:13:44 okay then... rule 34 on Feynman diagrams and/or Feynman? 00:13:46 augh 00:14:00 i'd totally go gay for feynman 00:14:07 XD 00:14:11 http://www.google.com/images?um=1&hl=en&safe=off&ie=ISO-8859-1&tbs=isch:1&sa=1&q=richard+feynman+porn&aq=f&aqi=&aql=&oq=&gs_rfai= 00:14:16 the world is not evil enough to create it 00:14:31 Yeah, but you'd need Chuck Norris to roundhouse kick you in the face to send you back in time to see him. 00:15:02 And then he would have to roundhouse kick you in the face in the past, as well, to make your go forward/ 00:16:32 At which point you'd look like you could be spread on toast. 00:16:39 Sgeo: dreamviews is so boring 00:16:48 i like ld4all, it's fun just separating the legitimate, useful content from the mystical crap 00:16:54 gotta have some entertainment right? 00:17:03 their website design used to be hilarious, you had to hover over an arrow picture to scroll 00:17:36 http://www.ld4all.com/guide.html still does! but you can scroll manually it seems 00:17:44 alise, hah 00:17:57 and it isn't hovering, it's clicking and holding 00:18:07 alise, is safe search off? 00:18:10 Looks disturbingly new age... 00:18:11 when googling that 00:18:39 Vorpal: yes 00:19:01 Phantom_Hoover_: there's one or two new agey forums and some of the members are kooky like that but the actual site is useful :P 00:19:10 and the forums are/were the biggest lucid dreaming forum when i knew them 00:19:18 but yeah, it does have a tinge of that. 00:20:00 -!- tombom_ has quit (Quit: Leaving). 00:21:00 -!- Phantom_Hoover_ has quit (Quit: I think I am a lambda I must sleep). 00:24:54 Sgeo: what technique do you use to LD? 00:24:59 i've tried WILD 00:25:12 and my eyes flick around like REM, half-induced by me, and i start to get very relaxed, but i can never sustain it for long enough 00:25:18 -!- bsmntbombdood has joined. 00:27:25 -!- sftp has quit (Remote host closed the connection). 00:28:06 -!- sftp has joined. 00:28:41 -!- derdon has quit (Ping timeout: 258 seconds). 00:29:29 * Sgeo blinls 00:29:34 * alise blinls 00:31:11 * Sgeo is way too tired 00:35:23 -!- sftp has quit (Remote host closed the connection). 00:36:02 -!- sftp has joined. 00:44:49 Sgeo: you know, a verified, optimising C compiler has been written in coq 00:44:57 (similar performance to gcc3 -O1) 00:45:04 compiles to powerpc 00:45:08 written by the author of ocaml 00:45:27 Great, now where's my instatiredbyegone machine? 00:45:46 Sgeo: quit complaining and go to fucking bed 00:45:46 :P 00:46:36 Can't go to bed early 00:47:54 yes, you can. 00:48:15 pikhq: replaygain_track_gain = -17.67 dB 00:48:17 pikhq: is that a record? :D 00:48:26 same album, different track: +0.01 dB 00:48:48 (replaygain_album_gain = -10.95 dB) 00:49:05 track peaks are all 0.9... or 1 :P 00:57:55 -!- sftp has quit (Remote host closed the connection). 01:09:49 DAMTEMENTALISM 01:10:00 -!- sftp has joined. 01:11:19 Sgeo: 01:11:20 staload "foo.sats" // foo.sats is loaded and then opened into the current namespace 01:11:20 staload F "foo.sats" // to use identifiers qualified as $F.bar 01:11:20 dynload "foo.dats" // loaded dynamically at run-time 01:17:14 -!- nooga has quit (Read error: Connection reset by peer). 01:19:35 http://ijpeffwa.friendsofsmash.co.uk/ 01:19:36 The International Jurassic Park Erotic Fan-Fiction Writer's Association 01:39:39 "You can buy T-Rex and put him in your house! – 01:39:39 –...for PROFIT!" --qwantz page 02:06:27 -!- zzo38 has joined. 02:06:50 Now I wrote Deadfish interpreter in TeX. 02:07:04 http://esoteric.voxelperfect.net/wiki/Deadfish#TeX 02:08:22 XD 02:09:02 A true milestone for humanity. 02:09:52 speaking of implementations, someone still ought to write a http://esolangs.org/wiki/Redivider compiler 02:09:56 bonus points if you compile the regexp to an automaton 02:10:34 The "esolangs.org" domain does not keep the login cookies? 02:10:52 It's the "official" one. 02:10:59 The voxelperfect alias is just the server, methinks. 02:11:07 Log in to esolangs.org and it'll work. 02:12:33 alise: It doesn't work when I try. When I do that, it redirects to the other domain and sets the cookie there anyways, so you cannot be logged in to "esolangs.org" domain unless you copy the cookie using a cookie management function. 02:13:02 Your browser is borken. 02:13:17 I just did it; not a single redirection. 02:15:32 oh gawd the slowness pains 02:15:43 coppro: ? 02:15:52 alise: uploading my mail to the new server 02:16:03 If you have TeX, try the Deadfish TeX interpreter, and figure out how it works (if you know how to use TeX, you will probably be able to figure it out easily) 02:16:22 progressing at about 1 Hz 02:16:22 coppro: why bother? 02:16:24 -!- cpressey has joined. 02:16:25 just store it locally 02:16:27 hi cpressey 02:16:35 alise: then there's a disconinuity! 02:16:41 cpressey: i just turned 11 1/2, do i get a present?!!! 02:16:42 Yes, you should totally just store it locally. 02:17:02 Context, as I have mentioned before, is for losers. 02:17:21 alise: What signficance eleven point five? 02:17:49 Or, short version: No. 02:18:07 cpressey: Actually, 15. 02:18:15 But, you know, same thing. 02:18:18 Oh. Well, happy birthday then! 02:18:35 Now where's my present? 02:19:25 Over there, in a box. 02:19:35 Oh my god what have you done to this kitten 02:20:30 If you must know: mostly Ed Wood movies. 02:20:50 Dude, that can't explain the ... what is ... 02:21:32 Can we make a INTERCAL and Brainfuck combined? 02:21:56 No. 02:23:00 yeees 02:23:05 why dilute intercal with something more sane? 02:23:21 coppro: do not say yes 02:23:24 it will only encourage him! 02:23:45 PLEASE >[+>]- 02:23:48 apparently my email upload should be done by 4PM tomorrow 02:25:02 cpressey: Not exactly what I meant, but I guess that is one way, to just put INTERCAL commands a brainfuck commands can be used together in one program 02:26:18 And then you can also combine codes of many other program languages, too 02:28:25 * alise wonders whether the fundamental features of an irc.IRCClient are its user credentials, or the server it's connecting to 02:29:00 alise: ? 02:29:12 zzo38: stuff 02:29:39 I think the fundamental feature is connecting to the IRC server? 02:29:46 -!- Zuu has quit (Ping timeout: 276 seconds). 02:30:07 i mean what should be in the constructor vs arguments to connect() :P 02:30:22 alise: What program language are you using? 02:30:53 I think it makes sense this way: connect(host,port[,nick,user,password,real]) 02:30:54 Python, it sucks but makes this easy enough. 02:31:04 -!- Zuu has joined. 02:31:05 -!- Zuu has quit (Changing host). 02:31:05 -!- Zuu has joined. 02:31:06 zzo38: so you think it should just be "client = IRCClient()", with no arguments? 02:31:07 hm. 02:31:31 alise: O, you mean when creating the object. 02:31:42 right 02:31:57 e.g. client = IRCConnect(nick, user, pass, real); client.connect(host, port) 02:31:58 vs 02:32:00 erm 02:32:06 e.g. client = IRCClient(nick, user, pass, real); client.connect(host, port) 02:32:06 vs 02:32:08 I suppose you can have the connect() function return itself so that you can do: IRCClient().connect(host,port) 02:32:11 client = IRCClient(host, port) 02:32:14 client.connect(nick, user, pass, real) 02:32:34 (I mean, connect() returns the IRCClient object) 02:33:29 hmm 02:33:31 So if you omit the nick,user,password,real, then it will not login, it will only connect and then you have to send the login command. 02:33:55 Actually better perhaps is to put password at the end, so that it can be omitted even if you do put in nick,user,real? 02:33:57 zzo38: it'll always take those, because it'll handle communicating with a nickname service thingybob to kick off any clients that may be using the name 02:34:07 (since the rest of my code is too lazy to handle that) 02:34:41 -!- cpressey has quit (Ping timeout: 245 seconds). 02:37:38 Have you ever built a telephone? 02:37:48 no 02:38:32 Disconnecting in a bit 02:39:07 Sgeo: now 02:39:20 mmm? 02:39:23 disconnect now 02:39:26 I have a strange idea, which is adding a #catcode command into the C preprocessor 02:39:38 Why not in 22min? 02:40:22 becaudt 02:42:10 22min = 1hr 02:42:28 coppro: wat 02:42:38 it's a Canadian thing 02:42:48 O, this hour has 22 minutes? 02:42:53 I thought this hour has 60 minutes? 02:42:54 yes :D 02:43:04 coppro: timezone thing? 02:43:10 or? 02:43:11 alise: no 02:43:18 coppro: oh come on, elaborate 02:43:31 google it 02:43:40 http://en.wikipedia.org/wiki/This_Hour_Has_22_Minutes 02:43:43 it's no fun if I tell you >:D... aw 02:43:45 ah 02:43:48 i googled 22min = 1hr 02:43:50 but didn't get anything 02:43:56 -!- FireFly has quit (Quit: swatted to death). 02:44:23 ..? 02:44:26 I got stuff 02:44:44 sigh 02:44:46 i didn't get http://en.wikipedia.org/wiki/This_Hour_Has_22_Minutes 02:45:02 * Sgeo didn't see that >.> 02:45:38 That was in my google results when google corrected 22min to 22 min 02:46:12 In my browser I configure it to put "&nfpr=1" in a ":g" Google search 02:46:28 nfpr? 02:46:34 presumably "don't correct". 02:46:56 I don't know what the letters stand for, but it fixes one of the problems with Google search. 02:47:22 how hopelessly vague 02:48:01 Maybe there are other parameters I can also add on to fix it more 02:48:35 Do you know what other parameters there is? 02:49:57 Actually, I only Googled after alise said he didn't get stuff, I think 02:50:04 Or maybe my memory's mixed up 02:50:12 -!- Wamanuz has quit (Remote host closed the connection). 02:50:14 Well, at least I'm human then 02:53:34 zzo38: What does nfpr=1 do? 02:54:25 Why is Chrome so painful when it comes to Reddit 02:55:40 alise: It turns off autocorrect 02:57:07 zzo38: Which is not neccessarily fixing. 02:58:04 It fixes Google partially 02:58:14 zzo38: Some of us like autocorrect. 02:58:22 Calling it a "fix" is a bit presumptious... 02:58:45 does it still offer fixes? 02:58:57 I despise the "oh, here's what you meant to search for" 02:59:30 i dislike it, but *eh* 02:59:34 some people don't :P 02:59:37 http://www.engadget.com/2010/04/09/aceecas-pda32-keeps-the-palmos-dream-alive/ people still release palmos devices! 03:00:29 Have you ever played ZZT game or made anything with ZZT? How much do you know about internal functioning of ZZT? 03:00:46 None, no, nothing. 03:01:02 1min 03:01:46 what's ZZT? 03:02:04 The source-codes of ZZT has been apparently lost, that is why I am rewriting a reimplementation of ZZT in Enhanced CWEB and with SDL. 03:02:19 olsner: http://en.wikipedia.org/wiki/ZZT 03:02:23 lost? oh noes :( 03:03:06 -!- myndzi\ has changed nick to myndzi. 03:03:24 (There are other clones of ZZT as well, but mine is different than the other clones, it is intended to be closer to the original, as well as being a full document about everything in ZZT. 03:03:26 ) 03:04:09 ZZT is still for sale through mail order, according to Sweeney in a Gamasutra interview[3]. 03:04:29 but not the source code (?) 03:04:35 yeah, presumably 03:04:43 alise: Yes, it is, although they offer the registered versions for download as well, at no cost. 03:05:44 -!- Sgeo has quit (Ping timeout: 240 seconds). 03:05:54 myndzi: And apparently they lost the source-codes. It was originally written in Turbo Pascal. Mine is C. But I try to make it accurate as possible, I even downloaded a Turbo Pascal reference manual for this purpose! 03:06:15 why? 03:06:47 alise: What are you refering to? 03:06:53 why get a turbo pascal manual? 03:07:49 For maximum accuracy. 03:07:58 accuracy to what/ 03:08:00 *what? 03:08:05 if you don't have the source how can that help 03:08:15 for writing the pascall decompiler, of course 03:08:27 >_< 03:10:39 or just to get in the right mood and mindset 03:12:22 zzo38: actually, I think I'll include all the arguments in the constructor 03:12:46 client = IRCClient('irc.freenode.net', 6667, 'botte', 'botte', 'botte') 03:12:48 client.connect() 03:13:43 whyy doesn't irc ghost automatically 03:18:42 -!- sebbu2 has joined. 03:20:04 I also entered strange commands into ZZT to see what happens, and then think of how it was programmed to make it to do that, I also entered strange data into the world files that it will load, and I made memory dumps of ZZT. 03:20:56 I also require the endianness to be correct. (SDL provides macros to check the endianness at compile time, so I can make it refuse to compile on big-endian computers) 03:21:41 I am not writing a Pascal decompiler, and I don't need to decompile anything. 03:21:44 -!- sebbu has quit (Ping timeout: 246 seconds). 03:22:05 Now do you understand? 03:22:25 no 03:22:31 i still can't figure out why you downloaded a pascal manual 03:23:16 me neither, I don't think this explains how a pascal manual would be relevant 03:32:45 Maybe you can see, when you can see the program. 03:34:37 zzo38: Maybe you could tell us. 03:41:03 is the thing you connect to with a socket -- (host,port) -- really (host,port) or (hostname,port)? 03:41:05 unabbreviated, I mean 03:41:58 alise: I mean put the domain name or IP address 03:42:10 mm 03:42:15 should be host then 03:42:18 as an ip isn't a hostname 03:42:25 wow, i just realised how awesome an irc library could be with continuations 03:42:26 you could do 03:42:42 info = whois("somebody"); print(info.channels); 03:42:43 or whatever 03:42:51 and before the server returns the whois request 03:42:55 what the whois call would do is continue the server loop 03:42:59 so any incoming messages get handled 03:43:06 then when the whois reply returns, it calls the continuation it saved 03:43:18 also, any errors could be raised as exceptions in that continuation 03:43:28 OK 03:46:06 zzo38: do you know if there's a name for the USER/(PASS)/NICK combination sent by the client? 03:46:08 prelude? login? 03:50:43 handshake? 03:53:50 coppro: but the server has no part in it 03:54:18 alise: I guess it is the login sequence? 03:54:23 I don't know if it has a name 03:56:29 When I write CZZT, then maybe Tim Sweeney should sell this book together in the same mail order? 04:01:09 i doubt he will 04:02:48 Well, I want to send a copy of the book (and DVD) to him anyways 04:05:38 why dvd? 04:06:09 The DVD contain source-codes, executables, and DVI file for printing another copy 04:07:09 you could fit that on a cd. 04:07:42 I could use a CD. But blank DVDs are less expensive than blank CDs in Canada, due to music tax. It is stupid law, but it is the law anyways. 04:07:51 Even if you are not using the CDs for music. 04:07:52 how odd. 04:08:57 -!- Quadrescence has quit (Quit: omghaahhahaohwow). 04:25:14 -!- sftp has quit (Remote host closed the connection). 04:26:08 zzo38: heard of the university copyright tariff proposal? 04:26:29 http://www.michaelgeist.ca/content/view/5250/125/ 04:27:37 if you recv() from a socket and an \r\n is reached, you may still get stuff after that, right? 04:27:48 zeotrope: I have not heard of it before. 04:30:04 If it's accepted, I will definitely go out of my way to have my uni not subscribe 04:30:41 coppro: uw student? 04:34:54 this tariff, bill C-32 and ACTA, grim future ahead if they pass 04:41:04 * alise decides /not/ to handle servers that send \r one send, then \n the very next message 04:41:07 that would be ludicrous. 04:41:15 * alise changes his mind 04:41:27 grr 04:41:31 python needs a multi_split :P 04:44:28 multi_split? 04:45:23 coppro: 'foo'.split_by_either(['\r', '\n']) 04:45:38 'foobar'.split_by_either(['o', 'a']) -> ['f', '', 'b', 'r'] 04:45:50 like using re.split 04:45:52 but not so heavyweight 04:46:08 I think maybe the law should be this: require businesses that use TPMs to include a prominent warning on their packaging 04:46:32 (And in addition, don't have any anti-circumvention laws) 04:47:24 fuck TPMs 04:47:40 IIRC my computer has one but it's turned off 04:48:33 coppro: Then disconnect the TPM hardware 04:48:39 the bill is good on the whole but the TPM stuff invalidates everything other freedom the bill offers 04:48:47 *every 04:49:22 zzo38: It's a laptop; too much work. Shutting it off at the bios is fine 04:49:35 They need to add a warning label on all DRM products. There are warning labels required for many other things too 04:49:40 coppro: O, it is a laptop. 04:50:05 zeotrope: yes, uw student. Also member of the PPCA for what it's worth 04:51:00 coppro: you should also join WSIC, http://wsic.uwaterloo.ca/ 04:53:24 zeotrope: I will check it out when I arrive 04:53:30 are you a student there? 04:54:12 ya 04:54:29 what program/term? 04:55:04 chem eng/2B 04:55:32 I have idea to built new computer, with new hardware and software, all GNU GPL (and other Free software), the hardware design has a few goals, one is that it is not too difficult to understand how it works (someone can open it and look), another goal is for the hardware design to prevent "digital locks" from working. 04:55:50 However, I can still see one hole in it, the "random number generator" hole, and I am unsure how to correct this. 04:57:11 My initial idea is to use ARM11 and DSPs, but later versions might be designed to use MMIX instead (with a "pre-initialization" mode). 04:57:40 Do you have any opinions about this? 04:58:15 I don't understand why RNG would be a hole 04:58:34 * alise decides to submit http://merd.sourceforge.net/ to reddit, but cannot think of a title 04:58:57 maybe "merd language = dynamic expressivity + static type checks" 05:06:20 RNG can be a hole in some cases, especially when companies can provide external hardware that is required to load a game onto a computer. 05:06:44 Or even with network access, this can sometimes be a problem. 05:07:07 I can use trademarks to enforce some rules. But trademarks do not change a hardware design. 05:07:46 (You are not allowed to advertise your products as being compatible with this computer if you do not follow these rules) 05:08:49 how can rng be a hole 05:13:38 alise: O, you still don't know? 05:14:31 A game might have a random number generator, but then it uses the same sequence of random numbers each time, and ruins the game! 05:15:51 i see 05:15:54 how's that a hole 05:19:04 Well, the hardware is designed to prevent digital locks, but it isn't effective if a software company can just design their software so that it ruins the game if you try to mirror the program in hardware..... 05:22:18 hmm 05:22:20 i see 05:25:49 And so, we come swiftly to a conclusion: allow me to introduce the Natty Narwhal, our mascot for development work that we expect to deliver as Ubuntu 11.04. 05:36:58 -!- Mathnerd314 has quit (Ping timeout: 265 seconds). 05:37:14 bed in a second 05:38:42 Other ideas include: 05:39:34 Hardware-level debug chains, where the software being debugged cannot know it is being debugged, that the debugger can lie to the software about clock speed, time of day, IP address, and so on 05:39:47 That replacing system software requires opening up the box and changing some jumper switches 05:40:27 That it includes a comprehensive manual describing everything about the computer and how to program it 05:40:47 That there are simple hardware interfaces to connect to external devices, such as game controllers 05:41:09 That it has a built-in Forth and BASIC interpreter 05:42:38 That it has separate processors for main CPU and for video DSP and for audio DSP, all of which are reprogrammable (except for NMIs) 05:42:50 And more. 05:49:00 -!- cal153 has joined. 05:49:11 -!- GreaseMonkey has joined. 05:50:11 -!- iamcal has quit (Ping timeout: 240 seconds). 05:51:28 bye 05:51:31 -!- alise has quit (Quit: Leaving). 05:51:53 -!- comex has quit (Ping timeout: 246 seconds). 05:52:51 -!- comex has joined. 06:08:21 -!- sebbu has joined. 06:10:58 -!- sebbu2 has quit (Ping timeout: 255 seconds). 06:54:51 How can you make arrows drunk with blood? 07:01:41 -!- zzo38 has quit (Remote host closed the connection). 07:04:24 -!- oerjan has joined. 07:14:43 -!- myndzi\ has joined. 07:15:05 http://en.wikipedia.org/wiki/Bir_Tawil This is terra nullius; anyone want to start a country? 07:16:34 uh, that article says it's under Egyptian control 07:16:57 oh wait, I see 07:16:59 huh. 07:17:01 No, it says it was in 1902. 07:17:08 that sounds awesome 07:17:18 It is currently claimed by absolutely no state. 07:17:28 I should mention this in #csc 07:17:32 csc? 07:17:38 UW computer science club 07:17:48 same sort of people generally as here 07:17:49 And under very well-defined international law, it would be perfectly valid for one to set up a country there. 07:17:56 except they'd actually go there and start a country 07:18:15 If I had enough money to make a reasonable investment into it, I'd probably do so. 07:18:28 -!- myndzi has quit (Ping timeout: 258 seconds). 07:18:32 -!- iamcal has joined. 07:18:40 pikhq: you should tell Julian Assange 07:19:01 coppro: ... My *God*. 07:19:26 Though, unfortunately, he would instantly have war declared upon him. 07:19:58 -!- cal153 has quit (Ping timeout: 272 seconds). 07:21:16 the USA has actually signed the Montevideo Convention 07:21:47 it won't stop them from taking some actions, but they'll do those anywhere 07:22:30 Somehow, I doubt they care. 07:22:49 they wouldn't care about it in Sweden either 07:23:04 the USA firmly believes in its right to kill other people 07:23:25 The USA firmly believes in its right to kill *everyone*. 07:23:32 no, not USAians 07:23:38 Yes USAians. 07:23:57 well, I suppose 07:24:01 but that has to be approved 07:24:08 and go through normal courts, etc. 07:24:17 The US military has recently had shoot-to-kill orders against US citizens. 07:24:23 really? 07:24:25 wtf 07:24:27 Yes. 07:24:28 I thought that was illegal 07:24:58 someone should try to sneak a right to life into the constitution and have the gop support it because they think it will ban abortion 07:25:35 Anwar al-Awlaki (born in Las Cruces, New Mexico) has standing shoot-to-kill orders against him. 07:25:46 Said orders from President Obama. 07:26:21 wow 07:26:35 oh wait, does the restriction against killing citizens only apply on US soil? 07:27:03 Doesn't matter; it's still blatantly illegal. You see, the US constitution requires due process. 07:28:23 pikhq: that's only for crimes 07:28:31 the US can in theory still kill someone arbitrarily 07:29:16 Under this crazy-ass loose interpretation of the US constitution, it can. 07:30:03 If you look at what it actually says, the US hardly has the authority to pick its nose. 07:30:24 (not that anyone actually *follows* what it says, but hey.) 07:30:47 pikhq: yeah, I love the gop 07:30:52 "let's uphold the US Constitution" 07:31:01 *blatatanly violates it* 07:31:05 "you disagree? you're unamerican!" 07:31:14 "The powers not delegated to the United States by the Constitution, nor prohibited by it to the States, are reserved to the States respectively, or to the people." 07:31:39 Hmm. The US is not delegated the power to kill people at random. Clearly, the US does not have it. 07:32:39 clearly that falls within powers necessary for the general well-being 07:32:57 ... honestly, the worst part of living in Canada is that we're next to you guys :( 07:34:09 "No state has the right to intervene in the internal or external affairs of another." -- Montevideo Convention. 07:34:17 That one clause the US ignores so damned much... 07:34:41 is it actually law in the USA 07:34:42 ? 07:35:12 or is it just signed? 07:36:25 It was ratified. 07:36:46 has anyone tried to use it to block government actions? 07:37:02 or does your dumb concept of standing prevent it? 07:37:24 ... Waitwaitwait*what*? 07:37:37 "American law is that international accords become part of the body of U.S. federal law. As a result, Congress can modify or repeal treaties by subsequent legislative action, even if this amounts to a violation of the treaty under international law." 07:37:49 *Congress can repeal treaties with a simple majority*?!? 07:37:51 What the fuck? 07:37:57 that actually makes sense 07:38:09 and is probably the case in most nations 07:38:30 Nope. 07:38:57 In most nations, it is effectively a *contract* signed with other nations. 07:39:38 ah, yeah 07:39:41 you're right 07:40:05 they shoudl ratify the Vienna Convention 07:40:36 although does Congress have power to limit itself? 07:40:45 without a constitutional amendment 07:41:12 The Congress has the power to define its own rules of proceeding. 07:42:25 ok 07:43:12 does that include by enacting provisions which limit its further powers? 07:43:17 -!- oerjan has quit (Quit: Later). 07:44:20 "Each House may determine the Rules of its Proceedings, punish its Members for disorderly Behaviour, and, with the Concurrence of two-thirds, expel a Member." 07:44:50 Though it would probably have to be part of its rules of proceedings, *yes* it could in fact limit itself permanently. 07:45:13 I suppose that should be construed as saying that an enactment can partially or permanently limit its powers, unless that would interfere with the execution of the Constitution 07:47:45 in Canada, our chambers are constitutionally required to act by simple majority (yes, really); it's free to internally limit its procedures, but if it was tried to be permanent, it would probably be deemed unconstitutional under the principle that no Parliament should be able to limit a future one. 07:48:02 (except by enactment, of course, but those are more directly subject to the constitution) 07:48:21 There is nothing in the US constitution that requires that Congress' laws be made by majority. 07:48:37 It would, in fact, be *perfectly* valid for Congress to cease making laws forever. 07:49:07 Or delegate its law-making powers to the President. Forever. 07:49:53 *However*, it would still be required to meet. 07:50:03 wow 07:50:15 and it would probably be interpreted as legal by the courts too 07:50:19 Yes. 07:51:13 that's the other safeguard here... a future Parliament effectively /cannot/ be hamstrung by the current one because the ultimate decision authority in affairs regarding the chambers is, in fact, the chambers themselves 07:52:55 There would be one way to make that complete lock-down stop. An amendment. 07:52:55 -!- wareya has quit (Read error: Connection reset by peer). 07:53:22 although in theory the courts could legally intervene if they determined that the constitution was being directly undermined by the 07:53:35 *by the Parliament. They would be exceedingly loath to do so 07:53:51 In fact, an amendment could still be made if the *entire* US legal system had stopped. 07:53:54 -!- wareya has joined. 07:54:25 The US's constitution explicitly allows for constitutional conventions to make amendments. 07:54:33 yeah, that's a good thing 07:54:45 there should always be an emergency button 07:55:20 (ours is two people!) 07:56:18 Yours is the remains of monarchy. 07:56:37 yes 07:56:39 (quite unlike the UK's, which is literally a fully-functioning monarchy that refuses to exercise its power.) 07:57:09 heh 07:57:43 our monarchy still has similar powers to the UK's 07:58:00 Your monarchy has enumerated powers. 07:58:05 The UK's has enumerated restrictions. 07:58:15 True 07:58:29 but most decisions made by the government are made through the monarchy 07:59:08 in other news, I'm reading Robert's Rules 07:59:12 which I should have done long ago 07:59:53 In Canada, this is *in name*. 07:59:59 In the UK, this is *in fact*. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:27 The Queen *literally* just delegates her powers. 08:00:48 heh 08:00:53 it's a good system, really 08:01:29 Among other things, she merely delegates her power to negotiate and ratify treaties. 08:01:36 Or to command the military. 08:01:41 Or issue passports. 08:01:48 same here, actually 08:01:53 those powers fit entirely within prerogative 08:01:54 -!- cheater99 has joined. 08:02:22 same with calling an election. If QE2 wanted, she could decide that we were having an election and we'd have one. 08:02:57 And declare war on fruit? 08:03:06 yep 08:03:18 although maybe declarations of war are subject to Parliament 08:03:20 not sure there 08:04:07 (they're still considered a prerogative though, just one with its application restricted by an Act) 08:05:23 hmm... I don't see anything off-hand 08:05:30 I guess war is still wholly a prerogative 08:07:04 Hrm. Okay, guess it is pretty similar in Canada. 08:07:23 *Except* that in the UK, she also acts as your ambassador to God. 08:07:26 >:D 08:07:28 heh 08:07:58 in general, anything that isn't explicitly covered by an Act is the same as in the UK, by tradition 08:07:58 Monarchy is confusing. 08:08:11 it's not monarchy itself, it's damend uncodified law 08:08:16 Okay, true. 08:08:22 *damned 08:08:27 Less so than having a constitution that is completely and utterly ignored, though. 08:08:31 true 08:08:38 and then vehemently defended by the same people 08:09:01 At least in uncodified law, things are actually functioning according to what has been made law. 08:09:21 admittedly, one of the benefits of uncodified law is that it can be flexible 08:11:11 Well, yes. Same damned legal system that served King Ælfrǣd the Great... 08:12:20 (styled REX SAXONUM) 08:12:28 heh 08:13:22 maybe in another 1100 years, it will work 08:13:39 Argh, that's not even the first monarch. Just the first King of the English. 08:14:16 although most people consider it to have really started with the Magna Carta 08:14:39 since that limited the monarch's powers 08:14:56 Eh, I consider it the same legal system before that. The Magna Carta is merely the first one to make it not total monarchy. 08:15:46 Huh. Actually, no. 08:15:53 Charter of Liberties predates it. 08:16:06 I suppose 08:16:33 Much-ignored, but *that* was the first thing to limit the King's powers. 08:22:58 Man. The World Passport. 08:23:26 Published based on the assertion that this means you can just freely travel between countries: Everyone has the right to leave any country, including his own, and to return to his country. 08:23:43 (from the Universal Declaration of Human Rights; signed by every UN member) 08:24:34 -!- zeotrope has quit (Ping timeout: 272 seconds). 08:24:49 Back when our place (Finland) was independizing (December 1917), there was some debate whether to be a republic or a monarchy. They chose a republic at first, but after that civil war thing there was a bit of power-shifting in the Parliament, and they decided they wanted a king after all; they elected some prince out of Germany as the king. Real soon after that the last German emperor abdicated, and our brand-new king renounced the throne as well. 08:25:43 "Governmental archives reveal that the monarchical designation of the king was intended, at least tentatively, to be 'Charles I, King of Finland and Karelia, Duke of Åland, Grand Prince of Lapland, Lord of Kaleva and the North'." I don't know, "Lord of -- the North" sounds a little bit grandiose. 08:29:18 -!- cheater99 has quit (Read error: Operation timed out). 08:30:48 -!- cheater99 has joined. 08:31:22 Try "William II & III and Mary II, King and Queen of England, Scotland, France and Ireland, Defenders of the Faith." for grandiose confusion. 08:31:32 (yes, that is a single title) 08:32:30 Well, Kaleva and North in that title are referring to the Kalevala mythology there, so it's a bit faith-based; just a different one. 08:32:51 I don't think you noticed "France" in there. 08:33:04 They claimed *France*. 08:33:06 Oh, I completely glossed over it. Heh. 08:33:19 Also, "King and Queen". 08:33:29 Both reigning. 08:33:34 Simultaneously. 08:33:47 Well, I have this ambiguous-gender friend too... 08:33:54 -!- tombom has joined. 08:34:00 It wasn't ambiguous-gender. 08:34:10 The King/Queen regnant was two people. 08:34:21 * coppro facepalms 08:34:26 but legally one person? 08:34:40 Legally two people, but one monarch. 08:35:10 owowoowoww 08:36:52 That doesn't sound too strange, but admittedly what I know of monarchies mostly comes from reading through the fantasy book aisle of the library at our behind-the-ass-end-of-nowhere summer cottage "city". 08:37:00 Except that they *were* married, so in a *sense* they were one entity. 08:37:14 yeah, but what happens if they disagree about something? 08:37:17 http://en.wikipedia.org/wiki/Coregency has quite a lot of examples, still. 08:37:33 coppro: *boom* 08:37:34 or worse, get a divorce 08:37:46 or was that when it was illegal? 08:38:09 No, it's after the formation of the Church of England for the sake of making divorce legal. 08:38:20 coppro: Well, they're still King/Queen regnant. 08:38:59 Andorra's whole monarchy setup confuses me. 08:39:10 (segue!) 08:39:50 One of their two co-Princes is elected. Just not in Andorra. 08:40:04 http://en.wikipedia.org/wiki/First_Whitlam_Ministry 08:40:05 wtf 08:40:36 It's the duly elected President of France. 08:40:51 yeah 08:40:51 Along with the Bishop of Urgell, in Spain. 08:40:54 just read about that 08:40:57 Just... What the hell? 08:41:02 aye 08:41:26 The French elect a Prince of Andorra. 08:41:30 Gah. 08:42:42 Bishop of Urgell sounds equally random, even if it's not an elected position. (I profess to complete ignorance on how they select bishops.) 08:42:48 -!- distant_figure has quit (Ping timeout: 265 seconds). 08:42:56 "Andorra was ceded to the bishop of Urgell by the count Ermengol IV of Urgell in the twelfth century. There is still a bishop of Urgell, who since 2003 has been Joan Enric Vives Sicília. This role carries with it the position of joint head of state of Andorra." 08:43:22 IIRC bishops are appointed 08:44:59 Still, looking at the list -- http://en.wikipedia.org/wiki/List_of_Co-Princes_of_Andorra -- it seems that having a bishop there is a lot stabler than "whoever's the top dog at France", given how much more complicated the right column looks. 08:45:07 hah 08:46:01 coppro: It's a somewhat complicated procedure, it seems. 08:46:23 Among other things, it depends on which sub-church of the Roman Catholic Church is involved. 08:47:05 sounds about right 08:47:12 canon law is ridiculous 08:47:25 hell, it used to be a separate degree 08:47:30 2000 year old legal institutions tend to be. 08:47:34 (before it became pointless) 08:47:52 (all 1 of them) 08:48:09 pikhq: there were 10 :P 08:51:47 -!- sebbu has quit (Read error: Connection reset by peer). 08:51:53 -!- cheater99 has quit (Ping timeout: 240 seconds). 08:52:37 -!- sebbu has joined. 08:54:33 holy shit the motion to reconsider is confusing 08:55:13 * pikhq should sleep 08:55:21 Today, I learned that it's not a good idea to attach a screen session to itself. 08:55:39 I hate books with busted spines :( 09:07:18 -!- distant_figure has joined. 09:22:07 -!- Phantom_Hoover has joined. 09:25:08 -!- nooga has joined. 09:41:07 -!- distant_1igure has joined. 09:41:07 -!- distant_1igure has quit (Client Quit). 09:51:30 -!- dbc has quit (Quit: Seeeeeya). 10:02:52 -!- dbc has joined. 10:47:21 -!- comex has quit (Quit: ZNC - http://znc.sourceforge.net). 10:47:51 -!- comex has joined. 10:49:56 -!- Phantom_Hoover_ has joined. 10:52:34 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 11:29:59 -!- Wamanuz has joined. 11:35:05 http://en.wikipedia.org/wiki/Jesus_Christ_Vampire_Hunter has possibly the best plot synopsis I have ever seen on Wikipedia. 11:35:17 "Jesus fights with mixed martial arts skills and uses his carpentry skills to create weapons with which to slay vampires." 12:25:44 Sounds like an incredibly pointless movie 12:35:05 Probably. 12:39:31 Phantom_Hoover_, I wonder how that movie compares to plan 9... in quality 12:40:01 I think it's deliberately ridiculous. No, I know it's deliberately ridiculous. 12:40:08 hm okay 12:58:57 -!- GreaseMonkey has quit (Quit: New quit message. Entering 2006 in style.). 13:26:08 -!- FireFly has joined. 13:41:56 -!- Wamanuz has quit (Ping timeout: 246 seconds). 13:42:10 -!- nooga has quit (Read error: Connection reset by peer). 13:53:53 http://upload.wikimedia.org/wikipedia/commons/3/36/OLPC-Active_Antenna.jpg I love the way that it still has the green squiggle Word grammar check puts in on "for". 13:58:13 -!- Wamanuz has joined. 14:08:07 -!- nooga has joined. 14:12:52 -!- sftp has joined. 14:15:30 -!- sftp has quit (Remote host closed the connection). 14:23:35 Here's three recaptcha words I've gotten recently: http://zem.fi/~fis/faircaptcha.png -- the first one is in the Cyrillic alphabet, the second I have no clue about, and the third seems to have two levels of superscripts. Sometimes they might be asking a bit much. 14:25:30 The second looks to be in some Asian script. 14:26:03 каковую I reasonably could have written in, and perhaps hunted the second one down with some work, but I don't really know how they'd have wanted me to input the third one. MathML? TeX math notation? 14:27:00 reCAPTCHA uses, at least in part, words that it's not sure about, doesn't it? 14:28:20 Yes, IIRC one of the words it knows, the other it's trying to have you OCR for it. 14:29:14 My guess would be that those three would be those that it doesn't know, but I still wouldn't have felt comfortable entering any sort of garbage. 14:34:59 Well, for the 3rd you could have used some sort of flat format/ 14:35:19 K[X^p^m+1]. 14:36:18 Personally I'd parse that as (X^(p^m))+1 and not X^(p^(m+1)) like it is. 14:45:24 Yes, true. 14:54:31 * Phantom_Hoover_ doesn't really get today's SMBC 14:54:48 This is primarily due to not knowing what a resonant frequency is. 14:57:24 -!- cheater99 has joined. 15:16:23 -!- h0ho has joined. 15:18:37 -!- Sgeo has joined. 15:22:15 -!- sftp has joined. 15:27:18 -!- Mathnerd314 has joined. 15:30:00 -!- Phantom_Hoover_ has quit (Ping timeout: 265 seconds). 15:38:34 -!- cheater99 has quit (Ping timeout: 240 seconds). 15:44:42 -!- oerjan has joined. 15:45:06 -!- h0ho has left (?). 15:51:44 -!- zeotrope has joined. 15:53:58 -!- MizardX has quit (Read error: Connection reset by peer). 15:54:17 -!- MizardX has joined. 15:58:29 -!- sftp has quit (Read error: Operation timed out). 15:59:53 -!- sftp has joined. 16:00:35 -!- nooga has quit (Ping timeout: 240 seconds). 16:01:57 -!- zeotrope has quit (Read error: Connection reset by peer). 16:04:55 -!- zeotrope has joined. 16:11:11 -!- wareya has quit (Ping timeout: 240 seconds). 16:17:35 -!- Wamanuz has quit (Remote host closed the connection). 16:19:34 -!- Wamanuz has joined. 16:24:32 -!- wareya has joined. 16:28:03 -!- nooga has joined. 17:11:47 -!- Peping has joined. 17:12:54 Hello. I just made an interpreter for Braincopter. The problem is I'm too busy to make an IDE for it, and writing a program using just GIMP or MS Paint is too slow and difficult. Who's up for making an IDE? :) 17:13:56 (actually I really need an IDE. Today's I and my gf have an anniversary and I though it would be nice to put some nice code into a nice picture 17:16:16 Anyway.. is anybody even listening? Or everybody is on bounce? 17:19:34 -!- cheater99 has joined. 17:19:51 hello 17:25:13 Ello. 17:26:05 IRC channels are never near as full as they seem to be. Luckily, as long as nobody else says much, what you said will be the first thing people see when they return. 17:28:20 the fact no one had spoken in 3 hours might also be a _teeny_ hint 17:31:48 -!- MizardX- has joined. 17:34:34 -!- MizardX has quit (Ping timeout: 276 seconds). 17:34:46 -!- MizardX- has changed nick to MizardX. 17:48:23 -!- Phantom_Hoover_ has joined. 18:08:07 -!- cheater99 has quit (Read error: Connection timed out). 18:08:51 -!- cheater99 has joined. 18:15:10 -!- Quadrescence has joined. 18:49:01 -!- Peping has left (?). 18:58:21 -!- alise has joined. 19:00:01 23:15:05 http://en.wikipedia.org/wiki/Bir_Tawil This is terra nullius; anyone want to start a country? 19:00:02 too hot 19:00:19 23:18:40 pikhq: you should tell Julian Assange 19:00:19 23:19:01 coppro: ... My *God*. 19:00:19 23:19:26 Though, unfortunately, he would instantly have war declared upon him. 19:00:25 nonono 19:00:27 think sealand 19:00:31 put a data centre there 19:00:38 host everything that isn't child porn 19:01:12 23:25:35 Anwar al-Awlaki (born in Las Cruces, New Mexico) has standing shoot-to-kill orders against him. 19:01:12 23:25:46 Said orders from President Obama. 19:01:12 yay hopey change 19:02:46 alise: Hooray! 19:03:57 23:40:05 they shoudl ratify the Vienna Convention 19:03:59 they've signed 19:04:31 pikhq: I'm so glad the war in Iraq is over! I'm so glad drug laws have been made more reasonable! I'm so glad the economy is back on its feet! 19:04:42 What a wonderful thing, to live in America under Obama! 19:05:12 alise: And the balanced budget! Ooooh, and Gitmo! 19:05:21 What a wonderful thing, to live in America under Obama! 19:05:32 I forgot Gitmo! 19:05:39 Aah, it's so nice that thing closed down. 19:05:44 http://www.politifact.com/truth-o-meter/promises/ 19:05:53 Anyway, re servers in Bir Tawil. 19:05:54 -!- cheater99 has quit (Read error: Connection timed out). 19:06:13 Phantom_Hoover_: You'd have to get a connection, yes. 19:06:25 And the tier-1 providers have rules, yes. 19:06:27 Just host them in one of the Terra Nullii in Antarctica; you wouldn't need to bother with cooling. 19:06:29 You'd rather risk America under Palin? 19:06:29 Such is life. 19:06:33 Phantom_Hoover_: ha 19:06:43 Sgeo: Oh, yes, I forgot, the American constitution specifies that there may only be two parties. 19:06:48 Sgeo: No. I WANT KUCINICH. 19:06:49 Also, Palin ran for president, not John McCain. 19:06:51 And it's near enough Argentina that you could run a cable there. 19:06:53 All these things are true. 19:06:55 -!- cheater99 has joined. 19:07:03 I said "risk" 19:07:10 As in, if something happened to McCain 19:07:23 Yes, because it's impossible to elect someone else entirely. 19:07:45 As I said, the glorious Constitution provides for two parties: the Republicans, and the Almost Republicans. 19:07:50 It is in the US. 19:07:54 At the time of the general election, it would be close enough to impossible 19:08:10 Yes, and that of course means that now, it is bad and wrong to complain. 19:08:28 No, it's not. 19:08:28 Because you should accept what your horrific political climate decides to stick in your ass, and you should like it. 19:08:36 God bless America. 19:09:03 alise: One of the major misconceptions of American politics is that if you vote for !Republican || !Democrat then you have voted for RAPING BABIES WITH NUCLEAR MISSILES AND MACES 19:09:12 pikhq: *&& 19:09:19 Phantom_Hoover_: running a cable to argentina wouldn't help 19:09:30 Phantom_Hoover_: because you'd need to get net-connected in argentina 19:09:32 Because somehow, voting for a third party *guarantees that evil will win*. 19:09:40 and i think all the providers require you obey the law of your country 19:09:41 right? 19:09:42 even tier-1s 19:09:55 besides, the fact is that you'd break argentinian law 19:10:10 pikhq: could you get connected to a tier-1 without going through another country, do you think? 19:10:16 and without being bound by anyone else's laws 19:11:04 Tap into an undersea cable? 19:11:15 alise: You'd set up a private corporation to be connected to said tier-1. 19:11:18 Phantom_Hoover_: That doesn't sound awfully legal. 19:11:36 Sadly, you'd have to be *involved* with another nation to be connected. 19:11:38 pikhq: A private corporation in the Fair Dictatorial Democracy of Data Haven, yes. 19:11:40 Mm. 19:11:45 How did Sealand do it? 19:12:24 You could host on the Moon, so everyone would be able to connect for half the month. 19:12:39 They purchased a wireless link through the UK. 19:12:51 pikhq: And ... how did that let them host illegal shit, again? 19:12:56 With an antenna and some tracking stuff. 19:13:07 Phantom_Hoover_: Or a REALLY POWERFUL LASER. 19:13:11 alise: It was perfectly legal for the server to be hosting stuff where they operated. 19:13:15 -!- MigoMipo has joined. 19:13:16 Lightspeed Communications, Inc. 19:13:18 alise, that would be AWESOME 19:13:31 pikhq: But how would they transmit the material to anyone else legally? 19:13:32 "Oh, I can't download Star Trek; the laser's down." 19:13:40 alise: What's actually on the pipes is not regulated. 19:13:51 pikhq: Oh. Why didn't you tell me? 19:13:55 OTOH it would be unusable on a cloudy day if the laser was optical. 19:14:03 pikhq: Are you just saying that no country would want to do business with such a happy-go-lucky country? 19:14:18 Phantom_Hoover_: Okay: MICROWAVES 19:14:22 alise: Not necessarily, actually... 19:14:22 Hot Hot Communications, Inc. 19:14:27 alise, LESS AWESOME 19:14:28 pikhq: See, this is PRACTICAL! 19:14:48 So, do we go for Africa or Antarctica? 19:15:07 I think Africa. 19:15:11 Antarctica conditions are shitty. 19:15:16 Africa pros: near civilisation; you can use solar. 19:15:20 No technician is going to wear those clothes. 19:15:29 TO EGYPT! 19:15:35 OR THE MOON! 19:15:42 Phantom_Hoover_: I wonder what the nearest first-world country is to the area. 19:15:42 * Phantom_Hoover_ prefers the moon. 19:15:53 I doubt Egypt has a fast internet link. 19:16:13 Well, for the Moon you're going to have pretty high latency. 19:16:29 Meanwhile, pikhq! Inject some non-Moon-related facts into this discussion. 19:17:01 alise: Your major problem here is that Bir Tawil is landlocked. 19:17:12 Why's that a problem? 19:17:21 The pirates won't be able to dock? 19:17:23 Thus, you'd have to go through Egypt or Sudan... 19:17:31 pikhq: Good point. 19:17:36 Not the friendliest countries. 19:17:39 Rather than, say, having a link to Europe. 19:17:44 Or the countries with the fastest interweb. 19:17:46 Bounce the signal off the MOON! 19:17:58 pikhq: But is Antarctica really practical? 19:18:03 (Northern Africa. Linking to Europe is *practical*.) 19:18:05 I mean, those conditions are *shitty*. 19:18:11 You'd need a /heated/ data centre! 19:18:13 alise: Not especially. 19:18:37 Servers <=> heating, surely? 19:18:37 Well, maybe *right* on a coast. 19:18:53 Phantom_Hoover_: They probably wouldn't RUN on speeds that slow. 19:19:00 pikhq: If you can link to Argentina, then yeah, there's a place right on the coast. 19:19:01 -!- nooga has quit (Ping timeout: 264 seconds). 19:19:04 alise, speeds? 19:19:09 No? 19:19:14 Phantom_Hoover_: Erm. Temperatures. 19:19:16 alise: Actually. Servers run *better* when cold. 19:19:20 Well, yes. 19:19:22 But /that/ cold? 19:19:30 The components would get icy! :P 19:19:32 Well, we can make it unheated and use HTSCs! 19:19:36 Some people have used liquid nitrogen cooling. 19:19:44 True. 19:19:51 http://upload.wikimedia.org/wikipedia/commons/0/0a/Argentina_(orthographic_projection).svg <-- am I right in thinking that you could just pick the bit next to the light green and then link to argentina, dark green? 19:19:51 And you can't get ice when there's no water vapour. 19:19:56 or are those claimed by someone else? 19:20:08 Phantom_Hoover_: Well, okay, it's just a sort of "wtf that can't work" thing. 19:20:16 "Antarctica is considered a desert" 19:20:25 :DD 19:20:26 alise: http://en.wikipedia.org/wiki/File:Antarctica.jpg 19:20:35 Seems Argentina has claimed it. 19:20:43 pikhq: there's a bit argentina hasn't though 19:20:48 http://upload.wikimedia.org/wikipedia/commons/0/0a/Argentina_(orthographic_projection).svg 19:20:49 Very long way to Argentina. 19:20:55 the green is the bit argentina hasn't claimed. 19:20:57 erm 19:20:59 From Marie Byrd land. 19:21:03 the green is the bit it has claimed 19:21:08 Phantom_Hoover_: yeah, but undersea cables are long anyway 19:21:12 Of course our biggest problem 19:21:26 Well, they couldn't run through any of those sectors that have been claimed. 19:21:29 is that this kind of expensive anything-but-child-pr0n hosting has a world market of maybe 19:21:32 1,000 customers 19:21:33 tops 19:21:37 and this infrastructure is expensive as shit 19:21:53 therefore i propose we just take that african land and found an anarcho-syndicalist commune 19:22:14 Given that not even Egypt and Sudan want it, that seems a bit impractical. 19:22:17 I vote MOON 19:22:37 erm, it doesn't look inhospitable. 19:23:01 Just horribly unwanted. 19:23:09 its name means "water well", quite a promising name :P 19:23:20 Might be like Greenland, though. 19:23:21 is there a list of unclaimed lands? 19:23:25 Yes. 19:23:25 Phantom_Hoover_: Moon is good. Moon is great. Moon requires more resources than nations are willing to dump into it. 19:23:35 http://en.wikipedia.org/wiki/Terra_nullius 19:23:44 pikhq, you have no AMBITION 19:23:52 http://cstart.org/ 19:23:53 hurf durf 19:24:06 We just need a server, a laser, a receiver and a maintenance robot! 19:24:09 (it's a bunch of talentless reddit guys convinced they can get to the moon using THE VAST COMMUNE OF MODERN SCIENTIFIC KNOWLEDGE) 19:24:19 but hey, they have a logo! they're as good as there. 19:24:19 Wait, the moon is bloody hot when the sun is up. 19:24:34 latency to the moon sucks 19:24:49 alise: Better than Mars. 19:24:51 Yeah, but it's so cool it doesn't matter. 19:24:58 It's what, ~3s? 19:25:04 pikhq: BETTER THAN ANDROMEDA 19:25:16 Phantom_Hoover_: But LIGHTSPEED BANDWIDTH 19:25:19 Yeah... The Moon is at least close enough for TCP/IP to *work*. 19:25:20 YES 19:25:37 TCP/IP/FUCKING HUGE LASER 19:25:50 * Phantom_Hoover_ remembers the bit in "The Cuckoo's Egg" where Stoll concluded that the hacker lived on the moon. 19:25:55 MOON HACKING 19:25:56 Actually, technically everything is, you just need to set your allowed latencies way the hell up. 19:26:15 "Where's the intruder coming from?" "The moon!" 19:26:27 wait wait how do we do the sends 19:26:27 ALIENS ARE STEALING MY DATA 19:26:28 EASY SOLUTION 19:26:33 ANOTHER GIANT FUCKING LASER TRANSMITTER 19:26:35 alise, LASER 19:26:35 POINTED AT THE MOON 19:26:44 THAT WAS MY IDEA ALL ALONG 19:26:53 PEW PEW PEW 19:26:58 WAIT 19:27:05 IF YOU PUT YOUR HAND IN FRONT OF THE RECEIVER OR TRANSMITTER 19:27:06 IT WOULD BREAK 19:27:09 You'd only get reception from half the day. 19:27:09 THEREFORE 19:27:12 WE ARM GUARDS 19:27:14 At best. 19:27:17 WITH LASER GUNS 19:27:20 WHAT ABOUT CLOUDS? 19:27:28 DESTROY ALL CLOUDS WITH LASERS 19:27:46 pikhq: http://pastie.org/1108197.txt?key=y7rbmbtn18uwnshgbd8za Please make this code suck less. Thank you. 19:27:51 pikhq: Also, make it work. 19:27:56 GO GO GO 19:28:04 Why not just use a wavelength that can go through water? 19:28:20 Phantom_Hoover_: NOT VISIBLE 19:28:21 Phantom_Hoover_: 19:28:22 NOT COOL 19:28:27 Like 2.4 MHz! 19:28:36 It gets rid of clouds and pesky biologicals, too! 19:29:13 alise: Insufficiently functional. 19:29:32 pikhq: Yeah, but I'm using an insufficiently cool language to keep me sufficiently able to code simple plugins. 19:29:55 pikhq: In an ideal world, it'd be written in whatever my damn language is called. 19:30:02 Which has super-asynchronous continuation process functional power! 19:30:11 And IRC is INTERTWINGLED BETWIXT everything else, dude. 19:30:17 Responses to WHOISes by continuations! 19:30:22 NO CHILD LEFT BEHIND. 19:33:07 Your mother. 19:33:13 pikhq: Your BROTHA. 19:33:14 alise, USE BOTH! 19:33:20 Visible and radio! 19:33:36 But that'll piss off Eridrianians even more! 19:33:44 Eridrania? 19:33:49 *Eridanians 19:35:16 But the signals will just hit the moon! 19:35:30 OR WILL THEY 19:35:43 And the ability to know the current phase of the moon will become relevant! 19:36:14 nethack.moon.org will only work at the HARDEST POSSIBLE TIME. 19:36:27 No, it won't. 19:36:40 It'll work for 12 hours a day, approximately. 19:36:47 Shaddap. 19:36:54 Put broadcasters on BOTH SIDES. 19:36:56 >_> 19:36:59 This would so work shut up 19:37:04 (Yes, I know) 19:37:24 Tidal locking is so cool. 19:39:21 NO CHILD LEFT BEHIND. <-- wait you're planning to send them to the moon too? 19:39:50 Of course! 19:39:59 We will need maintenance! 19:41:31 I still think a super-semantic continuation-based IRC library would be a rather ridiculously cool idea. If a horrible case of overengineering. 19:41:53 Although the moon in sunlight is very hot, so I'm not sure how we'd keep it cool. 19:42:20 Ice lasers. 19:42:24 We could beam cold from earth. 19:42:27 Or: LIQUID NITROGEN. 19:42:38 (How hot does it get, anyway?) 19:43:11 Varies between 123° and -233° 19:43:28 Presumably -233 is not in the day. 19:44:02 No, 19:44:39 Temperature during the day is averaged at 107°, night at -153 19:44:39 So, Nordic #esoterickers, what universities are you going to? 19:44:48 Phantom_Hoover_: Celsius? 19:44:53 Naturally. 19:44:53 He's British. So, yes. 19:44:57 -!- alise has left (?). 19:44:59 -!- alise has joined. 19:45:02 Gosh, we'd better give that thing an atmosphere. 19:45:15 Warrigal: fizzie/Deewiant are Aalto guyz (really TKK but whatever) 19:45:18 oklopol is university of turku 19:45:24 who cares about anmaster (uppsala i think?) 19:45:31 #esoteric University, of course 19:45:35 yeah uppsala 19:45:40 So we could keep a reservoir of cold during the night, then use that during the day to keep the servers cool. 19:45:40 Aalto University School of Science and Technology, these days. 19:45:55 Deewiant: i'll stick to saying TKK when i need to (which is never) 19:46:32 It's still even officially TKK for short, I think. 19:46:47 Switzerland's name is so awesome. 19:46:52 (Confœderatio Helvetica) 19:47:20 Mmkay, TKK is the Aalto School of Science, Etc., which is presumably part of Aalto University. 19:47:24 Why did they name it after a font? 19:47:32 Phantom_Hoover_: You got your cause and effect mixed up, buddy. 19:48:07 Well, what font will we use on the MOON 19:48:09 In 1960, the typeface's name was changed by Haas' German parent company Stempel to Helvetica (derived from Confoederatio Helvetica, the Latin name for Switzerland) in order to make it more marketable internationally. It was initially suggested that the type be called 'Helvetia' which is the original Latin name for Switzerland. This was ignored by Eduard Hoffmann as he decided it wouldn't be appropriate to name a type after a country. He then decided on 'Hel 19:48:10 vetica' as this meant 'Swiss' as opposed to 'Switzerland'. 19:48:18 We could beam cold from earth. <-- in this channel we obey the laws of thermodynamics! not by choice, mind you. 19:49:11 i am the world's first knitting terrorist 19:49:14 Huh. Aalto, Turku, and Uppsala are all about the same size. 19:49:25 Beam cold from Earth. Uh, let me think about how well that would work. 19:49:29 Warrigal: but only ONE is next to helsinki! 19:49:36 Phantom_Hoover_: something lunatic, obviously 19:49:49 which contains all 3 people in Finland 19:49:54 5 or so of whom are in here 19:49:55 I say it would work about as well as beaming energy from Earth. 19:50:04 as our Finnology department has discovered 19:50:06 lunatica is a cool name for a font. right? 19:50:15 oerjan: yes, i'll alias it to Curlz MT 19:50:16 Yeah, I was wondering, if there are only 3 people in Finland, how come this channel has more than 3 people? 19:50:32 who cares about anmaster (uppsala i think?) <-- no? 19:50:44 I'm nowhere near uppsala 19:50:46 Vorpal: you said uppsala university before 19:50:58 Warrigal: this has been covered in depth in prior months (i think a year or so ago even) 19:51:03 Warrigal: one of them drives the bus, btw 19:51:05 Oh, AnMaster is in disguise. 19:51:16 ihope: Indeed. 19:51:18 uorygl: He is. 19:51:20 alise, no I didn't. At most I said I considered it to be interesting to do master studies there 19:51:21 what does finland have to do with this channel? 19:51:34 olsner: there's a lot of you here 19:51:35 but bachelor I never claimed I'm doing at that university 19:51:39 alise, ^ 19:51:39 Also, Helsinki University has more students than the combined might of Aalto; then again, UH is a generalized everything-in-it university, while Aalto is just a amalgamation of three specialized ones (technology, arts, business, in no particular order). 19:51:41 Vorpal: ok. thought you did 19:51:41 olsner: it's a mathematical theorem that if this channel is analytic, then everyone in it is Finnish. 19:51:43 what does it have to do with the moon 19:52:08 Let's see... Ilari, ineiros, fizzie, Deewiant 19:52:15 fizzie: Oh, it's still bigger? I hadn't realized that. 19:52:29 think there used to be one or two more 19:52:51 Deewiant: Source: Wikipedia; but it says 35200 students for UH, 20434 for Aalto. Those other two "we" got were so small, relatively speaking. 19:52:52 oklopol 19:52:55 Warrigal: i doubt this channel is even measurable, far less analytic 19:52:57 I should change my nickname to one of those fancy newfangled initial-and-name nicks. 19:53:09 Like "ehird" and "jcowan" and "rlpowell" and "dons". 19:53:13 Nordic, etc.: MigoMipo, MizardX, oerjan, FireFly, fizzie, Deewiant, ineiros, Ilari, and olsner. 19:53:14 fizzie: Hmm, by that much, too. 19:53:27 Except one of those is an initial-and-initial-and-name nick and another is a name-and-initial nick. 19:53:27 alise: oklopol. 19:53:33 Deewiant: Surely some sort of land-grab war would be in order. 19:53:34 Deewiant: well he never comes here any more, but yeah 19:53:54 Warrigal: They're rubbish unless you have the right name. 19:54:02 Initials are great if you can pull it off. 19:54:11 "tswett" is a rather dubious name. 19:54:16 but is ts? 19:54:20 actually i think there's a ts on freenode already 19:54:24 "ts" is too short. 19:54:31 No it's not. 19:54:35 * ts :Nickname is already in use. 19:54:35 No pun intended. 19:54:37 But it is in use. 19:54:44 * [ts] (~ts@bzflag/developer/ts): Thomas Stauer 19:54:45 See? It's so short that it's in use. 19:54:52 Warrigal: tanners! 19:55:01 -!- alise has changed nick to tanners. 19:55:04 I guess his claim to that nick is as good as mine. 19:55:04 You can have it for $100. 19:55:12 "tanners" is a common noun. 19:55:16 Precisely! 19:55:17 Oh, AnMaster is in disguise. <-- you change nick too... 19:55:20 As is "tanner". 19:55:24 It is also REGISTERED! 19:55:26 Vorpal: not often, though. 19:55:28 -!- tanners has changed nick to swett. 19:55:33 Registered? By whom? 19:55:34 Warrigal: Here you go. 19:55:36 By tanners. 19:55:40 TannerS, it is. 19:55:55 The only nick I'm actually considering is tswett, so if you want to take what I want from me, register that one. 19:55:59 -!- swett has changed nick to tswett. 19:56:02 But this one is awful. 19:56:03 -!- derdon has joined. 19:56:09 Warrigal, I did it once 19:56:09 All the better. 19:56:13 Warrigal, so not often either! 19:56:15 * Sgeo would be very reluctant to nickchange to, say, sgold 19:56:18 I don't want to take it, I just want to extort a ludicrous price out of you for it. 19:56:27 Sgeo: and Sgeo_who_is_Seth_Gold would be EVEN WORSE! 19:56:40 I'm hoping that you'll take it so that I can sue you. 19:56:40 Also fungot, 'es Finnish! In the "place of residence" sense, at least, even if not the nationality one. 19:56:41 fizzie: so please suggest a male name that starts with a small bootable linux distro, i have 19:56:42 Metaphorically. 19:56:48 Especially since it's probably too long 19:56:49 Warrigal: Yes, IRC Law. 19:56:51 fizzie: I said (fungot). 19:56:52 tswett: the guy who ircs from a phone was to use ffmpeg to generate a new name, now? 19:56:58 No, I didn't. 19:57:00 I meant to, though. 19:57:11 A male name that starts with a bootable Linux distro sounds awesome, too. 19:57:16 Warrigal: Use ffmpeg to generate a new name. 19:57:18 If a bit long. 19:57:22 Warrigal: Only if you IRC from a phone though. 19:57:40 fizzie: So who's fungot's mother? 19:57:40 tswett: sisc, chicken, fnord supports keywords are indexes in terms, but you do need eof) 19:57:49 Ah, Scheme implementations are. 19:57:53 -!- SgeoN1 has joined. 19:57:58 Mmkay, move over. The nick envy is setting in. 19:58:05 ~~~ 19:58:10 but this name sucks :-P 19:58:18 Precisely. Why do you want it? :P 19:58:28 Great, now to figure out how to use ffmpeg as an rng 19:58:34 Because I think there is a very slight chance that I can either get a tiny bit of money from you for it, or amuse myself trying to. 19:58:41 * Warrigal nods. 19:58:42 Also, because I know you know I'll give up very quickly. 19:58:49 Yeah, I figured. 19:58:53 -!- Phantom_Hoover_ has changed nick to Vonlebio. 19:59:01 Quick! Let's assume other people's nicks! 19:59:02 Everyone! 19:59:47 -!- Sgeo has changed nick to alisenot. 20:00:03 * pikhq would prefer to just note that most people's idea of ROM organisation sucks ass 20:00:09 -!- cheater99 has quit (Ping timeout: 258 seconds). 20:00:12 * alisenot would feel very, very weird actually stealing someone's nick 20:00:13 rom nom nom nom 20:00:30 -!- Vonlebio has changed nick to Sgeo. 20:00:33 "Hmm, let's archive each and every bad, broken dump!" "Aaaawesome!" 20:00:45 I could just ghost you, you know 20:00:48 "And each and every ROM hack, no matter how juvenile!" "Aaaawesome!" 20:01:03 ...actually, I don't know my Freenode password off the top of my head 20:01:16 pikhq: your note has been noted 20:01:30 \o/ 20:01:31 pikhq: olsner: nickswap 20:01:37 pikhq: you do /nick notpikhq 20:01:38 tswett: 9 20:01:40 olsner: you do /nick pikhq 20:01:44 pikhq: you do /nick olsner 20:01:52 -!- alisenot has changed nick to alise. 20:01:56 -!- pikhq has changed nick to pikhq_. 20:01:58 -!- alise has quit (Disconnected by services). 20:02:03 Too tempting to resist. 20:02:08 -!- tswett has changed nick to alise. 20:02:15 Warrigal: You win! Have your crappy nick! 20:02:18 -!- Warrigal has changed nick to tswett. 20:02:20 Thank you. 20:02:25 OOPS I REGISTERED IT LOL 20:02:32 (Actually I didn't, but I totally should have.) 20:02:32 -!- pikhq_ has changed nick to pikhq. 20:02:33 -!- Sgeo_ has joined. 20:02:43 Hi Sgeo_! You disconnected a bit back there. 20:02:45 What a coincidence. 20:02:45 I smell funny! 20:03:12 ActiveWorlds sucks! 20:03:30 nickswapping sucks 20:03:40 * Sgeo_ gets his password in hand 20:03:42 life sucks 20:03:52 -!- Sgeo has changed nick to Vonlebio. 20:03:55 Aww 20:03:58 -!- Sgeo_ has changed nick to Sgeo. 20:04:00 Dammit 20:04:01 So close 20:04:04 Hmm? 20:04:08 -!- Sgeo has changed nick to Sgeo_. 20:04:11 Was gonna /nick Sgeo. 20:04:24 And you still can! 20:04:27 -!- alise has changed nick to Sgeo. 20:04:35 NetHack is for gay people. 20:04:52 I founded SGEOWIKI! But everyone else wrote all the articles. 20:04:55 -!- Sgeo has changed nick to alise. 20:04:58 -!- alise has changed nick to alise_. 20:05:07 Feel free to get pointless, pointless revenge! 20:05:22 -!- Sgeo_ has changed nick to alise. 20:05:31 -!- alise has quit (Disconnected by services). 20:05:33 Sucker. 20:05:35 WON'T SOMEBODY THINK OF THE CHILDREN 20:06:09 -!- Sgeo_ has joined. 20:06:15 ... 20:06:19 * Sgeo_ slaps alise_ 20:06:27 Well, you /did/ do it. 20:06:57 Hum. 20:07:06 -!- tswett has left (?). 20:12:01 Great success! 20:12:02 -!- alise_ has changed nick to alise. 20:13:28 YOU CANNOT HARM ME EVIL LORD ALISE 20:13:42 The battle was not against you. 20:14:21 IT IS NOW 20:16:15 * oerjan thinks a person with the name Vonlebio shouldn't go around accusing other people of being evil lord 20:16:25 *s 20:16:47 What's evil about "Vonlebio"? 20:17:34 it's a very evil overlord name 20:17:56 I'll have you know that it's SHAKESPEREAN 20:18:32 fungot, tell oerjan 20:18:33 Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue. 20:18:45 `addquote Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue. 20:18:46 alise: either the way, my program was buggy and i preferred to -i?!) 20:19:01 217| Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue. 20:19:10 `quote 20:19:12 164| I am an inherently pornographic being. 20:19:13 if it were shakespearean i would imagine google would give more than 1 hit for it. 20:19:27 It's an ANAGRAM 20:19:31 that one hit is probably Vonlebio himself. 20:19:42 quite possible. 20:20:11 * oerjan tried putting a space between von and lebio, it didn't really help 20:20:18 `addquote * oerjan thinks a person with the name Vonlebio shouldn't go around accusing other people of being evil lord 20:20:20 218|* oerjan thinks a person with the name Vonlebio shouldn't go around accusing other people of being evil lord 20:20:28 `quote 20:20:30 72| ignore me, i'm full of bullshit 20:20:32 `quote 20:20:32 that's not a very good quote :p 20:20:33 NOR IS THAT 20:20:34 129| bi is like sqrt(2)/2 * straight + i * sqrt(2)/2 * gay 20:20:48 `quote 20:20:49 12| Lil`Cube: you had cavity searches? not yet trying to thou, just so I can check it off on my list of things to expirence 20:20:58 `unquote 20:20:59 No output. 20:21:02 huh actually /me can't think how to generate anagrams nicely in haskell 20:21:08 `revert 20:21:09 Done. 20:21:18 `quote 218 20:21:19 218|* oerjan thinks a person with the name Vonlebio shouldn't go around accusing other people of being evil lord 20:21:23 was thinking a list comprehension might help 20:21:24 `revert 20:21:25 Done. 20:21:28 `quote 218 20:21:29 218|* oerjan thinks a person with the name Vonlebio shouldn't go around accusing other people of being evil lord 20:21:32 erm 20:21:33 `help 20:21:34 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/ 20:21:41 * alise looks at revision history 20:21:47 `revert 1602 20:21:49 Done. 20:21:50 `quote 218 20:21:52 218|* oerjan thinks a person with the name Vonlebio shouldn't go around accusing other people of being evil lord 20:21:55 wtf 20:21:59 that should be impossible 20:22:03 `revert ` 20:22:06 `revert 1 20:22:08 Done. 20:22:12 `quote 218 20:22:13 No output. 20:22:20 oh 20:22:24 `revert`quote 20:22:25 wait no 20:22:25 No output. 20:22:26 hmm wtf 20:22:28 `quote 20:22:29 6| I think the freemasons are actually a cover for homosexual men. 20:22:30 `revert 1601 20:22:32 Done. 20:22:34 `quote 218 20:22:36 No output. 20:22:36 `quote 217 20:22:40 No output. 20:22:42 ... 20:22:46 WHAT HAVE YOU DONE 20:22:47 `quote 216 20:22:49 216| alise: so parrot was based around gcc? 20:22:50 `addquote Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue. 20:22:51 alise: reminds me of the cartoon character? :) and do you answer yourself? this isnt some kind of spacetime rift thingy which is in pure ansi c)) 20:22:53 217| Vonlebio: well, i'm only back in denmark because my work visa expired. please insert token to continue. 20:22:54 there. 20:23:02 Conclusion: wtf. 20:24:45 !haskell import Data.List; ana [] = [[]]; ana l = [x:xs | (pre, x:aft) <- zip (inits l) (tails l), xs <- ana (pre++aft)]; main = print $ ana "thus" 20:24:54 ["thus","thsu","tuhs","tush","tshu","tsuh","htus","htsu","huts","hust","hstu","hsut","uths","utsh","uhts","uhst","usth","usht","sthu","stuh","shtu","shut","suth","suht"] 20:25:12 oerjan: sheesh, is that the shortest it can get? 20:25:16 DAMN YOU HASKELL 20:29:40 Never ever use a quote which contains both the words "aloofness" and "gel" (verb). 20:31:19 !help 20:31:19 help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 20:31:30 zeotrope: YOU DON'T NEED IT IT IS INFERIOR TO BOTTE 20:31:31 hm... 20:31:37 !help languages 20:31:37 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. 20:31:41 NOOOO 20:31:49 4 weeksHackBot fuck 20:31:50 4 weeksHackBot fuck 20:31:50 4 weeksHackBot fuck 20:31:50 4 weeksHackBot fuck 20:31:50 4 weeksHackBot fuck 20:31:51 Whaaat 20:31:52 !fuck 20:33:09 !haskell import Data.List; ana [] = [[]]; ana l = [x:xs | x <- l, xs <- ana (delete x l)]; main = print $ ana "test" 20:33:11 ["test","tets","tset","tste","ttes","ttse","etst","etts","estt","estt","etst","etts","stet","stte","sett","sett","stet","stte","test","tets","tset","tste","ttes","ttse"] 20:33:22 alise, what? 20:33:30 oerjan: hmm does delete only delete one? 20:33:36 yes 20:33:36 Vorpal: from the hackego command logs 20:33:42 " 1.1 Binary file babies/babies.db has changed" 20:33:48 Apparently !fuck changed babies/babies.db. 20:33:57 alise, eh I seldom say "fuck" on it's own like that, seems unlikely 20:33:58 You shouldn't do that kind of thing in public, Vorpal. 20:34:02 Vorpal: that's because you said !fuck 20:34:03 not fuck 20:34:11 it's commandname ... 20:34:11 !haskell import Data.List; ana [] = [[]]; ana l = [x:xs | x <- nub l, xs <- ana (delete x l)]; main = print $ ana "test" 20:34:14 ["test","tets","tset","tste","ttes","ttse","etst","etts","estt","stet","stte","sett"] 20:34:14 alise, oh right, that thing he was playing around with 20:34:18 alise, now I remember 20:34:21 alise, ask gregor 20:34:25 I'm kind of busy 20:34:26 http://codu.org/projects/hackbot/fshg/index.cgi/rev/b2166a5a1366 20:34:26 haha wat 20:34:33 `fuck 20:34:34 Congratulations! alise's action has brought a beautiful new baby into the world. Isn't it adorable? 20:35:25 `fuck 20:35:29 Congratulations! olsner's action has brought a beautiful new baby into the world. Isn't it adorable? 20:35:30 `fuck 20:35:32 YAY ORGIES 20:35:33 alise's first child now has a little brother or sister! Aren't they so cute together? 20:36:06 but yeah i'm not exactly comfortable with this stuff, to me it seems like if you can unscrew lightbulbs, why couldn't you see into the future, or through walls as well 20:36:32 Oh come on, 7 and more is boring 20:36:42 Sgeo_: ? 20:36:56 Oh, orgy opinions? 20:37:23 By the time there's 7, there's gonna be enough space usage that it's effectively two smaller orgies with occasional diplomatic relations :P 20:38:24 ooh, command-line sqlite, looks like a really convenient way to make a database 20:38:45 olsner: my friends, echo, sed, grep and awk 20:38:48 let me introduce you to them 20:39:19 `fuck 20:39:21 alise now has a third child! Congratulations! Surely that's enough though, right? 20:39:23 STAMINA 20:39:47 alise: yeah, I know of them... let's just say sqlite looks like a very useful friend to also have :) 20:40:05 olsner: But it can't join in the UNIX plain text file orgy. 20:40:13 bah, backtick is gruesome, takes three keypresses in swedish 20:40:15 Which is the most hacked-together yet surprisingly functional orgy ever. 20:40:20 `fuck 20:40:26 olsner just had a SIXTH baby! Wow! Don't you think it's about time to get an operation to put a stop to all this? 20:40:29 olsner: yeah but you guys do have a retarded alphabet 20:40:33 `run echo `which fuck` 20:40:35 /tmp/hackenv.13953/bin/fuck 20:40:37 wait, how did you get six 20:40:41 /msg? 20:40:49 `fuck 20:40:50 `run cat `which fuck` 20:40:51 alise just had a fourth baby. Even though the child support payments are starting to add up, and alise really doesn't earn enough money for this, it's still a beautiful sight. 20:40:52 #!/bin/bash \ if [ ! -e babies/babies.db ] \ then \ mkdir -p babies \ sqlite3 babies/babies.db 'CREATE TABLE babies(parent STRING PRIMARY KEY, count INTEGER);' \ fi \ \ # Update the count \ CURCOUNT=`sqlite3 babies/babies.db 'SELECT count FROM babies WHERE parent = '\'"$IRC_NICK"\'';'` \ NEWCOUNT=$(( CURCOUNT + 1 )) \ if [ 20:41:03 `fuck 20:41:05 You would think that four is enough, but alise's libido is entirely unstoppable. With five children, the weight of parenthood is starting to weigh down on alise's life. Sorry buddies, I can't hang out today, I have to clean puke off the rug. 20:41:08 the alphabet is not retarded, it just has three additional letters... it's the keyboard layout 20:41:11 I AM CONTRIBUTING TO OVERPOPULATION 20:41:13 `fuck 20:41:16 alise just had a SIXTH baby! Wow! Don't you think it's about time to get an operation to put a stop to all this? 20:41:19 `fuck 20:41:20 NEVER 20:41:21 alise's 7th child has just been born! Awwwwww. 20:41:26 Now it's boring. 20:41:28 It just gets boring .. right 20:41:29 Sgeo_: Oh, you meant seven or more babies. 20:41:33 Not seven or more orgy participants. 20:41:34 alise, yes 20:41:39 I totally misinterpreted you! 20:41:47 for some reason it's made to support the accented letters of *every* european language 20:41:58 olsner: Because you're HIPPIE COMMUNISTIC EUROFAGS. 20:42:19 grave and acute accent, circumflex, tilde, double-dots -- all as dead keys 20:42:38 Now I know how you interpreted it, I can try to understand what you meant 20:42:40 * Sgeo_ scrollsback 20:44:17 `roll 3d100 20:44:18 77 20:44:29 `roll 100d2 20:44:30 150 20:44:36 `roll 0d0 20:44:38 0 20:44:38 `roll 1d0 20:44:41 No output. 20:44:43 `roll 0d1 20:44:47 0 20:44:56 `roll 0d-1 20:44:57 0 20:45:00 `roll 1d-1 20:45:02 1 20:45:06 `roll 1d-1 20:45:08 1 20:45:08 `roll 1d-1 20:45:09 now whatever you do, don't mix the interpretations. 20:45:11 1 20:45:12 `roll 1d-2 20:45:16 1 20:45:20 `roll 4d-2 20:45:21 7 20:45:25 oerjan: ORGY BABIES 20:45:59 alise: YOU'VE DOOMED US ALL 20:47:20 -!- cheater99 has joined. 20:49:04 -!- augur has joined. 20:49:08 `roll -2d3 20:49:10 0 20:49:37 `roll -2d-3 20:49:38 0 20:49:48 `roll 1d-3 20:49:50 3 20:49:52 `roll 1d-3 20:49:53 3 20:55:10 barba 20:58:47 Sgeo_: quick! what's the recommended way to do mutually dependent modules in python? 20:58:57 haha only kidding you're NOT ALLOWED TO 20:58:57 um 20:59:34 i mean technically you can 20:59:36 but it's really brittle 20:59:43 Hmm? 20:59:48 e.g. 20:59:49 you can't do 20:59:51 from foo import bar 21:00:02 from bar import blah 21:00:04 er that is 21:00:06 from foo import x 21:00:07 from bar import y 21:00:08 in each module 21:00:10 that won't work 21:00:50 "She didn't answer, save for a soft smile. Their eyes locked, and Sokka caught a slightly doe-eyed look on his sister face that he never, ever, ever, ever, ever wanted to see directed at anyone much less himself." 21:01:13 olsner: Random person! The IRC connection-mediator-thingy IRCClient should really be the one that parses lines, shouldn't it, not the Context (the "fully parsed" version, with field names depending on command, methods to reply to the right place, etc.) class?! 21:01:32 -!- SgeoN2 has joined. 21:01:50 Sgeo_: Ever, erver, ever, ever, ever, ever, ever, ever, ever, ever, ever, 21:02:59 alise: sounds like you know what you're talking about, and I don't 21:03:13 olsner: No, I honestly don't. I'm just trying to get an opinion. 21:03:36 the parser of lines should obviously be independent of both 21:03:50 olsner: the parser is a very few lines 21:04:04 besides, shouldn't irc.py contain the IRC parser, not context.py? :P 21:04:06 really it should be client.py. 21:04:08 I should make it client.py. 21:04:43 -!- SgeoN1 has quit (Ping timeout: 276 seconds). 21:10:16 DIE DIE DIE SgeoN1! 21:15:44 olsner: i /think/ the client should do the parsing actually 21:15:54 since it has fancy methods like .say(channel, 'blah') 21:16:00 so obviously it already does some irc translation 21:16:17 the problem is i have to come up with a structure to represent the parsing :) no wait i don't i can use context! yay! 21:17:55 * olsner seems to be doing well as the rubber duck 21:18:15 olsner: you can't buy amusing swedish rubber ducks! 21:18:25 anmaster is proof of this 21:19:54 olsner: Except, of course, that IRCClients don't know about the big bad Bot that puts them together, but Context needs the bot so that handlers can use it. 21:20:00 Yet IRCClients construct the Context. 21:20:02 NOW WHAT 21:21:19 olsner: I mean, I /could/ pass a reference to the Bot to the IRCClient, but the IRCClient has no reason to know i-- yes it DOES 21:21:26 Because it passes the Context on to the bot to handle it 21:21:35 You're the best, olsner, you know that? 21:22:15 no, I don't know that :) 21:23:21 olsner: you can't buy amusing swedish rubber ducks! anmaster is proof of this <-- err? 21:23:40 Vorpal: You're a Swedish rubber duck. You are not amusing. 21:23:42 Quod erat demonstrandum. 21:23:47 olsner: You do now! 21:23:57 alise, but why do you think I'm a rubber duck? 21:24:04 Well, only rubber ducks are that dumb. 21:24:14 alise: or *do* I? :P 21:24:30 olsner: You fixed my architecture without saying a word! 21:24:46 alise, it's a little known fact but rubber ducks are in fact highly intelligent, with an average IQ of 420 21:24:52 not that IQ means much 21:24:58 bbl 21:25:12 And not that 420 is even a meaningful IQ. 21:25:22 -!- augur has quit (Ping timeout: 276 seconds). 21:25:38 DUCKS: Constantly stoned, and CONSTANTLY INTELLECTUAL. 21:25:56 When they're not smoking pot, their IQ is actually -83; just high enough to light up the next one. 21:26:03 Incidentally, random idea: Brainfuck compiler in Coq, like Compcert (?) 21:26:14 Vonlebio: It's not exactly hard to certify a Brainfuck compiler :P 21:26:28 So it's something to do! 21:26:43 Do it, then. 21:26:46 Then extract it :P 21:26:50 http://www.labri.fr/perso/casteran/CoqArt/firebird.jpg 21:26:56 Vonlebio: btw, I think an IQ of 420 is theoretically possible 21:26:58 I hope like hell that's the real cover. 21:27:10 It's theoretically possible in the loosest sense. 21:27:15 http://www.amazon.com/Interactive-Theorem-Proving-Development-ebook/dp/B000QCUCZU 21:27:17 well, not this printing 21:27:18 It will never, but never, happen. 21:27:19 but maybe the first printing 21:27:26 Vonlebio: Post-singularity? 21:27:29 No. 21:27:37 I don't see why not. 21:27:41 IQ is defined based on average intelligence. 21:27:45 Well, true. 21:27:49 But right after the Singularity. 21:27:52 Before it's been re-adjusted. 21:28:15 Or, the combined intelligence counting as one person, and all the billions of dumbfucks on planet Earth left behind. 21:28:26 In any case, I still don't think it would be sensible. 21:28:41 It would mean absolutely nothing, for one thing. 21:28:57 It would certainly mean something. 21:29:00 I don't see how it'd mean nt ohing. 21:29:06 "It's incomprehensibly intelligent. 420 IQ." 21:29:39 *nothing. 21:29:40 Vonlebio: True. 21:30:09 This is even assuming you can *have* an intelligence metric that applies to post-Singularity intellects. 21:30:20 Uh, just give it one of the standard IQ tests. :-D 21:30:23 (Yeah, that wouldn't work.) 21:30:27 (Maximum score and all that jazz.) 21:30:48 And of course, you wouldn't be able to calibrate it with the extant data. 21:31:18 Gahh, I hate cluttery .pyc files. 21:31:20 They make me want to kill. 21:31:30 Cluttery? 21:31:33 Yeah. 21:31:39 They clutter up directory listings, tab complete, etc. 21:32:10 IIRC, you can disable compilation somehow 21:32:12 Then just find . -name "*.pyc" | xargs rm every once in a while 21:32:32 and/or disable saving the pyc files 21:32:42 `quote 21:32:44 174| [...] i'm a law student so i am loving my bread machine 21:32:46 Hmm 21:32:53 olsner: yeah, but ... 21:32:58 How many of these quotes are from fungot? 21:32:59 Vonlebio: it wouldn't be 120kloc long when i have this plan. thank you!"? 21:33:03 Vonlebio: lots. 21:33:07 Either that's a mistake in this fanfic, or the author realized that Azula wouldn't know that tidbit 21:33:07 blame me (and a few others) 21:33:10 not that many actually 21:33:27 normish used to have a thing that listed the quotes 21:33:28 Sgeo_: Are you just doing this so we ask you what the hell you're talking about? 21:33:31 `quote 21:33:34 125|Note that quote number 124 is not actually true. 21:33:47 alise, clearly I'm talking about a fanfic 21:33:47 `quote 21:33:49 89| What else is there to vim besides editing commands? 21:34:12 Sgeo_: Yes, but you seem to have absolutely no reason to talk about it here except to provoke us to ask questions. I will not be corrupted. :p 21:34:17 That is... the single most pointless quote yet. 21:34:26 which 21:34:29 125 or 89? 21:34:33 89 21:34:34 89 is funny 21:34:39 `quote 124 21:34:41 not hilarious, but funny 21:34:41 124| I cannot eat meat that isn't flat. 21:34:45 all the quotes are funny, but not hilarious 21:34:46 * Vonlebio doesn't get it 21:34:58 Excepting fungot, surely? 21:34:58 Vonlebio: never mind, i typed 50% faster in dvorak than in qwerty after a while 21:35:00 Vonlebio: What is there to Windows but files and folders? 21:35:11 no, it's not funny to me, it's just a fairly obvious observation about the nature of vim? 21:35:13 Quite a lot. 21:35:15 What is there to programming apart from drawing interfaces? 21:35:31 olsner: the context made it a bit clearer 21:35:41 Sgeo_ was treating vim like it was olde-style vi with barely any commands 21:37:12 `quote 21:37:13 182| Because you're a Mac user. I am! and proud of it to My mouse has *no* buttons. 21:37:29 `quote 21:37:30 208|* Phantom_Hoover sticks crayons in his nose 21:37:32 `quote 21:37:35 212| it was too difficult 21:37:38 `quote 21:37:40 60| Mafia's addictin 21:37:42 `quote 21:37:44 194| cpressey: I have actually done a waterfall-model project that almost worked That's where you have a flexible kayak that bobs and weaves between the rocks as it plummets off the cliff 21:39:44 `quote 21:39:47 147| (still, whatever possessed anyone to invent the N-Gage?) 21:39:50 `quote 21:39:52 80| I think hamsters cannot be inert. 21:39:53 `quote 21:39:55 168| And... WTF is it doing. :( Is it sexing? 21:40:01 `quote 21:40:03 24| ehird has gone insane, clearly. 21:40:06 `quote 21:40:07 62| With enough crappiness a display can show you invisible pink unicorns. 21:40:09 `quote 21:40:11 130| Sgeo_: Gregorr: and someone could, by mistake, rewrite psox to be a weak erection if it is... A filename. 21:40:17 -!- aschueler has joined. 21:40:18 virtuhird is my favourite 21:40:20 :p 21:40:21 `quote 21:40:22 163| alise: why internet is like wtf 21:40:25 `quote 21:40:27 94|* oerjan swats FireFly since he's easier to hit -----### Meh * FireFly dies 21:41:08 Nice, I'm funny 21:41:14 `quote 21:41:15 47| augur: pretty true. 21:41:17 `quote 21:41:18 166| you move on the tape and shit 21:41:20 `quote 21:41:22 133| (is it every teen girl's dream to be ravaged by a mythical beast? Does this explain the affection for unicorns?) 21:41:25 `quote 21:41:26 185| oerjan, can you ever get any number higher than 3 at the start of "ordinary" [look-and-say sequences]? it's not clear from the RFCs 21:41:29 `quote 21:41:31 36| ehird: There is no h in "honour" 21:42:22 `quote 21:42:24 206| i think of languages as tools, there is no holy grail of languages even if there's no holy grail, that doesn't mean cups of crap is ok 21:42:34 olsner: QUOTED IN HACKEGO, RESOLVER OF ARCHITECTURES 21:42:38 `quote quote 21:42:39 25|`quote 48| i can get an erection out of a plank, you can quote me on that. 123|[Warrigal] `addquote hahaha, Lawlabee is running windows 'cuz it's pretty awesome. [Lawlabee] Warrigal: :( 125|Note that quote number 124 is not actually true. 139| let's put that in the HackEgo quotes 21:42:45 can we skip this spam please 21:42:49 take it to /msg with the bot 21:42:53 Vorpal: nope. 21:42:54 `quote 21:42:54 `quote 48 21:42:56 alise, why not? 21:42:57 No output. 21:43:04 Vonlebio: because it's fun annoying you 21:43:05 `quote 21:43:10 alise, tab fail 21:43:11 No output. 21:43:14 alise, WHY 21:43:14 http://www.fanfiction.net/s/4302297/1/In_His_Shoes 21:43:17 talk about karma 21:43:17 No output. 21:43:21 * Vorpal uses /ignore then 21:43:32 Sgeo_: I can barely contain my excitement. 21:43:49 I can barely contain my excitement too 21:44:08 Nobody can contain their excitement any more than barely! 21:45:27 alise: http://www.youtube.com/watch?v=vKj7tX_nMHQ 21:45:31 What is it, then? 21:45:44 Why is sgeo linking to random fanfics? 21:46:05 Quadrescence: Yes, yes, you have the shitty Mac-based Lisp Machine. 21:46:11 COME BACK WHEN YOU HAVE A REAL LISPM. 21:46:25 mac hosted you mean 21:46:49 the chip is faster than all other lispms except the XL 21:46:53 i know that 21:47:05 but the whole /point/ of buying a lisp machine is sticking a middle finger up at every conventional computer in usage 21:47:10 and even old macs are conventional 21:47:32 Does a modern lispm exist? 21:47:34 So the Lisp86 OS wouldn't be a true LispM? 21:47:43 not a lisp /machine/. 21:47:52 Sgeo_: only plans and designs. 21:48:00 the reduceron is a modern graph-reducer (for haskell) 21:48:01 By whom? 21:48:07 random people. nothing very concrete 21:48:35 alise: I'd rather have this then paying 1000 shipping for something that is maybe 500 lbs 21:48:35 Why are the cool things abandoned? 21:48:55 Quadrescence: ehhh the old ones aren't that heavy are they 21:48:57 the really slow ones 21:49:04 Irritating people who go on about design patterns and OO? 21:49:04 Vonlebio: sturgeon's law must be upheld 21:49:05 alise: They are 300 lb minimum 21:49:09 just the "tower" 21:49:09 Vonlebio: Because making money is not cool. 21:49:22 pikhq: you mean cool is not making money :P 21:49:28 alise: Yes. 21:49:38 alise: if you get a tower, then you must get a monitor and keyboard 21:49:44 Quadrescence: bah! 21:49:48 and monitor is a huge fucker :{ 21:49:59 -!- SgeoN1 has joined. 21:50:07 "I am far too noble a soul to care about money, but various crass and vulgar people insist upon it in return for goods and services" — Asimov (paraphrased) 21:50:09 Quadrescence: stanislav was, at one point, working on an adapter to use it with a regular lcd/mouse 21:50:59 On top of all that, there's no guarantee any of it work actually work: http://cgi.ebay.com/310236995571 21:51:09 Quadrescence: yeah, so buy a new one 21:51:33 alise: there isn't exactly a saturated supply of them 21:51:38 Quadrescence: yes there is 21:51:40 from dks 21:51:54 Quadrescence: http://www.lispmachine.net/symbolics.txt 21:52:05 I know; I've talked to him over the past 1.5 years 21:52:14 well, it's not like there's a huge demand. 21:52:21 and i'd say one from him is guaranteed to work 21:52:32 He's not even in VA anymore 21:52:46 So he has someone else ship it out 21:52:51 -!- SgeoN2 has quit (Ping timeout: 258 seconds). 21:52:54 that hardly applies to me, i'm not even in the US :-P 21:53:49 alise: I think shipping is $150 too for *just* the tower 21:54:01 well if you don't want to waste money why buy a lispm :) 21:54:04 How... Fortuitous. 21:54:11 pikhq: ? 21:54:12 缶 is Japanese for "can". 21:54:16 It is read "kan". 21:54:21 Yes, that's so... fortuitous? 21:54:23 alise: what? 21:54:26 缶t 21:54:29 Erm. 21:54:32 Quadrescence: ? 21:54:38 s/fortuitous/coincidental/ 21:54:41 Words hard be. 21:54:47 if I don't want to waste money, why buy a lispm? 21:54:48 pikhq: But how is that even ... ? 21:54:50 pikhq: Eh? 21:54:51 Quadrescence: yes 21:55:00 alise: "can", the container. 21:55:05 pikhq: ah. 21:55:13 Immanuel 缶't 21:55:18 alise: It just happens to be "kan" in Japanese. 21:57:11 caxitab geometry 21:57:29 pikhq: not engrish? 21:57:35 oerjan: Not Engrish. 21:57:57 * oerjan has read that japanese for "so" is "so" 21:58:16 It's more "sou". 21:58:28 But, yeah. 21:58:30 what does [M] in xchat's title mean? 21:58:40 it means you're a Minor 21:58:43 (under US law) 21:59:08 * oerjan now waits for pikhq to explain how that's all misspelled, and only vaguely true. oerjan decides to finish this line even though it's half happened already. 21:59:25 OK, why has Proofgeneral's indentation behaviour changed all of a sudden? 21:59:32 Vonlebio: it's a bit screwy sometimes. 21:59:36 oerjan: Eh; the only misspelling was an ommision of all indications of vowel length. 21:59:45 BAH 21:59:51 if you say. so. 22:00:05 And it's more than vaguely true. It has slightly different nuance, but it *is* "so". 22:00:16 * alise wonders how to handle capitalisation of karma 22:00:26 if someone says "PIKHQ++" the first time, should you be forever told that "PIKHQ has 3 karma"? 22:00:34 is getting from nicks practical, since they might be gone? 22:00:39 alise: PIKHQ9++ 22:00:43 what about just lowercasing? how will Phantom_Hover feel about that 22:00:47 WHAT DO I DO 22:00:56 そう、何? 22:01:01 pikhq: WHAT 22:01:07 -!- augur has joined. 22:01:08 alise: base it off the most recently seen capitalization? 22:01:12 That is pretty much *precisely* "So, what?" 22:01:14 alise, why would I feel about lowercasing? 22:01:19 (sou, nani?) 22:01:42 Vonlebio: because "phantom_hoover" 22:01:51 coppro: seen? as in used to increase karma? 22:01:55 coppro: hmm, good idea, thanks 22:01:56 Ah. THAT IS AN ABOMINATION 22:02:05 coppro: or even 22:02:14 This is entirely coincidence. 22:02:18 coppro: if you do ".karma foo" it'll give back "foo has karma ..." 22:02:24 yeah 22:02:25 .karma fOO, etc. 22:02:32 "Sou" is just one of the systematically-formed demonstratives in Japanese. 22:02:33 so basically all i need to do is echo the user 22:02:34 and store it lowercased 22:02:45 ooh, i need an @on_command now 22:02:46 fun fun 22:04:43 -!- SgeoN1 has quit (Read error: Connection reset by peer). 22:04:44 with all those annotations it'll look like moo code... 22:05:09 -!- olsner has quit (Quit: Leaving). 22:05:34 yeah i really am a cow 22:05:37 I demand that £ be used for botte comands. 22:05:42 *commands 22:05:42 Vonlebio: actually, . 22:05:50 although some commands are verbal 22:05:51 like 22:05:57 botte: botte has a fear of introspection 22:05:58 then 22:05:59 ?botte 22:06:00 -> 22:06:01 For some of them, then. 22:06:06 botte has a fear of introspection 22:06:08 Vonlebio: no, all . :P 22:06:15 :D 22:06:20 .slash 22:06:20 Vonlebio: no 22:06:22 Vonlebio: all are "." 22:06:24 silly :P 22:06:29 oerjan: .//. 22:06:32 £slash 22:06:39 ¬slash 22:06:42 slashnot 22:07:03 ¤slash 22:08:19 ¶slash 22:08:41 slush date 22:09:34 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:10:06 (i'd support multi-word karmas but i'm far too lazy ha ha ha)++ 22:10:35 the plural of karma is karmæ 22:10:43 What will the karma do? 22:10:44 eek 22:10:57 ++ is #. 22:11:02 How strange. 22:11:40 Vonlebio: just record meaningless, adjustable numbers 22:11:43 Vonlebio++ 22:11:46 .karma Vonlebio -> 1 22:11:48 Vonlebio-- 22:11:51 Vonlebio-- 22:11:54 .karma Vonlebio -> -1 22:11:56 etc 22:11:58 Vonlebio++ 22:11:59 Vonlebio++ 22:12:01 just for you :P 22:12:06 Peano++ 22:12:34 How does Coq deal with really really big nats? 22:13:39 badly 22:13:41 I mean, for 1000000 does it actually create (S *1000000 0)? 22:13:43 (There are other number structures) 22:13:44 yes 22:13:50 (there is a binary Z iirc) 22:13:54 (maybe a binary N too) 22:13:57 well 22:13:59 i know there's a binary z 22:14:01 may not be a binary n 22:14:07 I think there is. 22:14:51 Check 10000000. => segfault 22:14:58 Encouraging. 22:15:52 Coq is based on a tiny kernel on purpose, surely they cannot afford to special case that. 22:16:08 *proof kernel 22:16:54 ARGH 22:17:02 Stupid unfinished fanfic! 22:18:02 oerjan: yeah, exactly 22:18:06 Well, they do, to some degree. 22:18:08 Vonlebio: look at the binary Z 22:18:10 no, they don't 22:18:29 "Warning: Stack overflow or segmentation fault happens when working with large 22:18:29 numbers in nat (observed threshold may vary from 5000 to 70000 depending on 22:18:29 your system limits and on the command executed)." 22:18:55 So there is some degree of special-casing. 22:19:11 no 22:19:13 how is that special casing 22:19:34 huh? surely that is happening precisely because Nats are _not_ special cased, but treated just like its definition... 22:19:50 which gives you a huge depth of S's 22:19:51 i think he means the warning is a special case 22:19:55 which is a bit stupid. 22:20:31 *their 22:20:57 Ah, didn't get what you meant by "special case". 22:21:08 i.e. as part of the actual proof kernel 22:21:13 which, if it has a single flaw, is disasterous 22:21:15 yeah 22:21:18 Yeah. 22:21:32 agda regularly find bugs in their proof kernel because it's fucking gigantic :) 22:21:48 whereas coq's has been maturing since the 80s... like fine wine :p 22:24:05 And Epigram? 22:25:57 is just fun. 22:26:05 (and based on a very small kernel) 22:26:54 What's Agda's kernel so busy doing? 22:27:05 a bunch of untested crap 22:27:10 that they didn't think to layer on 22:28:21 brb 22:30:59 -!- nooga has joined. 22:43:53 Chrome can be so hateful sometimes 22:44:06 What does a verified compiler even do? 22:44:18 Prove that the generated code does what it says it does? 22:44:54 -!- sshc has quit (Ping timeout: 252 seconds). 22:46:28 alise 22:46:38 augur 22:46:38 send me some links to stuff about coqs proof kernel 22:46:41 and epigrams 22:46:43 :D 22:47:07 -!- FireFly has quit (Quit: swatted to death). 22:47:16 -!- sshc has joined. 22:52:56 -!- myndzi\ has changed nick to myndzi. 22:56:28 augur: this is all from my brain 22:56:31 i don't have any links 22:56:38 augur: coq's is the calculus of inductive constructions 22:56:45 epigram 2's is observational type theory (but not with W-types) 22:56:52 as for the implementation, see the code :P 22:56:55 What does a verified compiler even do? 22:56:55 Prove that the generated code does what it says it does? 22:56:59 prove that it never compiles incorrectly 22:57:06 i.e., a given C program always compiles to the right assembly 22:57:10 Ah. 22:57:12 i.e., the compiler is proven to compile properly 22:57:16 always 22:57:18 That must be complex. 22:57:24 yes. it is 22:57:27 which is why compcert is so amazing 22:57:38 And the PowerPC bit? 22:57:43 god knows 22:57:49 maybe they developed it on macs (it's a bit old) 22:57:59 maybe the machine code had some desirable property that made it easier 22:58:56 A certified BF compiler would actually be impossible, come to think of it. 22:59:06 Since it's compiling to a lower CC. 22:59:30 So there will always exist some BF program that can't be compiled. 22:59:54 CC? 23:00:01 Computational class 23:00:15 eh what 23:00:21 oh you mean that c is not tc 23:00:40 Vonlebio: you could certify it as working "if we presume" that pointers have infinite range, though 23:00:46 which is a reasonable enough, although false, assumption to make 23:00:47 i.e. 23:00:55 we're compiling down to C where sizeof(void *) is allowed to be 1, say 23:00:59 but it's actually infinitely big 23:01:01 a C variant 23:01:07 * Vonlebio -> sleep 23:01:09 it's just a coincidence that you can compile it as normal C most of the time 23:01:21 Vonlebio: you sleep too early 23:01:24 -!- Vonlebio has quit (Remote host closed the connection). 23:06:54 -!- sebbu has quit (Ping timeout: 240 seconds). 23:08:24 anyone have a copy of bitstream charter? 23:15:36 ah, it's in arch 23:22:41 -!- derdon has quit (Ping timeout: 265 seconds). 23:29:42 pikhq: Oh god install Bitstream Charter now. 23:29:49 (xorg-fonts-type1 on Arch, dunno about Gentoo.) 23:30:16 It's optimised for 300 dpi laser printers of the 80s, which means it looks good even at low resolutions. 23:30:20 Which makes it a beautiful screen serif. 23:32:23 -!- comex has quit (Ping timeout: 246 seconds). 23:35:19 test 23:36:21 -!- tombom has quit (Quit: Leaving). 23:36:46 -!- comex has joined. 23:39:59 -!- oerjan has quit (Quit: Good night). 23:40:43 aha 23:40:44 i am testing 23:40:47 and this is interesting 23:40:50 verily 23:41:02 test 23:41:02 -!- sebbu has joined. 23:45:27 -!- alise has quit (Quit: Leaving). 23:45:35 -!- alise has joined. 23:46:36 ha, there's an input_command_char setting 23:52:46 irc_skip_motd set to: 1 23:52:48 yess 23:53:02 -!- Wamanuz has quit (Remote host closed the connection). 23:54:24 scp is broken :( 23:54:30 coppro: WHY OH WHY 23:54:33 it tells me the destination file doesn't exist 23:54:34 DUH 23:54:38 IM TRYING TO MAKE IT 23:54:43 OMGS 23:54:46 TRYING TO MAKE IT HOLY 23:54:47 ==== 23:54:56 thanks, you made me feel better :) 23:55:01 what how 23:55:14 The SCP Foundation is broken??? 23:55:25 Sgeo_: HAHAHAHA FUNNIEST THING I EVER HEARD TWO SECONDS AGO 23:55:54 text_max_lines...............: 500 23:55:55 treachery 23:56:00 a 23:56:00 b 23:56:00 c 23:56:02 huh 23:56:08 a 23:56:09 b 23:56:09 c 23:57:04 coppro: wild GUI opinion: reverse logarithmic scrollbar 23:57:13 alise: h8 u 23:57:19 this way, grows-to-infinity texts 23:57:21 like IRC with infinite backlog 23:57:29 will never have their scrollbar grow infinitesimally small 23:57:38 coppro: what i'm a genius 23:58:00 text_wordwrap................: ON 23:58:03 what a ludicrous setting 23:58:17 "no thank you, i'd like a horizontal scrollbar every other message, please" 23:59:22 I am SCP-426.