00:00:25 -!- cheater00 has quit (Ping timeout: 246 seconds).
00:16:23 * Sgeo_ is looking at the Uplink code
00:16:59 <Sgeo_> Apparently, a certain gateway has anonymity
00:22:18 * Sgeo_ determines that Demo vs Nondemo makes a difference to the compiled binary
00:44:20 -!- FireFly has quit (Quit: swatted to death).
00:54:32 -!- pikhq has joined.
00:58:49 -!- BeholdMyGlory has quit (Remote host closed the connection).
01:33:30 <Gregor> "Support for all forms of whitespace in ECMA-262 7.2: Just like it says in the topic. Although I needed BOM in particular, support for the Ogham space mark will greatly improve compatibility with ancient Irish esotericist JavaScript programmers."
01:50:16 <Sgeo_> Seizure is not the only potential consequence of getting caught
01:53:17 <pikhq> Sgeo_: Caught in the act of what, pray tell?
01:53:28 <Sgeo_> Hacking (in Uplink)
02:07:02 -!- lament has joined.
02:08:32 -!- oerjan has joined.
02:11:43 <pikhq> Hellote, oerjan, lament.
02:15:09 <pikhq> I am convinced that Japanese bands are in a competition for "weirdest name".
02:16:03 <pikhq> "Sakanaction", "the pillows", "B'z", "Bump of Chicken"...
02:16:16 <pikhq> So far, "Bump of Chicken" is winning.
02:21:34 -!- pikhq has quit (Quit: Lost terminal).
02:21:43 <Sgeo_> "The system appears to have more security holes than popular 'Micro software' written in the late 20th century."
02:22:01 <Sgeo_> ^^part of a news item if the Global Criminal Database is hacked repeatedl
02:31:50 <Sgeo_> "Further more, there is no record of which real person uses which username."
02:38:09 <coppro> DAMN YOU COMBINATORICS
02:38:12 <coppro> CURSE YOU FOR ALL ETERNITY
02:38:37 <coppro> also, combinatorics is friggin' awesome
03:00:25 <Sgeo_> " The patch is simply a replacement exe file"
03:00:40 <Sgeo_> Considering that the distinction between demo/full is in the exe...
03:05:35 -!- pikhq has joined.
03:08:20 -!- oerjan has quit (Quit: leaving).
03:09:15 -!- augur has quit (Remote host closed the connection).
03:11:20 <pikhq> Linear algebra would be a much nicer class if it didn't have pointless, tedious computation in it.
03:12:41 <pikhq> Not to mention it could have actually useful stuff in it. "Compress this image." :P
03:17:54 -!- TeruFSX has joined.
03:18:38 <TeruFSX> wow, plenty of people here
03:20:22 -!- augur has joined.
03:21:15 <pikhq> There usually are.
03:23:09 <TeruFSX> I've never been here before, so it's a bit of a pleasant surprise.
03:23:53 <Sgeo_> Do you know what this place is/
03:24:04 <Sgeo_> Sometimes we get people thinking it's something that it's not.
03:24:24 <pikhq> Sgeo_: Aye, there be that chance.
03:26:22 <TeruFSX> What would they think it was? I know where I am, I came here from the wiki.
03:26:28 -!- azaq23 has quit (Ping timeout: 252 seconds).
03:27:08 <pikhq> We often get people coming in here thinking it's about esotericism.
03:27:15 <pikhq> Rather than esoteric programming.
03:27:37 <TeruFSX> I just noticed the channel title, actually.
03:28:34 -!- oerjan has joined.
03:32:06 -!- zzo38 has joined.
03:37:16 -!- shachaf has quit (Ping timeout: 246 seconds).
03:38:16 <pikhq> Aaah, elliott isn't here. That'd do it.
03:38:17 -!- shachaf has joined.
03:47:13 <pikhq> zzo38: Sure of what?
03:47:41 <zzo38> What it was you were describing.
03:48:12 <pikhq> BTW, s/quite/quiet/
03:48:38 <zzo38> OK. Now I know. Thanks.
03:52:31 -!- dbc has quit (Ping timeout: 240 seconds).
04:20:53 <pikhq> It's pretty funny hearing the claim that I can't believe evolution because it's against my religion.
04:21:13 <pikhq> Last I checked, the only thing against my professed religious beliefs would be a belief in a deity.
04:26:13 <zzo38> Well, some people have not even understand what the religion they claim to be, some of what it actually is, so it can confuse that sometimes.
04:27:55 <oerjan> must... resist... urge... to `addquote
04:28:07 <pikhq> zzo38: Actually, more just funny that they presumed I had a religious faith more than anything else.
04:29:28 <pikhq> Of course, many people seem ignorant that atheism implies the following: {}
04:33:35 -!- sebbu2 has joined.
04:33:36 -!- sebbu2 has quit (Changing host).
04:33:36 -!- sebbu2 has joined.
04:34:05 <zzo38> Why do you sometimes get someone join, and then changing host and joined again?
04:34:28 <pikhq> zzo38: The mask is set on identifying to nickserv.
04:34:44 <pikhq> He joined and then identified to nickserv.
04:34:59 <pikhq> It seems that his client is sending both commands roughly simultaneously.
04:35:02 <zzo38> Then you should identify first?
04:35:27 <pikhq> Making it a race condition for whether or not he joins and then gets a host mask.
04:35:49 <zzo38> You have to send a password first, before the USER command and then JOIN?
04:36:11 <pikhq> Yeah, it'd be easy enough to fix.
04:36:22 <pikhq> Just saying that this is what his client is doing. :)
04:36:23 <zzo38> That is, you should use the password field in your IRC client to make it do that and also would make it to not display the password on the screen?
04:36:34 -!- sebbu has quit (Ping timeout: 248 seconds).
04:36:34 -!- sebbu2 has changed nick to sebbu.
04:37:59 <oerjan> there might be a race condition even if you send the password first - data probably has to be sent back and forth to freenode's services before you get the cloak?
04:38:18 <oerjan> i vaguely recall something about that, anyhow
04:39:03 <pikhq> oerjan: You could set it up to wait for a reply from nickserv with a sufficiently smart client.
04:39:08 <oerjan> and so it might depend on network lag
04:39:35 <zzo38> Maybe. I do not use the cloak but I do put the password first and then get "This nickname is registered. Please choose a different nickname, or identify via /msg NickServ identify <password>." followed immediately by
04:39:39 <pikhq> Which would actually be necessary to avoid a race condition, actually.
04:39:40 <zzo38> "You are now identified for zzo38."
04:40:00 <oerjan> yeah that last message ought to be enough...
04:40:33 <oerjan> also those messages do seem to show that things take a while to be sorted out
04:40:40 <zzo38> Yes it would seem to me, too. But it sends both messages
04:42:49 <pikhq> My, rum is delicious.
04:44:27 <zzo38> Estimate the number of pages of TeXnicard so far and when it is finished.
04:44:38 <zzo38> Also estimate how many bugs it has.
04:46:44 -!- Mathnerd314 has quit (Ping timeout: 240 seconds).
04:53:01 -!- sebbu2 has joined.
04:53:02 -!- sebbu2 has quit (Changing host).
04:53:02 -!- sebbu2 has joined.
04:53:15 <zzo38> Please measure the size of a program in pages.
04:54:14 -!- sebbu has quit (Ping timeout: 240 seconds).
05:00:23 <Sgeo_> This episode of SGU sounds a lot like a DS9 plot
05:02:32 <pikhq> China is sitting on enough reserves to buy New York City.
05:29:41 -!- BeholdMyGlory has joined.
05:31:18 <zzo38> Can you make ASCII tsume shogi notation, can be number of moves, and the letters, uppercase for firstplayer lowercase for second player with 'B' promote to 'C', 'D' promote to 'E', 'F' to 'G', and so on, and then the pieces available to drop
05:34:58 <pikhq> I don't see why not.
05:35:23 <zzo38> And then it can be made into the diagram with kanji, from that.
05:37:30 <pikhq> A function from ASCII notation to a full board would be trivial, so.
05:38:35 <zzo38> I want to make program for tsume shogi. I played tsume shogi game on GameBoy, too.
05:42:44 <zzo38> Have you ever play tsume shogi?
05:47:21 <pikhq> Though I have played ordinary shougi.
05:49:56 <zzo38> Do you know tsume shogi?
05:51:17 <lament> tsume just means problems
05:51:33 <pikhq> Similar to chess problems, yuh?
05:51:50 <zzo38> pikhq: Yes, similar to chess problems. However, in tsume shogi you must give check on every turn.
05:51:51 <pikhq> lament: 詰め has a *lot* of meanings.
05:51:58 -!- vinh has joined.
05:55:42 -!- vinh has left.
05:55:54 <zzo38> What kind of algorithm would I use to implement futile interposition rule?
05:57:57 <coppro> futile interposition rule?
05:58:01 <zzo38> Futile interposition rule is: It is not allowed to block check by dropping a piece that can just be captured to make check again without changing anything else.
05:58:33 <coppro> Run through every other piece and see if it can move there
05:58:52 <coppro> (or perhaps in shogi, run through every attacking square and see if there is a piece there that can attack)
05:59:09 <coppro> then for each piece that could take, see if it delivers check "without changing anything else"
06:00:25 <zzo38> But there is a few complications
06:01:45 <coppro> You must clearly define what constitutes a futile interposition
06:02:18 <coppro> pikhq: china is rich thanks to your government's incompetence
06:03:00 <coppro> idea: let's cut taxes and increase war spending
06:03:03 <coppro> it's guaranteed to work
06:03:22 <zzo38> Look at this one: http://zzo38computer.cjb.net/img_13/futile.png
06:04:01 <zzo38> Also the bottom of this webpage: http://www.shogi.net/nexus/ladder/help.html
06:04:13 <zzo38> See, there is a trick.
06:04:44 <coppro> I cannot read shogi positions
06:04:50 <coppro> I just read up the futile interposition rule
06:04:54 -!- BeholdMyGlory has quit (Remote host closed the connection).
06:10:34 <zzo38> Notice I posted the GameBoy tsume shogi. Level 1. 1 move. You can move a dragon king causing discovered check by the angle mover in the corner. Now, a piece can be dropped, will be pinned You have to move to the right place to recapture and win (moving to the right pins the other piece too), and that silver general is not in the promotion zone.
06:15:16 <pikhq> coppro: Problem is too little income from taxes? CUT TAXES! INCREASE WAR SPENDING!
06:15:34 <pikhq> coppro: Problem is too bad of an economy? CUT TAXES! INCREASE WAR SPENDING!
06:15:44 <pikhq> coppro: Everything going just fine? CUT TAXES! INCREASE WAR SPENDING!
06:16:35 <pikhq> coppro: Anyways, shougi is pretty easy. It's like chess, but Japanese. :P
06:17:06 <pikhq> ... Okay, so the brush-stroke
06:17:14 <pikhq> That was supposed to be C-k, not C-j.
06:17:49 <zzo38> What about brush-stroke?
06:18:04 <pikhq> So the brush-stroke font thing doesn't help much.
06:18:10 <pikhq> It's a bit hard to read the characters.
06:18:23 <pikhq> Especially on a low-resolution display.
06:19:01 <zzo38> Yes especially the promoted side is difficult.
06:20:04 <pikhq> Particularly if you're not accustomed to Chinese characters.
06:20:12 <zzo38> Still, they are features of Shogi And Xiangqi I like that Chess does not have, which is the flat pieces. The flat pieces is better way in my opinion.
06:20:52 <pikhq> http://upload.wikimedia.org/wikipedia/commons/7/71/Shogi_ryuma.png This does *not* look like 龍馬 to most people. :P
06:22:29 <zzo38> Yes you are correct, the promoted side are written more messy than the unpromoted side, which makes it look unlike it. Usually diagrams, though, use the nonmessy symbols which makes it much easier.
06:22:50 <zzo38> However, GameBoy tsumeshogi has low resolution, which makes it hard to see.
06:23:13 <pikhq> It's using cursive script.
06:23:44 <pikhq> Which is generally hard for even native speakers of a Chinese-character-using-language to read.
06:24:10 <pikhq> (hence why it's only used in a few contexts, largely for artistic effect)
06:28:10 <zzo38> Even English cursive is sometimes written messy; that is, if they are a messy writer, it will be.
06:29:28 <pikhq> Except most English speakers can understand cursive. :P
06:31:07 <pikhq> The glyphs are with little *apparent* connection to the regular script form.
06:31:43 <zzo38> Yes, but sometimes it is very messy and I cannot understand. This happens when they are very messy writers. Sometimes even noncursive is somewhat difficult if they are very messy writers, though.
06:32:04 <pikhq> English cursive is a bit more analogous to Chinese character semicursive script.
06:32:42 -!- lament has quit (Ping timeout: 250 seconds).
06:41:57 <zzo38> At least, shogi pieces have very commonly the same in different sets, and diagrams usually use noncursive, which means it is less difficult to understand. But still it is the good reason to not use cursive, generally. Shogi can also be made with noncursive and it is also easy to understand.
06:42:39 <zzo38> I have a shogi set but it isn't very good because board is of paper.
06:44:13 -!- Deewiant has quit (Ping timeout: 258 seconds).
06:44:47 -!- Deewiant has joined.
06:57:08 -!- pikhq has quit (Quit: Lost terminal).
07:01:11 -!- calamari has left ("Leaving").
07:13:02 -!- zzo38 has quit (Quit: zzo38).
07:23:20 <Ilari> Biggest RIR-level IPv6 allocations in the world: 1x/16, 2x/19, 6x/20, 4x/21, 21x/22. Those all are LIRs or some super-large ISPs.
07:29:45 <Ilari> Wow, together those 34 blocks are 92% of all RIR-allocated IPv6 address space.
07:30:41 -!- sebbu2 has quit (Read error: Connection reset by peer).
07:31:08 -!- sebbu has joined.
07:31:08 -!- sebbu has quit (Changing host).
07:31:08 -!- sebbu has joined.
07:36:23 -!- Wamanuz3 has joined.
07:38:21 -!- sebbu2 has joined.
07:40:21 -!- sebbu has quit (Ping timeout: 252 seconds).
07:45:44 -!- Wamanuz2 has quit (*.net *.split).
07:45:44 -!- variable has quit (*.net *.split).
07:57:38 -!- u4758431 has joined.
07:58:03 -!- u4758431 has left.
08:09:38 -!- oerjan has quit (Quit: leaving).
08:12:30 -!- FireFly has joined.
08:21:33 -!- cheater99 has joined.
08:21:38 -!- cheater- has quit (Ping timeout: 246 seconds).
08:24:10 -!- variable has joined.
08:25:00 -!- variable has changed nick to Guest14106.
08:38:06 -!- MigoMipo has joined.
09:48:05 -!- Phantom_Hoover has joined.
10:17:53 -!- sebbu has joined.
10:17:53 -!- sebbu has quit (Changing host).
10:17:53 -!- sebbu has joined.
10:20:57 -!- sebbu2 has quit (Ping timeout: 252 seconds).
10:29:32 -!- monqy has quit (Quit: hello).
10:47:14 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
10:47:49 -!- Phantom_Hoover has joined.
11:22:35 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
11:55:45 -!- wareya_ has quit (Ping timeout: 240 seconds).
11:55:45 -!- nottwo has quit (Ping timeout: 240 seconds).
11:55:45 -!- mycroftiv has quit (Ping timeout: 240 seconds).
11:58:47 -!- sebbu has quit (*.net *.split).
11:58:47 -!- myndzi has quit (*.net *.split).
11:58:47 -!- Zuu has quit (*.net *.split).
11:58:47 -!- Ilari_antrcomp has quit (*.net *.split).
11:58:47 -!- FireFly has quit (*.net *.split).
11:58:48 -!- Ilari has quit (*.net *.split).
11:58:48 -!- clog has quit (*.net *.split).
11:58:48 -!- Gregor has quit (*.net *.split).
11:58:48 -!- fungot has quit (*.net *.split).
11:58:48 -!- jix has quit (*.net *.split).
11:58:48 -!- mtve has quit (*.net *.split).
11:58:48 -!- cheater99 has quit (*.net *.split).
11:58:48 -!- dnm_ has quit (*.net *.split).
11:58:48 -!- Guest14106 has quit (*.net *.split).
11:58:48 -!- nooga has quit (*.net *.split).
11:58:50 -!- bsmntbombdood has quit (*.net *.split).
11:58:50 -!- Zwaarddijk has quit (*.net *.split).
11:58:50 -!- MigoMipo has quit (*.net *.split).
11:58:50 -!- sftp has quit (*.net *.split).
11:58:50 -!- Sgeo_ has quit (*.net *.split).
11:58:50 -!- cheater has quit (*.net *.split).
11:58:50 -!- z^ck has quit (*.net *.split).
11:58:50 -!- ineiros_ has quit (*.net *.split).
11:58:50 -!- ineiros has quit (*.net *.split).
11:58:50 -!- comex has quit (*.net *.split).
11:58:50 -!- aloril has quit (*.net *.split).
11:58:50 -!- Slereah has quit (*.net *.split).
11:58:50 -!- pingveno has quit (*.net *.split).
11:58:50 -!- EgoBot has quit (*.net *.split).
11:58:50 -!- lambdabot has quit (*.net *.split).
11:58:50 -!- yorick_ has quit (*.net *.split).
11:58:50 -!- pizearke has quit (*.net *.split).
11:58:50 -!- Mannerisky has quit (*.net *.split).
11:58:50 -!- coppro has quit (*.net *.split).
11:58:50 -!- newsham has quit (*.net *.split).
11:58:50 -!- Wamanuz3 has quit (*.net *.split).
11:58:50 -!- shachaf has quit (*.net *.split).
11:58:50 -!- lifthrasiir has quit (*.net *.split).
11:58:50 -!- yiyus has quit (*.net *.split).
11:58:50 -!- tswett has quit (*.net *.split).
11:58:50 -!- Vorpal has quit (*.net *.split).
11:58:50 -!- HackEgo has quit (*.net *.split).
11:58:50 -!- TeruFSX has quit (*.net *.split).
11:58:50 -!- Deewiant has quit (*.net *.split).
11:58:50 -!- quintopia has quit (*.net *.split).
11:58:50 -!- olsner has quit (*.net *.split).
11:58:50 -!- fizzie has quit (*.net *.split).
11:58:50 -!- augur has quit (*.net *.split).
11:58:50 -!- SimonRC has quit (*.net *.split).
11:58:50 -!- iamcal has quit (*.net *.split).
11:58:50 -!- enki-[quit] has quit (*.net *.split).
12:01:48 -!- wareya has joined.
12:01:48 -!- nottwo has joined.
12:01:48 -!- mycroftiv has joined.
12:01:48 -!- sebbu has joined.
12:01:48 -!- MigoMipo has joined.
12:01:48 -!- Guest14106 has joined.
12:01:48 -!- cheater99 has joined.
12:01:48 -!- FireFly has joined.
12:01:48 -!- Wamanuz3 has joined.
12:01:48 -!- Deewiant has joined.
12:01:48 -!- shachaf has joined.
12:01:48 -!- augur has joined.
12:01:48 -!- TeruFSX has joined.
12:01:48 -!- myndzi has joined.
12:01:48 -!- yorick_ has joined.
12:01:48 -!- jix has joined.
12:01:48 -!- lifthrasiir has joined.
12:01:48 -!- dnm_ has joined.
12:01:48 -!- Zuu has joined.
12:01:48 -!- sftp has joined.
12:01:48 -!- nooga has joined.
12:01:48 -!- Sgeo_ has joined.
12:01:48 -!- Slereah has joined.
12:01:48 -!- cheater has joined.
12:01:48 -!- pingveno has joined.
12:01:48 -!- z^ck has joined.
12:01:48 -!- ineiros_ has joined.
12:01:48 -!- ineiros has joined.
12:01:48 -!- pizearke has joined.
12:01:48 -!- newsham has joined.
12:01:48 -!- Mannerisky has joined.
12:01:48 -!- coppro has joined.
12:01:48 -!- comex has joined.
12:01:48 -!- Ilari_antrcomp has joined.
12:01:48 -!- Ilari has joined.
12:01:48 -!- iamcal has joined.
12:01:48 -!- yiyus has joined.
12:01:48 -!- SimonRC has joined.
12:01:48 -!- clog has joined.
12:01:48 -!- Gregor has joined.
12:01:48 -!- mtve has joined.
12:01:48 -!- enki-[quit] has joined.
12:01:48 -!- quintopia has joined.
12:01:48 -!- olsner has joined.
12:01:48 -!- aloril has joined.
12:01:48 -!- fungot has joined.
12:01:48 -!- fizzie has joined.
12:01:48 -!- Zwaarddijk has joined.
12:01:48 -!- bsmntbombdood has joined.
12:01:48 -!- EgoBot has joined.
12:01:48 -!- tswett has joined.
12:01:48 -!- Vorpal has joined.
12:01:48 -!- lambdabot has joined.
12:01:49 -!- HackEgo has joined.
12:35:37 -!- cheater00 has joined.
12:37:09 -!- cheater99 has quit (Ping timeout: 250 seconds).
12:46:37 -!- cheater- has joined.
12:46:40 -!- cheater_ has joined.
12:48:20 -!- cheater00 has quit (Ping timeout: 246 seconds).
12:49:06 -!- cheater has quit (Ping timeout: 252 seconds).
12:53:57 -!- aloril has quit (Ping timeout: 276 seconds).
13:06:48 -!- aloril has joined.
13:16:57 -!- cheater00 has joined.
13:18:05 -!- cheater- has quit (Ping timeout: 246 seconds).
13:34:16 -!- Phantom_Hoover has joined.
13:43:07 -!- wth has joined.
13:43:24 -!- wth has quit (Read error: Connection reset by peer).
13:43:38 -!- wth has joined.
13:43:43 -!- wth has quit (Remote host closed the connection).
13:54:05 -!- BeholdMyGlory has joined.
14:12:12 -!- esowiki has joined.
14:12:45 -!- esowiki has joined.
14:13:20 -!- esowiki has joined.
14:13:57 -!- esowiki has joined.
14:14:33 -!- esowiki has joined.
14:15:21 -!- esowiki has joined.
14:15:57 -!- esowiki has joined.
14:16:37 -!- esowiki has joined.
14:17:09 -!- esowiki has joined.
14:17:10 -!- glogbot has joined.
14:17:10 -!- glogbackup has left.
14:17:30 -!- oklopol has joined.
14:17:31 -!- boily has joined.
14:18:43 -!- jcp has joined.
14:19:11 -!- bsmntbombdood has quit (Ping timeout: 240 seconds).
14:23:39 -!- rodgort has joined.
14:56:15 -!- copumpkin has joined.
14:59:18 -!- copumpkin has quit (Client Quit).
15:42:44 -!- lament has joined.
16:02:01 <Vorpal> <Ilari> Wow, together those 34 blocks are 92% of all RIR-allocated IPv6 address space. <-- so that means things are really speeding up?
16:02:21 <Vorpal> Ilari, I predict ipv6 exhaustion in a handful of years (20-30)
16:02:30 <Vorpal> due to allocating too large blocks for routing purposes
16:11:31 -!- lament has quit (Ping timeout: 240 seconds).
16:17:06 -!- ais523 has joined.
16:21:53 <Ilari> Large blocks are easy to route, it is the small ones that are harder.
16:29:23 <Ilari> APNIC (8x/32+/48 IPv6): 6x1k to Australia, 1k+/32 to China, 1k+/32 to Fiji, 1k+/32 to Hong Kong, 1k+/48 to India, 1k+3x/32 to Japan, 1k to Sri Lanka, /32 to New Zealand. 1k+/32 to Singapore, 2x1k to Thailand, 2+1k to Vietnam.
16:30:22 <Vorpal> Ilari, but too large allocations and we will run out of ipv6 too
16:31:06 <Ilari> How many /48s in a /20?
16:31:46 <Ilari> And there are ~130 000 /20s in current global unicast space.
16:34:53 <Ilari> Well, the point is, even if IPv6 address allocation pracices aren't exactly efficient, there's still metrick shitton of address space (it grows exponentially as more bits are available).
16:40:53 -!- elliott has joined.
16:41:34 <elliott> glagolitic capital letter spidery ha
16:46:13 -!- oerjan has joined.
16:46:20 <elliott> 04:20:53: <pikhq> It's pretty funny hearing the claim that I can't believe evolution because it's against my religion.
16:46:20 <elliott> 04:21:13: <pikhq> Last I checked, the only thing against my professed religious beliefs would be a belief in a deity.
16:46:29 <elliott> That sort of only works if they know you're atheist :P
16:46:48 -!- azaq23 has joined.
16:46:52 <Zwaarddijk> is there a reason to assume some other religious beliefs?
16:47:05 <elliott> Zwaarddijk: pikhq was a Christian until very recently.
16:47:09 <elliott> OK, for really weak values of Christian.
16:47:44 <elliott> 04:29:28: <pikhq> Of course, many people seem ignorant that atheism implies the following: {}
16:47:44 <elliott> Literally, sure, but something like one hundred percent of people identifying as atheists will base it (or at least pretend to base it) on some form of rationalism
16:48:22 <elliott> 05:02:32: <pikhq> China is sitting on enough reserves to buy New York City.
16:48:23 <Zwaarddijk> there are a lot that only pretend to base it on rationalism though
16:48:40 <Zwaarddijk> and wouldn't recognize rationalism if it was explained to them
16:48:42 <elliott> Zwaarddijk: My parenthical and "some form of" were by no means unintentional :P
16:49:17 <elliott> For instance, at RationalWiki, the term "rational" means "what most liberals with a Ph.D. in a science believe".
16:50:06 <Zwaarddijk> I've run into some rather nasty idiots on rationalskepticism.org
16:50:17 <Zwaarddijk> that think they're the rationalest people ever
16:50:36 <oerjan> elliott: like copy/paste from life of brian...
16:50:50 <elliott> At /r/atheism, "rationalism" is pronounced "atheism" and means "mocking the most idiotic Christians".
16:56:30 <cheater_> atheism implies there is no god
16:56:54 <enki-[quit]> people who think atheism is rational tend to think that logical positivism is an attribute of the universe, not an attribute of an epistemological model that a couple popular enlightenment-era thinkers had a hard-on for
16:57:27 <elliott> but atheism doesn't imply rationality.
16:57:31 <elliott> enki-[quit]: not nonsense.
16:58:03 <enki-[quit]> if you have no evidence for or against something's existence, then you have no evidence for or against it. there is no reasonable 'default' belief.
16:58:10 <elliott> enki-[quit]: what is your position on Russell's Teapot?
16:58:15 <elliott> the Invisible Pink Unicorn?
16:58:20 <elliott> come on, these are ancient
16:58:45 <enki-[quit]> elliott: all of those are examples of things with indeterminate existence, not with existence that is known to be false.
16:58:47 <Zwaarddijk> most people that believe in a God of some kind also believe in one that is logically contradictory
16:58:51 <elliott> also, you just said you think probability theory is flat out wrong.
16:59:00 <elliott> enki-[quit]: atheism is not the statement "god is known to not exist"
16:59:02 <enki-[quit]> so while the odds are extremely low, they are not zero
16:59:11 <elliott> it is the statement "god is so unlikely to exist that it is irrelevant to consider the possibility of its existence"
16:59:21 <Zwaarddijk> elliott: for any number of proposed gods, the likelihood is zero
16:59:37 <elliott> Zwaarddijk: because of self-contradiction? that's true
16:59:42 <elliott> but there are subsets of Christianity that are not self-contradicting
16:59:47 <elliott> just so, so incredibly unlikely
17:00:00 <Zwaarddijk> but we can still shave off a huge bunch of proposed gods
17:00:05 <enki-[quit]> elliott: that's not how atheists tend to phrase it. i don't have a problem with non-belief. i have a problem with conflating non-belief with belief in the negation
17:00:21 <elliott> atheism is stronger than not-belief
17:00:39 <elliott> atheism is the position that the likelihood of any god existing is so low that it can be discounted
17:00:56 <elliott> there are people who self-identify as atheists and say this means that "logic disproves god" or wahtever
17:01:01 <elliott> but there is a name for these people, a very old name
17:01:29 <enki-[quit]> i neither believe that russel's teapot exists nor that russel's teapot does not exist. if i could quantify how much it would surprise me if russel's teapot existed, that number would be large.
17:01:58 <elliott> say Russell's Teapot tortures all those who drink tea
17:02:04 <elliott> you would continue living as if it did not exist
17:02:24 <elliott> you have not shown that atheism is irrational, only that a very stupid form of "atheism" is.
17:02:32 <Zwaarddijk> if Russel's teapot existed, I'd be greatly surprised
17:02:41 <enki-[quit]> elliott: if someone believes that the likelyhood of god existing is infinitesimally small but nonzero, they are agnostics, if we are going to be precise.
17:02:54 <elliott> enki-[quit]: ah, you misspelled a word there
17:02:54 <Zwaarddijk> enki-[quit]: no, you're using some weird definitions here
17:02:57 <elliott> replace "if we are going to be precise"
17:03:04 <elliott> "if we ignore what the words actually mean, and just bullshit out way through"
17:03:21 <elliott> an "agnostic", by common meaning, is someone who gives undue weight to the hypothesis of god
17:03:28 <elliott> by being unreasonably and irrationally on-the-fence about it
17:03:36 <elliott> most of them do this because they have no idea what atheism means.
17:03:45 <enki-[quit]> elliott: i'm not really sure where you are getting your personal definition of atheism. it's very strange. i've heard a few other people quote it, when i've had this discussion before.
17:03:46 <elliott> or because they're just idiots
17:04:05 <elliott> enki-[quit]: a few other people quote my "personal" definition of atheism?
17:04:10 <elliott> so maybe it... isn't... personal?
17:04:28 <enki-[quit]> elliott: maybe you all read the same book by an author who explained it poorly?
17:05:57 <elliott> i keep talking to all these people who say a zebra is like a horse but with black and white straps and shit
17:06:11 <elliott> but i know for a fact that a zebra is a type of bedsheet
17:06:23 <elliott> i think they all read "Hey, Zebras Are Actually Kinda like Horses" by Dr. Idiot McMormon
17:06:29 <enki-[quit]> i'm trying to make a distinction between belief in a thing's nonexistence and non-belief in a thing's existence, because the popularity of logical positivism has make a lot of people conflate the two. this tends to come up more often in discussions about atheism, but agnosis is not limited to the question of gods -- it's just a convienient situation in which to bring it up.
17:06:52 <elliott> Try "idiot atheism" for the "Gods definitely (p=one, no rounding errors) do not exist".
17:07:44 <enki-[quit]> elliott: by defining atheism as agnosticism skewed to one side, it makes no clean distinction.
17:08:00 <elliott> wow, you mean language is designed to be useful and reflect what people actually mean,
17:08:03 <elliott> not to be full of useless absolutes?
17:08:24 <elliott> Philosophy has invented enough terms by itself that I'm sure it can come up with a few more for ridiculous hypotheses :)
17:09:11 <enki-[quit]> i don't care what the probabilities people cite are, so long as they aren't limited to zero and one. it's a pet peeve. agnosis in a general sense refers to the eschewing of extremes of probability in one's mental models, and the association with the atheist-theist debate is making it difficult to talk about agnosis outside of that context
17:09:44 <Phantom_Hoover> <elliott> Literally, sure, but something like one hundred percent of people identifying as atheists will base it (or at least pretend to base it) on some form of rationalism
17:09:59 <enki-[quit]> we have more than enough people who are far too sure of themselves. we don't need otherwise reasonable people to start being too sure of themselves too
17:10:14 <elliott> Phantom_Hoover: well, let's be fair, "atheism" in common use has the even more general meaning of "areligion...ism".
17:10:47 <elliott> enki-[quit]: ok, there's the probability I cite for any God that more than five people have described as "the Christian God": 0. if you want a precise value, i can sit here pressing the 0 key for about an hour, and then there'll be some digits after that
17:10:53 <enki-[quit]> i have other problems with what you call 'idiot atheists' -- for instance, their abrahamocentrism -- but that's an unrelated issue.
17:11:03 <elliott> abrahamocentrism is a wonderful word
17:11:16 <elliott> abrahamocentrismabahramocentristabrahamocentrbaicbramcioba
17:12:49 <enki-[quit]> i have yet to see one of the big-name atheists talk about a hypothetical god other than the god of abraham. this isn't because abrahamic religions are dominant, because they aren't. they are dominant in those parts of western europe and the americas that are not yet dominantly atheistic, agnostic, or areligious
17:13:05 <enki-[quit]> (i make a distinction between those three terms)
17:13:39 <elliott> hmm, The God Delusion was a pretty generic argument, but "big-name atheists" are irrelevant IMO
17:13:55 <enki-[quit]> to the question of 'is there a god', the respective answers are: no, maybe, and fish
17:14:10 <elliott> most of them are surely pretty smart people, but most of the new trend of atheist books are fluff
17:14:13 <Phantom_Hoover> <enki-[quit]> i have yet to see one of the big-name atheists talk about a hypothetical god other than the god of abraham. this isn't because abrahamic religions are dominant, because they aren't. they are dominant in those parts of western europe and the americas that are not yet dominantly atheistic, agnostic, or areligious
17:16:08 <Phantom_Hoover> Christianity and Islam total 3.5 billion adherants, according to WP at least.
17:16:13 <enki-[quit]> elliott: unfortunately, intelligence in other areas appears to have no correlation with ability to counter one's own confirmation bias. i've seen pretty smart people get sucked into obscure religious sects and waste their skills on elaborate attempts at proving the earth is flat mathematically
17:16:39 <Phantom_Hoover> I'm curious as to how you arrived at the conclusion that they are not 'dominant'.
17:16:39 <elliott> enki-[quit]: True. Evolutionary biologists are pretty well-guarded against creationism, though.
17:16:57 <elliott> (I know of exactly one creationist evolutionary biologist, and he's a Discovery Institute shill.)
17:17:29 <enki-[quit]> they are clearly capable of formulating a proof, and working one out. but, they have taken it as axiomatic that the earth is flat and then continue on from there, discarding results that don't confirm their axioms
17:17:47 <enki-[quit]> Phantom_Hoover: what are the two most populous nation-states on earth?
17:18:29 <enki-[quit]> (the answer is china and india. you shouldn't have had to look that up. shame on you)
17:19:00 <elliott> yelling at someone when they don't respond instantly is moronic
17:19:13 <elliott> PH rarely does to anyone because, y'know, not everyone has the IRC window focussed all the time
17:19:38 -!- Phantom_Hoover has quit (Quit: Leaving).
17:19:43 <elliott> his Wi-Fi drops all the time.
17:19:45 -!- Phantom_Hoover has joined.
17:19:45 <Phantom_Hoover> 17:17:47: <enki-[quit]> Phantom_Hoover: what are the two most populous nation-states on earth?
17:19:46 <Phantom_Hoover> 17:18:29: <enki-[quit]> (the answer is china and india. you shouldn't have had to look that up. shame on you)
17:20:20 <Phantom_Hoover> Making me miss people making facile arguments and act entitled to an immediate answer.
17:20:50 <enki-[quit]> look at the religious makeup of china and india. look at the religious makeup of europe, and keep in mind that numbers for lutheranism are skewed upwards in scandanavia.
17:21:12 <Phantom_Hoover> enki-[quit], like I said, the lower bound from WP's figures for religious adherence to Christianity and Islam is 3.5 billion.
17:21:32 <Phantom_Hoover> That's over half of the world population, unless it exceeded 7 billion and I didn't notice.
17:22:06 <elliott> *shrug*: the universal counterargument.
17:22:48 <enki-[quit]> add judaism and what percentage would you reckon that is?
17:23:23 <Phantom_Hoover> It's a non-entity as far as proportions are concerned.
17:24:16 <elliott> they could start their own nation
17:24:35 <enki-[quit]> so, these people are addressing the half of the world that they have the least likelyhood of convincing, and ignoring the rest?
17:25:33 <elliott> enki-[quit]: most people don't address the entire world
17:25:36 <elliott> for instance, they speak in English
17:25:38 <elliott> this also limits their market
17:25:38 <Phantom_Hoover> The rest is considerably more fragmented, so you can't make generalised arguments.
17:26:00 <elliott> Supported Operating Systems
17:26:00 <elliott> Microsoft Windows 98/SE/ME/2000/XP/Vista/7
17:26:05 <elliott> I'll have to downgrade my kernel
17:26:07 <elliott> for this external hard drive
17:26:53 <Phantom_Hoover> BtW, India and China combined are only slightly over a third of the world's population, not the crushing majority you seem to think they are.
17:27:22 <olsner> I am 100% of the population of my world
17:27:49 <Vorpal> <elliott> I'll have to downgrade my kernel
17:27:50 <Vorpal> <elliott> for this external hard drive
17:28:01 <Vorpal> elliott, where was it from?
17:28:09 <elliott> oerjan: let me bring up for the seventeenth time
17:28:11 <Phantom_Hoover> (I assume this is where you live because you're Swedish and hence must live somewhere with huge seasonal temperature variations.)
17:28:12 <elliott> oerjan: solipsist missionaries
17:28:14 <elliott> would be the best thing ever
17:28:15 <Vorpal> elliott, yeah I mean what product
17:28:35 <elliott> Vorpal: let me find the window :D
17:28:49 <elliott> http://www.scan.co.uk/products/320gb-intenso-6002510-super-slim-external-25-hdd-usb-20-5400-rpm-8mb-cache-bus-powered-black
17:28:51 <oerjan> elliott: hey it _could_ make sense... they're tired of their illusion spreading falsehoods...
17:29:02 <elliott> I'm just trying to find the cheapest external hard drive that's over two-hundred-and-fifty gigs.
17:29:17 <elliott> oerjan: "What I'm saying is: You are the only person who exists. Just you."
17:29:22 <elliott> oerjan: "I'm not real. I'm a figment of your imagination."
17:29:42 <elliott> oerjan: Response: "So are... you a solipsist?"
17:29:49 <elliott> "Absolutely. You're just a figment of my imagination."
17:30:00 <olsner> Phantom_Hoover: sweden => cold => THE MOON?
17:30:32 -!- Phantom_Hoover has quit (Quit: Leaving).
17:32:27 -!- Phantom_Hoover has joined.
17:34:05 <Phantom_Hoover> Ah, yes, but it also gets incredibly hot on the moon during the (12-day-long) day, and I hear summers in Sweden are very warm.
17:34:22 <Zwaarddijk> elliott: I tihnk what's needed to get the previous debate working is a good grasp of what a language game is.
17:34:24 <Vorpal> Phantom_Hoover, thus clearly Egypt is the moon
17:34:53 <Vorpal> Phantom_Hoover, anyway, Norway is pretty much the same as Sweden there
17:34:59 <Phantom_Hoover> (I live on Cruithne, since I have a great affinity for things with unpronounceable Irish names.)
17:36:00 <elliott> Well, it explains your name, Adhamhnáin McCool
17:36:01 -!- sebbu2 has joined.
17:36:01 -!- sebbu2 has quit (Changing host).
17:36:01 -!- sebbu2 has joined.
17:36:25 <elliott> (Please tell me your name is actually accented like that.)
17:37:10 <elliott> Phantom_Hoover: PLEASE TELL ME HOW TO PROOUNCE YOUR FIRST NAME
17:37:33 <olsner> elliott: isn't it just "Phantom"?
17:37:34 <elliott> DO YOU GET ANNOYED WHEN PEOPLE MISPRONOUNCE IT
17:37:48 <elliott> olsner: Adhamhnáin McCool, pronounced "Phantom Hoover"
17:37:55 <elliott> Phantom_Hoover: I WILL MISPRONOUNCE IT UNLESS YOU TEACH ME
17:38:09 <elliott> Well, McCool has the oo from Hoover, so it sounds kind of similar.
17:38:19 <elliott> And if you really muffle Adhamhnáin, it sounds like Phantom pronounced really stuttery.
17:39:07 <elliott> HOW ARE SD CARD TRANSFER RATES
17:39:29 <elliott> there are no two-hundred-anf-fifty-gig sd cards
17:39:29 * oerjan notes that irish pronunciation is just weird enough that Adhamhnáin _might_ have been pronounced like phantom
17:39:38 -!- sebbu has quit (Ping timeout: 260 seconds).
17:39:39 <elliott> Vorpal: Just dreading copying tens of tens of gigabytes over USB Two :)
17:39:54 <Vorpal> elliott, I'm watching last episode of Cosmos. Got any actual message?
17:40:01 <olsner> tens of tens!? that's like HUNDREDS
17:40:02 <elliott> Vorpal: I ASKED A QUESTION
17:40:12 <elliott> Vorpal: BTW CARL SAGAN DIES AT THE END
17:40:22 <elliott> (HE WAS THE COSMOS ALL ALONG)
17:40:26 <Vorpal> elliott, anyway SD card would depend on the card and the reader
17:41:09 <oerjan> choking on an apple pie
17:41:12 <elliott> Actually I could probably get away with only copying a fraction of things.
17:41:17 <elliott> OS X home folder, and this home folder.
17:41:30 <elliott> AND THEN I MUST WIPE EVERYTHING
17:41:35 <Vorpal> elliott, anyway, why does the trasfer speed matter? You can easily let it run while doing other stuff. This is what we who work in the area of computers call "multi-tasking"
17:41:58 <Vorpal> elliott, DMA. It doesn't much slow down what else you do
17:42:18 -!- oerjan has quit (Quit: leaving).
17:42:40 <elliott> Vorpal: I mean slow in general.
17:43:06 <elliott> Like, what's USB Two's theroretical maximum?
17:43:13 <Vorpal> elliott, yes but for your use case, why does it matter much
17:43:24 <elliott> A high-speed (USB 2.0) rate of 480 Mbit/s (~57 MB/s) was introduced in 2001. All hi-speed devices are capable of falling back to full-bandwidth operation if necessary; they are backward compatible. Connectors are identical.
17:43:31 <elliott> OK, well that's bullshit, there's no way I'd get anywhere near that.
17:43:51 <elliott> Vorpal: Because I'd like to send it back sooner rather than later?
17:43:57 <elliott> Vorpal: And because I have to be there to reinstall when it finishes.
17:44:01 <elliott> And doing it overnight would be annoying.
17:44:05 <Vorpal> elliott, well what will it take? A couple of hours?
17:44:11 <elliott> And if I need to reboot, I'm fucked.
17:44:17 <elliott> At least, I need to restart X all the time, and can't use the console.
17:44:19 <elliott> I could change my password.
17:44:21 <Vorpal> elliott, you could easily use rsync
17:44:35 <elliott> I could do it from the console, but STILL
17:44:46 <Vorpal> elliott, anyway why would you need to reboot?
17:44:56 <Vorpal> 19:44:13 up 17 days, 5:34, 19 users, load average: 1.14, 1.15, 1.59
17:44:56 <fizzie> SD cards don't tend to saturate USB 2.0 anyway. (SDHC "speed classes" go from 2 up to 10 MB/s == 80 Mbps.)
17:45:22 <fizzie> (For some sort of sustained-write speed, if you trust the manufacturer.)
17:45:46 <elliott> Vorpal: (A) I don't give a shit about your digi-penis[caret]Wuptime. (B) Kernel upgrades, bad hardware support leading to instability, etc.
17:46:04 <elliott> (C) At least, I have to restart X sometimes multiple times a day, no matter what window manager, because of bad hardware support.
17:46:10 -!- elliott has left ("Leaving").
17:46:14 <olsner> oh my: "What is the difference between git and cvs version control systems? I have been happily using CVS for over 10 years and have been told that GIT is much better."
17:46:25 -!- elliott has joined.
17:46:32 <elliott> (D) I don't know, I can't predict the future.
17:46:57 <Vorpal> elliott, anyway the disk is slower than 480 MBit/s probably
17:46:58 <olsner> otoh, if you've *happily* used CVS for that long, you obviously barely even need version control
17:47:02 <elliott> Vorpal: [caret]W erases the previous word. Lern-to-emacs.
17:47:14 <elliott> Or even just lern[two]shell.
17:47:21 -!- cheater_ has quit (Quit: Leaving).
17:47:28 <Vorpal> elliott, right, I thought it was like your X for !
17:47:39 <elliott> NonsenseXXXXXXXXXXXXXXXXXXX
17:48:38 <Sgeo_> The following directories were created:
17:48:38 <Sgeo_> %UserProfile%\WINDOWS
17:48:38 <Sgeo_> %UserProfile%\WINDOWS\system
17:51:12 <Phantom_Hoover> <olsner> oh my: "What is the difference between git and cvs version control systems? I have been happily using CVS for over 10 years and have been told that GIT is much better."
17:51:34 <Phantom_Hoover> Although I don't use any VCS, so I only do it in a theoretical way.
17:51:40 <elliott> That is because you have no idea what version control is or how it works :P
17:52:14 <elliott> "Consider this to be your dismaying PSA of the day: Apparently, if you're a Kindle owner with a magazine subscription, and you decide to stop subscribing, the back issues you previously downloaded are also lost—for good."
17:52:22 * elliott checks Engadget to see if it's actually true
17:53:55 <olsner> old news - if you buy a book and they later stop selling it: bam! no book for you
17:54:33 <olsner> applies for all these e-book readers that are integrated into online thingies: the only safe way to use them is for pirated books
17:55:19 <elliott> olsner: Well, the only sensible thing to do when moving to a medium with the immense power of infinite copying is... to restrict copying and viewing even further.
17:55:36 <elliott> Not only is water not wet, it's a good towel, dammit.
17:58:42 <fizzie> Good towel: http://www.shopperhive.co.uk/compare/natural-collection-santens-bamboo-and-cotton-shower-towel-prices
17:59:06 <elliott> I DO NOT UNDERSTAND WHY YOU LINKED THAT
17:59:13 <fizzie> What! It's a good towel.
17:59:13 <elliott> ARE YOU JUST RECOMMENDING SOME TOWELS YOU LIKE
17:59:29 <elliott> IF THEY ARE SO GOOD AT TOWELING
17:59:31 <fizzie> Currently not available, please try again later!
17:59:40 <elliott> DID YOU BUY ALL THE TOWELS FIZZIE
17:59:56 <fizzie> There were those towels in a hotel in Belgium, that's all I know.
18:00:11 <fizzie> You could say the made an impression!
18:00:15 <elliott> Yes, when I'm in Belgian hotels, the thing I think about most is the quality of the towels.
18:00:24 <elliott> fizzie: Do Finns have towels?
18:00:28 <elliott> I guess if they don't that would explain int.
18:00:43 <elliott> "Oh, I'm wet. Guess I'll go to the sauna and MELT THE WETNESS"
18:00:45 <fizzie> No, we just dry ourself to some tree-bark.
18:01:17 <elliott> Nothing like a good tree-barking after you jump into ice-cold water after you come out of the sauna.
18:02:52 -!- azaq23 has quit (Ping timeout: 240 seconds).
18:04:11 -!- azaq23 has joined.
18:28:22 <elliott> <Younder> 'data Maybe a = Nothing | Just a ' seems like awkward way of defining generalized boolean. Well that is the prose for static typing I guess.
18:28:24 <elliott> <Younder> dmwit, Like in Lisp. All types are a subtype of t except nil which is a subtype of null.
18:34:34 -!- monqy has joined.
18:35:15 <elliott> <crystal-cola> the poeple in #python nput me off of python
18:35:22 <elliott> <crystal-cola> this channel sucks
18:35:25 <elliott> [more of that in hash-haskell]
18:35:26 -!- augur has quit (Remote host closed the connection).
18:35:30 <elliott> <crystal-cola> people are naturally horrible to each other
18:35:39 <elliott> <Veinor> one of the guys in #python-ops says crystal-cola has just been spamming python-ops with
18:35:46 <elliott> our friend is alive and well :D
18:41:54 <Vorpal> in summary, Cosmos. Is pure awesome.
18:42:08 <elliott> cosmos isn't made out of awesome
18:42:21 <elliott> see i can be as tasteless as i like even when i've slept
18:42:23 <Vorpal> elliott, ... I meant the movies
18:42:34 <elliott> vorpal calls episodes of a tv series movies
18:43:21 <Vorpal> elliott, yes. I never claimed you couldn't be tasteless. I just claimed you do it a lot more when sleep deprived... Though I'm sure you are also capable of temporarily reversing it just to prove a point.
18:45:50 <elliott> wow j-invariant is annoying
19:05:00 -!- augur has joined.
19:09:01 <elliott> Phantom_Hoover: You misspelled "insanity".
19:09:21 <olsner> I don't remember j-invariant, what did it do?
19:09:35 <elliott> olsner: j-invariant left because it went public that we knew who they were.
19:09:45 <elliott> olsner: whatever-fax-was-called-at-the-time beforehand left because of being banned.
19:09:53 <elliott> Phantom_Hoover: Well, it was a pretty ... hectic... day for them.
19:10:02 <elliott> they were whining in hash-haskell about the pointlessness of all programming waah waah
19:10:08 <elliott> and got temp-banned for not STFUing
19:10:14 <elliott> Phantom_Hoover: Yes, but they're still in hash-haskell now, and haven't returned here.
19:10:42 <Phantom_Hoover> Something to do with trying to solve the halting problem in limited cases and not communicating it clearly enough to avoid looking like an idiot.
19:11:38 <elliott> olsner: Anyway, previous-fax left because Phantom_Hoover said they "failed at [Conway's Game of] Life", and they took it rather too literally, spamming pages of "FUCK YOU" at him in-channel.
19:12:31 <elliott> By left, I mean got banned and didn't return post-unban.
19:13:07 <Phantom_Hoover> To be fair, soupdragon's point which lead to that remark was an interesting one I've considered before, but I couldn't resist the pun.
19:14:45 <Phantom_Hoover> There is a stage version of Jeff Wayne's Musical Version of the War of the Worlds.
19:18:10 -!- sebbu2 has quit (Read error: Connection reset by peer).
19:18:51 -!- sebbu has joined.
19:20:05 -!- azaq23 has quit (Read error: Operation timed out).
19:21:25 -!- azaq23 has joined.
19:32:11 -!- augur has quit (Remote host closed the connection).
19:36:04 -!- augur has joined.
19:39:37 <elliott> bleeeeeeeeeeeeeeeeeeeeeeeh
19:39:44 <elliott> Haskell's typeclass system is far too weak for this
19:40:17 -!- azaq23 has quit (Ping timeout: 246 seconds).
19:40:53 -!- azaq23 has joined.
19:48:29 <Vorpal> elliott, why don't you use the on screen keyboard btw?
19:49:20 <Vorpal> elliott, surely it can be found in your launcher menu, gnome, kde or whatever you use?
19:50:13 <Vorpal> Phantom_Hoover, that game you mentioned... How realistic are the physics?
19:50:43 <Phantom_Hoover> Vorpal, the combat is a deliberate clone of the original Spacewars'.
19:50:59 <Vorpal> Phantom_Hoover, hm. I don't remember what sort of physics it has
19:52:33 <elliott> Phantom_Hoover: IT SHOULD IMITATE ASTEROIDS II INSTEAD
19:52:42 <Phantom_Hoover> Also: since when did I have only 12GB of free space on my home partition.
19:53:04 <elliott> Phantom_Hoover: BTW the Asteroids II bullets totally need to be fully-fledged objects.
19:53:10 <elliott> BULLETS BENDING DUE TO IMMENSE GRAVITY
19:53:32 <elliott> I foresee the top-ranking Asteroids II players spending whole matches in severe nested time dilation and insane gravity.
19:53:48 <elliott> Where it becomes a non-realtime strategy game :P
19:54:08 <Zwaarddijk> it would be pretty awesome to manage to have time dilation in some game
19:54:13 <Phantom_Hoover> My planned hierarchy for masses basically starts from generic massive body with inertia but not gravity.
19:54:17 <Zwaarddijk> in a way that still maintains real-time strategy stuff
19:54:25 <elliott> Zwaarddijk: That's what's planned in Asteroids II, though your camera is always outside the dilation.
19:54:36 <elliott> So you just see everything in your bubble going slowly, and move slowly.
19:54:50 <elliott> Zwaarddijk: An expected strategy is to make a time dilation bubble around your opponent, then circle around it firing bullets.
19:54:53 <Phantom_Hoover> It's kinda-sorta possible, but only assuming infinite processor speed or breakdown at edge cases.
19:55:05 <elliott> Zwaarddijk: Sure, the bullets will go slowly inside, but you can fire them at such speed that your opponent is pretty helpless.
19:55:08 <Zwaarddijk> I presume breakdown at edge cases is what you have to go for
19:55:21 <elliott> Phantom_Hoover: We can handle "dilation" (not real dilation) as a special-case.
19:55:39 <elliott> Zwaarddijk: Phantom_Hoover has a tech demo which proves that two-dimensional Newtonian works properly with gravity.
19:55:42 <Phantom_Hoover> Zwaarddijk, i.e. you can't be going at 0.99999999999999c and have a billion years of stuff happen in a second.
19:55:54 <elliott> Zwaarddijk: It is some Lisp code that prints out a bunch of tuples quickly.
19:56:01 <elliott> Zwaarddijk: (oklopol said it wouldn't work.)
19:56:11 <elliott> Phantom_Hoover: Well, yeah, it'd be fixed in Asteroids II.
19:56:25 <elliott> Once you're going slow enough that nothing will move for a year, you're pretty much done :P
19:56:31 <Phantom_Hoover> elliott, TbH, I'm not strictly speaking emulating Newtonian gravity in that sim.
19:56:41 <elliott> Phantom_Hoover: Yes, but it's two-dimensional gravity.
19:56:43 <elliott> And the rest is Newtonian.
19:56:48 <elliott> And that's close enough for a game.
19:56:59 <elliott> How did your restructure go, btw? Not even started yet? :P
19:57:05 <Zwaarddijk> I guess what really will ruin it though
19:57:17 <Zwaarddijk> is that you're going to end up having a privileged frame
19:57:25 <elliott> Zwaarddijk: Yes we are, because it's a game :)
19:57:30 <elliott> Zwaarddijk: A multiplayer game.
19:58:00 <elliott> Zwaarddijk: Anyway, the main thing is the gravity and the Newtonianness.
19:58:10 <elliott> Yes, that would be cool, but would require dilating the user and their computer.
19:58:10 <Zwaarddijk> then you'd run into greatly weird stuff
19:58:18 <elliott> SCIENCE CANNOT YET PERFORM SUCH FEATS
19:58:24 <Zwaarddijk> sure it's entirely impossible to emulate dilation?
19:58:37 <Zwaarddijk> not just dilation wrt priviliged frame
19:59:00 <elliott> i.e. everyone else gets to see what you're going to do five seconds in the future.
19:59:31 <Phantom_Hoover> <elliott> How did your restructure go, btw? Not even started yet? :P
19:59:42 <Phantom_Hoover> No, since I'd like to have a clear picture of the kinds of objects first.
20:00:03 <elliott> Phantom_Hoover: You realise OOP is sort of designed to allow extensibility after-the-fact? :P
20:00:25 <elliott> I guess you need the initial hierarchy down, though.
20:01:27 <ais523> elliott: something that might amuse you: someone in #nethack was complaining that vi didn't do vikeys properly
20:01:31 <ais523> they were trying to move diagonally
20:01:46 <elliott> hey coppro, http://i.imgur.com/m0PSa.jpg
20:02:07 <ais523> (of course, it's sort-of unsurprising that Emacs does actually have methods of moving diagonally if required, in certain modes)
20:02:26 <elliott> hmm, does ais523 play Magic the Gathering? I have no idea
20:02:35 <ais523> elliott: I used to, I don't any mroe
20:02:39 <elliott> hey ais523, http://i.imgur.com/m0PSa.jpg
20:02:42 <ais523> because they put out two bad expansions in arow
20:03:18 <elliott> apparently that card is worth over six hundred dollars :)
20:03:19 <olsner> elliott: Vorpal probably does
20:03:23 <ais523> there's something silly about a card so rare it's valuable, and so good it's banned from pretty much every tournament
20:03:27 <elliott> olsner: that would require him having friends
20:03:36 <elliott> ais523: YOU'RE MEANT TO BE IN ANGUISH OVER THE FOLDING
20:03:39 <ais523> you'd expect a card so good people aren't allowed to play with it to be not all that useful
20:03:51 <olsner> elliott: isn't there a single-player version? :)
20:03:54 <ais523> elliott: well, if it's that expensive, it must be from the limited edition alpha set
20:03:58 <olsner> or maybe you can use them as tarot cards
20:04:16 <elliott> ais523: and in beta, it seems xD
20:04:23 <elliott> http://upload.wikimedia.org/wikipedia/en/8/85/Black_lotus.jpg
20:04:33 <elliott> that description doesn't look particularly powerful, but i have no idea about mtg or anything
20:04:35 <ais523> and as those cards are a different shape from the other sets, you have to put them in deck protectors that hide the difference
20:04:58 <ais523> elliott: put it this way: Dark Ritual is so good it's banned
20:05:09 <ais523> and it has the same effect, except restricted to black, and at a cost of one black mana
20:05:51 <elliott> they should introduce a card that does Gödel's number damage to EVERYTHING YOUR OPPONENT HAS EVER
20:06:04 <elliott> then have some ridiculously implausible way to boost health past Gödel's number
20:06:11 <elliott> tada, new rung of top players
20:06:15 <elliott> note: again, i have no idea about mtg or anything
20:07:20 <Gregor> I stand steadfastly by the notion that the fact that somebody will pay $600 for something does not mean that it's worth $600 :P
20:07:39 <elliott> Gregor: it sort of does, by definition
20:07:51 <elliott> if you had a black lotus, you could sell it for six hundred dollars
20:07:55 <elliott> therefore, it's worth six hundred dollars to you
20:07:57 <elliott> therefore, it's worth six hundred dollars to everyone
20:08:17 <Gregor> But /I/ wouldn't pay $600 for it, so it's /not/ worth $600 to me.
20:08:33 <elliott> Gregor: It is, because if you had it, you could get six hundred dollars for it.
20:08:44 <elliott> Similarly, your house is worth whatever it would sell for, regardless of what you bought it for.
20:08:56 <elliott> Traded in a house for a paperclip? Irrelevant, it's still worth whatever it would sell for.
20:09:17 <olsner> does that make the paperclip expensive or the house cheap?
20:09:26 <Gregor> LACK OF INTRINSICS INFURIATES ME
20:11:28 <elliott> Gregor: BECOME A DEONTOLOGIST
20:11:34 -!- KingOfKarlsruhe has joined.
20:11:49 <Vorpal> <olsner> elliott: Vorpal probably does <-- do what?
20:12:50 <olsner> (and don't try to deny it!)
20:13:25 <Vorpal> olsner, I find card games boring, and the commercialism of the constant releases of add-ons and so on sickens me.
20:13:31 <Vorpal> trade card games in general do
20:14:02 <elliott> CARD GAMES ARE A TOOL OF THE MAN
20:14:06 <elliott> TO OPPRESS THE PROLETARIAT
20:14:11 <elliott> LET'S START A COMMUNIST CARD GAME
20:14:18 <elliott> ALL THE CARDS IN EXISTENCE ARE DIVIDED EQUALLY BETWEEN EVERY PLAYER
20:14:23 <elliott> AND EVERY CARD IS EXACTLY AS POWERFUL AS EVERY OTHER CARD
20:14:28 <Vorpal> elliott, well the issue is mostly that the game play becomes about how many cards you bought
20:14:30 <olsner> Vorpal: i.e. you find them funny although you realize they should be boring, and it sickens you that you buy all cards of every new release despite the obvious commercialism
20:14:53 <Vorpal> elliott, I mean, if they were shared between the players like an add-on to many other games it would be different
20:15:05 <Vorpal> olsner, I don't own any such cards. :P
20:15:34 <olsner> that is exactly what an owner of such cards would say
20:15:51 <Vorpal> olsner, D&D is a lot more fun.
20:16:42 <elliott> and D[and]D ISN'T commercial?
20:17:31 <Vorpal> elliott, it is. But buying more of a resource from the company doesn't give you an advantage over the other player(s)
20:17:46 <Vorpal> elliott, that is the bit that sickens me
20:18:23 <elliott> PEOPLE WILLINGLY SPENDING MONEY AND THEN WILLINGLY PLAYING A GAME???
20:18:40 <Vorpal> elliott, I have absolutely nothing against add-ons that are sold for money. There are quite a few for D&D. But they don't exhibit that property I just described.
20:19:12 <Vorpal> elliott, also you are doing a wildly inaccurate strawman atm
20:19:45 <fizzie> I think I own some MTG cards (some sort of a "starter set" thing-thing thing), but I have never actually played a game of it.
20:20:10 <elliott> omg there is a site that measures how long you listen to nyancat
20:20:16 <elliott> TOTALLY GONNA BREAK THE RECORD
20:20:34 <fizzie> (Maybe reading the Microprose's Magic: The Gathering lparchive.org epic counts, though.)
20:20:56 <Vorpal> fizzie, heh. Is there any game there is no lp on?
20:22:00 <fizzie> Vorpal: I was about to say "I haven't seen a Skyroads LP, for example", but seems that there is one in the You Tube.
20:22:28 <Vorpal> fizzie, isn't it the one that requires about perfect timing?
20:22:46 <elliott> Skyroads is that thing Ilari was rendering.
20:23:04 <fizzie> The actual game is through-playable by mortals, but the Xmas extra levels are... something else.
20:23:29 <fizzie> Quick googling says there's at least a couple of Finnish shareware games I know of that don't seem to have letsplay thingsies.
20:23:30 <Vorpal> Hey! there is non on NWN1
20:23:51 <fizzie> Vorpal: http://www.youtube.com/watch?v=BdcF5ZpCKL0 ?
20:23:56 <Vorpal> fizzie, I meant on lparchive there
20:24:07 <fizzie> Well, sure, there's quite a lot of games that aren't on lparchive.
20:24:17 <elliott> "Bluemoon's creation of SkyRoads is a polished-up remake of the game Kosmonaut. The three months spent working on it paid off when the shareware title was released in 1993, selling internationally and getting LCR distribution deals from the U.S. to Taiwan.
20:24:17 <elliott> The game's interface is an instant hit with downloaders."
20:24:25 <Vorpal> fizzie, most good ones are. I haven't seen df lp on youtube
20:24:31 <Vorpal> it would be boring anyway
20:24:42 <elliott> There's no Eversion LP on the archive.
20:24:53 <elliott> It wouldn't be nearly as hilarious as the jewtubes.
20:25:30 <fizzie> Also I did a thing; earlier I've only ever looked at Homestuck without sounds; now I went through http://mspaintadventures.wikia.com/wiki/Sound and klickeded most of the links. The flash bits were ridiculously epic before; with the music, they were positively ludicrous.
20:26:06 <elliott> Bahahaha at Homestuck without the sounds.
20:26:35 <Vorpal> is there any video lp of nethack? there are text ones on lparchive
20:27:02 <Vorpal> oh wait, one of them is videos
20:27:02 <fizzie> I don't tend to bother with sound. If I leave the headphones visible, the cat chews on the cord, and taking them out of a box is So Demanding(tm).
20:27:13 -!- boily has quit (Quit: leaving).
20:27:25 <elliott> fizzie: Compared to the time investment that Homestuck poses? :P
20:27:31 <Vorpal> fizzie, wouldn't cat chew on other wires too? Like keyboard cable or power cable?
20:27:48 <Vorpal> elliott, DOESN'T SOLVE POWER CABLE
20:28:12 <fizzie> elliott: Yeah, well... I try to sort of avoid thinking about how much time it wastes.
20:28:35 <elliott> fizzie: I have a hypothesis that it is impossible to keep up with Homestuck without having your life revolve around Homestuck.
20:28:57 <elliott> I AM DREADING THE PART AFTER I FINALLY FINISH MY ARCHIVE BINGE (i.e. keeping up with like over fifteen panels per day).
20:29:15 <fizzie> elliott: I only look at it every two months or so, and then have to stay awake to 05am or so to catch up.
20:29:43 <elliott> fizzie: I am now imagining Archive Binge adding Homestuck upon its completion.
20:30:09 <elliott> fizzie: "At one panel per day, it will take you sixteen years to read the entire archive."
20:30:18 <elliott> (Assuming an extremely conservative six-thousand final panel count.)
20:31:15 <fizzie> It's at 3700-and-something now.
20:32:11 <fizzie> That's already 10+ years for page-a-day-keeps-the-doctor... busy?
20:32:59 <elliott> fizzie: OMG I am going to raise any child I have on the diet of one Homestuck per day.
20:33:03 <elliott> By the end, e might even understand it.
20:33:20 <elliott> Starting on eir thirteen birthday.
20:33:24 <Phantom_Hoover> elliott, I am curious as to how you plan to acquire this child.
20:33:40 <elliott> THAT'S TOTALLY WORTH FORCING THEM TO STAY AT HOME AND READ IT UNTIL THEY'RE TWENTY-NINE
20:33:58 <elliott> Phantom_Hoover: DO THEY HAVE... EGG BANKS
20:34:24 <elliott> AND THEN IMPLANT IT INTO MYSELF I GUESS
20:35:37 <elliott> https://gist.github.com/925584
20:35:45 <elliott> THE BABY DOESN'T NEED A WOMB
20:35:56 <elliott> Phantom_Hoover: Wait, I could just do it the Homestuck wa y.
20:36:10 <elliott> Ol pybavat zlfrys naq fraqvat gurz onpx va gvzr. V guvax.
20:36:45 <elliott> I NEED AN EXCLAMATION MARK
20:36:56 <elliott> THANKS ACOWLEY FROM HASH HASKELL
20:37:37 <elliott> CARET-NR DOES THAT TOO ANYWAY
20:37:57 <elliott> http://koweycode.blogspot.com/2011/04/why-darcs-users-care-about-consistency.html ;; BITCH NEEDS SCAPEGOAT
20:38:44 <fungot> `1234567890-=~!@#$%^&*()_+
20:39:19 * Vorpal writes a elliott-CAPS filter
20:39:38 <elliott> Vorpal: I'LL USE FULL-WIDTH IF YOU DO THAT
20:39:58 <Vorpal> elliott, fail. I already have a conversion filter in place for that :P
20:39:59 <elliott> Phantom_Hoover: Japanese Latin alphabet stuff.
20:40:06 <elliott> Vorpal: And do they cascade?
20:40:13 <Vorpal> elliott, what do you mean?
20:40:23 <elliott> It'll filter out the full-width but will it then filter out the capitals?
20:40:44 <Vorpal> elliott, well that would be trivial to do by putting the caps filter after the full width one
20:41:08 <elliott> I could get around any filter trivially.
20:41:23 <Vorpal> elliott, depends on if you know it
20:42:49 <fizzie> Pre-apologies for a three-line spam that probably won't look correct for all/most/many/any.
20:42:50 <Vorpal> ah I had an awesome idea for an additional heuristic for it. Well, that will take a bit to implement (say, 10 minutes)
20:42:51 <fizzie> ▌▌▌ ▄ ▟▖ ▄ ▌ ▗ ▖▖▟▖ ▌▗ ▝ ▄ ▗▖ ▟▖▌ ▝ ▗▖ ▟▖▗ ▄ ▖▖▗ ▝ ▌ ▗▖▝ ▐ ▟▖▗ ▖▖▗▖▀▖
20:42:51 <fizzie> █▌▛▖▄▌▐ ▄▌▛▖▌▌▌▌▐ ▞▌▌▌▐ ▌▌▚▌ ▐ ▛▖▐ ▘▖ ▐ ▌▌ ▄▌▚▘▌▌▐ ▞▌ ▙ ▐ ▐ ▐ ▛▘▛ ▘▖▝
20:42:51 <fizzie> ▘▘▘▘▀▘ ▘ ▀▘▀ ▝ ▝▘ ▘ ▝▘▝ ▝ ▘▘▄▘ ▘▘▘▝ ▀ ▘▝ ▀▘▝ ▝ ▝ ▝▘ ▘ ▝ ▘ ▘▝▘▘ ▀ ▝
20:43:03 <elliott> fizzie: looks awesome in proportional font
20:43:18 <elliott> Vorpal: Wasting his time to make a stupid point since forever.
20:43:21 <Vorpal> fizzie, True. But if you do that too much someone is going to kick you
20:43:40 <Vorpal> hm actually this is easier.
20:43:50 <Vorpal> okay, first version in place
20:44:00 <Vorpal> elliott, it doesn't target just you, it targets everyone
20:44:13 <fizzie> tr A-Z a-z ← 0th version.
20:44:17 <elliott> _ _ _ _ _____ ___ ____ _____ _ _ _ _ _ _____ _____ _ __ __
20:44:17 <elliott> | | | | \ | | ___/ _ \| _ \_ _| | | | \ | | / \|_ _| ____| | \ \ / /
20:44:17 <elliott> | | | | \| | |_ | | | | |_) || | | | | | \| | / _ \ | | | _| | | \ V /
20:44:17 <elliott> | |_| | |\ | _|| |_| | _ < | | | |_| | |\ |/ ___ \| | | |___| |___| |
20:44:17 <elliott> \___/|_| \_|_| \___/|_| \_\|_| \___/|_| \_/_/ \_\_| |_____|_____|_|
20:44:19 <elliott> ___ _____ __ _____ _ _ _ _____ __ _____ ____ _ __
20:44:21 <elliott> |_ _|_ _| \ \ / / _ \| \ | ( )_ _| \ \ / / _ \| _ \| |/ /
20:44:23 <elliott> | | | | \ \ /\ / / | | | \| |/ | | \ \ /\ / / | | | |_) | ' /
20:44:25 <elliott> | | | | \ V V /| |_| | |\ | | | \ V V /| |_| | _ <| . \ _
20:44:27 <elliott> |___| |_| \_/\_/ \___/|_| \_| |_| \_/\_/ \___/|_| \_\_|\_(_)
20:44:53 -!- dbc has joined.
20:45:19 <Vorpal> elliott, bonus: now I cut down on the rate you can write in. Much less information possible in the same number of IRC lines now
20:46:11 <Vorpal> http://www.bay12games.com/dwarves/imgs/city_83.png
20:46:20 <elliott> If you actually just wanted to filter them out, you'd shut up and do it, but you're clearly just trying to irritate me since that's pretty much you only use ":)" after attempting to prove me wrong.
20:46:26 <Vorpal> that is a pretty realistic city plan
20:46:31 <Vorpal> (procedural of course)
20:46:37 <elliott> Soooo... you're kind of just giving me an incentive to work around it in the most annoying way possible
20:46:58 <Vorpal> elliott, you get riled up too easily
20:47:29 <elliott> I'm not riled up, but you're clearly trying to rile me up, and it's an idiotic enough attempt to make me want to flip it around.
20:47:56 <Vorpal> elliott, oh I'm not riled up :P
20:48:57 <ais523> elliott: I can read your ASCII art despite the oroportional font
20:49:05 <ais523> well, despite my proportional font
20:49:17 <ais523> it's very distorted, but not so much that the brain can't reconstruct what it must be saying
20:50:26 <elliott> VORPAL: WHY NOT CHECK YOUR /MSGS?
20:51:20 -!- Mathnerd314 has joined.
20:51:31 <Vorpal> elliott, uh, what about it?
20:51:50 <Vorpal> elliott, caps are much more annoying than caps in figlet anyway
20:52:35 <elliott> JUST A FRIENDLY HEADS-UP THAT I AM TALKING TO YOU IN /MSG, THAT'S ALL
20:53:57 <Vorpal> and now I bid you good night
21:00:25 <elliott> "...the very nature of how node works. It's event-driven, which is the reason why it's so fast."
21:00:29 <elliott> Gregor: EVENT-DRIVEN = SPEED
21:00:39 <elliott> CONTINUATIONS ARE SLOWER THAN EVENT-BASED CONTINUATION-PASSING STYLE BECAUSE THE LATTER IS MORE RAAAAAW
21:00:44 <Gregor> elliott: Best logic ever, right? :P
21:00:44 <elliott> LIKE ASSEMBLY IS FASTER THAN C
21:01:00 <elliott> Gregor: Maybe Node would be bearable if someone put a CPS transformer on top of it.
21:01:43 <elliott> The last nine lines of a typical Node application:
21:02:33 <elliott> ais523: apparently Beta cards are actually the same shape and therefore more valuable
21:02:44 <ais523> elliott: Beta cards are the same shape as modern-day ones, yes
21:02:53 <ais523> although if that makes them more valuable than Alpha, that's hilarious
21:03:02 <elliott> ais523: well, no need for a holder :D
21:03:06 <ais523> (Alpha and Beta were limited-edition versions of Unlimited)
21:03:11 <olsner> elliott: that calls for lispishly putting all the end-brace-paren-semicolons on the same line
21:03:25 <ais523> olsner: I've been doing that in OCaml recently
21:03:28 <olsner> "I can code lisp in any language!"
21:03:33 <ais523> as I've been writing major chunks of parsetrees by hand
21:03:37 <elliott> }); -- totally uglier than )
21:03:38 <ais523> and any lang looks like Lisp if you do that
21:03:41 <elliott> ais523: you do that in C :D
21:03:52 <ais523> in C it would be }}}}}} in a row
21:03:54 <elliott> also, not any language where you have to initialise the fields by hand
21:03:58 <elliott> those end up looking like assembly
21:04:10 <ais523> and indeed, dekludge.c looked like that until I ported it to OIL
21:04:54 <ais523> the asm version, that is
21:04:59 <ais523> although it was comparisons not initialisations
21:05:05 <ais523> (the generated version of it still does, in fact)
21:06:43 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.86.1 [Firefox 3.6.16/20110319135224]).
21:08:30 <elliott> "If Chaos Orb turns over completely at least once during the flip, destroy all permanents it touches."
21:08:35 <elliott> actually rip the cards apart?
21:12:14 <olsner> elliott: see http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=5712
21:12:35 <elliott> olsner: so destroy actually means destroy
21:12:43 <olsner> but I suspect "destroy" means something else than physically destroying the card
21:12:51 <elliott> well, if you tear up the card...
21:12:58 <elliott> now someone has to do it with those ones worth almost a thousand dollars
21:18:58 -!- augur has quit (Remote host closed the connection).
21:19:27 -!- augur has joined.
21:20:02 <fizzie> Some year in RopeCon there were folks that sold Magic: the Gathering cards for the express purpose of physically destroying them. I think they awarded points for imaginative ways (setting on fire, eating, that sort of stuff) of doing it.
21:22:59 <elliott> What about melting and inhaling?
21:23:50 <ais523> elliott: there's a story of someone who ripped up their own Chaos Orb, so that it would cover a wider area
21:23:50 <ais523> possibly apocryphal, though
21:23:50 <elliott> ais523: so destroy means physically destroy?
21:23:51 <elliott> Phantom_Hoover: An MTG card that involves physically throwing it up in the air and destroying the cards it lands on.
21:23:51 <ais523> it's just the MTG equivalent of an OHKO
21:23:51 <elliott> ais523: Well, http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=5712 involves destroying the card in that way.
21:23:51 <elliott> Probably it was based on that story given that flavour text.
21:24:32 <ais523> but it's in an Un-set, you could expect it to have silly rules
21:32:11 -!- ais523 has quit (Read error: Connection reset by peer).
21:34:01 <Phantom_Hoover> THINGS THAT ANNOY ME: people who are annoyed that Oscar Pistorius wasn't allowed into the Olympics.
21:45:22 -!- Hyper-Core has joined.
21:47:33 <Phantom_Hoover> I have just played a game of Minesweeper that convinced me God exists.
21:47:53 <Phantom_Hoover> I made, like, 4 1-in-2 random choices in succession, and they all worked.
21:50:40 <olsner> yes, obviously the work of God
21:52:57 <Phantom_Hoover> Capriciously helping me in Minesweeper is an infinitesimal application of his powers.
21:57:00 <elliott> mathematical puzal: how many spheres can you pack into a sphere
21:57:07 <elliott> <Phantom_Hoover> Is Homestuck worth watching at all.
21:57:17 <elliott> And yes, abso-fucking-lutely.
21:57:25 <elliott> Maybe it becomes shit after the most-of-it that I read.
21:57:31 <elliott> But seriously, it is hilarious.
21:59:46 <elliott> Phantom_Hoover: Oscar Pistorius should enter the Translympics
21:59:53 <elliott> which are like the Paralympics, but for transhumanists
22:04:06 -!- augur has quit (Remote host closed the connection).
22:04:44 <Gregor> <elliott> The last nine lines of a typical Node application: // REMIND YOU OF ANY OTHER LANGUAGES??? <trollface/>
22:05:02 <elliott> Gregor: At least with Lisp there wouldn't be one per line :)
22:05:27 <elliott> Gregor: But yes, it was a deliberate riff on the "leaked Lisp application" joke.
22:08:41 -!- Mathnerd314 has quit (Ping timeout: 246 seconds).
22:09:35 -!- augur has joined.
22:09:55 -!- Hyper-Core has left.
22:17:49 <elliott> "interesting - so I'd be comparing an old text file with a new one? what are the real world applications?"
22:25:34 <Sgeo_> elliott, seriously? Who asked that?
22:26:35 <Phantom_Hoover> ELLIOTT HAVEN'T YOU LEARNT ALWAYS TO KEEP TABS ON THESE PEOPLE BY NOW
22:26:39 <elliott> Also, Phantom_Hoover, HOMESTUCK
22:26:45 <Phantom_Hoover> OTHERWISE YOU'LL ACCIDENTALLY END UP TALKING TO THEM AGAIN
22:29:17 <Sgeo_> I should probably text her
22:29:32 <elliott> No you shouldn't, history suggests she's almost certainly a complete moron.
22:30:40 <Phantom_Hoover> Sgeo_, this may surprise you, but there are some women in the world who are not abject idiots.
22:30:50 <Phantom_Hoover> You may benefit from focusing your attentions on them.
22:31:33 -!- MigoMipo has quit (Read error: Connection reset by peer).
22:33:59 <Sgeo_> I have no idea if what she just texted me back with requires a response or not
22:34:22 <Sgeo_> It's... hard to parse
22:34:39 <elliott> Perhaps because she is stupid and therefore cannot compose English sentences.
22:34:52 <Sgeo_> "Hey u like me call u when i gt home" I have no idea if she's asking if she should call me, or telling me that she'll call
22:35:13 <elliott> You are not to converse with that female.
22:36:58 <monqy> I can't parse it either :(
22:36:59 <Phantom_Hoover> "I would have expected that after 2_ years, anyone living in an English-dominated environment to the extent of at least creating cogent and clear sentences. Whilst some leeway is to be given due to the vicissitudes of text messaging, there is no excuse for what you have done. Please cease all communications with me forthwith."
22:37:42 <Phantom_Hoover> I HAVE VERY LIMITED LOOKBACK OK SENTENCES DRIFT WHILE I COMPOSE THEM
22:37:57 <monqy> concise response: "what"
22:38:13 <elliott> better: "English, motherfucker. DO YOU SPEAK IT?"
22:38:34 <elliott> Phantom_Hoover: Spoiler: She's actually 9 years old.
22:39:27 <Phantom_Hoover> elliott, yes, the immediate followup would be "In case you failed to understand the last message: English, motherfucker. DO YOU SPEAK IT?"
22:39:48 <elliott> Say what again, motherfucker, I dare youX
22:40:18 <elliott> "OK no country I ever heard of. They speak English in OK?"
22:52:55 <Gregor> CORRECT RESPONSE: Yes, they speak English in Oklahoma <trollface/>
22:53:07 -!- Zuu has quit (Read error: Connection reset by peer).
22:56:36 <Phantom_Hoover> Sgeo_, I am sorry you are not making this very fun for us.
22:57:18 -!- Zuu has joined.
22:57:59 -!- pizearke has quit (Read error: Operation timed out).
22:59:22 -!- pizearke has joined.
23:02:35 <Sgeo_> I didn't text her back
23:02:52 -!- cheater- has joined.
23:05:24 -!- cheater00 has quit (Ping timeout: 246 seconds).
23:06:07 <monqy> my response was pretty good too
23:08:30 -!- sftp has quit (Remote host closed the connection).
23:08:32 <Phantom_Hoover> Yes, for it was like something very small but very good which I can't think of a simile for because I exhausted all my literary skills on that response.
23:15:38 <Ilari> Where the heck do those researcers pull those "A or B therefore A" fallacies?
23:19:42 <Ilari> Well, bad researchers all over the place.
23:20:48 <Sgeo_> A or B, not B, therefore A should work
23:21:45 <Ilari> Yes, that would work. Except that requires the "not B" bit.
23:22:06 <Phantom_Hoover> Ilari, can you actually give examples of them doing that, though?
23:22:28 -!- BeholdMyGlory has quit (Remote host closed the connection).
23:23:11 <Ilari> http://hal.archives-ouvertes.fr/docs/00/28/38/77/XHTML/index.xhtml ... For example this.
23:24:46 <Ilari> And the obvious suggested experiment: Feed rats some salted food and see what that does to proneness to colon cancer.
23:25:21 <Phantom_Hoover> Have they actually assumed that A \/ B → A, or have you seen a second explanation B that they haven't?
23:29:37 <Ilari> Well, there is more blatant stuff like this (generally being "let's change N things. Ah, the diffrences are because of this (because we think it/other factors is/are good/bad).").
23:31:49 <Phantom_Hoover> Erm, that's kind of the principle behind a controlled study.
23:32:29 <elliott> Phantom_Hoover: Isn't the principle behind those changing _one_ thing?
23:32:58 <Phantom_Hoover> elliott, I was assuming Ilari took "this" to mean "N things".
23:38:32 -!- FireFly has quit (Quit: swatted to death).
23:40:19 -!- wareya has quit (Read error: Connection reset by peer).
23:41:05 -!- wareya has joined.
23:47:38 <Phantom_Hoover> BEST PART: all the data on your disk is effectively in a Schrodinger's cat scenario.
23:47:55 -!- tswett has quit (Remote host closed the connection).
23:49:29 <Sgeo_> Old iPods used magnetic media?
23:50:08 <Phantom_Hoover> Sgeo_, flash memory was pathetic back then, wasn't it?
23:50:26 <Phantom_Hoover> (I remember a when a 128MB flash drive had large capacity.)
23:51:47 <elliott> I think I have a magnetic iPod.
23:59:02 -!- tswett has joined.