00:03:44 elliott, what epoll? 00:04:27 Vorpal: for servers 00:05:12 elliott, well it depends on what sort of server 00:05:22 Vorpal: httpd in this case :P 00:05:24 elliott, it wouldn't work for IRC. Then you would need IPC 00:05:30 Vorpal: yeah, indeed 00:05:46 Vorpal: I just saw some pointless mini-httpd benchmarks and it was amazing what did well 00:05:53 Vorpal: for instance, the top performer was using select() 00:05:55 for portability 00:05:58 (this on linux) 00:06:04 Vorpal: and there was another top one that forked, iirc 00:06:10 worth a try right? :P 00:06:48 -!- poiuy_qwert has quit (Ping timeout: 255 seconds). 00:07:07 Vorpal: ignoring Connection: close -- what could possibly go wrong? (parsing headers is hard!) 00:08:11 elliott, err 00:08:15 elliott, why is it hard? 00:08:25 and why would you ignore that one? 00:08:39 Vorpal: TAKES TIME (and because it's MORE FASTER if i keep the connection open forever) 00:08:44 note: header parsing is on the todo :P 00:08:56 -!- poiuy_qwert has joined. 00:08:57 elliott, like, finding out what file to get? ;P 00:09:01 yep 00:09:04 constant right now 00:09:05 for SPEED 00:09:08 :P 00:09:24 elliott, good for "sorry main server broken" but that is all 00:09:44 OR FOR SERVING ONE FILE A LOT 00:09:51 i don't even read() 00:10:04 elliott@dinky:~/Code/httpd$ nc localhost 8080 00:10:06 elliott@dinky:~/Code/httpd$ 00:10:06 hmm. 00:10:12 oh 00:10:13 lawl 00:11:00 Vorpal: ITW ORKS 00:11:01 *IT WORKS 00:11:40 well duh since you are not parsing anything it is easy :P 00:12:30 Vorpal: http://91.105.107.242:8081/ 00:12:31 Vorpal: TELL ME HOW FAST IT IS 00:13:25 Vorpal: just realised you could implement cat with sendfile X-D 00:13:51 elliott: That server seems to not care about the request, and always sends headers and a HTML file. 00:14:00 zzo38: Quickly, though! 00:14:19 elliott, a few seconds to load 00:14:31 Vorpal: to be fair, this is a dsl connection in the uk :P 00:14:40 elliott: Only if you don't mind being able to cat only mmapable files into sockets, at least on Linux. 00:14:42 elliott: It is sufficiently fast 00:14:45 elliott, indeed. Which will dominate for all servers 00:14:57 fizzie: Well, true. 00:16:09 There is the slightly more general splice(2) mechanism, but even that requires at least one pipe, since it's basically just pipe buffer management. 00:16:10 what about splice? 00:16:18 It ought to read the request at least to determine whether or not to send headers (or if it should send only headers). And it isn't very useful if there is only one file on there, anyways. 00:16:18 fizzie, aargh you beat me to it by one second 00:17:02 zzo38: What if the file was the best file of all files? 00:17:39 elliott: It doesn't matter; there still needs multiple files. 00:17:46 elliott, note: zzo doesn't work that way. 00:18:27 Vorpal: ..."work that way"? xD 00:18:50 elliott, indeed. You will have to figure it out 00:19:02 He doesn't run on batteries. 00:19:31 -!- FireFly has quit (Quit: swatted to death). 00:19:44 Solaris 10 sendfile(2) can copy a source "regular file" into a destination that can be either "regular file" or af_inet/af_inet6 sock_stream socket. So you can do cp(1) with sendfile. 00:19:50 elliott, an astute and accurate observation. 00:19:58 fizzie, hah 00:21:16 -!- augur has quit (Remote host closed the connection). 00:21:58 Solaris sendfile also can send a buffer instead of a file by using SFV_FD_SELF as the source fd. It's not very clear to me how that's an improvement over just write()ing the buffer. 00:22:30 Aww, http://localhost:8081/ is frozen on one page. 00:23:10 elliott, read a thread about someone explaining a (now fixed) griefing method on the minecraft forums. Using big O notation to explain why it was a problem (O(n) placing, O(n²) cleanup). This comment was really sad: "anyway 0(n) always equals 0 because 0 x (n) is like 0 times 1 or 0 times a centilion its still 0 your math makes no sense" 00:23:34 someone missed 0 != O 00:23:36 Vorpal: I would pulverise their skull. 00:23:44 elliott, who? 00:23:49 Vorpal: Whoever wrote that. 00:23:51 If you need simplicity and somehow you need to send only one file (I am unsure why), you do not need to use HTTP at all, you can use the gopher protocol, and assuming it is a binary file and that the server does not wait for the selector string, it will be easy to download: nc x.example.org 70 > the_file 00:24:05 elliott, indeed. I don't think they took university math though 00:24:20 elliott, probably US education or Swedish education 00:24:23 So, no special software is needed; just netcat is good enough to download this file. 00:24:24 both are shit :P 00:24:28 Vorpal: It is one thing to be ignorant; it is another entirely to assume that you are more knowledgeable. 00:24:36 elliott, indeed. 00:24:39 zzo38: i didn't write netcat though. 00:24:44 zzo38: you should write your own nethack 00:24:48 erm 00:24:50 zzo38: you should write your own netcat 00:24:55 elliott: You should be able to write a simple netcat program if needed 00:25:04 int i = rand() % 4; 00:25:09 And perhaps I can also write a netcat program if needed, too 00:25:12 now why is this seemingly always 3... 00:27:16 Ha, my server is beyond broken now. 00:35:07 I would pulverise their skull. <--- I approve 00:35:17 Vorpal: link me? 00:37:15 Gregor: did you get an explanation for the slow disk performance, out of curiosity? 00:37:38 Just that the other users on my system were overutilizing. 00:38:42 bad users 00:40:04 I <3 /r/tipofmytongue 00:40:05 http://www.reddit.com/r/tipofmytongue/comments/e5z1f/tomt_series_of_books_about_kids_on_an_island/ 00:40:47 elliott, http://www.minecraftforum.net/viewtopic.php?f=35&t=15497 <-- but it won't work any more 00:41:03 Vorpal: i just meant for stupid :) 00:41:05 elliott, somewhere in that thread 00:41:08 not sure where 00:41:13 page 2 or 3 or such 00:41:28 elliott, grep for the string I copied 00:41:30 "Noahic deluge" :D 00:41:47 where's the O() :P 00:41:56 "Thanks for posting this and teaching future griefers how to do it. =/" itt: full disclosure 00:46:45 http://2dcraft.net/ lawl 00:46:52 " -- 1.6GHz CPU (Anything more than one core makes no difference) 00:46:53 -- DirectX 9 capable graphics card. With (at least) Pixel Shader 1." 00:46:55 it's 2d you moron 00:47:00 you don't need directx 9 00:48:38 Vorpal: got to the post gave up on life 00:51:41 elliott, hah 00:52:06 Vorpal: those forums are 99% noise. 00:52:46 elliott, indeed. The first few posts are the only stuff worth reading on most threads 00:53:00 Vorpal: needs moar mailing list :) 00:53:05 reminder to self: rewriting systems. 00:53:07 ^ 00:53:08 | 00:53:08 | 00:53:12 i am going up to the topic bar 00:53:13 toodles 00:53:14 -!- elliott has quit (Quit: Leaving). 00:53:20 elliott, and well, the redstone logic threads, and massive minecart/redstone-logic transportation networks are saner 00:53:22 damn he left 00:53:31 Bruce Coville owns my childhood. 00:58:41 -!- augur has joined. 01:02:49 -!- zzo38 has quit (Quit: zzo38). 01:03:57 -!- sftp has quit (Remote host closed the connection). 01:07:04 Why must it be cold? 01:07:23 Because you never read Bruce Coville 01:07:44 Sorry, just found out that he authored many of the books I read as a kid 01:13:45 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 01:16:08 -!- poiuy_qwert has joined. 01:19:38 Hmm... The recent major adjustment in IPv4 depletion timing bought the two major models much closer together... 01:20:44 Like, about seven week diffrence was brought down to about three weeks... 01:21:55 Estimating X-day is basically estimating when RIPE and APNIC grab their next block... 01:22:21 Pick the later of the two estimates, and that is the X-day estimate. 01:22:41 How many blocks are left? 01:22:50 Are you saying there are only 2 blocks? 01:22:53 6+5. 01:23:39 ARIN is going to grab soon. It is RIPE and APNIC that are going to grab the last 4 blocks. But question is, when the latter of those grabs happens? 01:24:57 Of course, large surprise allocations could skew it... 01:34:15 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 01:34:38 Basically, what that AFRINIC allocation did is to transfer the uncertainity from AFRINIC (which doesn't seem to be handled too well by the models) into well-handled APNIC and RIPE. 01:36:04 -!- poiuy_qwert has joined. 01:39:50 Actually, one large suprise allocation probably wouldn't skew it too much, because there is need for two RIRs to allocate after ARIN. Even RIPE taking surprise allocation moving its date a lot would only move the estimate by about 2 weeks (because APNIC would have to allocate). 01:40:43 Barring major surprises, the end-game is clear: ARIN, APNIC and RIPE will each allocate 2 blocks and last of those three will exhaust the pool. 01:49:00 Basically, the only thing that can move X day a lot is "run on the bank" scenario. 01:49:47 Or both APNIC and RIPE taking huge allocations. 01:54:15 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 01:54:48 So, on X-Day 01:54:51 What happens? 01:55:10 Do we finally start seeing IPv6 adaption? 01:55:58 -!- poiuy_qwert has joined. 02:07:27 Nobody really knows... On the worst case, panic allocations start... 02:09:56 Sgeo: I expect IPv6 adoption to only really start on RIR pool depletion, as people finally realise that they *actually need to do it*. 02:18:47 These are two seperate things... IPv4 pool depletion and IPv6 adaption... 02:23:29 And IPv6 adoption will be mandatory in a bit over a year's time, it looks like. 04:00:33 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 04:04:22 -!- Decarabia has quit (Ping timeout: 240 seconds). 04:13:19 -!- Decarabia has joined. 04:25:57 elliot: So, you said that Echoes was the only good part of Meddle... How convenient that that's half the album. 04:26:12 (the album is 46 minutes, Echoes is 23 minutes) 04:58:49 And too bad the IPv6 "last mile" stuff looks real mess... 04:59:52 By which I presume you mean "Dear God, Comcast is the *only* US ISP even trying." 05:00:43 -!- poiuy_qwert has joined. 05:00:47 Isn't there some french ISP that has IPv6 in *production* use. 05:01:08 (not testing like Comcast). 05:02:25 NTT (in Japan) has offered IPv6 at home since *2000*. 05:28:28 -!- Sgeo has quit (Read error: Connection reset by peer). 05:28:43 -!- Diarrhea has joined. 05:32:05 -!- Diarrhea has quit. 05:34:27 not sure if any isp in nz actually supplies it 05:34:34 we get ours through a tunnel broker 05:39:08 -!- oklopol has quit (Ping timeout: 240 seconds). 05:39:30 -!- fizzie has quit (Ping timeout: 260 seconds). 05:39:33 -!- fungot has quit (Ping timeout: 245 seconds). 05:40:05 -!- jcp has quit (Ping timeout: 260 seconds). 05:40:16 -!- aloril has quit (Ping timeout: 265 seconds). 05:40:23 -!- Wamanuz4 has joined. 05:40:27 -!- Wamanuz3 has quit (Ping timeout: 276 seconds). 05:41:53 -!- fizzie has joined. 05:44:46 -!- oklopol has joined. 05:47:34 -!- jcp has joined. 05:52:06 -!- aloril has joined. 05:56:32 -!- Mathnerd314 has quit (Quit: ChatZilla 0.9.86-rdmsoft [XULRunner 1.9.2.12/20101026210630]). 06:12:11 -!- Wamanuz5 has joined. 06:13:36 -!- Wamanuz4 has quit (Ping timeout: 276 seconds). 06:25:21 -!- JoeyA has joined. 06:29:46 Just wondering, has anyone formulated a syntax for closures in LOLCODE? 06:30:24 -!- cal153 has joined. 06:32:07 I'm thinking GIMMEH A FOR TO 06:33:23 nvm...bed 06:33:25 -!- JoeyA has quit (Quit: Leaving). 06:33:28 -!- wareya has quit (Read error: Connection reset by peer). 06:34:17 -!- wareya has joined. 06:53:01 -!- kar8nga has joined. 07:05:52 -!- MigoMipo has joined. 07:20:43 -!- MigoMipo has quit (Quit: Quit). 07:24:38 -!- FireFly has joined. 07:24:39 -!- FireFly has quit (Changing host). 07:24:39 -!- FireFly has joined. 07:45:01 Hah... xine SIGSEGVs if you unlink file that is on the playlist and then attempt to to play it. 07:45:42 -!- kar8nga has quit (Remote host closed the connection). 07:46:27 Ah, now it just threw an error dialog. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:14:16 -!- FireFly has quit (Quit: swatted to death). 09:54:59 -!- ais523 has joined. 10:07:30 -!- Slereah has quit (Ping timeout: 250 seconds). 10:14:25 -!- Slereah has joined. 10:42:54 -!- ais523 has quit (Remote host closed the connection). 10:53:26 -!- gm|lap has quit (Quit: ilua). 11:07:04 Heh... I tried guessing the amount of energy in McDonalds Quater Pounder. I guessed 600kcal, reality is 535kcal (not that calories count). Now, what's the amount of calories in most calorie-loaded product Starbucks sells? :-) 11:09:16 Fun fact: People can quite accurately estimate the number of calories in fast food. But ask them to estimate number of calories in food sold by "more upscale" places, and the estimates will be _WAY_ low. 11:24:39 -!- ais523 has joined. 11:28:12 Crowdsourcing cancels out random errors, but it does not cancel out systematic bias. 11:32:47 Then you just need a better crowd. 11:35:10 And there's also the case where true answer lies in the extreme. Then the errors can't cancel out. 11:35:54 (that is, one can't guess any higher/lower than the true answer because such answer wouldn't make any sense). 11:50:08 -!- wareya has quit (Read error: Connection reset by peer). 11:50:45 -!- wareya has joined. 11:55:31 -!- Sasha has quit (Read error: Connection reset by peer). 12:52:23 -!- augur has quit (Remote host closed the connection). 13:38:27 -!- augur has joined. 13:52:40 -!- ais523_ has joined. 14:01:51 -!- augur has quit (Remote host closed the connection). 14:06:30 -!- FireFly has joined. 14:44:29 -!- augur has joined. 15:05:19 -!- sftp has joined. 15:12:59 -!- MigoMipo has joined. 15:20:05 -!- Sgeo has joined. 15:21:52 Ilari: Most calories in their most calorie-loaded? Well, their drinks are huge. I'm going with ~700 kcal (or ~29200 kJ). 15:22:47 Erm. 15:22:52 (2920 kJ) 15:28:11 -!- augur has quit (Remote host closed the connection). 15:29:45 -!- augur has joined. 15:31:53 pikhq: Venti Iced Double Chocolaty Chip Frappuccino with whipped cream: 800 kcal. (Note: based on a very heuristic search for calories, not an exhaustive browsing of the menu.) 15:33:19 Wow, I was only a hundred short. 15:33:22 And damn. 15:33:27 Just damn. 15:35:23 Granted, "Venti Iced" *is* 24 oz (or apparently 0.7 litres). 15:38:36 Yeah, the venti is gigantic. 15:39:45 And people reguarly obtain it. 15:41:51 And it's not even that good of coffee. 15:50:26 hm? which company? 15:51:00 Starbucks. 15:51:12 ah 15:51:22 Gigantic things of shitty coffee. 15:56:34 * ais523_ thinks the existence of http://www.amazon.com/review/R403HR4VL71K8/ref=cm_cr_rdp_perm is hilarious; Peter Norvig wrote a review of SICP on Amazon 16:00:19 ais523_, hm the review is good and sensible as far as I can tell. So that means you probably think it is hilarious due to who wrote it. 16:01:51 -!- augur has quit (Ping timeout: 255 seconds). 16:05:26 -!- Phantom_Hoover has joined. 16:07:19 Vorpal: actually, I think it's the location that's hilarious 16:07:19 So, I got kicked out of maths today for disagreeing with the teacher over whether 0 \in N. 16:07:23 in addition to who wrote it 16:07:36 Phantom_Hoover: never use N the set, use restrictions of Z instead 16:07:42 mathematicians don't generally agree on how to define N 16:07:44 ais523_, hm okay 16:08:06 ais523_, as I discovered to my cost. 16:09:41 -!- augur has joined. 16:30:59 -!- BeholdMyGlory has joined. 16:31:07 -!- sftp has quit (Remote host closed the connection). 16:31:35 -!- sftp has joined. 16:43:57 Tried to help someone with their regex issues 16:44:00 Couldn't figure it out 16:44:10 Turns out that they actually typed a newline into their string 16:44:14 It wasn't wordwrap 16:47:55 -!- elliott has joined. 16:49:06 Disease sucks. We should wipe out all other life-forms so that I can live without microbial diseases. 16:49:43 What about KITTENS? 16:50:26 konekotatikàarukamosirann… 16:52:51 Dammit, I don't have Japanese Friend available! 16:53:05 Wouldn't help you anyways. 16:53:15 But, "There's probably kittens". 16:53:31 (子猫たちがあるかもしらん) 16:54:29 pikhq: i'm up for wiping out non-sentient lifeforms if we can make it beneficial :P 16:55:25 But the KITTENS 16:55:32 20:25:57 elliot: So, you said that Echoes was the only good part of Meddle... How convenient that that's half the album. 16:55:32 20:26:12 (the album is 46 minutes, Echoes is 23 minutes) 16:55:37 pikhq: Indeed! In fact it's one side. 16:55:51 pikhq: So you could buy it and fashion the other side into a sculpture or something. 16:56:06 21:00:47 Isn't there some french ISP that has IPv6 in *production* use. 16:56:06 21:01:08 (not testing like Comcast). 16:56:11 Ilari: Bogons.net offer it in the UK. 16:56:19 22:29:46 Just wondering, has anyone formulated a syntax for closures in LOLCODE? 16:56:22 DIE DIE DIE 16:56:28 alt.language.lolcode.die.die.die 16:57:09 07:56:34 * ais523_ thinks the existence of http://www.amazon.com/review/R403HR4VL71K8/ref=cm_cr_rdp_perm is hilarious; Peter Norvig wrote a review of SICP on Amazon 16:57:13 ais523: but has he read his SICP today? 16:57:24 elliott: I doubt he needs to, I suspect he's already completed the whole thing 16:57:36 ais523_: (meme) 16:57:36 08:07:36 Phantom_Hoover: never use N the set, use restrictions of Z instead 16:57:36 08:07:42 mathematicians don't generally agree on how to define N 16:57:41 the review itself is sane, I'm just amused at the person/book/location combo 16:57:44 ais523_: strongly disagree, N is universally agreed to include 0 16:57:46 pretty much 16:57:49 and I'm aware it's a meme, I just don't see how it's a relevant one 16:57:51 unless mathematicians are much less sane than i thought 16:57:54 sounds like FUD to me 16:57:59 elliott, not according to Mathworld or WP/ 16:58:10 elliott: it's far from universal, it's been around 50-50 for the mathematicians I've seen 16:58:21 (I myself refuse to use it due to ambiguity, unless either definition would work fine) 16:58:21 ais523_: wrt SICP: It's a /prog/ meme, they don't have to be relevant, you just pattern-match on the word 16:58:27 Doesn't Peano start with zero? 16:58:27 I don't actually know what the teacher said in response, since she kicked me out of the lesson. 16:58:40 Sgeo, yes, but it doesn't actually define what 0 is. 16:58:43 Phantom_Hoover: what, before saying something in response? 16:58:53 normally, you get told why you're being thrown out before you're thrown out 16:58:55 How odd at Wikipedia's intro. 16:59:07 btw, which way round did you have it, which way round did the teacher have it? 16:59:12 ais523_, well, I had just been told to shut up. 16:59:21 Phantom_Hoover: EDUCATION! 16:59:24 ais523_: anyway, with zero is the obvious way to do it 16:59:33 And I was firmly in favour of 0 being in N. 16:59:35 ais523_: e.g. for the 0 = {}, S(x) = x union {x} definition 16:59:39 ais523_: and Peano numbers 16:59:48 ais523_: I don't know of any nice construction that starts with 16:59:50 ais523_: I don't know of any nice construction that starts with 1 17:00:17 If you exclude 0, division is eas.. no it's not 17:00:19 elliott: fundamental theorem of arithmetic gets screwed up by 0 (although it has to special-case 1 too) 17:00:39 ais523_: i quote your parenthesis in response 17:00:42 *ais523_: i quote your parenthesised statement in response 17:00:51 ais523_: although, someone arguing that 1 isn't in N would be great 17:01:45 Can you actually *define* multiplication without 1? 17:01:57 Phantom_Hoover: sure, just special case *2 17:02:00 x*2 = x+x 17:02:03 x*(y+1) = x + x*y 17:02:21 ais523_: ha, according to a comment on Norvig's review of SICP, The God Delusion is *less controversial* than SICP for ratings 17:02:23 elliott: that involves 1 17:02:34 ais523_: well, I was going to write S(y) 17:02:36 you mean x*2 = x+x, x*3 = x+x+x, x*(y+2) = x + x + x*y 17:02:39 but then realised it might not be successor-based 17:02:40 right, that 17:02:43 elliott: heh 17:02:52 "None of the major unix vendors (including Apple) have donated a dime to the makers of their ssh tool (they are called out in the last paragraph)" 17:02:59 It's open source software, guys. 17:03:14 people who license their software under BSD, then complain when people use it commercially without compensation 17:03:18 You use the BSD because you want shit like that to happen. Your project is one of the most vitrolic BSD advocates. 17:03:25 So shut the fuck up. 17:03:38 ais523_: "In the 10 years since the inception of the OpenSSH project, these companies have contributed not even a dime of thanks in support of the OpenSSH project (despite numerous requests)." 17:03:52 ais523_: I wonder what a Theo de Raadt donation request looks like. 17:04:01 "Give me some fucking money or I'll shut down the CVS repository again?" 17:04:10 hmm, I seem to remember Theo de Raadt has a famous personality, but I can't remember what it is 17:04:10 (incidentally: great argument for distributed version control, the fact that he's done that twice after having a fit) 17:04:19 ais523_: "major asshole" 17:04:35 hmm, fair enough 17:04:40 On the one hand, that's kinda sad — OpenSSH is good work, and they could do with some cash for it. On the other hand: them's the breaks, Theo. Sometimes, you'll do a bunch of hard work and only have the satisfaction of knowing that it's good work. 17:04:43 ais523_: he flames almost everyone, has regular hissy fits, and has shut down the entire CVS repository (!) twice, in 2002 and 2010, just because he wasn't happy with how the developers were being. 17:05:04 ais523_: there's a reason the NetBSD guys fired him :) 17:05:15 apparently (with the usual Reddit-related meaning of "apparently"), he insisted donations were made to him personally rather than the BSD projects as a whole 17:05:17 So, we've got slightly asshole companies and a complete whiny bastard developer. 17:05:18 even Torvalds thinks he's a pain 17:05:27 ais523_: heh, I even *predicted* that a few lines ago 17:05:35 ais523_: I wonder what a Theo de Raadt donation request looks like. 17:05:35 "Give me some fucking money or I'll shut down the CVS repository again?" 17:05:39 *again"? 17:05:47 hmm, is Linux GPLv2+, or GPLv2=? I can't remember 17:05:53 ais523_: GPLv2 only. 17:05:59 hmm, makes sense 17:06:00 ais523: GPLv2= with some GPLv2+ parts. 17:06:17 ais523_: I think GPLvN+ is *always* a mistake. 17:06:27 Unless you really honestly trust the FSF to *never* screw up the GPL, ever. 17:06:30 With a GPLv3 migration *possible* if Torvalds sees an actual benefit in doing so. 17:06:41 pikhq: linus has been pretty opposed to it 17:06:44 elliott: they've been pretty good at sticking to their own ideals so far 17:06:49 pikhq: also, there are so many copyright holders that that would be almost impossible 17:06:58 and I trust them to do that, when I select the GPL as a license 17:07:02 elliott: Yes, but he's not unilaterally opposed to it — if it needed to happen, he'd make it happen. 17:07:05 proxied-GPLv3+ seems to make sense, anyway 17:07:11 ais523_: I will never understand GPL users. :) 17:07:16 pikhq: Very relevant: http://geekz.co.uk/lovesraymond/archive/sandals-not-flip-flops 17:07:20 (IIRC, it's the license Vorpal uses for his own projects) 17:07:23 elliott: And, yeah, doing so would probably involve *gigantic* labor. 17:07:51 "My guess is that TiVo don’t actually do any DRM in the Linux kernel and that it’s all done in their proprietary user-space software. So, assuming they don’t use any GPL3 licensed code in that, the anti-DRM measures shouldn’t affect them." 17:07:52 Massive license auditing and rewriting everything without the ability to relicense. 17:08:03 this is the kind of thing Gregor argues with me about :) 17:08:14 elliott: I've thought about licensing things under AGPL to make it simultaneously a) open-source, and b) incompatible with everything 17:08:29 TiVo signs the kernel; the anti-DRM measures would effect them. 17:08:42 ais523_: AGPL isn't considered OSS by the opensource.org folks. 17:08:50 ais523_: AGPL is the absolutely correct direction for the GPL position. That's why I dislike it. 17:08:55 Gregor: hmm, I suppose not 17:09:21 Gregor: you are a liar 17:09:23 Gregor: [[The Open Source Initiative approved the GNU AGPLv3[3] as an open source license in March 2008 after Funambol submitted it for consideration.]] 17:09:29 (or just didn't do any research) 17:09:37 ais523: ^ 17:09:44 elliott: picking a license is often pretty tricky, although I don't have objections to crazily-copyleft licenses like some people do 17:09:46 http://opensource.org/licenses/agpl-v3.html 17:09:47 elliott: Whaaaaaaaaaaaaaaaaaaaaa I could've SWORN they explicitly said no at some point. 17:09:47 elliott: thanks for the correction 17:10:02 Gregor: Haven't we already established your memory is beyond useless? :P 17:10:02 What's the AGPL? 17:10:20 Phantom_Hoover: GPL, plus a clause that you must disclose the source to anyone you allow to interact with the program via a network connection 17:10:24 elliott: Yes, but it's all I've got ;) 17:10:26 Phantom_Hoover: "GPL, except if you make the software's function available over a network service -- e.g., imagine running an AGPL-licensed reddit clone -- you must offer the source" 17:10:33 Gregor: you have google 17:10:35 :P 17:10:38 infinite memory and knowledge 17:10:40 Phantom_Hoover: Affero General Public License. GPL plus a clause that you must disclose the source to anyone accessing it over the network. 17:10:41 elliott: What's Google? 17:10:48 Gregor: It's this thing. 17:10:52 elliott, so... it would't even be possible to use Linux with it? 17:11:03 Phantom_Hoover: ??? 17:11:03 Phantom_Hoover: I too would give you a description, because you haven't gotten enough, but blah blah blah. 17:11:05 At least, with binary-only drivers on the server. 17:11:07 Phantom_Hoover: Trying to explain better: 17:11:18 Phantom_Hoover: Say some reddit clone software was licensed under the AGPL. 17:11:24 Phantom_Hoover: I think that would count as the OS rather than the application itself 17:11:26 Since the function of a driver is arguably exposed to the network. 17:11:27 Phantom_Hoover: You modify it to your delirious, insane wishes and start a website with it. 17:11:39 Phantom_Hoover: You MUST offer your modifications as AGPL, unlike with the GPL. 17:11:57 Oh, hyperinfectious. 17:12:06 * Gregor stabs anyone who calls *GPL "infectious" 17:12:12 proxied-GPLv3+ seems to make sense, anyway (IIRC, it's the license Vorpal uses for his own projects) <-- only some of them. 17:12:15 If you don't like the license, DON'T USE IT, nobody's forcing you to. 17:12:28 elliott: here's an interesting anecdote: DCSS recently wanted to change its license from GPLv1 with one word changed, to a saner license (GPLv2+) 17:12:31 ais523_, mostly due to lack of standard wording for the boilerplate 17:12:35 so they emailed every contributor asking if they agreed to the change 17:12:44 and I relicensed my contribution as public domain (as it was only two lines) 17:12:52 ais523_, and then? 17:12:57 The AGPLv3 is less crazy than the AGPLv1, at least. 17:13:00 the and then hasn't happened yet 17:13:00 ais523_: hmm, I'd have asked you to explicitly license it 17:13:08 ais523_, ah, no punchline then 17:13:13 ais523_: due to the uncertainty of public domain 17:13:31 elliott: actually, I did an "I release this code to the public domain, or if this is not legally possible, to the GPLv2+" with more legalesey language 17:13:33 ais523: also, gah, I keep reading DCSS as DeCSS 17:13:51 -!- Sgeo has quit (Ping timeout: 255 seconds). 17:13:53 I thought it was a fun subversion on the usual public domain legality safeguard 17:14:14 elliott: BTW, if the FSF did crazy shit with the GPL, there would be some astounding lawsuits. The contract given with each and every copyright assignment requires them to make any licensing free software. 17:14:17 Gregor, sorry, but I don't think there's a better word for stuff like that. 17:14:25 (I'm not entirely convinced my suggestion is copyrightable at all, as it was adding a couple of elements to a list) 17:14:45 pikhq: By their definition of Free. 17:14:53 elliott: By the definition of Free in the contract. 17:15:05 * It should be noted that the "0" in the above definition need not correspond to what we normally consider to be the number zero. "0" simply means some object that when combined with an appropriate successor function, satisfies the Peano axioms. All systems that satisfy these axioms are isomorphic, the name "0" is used here for the first element, which is the only element that is not a successor. For example, the 17:15:06 Gregor: The GPL *is* viral. 17:15:08 Which is their definition of Free, but not-mutable. 17:15:16 interpreted as the natural number 1, the symbol S(0) as the number 2, etc. In fact, in Peano's original formulation, the first natural number was 1. 17:15:17 pikhq: It probably allows for a lot of crazy. 17:15:32 ais523_: yeah but clearly peano was a moron 17:16:09 elliott: No one is forcing you to link against something under the GPL. You can always just NOT do that. Viruses do not give you a choice. 17:16:12 elliott: my guess is that it would be financial suicide for the FSF to ever release a GPLv4 which was anything other than a typically Stallmanesque strong-copyleft license 17:16:30 the word "viral" is pretty useless in this context 17:16:36 ais523_: like the FSF have any money 17:16:52 ais523_: Gigantic lawsuit if it was non-free, and the FSF would cease to be if it were anything but a copyleft license. 17:16:53 the GPL gives you additional rights, which you can use only under certain defined conditions which involve making other things GPL too 17:16:55 Gregor: And viral marketing doesn't force you to watch this thinly-veiled advert for Doritos Incarnadine Splodge, either. 17:17:05 Gregor: Shut up and accept the loosened definition of the term. 17:17:28 elliott: what's your opinion on the wiki clause in the GFDL? 17:17:33 ais523_: fun fact, the FSF offers unpaid internment^Winternships 17:17:37 I wonder who on earth would want to. 17:17:50 I'm personally a supporter of it, but it's the sort of thing which might well scare people off 17:18:07 ais523_: in my opinion, it's both a good thing because the GFDL is shitty and Wikipedia shouldn't use it, but also, it's the PERFECT evidence for why trusting the FSF to update the license on your code is a TERRIBLE TERRIBLE IDEA 17:18:36 elliott: well, to me, it's an example of how the FSF can be trusted to act much like the FSF 17:18:45 elliott: Which is why the GPLv3 *has* the damned proxy clause. 17:18:45 it was a sensible solution to an unforeseen issue with the license 17:18:53 Probably the best bit in it. 17:19:00 -!- zzo38 has joined. 17:19:19 ais523_: what issue? "it sucks"? 17:19:24 pikhq: I like the one that lets you correct a licensing mistake within 30 days of being notified 17:19:37 Maybe the AGPL says only over a network, but I think it should be more general than that. 17:19:40 elliott: it's clearly designed for hefty books, not individual articles 17:20:00 so it works fine for, say, the C-INTERCAL manual (which I chose GFDL for after some thought), but not for Wikipedia's lists of Pokémon 17:20:05 ais523_: it's bad there too :) 17:20:16 elliott: what would you recommend instead? CC-by-sa? 17:20:18 ais523_: I'm really sad that the Pokémon articles got deleted 17:20:24 ais523_: they were really good quality... 17:20:24 they were merged, mostly 17:20:30 ais523_: into lists, and then stripped down immensely 17:20:35 the issue wasn't that they weren't good quality, but that they were all basically identical 17:20:46 meh 17:20:46 It should be apply to any software you communicate with, so if it is not running on your computer; a network doesn't matter. 17:20:57 zzo38: err, any communication is a network 17:21:02 even if it's just a network of two 17:21:17 also, are you saying that someone who runs fortune(1) for you and snail mails you the output must be required to include its source code? 17:21:21 or, well, offer it 17:21:23 elliott: But the AGPL ought to apply to a kiosk computer as well. 17:21:35 elliott: fortune(1) is an example of something that isn't sensible to have under AGPL 17:21:43 (I am not saying that someone runs a program for you and mails you the result manually) 17:21:47 zzo38: hmm, an interesting point, you're entirely correct there if you consider the spirit of the license 17:21:58 ais523_: indeed; i'd have to write my own if i wanted pithy homepage quotes :P 17:22:17 I suppose an AGPL-spirit kiosk computer should probably sell CDs with its own source code on at cost 17:24:02 ais523_: but stallman could never afford that, it costs money! 17:24:20 elliott: who said it had to be RMS owning the kiosk? 17:24:48 ais523_: well, he probably wants a copy of all GPL'd source just out of principle 17:24:57 ais523_: I meant he could never afford a CD 17:25:02 a copy of all the GPL source in the world would be kind-of useful 17:25:07 why? 17:25:10 and I'm pretty sure Stallman isn't that personally ppor 17:25:12 *poor 17:25:20 ais523_: are you *sure*? 17:25:22 elliott: it'd mean you wouldn't have to be online to obtain programs 17:25:31 elliott: no, but if he was a tramp, I'd probably have heard of it 17:25:41 ais523_: well, he doesn't own a house. 17:25:50 unless that's changed recently 17:26:01 that sounds like the sort of thing he'd do via personal choice, actually 17:26:01 Also, let's say maybe it is a kiosk computer that sells programs on USB, or that receives files on USB and sells a printing service, or something. In that case, perhaps another way is to have choice to copy the source files to USB at no extra cost (only the cost of the service the kiosk is selling is paid). 17:26:03 does he rent one? 17:26:14 zzo38: indeed, that would be a sensible option 17:26:16 ais523_: no, hotels 17:26:20 ais523_: he has no permanent residence 17:26:30 ais523: He's been unemployed for 25 years. 17:26:35 Who? 17:26:35 elliott: someone too poor to burn a CD wouldn't live in hotels 17:26:38 they're more expensive than renting 17:26:39 Phantom_Hoover: RMS 17:26:40 Phantom_Hoover: rms 17:26:44 ais523_: his name is lowercase 17:26:58 ais523: And his permanent residence is the office space MIT offers him for hysterical raisins. 17:27:00 ais523_: djb, rms, esr (order deliberate) 17:27:08 pikhq: oh, I didn't know that 17:27:19 hmm, so Stallman's expenses are ... zero 17:27:23 well 17:27:25 they're food. 17:27:31 -!- Sgeo has joined. 17:27:33 presumably the office space has internet of some sort 17:27:40 elliott: that sounds like the sort of life I'd live if I had the choice, actually 17:27:45 except I'd stay at home 17:28:10 ais523_: the genius with no work ethic, how cliché 17:28:35 He's also gotten $500,000 from the MacArthur Fellowship, which is probably enough to cover food costs. 17:28:45 pikhq: heh 17:28:45 elliott: I dislike structured work, it ruins my productivity, among other things 17:29:17 Also, he doesn't usually stay in hotels; instead, he prefers to crash on someone's couch when he travels. 17:29:19 ais523_: my current plan is to figure out a way to be able to have a "company" that's basically a lab doing esoteric stuff and somehow have it turn over a profit 17:29:23 ais523_: and then hire everyone in here 17:29:30 ais523_: gotta be possible, right?!?! 17:29:34 somehow turning a profit is the difficult part 17:30:01 ais523_: maybe it could just sell VPSes/dedicated hosting, it's not like it wouldn't have a bunch of computers and a network pipe anyway 17:30:15 admittedly, system administration is not exactly a barrel of fun 17:30:19 elliott: margins there are likely very tight 17:30:28 ais523_: sure, but prgmr does it :) 17:30:32 and thus profits low unless you scale up massively 17:30:35 and turns a healthy profit 17:31:00 ais523_: meh, i've got enough time to figure out the fiddly details 17:31:11 ais523_: could just get regular research grants on insane esoteric things :) 17:31:44 I was wondering about that 17:31:47 ais523: To keep a privately held business going you don't *need* massive profits. 17:31:51 but it might be kind-of hard to justify a grant 17:31:56 You just need to keep a balanced budget. 17:32:10 pikhq: indeed; but to actually gain enough money from it to make a living, you need massive profits before you pay your employees 17:32:16 ais523_: hey, people in academia make a living off of doing silly things in haskell 17:32:22 ais523_: I'm sure it's possible :P 17:32:26 (the key is "privately held"; get stockholders involved and everything goes to shit) 17:32:37 that sounds like the sort of life I'm destined to end up in unless I really try to make myself a different one 17:32:41 ais523: Paying employees is not part of your profits. 17:32:45 That's expenditure. 17:32:51 well, yes 17:32:53 ais523_: well, my backup plan is to just get a Ph.D. in CS and do research 17:32:58 which doesn't sound all that awful 17:33:01 elliott: heh, that's what I'm doing atm 17:33:39 ais523_: as far as I'm concerned, the idea would be to try and combine expenses that lead to profit with expenses that we want; e.g. buying a bunch of servers and sticking them in a data centre to sell VPSes on also lets them be used for any computation that might be needed 17:33:43 (assuming they don't get full) 17:33:50 * pikhq wonders why people pay RMS to do speeches. 17:33:57 pikhq: because he's a celebrity 17:34:05 I mean, people pay /Tony Blair/ to do speeches 17:34:10 "I think it is ok for authors (please let's not call them creators, they are not gods) to ask for money for copies of their works (please let's not devalue these works by calling them content) in order to gain income (the term compensation falsely implies it is a matter of making up for some kind of damages)." --Stallman the Pedant 17:34:22 ais523_: people pay *George W. Bush* to do speeches 17:34:25 ais523: The thing is, his speeches are precomposed, set speeches that he's been giving for years. 17:34:27 quick, name your favourite GWB speech 17:34:30 Every once in a while he makes a new one. 17:34:36 now name your favourite GWB speech mistake 17:34:47 pikhq: yet people still pay for them 17:34:49 *That* is why I wonder why people pay him to do speeches. 17:35:07 "Also, Stallman avoids use of a key card to enter the building where his office is.[71] Such a system would track doors entered and times." 17:35:44 that's an interesting point 17:35:49 Unsurprising, though. 17:35:53 people nowadays tend to do more tracking than a sane society would sensibly need 17:36:03 OTOH, that doesn't necessarily mean that avoiding it for the sake of it is sane either 17:36:13 Given that he doesn't own a cell phone for the same reason. 17:36:52 ais523_: I think he's trying to avoid disclosing that he never leaves :) 17:37:03 s/disclosing/reword the sentence better/ 17:37:07 *more better like 17:39:59 -!- zzo38 has quit (Remote host closed the connection). 17:42:39 -!- Sgeo has quit (Ping timeout: 255 seconds). 17:43:48 wow, the kerning on this browser is so bad that sometimes later letters end up before earlier ones 17:43:58 and you can change where it happens by selecting bits of text 17:44:03 which browser? 17:44:07 Firefox on CentOS 17:44:18 ais523_: gnome? 17:44:24 configure fonts or something. it ... might help 17:44:35 yep, this is the crazy "gnome configured to act like KDE" public computer lab 17:48:22 hmm, an interesting topic being discussed on Reddit: glibc changed memcpy to increase the performance, and this changed its behaviour in the case where src and dest overlap (undefined behaviour for memcpy, you're supposed to use memmove there instead) 17:48:33 and the argument's about if they should have broken broken applications like that 17:50:36 relevant: https://bugzilla.redhat.com/show_bug.cgi?id=638477#c31 (by Linus Torvalds, commenting on the valgrind output from Flash) 17:50:39 http://www.johnsphones.com/store/johns-phone-business/item45 <-- why is the "world's simplest cell phone" 80 friggin euros ... 17:50:54 Is it a joke? Is it just a bad idea? 17:51:21 ais523_: I wonder what eglibc will do. 17:51:31 "Tell adobe." LOL 17:51:43 Gregor: cuz itz DESIGNER 17:51:55 elliott: eglibc's designed for embedded systems, I imagine it wouldn't use an optimized memcpy because that makes no sense on its typical target platforms 17:52:01 ais523_: ...lol 17:52:04 so the issue probably wouldn't come up there 17:52:06 ais523_: You do realise Debian and Ubuntu use eglibc, not glibc? 17:52:16 elliott: due to disagreeing with the maintainer of glibc 17:52:17 ais523_: And that eglibc is just as designed for desktops as glibc? 17:52:24 ais523_: It's not less optimised or anything... 17:52:27 the e stands for "embedded", though, doesn't it? 17:52:28 ais523_: It just has embedded support AS WELL. 17:52:34 ah 17:52:36 ais523_: i.e. additional architectures and the ability to compile less. 17:52:47 ais523_: They also sync with upstream. So it is entirely possible they will use this new memcpy. 17:53:02 optimising for embedded hardware's different from optimising for desktops, though 17:53:16 -!- Sgeo has joined. 17:53:17 Nokia 4000 series 17:53:17 Series skipped (see here) as a sign of politeness from Nokia towards East Asian customers. See tetraphobia. 17:53:19 ais523_: they don't 17:53:22 -!- augur has quit (Ping timeout: 240 seconds). 17:53:43 ais523_: listen, all the x86/x86-64 code is identical to glibc apart from maintenance, they just maintain it like usual 17:54:03 ah 17:54:06 ais523_: the *only* differences are (1) support for more embedded architectures and (2) slightly more modularity in what you can not compile 17:54:07 project name's a bit misleading, then 17:54:10 (i.e. you can disable more components) 17:54:13 but fair enough 17:54:20 ais523_: if you want to use glibc on an embedded platform, you use eglibc 17:54:29 it's just that you use eglibc if you hate Drepper, too (and who doesn't?) :) 17:55:05 elliott: Presumably Red Hat. 17:55:18 pikhq: I'm still not sure why Red Hat actually employ Drepper 17:55:27 Nor am I. 17:55:44 pikhq: as far as I can tell, there are plenty of viable glibc maintainers that aren't huge assholes, and all he *ever* causes is public dislike, which isn't good for Red Hat 17:56:49 can i just say that http://en.wikipedia.org/wiki/Tetraphobia is the most hilarious thing ever? 17:57:13 hmm, someone later on in that thread said they'd run a script that patched the binary of Flash to replace memcpy with memmove everywhere 17:57:19 which is a pretty hilarious way to patch the bug 17:57:28 ais523_: heh 17:57:30 elliott: hmm, "most hilarious thing ever" has a lot of competition 17:57:35 haha, Ulrich Drepper has NIH! Ulrich Drepper has NIH! 17:57:37 [[I am currently working on a new set of binary utilities. They are meant to replace GNU binutils at least on my machine. The goal is to have all the commonly used functionality which is important on and for Linux available. Plus: fewer limitations (and bugs) when it comes to ELF file handling. 17:57:37 GNU binutils suffer from supporting all kinds of binary formats and from what I consider mistakes in the development.]] 17:58:16 "And for portability: this code is only meant for Linux. I don't give a rat's a** about non-ELF platforms. And platforms without the Linux API are not important either." 17:58:38 elliott: hey, I reimplemented binutils for gcc-bf 17:58:48 mostly because I was completely ripping out the format of everything 17:58:57 ais523_: NIH is a good thing! it's just funny because he's probably a jerk about it 17:59:46 "Stallman scored 1597 on the SAT (800 Math, 797 Verbal)." 17:59:50 Stallman's good at standardised tests; discuss. 18:00:01 lol: [[The article begins with : Richard Matthew Stallman (born March 16, 1953), often abbreviated "rms", and uses his homepage at stallman.org as a reference where he mentions : "Richard Stallman" is just my mundane name; you can call me "rms". Just because he refers to himself as "rms" does not mean it should be included, I think hes just trying to be friendly to visitors of his website. If publications or other reliable sources refer to hims a 18:00:01 s "rms" then I agree it should be mentioned. --GateKeeperX (talk) 08:24, 13 November 2008 (UTC)]] 18:00:05 Wikipedia talk pages are hives of idiocy 18:00:32 Wretched ones, too. 18:00:42 Have you got the specs for that computer? 18:00:44 [[I think I saw this guy in a James Bond movie as a hacker. It was the one about Rupert Murdoch taking over the world by making China go to war with the UK. —Preceding unsigned comment added by Peacekeep (talk • contribs) 02:07, 17 July 2008 (UTC)]] 18:00:51 Phantom_Hoover: Jesus christ, I've been busy! :P 18:01:09 You BETRAYED me! 18:01:20 Also, I hope that post was satirical. 18:01:41 elliott: hmm, it wasn't Rupert Murdoch, but Mr. Carver (I can't remember his first name) 18:01:44 Phantom_Hoover: nope 18:01:53 O.o 18:01:58 well, i don't think 18:02:29 ais523_: [[ * "Stallman recommends not owning a mobile phone,[69] as he believes the tracking of cell phones creates harmful privacy issues.[70] Also, Stallman avoids use of a key card to enter the building where his office is.[71] Such a system would track doors entered and times. For personal reasons, he does not actively browse the web from his computer; rather, he uses wget and reads the fetched pages from his e-mail mailbox.[70]" 18:02:29 Can someone verify or present additional sources for these absurd claims? Some of the sources seem either falsified, out-of-context or just purely comical in nature. I find it hard to believe these were anything but bad jokes.76.67.111.164 (talk) 22:52, 2 May 2010 (UTC)]] 18:02:40 Stallman: So weird, nobody can believe Wikipedia about him. 18:02:53 elliott: well, I don't have a mobile, but for a different reason 18:03:04 [[I think I saw this guy in a James Bond movie as a hacker. It was the one about Rupert Murdoch taking over the world by making China go to war with the UK. —Preceding unsigned comment added by Peacekeep (talk • contribs) 02:07, 17 July 2008 (UTC) 18:03:04 Nope, that was Ricky Jay, playing the character of Henry Gupta in Tomorrow Never Dies. Though they do share some superficial similarity. // Meneth (talk) 00:03, 16 December 2008 (UTC)]] 18:03:05 if you're reachable 24 hours a day, people try to reach you 24 hours a day 18:03:06 full quote 18:03:09 I don't see the superficial similarity. 18:03:16 ais523_: while you're sleeping? 18:03:29 elliott: apparently, based on conversations with other people with mobiles 18:03:32 (although not all that often) 18:03:32 -!- augur has joined. 18:03:54 ais523_: I think that is not very common :P Not unless you have a lot of time zone-ignorant or ... what's the w- nocturnal, friends. 18:04:08 ais523_: I'd like a mobile that doesn't have a phone. (Although it'd need a good typing mechanism, somehow.) 18:04:33 elliott: it seems that the calls that you get around 4am or so are generally from drunk people 18:04:38 -!- augur has quit (Client Quit). 18:04:46 perhaps you have no friends who regularly get drunk? 18:04:47 ais523_: or drunkard friends, i guess. 18:04:50 :-P 18:05:01 -!- augur has joined. 18:05:11 ais523_: nobody really calls me much, I'm speaking from second-hand collected experience here 18:05:22 which is obviously flawed and biased in numerous ways 18:05:39 elliott: I could find oodles of citations on stallman.org for those. 18:06:35 the ideal wikipedia article is a single logical statement that is a theorem in almost all logical systems, and then a long list of references proving this in hundreds of them, published in respected journals 18:06:58 elliott: it seems that the calls that you get around 4am or so are generally from drunk people <-- you can turn a phone off during the night. Or put it on silent. 18:07:58 Vorpal: indeed 18:08:06 ais523_, I only ever get calls from family. SMS from everyone else who have my phone number. And never during night. Even when I forgot to turn it off during night (I usually do turn it off) 18:08:13 although there's increasing social pressure, nowadays, for phone owners to leave it on whenever they can 18:08:25 ais523_: not at night... 18:08:27 Vorpal: presumably, you're sensible enough to be careful in who you give your number to, rather than, say, posting it on Facebook 18:08:43 ais523_, well, who cares about social pressure? I put it on offline mode during lectures for example 18:08:59 Vorpal: most people do, even if you and I mostly don't 18:09:01 ais523_, I don't have facebook to begin with :P 18:09:07 I find it hard to believe that ais523_'s friends are stupid enough to get annoyed at him for turning his phone off. 18:09:12 ais523, if anyone ever express that expectation, you just call them in the middle of the night ;) 18:09:14 elliott, indeed 18:09:14 I imagine they're far more irritated that he has no phone at all :) 18:09:21 elliott, my friends don't get annoyed from that either 18:09:25 they do the same mostly 18:09:49 elliott, indeed. SMS is a great invention. 18:09:55 and cheap. 18:09:57 Vorpal: SMS is obsolete 18:10:05 elliott, no one I know uses MMS 18:10:10 Vorpal: MMS is stillborn. 18:10:11 if that is what you mean 18:10:19 elliott, then what is the replacement you suggest 18:10:38 elliott: I hardly have any friends, so it's mostly irrelevant 18:10:39 Vorpal: also, SMS isn't cheap, it's grossly oversold; the cost of sending an SMS for the networks is 0; counting costs of infrastructure, it's, like, 0.001p 18:10:44 elliott, everyone I know use SMS for communicating within the group of friends. 18:10:46 Vorpal: Email is the replacement. 18:10:53 and IRC >>>> SMS 18:10:54 elliott, uh. I get 5000 free / month on my plan. 18:11:00 ais523_: IRC is realtime 18:11:01 and that is a *data* plan mostly 18:11:05 elliott: exactly 18:11:09 Vorpal: you're in Sweden :) 18:11:13 if you really need to say something to someone out-of-bound, use email 18:11:15 ais523_: there's social pressure to respond quickly 18:11:18 *out-of-ban 18:11:19 ais523_: also, agreed w/ emial 18:11:20 *out-of-band 18:11:21 *email 18:11:23 elliott: on SMS, too 18:11:26 ais523_: SMS is just limited email 18:11:27 elliott, most I sent during a month: 78 18:11:31 and that was one extreme case 18:11:39 "I texted you and you never replied!" is the sort of thing you overhear in corridors all the time 18:11:51 Vorpal: oh, over here, it's common for people to have long SMS conversations, IRC-style 18:12:04 ais523_, well perhaps. But not on keypad phones I bet :P 18:12:26 Vorpal: even on keypad phones 18:12:27 which is still very common 18:12:29 hm 18:12:32 ais523_, huh 18:12:38 I've got unlimited SMS. 18:12:39 do you not know about predictive texting? 18:12:42 Vorpal: you have no idea how fast people type on keypad phones 18:12:50 their thumbs would like to secede from their bodies 18:12:54 basically, it picks only the number sequences that correspond to actual words 18:12:59 and go somewhere with more freedom 18:13:04 elliott, the dictionary certainly helps indeed 18:13:04 with a button to change between other words that happen to collapse to the same number sequence 18:13:07 it works pretty well 18:13:11 Vorpal knows what predictive texting is :P 18:13:12 Though it's probably overcharged. (I don't pay the bill, so I don't know) 18:13:29 elliott, I use the dictionary. Means one key press per letter of the word 18:13:34 ais523_: I had to get my mother to start to use predictive texting, it was painful watching her thumb slowly give up on life. 18:13:36 unless other phones are more advanced 18:13:36 Vorpal: = predictive texting 18:13:53 elliott, it annoys me it can't complete the word if there is just one alternative 18:14:02 Vorpal: ? 18:14:05 like when you are writing a long one where the ending is more or less given at that point 18:14:05 Vorpal: it can 18:14:11 ais523_, not on my phone 18:14:16 oh, you mean tab-complete-like? 18:14:19 ais523_, yes 18:14:23 most words can be pluralised or changed to end -ing, etc 18:14:28 so there's nearly always at least two alternatives 18:14:52 ais523_, well, fairly limited range. And it could complete up to the point of diverging 18:16:19 Vorpal: hmm, actually, the KDE file selection dialogs do that, and it's really annoying 18:16:23 because it breaks your muscle memory 18:16:31 ais523_: ugh, I hate that dialogue 18:16:38 you should have to hit the equivalent of tab to move on 18:16:50 ais523_, KDE file selection fails badly when I want to type the directory name in the list. to find it. It finds it. But doesn't select it 18:16:54 if you know what I mean 18:17:11 ais523_, and sure, tab would work 18:17:19 ais523_: hmm, I think that for anything longer than a few words, taking a laptop out of your bag, opening the lid, clicking an email client and clicking Compose might actually result in a quicker message-sending time, due to the full-sized keyboard 18:17:21 but that lacks from my phone 18:17:34 elliott, depends on what phone 18:17:37 also, awesome feature of Kate: you can return-complete words even in plain-text documents 18:17:52 Vorpal: any phone with a keypad 18:17:53 I think it looks for long words you've used more than once or twice, and adds them to an internal return-completion dictionary 18:17:54 iPhone is arguable 18:18:00 depends if you're superhuman or not 18:18:10 elliott, n900 should manage fairly well though 18:18:14 I'm a damn good iPhone typist now, after having fast-paced #esoteric'd with it for a lot of months 18:18:23 Vorpal: err, it lacks a keyboard, right? 18:18:25 elliott: I couldn't reasonably type on a laptop while balancing it on my other hand 18:18:30 ais523_: get a bench :P 18:18:30 elliott, n900 has slide out 18:18:34 elliott, small one 18:18:34 and the mobile phone scenario doesn't assume the presence of a nearby desk 18:18:37 not full sized 18:18:41 so still slower than a laptop 18:18:58 Vorpal: oh, too-small keyboards are worse than touchscreens 18:19:04 they are probably the worst 18:19:11 even worse than keypads 18:19:12 elliott, it has touchscreen as well 18:19:15 Vorpal: it's resistive 18:19:21 elliott, yes so it works with gloves 18:19:21 good luck typing well on a resistive, non-multitouch touchscreen 18:19:26 (hint: impossible) 18:19:38 Vorpal: good luck typing with gloves on any touchscreen at all ever even in the year 5 million... 18:20:29 elliott, true. But you could still use it to dial :P when it is -15 C and a hard wind. 18:20:45 to call about the bus having got stuck or something 18:21:24 elliott: there was a Slashdot submission about a new type of glove designed specifically to work on capacitative touchscreens... 18:21:25 elliott, basically if you can't dial from the phone with your gloves on during the darkest period of the Swedish winter I'm not interested. 18:21:34 incidentally, whatever happened to styluses? 18:21:38 elliott, for keypad, backlit keys are a must 18:21:56 ais523_: they're lame, obviously 18:22:11 ais523_, sure but they aren't that easy to get out in bad condition :P 18:22:19 coppro: well, I use them on touchscreens (but then, I don't own a mobile) 18:22:21 iirc n900 has a stylus in it 18:22:26 it seems to make more sense than getting the screen greasy 18:22:49 They have capacitive styluses too. 18:23:09 Gregor, indeed. But not having to fiddle with that to make a call is a big plus 18:23:21 not all of us live in sunny climates :P 18:23:24 people use phones to make /calls/ nowadays? 18:23:47 well, I use landlines for that very occasionally 18:24:07 (I even have a reverse-charge payphone number, although it's rarely used due to the general absence of payphones) 18:24:20 They should rename EGLIBC to NonDrepperGLIBC 18:25:10 heh 18:25:17 ais523_, you don't make calls? Or SMS? 18:25:33 and SMS with gloves on is tricky even on keypad 18:25:35 I have a perfectly good rotary phone! 18:25:38 Vorpal: I make calls on a landline occasionally, usually to other landlines 18:25:49 Gregor: touchtone, but relatively old 18:25:53 ais523_, well.. I do it from my mobile every now and then 18:25:53 If it was good enough for 1901, damn it it's good enough for me! 18:26:15 Gregor, probably it will last longer than my mobile :P 18:26:23 (non-smartphone) mobile phones are massively overpriced for what they do, I don't see why people are willing to pay for them 18:26:25 build quality was better back then 18:26:37 ais523_: In the US, they're not. 18:26:45 in Sweden they aren't that much 18:26:45 ais523_: They are however willing to lock themselves into long contracts ;) 18:26:59 Gregor, only if you buy them from carrier 18:27:07 you can buy that stuff separately 18:27:10 Vorpal: In the US, you buy them from the carrier :P 18:27:20 Gregor, Why on earth 18:27:36 Vorpal: Hell, half our carriers don't even use GSM, and the ones that do are on a different band than the rest of the world, and they all have different 3G bands. 18:27:44 I'm on a non-GSM carrier *shrugs* 18:28:15 Gregor: the US phone situation looks insane from the UK, but I imagine vice versa as well 18:28:32 ais523_: I don't know anything about the UK phone situation :P 18:28:38 advertising feature genuinely used by a mid-sized mobile phone operator: if you top your phone up £10, you get £30 of credit 18:28:42 And the US phone situation IS insane. 18:29:02 Gregor: it's insane on both sides, but in completely different ways 18:29:06 (I'm aware of the US phone situation) 18:29:25 Anyway, I have a whoopdidoo smartphone :P 18:29:25 the UK situation, generally speaking, is that you get a phone independent of any contract, and get a SIM card, nowadays generally also independent of any contract 18:29:26 Finland tends to be somewhat pricey place when it comes to consumer electronics, but I don't think our dumbphones cost very much. You can get a reasonable basic phone for <30 EUR (< 25 GBP) from the store; at least a while ago buying any phones from the carrier was pretty rare. Er, except for the one-carrier-exclusive iPhone, of course. 18:30:04 in order to actually be able to make calls, you "top up" the phone by sending money to the owners of the SIM card; it used to be done at supermarkets and grocery stores, but nowadays it's often done via ATMs instead 18:30:17 advertising feature genuinely used by a mid-sized mobile phone operator: if you top your phone up £10, you get £30 of credit <-- can you extract that somehow and then start a new cycle? :D 18:30:21 then that money can be spent to make calls or texts, at rather extortionate rates 18:30:24 Vorpal: nope 18:30:36 ais523_, aww. Their lawyers are too smart 18:30:40 of course, the amount of "credit" you have is just an arbitrary number, even if it's normally expressed as money 18:30:45 ais523_: So they're all pay-as-you-go, no monthly rate and/or contract plans? No unlimited plans? 18:30:54 "and get a SIM card, nowadays generally also independent of any contract" 18:30:56 Gregor: I'm getting to that bit 18:30:56 err 18:31:01 ais523_, how would that work? 18:31:09 I mean 18:31:10 now, generally speaking you can opt into all sorts of plans 18:31:11 who makes them 18:31:18 Vorpal: the SIM card doesn't work until you pay the manufacturer 18:31:19 some generic SIM card company? 18:31:22 Vorpal: A pre-paid thing, I believe. 18:31:26 fizzie, oh 18:31:28 Vorpal: There are lots of no-contract plans here too, just they come with a SIM card in a shitty phone rather than just a SIM card :P 18:31:30 just pre-paid plan? 18:31:33 well okay 18:31:35 and they're made via the individual phone manufacturers 18:31:52 so, typical phone plans would offer X in return for topping up at rate Y 18:32:05 e.g. you'd get 5000 free texts per month as long as you topped up at least £10 a weak 18:32:42 huh 18:32:55 it seems to make more sense than getting the screen greasy 18:32:58 oleophobic 18:33:09 also, unused credit tends to disappear after a certain length of time 18:33:16 elliott: nah, it just makes the text hard to read 18:33:42 hmm, I'll bbiab, changing computer 18:33:44 -!- ais523_ has quit (Quit: Page closed). 18:33:44 ais523_: fail 18:33:50 (at understanding) 18:33:57 -!- Sgeo has quit (Ping timeout: 255 seconds). 18:34:12 "Due to the configuration error GitHub's production database was destroyed then re-created." 18:34:30 ais523_, no normal style contracts? Like mine, one year binding time, student-discount, free data traffic, but if you pass 2 GB / month it will be throttled to a rather lower speed. 5000 free SMS per month. Calls slightly more expensive than landline. 98 SEK / month, though 29 SEK until the end of the year (special offer) 18:34:48 argh he left 18:35:18 elliott, err.. They had no backup? 18:35:22 Here, like in all messages, I will be sure to demonstrate Swedish superiority with piercing accuracy to demonstrate how superior our technological economics is. I will pretend this is normal and act surprised at your backwards, non-Swedish nations when it turns out not to be. 18:35:25 elliott, and what did it contain? 18:35:25 Vorpal: who said that? 18:35:29 Vorpal: they restored from a backup 18:35:42 Vorpal: it contained... GitHub 18:35:46 well, not the git repositories 18:35:49 elliott, ah 18:35:49 but all the fluff around them 18:35:55 In other news, fate has smiled upon me and I got a new cardy thing. 18:35:56 elliott, right. Could have been waaaay worse then 18:35:56 back 18:36:03 Vorpal: yeah 18:36:07 Shall attempt to see if I can get MineCraft with it soonish. 18:36:07 ais523: oleophobic wasn't referring to you 18:36:08 The SMS thing is also very crazy; "free data traffic" except if you want to send 140-character 7-bit messages, then it's not free. 18:36:09 Vorpal: they exist, but they aren't very common 18:36:18 ais523: the iPhone 3G S onwards use oleophobic screens, which means that fingerprints don't stick to them 18:36:21 There was this recent Nielsen study -- in the US, I think -- that girls in the [13, 17] age group send on average 4050 text messages per month; assuming 30 days of 6 hours of sleep (18 awake), that's 7.5 messages per hour. 18:36:29 ais523: it just gets slightly grubby, and a single wipe gets them all off 18:36:31 the sort of people who buy them are traditionalists 18:36:36 elliott, actually I'm surprised your don't have something like that plan I mentioned. I would expect slightly more expensive. Say 2000 free SMS / month. and maybe 1.5 GB data 18:36:42 and somewhat higher price 18:36:49 but yes I would expect something along similar lines 18:37:00 Vorpal: *you 18:37:04 my iPhone contract has... 500 free texts 18:37:08 and N free minutes for some N 18:37:12 fizzie: that reminds me of a study a while ago, where it turns out that the average length of time people spending Facebook is now so high it's significant even if you average across the entire population of the word 18:37:13 and unlimited data usage 18:37:18 and it's £30/month or so 18:37:21 Also the 7-bit SMS charset gets people killed. 18:37:22 (I forget the exact amount) 18:37:22 elliott, N=-3. 18:37:24 it's rather awful 18:37:34 hm 18:37:36 let me convert 18:37:42 fizzie, the 7-bit charset is the ASCII, isn't it? 18:37:52 331 SEK 18:37:56 Phantom_Hoover: No, at least in GSM networks it's a different encoding. 18:37:57 okay that's quite expensive 18:38:11 Phantom_Hoover: http://en.wikipedia.org/wiki/GSM_03.38 18:38:24 elliott, also SMS uses unicode nowdays iirc? 18:38:31 Vorpal: Can. 18:38:34 elliott: smartphone plans are generally saner than the pay-as-you-go dumbphone plans 18:38:39 Vorpal: Probably for the iPhone. I didn't say 7-bit, fizzie did. 18:38:41 pikhq, yes and does so by default since... years? 18:38:45 ais523: but much more expensive 18:38:46 elliott, ah right 18:38:50 the contract plans are saner than the pay-as-you-go ones, yet they're really unpopular for some reason 18:38:51 ais523: I hate technology. 18:39:04 elliott: well, you'd expect it to be more expensive as it's a much higher bandwidth requirement 18:39:22 ais523: it costs something like twice as much as the residential broadband connectino 18:39:24 *connection 18:39:34 seems reasonable 18:39:40 ais523: no, not really 18:39:46 ais523: see, e.g. Sweden :P 18:39:47 Vorpal: Only if your handset manufacturer bothers, which might not be the case for the cheapest possible phone. 18:39:47 anyway, every carrier I checked with allows tethering in Sweden. But warns that due to technical issues it won't work with iphone. 18:39:57 iirc in US they don't allow that 18:40:07 Vorpal: The iPhone's tethering got nuked when the carriers decided they didn't want people using it. 18:40:13 Vorpal: It's still in there, just not in the US. 18:40:15 (You can unlock it.) 18:40:19 Regarding "gets people killed", I was referring to http://gizmodo.com/382026/a-cellphones-missing-dot-kills-two-people-puts-three-more-in-jail though I guess it's more of a phone-software issue. Still. 18:40:21 -!- Sgeo has joined. 18:40:24 fizzie, err handset? err? 18:40:29 Awesome. Wifi works here but not next to my classroom 18:40:35 I have a pay-as-you-go thing on my phone. 18:40:36 Vorpal: AT&T's business model, you see, is "Dammit, our network sucks! I blame the iPhone users for trying to use the Internet, like they pay us exorbitant rates to do." 18:40:48 elliott, hah 18:40:48 Vorpal: "We can't upgrade it because it's NOT OUR FAULT, you're the ones trying to use it." 18:40:50 Although I haven't used it since forever, so... 18:41:06 That's the business model for every Internet provider in the US. 18:41:24 US telecommunication is insane 18:41:35 so is Sweden. But in a different way 18:41:38 (FRA, and so on) 18:41:39 Vorpal: Yes, handset. If your phone can input only the characters in the mandatory GSM 7-bit alphabet, it probably doesn't much help if your network would in theory be able to support messages encoded in UTF-16. 18:42:15 fizzie, err. I know my phone has an option for "use unicode" in some menu 18:42:19 for SMS 18:42:30 fizzie, but why do you call it handset, not phone? 18:42:34 one of the US cellphone providers (I forget which) had an easily-accidentally-pressed button on their phone homepage which would try to access a data page and then charge you at ridiculous rates at data usage; if you asked them to cancel your data plan so that it wouldn't happen, pressing the button instead popped up a page saying you had your data plan turned off - over the Internet - then charged you for the bandwidth for that 18:42:36 that is what I'm confused about 18:42:40 I forget which, but it would fit with any of them 18:43:02 Vorpal: is there any industry anywhere in the world that /isn't/ insane? 18:43:21 * Gregor reappears. 18:43:27 ais523, "phone homepage"? Wouldn't that require a data plan to reach? 18:43:29 My Sprint 3G is faster than my home cable internet :P 18:44:18 ais523, so you should be secure from that simply by not being able to reach it 18:44:23 Vorpal: Often they have a sort of whitelist of free pages. 18:44:26 Vorpal: as I said, if you didn't have a data plan it reached a page saying you didn't have a data plan, then charged you for the data needed to reach it 18:44:39 hm 18:44:43 Vorpal: It's a common term. Cf. the Open Handset Alliance, the group who make mobile phones. 18:44:55 ais523, but that would require you to open the browser on the phone first? 18:44:57 or? 18:45:04 "A handset is any device that is held in the hand. However, in these days, the term handset describes a mobile phone device." (Telecom Dictionary) 18:45:48 fizzie, hah. I shall start calling a screwdriver a handset :P 18:45:50 Vorpal: indeed, but it was easy to do by accident 18:45:54 ais523, hm 18:45:59 ais523, very weird 18:46:07 ais523, also, couldn't you change the home page? 18:46:12 Vorpal: it made a lot of money for the carrier, why was that not weird? 18:46:13 "A telephone transmitter and receiver combined in a single instrument." (OED) 18:46:18 and I don't know the details to that level 18:46:25 ais523, because it would scare away customers 18:46:25 Vorpal: it made a lot of money for the carrier, why was that not weird? 18:46:29 Maliciousness deserves to be weird 18:46:29 *-not presumably 18:46:42 bad PR and so on 18:46:42 OED is one stroke away from QED 18:46:54 Vorpal: it's not like phone companies have any karma to start with 18:47:03 fizzie: "Alternatively, the press could ask for banning knives from the homes of demonstrably stupid people." X-D 18:47:09 How's it going with WAP, anyway? Still alive? 18:47:20 haha 18:47:24 So, so dead. 18:47:33 -!- ais523 has quit (Remote host closed the connection). 18:48:05 Apparently -- http://en.wikipedia.org/wiki/Wireless_Application_Protocol#Commercial_status -- not dead in Asia, despite some i-mode competition. 18:49:44 I'm big in Japan. 18:50:51 Isn't that an Alphaville song? 18:51:13 It is.. 18:51:36 Someone's .mod rendition was possibly my first-ever piece of tracker music I ever got: there was an ALPHAVIL.MOD on some floppy. (Or maybe .s3m.) 18:52:14 Godzilla's big in Japan. Also, everywhere. 18:53:18 -!- Sgeo has quit (Ping timeout: 255 seconds). 18:56:11 Ooh, here's contents of the 8 floppies of Finnish-localized Excel 5 for Windows 3.1. There's an "asenna.exe", since fi:asenna is the second-person imperative form of en:install. 18:57:09 And MAGELINK.ZIP, very useful if you have two DOS computers in an IPX network and need to move data between them. It is good to keep all this important stuff. 18:59:05 14:16:58 ais523: can you *believe* rutian still exists? <--- I'd be quite surprised that nobody had unVMed it by now 18:59:09 oh, ais is gone 18:59:16 i have no idea what he was trying to say there 19:02:57 fizzie: Switched to a non-tiling window manager yet? I need to adopt my opinions from *someone* and you're conveniently the last non-me person to talk. 19:04:00 elliott: I'm still Awesome, sorry. 19:04:07 fizzie: More like LAMESOME. 19:04:12 It's the inertia of it. 19:05:11 elliott, rutian? 19:05:16 sounds familiar 19:05:31 Vorpal: that little IP that I wiped every few months 19:05:37 i think you've used it 19:05:46 Vorpal: it hosted eso-std and other stuff. 19:05:49 ah 19:06:16 elliott, I don't think I used it though. Except for looking at the web page 19:08:23 Vorpal: I think you did, once. 19:08:25 I forget why. 19:08:29 Aww, tusho.eso-std.org has not been archivated. 19:09:23 elliott, surely you have a local backup? 19:09:43 Vorpal: uhh, maybe on the iMac. somewhere. 19:09:53 Vorpal: it held exactly one (1) blog post, once 19:10:20 Vorpal: it was a (single-user) wiki with embedded code! 19:10:24 Vorpal: and it edited in my editor! 19:10:29 Vorpal: The way it did this was pure EVIL. 19:10:51 Vorpal: Every page on tusho.eso-std.org had an "Edit" link on it, which linked to e.g. http://localhost:8080/edit?page=page-title. 19:11:16 Vorpal: I ran a webserver locally that, upon loading /edit, looked at the page parameter, started my editor with /path/to/site/page-title.markdown, and then *redirected to whatever the browser said the Referer was*. 19:11:28 -!- kar8nga has joined. 19:11:28 -!- kar8nga has quit (Read error: Connection reset by peer). 19:11:29 So I'd click it, my editor would appear, and the page would stay there. Ingenious! Horrible. But ingenious. 19:13:12 It was a rather pointless hack, come to think of it. 19:13:22 Vorpal: and it edited in my editor! <-- which one? 19:13:26 not leaden I presume 19:13:35 Vorpal: at the time I used TextMate, because Emacs on OS X was really irritating 19:13:42 ah 19:14:46 -!- MigoMipo_ has joined. 19:18:09 -!- MigoMipo has quit (Ping timeout: 276 seconds). 19:19:06 hmm, what happened to n=foo in hostnames? 19:19:55 elliott, turned into the more conventional ~ 19:19:58 elliott, some time ago 19:20:05 probably around change to ircd-seven 19:22:24 16:41:36 --- topic: set to 'the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Oh god it smells of java.' by optbot 19:23:30 22:58:55 fizzie: i think i can compile BF into it 19:23:30 22:59:09 optbot: BF into what? NURRR so confused. 19:23:30 22:59:09 fizzie: lament! 19:23:50 23:00:35 fizzie: it's sauna, bye for a while.. 19:28:51 Gah, plan9port doesn't seem to have a separated dial(). 19:44:12 this approximation of peach melba is quite tasty 19:59:40 -!- augur has quit (Remote host closed the connection). 20:01:24 -!- augur has joined. 20:13:45 "\0366\0/66\0/24\0/42\0177} 20:13:47 lolbroken 20:23:04 olsner: my C program is slow! and broken! 20:23:13 -!- digimunk has joined. 20:23:28 elliott: you're doing it wrong 20:23:42 write it faster, right it write 20:23:48 "right it write" :D 20:23:52 intentional or ironic? 20:23:59 both, I'd say 20:24:02 olsner: in this case, my sin appears to be using write() to do things one char at a tim 20:24:04 *time 20:24:25 right, the downside of write, it doesn't do any buffering but translates to one syscall per call 20:24:55 olsner: yeah, thankfully i can do this simply 20:24:58 by simply having an output buffer 20:28:27 olsner: for the record, I do not recommend C for scripting tasks 20:28:28 :P 20:28:52 Noted. :) 20:31:08 olsner: but now it runs instantly! 20:31:21 sweet, O(0)? 20:31:23 elliott, will Mitosis Lisp be 1? 20:31:25 yep! 20:31:28 Phantom_Hoover: ? 20:31:30 olsner, heh? 20:31:34 Phantom_Hoover: oh. yes. probably :) 20:31:37 Phantom_Hoover: if it even is lisp! 20:31:41 Vorpal: "instantly!" 20:31:41 elliott, a Lisp-1? 20:31:43 olsner, ah 20:31:49 olsner: aniway O(0) is reddundant 20:31:51 dats 0(0) 20:31:54 an 0 x 0 = 0 20:31:54 elliott, what else could it be‽ 20:32:05 slightly faster than O(1) 20:32:09 Phantom_Hoover: A Lisp-Smalltalk hybrid? (Note: Smalltalk is a good language despite Sgeo.) 20:32:15 olsner: datz 1 cuz 1 x n = n 20:32:16 Lisptalk! 20:32:21 sry 20:32:22 olsner: datz 1 cuz 1 x n = 1 20:32:27 olsner: i lernt dis in math scool 20:32:30 Phantom_Hoover: Lalk. 20:32:30 My god, the pun is strong with that idea. 20:32:50 Phantom_Hoover: Lisp-Induced Social Awkwardness Following an Abortive Attempt at Small Talk 20:32:57 Phantom_Hoover: ^ language name (LISAFAAST for short) 20:33:01 aka "Lisa Fast" 20:33:22 olsner: things I do recommend: storing your data files as part of the program 20:33:25 So it'll use Smalltalk's OO-ness with Lisp's syntax and macros? 20:33:56 Phantom_Hoover: Something like that! Although I actually like syntax a bit... but nothing an editor can't be a genius about, so no syntax-changing macros or anything. (Lisp-style macros are fine.) 20:33:56 Whatever. 20:34:01 It's all in the clouds, as they say. Do they say that? 20:34:20 I think the proper expression is "air" 20:34:33 elliott: yep, it's teh win, at least if you have the data in a form you can use right away and the data doesn't require relocation 20:35:05 though I wonder if that relro thingy allows relocated data to be shared between processes 20:35:13 elliott, I was reading that nomad minecraft blog. Looking at the map of the first 20 days. :D 848x16880 pixels Yes that is very very tall 20:35:55 elliott, hmm, so you'd define a new read function for new syntaxes? 20:36:15 Vorpal: wow 20:36:18 Vorpal: must be a huge save :) 20:36:34 Phantom_Hoover: Or just not have new syntaxes? 20:36:50 elliott, but you can't not use Lisp syntax for everything! 20:36:54 Phantom_Hoover: I mean, editors that you can click any part of the program and get docs about them and cross-reference them and... is the whole point of all this. 20:36:57 It wouldn't be LISP then! 20:36:58 elliott, well, 6.1 MB png iirc 20:36:58 Phantom_Hoover: I may just use Lisp syntax for everything :) 20:37:00 *Lisp 20:37:02 for the map 20:37:02 not LISP :P 20:37:05 Vorpal: save file, though 20:37:07 elliott, anyway that was 20 days into it 20:37:15 elliott, those were EMPHASIS caps! 20:37:25 elliott, well. Yes. To some degree. It is not nearly as wide as my save though 20:37:31 hmm, rand() is automatically seeded on a modern system, right? 20:37:49 Vorpal, link? 20:37:58 http://towardsdawns.blogspot.com/2010/10/recap-first-20-days.html 20:38:02 on there 20:38:06 he put it on megaupload 20:38:16 so direct link to map would be impossible 20:38:51 lines.c:183889:79: warning: trigraph ??! ignored, use -trigraphs to enable 20:38:53 olsner: THIS IS GOING GREAT 20:39:15 elliott: trigraphs!? wtf are you doing? 20:39:25 olsner: it just so happens that my data strings include "??!" 20:39:28 olsner: which is, as it happens, a trigraph 20:39:34 so gcc... warns me about it 20:39:35 thanks gcc! 20:40:20 haha, so when you compile on a compiler that silently supports trigraphs, you'll have your data corrupted :) 20:40:34 What does ??! turn into? 20:40:39 Phantom_Hoover: | 20:40:54 elliott: foo??!??! exit(1); // Gotta love the WTF operator. 20:41:01 Trigraphs: the worst idea ever. 20:41:13 BEST IDEA 20:41:15 olsner: yep 20:41:21 I do hope pikhq only knew that because he looked it up after reading elliott's line 20:41:23 olsner: i could just escape them, but fuck that 20:42:04 olsner: No. 20:42:21 I have used trigraphs for insanity. 20:42:24 lines.c:103227: warning: left-hand operand of comma expression has no effect 20:42:26 what the FUCK. 20:42:49 Phantom_Hoover: Digraphs are much much better. 20:42:52 I... do not understand this. 20:43:01 pikhq: stupid me, I should've expected as much from someone #esoteric... 20:43:06 +in 20:43:08 (they are only handled during tokenization) 20:43:26 does gcc do digraphs by default? 20:43:33 i guess not 20:44:04 elliott: "If rand is called before any calls to srand have been made, the same sequence shall be generated as when srand is first called with a seed value of 1." 20:44:28 you know what, you could write (or find) a silly utility that converts binary data to elf files directly 20:44:52 fizzie: groan 20:44:55 or at least convert everything to reliable data like \xXX or list of decimals :) 20:45:14 olsner: -rw-r--r-- 1 elliott elliott 79M Nov 15 20:44 lines.c 20:45:21 olsner: I think anything that is more reliable would also be FAR TOO FUCKING BIG 20:45:38 olsner: What, like stick the binary data as a symbol in there? 20:45:43 olsner: *Easy*. 20:45:59 pikhq: exactly 20:46:05 *bp++ = '\\'; 20:46:06 *bp++ = ((*ip >> 6) & 7) + '0'; 20:46:06 *bp++ = ((*ip >> 3) & 7) + '0'; 20:46:06 *bp++ = (*ip & 7) + '0'; 20:46:15 someone plz tell me why this doesn't convert to a valid octal escape sequence 20:46:21 i'm dumb enough that my mind is broken 20:47:04 is ip a signed type? or even "char"? 20:47:11 olsner: ip is char 20:47:18 i should probably make it unsigned 20:47:19 by default that's signed on gcc 20:47:21 What *do* you get into bp, then, if not a valid? 20:47:25 right 20:47:30 fizzie: \7xx and other shit 20:47:45 otoh, the &7 should pretty much fix that 20:47:54 yeah well let's see 20:48:06 olsner: it now appears to work fine 20:48:10 using unsigned chars and: 20:48:13 *bp++ = (*ip >> 6) + '0'; 20:48:13 *bp++ = ((*ip >> 3) & 7) + '0'; 20:48:13 *bp++ = (*ip & 7) + '0'; 20:48:21 of course, gcc doesn't exactly process the file fast. 20:48:37 olsner: in fact, it would be like 500x quicker to do this at runtime, but THAT WOULD REQUIRE PARSING A FILE 20:48:41 you can probably just pre-create a static elf header with the right symbol name, and replace the size of that symbol with the actual size from a binary 20:48:47 also, my binary would be less than 70 megs 20:48:52 and that is unacceptable 20:48:57 olsner: Well, right-shifting signed, negative numbers is implementation-defined, and could sign-extend, leading to 7s in the first number, instead of zero-extending it properly. 20:49:38 olsner: I could be pragmatic and not include lines.c in the main C file and just link it separately 20:49:40 BUT WHY? 20:49:54 (Note: I will have to do this really soon or I shall go insane.) 20:50:16 "[...] I shall go insane." 20:50:33 elliott: well, that's why, right there 20:50:42 haha lines.c crashes emacs for a bit 20:50:59 at the same time you start compiling it separately you can just as well fix that binary-file magic 20:51:16 olsner: I could just write an actual parser. 20:53:55 elliott: It certainly does seem to enable digraphs by default: 20:53:56 $ echo 'int foo(int a<::>) <% return a<:42:>; %>' | gcc -xc -c -o test.o - && echo okay 20:53:56 okay 20:54:32 fizzie: X_X even with -std=c89 20:54:33 ? 20:54:38 because digraphs are a c99 feature 20:54:56 Not with that. 20:55:05 :1: error: expected ‘;’, ‘,’ or ‘)’ before ‘<’ token 20:55:05 :1: error: expected identifier or ‘(’ before ‘%’ token 20:55:05 hmm, there is: http://tigcc.ticalc.org/doc/gnuasm.html#SEC97B in gas - perhaps a bit of global inline assembly would be the perfect way of embedding that binary file 20:56:08 That could work, if you just add a label and an extern-declaration if you're going to refer to whatever you're incbin'ing. 20:56:22 (Label in the inline asm before .incbin, that is.) 20:56:45 olsner: doesn't split it up 20:57:41 elliott: you need to split it up? 20:57:49 elliott, also. I demand that all components of Mitosis be biologically-named. 20:58:09 olsner: yep 20:58:11 Phantom_Hoover: no 20:58:20 elliott, WHY 20:58:21 Also they should all end in "osis" 20:58:28 Gregor, no.. 21:00:16 -!- ais523 has joined. 21:00:23 elliott: ok, maybe you should just go ahead and write that parser 21:01:12 olsner: i have 21:01:14 s/ $// 21:01:17 olsner: it just happens to output C 21:01:25 hi ais523, I'm compiling a 70 meg c file with gcc 21:02:21 elliott, why won't you use my naming convention? 21:02:36 WHYYYYY 21:02:50 elliott: with or without optimisation? 21:02:54 ais523: -Os 21:03:03 ais523: note: the majority of the 70 megs is a big array of strings 21:03:10 ah, OK 21:03:22 my experience with compiling ick is that large files needed to be split up 21:03:39 in order to avoid thrashing on occasion 21:04:11 this was with -O2, which is much the same as -Os optimization-difficulty-wise 21:04:15 ais523: can't really, in this case. I should just parse it at runtime, but where's the fun in that? :) 21:04:22 (incidentally, why does -O1 even exist? what purposes are there for using it?) 21:04:29 also, do you have -fmerge-strings on? and would it help? 21:04:30 ais523: btw, the non-70 megs is just a few lines of actual C 21:04:40 ais523: -fmerge-strings... does that merge identical substrings or something? 21:04:41 elliott: if there isn't a lot of code involved you could output assembly of course, might be less gruesome to compile afterwards 21:04:45 elliott: I think so 21:04:54 I can't remember if it's on by default or not 21:04:55 ais523: it *might* help, but not immensely; also the thrashing would be insane 21:05:01 I doubt it's on by default 21:07:46 ah, it's -fmerge-constants 21:07:51 and it's on by default at -O1 and higher 21:07:58 (including -Os) 21:09:29 fizzie: groan <-- why groan about srand() 21:09:32 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 21:09:47 because srand() is boring 21:09:52 and i have to pass it a seed 21:10:03 which involves using the clock or someth' 21:10:14 time(NULL) + getpid() /* OH NOOOOOSE */ 21:10:23 olsner: -rw-r--r-- 1 elliott elliott 79M Nov 15 20:44 lines.c <--- what *is* that? 21:10:26 Gregor: ugh it's like the holocaust 21:10:35 except specially for me 21:11:14 Vorpal: C code, 79MB of it 21:11:17 In case there's any amateur #esoteric historians, here's a logfile I just ran across from Dec 7th 2002 to Jan 3rd, 2003; it's the one file that wasn't in that "old logs from fizzie" set in Gregor's log-repo. http://zem.fi/~fis/esoteric-2002-12-fizzie.txt 21:11:23 olsner, yes. But how can you get that much 21:11:33 (It's from the system I had my IRC on before I moved it to from where the Gregor repo logs start from.) 21:11:36 you generate it, obviously 21:11:45 olsner, what does the file represent? 21:11:49 that's the only sane way to get properly insane amounts of code 21:12:09 Gregor: In case there's any amateur #esoteric historians, here's a logfile I just ran across from Dec 7th 2002 to Jan 3rd, 2003; it's the one file that wasn't in that "old logs from fizzie" set in Gregor's log-repo. http://zem.fi/~fis/esoteric-2002-12-fizzie.txt 21:12:26 Vorpal: it represents happiness 21:12:26 elliott: Yes, I was already highlighted what with my name appearing in his message. 21:12:35 Gregor: But it had 's after it! 21:12:38 Your client could SUCK! 21:13:19 elliott, you are being unintentionally unhelp you know 21:13:23 fizzie: was clog logging then? 21:13:26 elliott, what does that code do? 21:13:30 ais523: clog started in 2003 21:13:33 Vorpal: smiles 21:13:33 fizzie: I already have this log under the name "more-days.log" 21:13:38 Gregor: Oh! 21:13:47 elliott, ..................................................................................................... 21:13:48 Gregor: I assumed those were LESS days. 21:14:03 Gregor: The file size was so big, I didn't look at it. 21:14:10 X-D 21:14:16 Never you mind, then. 21:14:45 -!- Phantom_Hoover has joined. 21:15:09 fizzie: not even with head(1)? 21:15:17 or something like less(1) that can load the file lazily? 21:15:24 ais523: I don't have it here locally, I was just looking at his web hg thing. 21:16:04 Mind you, this file is an incredible 220K :P 21:16:15 that's large? 21:16:23 If your browser supports gzip, it's probably 1/10th that in bandwidth. 21:17:05 elliott, turns out my computer budget was considerably larger than I thought. 21:17:11 Phantom_Hoover: What is it? 21:17:14 Go back to the original upper bound. 21:17:22 Phantom_Hoover: $799? 21:17:34 Yep. 21:18:02 Gregor: That's like over half a C64 floppy. 21:18:03 Phantom_Hoover: I'll totally get on it as soon as I get this code working. 21:18:15 hmm 21:18:27 strlen(foo[n]) for "char *foo[]" should work... properly, right? 21:18:33 as in not return inexplicably more... 21:18:39 Or is it in fact over whole? I guess those were 170k single-sided things. 21:18:48 hmm, I typically spend around £400 on computers 21:19:07 $799 is IIRC a bit more than that 21:19:10 OH 21:19:11 lawl 21:19:19 Phantom_Hoover: why are you buying computers in dollars? 21:19:29 Wait, that was in pounds. 21:19:43 oh, £799 is quite a bit more than $799 21:19:56 £799 is basically the "if you go over this, GET RID OF EVERYTHING". 21:20:14 personally, I'd choose to spend rather less than that 21:20:17 £400 is a comfortable target, really. 21:20:20 but it really depends on what you want from a computer 21:20:44 ₤799, if it existed still, would be quite a bit less. 21:20:51 (Assuming ITL for the symbol.) 21:21:04 ais523: well, Phantom_Hoover is building his own desktop and has, inexplicably, delegated the task to me 21:21:13 ais523: presumably based on my prior happy customer or just my innate charm 21:21:19 (the task = component selection) 21:21:28 so he gets what he gets and if it includes a nuclear power station, so be it 21:21:51 hmm 21:21:55 if you do "cc -Os foo.c -o foo" 21:21:58 does it know that everything is static? 21:22:35 You can stick in that -fwhole-program just in case. 21:22:57 Though one would think that it'd be smart enough to grok it's going to link it to a finished product. 21:23:02 elliott, well, I do have a nuclear-obsessed friend. 21:23:16 -!- optbot has joined. 21:23:16 -!- optbot has set topic: http://tunes.org/~nef/logs/esoteric?C=M;O=D | interesting error. 21:23:22 (This is the same as the Japanese and aviation friends.) 21:23:43 YESIREE 21:23:44 THE ONE 21:23:45 THE ONLY 21:23:55 FORMERLY KNOWN AS "OERJAN'S TERRIBLE PUNS" 21:24:00 AND ALSO FORMERLY KNOWN AS "OTPBOT" 21:24:03 WE PRESENT TO YOU 21:24:05 THE GLORIOUS 21:24:07 -- THE RECODED! -- 21:24:12 -- THE NOT QUITE COMPLETE YET -- 21:24:14 OPTBOT!!!!!!! 21:24:21 optbot, say things. 21:24:26 NOT GOOD ENOUGH 21:24:28 Ladies and gentlemen, thank you, and may we always live in an era with more than one babble bot to talk to. 21:24:35 Phantom_Hoover: I haven't re-added that yet :P 21:24:40 In fact fungot's babble is a knockoff of optbot's. 21:24:42 -!- optbot has quit (Read error: Connection reset by peer). 21:24:52 fungot? 21:25:03 fungot isn't here. 21:25:03 FUUUUUUNNNGOOOOOOOOOT! 21:25:05 Because he sucks. 21:25:41 hmm, do fork()'d processes share stdout? 21:25:46 and if so, can their output get mingled? I would guess yes 21:25:47 Yes. 21:26:09 I really regret doing this in C... 21:26:13 Vorpal: and that's what lines.c is 21:26:18 Vorpal: everything ever said in #esoteric that clog caught. 21:26:23 The inevitable effect of doing anything in C. 21:26:29 -!- fizzie has quit (Quit: jumpin' jumpin'). 21:26:34 -!- fizzie has joined. 21:26:43 -!- fungot has joined. 21:26:50 Speaking of terrible bots... 21:26:54 fungot! 21:26:54 Phantom_Hoover: i've heard srfi-27 is " sources of random content of the array. 21:26:57 You're alive! 21:28:11 elliott: fork()'d processes share all file descriptors, including stdin/stdout/stderr. 21:29:05 You know what? 21:29:06 Fuck C. 21:29:10 I'm writing it in rc. 21:29:48 hmm, what's the simplest way to get a random number in non-bash? 21:30:04 File descriptors (well, assuming no FD_CLOEXEC flags) even survive over execve; irssi has that funky "re-exec() a new binary without disconnecting" thing. 21:32:28 Probably depends on what you want to depend on. 21:33:05 elliott, what aren't you writing in C? 21:33:10 svmg? 21:33:27 Phantom_Hoover: optbot 21:33:28 v2 21:33:30 elliott, hah 21:33:31 electric boogaloo 21:33:32 elliott, but why 21:33:37 anyway 21:33:39 Vorpal: optbot v2! 21:33:44 Vorpal: I decided that parsing files was for fuckheads. 21:33:52 Note: I have since become a fuckhead. 21:33:59 elliott, you had to parse it to turn it into C? 21:34:01 * Phantom_Hoover attempts to learn how to use AUCTeX; fails. 21:34:07 Vorpal: well yes, but that was ... easier 21:34:10 Vorpal: i forget why 21:34:14 Phantom_Hoover: it's easy 21:34:15 Primarily due to having a poor grasp of LaTeX at best. 21:34:16 Phantom_Hoover: you type shit 21:34:19 and then you use the keys. 21:34:25 fizzie, in minecraft: if you *do* come across ice, how do you get it in your inventory? I heard you could get water into nether this way so... 21:35:45 elliott, yeah, but I'm not sure what to type. 21:35:56 Phantom_Hoover: latex 21:36:10 And here we reach the crux of the problem. 21:38:09 hmm, can dc output a random number? 21:39:01 No. 21:39:07 Unless it's completely undocumented 21:39:12 -!- Mathnerd314 has joined. 21:39:18 elliott: Well, you can implement a PRNG in it... 21:39:28 elliott, what about reading /dev/urandom ? 21:39:41 elliott, tr to strip everything but digits 21:39:42 or such 21:39:52 What's the difference between /dev/random and /dev/urandom? 21:40:10 the documented one. Which is that urandom will not block. 21:40:18 due to how it is implemented 21:42:47 Phantom_Hoover: /dev/random will wait until there's enough entropy to give a true-random number (although a friend of mine at University semi-reliably informs me that it overestimates how much entropy it has); /dev/urandom will substitute a cryptosecure random number if there isn't enough entropy for a true-random one, so it always returns instantly 21:43:03 the result is that for basically anything, /dev/urandom is good enough and the one you should use 21:43:11 How does it know how much entropy it has? 21:43:51 ais523: in fact, even for crypto purposes, /dev/urandom is preferable 21:43:58 I know this because I READ IT! 21:43:59 it increases it a small amount whenever it mixes in a random source 21:44:06 elliott: I wouldn't be surprised at that 21:44:17 although, /dev/random is no worse than /dev/urandom apart from being substantially slower 21:44:44 Unless you have a gigantic cluster of entropy generators on your computer. 21:45:02 Say, replacing the state of Kansas with a set of Geiger counters. 21:45:45 pikhq: that sounds like overkill 21:46:06 Yup! 21:48:49 what do freenode's pings look like? 21:49:59 hmm, it only pings if you don't talk for a while 21:50:07 IIRC, though, it's PING :server 21:50:17 where server is the name of the server you're connected to 21:50:33 although that could have been a different ircd, it was so long since I checked that 21:52:27 ugh, seems loggic didn't log pings, I checked 21:52:31 (it logged everything /else/...) 21:53:18 no biggie 21:55:18 elliott, TNT canons in minecraft look fun 21:55:22 dangerous too 21:56:07 pachelbel's canon in TNT, that does sound a bit dangerous 21:56:15 aaargh 21:56:18 cannon* 21:56:49 olsner, also argh: why it is a good piece, why do people think of that every time someone days canon. There are many others. 21:57:41 Because it's olde and Bach liked it. 21:58:33 And in spite of the fact that it's an obscenely repetitive piece of garbage (even for a canon), hey, Bach liked it :P 21:59:06 Our mere opinions pale in the face of Bach's! 21:59:15 Exactly! 22:01:57 Vorpal: I don't have any idea how to actually get ice, except by trickery. 22:02:41 -!- Sasha has joined. 22:04:49 As for random numbers, you can take them out of awk, with something like awk 'BEGIN{print int(16*rand());}' < /dev/null for an integer in the [0, 15] range. I'm sure there's something simpler too, and I haven't checked if that works for plain-POSIX awk. 22:05:28 (Or the random devices, of course.) 22:06:00 fizzie: rand()*BIG isn't very well-distributed though. 22:07:54 "od -An -N3 -i /dev/urandom" gives you a decimal integer in the range [0, 2^24-1], with some whitespace in front; no messing around with uglily filtering only digits out of the random bytes. 22:08:18 fizzie, hm 22:08:41 "od -An -N4 -tu4 /dev/urandom" will give one in [0, 2^32-1]. 22:09:30 fizzie: Now get me one in [0, 1728038] :P 22:09:39 I wish dc just had a random instruction. 22:09:43 Just take the modulo, it's well-enough distributed. 22:10:01 I assume you have something that can compute. :p 22:12:09 What *is* the difference between TeX and LaTeX? 22:12:13 echo `od -An -N8 -tu8 /dev/urandom` 1728038%p | dc 22:12:20 That seems like reasonably workingy thing. 22:12:23 TOPIC #esoteric :156 :is :unimplemented :145 :is :unimplemented :1263442 :save:args :165 :is :unimplemented :156 :is :unimplemented :stack :empty :155 :is :unimplemented :empty :stack :155 :is :unimplemented :145 :is :unimplemented :156 :is :unimplemented :164 :is :unimplemented :145 :is :unimplemented :165 :is :unimplemented :156 :is :unimplemented :155 :is :unimplemented :empty :stack :155 :is :unimplemented :145 :is :unimplemented :156 :is :un 22:12:23 implemented :164 :is :unimplemented :145 :is :unimplemented :3 22:12:25 Except +1 since you wanted that range. 22:12:44 fizzie: Actually not +1 there. 22:13:01 Oh, so you want [0, 1728038) then. 22:13:02 Phantom_Hoover: LaTeX is a macro package on top of TeX. TeX itself is very imperative and layout-concerned. LaTeX is more semantic. 22:13:11 fizzie: Yeah. Or something. 22:13:50 ; n=`{echo `{od -An -N8 -tu8 /dev/urandom} $linecount % p | dc} 22:13:51 ; echo $n 22:13:51 stack empty 8846169905319014834 22:13:52 Hmm. 22:14:21 Sounds like an empty $linecount there, but who knows. 22:14:42 Oh, indeed. 22:14:45 ; n=`{echo `{od -An -N8 -tu8 /dev/urandom} $linecount'%p' | dc} 22:14:45 ; echo $n 22:14:45 543812 156 is unimplemented 145 is unimplemented 543812 22:14:46 what 22:14:55 ; echo `{od -An -N8 -tu8 /dev/urandom} $linecount'%p' 22:14:55 1867614512691035130 1728038%p lines%p 22:14:56 Ahhhh. 22:15:38 fizzie: sed $n'p;'$x'q;d' fizzie: What could go wrong! 22:16:18 fizzie: Heh, fyi, 22:16:18 while(){ 22:16:19 settopic 22:16:19 sleep 900 22:16:19 }& 22:16:24 Does *not* die with the shell script it's started from. 22:16:28 Anyway, with -N8 -tu8 that takes a random number in the [0, 2^64-1] range, so the bias with modulo-1728038 will be that some lines are taken with a probability of 0.00000057869097786042607 and some with 0.00000057869097786048028, while they should be uniformly 0.00000057869097786044057. 22:17:49 Both are within 0.00000000000000000004 of the proper probability, so... 22:18:33 (I wouldn't be surprised if some "od"s would find it difficult to work with 64-bit numbers, though.) 22:18:38 -!- digimunk has left (?). 22:25:07 -!- sebbu has quit (Ping timeout: 265 seconds). 22:28:32 elliott: Thank you for your OpenBSD Order! In case of problems or questions about this order, please contact austin@openbsd.org Order number 2010/11/15-10:40:25-20640: Your order currently is: USD $20.00 [DON] DONATION to the OpenBSD Project Total: USD $20.00 + Shipping. 22:28:45 since when did donations charge shipping? 22:29:21 -!- sebbu has joined. 22:30:08 -!- MigoMipo_ has quit (Quit: Quit). 22:30:23 There are still 336 $10,000 bills in circulation. :D 22:30:48 (well, at least as far as the US Treasury knows) 22:32:43 I doubt people would exactly circulate a $10,000 bill 22:33:25 Yes, yes, you'd sell it at auction instead. 22:33:35 Still legal tender. 22:33:59 "legal tender" has a very specific meaning 22:34:01 ais523: The paypal donation link at openbsd.org/donations.html has "&no_shipping=1" in the URL; their own custom order system (which is primarly meant if you want to combine a donation and a regular order of openbsd fluff) probably just can't handle such fanciness. 22:34:10 it turns out, for instance, that Scottish currency is not legal tender in Scotland 22:34:29 There is no legal tender in Scotland. 22:34:37 pikhq: indeed 22:34:50 fizzie: I thought it would be something like that, but it's still hilarious 22:34:54 In the US, federal reserve notes are legal tender, even if they *were* issued over a century ago. 22:35:07 (legal tender is something that you have to accept to settle a debt, if it's of the right value) 22:35:35 (I know. $10,000 bills are legal tender.) 22:35:47 (and worth more than face value besides) 22:37:01 pikhq: in the UK, the Royal Mint let people pre-order £5 coins nowadays, on the basis that they nearly always end up being worth more than face value 22:37:17 ais523: Wow. 22:37:19 they make a profit on them too, on the basis that the materials for them cost less than £5 and they basically never end up in general circulation 22:37:26 -!- gm|lap has joined. 22:37:29 thus it doesn't screw up inflation or anything like that 22:37:56 Are £5 coins just commemorative releases or something? 22:37:58 yep 22:38:16 (presumably, they aren't legally allowed to sell them for any value other than £5) 22:40:06 Closest the US has to that is the series of bullion coins. 22:40:39 Which are worth significantly more than their face value as raw materials alone. 22:40:40 Incidentally, have I previously professed my utter bafflement at MathML? 22:41:39 For instance, the American Buffalo coin has a face value of $50. And is about $1510 worth of gold. 22:41:45 -!- cheater99 has quit (Ping timeout: 245 seconds). 22:42:26 Phantom_Hoover: Yes. 22:42:49 I don't think they're actually legal tender though, in spite of being made by the US Mint. 22:43:17 (legal tender is something that you have to accept to settle a debt, if it's of the right value) 22:43:19 pikhq: you'd be insane to /not/ accept one to settle a $50 debt... 22:43:31 Nope, they are *actually* legal tender for their face value. 22:43:31 ais523: please tell me that this means in Scotland, you could refuse to accept Scottish money to settle a debt 22:43:37 elliott: Yes. 22:43:46 pikhq: indefinitely? 22:43:59 "Okay, sir, I have your money!" "Bugger off." "But I want to clear my d-" *slam* 22:44:02 elliott: presumably, you wouldn't be able to actually /claim/ on the debt if you'd repeatedly rebuffed attempts to pay you 22:44:10 the courts tend to look down on that sort of thing 22:44:17 ais523: Not common law. ;) 22:45:46 from #plan9 22:45:47 01:29:18] 9965 GNU, an asteroid named after the GNU Project 22:45:47 [01:29:53] I hope that's the one that hits earth and extinguishes all life 22:45:47 [01:30:03] the last words on my dying lips will be "I told you so" 22:46:19 there's an asteroid named after GNU? 22:46:31 ais523: http://en.wikipedia.org/wiki/9965_GNU 22:46:34 9965 GNU is a C-type main belt asteroid. It orbits the Sun once every 3.76 years.[2] 22:46:34 Discovered on March 5, 1992 by Spacewatch, it was given the provisional designation "1992 EF2". It was later renamed "GNU" after the GNU project, whose software is important to academic computing.[3] 22:46:38 Other free-software-related asteroid names: 22:46:38 * 9885 Linux 22:46:38 * 9793 Torvalds 22:46:38 * 9882 Stallman 22:46:56 ais523: there's so many asteroids that they practically give away the names for free :) 22:48:17 well, indeed 22:48:22 they must be rather short of inspiration 22:48:29 is there an asteroid called Microsoft? 22:48:32 let's hope not 22:48:52 ais523: there are two pest insects named after Bush and Cheney IIRC, but it was meant as a homage :( 22:49:06 (species, that is) 22:49:55 elliott: four were named at the same time, three after prominent Republicans, and one after Darth Vader 22:50:08 ais523: heh 22:50:14 ais523: I know the Bush/Cheney ones were confirmed to be a homage, though 22:50:21 at least, that's what they said 22:50:32 they could be lying for obvious reasons 22:50:55 indeed 22:52:28 -!- augur has quit (Remote host closed the connection). 22:53:17 There are quite a few dinosaur species up there, too; though I guess that's a sensible name for a big thing. 22:54:41 -!- cheater99 has joined. 22:55:28 And then there's that whole set of consecutively 9617 Grahamchapman, 9618 Johncleese, 9619 Terrygilliam, 9620 Ericidle, 9621 Michaelpalin and 9622 Terryjones. 22:56:35 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:56:44 Spacewatch has also discovered and named the 9548 Fortran; maybe we should petition for Brainfuck or Befunge or something next? 22:57:22 Brainfuck would be a great asteroid name 22:57:52 ais523: ... yes. 22:59:49 ais523: Oracle appear to be spamming everyone who has ever given their email to Sun 22:59:51 [[Dear Customer, 22:59:51 Oracle University UK would like to extend a warm welcome to you! 22:59:51 We are doing our very best to ensure the transition from Sun Learning Services to Oracle University goes as smoothly as possible. In order to facilitate this transition we would like to provide you with some basic information to help you.]] 22:59:58 or at least, me :) 23:00:11 Oh, and Knuth has his own rock too (21656 Knuth). 23:00:17 "Oracle University UK"? 23:00:47 elliott: the Java API is now on oracle.com rather than sun.com (although they've put redirects in for every page, fortunately) 23:00:58 it felt so strange linking there for my students 23:01:40 "Oracle University UK"? 23:01:45 some Oracle docs site or something 23:02:07 what a pretentious name 23:03:46 ais523: it is /Oracle/ 23:07:20 ais523: Donate to stop
the blinking!
--openssh.com 23:07:46 elliott: ... no way ... 23:07:52 Gregor: Yes way. 23:08:05 zomg, there it is. 23:08:10 I'll bet it's bad at tracking that :P 23:09:31 Gregor: they probably link you to a member's only copy of the site without that :P 23:09:40 Mmmmmmmmmm 23:09:42 Yeah 23:09:49 Vorpal: 23:09:50 01:40:04 AnMaster: pirate it. 23:09:50 01:40:11 tusho, I don't do that... 23:09:50 01:40:35 I don't break the law like that 23:09:53 Vorpal: HOW FAR YOU HAVE SUNK 23:10:10 http://openssh.com/?donated=yes -- aww, it didn't stop the blinking. :/ 23:10:21 Maybe admin=yes, then... 23:10:23 Gregor: Or maybe you get an account on openssh.com, and you have to use ssh to set up ssh forwarding so that http://localhost:8080/ points to the site (only served on openssh.com's localhost) without the blinking. 23:10:26 Gregor: Dogfooding! 23:11:12 X-D 23:11:40 Gregor: Or maybe donating gets you the instructions "Access the blink-less site with: $ lynx openssh.com" 23:11:43 (Is lynx GPL?) 23:12:16 I thought it was. 23:12:50 elliott: Google's excerpt from the Wikipedia article on Lynx says yes 23:12:56 the article itself doesn't, though 23:13:07 ais523: heh 23:13:29 It says to me, in the infobox. 23:14:15 citation is to http://lynx.isc.org/lynx2.8.7/lynx2-8-7/COPYHEADER 23:14:22 [e]links[ 2] is better :P 23:14:25 fizzie: ah; still, the infobox has different wording from the Google quote 23:14:30 Gregor: I like w3m 23:14:59 ais523: There seems to be no current links that supports JS, and neither does w3m (although w3m has images by some bizarre magic) 23:15:32 I think we took a look at how w3m (was it w3m?) does images; it was pretty bizarre indeed. 23:15:38 Gregor: it makes images into links that spawn an external image viewer, IIRC 23:15:59 ais523: Yeah, but how does it know where to put them? 23:16:09 ais523: Even if you're using e.g. konsole, it draws the image at the right place. 23:16:25 Gregor: There was a really kludgy heuristic for the offsets. 23:16:28 oh, I never noticed it was putting them in the right places 23:16:33 fizzie: Yowza. 23:17:30 Gregor: Uh, I'm pretty sure Elinks supports Javascript. 23:17:40 I *know* it depends on SpiderMonkey. 23:17:44 I can't be sure it was exactly w3m; but we did take a look at one text-mode browser that magicked images on top of console sort-of in the right places. 23:17:56 pikhq: It doesn't work with recent SpiderMonkey. 23:18:00 fizzie: That's w3m. 23:18:02 Gregor: Aaaw. 23:18:21 pikhq: And Links 2, which had its own interpreter, has it all commented out now X-D 23:18:48 Gregor: "it recognizes the text part of the terminal window by looking for a child window that has a width and height of at least 0.7 times the actual window; and then it does: if (attr.x <= 0 && attr.width < 30 && attr.height > wop->height * 0.7) /* scrollbar of xterm/kterm ? */ wop->offset_x += attr.x + attr.width + attr.border_width * 2;" 23:19:10 ais523: do you use w3m as a pager too? 23:19:10 fizzie: Holy fuuuuuuuuuuuck X-D 23:19:12 it's meant to be :-P 23:19:18 elliott: no, I generally use less 23:19:20 I think Vorpal said it breaks in his terminal. 23:19:23 Gregor: "it recognizes the text part of the terminal window by looking for a child window that has a width and height of at least 0.7 times the actual window; and then it does: if (attr.x <= 0 && attr.width < 30 && attr.height > wop->height * 0.7) /* scrollbar of xterm/kterm ? */ wop->offset_x += attr.x + attr.width + attr.border_width * 2;" 23:19:26 A W E S O M E 23:19:41 elliott: The most horrifying thing is that it works. 23:19:42 ais523: w3m can't load non-regular files, alas 23:22:35 -!- Sgeo has joined. 23:22:37 Huh. 23:22:49 Heh, normally tunes.org logs open just fine as plaintext, but the day for that w3m discussion -- http://tunes.org/~nef/logs/esoteric/10.05.02 -- has a lot of \x0f's from myndzi near the top, so at least my browser wants to save it since it's obviously a binary file. (Even though it still comes with content-type: text/plain.) 23:22:57 w3m is short for "WWW wo miru" (WWWを見る). 23:23:06 Did not realise. 23:23:34 fizzie: That happens to me, too. 23:23:52 pikhq: I don't follow where the "3" came from for that. 23:23:53 Another tidbit of magic: "It also finds the terminal window by looking what window has the input focus." 23:23:54 fizzie: botte, of course, will have nicely-formatted clog logs. Also your logs. Also anyone else's logs I can merge in. Also botte's own logs. 23:23:57 Phantom_Hoover: A Lisp-Smalltalk hybrid? (Note: Smalltalk is a good language despite Sgeo.) 23:24:06 Sgeo: I CAN'T HEAR YOU 23:24:08 Sgeo: I CAN'T HEAR YOU 23:24:09 Sgeo: I CAN'T HEAR YOU 23:24:11 Gregor: w3 = www 23:24:12 The way you talk about it, you'd think that I was more than a fan 23:24:18 elliott: So where did the "wo" go? 23:24:23 Disappeared. 23:24:29 Gregor: Just like you drop "of" and the like in English abbreviations. 23:24:36 First, it's a grammatical particle, so nobody cares. 23:24:44 Mmm, I was trying to interpret it like i18n X-P 23:24:46 Related pages 23:24:46 * Sakamoto Hironori's Homepage 23:24:46 The best contributer's page. 23:24:48 --w3m.sf.net 23:24:56 All the other contributors suck. 23:25:06 That somehow Phantom_Hoover might think that my liking a language automatically means it's bad 23:25:11 "W3m has many siblings/friends." 23:25:20 Well, I thought we were just friends, but then she became my sister. 23:25:54 Gregor: What's scarier is when you run something in an xterm and it somehow has images: http://upload.wikimedia.org/wikipedia/commons/6/62/W3m-wikipedia.png 23:25:57 HOWWWW 23:26:07 elliott: ... that's what we were talking about like five minutes ago. 23:26:13 Second, it's Hepburn-romanised as "o", anyways. 23:26:13 Third, it can be considered a suffix, rather than a seperate word. 23:26:13 (it's a fairly arbitrary designation, though) 23:26:20 Gregor: I thought we were just talking about where it knew to start the image viewer. 23:26:30 External, that is. 23:26:33 I guess that made no sense to me either. 23:26:52 God damn cable getting unplugged. 23:27:00 elliott: It puts the window-frame-free image viewer at the correct location for the terminal emulator and screen. 23:27:11 Gregor: ...and then moves it around? 23:27:16 Yup 23:27:24 Gregor: That is the best worst thing ever X-D 23:27:29 Yes. 23:27:37 Gregor: It'd be better with xterm's Tektronix emulation. 23:27:41 That can embed graphs, at least. 23:28:27 I wonder if it can do the same on vt1 with fbdev :) 23:28:31 Gregor: If my memory is correct, it does actually draw the image by itself, instead of using a separate program for that; and the code was too messy for me to tell whether it just acquired somehow a graphics context to the terminal window (which is what it *looked* like it was doing) or just did the more reasonable (well, relatively speaking) thing of opening a popup-styled window and put it in the right place. 23:28:50 Gregor: "There's similar code for linux framebuffer, to draw directly into it. I think elinks or links2 or something supported the framebuffer like that too." 23:28:58 fizzie: YESSSSSSSSSSSSSSSs 23:28:59 See, we covered everything you might wonder. 23:29:20 fizzie: links2 just draws everything with the framebuffer, w3m uses normal text mode for everything but graphics, making w3m far more magical :P 23:29:29 fizzie: Please tell me it supports using libcaca when you just have bytes and that's it. 23:29:40 fizzie: Elinks and links2 can just do graphical rendering. 23:29:44 elliott: God I hope so. 23:29:55 pikhq: Uhhh, elinks can't do graphics. 23:29:57 libcaca == aa-like thing? 23:29:58 Hey, w3m has a man replacement. 23:30:00 (w3mman) 23:30:02 I wonder why. 23:30:28 OMG 23:30:30 Headers are links to the header file 23:30:34 pikhq: Nor can it do JS right now *sobblecopter* 23:30:36 Manpages are links to the pages 23:30:43 w3mman is the BEST THING EVER except it doesn't scroll nicely 23:30:45 Gregor: Argh, so it can't. 23:30:55 Gregor: Please record the noise of a sobblecopter. 23:30:58 I'm not sure about libcaca; I've used it as an external image-viewer for something, but I'm not sure it can use it to draw on page. 23:31:09 pikhq: I was looking into this just recently to see if I could add *links* to http://js.codu.org/ :P 23:31:26 WTF Reddit is hallucinating on me 23:31:40 How do you enable images in w3m ;_; 23:31:45 I have it enabled in the options 23:31:54 elliott: Requires a "plugin" or something, w3m-img or whatever it's called. 23:32:09 I had a phantom orangered 23:32:56 Gregor: Already installed bitch 23:33:02 -!- Hiant has joined. 23:33:05 elliott: Then Idonno :) 23:33:27 lawl it wants a w3mimgdispaly command which ivn't got 23:33:38 how do you list files in a package again 23:33:52 dpkg-query -L 23:34:29 /usr/lib/w3m/w3mimgdisplay 23:34:33 fucking debian shoving shit into /usr/lib 23:34:55 Yeah, should be /usr/libexec 23:35:03 Gregor: should be /usr/bin :p 23:35:17 /usr/libexec forevars 23:35:32 "Maximum processes for parallel image loading" 23:35:35 why is this a setting :D 23:35:48 Gregor: Holy shit 23:36:04 Gregor: It... raped my terminal. 23:36:10 8-D 23:36:11 Gregor: http://i.imgur.com/q0dDC.png 23:36:19 Gregor: Anyway, http://p.zem.fi/x11-w3mimg.c (see w3mimg_x11open at the bottom) and then http://p.zem.fi/w3mimgdisplay.c what it uses to keep the image synced. 23:36:24 -!- ais523 has quit (Remote host closed the connection). 23:36:28 Gregor: Gahaha, minimise and unminimise and it disappears until you scroll or something. 23:36:34 Gregor: Oh wow, it goes over my menu bar. 23:36:45 This is the least reliable thing EVER 23:36:58 Gregor: Dear god, if you uncomment out the JS it could do websplat. 23:37:04 Gregor: HORRIBLY 23:37:24 elliott: Minus its obscene lack of necessary features ... 23:37:28 elliott: Hey, there *is* a rather comprehensive survey of how different terminals arrange their subwindows in x11_w3mimg.c. 23:37:37 Gregor: It has images, it has JavaScript. What more do you need? 23:37:44 elliott: Actual DOM features. 23:37:46 fizzie: Who implemented this and where do I send hugs X-D 23:37:53 Gregor: Fiine, just port V8 to it. 23:37:56 -!- Wamanuz has joined. 23:37:59 elliott: v8 != DOM 23:38:13 Gregor: Just port Chrome to w3m 23:38:26 Gregor: Should I make that sentence more ridiculous? :P 23:38:30 elliott: Yes. 23:38:42 Gregor: Just port Linux to w3m, problem solved 23:38:49 NO WAIT 23:38:51 Gregor: Just port X11 to w3m, problem solved 23:39:16 elliott: Probably the most "feasible" system would be to run a graphical browser headless and "serialize" its DOM to a textual view. 23:39:30 Hey, Linus uses Chrome. 23:39:34 prompt$ LD_PRELOAD mymemcpy.so /opt/google/chrome/google-chrome & 23:39:40 -- https://bugzilla.redhat.com/show_bug.cgi?id=638477#c38 23:39:45 Gregor: <3 23:39:52 -!- Hiant has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]). 23:40:08 "(and I tested the Daughtry thing too, although I am not convinced it 23:40:08 sounds all that much better without the sound corruption)" 23:41:46 Gregor: Anyway, the code is too messy for me to actually figure out, but it really *looks* as if it were just acquiring a graphics context to the terminal window and drawing directly on top of that, but I guess it still does the reasonable (well, relatively) thing of creating a frameless popup window on top. 23:41:50 (It's just that it does XCreateGC(xi->display, xi->window, ..) and earlier xi->window has been initialized with XGetInputFocus; it really doesn't seem to actually *create* a window anywhere.) 23:42:10 -!- Wamanuz5 has quit (Ping timeout: 260 seconds). 23:43:17 a) The cat must vacate my room 23:43:17 (Well, XGetInputFocus and then some walking of the window tree to get to the actual text container in some cases.) 23:43:27 b) This applies to all rules where the cat is present in my room 23:43:32 c) The cat must vacate its bowels 23:44:44 EVIL ARCHAEOLOGY 23:44:48 of source code 23:44:55 practised by... evil programmer indiana jones 23:51:28 elliott: Looks like Google's spriting bit you. 23:51:44 pikhq: Yes. I am radioactive now! 23:52:08 elliott: They use a single image containing all the images on their page and use CSS to display the relevant portions. 23:53:02 pikhq: I'm also Spider-Man. 23:53:39 Woots. 23:54:35 pikhq: Argh, yes, that kills WebSplat too >: ( 23:54:43 Well, not kills, but makes wonky. 23:55:29 You mean, WebSplat doesn't include its own ... actually, I have only a vague idea of what I wanted to say. 23:55:32 -!- FireFly has quit (Quit: swatted to death).