00:00:25 -!- Sgeo_ has quit (Read error: Connection reset by peer). 00:01:20 exit 00:01:24 BWAHAHAHAHA 00:01:25 -!- catseye has quit (Quit: leaving). 00:02:12 -!- Sgeo has joined. 00:09:10 i assume that means we are doomed. 00:09:45 oerjan, we always been 00:10:26 -!- catseye has joined. 00:11:00 Mounting NTFS filesystems read-write should be stable on Ibex? Do you think so, what is your opinion? 00:12:03 catseye, "no" 00:12:20 catseye, on karmic or later with ntfs-3g "yes" 00:12:53 catseye, but I wouldn't do it on ibex 00:12:55 Vorpal, "fuck" 00:13:06 catseye, just upgrade ... duh 00:13:21 DUH 00:14:00 no risk of losing the files I'm trying to copy onto the NTFS filesystem by doing that 00:14:01 catseye, do you have a large enough usb drive to hold a disk image of lucid or such? And an external hdd to back the whole disk to? 00:14:02 if so 00:14:06 boot usb stick 00:14:24 dd if=/dev/sda1 /media/external-drive/whatever 00:14:26 and so on 00:14:30 for each partition 00:14:31 I has a purry lap kitty! 00:14:48 Gregor: so has me! aw she left 00:14:49 catseye, once per partition since that is easier to loop-mount 00:15:16 wait wait wait 00:15:21 catseye: it is clear that you need to sacrifice the goat here 00:15:24 i can boot 10.10 live off the usb stick 00:15:38 and mount both partitions r/w under that boot 00:15:54 catseye, I would still be careful and back the partition up first 00:15:56 -!- augur has quit (Remote host closed the connection). 00:16:45 Vorpal: it's backed up. I made sure to back it up before restoring Windows. But I'd like to get the files onto DVD (I don't entirely trust external HDDs after my experience with my last one.) 00:16:46 catseye, and remember: do it using ntfs-3g, not using the in-kernel drivers 00:17:33 Vorpal: how do I tell the difference? in fstab (in Ibex) it just says 'ntfs-3g' 00:18:16 catseye, ibex has early ntfs-3g? 00:18:17 well 00:18:21 I would not trust it 00:19:00 catseye, I mounted ntfs with ntfs-3g using the ntfs-3g command, never by fstab 00:19:45 Some of the programs I have written in Enhanced CWEB, it seems it should have bibliography section. 00:20:06 zzo38, use bibtex then? 00:20:32 -!- augur has joined. 00:20:49 I would assume an ntfs-3g fstab entry is handled by the ntfs-3g command 00:21:13 catseye, same 00:21:24 catseye, I wouldn't trust such an old version as that of ibex though 00:21:29 ok, trying-this time 00:21:34 -!- catseye has quit (Quit: trying-this time!). 00:26:06 -!- catseye has joined. 00:26:14 llo llo 00:27:21 oh, too easy. 00:27:34 both drives are just available from the 'Places' menu. sweet. 00:29:30 Vorpal: BibTeX is one possibility. Or perhaps I can just write a TeX macro for bibliography, instead. 00:29:55 -!- SgeoN1 has quit (Quit: Bye). 00:32:23 mhm 00:32:25 night → 00:39:37 I GOT ACTUAL 24P OUT OF THIS 00:40:42 filmdint followed by phase=U. filmdint is a hybrid inverse teleciner and deinterlacer, and phase=U attempts to autodetect and correct interlacing that's at the wrong phase. 00:44:31 The *only* problem? Some of the frames are deinterlacer output, because for no good reason, some frames appear to only possess the bottom portions of the source 24p frame. 00:45:23 Ah, running phase=U before as well fixes some of *that*. 00:45:53 I AM VICTORIOUS 00:46:21 * Sgeo goes to install LyX 00:46:41 zzo38, what's your opinion of LyX? 00:47:00 Better-than-source encode FTW. 00:48:20 Sgeo: I have not used it, but from what I see, I would prefer typing TeX codes in a text editor instead, including macros and category codes and all of that other stuff. 00:48:45 (Category codes is a feature of TeX which I use often.) 00:49:54 I suppose LyX is OK if you want to use LaTeX, though. But I don't use LaTeX. 00:50:43 (Because I think Plain TeX is superior) 01:12:42 -!- comex has quit (Ping timeout: 240 seconds). 01:14:30 -!- quintopia has joined. 01:14:51 it is the millennium+10, and there is no more time for Mandelbrot 01:15:27 the future is _so_ last decade 01:25:03 * pikhq wonders why 25i video doesn't use 2:2:2:2:2:2:2:2:2:2:2:3 pulldown for 24p display 01:27:11 -!- wareya_ has joined. 01:30:14 -!- wareya has quit (Ping timeout: 276 seconds). 01:36:43 Note to self: Don't accept defaults just because they sound vaguely reasonable 01:37:00 Asking me for each package whether or not to install it is NOT reasonable 01:37:15 * Sgeo unchecks something or other 01:41:03 elliott: I think we can safely assume NetBSD will not be happening tonight. 01:42:14 -!- FireFly has quit (Quit: swatted to death). 01:43:37 bac 01:43:39 *back 01:43:42 catseye: aww. why? :( 01:44:04 Sgeo: what are you installing? 01:44:26 LyX, which needed to install MikTeX 01:44:44 Sgeo: installing all latex packages is a good idea 01:44:52 hey i just realised, i'm on at the same time every day 01:44:59 since i wake up on weekends the same time i get back from school 01:45:20 You may have a sleep disorder. 01:46:12 pikhq: i deem it "teenagerism" 01:46:15 I may have a sleeping disorder too. 01:46:27 pikhq: The great thing is, I can't medicate it legally! 01:46:28 `addquote hey i just realised, i'm on at the same time every day You may have a sleep disorder. 01:46:37 pikhq: Melatonin is a prescription-only drug over here. 01:46:38 nah, I'm just not sleeping properly, it's not a disorder 01:46:45 oerjan: :D 01:46:52 And convincing a GP to prescribe melatonin... hahahhahahahahahaha never. happening. 01:46:59 dammit, hackego isn't here 01:48:24 * Sgeo should probably make some effort to do some homwork 01:48:51 * olsner makes an effort to sleep 01:51:29 -!- zzo38 has quit (Quit: zzo38). 01:51:53 slackego! 01:52:12 elliott: well, depends on how much longer it takes to copy, burn, etc. 01:52:47 * coppro wants to implement a generic tactical game engine in Haskell 01:54:38 MikTeX isn't LaTeX? 01:55:00 coppro: in the type system! 01:55:05 * oerjan runs away 01:55:23 ab-dab 01:55:31 oerjan: ofc 01:55:46 amusingly, it leads to a precise definition of a tactical game 01:59:49 elliott, is Computer Modern an acceptable font to you? 02:00:12 Sgeo: for what? 02:00:15 your question is beyond vague 02:00:27 coppro: in the type system! 02:00:32 I want to write a typechecker. 02:00:32 To look at/use/whatever 02:00:33 In the type system! 02:00:36 Sgeo: for *what*? 02:00:39 what document? 02:00:58 ...good point 02:01:15 Is it visually pleasing with Lorem Ipsum? 02:01:26 elliott: the AI Emancipation Proclamation 02:01:44 Sgeo: I refuse to answer typography questions about Lorem Ipsum... 02:03:54 Ipso Facto 02:04:01 * oerjan now with recycling 02:06:09 I assume that Yap is a DVI viewer? 02:06:58 pikhq: http://fbpanel.sourceforge.net/index.html 02:07:11 Sgeo: yes 02:07:17 "Yet Another Previewer" 02:11:56 pikhq: Somehow setting the resolution with xrandr and rebooting... works. 02:12:11 * Sgeo decides to redo the LyX tutorial 02:12:19 It's been years since I've touched LyX 02:13:01 elliott: ? 02:13:07 elliott: That.. And. Why? 02:13:13 pikhq: I don't even know. 02:13:18 pikhq: It... it remembers. 02:13:20 How does it remember? 02:13:22 I DON'T KNOW 02:14:04 pikhq: Anyway, fbpanel looks like a nice dependency-free panel. 02:19:12 phase,filmdint,phase,telecine,phase,pullup,softskip 02:19:38 I can't *believe* that is the fucking chain I need to put it through to inverse telecine it without noticable artifacting. 02:21:12 pikhq: LeanDE (Kitten's totally approverated desktop environment) as it is right now: lwm (perhaps a forked, slightly-enhanced version), fbpanel, Midori, ? 02:21:23 And now I can stop stopping the encode with a better idea. Because this is actually perfect. 02:21:40 Might tweak fbpanel a bit so that the current window is actually de-pressed. 02:21:41 But yeah. 02:22:45 pikhq: ...fbpanel tries to use slock by default :D 02:22:50 suckless' locking program. 02:23:06 TOTALLY APPROVE 02:24:04 pikhq: Heh, LXDE's lxpanel is a fork of fbpanel. 02:24:09 Except made to be more RUBBISH LXDE CRAP 02:24:27 God dammit. It's mixed telecine and interlaced. Because it hates me. HATES HATE HATES. 02:24:37 pikhq: More better ideas, eh? 02:24:52 elliott: No, just hatred. 02:25:52 pikhq: Oh lawl, fbpanel opens applications you click as child processes. 02:25:56 pikhq: Totally needs some patching. 02:26:00 Fuck it. What's the best deinterlacing filter for animation? 02:27:55 Not telecining in the first place X-P 02:28:26 pikhq: You should totally install lwm and admire the awesomely-designed WM. 02:28:36 Elliott H. represent 02:28:38 yay i now have a new sound test for bytepusher which doesn't have an irritating female robot voice 02:28:47 now to get some gfx up 02:29:46 Linear blend appears to look best for animation. 02:29:47 TO ENCODING 02:30:06 And *still* needing the phase filter. 02:30:08 elliott: Mmm. 02:30:43 Also features a Sufficiently Snarky Developer: 02:30:49 "lwm is a window manager for X that tries to keep out of your face. There are no icons, no button bars, no icon docks, no root menus, no nothing: if you want all that, then other programs can provide it. There's no configurability either: if you want that, you want a different window manager; one that helps your operating system in its evil conquest of your disc space and its annexation of your physical memory." 02:30:56 (Note: It has a few X resources to configure it.) 02:31:02 Goodnight; bye. 02:31:03 Gregor: Oh, it's telecined. And then edited. And post processed. And then it has 30i cell-shaded 3D overlayed. 02:31:07 -!- elliott has quit (Quit: Connection reset by peer review). 02:31:16 Gregor: And for kicks, it's got the wrong interlacing. 02:32:07 pikhq: So presumably this is something from one source used in the background of a different thing? 02:32:46 (That's just the only way I can imagine it being that broken :P 02:33:08 Gregor: It's just Invader Zim, off of DVD. 02:33:17 They just *put it to disc like that*. 02:33:36 Sweet. 02:34:23 The screwed up interlacing absolutely astonishes me, though. I can't believe they managed to screw up the field order. 02:34:43 lol, seriously? That's ... pretty broken. 02:35:17 Yes. The mencoder phase filter was designed to fix that. 02:36:12 ... FOR PAL, BECAUSE THATS THE ONLY PLACE THAT HAPPENS NORMALLY. 02:36:23 (they use the opposite field order from NTSC) 02:38:03 Hm 02:39:01 phase filter documentation doesn't MENTION it only working in pal :P 02:48:46 Mmmmaybe Mmmmmaverick can burn an ISO to DVD for mmmmme...? 02:49:16 trying 02:50:42 Gregor: No, it's *meant* for PAL. 02:51:17 it's going! 02:51:19 But it's flexible. 02:52:25 actually i should probably consider modifying it to play part of a rendering of cd_orbit.mod 03:00:17 tworked! I have a NetBSD 5.0.2 install DVD. Quite glad I did not purchase the external DVD burner; it was just some problem in intrepid. 03:03:21 D'awww. ATSC allows for h264, but most ATSC TVs can't display it, so nobody broadcasts in it. 03:03:41 (h264 requires about half the bitrate for the same quality as MPEG2...) 03:10:14 It's also crazy-expensive to {en,de}code. 03:10:51 Well, it's CRAZY-expensive to encode. It's merely slightly more expensive to decode than what people are willing to put into TVs. 03:12:34 - 03:12:45 Yes. Behold my minus sign. 03:13:15 would VP8 or theora be expensive to decode? 03:13:21 kinda wondering 03:13:51 then again, tv manufacturers and broadcasters can probably pay for patent royalties 03:14:13 IIRC Theora is worse than it ought to be, VP8 is pretty OK, both are more expensive than MPEG2 or MPEG4, and less than H.264 (it doesn't take much to be less than H.264) 03:14:42 i quite like theora 03:15:50 Gregor: VP8 is actually only *slightly* less expensive than H.264. 03:16:02 Gregor: Because it's fundamentally H.264 without the patent violating bits. 03:16:19 (at least, as far as is known) 03:16:22 Oh, is it? That's ... weird, I thought it was totally unrelated. 03:16:46 Nope. ffmpeg's VP8 encoder is a hack of its h264 encoder. 03:16:47 :) 03:17:21 Hm. 03:17:35 Also, it's only expensive to decode in software. With a hardware decoder, it's not at all difficult. 03:17:47 (they're fucking putting h.264 decoders in *phones* these days, man.) 03:21:56 * Gregor is failing to find any corroborating evidence of this comparison. 03:24:57 http://pics.spaceghetto.st/images/k9dnf.jpg sfw 03:26:55 Gregor: My fucking cell phone decodes h.264. 03:27:24 pikhq: I'm talking about corroborating evidence of the H.264-to-VP8 similarity. 03:29:12 * Gregor goes back to not caring :P 03:30:11 I know someone who works of ffmpeg 03:30:14 *on 03:30:34 He was suggesting that they rename the fastest test profile from 'veryfast' to 'plaid' 03:30:53 X-D 03:30:58 We've gone to plaid! 03:30:59 Gregor: Oh. 03:31:01 oerjan: I'm trying to figure out bits of category theory and bits of domain theory so I can understand what denotational arrows would be. I think I'm inching closer... 03:31:17 pikhq: My phone decodes H.264 too :P 03:31:31 (Probably in hardware) 03:32:42 Gregor: http://x264dev.multimedia.cx/archives/377 03:33:37 Heh, just searching for "H.264" makes it pretty clear :P 03:33:49 So it's not that it's "based on" H.264 per se, it just rips off almost every aspect of it. 03:33:54 "VP8 is simply way too similar to H.264: a pithy, if slightly inaccurate, description of VP8 would be “H.264 Baseline Profile with a better entropy coder”." 03:34:00 ok, brasero has spent twenty minutes "Creating image checksum" for a 650M image. I think it's broken. 03:34:46 On a slightly tangential note, it's a bit upsetting what happened to VC-1. 03:35:01 Microsoft tried to make a patent-free video codec. 03:35:15 Aaand patent trolls found some patents and set up a licensing group. 03:36:05 Same thing that happens whenever anybody tries to make anything patent-free. 03:36:28 Except when you go to great pains to make it unique or use old techniques. 03:36:35 (Vorbis and Theora, respectively) 03:36:36 patent trolls are the sweetest kind of troll 03:37:38 Well. Theora's not *entirely* without patents. It just has a perpetual license granted to all of humanity for those patents... 03:37:53 -!- quintopia has left (?). 03:39:07 trick for bytepusher programmers: if you're doing just audio and no graphics, set the framebuffer to point to code where stuff is happening or something 03:39:37 also it's not a dumb idea to overlap the video and audio buffers 03:41:39 that's... not always what i want to see when listening to audio, but, point taken 03:45:47 Hmm. MP3 should be patent-free soon. Awesome. 03:47:09 Though it's always ambiguous, it's *likely* that it'll be patent free by December 2012. 03:47:48 Likewise for MP1 and MP2. 03:48:18 http://pubacc.wilcox-tech.com/~greaser/stuff/bytepusher/cd_orbit.BytePusher.gz 03:48:24 -!- bsmntbombdood has joined. 03:48:29 sample not mine 03:50:44 There should be a video format that's actually just a bytecode format. 03:50:57 You include both the video and the code to decode and play it. 03:51:27 That would be wonderful for certain things. 03:51:43 Say, recordings from an emulator. 03:51:56 The "video" consists of the emulation for the video & sound chips and their inputs. 03:52:00 Vector video. 03:52:07 And vector video, yes. 03:52:20 From a vector arcade game. :P 03:52:32 And if you want conventional video, you stick a $YOUR_FAVORITE_CODEC decoder in there and you're done. 03:57:26 -!- augur has quit (Ping timeout: 264 seconds). 04:03:41 -!- augur has joined. 04:05:58 And now I am truly, 100% satisified with how this encode is going. 04:06:10 IT TOOK ALL FUCKING DAY just to figure out how to make it not suck. 04:08:30 -!- catseye has quit (Quit: leaving). 04:09:41 Gregor, malicious videos1 04:09:45 Well, I guess not 04:10:09 Or, actually. How much memory can the language request? 04:10:40 Way to get back your malicious videos through our good friend DoS :P 04:11:29 Sgeo: I'd imagine "as much as it can take before the video player comes to cockpunch the asshat that made the video." 04:12:18 Man, if I knew 100% more about video encoding but also knew what I do about PL, I'd totally make the procedural video codec. 04:12:26 Oh god it's PVC agaaaaaaaaaaain 04:12:49 again? 04:13:05 PVC got mentioned as a coincidental initialism a couple days ago :P 04:14:02 Gregor: Probably the hardest thing about video encoding is realising that the patent trolls have made it nearly impossible to do anything in the field. 04:14:32 -!- augur has quit (Ping timeout: 265 seconds). 04:15:13 That's the whole point of PlasticVideo :P 04:15:28 Alternately, flee the country. 04:15:44 PlasticVideo? 04:16:00 Sgeo: Procedural Video Codec -> PVC -> PlasticVideo 04:16:11 Somehow, I doubt that I'm interested in learning about how plastic gets.... Oh! 04:20:22 I guess it's not really a codec at all, is it :P 04:20:32 Well, maybe it is ... sort of. 04:20:45 It is to codecs as Fythe is to languages. 04:20:59 FyThE 04:21:16 Why is that sort of capitalization horrible everywhere else, but acceptable for TeX and LaTeX? 04:21:31 because Knuth is special 04:22:44 KnUtH 04:22:57 DoNaLd KnUtH 04:23:04 You mean KNuTH. Vowels are lower-case. 04:33:34 -!- catseye has joined. 04:33:57 Oh, huh. MP2 is actually patent free. 04:34:20 the audio codec? 04:34:25 Yeah. 04:34:36 Not by design, just coincidence. 04:36:06 oerjan: maybe, if you have a notion of reduction in your language, you can have one object per term in the language, and morphisms to all the terms it would reduce to. 04:36:46 *one morphism for each term it could reduce to. 04:36:51 this is rather simplistic 04:37:26 Isn't MP2 audio kinda ... garbage? 04:37:52 Gregor: No. It's actually in common use in broadcasting still. 04:38:39 quite so. 04:39:25 And it is most comparable to AAC, Vorbis, or other such modern codecs, starting at about 128 kbit/s. 04:39:45 MP3 took off because it has better performance at lower bit rates. 04:41:49 (MP2 was designed to have very high quality sound at 192 kbit/s and transparency at 256 kbit/s with the reference encoder, MP3 was designed to have *acceptable* performance at 128 kbit/s. Aaand then encoders improved.) 04:42:58 Oh, and MP3 is actually incapable of transparency. Literally incapable of it. 04:43:46 * Gregor wonders vaguely what it means for audio to be transparent. 04:44:09 Gregor: Perceptually identical to the uncompressed source. 04:44:24 Err ... that seems ... really difficult to define. 04:44:29 AB testing. 04:44:47 But different people have different sensitivities. 04:44:48 MP3 always has artifacting, it's just a matter of how annoying it is. 04:45:05 same as JPEG 04:45:08 * coppro twitches 04:46:48 coppro: It's actually possible to have lossless JPEG, I *think*. 04:47:20 There is a /modification/ of JPEG to be lossless. 04:48:08 Gregor: No, the original JPEG standard defines a lossless scheme. 04:48:35 Yeah, which is totally unrelated to the non-lossless one and isn't implemented by anyone :P 04:48:43 transparency? 04:48:48 lawl 04:48:49 Oh 04:49:30 And I'm pretty sure ordinary JPEG can be made lossless-modulo-rounding-errors just by setting the quantisation matrix right. 04:49:35 How can it be impossible for something to have transparency? Is it always known that artifacts will be of a certain size? 04:50:02 oerjan: but if your arrows take programs (representations) to their meanings (denotations), those are really two different kinds of object, so how is that a category, unless you do some sleight-of-hand? that's where I'm stuck at atm 04:50:02 *at least of a certain size 04:50:09 Sgeo: Yes, this is the case for MP3. The best it can have is not having very bad artifacting on certain sources. 04:51:23 maybe make it a functor and programs and meanings different categories 04:51:55 oerjan: But "denotational functor" just doesn't have the same ring to it! oh well. 04:52:30 no but the arrows could be the arrows in the meaning/denotation category 04:53:07 oh, er, ok... i suppose they could... 04:53:22 * catseye tries to visualize what those would mean 04:54:06 compositionof meanings, i suppose 04:54:32 ok, i need to appreciate more about functors for this to work itself out in my head now 05:01:34 -!- augur has joined. 05:14:52 My God. I'm getting transparency at 450kbps. 05:15:27 I LOVE X264! 05:15:47 -!- augur has quit (Ping timeout: 276 seconds). 05:19:31 Your input is cell-shaded, yes? 05:21:46 Yes. Still quite impressive. 05:21:53 Well, cell-shaded, animated on cells, etc. 05:22:14 You'd think that'd be easy to compress. 05:22:26 The problem is, most encoders fail horribly at this. 05:22:29 Except that hard borders are the WORST things to compress. 05:22:41 Yup. 05:23:03 Everything else is quite nice about it, but hard borders require a lot of pain. 05:23:07 Which is why I'm finding 450kbps semi-dubious, since I usually go for 1200 :P 05:23:30 I'm telling x264 to go for a target quality instead of a bitrate. 05:24:00 And it popped out a 450kbps average for this video. And it looks wonderful. 05:24:04 Hm. 05:24:39 What's the native format? 05:24:49 s/native/source/ 05:24:51 MPEG2 complying to DVD specs. 05:24:52 I'm assuming video has to be stored as something 05:25:18 Hmm 05:25:26 Which needed fiddling to come out well. 05:25:35 How would PlasticVideo handle Worms replay files? Watching them requires having the game :( 05:26:00 Might be a bit massive even to include a stripped down copy of the game with each file 05:26:24 Sgeo: You would have to convert them to some layers-and-sprites format. 05:26:50 It seems to be varying between 450 and 650 kbps average for these episodes. 05:28:20 Depending on the amount of cell-shaded 3D stuff in the episode, it seems. 05:29:16 pikhq: How does one make x264 do constant-quality? :P 05:29:40 Gregor: crf option. 05:30:00 Ah, there 'tis. 05:30:03 What crf do you use? 05:30:28 The default, which is 23.0. 05:30:42 I hate Chrome's hatred of Reddit 05:30:48 So... Just don't pass a bitrate option. 05:30:53 -!- oerjan has quit (Quit: Good night). 05:31:06 I'm currently encoding with -x264encopts tune=animation:preset=slow 05:31:32 The preset & tune options are by far my favorite recent feature. 05:32:17 * Gregor triest to remember why he added bitrate= to his script in the first place... 05:32:44 The crf rate control thing is somewhat recent, I think. 05:33:13 I know my mencoder.conf was written some 3 years ago according to what was recommended practice *then*... 05:33:49 Mmm. 05:33:50 And I only changed it today because 2-pass encoding stopped working with my settings. 05:34:09 And then I found out that I can completely omit 2-pass encoding now. :D 05:38:06 Oh? Doesn't 2-pass still do better even with constant-quality? (Better bitrate at the same quality) 05:39:17 2-pass is mutually incompatible with that. 05:39:33 Erm. Just incompatible. 05:39:34 Anyways. 05:40:21 All 2-pass does is try and get better quality from the video while meeting the *precise* bitrate you asked for. 05:40:49 Which makes it both look better while shooting for a specific bitrate and makes you actually *get* the bitrate you asked for. 05:41:37 Really handy if you want to try and make the video fit onto, say, a Bluray disc, sucky if you just want it to look good and don't care about file size consistency. 05:43:41 Right. 05:51:22 Is Codu frozen upgrading GHC? :P 05:54:32 Did I make an idiot out of myself, or is does my attempted statistics reference make sense? 05:54:33 http://www.fark.com/cgi/comments.pl?IDLink=5695862 05:55:15 s/or/xor/ 05:55:28 s/xor/fuck you/ 06:04:11 Y'know what I love? Things that segfault unless you run them under gdb. 06:04:12 -!- sftp_ has quit (Remote host closed the connection). 06:16:07 Hmm. There is one noticable artifact here. I can see artifacts from the 4:2:0 chroma subsampling. 06:17:18 But, that's in the source. Can't do anything about that. 06:18:06 Artifacts on DVDs = fail. 06:18:48 Artifacts from the chroma subsampling are actually pretty impossible to avoid if the original video is just right. 06:19:09 (read: animated) 06:19:28 That's happening long before any information is actually thrown away by the codec. 06:19:52 chroma subsampling? 06:20:22 Sgeo: The chrominance on many digital video signals is stored at a lower resolution than the luminance. 06:20:46 chrominance? Anything like hue? 06:20:48 36/8 and 42/8 allocated to APNIC. 7 /8s to allocate (+5 to distribute) remain. 06:20:53 -!- augur has joined. 06:20:53 That's the color information. 06:21:21 luminance is how dark/bright it is? 06:21:24 Yup. 06:21:50 The reason that's done is that the human eye is more sensitive to luminance than to chrominance. 06:21:56 Notebook's yelling at me 06:22:04 And it was first done in NTSC... 06:23:33 * Sgeo turns off compy 06:23:37 Nightynight 06:24:29 Anyways, it's somewhat noticable on animation because the hard edges between regions can sometimes result in showing an off color on those edges. 06:25:34 -!- Sgeo has quit (Read error: Connection reset by peer). 06:32:10 Huh. It is possible to donate to reduce the US national debt. 06:33:06 Just write a check to: Attn Dept G / Bureau of the Public Debt / P.O. Box 2188 / Parkersburg, WV 26106-2188. (source: http://www.treasurydirect.gov/govt/resources/faq/faq_publicdebt.htm#DebtFinance) 06:33:43 -!- augur has quit (Quit: Leaving...). 06:33:44 Perhaps Republicans should know about that. 06:33:44 :P 06:34:02 -!- augur has joined. 06:39:45 When "drop in a bucket" meets "single molecule of water on Jupiter" 06:44:15 Yeah, but if they're poorer they'll have less influence on politics. 06:44:15 :P 06:49:34 My crf=23 gave me 1700kbps :P 06:49:39 Higher than the 1200 I specified. 06:50:00 (I figured you might want me to inform you that 1700 is in fact greater than 1200) 06:51:03 The resulting bitrate is quite dependent on the source quality. :) 06:51:13 Erm, the source. 06:51:20 BTW, were you doing that with preset=slow? 06:54:39 Nope. 06:54:42 Just no options at all :P 06:54:59 And the source is really low-quality, it's a video from my PowerShot X-P 06:55:44 Setting it to preset=slow should improve the quality/bitrate ratio. 07:00:02 -!- augur has quit (Ping timeout: 255 seconds). 07:02:42 -!- tombom has joined. 07:05:45 I think Codu's hard disk access got super-slow. 07:05:53 And that's why all the blehness. 07:13:15 -!- FireFly has joined. 07:29:42 -!- Gregor has quit (Ping timeout: 240 seconds). 07:36:31 -!- Gregor has joined. 07:36:54 Yup, Codu is definitely self-destructing X-D 07:38:04 -!- Gregor` has joined. 07:39:08 HI ME! 07:50:37 -!- augur has joined. 07:50:42 -!- tombom has quit (Quit: Leaving). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:09:01 -!- FireFly has quit (Quit: swatted to death). 08:25:23 -!- augur has quit (Ping timeout: 265 seconds). 08:35:37 -!- augur has joined. 09:17:31 -!- wareya_ has quit (Ping timeout: 240 seconds). 09:19:42 -!- wareya has joined. 09:23:17 -!- catseye has quit (Ping timeout: 276 seconds). 09:50:22 -!- ais523 has joined. 10:00:35 wtf is going on on http://esolangs.org/wiki/BytePusher? 10:00:46 occasionally you get a page submitted to Wikipedia which is more like an advert or press release 10:00:50 I think that's happened there, but ontopic 10:01:07 (I'm inclined to just leave it, it's fun to have the page around and it is actually useful) 10:05:47 heh, it does kinda look like that 10:06:12 btw it's quite easy to make a compliant VM for 10:06:19 like, *scarily* easy 10:09:43 also yeah it needs a subleq OISC VM 10:10:36 seems doable, have a sub table and a carry table 10:11:03 the carry table having $00 on no carry and $FF on carry 10:11:07 that's two 64KB tables 10:22:08 -!- augur has quit (Remote host closed the connection). 10:27:36 -!- GreaseMonkey has quit (Quit: Welcome honored guest. I got the key you want! would you like onderves. of Yourself). 11:23:51 hmm, amusing changelog entry (Ubuntu bumping the version of Wine): "Many more applications work, especially those from companies named after particularly cold weather events" 11:39:31 -!- wareya has quit (Ping timeout: 240 seconds). 11:41:42 -!- wareya has joined. 11:42:01 -!- augur has joined. 12:21:42 -!- augur has quit (Ping timeout: 265 seconds). 12:24:01 -!- atrapado has joined. 12:29:14 ais523: ? 12:29:19 ais523: what does that mean? 12:53:23 -!- augur has joined. 12:55:23 -!- augur has set topic: RIP Benoît Mandelbrot | (logs: http://is.gd/g4uID). 12:58:52 -!- oerjan has joined. 12:59:51 I think Codu's hard disk access got super-slow. 12:59:52 ouch 13:05:40 Huh. It is possible to donate to reduce the US national debt. 13:07:00 i vaguely recall a few years ago there was some relatively rich guy in norway who had tried to pay extra taxes. he wasn't allowed to. 13:18:49 ais523: what does that mean? 13:19:20 i second that question. 13:20:41 * oerjan suddenly realizes he hasn't seen google screw up his browser back history again in a while 13:26:58 -!- myndzi has joined. 13:30:11 -!- myndzi\ has quit (Ping timeout: 255 seconds). 13:40:19 -!- augur has quit (Remote host closed the connection). 13:40:42 -!- augur has joined. 13:58:05 -!- augur has quit (Remote host closed the connection). 14:03:23 -!- ais523_ has joined. 14:03:25 -!- ais523_ has quit (Changing host). 14:03:25 -!- ais523_ has joined. 14:04:32 -!- oerjan has quit (Quit: Reboot). 14:13:07 -!- FireFly has joined. 14:13:17 -!- augur has joined. 14:33:22 -!- Harpyon has joined. 14:34:19 -!- augur has quit (Quit: Leaving...). 14:46:03 -!- ais523_ has quit (Changing host). 14:46:04 -!- ais523_ has joined. 14:46:04 -!- ais523_ has quit (Changing host). 14:46:04 -!- ais523_ has joined. 14:56:07 -!- catseye has joined. 15:13:02 -!- Sgeo has joined. 15:15:52 -!- choochter has joined. 15:23:04 -!- augur has joined. 15:28:32 -!- Zuu has quit (Ping timeout: 276 seconds). 15:33:50 -!- Gregor has quit (Quit: Leaving). 15:33:55 -!- Gregor` has changed nick to Gregor. 15:34:09 Hey now, the disk seems to have restored itself! 15:35:10 -!- Zuu has joined. 15:35:10 -!- Zuu has quit (Changing host). 15:35:11 -!- Zuu has joined. 15:35:25 -!- zzo38 has joined. 15:37:59 Never mind, I forgot conv=fdatasync X-P 15:38:03 -!- zzo38 has quit (Remote host closed the connection). 15:38:13 Shockingly, the in-memory disk cache is fast. 15:43:29 -!- Zuu has quit (Ping timeout: 276 seconds). 15:50:14 -!- Zuu has joined. 15:50:14 -!- Zuu has quit (Changing host). 15:50:15 -!- Zuu has joined. 15:54:08 -!- MigoMipo has joined. 16:01:55 -!- BeholdMyGlory has joined. 16:06:58 -!- elliott has joined. 16:07:34 -!- elliott has set topic: RIP Benoît Mandelbrot (logs: http://is.gd/g4uID). 16:07:37 topic spacing entirely deliberate 16:08:04 02:00:35 wtf is going on on http://esolangs.org/wiki/BytePusher? 16:08:04 02:00:46 occasionally you get a page submitted to Wikipedia which is more like an advert or press release 16:08:04 02:00:50 I think that's happened there, but ontopic 16:08:04 02:01:07 (I'm inclined to just leave it, it's fun to have the page around and it is actually useful) 16:08:09 it's just evolved around one editor, pretty much 16:09:11 Unlike Wikipedia, that's OK on esolangs :P 16:09:18 indeed 16:09:22 and bytepusher is actually fun 16:09:50 That being said, it doesn't seem all that esoteric X-P 16:10:00 Gregor: Uhh, it's an OISC. 16:10:15 Gregor: In fact, it's just MOV + JMP (unconditional). 16:10:25 I should read more before saying things. 16:10:28 So... pretty esoteric OISC there. 16:10:32 No conditionals in the actual instruction. 16:11:00 Gregor: Although I have to say that my ripoff is TOTALLY more awesome. 16:11:06 (I want to base it on a one-operand OISC.) 16:11:12 "The HTTP protocol is connectionless and stateless" 16:11:13 Because one-operand OISCs are awesome. 16:11:22 Especially as program can just be written as lists of addresses. 16:11:30 elliott, hm you are interested in formal proving and such right? I have a question about such a software that I heard about 16:11:40 (basically, if it is any good at all) 16:11:48 Vorpal: Name it. 16:12:16 elliott, frama-c, looked in aptitude, seems to use coq internally, used to prove stuff about C code 16:12:33 elliott, basically I wonder if it is worth investigating it any further 16:12:52 I know nothing about it, but it has a Wikipedia article: http://en.wikipedia.org/wiki/Frama-C that seems to imply it is great. 16:13:03 Vorpal: it uses Coq or others internally, i tseems 16:13:05 *it seems 16:13:08 also their website is cool: http://frama-c.com/ 16:13:15 alan kay quote and odd juxtaposition of portrait with code 16:13:27 Vorpal: i'd say definitely worth investigating further. 16:13:32 elliott, heh, both ocaml and coq are pulled in when I select it in aptitude. 16:13:35 elliott, thanks 16:13:46 however i know nothing of the practical software provers because they're for grubby bad languages that you can't prove anything about really ;) 16:14:05 you should write your software in Coq, prove things about it in Coq, and then extract it to O'Caml! 16:14:11 *OCaml 16:14:20 elliott, I just hope it isn't yet another splint (good in theory, awful in practise) 16:14:33 Vorpal: it looks simultaneously more practical and more theoretical. 16:14:51 slicing: this plugin enables to slice a program (program slicing). It enables to generate a smaller new C program which preserves some given properties[2]. 16:14:55 Vorpal: ^ if that actually works, so cool. 16:14:58 elliott, well, a quick tests seems to indicates it treat any doxygen comments as parse errors 16:15:01 "There is a big difference between GET and POST" 16:15:08 Sgeo: why are you quoting this? 16:15:09 "One is secure-er" 16:15:18 Sgeo: securer is a word 16:15:24 but that lecturer sounds like a moron 16:15:25 walk out 16:15:27 which is a bit of a pain, but nothing you can't work around 16:15:29 in fact they are a moron 16:15:38 saying one is more secure than the other 16:15:39 Sgeo: walk out 16:15:44 Vorpal: well they tend to be a bit anal. 16:15:47 these tools 16:16:06 Well, actually, in a sense, since having, say, a session ID in a URL is a bad idea... 16:16:09 Vorpal: probably it only recognises /* with a spaec after it 16:16:10 elliott, well yeah, I just have to strip those /*@{*/ comments that are used to group stuff in doxygen out 16:16:18 elliott, since that is what it is erroring on 16:16:23 Sgeo: it's still a terrible way to introduce them and gives a bad first impression and bullshit and-- walk out 16:16:30 why are you wasting your time? 16:16:33 used for stuff like documenting a group of defines or whatever 16:16:41 Because I need this class for this track 16:16:56 Sgeo: and? 16:16:59 doesn't mean you have to listen to idiocy 16:17:01 She's glossing over it quickly, and wants to get to CGI 16:17:01 Sgeo, cookies 16:17:07 Sgeo, that is where you put session ids 16:17:17 Vorpal, true 16:17:23 Must ... resist ... urge ... to make ... JavaScript+Canvas ... BytePusher ... 16:17:33 BytePusher? 16:17:36 Sgeo: you're not going to learn anything, so just leave. 16:17:40 do something more productive. 16:17:44 or at least interesting 16:18:07 Gregor: NONONO implement mine, it's based on a one-operand OISC you see. 16:18:10 Gregor: Also more fun. 16:18:19 Gregor, your basic issue is that you are exploring the coding phase space breadth-first, not depth-first 16:18:27 same goes for elliott really 16:18:36 That was beyond meaningless. 16:18:41 No, it wasn't. 16:18:48 It is totally meaningful and applicable. 16:18:57 Gregor: Well, okay, it was squarely in meaningless. 16:18:59 BUT I CAN'T STOP *sobs* 16:19:21 well... it is a bit hard to express the idea to elliott it seems 16:19:26 Vorpal: I AM NOT IN DENIAL SHUT UP 16:19:32 Gregor: Have you ever realised that Javascript sucks? 16:19:33 Being in here is interesting enough 16:19:35 elliott, :D 16:19:37 [Gregor jumps off a building] 16:19:45 He realised that his life has no meaning. 16:19:48 elliott: JavaScript is AWESOME. -ly terrible. -ly awesome. 16:19:56 Gregor: -ly bad. 16:20:28 elliott, java or javascript, which is worst in your opinion 16:20:46 Vorpal: I dearly hope I never have to answer that question. 16:21:08 Javascript isn't that bad. It has anonymous functions. 16:21:11 Well, at least Eich stuck as much of Scheme into JavaScript as he could. 16:21:15 But on the other hand, 16:21:18 elliott, well obviously both are quite bad. 16:21:18 Java isn't FUCKING INSANE HOLY SHIT. 16:21:30 Java is just bad. You know, you can deal with that. 16:21:37 * Gregor <3 JavaScript 16:21:45 Javascript's WORSE in elliott's opinion? 16:21:50 Gregor is just on drugs. Permanently. Which is why he loves JavaScript. 16:21:59 Sgeo: Spoken like somebody who has never seen JavaScript's object model. or scoping 16:22:03 or arithmetic shit 16:22:18 or 16:22:18 The only drugs I'm on are JAVASCRIPT! Which is admittedly a pretty potent drug. 16:22:19 anything really 16:22:34 I've done stuff with YouOS before! 16:22:42 And I say that as a person who's written nomath.js :P 16:22:46 I once raped a camel! 16:22:57 elliott: Hey! I was that camel! 16:22:57 Moral: Don't tell people about the terrible things you've done, Sgeo. 16:23:11 Gregor: YOU WERE ASKING FOR IT 16:23:23 Gregor: You were singing "My Humps" 16:23:28 elliott, btw didn't you brag about 800 kB/s down recently? 16:23:33 Vorpal: No. 16:23:36 I said that at least I got it. 16:23:39 ah 16:23:40 right 16:23:45 And then mocked myself with . 16:24:10 elliott, today I got updates at about 6 MB/s. Since this was over 802.11g that is pretty good 16:24:16 * Gregor watches his wonderful unreliable 100KB/s 16:24:39 Vorpal: MiB? 16:24:52 elliott, whatever the unit aptitude reports :P 16:24:57 Vorpal: MiB. 16:25:00 right 16:25:13 Vorpal: Fuck you, you unholy piece of shit, with your BANDWIDTH 16:25:17 It is wasted on Sweden :| 16:25:24 You probably contracted out to Satan 16:25:28 Just for the bandwidth. 16:25:32 elliott, sadly that only happens at university when you are there very early or very late. Otherwise the wlan is just slow. 16:25:42 Why not just camp out there 16:25:57 -!- HackEgo has joined. 16:25:59 elliott, because I can't even get any connection that lasts more than a few seconds around noon? 16:26:22 elliott, and even then it is 1 MB/s usually 16:26:23 -!- EgoBot has joined. 16:26:27 Vorpal: I mean overnight 16:26:45 elliott, well. I don't think is allowed, also no beds 16:26:57 bah 16:26:59 who needs beds 16:27:03 when you have bandwidth 16:27:10 -!- augur has quit (Ping timeout: 250 seconds). 16:27:11 hm 16:27:14 What sort of university disallows being there at night ... 16:27:23 Gregor, "sleeping there at night" 16:27:32 People sleep in LWSN during the day :P 16:28:28 How does localtime know whether or not it's in scalar context?! 16:28:47 Sgeo: Uhh, everything can do stuff like that IIRC 16:28:52 anyway their wlan is only good in some spots. I mean, I sat at more or less the optimum place when I got 6 MiB/s 16:29:04 elliott, how do I make my own function that does stuff like that? 16:29:10 I don't know. 16:29:16 And I don't care one bit. 16:29:19 clear path to antenna, but not to close to it 16:29:36 -!- augur has joined. 16:29:38 Gregor: Gah, I am determined to run random binary files in putebysh to find one that does stuff. 16:29:48 WHOA 16:29:52 pycon_2010_tutorial.pdf is TRIPPY 16:29:55 graphics AND sound 16:30:54 As is cweb.zip 16:31:07 * Vorpal prods frama-c. Interesting, but so far nothing useful out of it. And half the options seem to be cryptic and well, there might be documentation for them somewhere, but I have no clue where that somewhere is 16:31:16 ksplice-uptrack.deb flashes screen yellow but then nothing 16:31:40 elliott, why should it flash screen 16:31:47 Vorpal: in bytepusher 16:32:00 eh 16:32:04 Gregor: pldi275-richards.pdf does nothing interesting; please rectify this 16:32:08 Vorpal: tl;dr running random executables 16:32:15 oh 16:32:35 elliott, I was trying to think of how bytepusher (esolang iirc) was related to ksplice 16:32:42 `echo BLAR 16:32:43 BLAR 16:32:52 Vorpal: it's an OISC-based computer 16:33:01 oh, the yellow flash thing *may* be part of the implementation 16:33:03 elliott, yeah, now port linux to it, then ksplice 16:33:04 hey /dev/urandom works as a program 16:33:12 -!- catseye has quit (Ping timeout: 240 seconds). 16:33:14 elliott, how is that surprising? 16:33:15 although it takes a while to get enough data to do something 16:33:17 Vorpal: i mean 16:33:19 err 16:33:23 it puts random shit on the screen and buzzes :) 16:33:25 elliott, /dev/urandom is quite fast. 16:33:33 if the buzzing is in ta fixed memory location though i guess that's not too surprising 16:33:35 it is /dev/random that is slow 16:33:36 Vorpal: but, like, does things 16:34:08 *a 16:34:10 not ta 16:34:45 debian-testing-i386-netinst.iso is the shit 16:34:50 even though it just sits there 16:35:49 $ sudo ./putebysh /dev/mem 16:35:58 hm 16:36:13 elliott, I hope you run a recent kernel 16:36:21 Vorpal: uh, ubuntu-recent. 16:36:22 elliott, wait, does it modify the file? 16:36:24 no. 16:36:28 phew 16:36:35 i'm not a moron 16:36:44 i haven't even read the source so maybe it edits it, but i doubt it :P 16:37:06 elliott, I suspect you won't crash then. The program will get an error trying to read anything except a few pages such as BIOS stuff and PCI config space 16:37:24 elliott, but hm, some of that could be sensitive to incorrect reads 16:37:26 if reading a file could crash your system i'd be worried. 16:37:59 UNIX permissions are a WTF 16:38:07 Sgeo: you're a WTF. 16:38:10 elliott, ITYM "if reading memory mapped registers that are only supposed to be written could fuck up said hardware, I wouldn't be surprised at all" 16:38:20 If you don't have +x access on a directory, you can't read ANY files in that directory? 16:38:27 Vorpal: then they shouldn't be exposed as a file :p 16:38:33 Even given a known name? 16:38:36 elliott, well, /dev/mem is your memory 16:38:37 Or is that an Apache thing? 16:38:43 that's an apache thing. 16:38:45 elliott, IMO that file shouldn't exist 16:38:50 Ah 16:39:00 Vorpal: bet plan 9 gets it right >:D 16:39:14 elliott, there should be some other way for graphics drivers and such to safely map in the video memory, but that would be it 16:39:32 as for reading PCI config space, the kernel should expose an API for that 16:39:58 not sure about the bios stuff. It would make dosemu and such useless 16:43:29 -!- sftp has joined. 16:45:26 I am beginning to hate everyone in this class 16:46:31 # xlogout - logs user out of its X session 16:46:34 # Linux specific since uses /proc 16:46:41 least reassuring start to a broken shell script ever 16:47:44 "I've never mastered CGI.pm... I'd rather do the HTML _in_ HTML" 16:48:00 Sgeo: CGI.pm has a bunch of functions to generate HTML markup 16:48:01 their use is questionable. 16:48:06 although the way stated is stupid. 16:48:09 *reason 16:48:11 whatever 16:48:46 elliott: CGI.pm is effectively HTML coded in sexps rather than SGML 16:49:03 right, except the sexps are insane. 16:49:06 o.O 16:49:15 So she wasn't being totally batshit insane 16:51:06 err, why sexps? I mean if it was lisp that would have been a reasonable choice of representation 16:51:12 but for a perl program, err 16:51:34 ais523_: please explain to Vorpal... 16:51:38 it's not syntactically sexps 16:51:41 just, effectively sexps 16:51:45 ais523_, *ouch* 16:52:26 it looks like this: html(head(title("The Hello World Web Page")).body(p("Hello, world!"))) 16:52:43 elliott, any opinions on eiffel (the programming language)? 16:53:11 ouch? it's just html without 16:53:13 I tried Eiffel once 16:53:13 ais523_, sexps with first parameter before the parenthesis? :D 16:53:26 Vorpal: it's still a sexp, effectively 16:53:27 err 16:53:34 Vorpal: bertrand meyer is excellent. eiffel is basically his perfect design. but- 16:53:34 I don't see why the actual syntax matters 16:53:35 (not parameter, element) 16:53:36 don't know if i'd use it 16:53:37 *-- 16:53:44 elliott, why not? 16:53:47 ais523_, true 16:53:56 syntax is the least important part of a programming language 16:53:58 other than Python 16:53:59 Vorpal: i refuse to answer such an open-ended, useless question 16:54:09 `addquote syntax is the least important part of a programming language other than Python 16:54:14 ais523_, what about haskell then (if you are referring to the indention stuff) 16:54:19 elliott: I knew that was going to be `addquoted 16:54:29 elliott, okay... 16:54:42 Vorpal: ask a better question, get a better answer 16:54:45 Vorpal: it was more a reference to flamewars about Python indentation-sensitivity than actual language design 16:54:55 HackEgooooo 16:54:56 Haskell doesn't inspire those levels of fury on both sides 16:55:27 Python's indentation sensitivity got me in a good habit of being anal about indentation 16:55:56 ais523_, good point 16:56:17 Although, I once elected to leave a if(1) in rather than remove it and closing brace and unindent 16:56:51 if(1)? why on earth. 16:57:28 It used to have a real condition in there 16:57:38 Changed it to not check for anyting 16:57:40 No output. 16:57:48 But was too lazy to deal with indentation and the closing brace 16:57:51 what 16:57:58 elliott, I think addquote failed 16:58:05 elliott, but better check first 16:58:07 `addquote syntax is the least important part of a programming language other than Python 16:58:08 `help 16:58:30 GREGOR! 16:58:44 Gregor, what is causing this 16:59:00 AAAAAAAAAAAH GOD PANIC 16:59:06 OH GOD WITHOUT OURS GEOS WHAT WILL HAPPEN 16:59:06 *EGOSS 16:59:15 INDEED! 16:59:21 !help 16:59:28 elliott, wait, no issue. We still have fungot 16:59:28 Vorpal: what? orwell went down?) a system similar in spirit to scheme, where the actual srfi-9 compatible define-record-type is defined appropriately, then " 16:59:48 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 16:59:51 elliott, it can generate a near infinite number of different quotes 17:00:02 Without out Geos? Our Sgeos? 17:00:11 help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 17:00:14 Sgeo, *EGOSS 17:00:15 No output. 17:00:16 I wonder if something is wrong with Gregor's server? his bots are still running, but sometimes take ages to respond for no apparent reason 17:00:26 elliott, check before readding again 17:00:33 `quote 17:00:54 126| Ah, vulva. What is that, anyway? 17:01:35 `quote 233 17:01:44 I'm trying to remember the most recently added quote number 17:02:24 I wonder if something is wrong with Gregor's server? his bots are still running, but sometimes take ages to respond for no apparent reason <-- my guess is that the xen host is badly managed, too many vms on the server 17:02:35 if it is a cheap one this is almost certainly the case 17:02:44 I should redo the thingy I made once 17:02:45 233| Doing logs with dc is probably indicative of something in the DSM. 17:02:50 Wait, all that's on the dead HD 17:03:02 Sgeo, didn't you rescue that? 17:03:08 `quote 234 17:03:09 Vorpal, not uet 17:03:11 yet 17:03:11 234| dc -e '[a=]P?[b=]P?[dSarLa%d0 Still need that external mount 17:03:17 Sgeo, fucking damn idiot 17:03:19 `quote 235 17:03:20 235| I could also send my ferrari in for repair 17:03:23 well okay 17:03:24 `quote 236 17:03:26 236| ais523, what is "MS Publisher"? Vorpal, you don't want to know. Vorpal: be glad that you don't know the answer Vorpal: "horrible" 17:03:28 `quote 237 17:03:30 237| i like to imagine their mangled limbs. 17:03:34 `quote 238 17:03:37 238| I got a game in my cereal box and I want to run it lol 17:03:37 ais523_, suggestion: binary search 17:03:38 it's getting pretty recent now 17:03:42 Vorpal, you talk to my dad to convince him of the urgency 17:03:44 ais523_, instead of linear search 17:03:44 meh, it's fun to read the quotes 17:03:48 `quote 239 17:03:49 239| i like the feeling of freedom you get driving a bus 17:03:53 `quote 240 17:03:54 240| comex: what? *vorpal comex: hi, tab-complete completed c to comex instead of Vorpal, dunno why 17:03:56 Sgeo, you need to do that yourself 17:03:58 `quote 241 17:03:59 241| Vorpal: you can't plant spiders, duh! 17:04:03 `quote 242 17:04:04 242| elliott: i like scsh's mechanism best: it's most transparent and doesn't really serve a very useful feature. 17:04:09 `quote 243 17:04:11 243| ais523: my nose feels like a bad heuristic 17:04:13 `quote 244 17:04:15 244| catseye: Please wake up. Not recorded for this timezone. The big spider is not your dream 17:04:17 ais523_, stop turning into elliott! 17:04:20 who's been adding all these quotes recently? 17:04:22 `quote 245 17:04:23 245| elliott: it's hard to debug havoc on your mirror if you accidentally hit r, then a character could be multiple words long, depending on the task. 17:04:26 `quote 246 17:04:28 No output. 17:04:40 elliott: try that `addquote again? 17:04:48 `addquote syntax is the least important part of a programming language other than Python 17:04:50 His response will be along the lines of "The data can't degrade. Who told you that it can? Random people on the Internet? You believe everything you read on the Internet?" 17:04:50 246| syntax is the least important part of a programming language other than Python 17:05:34 to be fair, a dead HD will not degrade very fast if you disconnect it from everything, don't power it on, and in the special case of a crashed head, don't move it around much 17:06:54 I /have/ had an HD degrade over me, but it was over a period of years 17:06:58 Ah, ok 17:07:04 and was still mostly working, it had just accumulated enough bitflips that it failed to boot Windows 17:07:19 (come to think of it, that only needs one bitflip, if it's in the right location) 17:07:26 I wonder if something is wrong with Gregor's server? his bots are still running, but sometimes take ages to respond for no apparent reason <-- my guess is that the xen host is badly managed, too many vms on the server 17:07:27 dude, it's prgmr 17:07:33 they're very competent 17:07:45 they have a blog detailing all the sysadmin stuff 17:07:54 they do ipv6, etc. 17:08:11 Vorpal: apparently it's actually a bug in the bot code 17:08:13 iirc 17:08:22 So if it waits a few more weeks, I'm not screwed? 17:08:30 Sgeo: as long as it's powered off, probably not 17:08:36 His response will be along the lines of "The data can't degrade. Who told you that it can? Random people on the Internet? You believe everything you read on the Internet?" 17:08:38 do you not have backups, btw? 17:08:39 Who told you that it can? 17:08:40 Your father? 17:08:44 You believe everything your father says? 17:09:07 actually, I find that nowadays I'm rarely doing anything important enough to need backing up :( 17:09:10 Frankly, everything you have said that he has said has been idiotic bullshit from someone who clearly thinks their expanse of knowledge is far more vast than it actually is. 17:09:16 ais523_: that's basically why i don't back up :D 17:09:17 -!- MigoMipo has quit (Ping timeout: 265 seconds). 17:09:33 i wiped my ~/Code to transfer over to the new install when clean-installing Ubuntu 10.10 17:09:37 didn't feel feel a pang! 17:09:38 perhaps someday I should actually back everything up in a single location 17:09:40 *even feel 17:09:52 rather than memorising individually where each different actually important thing is backed up 17:12:40 -!- MigoMipo has joined. 17:14:16 Bye for now all 17:14:31 -!- Sgeo has quit (Read error: Connection reset by peer). 17:16:36 -!- ais523_ has quit (Quit: Page closed). 17:24:53 -!- Zuu has quit (Ping timeout: 276 seconds). 17:24:59 -!- Slereah has quit (Ping timeout: 272 seconds). 17:29:44 -!- Slereah has joined. 17:34:17 -!- Zuu has joined. 17:34:18 -!- Zuu has quit (Changing host). 17:34:18 -!- Zuu has joined. 17:35:00 Zuu: I KNOW YOUR REAL HOSTNAME 17:35:03 Your masking cannot fool me! 17:36:23 :) 17:36:30 * Zuu cuddles Gregor ^^ 17:49:59 I think Zuu is just a secret paedophile hoping he'll come across someone underage. 17:50:03 SCIENCE THEORIES 17:50:19 -!- ais523 has quit (Read error: Connection reset by peer). 17:50:23 Hahaha 17:52:59 You're just envious because you arent underage :P 17:53:10 -!- tombom has joined. 17:59:26 elliott is. 17:59:34 I'm not! I can drink and fuck and EVERYTHING! 17:59:41 Simultaneously! 17:59:45 Zuu: I am sort of entirely underage. 17:59:49 -!- wareya has quit (Ping timeout: 252 seconds). 17:59:51 -!- atrapado has quit (Quit: Abandonando). 18:00:20 Although probably less so over here than wherever you are. 18:00:31 Zuu is Zulu. 18:00:44 There are no legal age limits there. 18:06:47 -!- wareya has joined. 18:06:58 -!- choochter has quit (Quit: lang may yer lum reek..). 18:07:08 * Zuu cuddles elliott then :) 18:07:22 pretty sure that's technically illegal over here! 18:07:26 (uzbekistan) 18:07:34 Cuddling is illegal? 18:07:43 ohnoes! 18:09:17 Anyways, my cuddles are more like, cuddling a pet cuddles, than the kind of cuddling you do in bed :) 18:09:36 Zuu: I don't think the UK government cares much. 18:09:52 YOU COMPOSED ASCII BYTES THAT DESCRIBED TOUCHING A MINOR OMG JAILTIME 18:10:07 Haha 18:10:41 To be frank, i couldnt care less what the UK government cares about 18:12:56 * Zuu will continue cuddling people of any age as he pleases, regardless of how people decide to misunderstand it :) 18:13:39 -!- bsmntbombdood_ has joined. 18:13:41 if you dont like it, elliott, you're free to use your ignore feature ;) 18:13:56 Zuu: err, i wasn't being serious... 18:14:10 i was 18:14:23 -!- bsmntbombdood has quit (Ping timeout: 272 seconds). 18:14:48 Gregor: so is Opus 13 permanently two-movemented now? 18:15:02 elliott: Yes 18:15:15 Gregor: but now "in Three" is not ... amusing? 18:15:26 Nope :P 18:16:16 But anyway, I've decided I desperately need to write something NOT in a time signature which is a multiple of three. 18:19:02 Vorpal: apparently it's actually a bug in the bot code <-- well, it seems like it would be in the interest of everyone that it got debugged then, since it is raping his server 18:19:14 no it isn't 18:19:16 afaik 18:19:17 it just dies 18:19:18 Gregor: no? 18:19:29 Gregor: Also, someone has to say 4/4 now so that you can shoot them. 18:19:39 4/4 would be fine at this point. 18:19:42 Nothing wrong with 4/4. 18:19:47 elliott, err, well it was slooow above, and the webview of the hg repo timed out 18:19:51 For me, 4/4 would be an unusual turn from the norm :P 18:20:07 Vorpal: No, it's a disk access issue. 18:20:17 Vorpal: prgmr's disk is performing at ~200KB/s 18:20:17 Gregor, hm, caused by? 18:20:21 prgmr 18:20:26 Gregor, ouch. How sucky 18:20:28 (Or some other client or who knows what) 18:20:34 Gregor, what does "4/4" refer to in this context btw? 18:20:42 Vorpal: Time signature. 18:20:47 ah 18:20:50 Gregor, filed a ticket I hope? 18:20:55 Naturalismo. 18:21:10 Gregor, I prefer 0/0. 18:21:18 So you just hate music then. 18:22:10 Incidentally, the denominator has to be a solution to 2^n where n is an integer for a time signature to be definable. 18:22:28 Gregor, no, I just like things that looks like division by zero 18:22:58 Gregor: Couldn't you just say "it has to be a power of two"? 18:23:03 And avoid saying it... really... really stupidly? 18:23:12 Er, wait. 18:23:16 elliott, err? 18:23:21 Never mind :P 18:23:27 I just read Gregor's line weirdly. 18:23:37 elliott, you mean it would have to be a solution to log_2 (power of two) I think 18:23:45 unless I got that backwards 18:23:47 right 18:23:52 well uh 18:23:54 anyway whatever 18:24:20 elliott, anyway, Gregor should have expressed it in terms of logarithms yes 18:24:29 I agree less new. 18:24:30 *now. 18:24:37 why? 18:24:51 Gregor: Write something in free time. And proper free time, not silly "I'm going to pretend that you can't tell what time signature this is written in" time. 18:24:57 Free time is awesome. 18:24:57 X_X 18:25:24 elliott, hm, midi doesn't inherently have time signatures right? 18:25:28 Gregor: WHAT DO YOU HAVE AGAINST FREE TIME 18:25:47 Vorpal: SMF files do, MIDI signaling doesn't. 18:25:52 Gregor, oh 18:26:12 Gregor: HUH? 18:26:19 Anyway, my last four works have been six (when not seven), twelve (when not four), three (when not two) and three (when not four). 18:26:31 I need some non-multiple-of-three time signatures. 18:26:41 Gregor, 4/4? 18:26:46 elliott, not a multiple of 3 ;P 18:26:47 err 18:26:49 Gregor, ^ 18:26:52 weird typo 18:26:57 I said that like... 18:26:59 FIve minutes ago. 18:26:59 4/4, for me, would be new and unusual! 18:27:06 Yup :P 18:27:08 Gregor: WHAT DO YOU HAVE AGAINST FREE TIME 18:27:12 Gregor, 2/3? 18:27:16 elliott: The fact that it's a lie. 18:27:26 Gregor: In most cases, sure... 18:27:35 Gregor: There are works in true free time. 18:27:40 Gregor, cat /dev/urandom > /dev/dsp, real free time probably 18:27:47 well, pseduo-free 18:27:51 X-D 18:27:52 since that is a PRNG 18:27:57 WE CAN NEVER TRULY BE FREE 18:28:01 (time) 18:28:07 Gregor, with a hw random generator? 18:28:08 Gregor: I don't see what's a lie about free time. 18:28:22 Well... I suppose you could say that it changes time signature constantly instead, but that's beyond ridiculous. 18:29:16 Ding ding ding! 18:29:38 Gregor: That's totally a huge technicality though, if no time signature is maintained long enough for it to express its structure in any way at all.. 18:29:40 *all... 18:30:13 * Vorpal has an urge to formally prove cfunge... 18:30:24 Vorpal: with /that/ code? 18:30:25 hahahaha 18:30:45 elliott, yeah unlikely, it needs to be written with formal proving in mind for it to be feasible really 18:34:35 -!- cpressey has joined. 18:36:43 Gregor: Okay then, an actually irrational timesignature. 18:36:51 "at least one such piece with a truly irrational signature already exists: one of Conlon Nancarrow's "Studies for Player Piano" contains a canon where one part is augmented in the ratio sqrt(42):1" 18:49:00 What is all this 'time' you guys are talking about? 18:51:33 Zuu: Uhh, time signatures? 18:51:35 hi cpressey 18:52:02 Time signatures? 18:52:24 they're signatures, like on your checks, but in the fabric of time 18:52:35 elliott: have you released the kitten installation iso yet? 18:52:42 olsner: har har. 18:52:48 Zuu: ...do you listen to music? 18:53:23 ok, so time signatures on samples of music 18:53:35 * Zuu 's curiosity has been fed 18:53:39 Zuu: ...samples? 18:53:41 What? 18:54:06 oh, that kind of time signature! so a PRNG would be n/n in its cycle length or something like that? 18:54:37 olsner: ok, *you're* definitely joking surely 18:54:42 not sure about zuu 18:55:34 I just curious what you guys were talking about... not much joking in that 18:55:35 elliott: nope, not so much... maybe I'm misunderstanding something, and I'm definitely missing out on some definitions 18:55:48 http://en.wikipedia.org/wiki/Time_signature 18:55:50 how does anyone not know this? 18:56:57 -!- quintopia has joined. 18:57:23 elliott, from frama-c help output: 18:57:25 -no-type undocumented but disable some features 18:57:28 XD 18:57:32 Vorpal: ITT: Academics 18:58:00 elliott, yeah, well, I just find it funny that something is in effect documented as being undocumented 19:02:23 -!- cpressey has quit (Ping timeout: 265 seconds). 19:06:03 -!- Zuu has quit (Read error: Connection reset by peer). 19:07:13 MORP 19:10:24 -!- Zuu has joined. 19:10:25 -!- Zuu has quit (Changing host). 19:10:25 -!- Zuu has joined. 19:10:42 Sometimes it is convenient to be able to have variable variable names. That is, a variable name which can be set and used dynamically. A normal variable is set with a statement such as: ... 19:10:44 A variable variable takes the value of a variable and treats that as the name of a variable. In the above example, hello, can be used as the name of a variable by using two dollar signs. i.e. ... 19:10:58 Variable, variable, variable, variable, ... 19:12:01 eggs and variable. 19:14:24 elliott, this is C pointers if you decide that the name of variables are their memory addresses 19:14:54 ? indirection. 19:15:03 indirection is a p cool dude 19:15:06 PHP programmers: "I'm a 3 $ programmer." 19:15:12 quintopia: not when it's based on variable names... 19:15:16 $foo = 3; 19:15:19 $bar = "fo"; 19:15:24 $quux = $bar . "o"; 19:15:26 QUESTION INDIRECTION 19:15:29 echo $$quux; 19:15:30 prints 3 19:15:33 this is horrific 19:15:44 if by horrific you mean awesome 19:15:53 but the $ syntax is terrible for it 19:16:01 there should be a dedicated indirection character 19:16:01 * elliott makes mental note to never let quintopia anything 19:16:03 elliott, it is. But your address space is now not memory locations. It is instead the variable name phase space 19:16:14 Vorpal: i was responding to quintopia :p 19:16:40 elliott, and I was pointing out that by some quite reasonable definitions they *are* pointers. Just not the C type of pointers 19:16:48 Vorpal: yes, but 19:16:50 they're still terrible. 19:16:51 being a fan of esoterics, you'd have to expect i'd love strange things like that. 19:16:55 elliott, agreed 19:17:05 elliott, useful in bash though 19:17:06 quintopia: most of us can sieve out the good parts of an esoteric mind from the silly parts when working on non-esoteric stuff. 19:17:12 (see e.g. ais523) 19:17:21 elliott, you know, for the "horrible return trick" 19:17:28 Vorpal: NO NO NO NONOIODNONONONONON 19:17:31 O 19:17:46 elliott, hey, nothing wrong with some fun hacks 19:18:03 elliott, of course you shouldn't use that in something you intend to maintain 19:18:04 I once had a language where variables could be indirected like ${$foo} 19:18:04 Or even ${abc$foo} 19:18:04 and so on 19:18:05 bring envbot in here for the lulz 19:18:14 Gregor: i.e. php 19:18:18 pretty sure ${$foo.'bar'} is valid 19:18:21 if not, well, just one thing away 19:18:30 in fact, ${"abc$foo"} *may* even be valid 19:18:31 not sure 19:18:41 maybe not 19:19:00 elliot: they are not all that silly when used implemented and used correctly. i mean, you don't think its silly to allow a user to specify a filename string at which you save a file, do you? but that's the same damn thing. 19:19:07 it's just implemented better 19:19:42 quintopia, what 19:19:53 very droll 19:21:06 Vorpal: my first major programming platform was the TI-89, where variables and files are indistinguishable, and indirection was the actual literal way to save a file at a user specified location 19:21:49 Vorpal: he's not joking. 19:21:49 (i should say "global variables" and files are indistinguishable, sincee local variables didn't get saved to ram) 19:23:31 quintopia, bah, you were lucky, on TI-83+ we didn't even have local variables. Nor files. At most the assembler programmers had "program variables", the TI-BAISC programmers just had the global variables. 19:23:50 Vorpal: i started on the TI-82. i know your pain. 19:24:20 quintopia, well I replaced the batteries in my TI-83+ twice. TI-89 batteries doesn't last nearly as long 19:24:38 quintopia, also, TI-83+ is not quite as bad as TI-82 19:25:27 the low #'d TIs didn't even have lowercase alphabet. the only way to display strings with lowercase letters was by repeatedly displaying system function names in the right places until what was left was what you wanted 19:25:51 :D 19:25:58 was that possible for all words? 19:25:58 I recall a version of Mastermind, that display Mastermind that way. It started with "Histogram" (a built-in) to get the "st" 19:26:11 I think I just vomited up some blood. 19:26:19 Gregor is disgusted with free time. 19:26:27 X-D 19:26:38 quintopia, TI-83+ does, but you can't access it normally. You either need to use some asm stuff, or you need to use a language pack and use the "enter-non-English-letter-menu" where you can enter lower case variants of all 19:26:49 elliott, hmmm would be nice with a formally verified libc 19:27:30 Vorpal: yeah, that's basically the same thing. it has them, but not available through normal means. 19:28:02 quintopia, you don't need to go through those built in names though 19:28:12 just do the magic asm, then pressing alpha twice gets you lower case 19:28:49 ah. not so bad. 19:29:01 quintopia, or write the program in that awful win3.1-ish application on the computer, and then download it 19:29:02 wonder if anyone made a magic asm for 82 19:29:16 Vorpal: oh god. 19:29:21 * Vorpal looks around for his black link cable 19:29:39 well black-link I believe the name is actually 19:29:40 my 89 is dead and has been for a very long time. 19:29:46 they called it that... because it is black 19:29:55 i have one somewhere 19:29:57 quintopia, my TI-83+ is still alive and kicking 19:30:18 as well as the usb one...clear-link lol? 19:30:31 quintopia, there was a third one iirc 19:30:37 gray-link 19:30:39 and I don't have the usb one 19:30:46 quintopia, which one was gray-link? 19:31:01 i got the usb one as a prize from a coding contest TI held, along with a red cover 19:31:09 the gray one 19:31:25 quintopia, yeah but what connector... 19:31:44 oh probably serial 19:31:53 quintopia, that is black-link? 19:31:56 (serial I mean) 19:32:16 yeah 19:32:24 so was gray i think 19:32:30 but it was slower or something 19:33:52 mhm 19:40:07 -!- cpressey has joined. 19:40:55 i can mention something exists but that hardly counts as documentation 19:41:12 Oh, would you look at that. A California charity that is offering to pay drug addicts to be sterilised. 19:41:25 Did someone say "lack of informed consent"? 19:42:30 if they're not high *at the time*, then it can be informed consent, right? 19:42:40 pikhq: old 19:42:59 pikhq: "founded and formerly known as Children Requiring a Caring Kommunity [sic] or C.R.A.C.K." 19:43:01 also, some sterilization procedures are reversible, so if they clean themselves up, they have a way out 19:43:03 they're just crazy. 19:43:08 quintopia: these ones aren't. 19:43:17 pikhq: they stop random people in the street asking them if they're addicts, suppsoedly 19:43:18 *supposedly 19:43:25 weird 19:43:30 tl;dr batshit insane people. 19:43:49 elliott: Project Prevention, and they're running around in the UK *right now*. 19:43:59 i know 19:44:00 pikhq: "founded and formerly known as Children Requiring a Caring Kommunity [sic] or C.R.A.C.K." 19:44:04 Oh. 19:44:04 that says most of it :) 19:44:08 Okay then. 19:44:39 pikhq: the founder is a drug addict with a child iirc 19:44:40 SO YEAH LOL 19:44:47 (and the child (20 now) supports the organisation... go figure) 19:45:02 "For her, doing nothing was not an option after her own firsthand experience raising four substance-exposed children." 19:45:02 quintopia: Someone who is heavily addicted to a drug like that is suffering from a form of mental illness. They cannot reasonably be said to be making informed decisions when they are being *handed drug money* in exchange for something. 19:45:04 four! jesus. 19:45:22 "Hey, I'll give you some crack if you let me take out your kidney." "Okay!" 19:45:42 "I am sorry to inform you that I relapsed shortly after I graduated on May 1st. I'm back in treatment and doing very well. I apologize for not keeping in touch for I feel as though we've known one another in a different space and time. You are truly an inspiration to me, and I feel that your love knows no boundaries. Sandra, Los Angeles" 19:45:47 that's written to project prevention by someone sterilised by them 19:45:50 all i can say is: 19:45:50 wut. 19:46:20 yeah, it's just ... no fuck that. 19:47:01 It's also a bit of a problem, IMO, to offer to pay people in general to be sterilised. This essentially sets up a scenario wherein only those who don't want for money or who are absolutely appaled by the prospect of sterilisation can reproduce. 19:47:11 Which... Is not exactly healthy for society. 19:47:19 pikhq: nor can they be making informed decisions when they get pregnant having sex for drugs. of two possibilities violating informed consent, which has the better outcome? 19:47:55 i don't really see much of a point in getting sterilised 19:48:26 quintopia: The one where we stop treating drug addiction as some horrible criminal scourage but as a mental health issue?\ 19:48:34 Scourge. 19:48:38 Not scourage. 19:48:39 i wonder if they do it to stoners too 19:48:41 that would be amusing 19:48:55 Oh, would you look at that. A California charity that is offering to pay drug addicts to be sterilised. 19:49:00 Hahaha this is legal eugenics. 19:49:02 "Dude, do you wanna get like, STERILISED, man?" 19:49:04 That makes me smile deep down inside. 19:49:13 even treating it as a mental health issue, how do you get these people to submit to proper treatment? 19:49:32 would it be okay to pay them to get rehabbed? 19:49:48 quintopia: are you attempting a *reverse slippery slope* argument? 19:49:56 "This is okay, so this crazy form of that is okay too." 19:50:07 er, no 19:50:17 that was a legitimate probing of pikhq's mindset 19:50:41 i have no issue with paying people to go into rehab. well not so much corporations doing it, but. 19:50:42 quintopia: Uh, voluntarily. Most people aren't exactly living from fix to fix because they *want* to be that way. 19:50:47 (unless, of course, there is a better solution) 19:51:07 pikhq: most of them also don't think they have a mental issue and can quit whenever they want 19:51:21 but, hmm 19:51:25 pikhq: do you guys have free rehab in the US? 19:51:30 elliott: HAHAHAH No. 19:51:30 LOL STUPID QUESTION OF COURSE YOU DON'T 19:51:33 elliott: That would be communist. 19:51:54 Communism: They want to take away your ADDICTION. 19:51:56 I think they do in prisons. 19:52:02 As per usual, you get the best care if you kill somebody. 19:52:04 Gregor: How to get free rehab: 19:52:17 - TOTALLY USE SOME DRUGS MAN 19:52:19 - Rape 19:52:22 - Woooo 19:52:38 You have to admire the uh, logic. 19:53:03 surely there are some charitable organizations offering free rehab 19:53:10 elliott: Also, the whole mindset here is that drug addicts are *awful people*. 19:53:15 doesn't crossroads do that? 19:53:18 If you want decent healthcare, rehab (if applicable), three square meals a day, and all the other amenities, all you have to do is kill someone in cold blood. If you're lucky, you'll get all of this for life. If you're unlucky, you'll get all of this 'til midnight, but after that you won't need any of it. 19:53:23 quintopia: is the rehab any good? is it publicised enough? (almost certainly not for the latter) 19:53:24 elliott: Not victims, *awful, horrible, terrible people*. 19:53:31 pikhq: yes, i know. 19:54:03 pikhq: of course legalising drugs would boost the economy and cut addiction right down (since you don't have to "rely" on sleazy dealers), but you guys are too illogical for that 19:54:30 elliott: if it were publicized enough, they'd get more customers than they can afford to treat, which they almost certainly already do 19:54:52 quintopia: Why not fund them with taxesOH RIGHT THAT'S COMMUNISM, taxes should go to the military. 19:55:03 exactly 19:55:04 To defend the US. From Canada. 19:55:10 OH GOD CANADA 19:55:14 i'm glad you understand where the line must be drawn 19:55:24 They want to EXPORT THEIR MASS-PRODUCED COMMUNISM TO US 19:55:29 No, wait, that's China. What? 19:55:40 Does a Debian package's description (aptitude/apt-cache show) show what virtual packages it provides? 19:55:49 I'm wondering if Debian has one for a "graphical apt frontend". Probably not. 19:55:49 elliott: Just decriminalising it makes addiction rates go way the hell down. 19:55:53 yeah, all joking aside, China actually does suck. 19:56:06 pikhq: Yes, but it's even better to put sleazy dealers out of business. 19:56:11 Damned straight. 19:56:25 quintopia: Yeah. North Korea sucks more but they don't actually participate in the rest of the world at all so it's less of a worry. 19:56:31 I lol'd at the recent advocacy of democracy. 19:56:54 The Communist Party of China: We're all about communism^Wpower^Wdemocratic capitalism! 19:57:07 elliott: There's actually an ideological split in the Communist Party there. 19:57:23 The Communist Party is basically three or four parties in one, isn't it... 19:57:25 (With two major parties.) 19:57:29 elliott: What you saw there was the freaks who see that Europe is awesome. :P 19:57:42 Europe is... awesome is stretching it. 19:57:42 elliott, hm I think French and Japanese programmers tend to have the most curious grammars. 19:57:48 I don't think anywhere is truly awesome. 19:57:58 Vorpal: The German ones are a bit odd too. Although perhaps in other ways. 19:58:07 Japanese programmers are cool though. 19:58:09 They're all insane. 19:58:23 Debian appears not to have packagekit. Sweeeeeeeeeet 19:58:31 elliott, well yes German ones too sometimes. I find the French more awkward. Japanese most awkward. 19:58:38 elliott, Japan in general is insane 19:58:43 Japan is fun. 19:58:49 elliott, indeed 19:58:52 but insane 19:59:00 There are an awful lot of Japanese golfers, methinks. 19:59:02 Also they all use Ruby. 19:59:04 elliott, what exactly is packagekit btw? 19:59:20 Vorpal: It's, like, a daemon-based fancy-fancy abstraction layer to a metric fuckton of package managers. 19:59:26 Vorpal: Well, they've got many legitimate reasons for being insane. 19:59:32 Vorpal: So e.g. you have GUI package managers that work on any supported backend. 19:59:53 Vorpal: Fedora uses PackageKit's GNOME interface as its main GUI package manager, iirc. 20:00:02 There's even sorta-maybe-works Pacman support. 20:00:09 Vorpal: Oh, it handles update notification and the like too. 20:00:28 And fancy things, like prompting to run applications after you install them and the like (http://www.packagekit.org/img/gpk-run-application.png) 20:00:31 They went from feudalism to democracy in a generation, democracy to militant empire in a generation, militiant empire to democracy in a generation. 20:00:42 And, uh, basically it does a bunch of stuff. 20:00:52 Aaand getting about 700 years of technological development in a few decades. 20:01:15 pikhq: I like to think they still used abacuses in the 50s. 20:01:22 (Did they?) 20:01:41 elliott, dude, in the 50s people used abacuses in the west too! 20:01:46 Well, yes. 20:01:47 well, sometimes 20:01:49 Abacuses was a bad example. 20:01:54 pikhq: I meant, uh, you know, bamboo and all that. 20:01:57 Oh hell, you know what I mean. 20:02:23 They did invent tentacle rape way before anyone thinks though! (http://en.wikipedia.org/wiki/The_Dream_of_the_Fisherman's_Wife) 20:02:39 elliott: Abacuses are still in (waning) use there. 20:02:49 elliott, well, slide rule was probably more common than abacuses in the 50s in the west. but yeah they were still in use 20:02:55 rules* 20:03:07 er well 20:03:09 that's japan 20:03:10 i meant to say 20:03:13 "back on to the topic of japan" but 20:03:17 sjdgg you know what i mean 20:03:23 elliott: Primarily because a proficient abacus user can use an abacus faster than a pocket calculator. 20:03:27 Oh Japan, you so screwy! 20:03:30 elliott, does the website for coq timeout for you as well? 20:03:31 pikhq: For exponentiation? 20:03:43 Vorpal: It's ... not the fastest. It may be down. 20:03:48 Vorpal: But sometimes it's just ... slow. 20:03:58 elliott: No. But think like a checkout in a small store. 20:04:08 Heh. 20:04:17 pikhq: omg we need to organise a yearly championship 20:04:18 elliott, okay. Another thing from the same second level domain loaded very fast 20:04:23 Abacus vs. Calculator 20:04:34 Fastest abacus and calculator users from across the globe compete to work out long sums 20:04:48 (Basic pocket calculator, obviously.) 20:04:48 Sounds thrilling. 20:04:55 The fastest wins. 20:05:07 How about we bring in one of these electrical "computers" too. 20:05:09 just for fun, we should include fast mental arithmetickers 20:05:13 And it can do the same calculations. 20:05:16 elliott, basic pocket calculator? You mean, no command history? 20:05:28 Vorpal: No exponentiation. 20:05:41 http://image.made-in-china.com/2f0j00OBwtmiPFPpcA/Pocket-Calculator-YH-H822V-.jpg 20:05:45 Maybe slightly more advanced. 20:05:47 and no command history 20:05:51 Huh, it has square roots. 20:05:51 only MEM 20:05:59 elliott: Oh, it's also used educationally, because the visual imagery of arithmetic makes things a bit more apparent. 20:06:02 elliott, I'm completely unable to use any calculator these days where I can't do line editing and also see the last few expressions and calculations 20:06:03 pikhq: heh 20:06:05 I just find it too awkward 20:06:14 Vorpal: yeah yeah we know that you're functionally retarded when using inferior hardware/software 20:06:17 -!- augur has quit (Ping timeout: 276 seconds). 20:06:41 elliott, when you used a graphing calculator for years you will end up the same 20:06:58 Vorpal: I don't ever plan to use them for extended periods of time really. 20:07:18 I find it very difficult to use any calculator that's not RPN. 20:07:29 pikhq, awesome :D 20:07:39 i need to learn rpn 20:07:44 like for actual use 20:07:49 http://coq.inria.fr/: The connection to the server was reset while the page was loading. 20:07:50 fuck it 20:07:52 Open up dc and have fun. 20:07:55 Vorpal: you can install coq-doc 20:07:56 or whatever 20:07:58 locally as a package 20:08:00 maybe in the coq package for you 20:08:03 it's in /usr/share/doc somewhere 20:08:04 elliott, I need the source, for non-ubuntu 20:08:06 all the website that matters 20:08:11 Vorpal: get it from debian 20:08:11 * pikhq should eat 20:08:18 elliott, is that last version? 20:08:37 rpn is a pretty cool dude. like dijkstra. dijkstra is so cool. is he still alive? 20:08:37 Seems not. 20:08:43 elliott, there you are then 20:08:45 * elliott looks for 8.3 20:08:51 quintopia: lol no 20:09:00 quintopia: RIP 1930--2002 20:09:03 -!- augur has joined. 20:09:05 oh well 20:09:15 Vorpal: ah wait 20:09:19 it's in experimental! 20:09:22 (like sid but more sid) 20:09:50 Vorpal: http://ftp.de.debian.org/debian/pool/main/c/coq/coq_8.3~rc1+dfsg.orig.tar.gz 20:09:56 okay thanks 20:10:02 Vorpal: http://ftp.de.debian.org/debian/pool/non-free/c/coq-doc/coq-doc_8.2pl1.orig.tar.gz 20:10:07 Vorpal: dunno if the docs are in the above 20:10:09 if not they're in there 20:10:14 elliott, and there was a -theorems package iirc 20:10:16 sorry about .de., it's what packages.debian.org linked me to 20:10:21 Vorpal: yes, it's built from the coq source package. 20:10:24 debian just splits shit up. 20:10:25 elliott, ah okay 20:10:35 elliott, does it take long to build btw? 20:10:40 Vorpal: never done it! 20:10:43 Vorpal: have fuuuuuuun 20:10:54 Vorpal: OCaml was invented for Coq, incidentally 20:10:58 well 20:11:02 elliott, err? 20:11:03 dunno if OCaml or just Caml 20:11:04 Vorpal: it was 20:11:09 Vorpal: they needed a language to implement Coq in 20:11:19 elliott, arch packages ocaml, so I don't have to compile that as well 20:11:27 Vorpal: i'm just giving trivia 20:12:36 elliott, I'm trying to install frama-c on my desktop you see. I did some experiments and it seems to be awesome indeed. One or two issues but ubuntu lucid has a rather old version, and at least one one the issues is documented as fixed in a later version 20:13:41 wait a second 20:13:49 $ pacman -Ss coq 20:13:49 community/coq 8.3-3 20:13:49 Formal proof management system. 20:13:52 how could I miss that 20:13:53 first time 20:14:09 Vorpal: it'll try and download from the website. 20:14:12 which, as you know... 20:14:18 elliott, no it won't, it isn't aur 20:14:21 oh 20:14:22 elliott, it is community 20:14:25 also, why is the installed size 199 MB 20:14:32 well, 199.77 MB 20:14:33 even 20:14:45 I mean, the source package was just 3 MB or something such 20:15:11 elliott, I'm extremely surprised that arch linux has coq 20:15:14 Vorpal: err, why? 20:15:17 Coq is pretty popular 20:15:30 although admittedly i wouldn't expect the kind of morons who use arch to appreciate it >:D >_> 20:15:58 elliott, I wouldn't expect most users to use it indeed. And only reason I use arch is that I find non-rolling-release *painful* 20:16:13 elliott, on laptops the lack of integration is even more painful 20:16:14 Kitten~~~~~~~~~~~ 20:16:19 thus ubuntu there 20:16:29 Rolling release plus KITTEN AWESOMENESS 20:16:30 but on desktops, that isn't so much of an issue 20:16:47 elliott, sure. I'll wait for 1.0 though 20:16:53 Vorpal: Rolling release. 20:16:55 There are no versions! 20:17:07 (Although I'll probably have a major release to be incremented when I change everything.) 20:17:07 elliott, well, Install CD 1.0 20:17:08 then 20:17:38 0.1 to start with, 0.5 when you can actually boot a graphical environment but it's unstable, 0.8 when it's rough around the edges but getting there 20:17:44 1 when it's something i'd recommend people install as a main distro 20:18:09 elliott, anyway, you can keep recommending kitten but until I can actually install it, it isn't a very *useful* recommendation here and now :P 20:18:14 Vorpal: Yes but. 20:18:18 I'm contractually obligated. 20:19:27 err, I just noticed a strange thing on a "not-actually-ultrabay, but same kind of thing for dell"-device 20:19:59 elliott, it has a mini-usb port on the side of the floppy variant. Going to take out the CD one and look for that as well 20:20:34 nop, none on the CD-drive 20:21:03 I'm soo going to attach that and see what happens 20:23:04 seems to work 20:23:07 Probably it'll... work. 20:23:38 oh, how annoying, dexter ends with "stay tuned for: Weeds" 20:23:40 elliott, also it seems to do "detect when floppy is inserted" which is not the usual for floppy devices in my experience 20:23:46 but Weeds hasn't been released yet :/ 20:24:56 Gregor: By the way, Opus 13 is truly excellent, although given my... erratic musical tastes you might not consider that a complement. 20:25:04 Vorpal: I think floppy drives have detected floppy insertion for ages, like since the 80s 20:25:16 elliott: Uhhh, thanks maybe? 20:25:19 but I'm not quite sure if it's usually connected to anything 20:25:32 elliott, I wonder why they did mini-usb though since it has one of those "this device should not be operated outside a computer, and is senstive to pressure, oh and to ESD as well"-stickers 20:25:39 Gregor: The intrepidacity is clear! 20:32:19 hm I seem to be reaching a state of having lots of semi-useless spare parts, but only spare weird parts, such as floppy drives, dvd-readers, firewire cards and so on 20:32:35 oh and cables of course 20:32:45 about the only cable I can't find is a null-modem one 20:34:22 pikhq: Yeah, I have decided that calculators suck. Even RPN ones. 20:34:31 DAMN STRAIGHT 20:34:34 :P 20:35:15 although, that one calculator widget i had once was p cool. it didn't suck very much. 20:35:48 it was just a text box. enter an expression as text, get an answer. full command history, all elementary functions implemented. 20:35:57 minimal is cool 20:36:25 quintopia: i'm currently being half-inspired by one i saw that had two panes; you could type text and it'd be mirrored, but any formula would be replaced by its result on the right 20:36:50 so "2 + 2 +" would become "4 +", then typing ".5" would make it "4.5" 20:37:04 and you could edit it etc. 20:37:04 not bad 20:37:14 but ehh, it feels like you'd have to look across too much 20:37:20 so i'm thinking about ways to display it inline and the like 20:37:26 also the linear typing shit is just lame 20:37:27 that's what i was thinking too 20:37:33 "sqrt(" takes way too long to type :) 20:37:42 -!- Slereah has quit (Ping timeout: 240 seconds). 20:37:44 so i'm not sure 20:37:47 meh, it beats clicking a button 20:39:00 yeah but 20:39:06 it's imperfect, which is unacceptable! :) 20:39:14 how about a textbox that mirrors your infix expression in rpn on the fly? 20:39:23 heh, why? 20:39:25 -!- Slereah has joined. 20:39:31 < Vorpal> elliott, basic pocket calculator? You mean, no command history? 20:39:34 * cpressey blinks 20:39:47 cpressey: silver spoon. uh - silver calculator? 20:40:11 I'm running Windows in a VM on Debian on a MacBook WOOH 20:40:12 cpressey, what is there to blink about? 20:40:12 just because it'd be fun to make a realtime shunting-yard? 20:40:22 i don't know if it'd be useful for anything... 20:40:59 but like i said, Dijsktra was a p cool dude 20:41:00 "sqrt(" takes way too long to type :) <-- yes, physical calculators have certain advantages 20:41:08 < quintopia> rpn is a pretty cool dude. like dijkstra. dijkstra is so cool. is he still alive? 20:41:16 not... officially 20:41:19 elliott, it is shift followed by the x² button for me 20:41:21 <3 cpressey 20:41:31 Vorpal: separate button on the ones i use 20:41:41 elliott, well, both beats sqrt( 20:41:42 :P 20:41:56 ^.5 20:42:01 that's, like, whole BYTES shorter 20:42:06 lol 20:42:15 hah 20:42:29 < elliott> Vorpal: OCaml was invented for Coq, incidentally 20:42:31 elliott: re: perfect calculator. one that reads your mind and types it for you. 20:42:37 no EXISTING language is sufficient for MY theorem prover 20:42:40 quintopia: yeah, yeah, shut up :P 20:42:45 cpressey: well at the time ... probably not. 20:43:02 cpressey: note how fast OCaml is, and the fact that Coq is *still* mighty slow sometimes 20:43:16 cpressey: your theorem prover huh 20:44:26 augur: see the line before ... 20:44:52 my theorem prover can prove its own existence 20:44:52 elliott: it was a reference to the reason ML was invented and the pattern that seems to be established there 20:44:53 -!- oerjan has joined. 20:44:56 and nothing else >_> 20:45:13 cpressey: D: 20:45:14 what 20:45:28 quintopia: Probo ergo sum 20:45:37 i used ML once. 20:45:43 (that's the whole story) 20:45:57 `echo test 20:46:08 Hey now, the disk seems to have restored itself! 20:46:09 augur: ML was invented to write the LCF theorem prover in. 20:46:16 ah, yes, true 20:46:20 oerjan: Nope. 20:46:24 oerjan: I was being overly optimistic. 20:46:25 oerjan: please correct this Latin: "Futuere ergo sum" 20:46:27 oerjan: It most certainly has not. 20:46:29 thanks to Wikipedia and infamy! 20:46:31 yeah still slow... 20:46:41 elliott: what's it supposed to mean? 20:46:53 futuere is pretty bad, i think 20:47:06 oh wait it seems futuere isn't actually the equivalent of "fuck" 20:47:12 I'm afraid I'm going to get an email back that's like "Somebody was overusing the disk, slowing everything down. YOU!" 20:47:12 "Instead, these senses attached themselves to pēdīcāre and irrumāre, "to sodomise" and "to force fellatio", respectively" 20:47:27 oerjan: I was going for the blatantly nonsensical "I fuck therefore I am" 20:47:27 cpressey: are you writing a theorem prover tho, or were you pretending to be the MLers? 20:47:28 Vorpal: I was blinking at the kinds of things you find unusable 20:47:28 Pedicare! 20:47:35 egad those macron'd characters look awful in this font 20:47:42 augur: not... officially :D 20:47:44 elliott: oh i thought you were trying to bastardize a verb based on "future" 20:47:49 oerjan: h 20:47:51 *ha 20:47:55 cpressey: tell me about your unofficial theorem prover 20:47:57 augur: no, the closest I will come is a theorem checker. 20:48:07 oerjan: no, I was going for "I [vulgar word for sexual act] therefore I am" 20:48:24 augur: based on supplying a transcript of a rewriting session, is all 20:48:31 ah ok 20:48:32 elliott: well if the verb really is futuere, you should probably have "futuo ergo sum" 20:48:39 oerjan: i think i give up :D 20:48:45 ergo ego sum, i have a feeling Google screwed up that one 20:48:48 ("i do therefore i am") 20:48:55 "facio ergo sum" may be correct 20:48:56 in fact futuo would usually be the dictionary term 20:48:57 ("i act therefore i am") 20:49:03 but it may mean in the dramatic sense of acting 20:49:23 assidere ergo sum 20:49:25 ah indeed it is 20:49:28 test 20:49:35 cpressey: a proper theorem-checker would be a theorem prover too, so's I can skip obvious steps and still get a positive check 20:49:36 "assess, therefore I am" 20:49:41 defecate, Google! DEFECATE 20:49:43 not assess! 20:50:10 ego ergo sum -> "I am therefore I am", says Google; I think it may be entirely wrong again 20:50:15 elliott: well, my suggestion is "futuo ergo sum", then 20:50:31 Bleh, I occasionally peak at 1MB/s diskspeed X_X 20:50:32 i will be therefore i am? 20:50:32 oerjan: LOL, Google's Latin -> English of "futuo ergo sum": 20:50:33 HAVE CONNECTION WITH A WOMAN, therefore I am 20:50:39 lol 20:50:45 statistical translation, it's what's for dinner 20:50:54 (in latin, the first person present indicative is the dictionary term, and also what you want in such a sentence) 20:50:57 quintopia: "prover" usually connotes "proof finder" -- I have no inclination to do that part 20:50:59 *+singular 20:51:06 if you want to prove it, you gotta find it yourself 20:51:08 cpressey: no it doesn't 20:51:31 elliott: to some degree it assists you in getting the proof, otherwise what good is it? it would be useless, like mine 20:51:31 cpressey: (there are interactive development tools but mostly they just consist of little programs that throw stuff at the problem until it sticks, and also things that generate proof steps based on input) 20:51:42 lawl 20:51:58 elliott: i should reiterate that my small knowledge of latin is mainly about grammar, not vocabulary 20:52:01 cpressey: then you can't make a theorem-checker that meets my standards, as a theorem prover is just a search routine, and i need a search routine to find the obvious skipped steps in my proofs 20:52:22 afk 20:52:23 quintopia: true enough, but your standards were not my goal 20:52:34 Socks killed Always the menacing blowhard. He walked up to the pavement. He Thought of The World Changes related he had created, and he had to Changes related Thosses destroyed. To these I could not take it, you are and he collapsed on a He handed. Spread the wings, he said. Spread the wings. 20:52:42 you don't aspire high enough! 20:53:49 Amen. 20:54:11 amen to me not aspiring high enough? 20:54:40 i think to my Google-generated nonsense 20:54:47 enter english into latin->english, enjoy 20:55:35 -!- HackEgo has quit (Remote host closed the connection). 20:56:32 Coca-Cola Will me at my trial to an old woman, your pieces! In the peacetime There is only War! Pepsi lord! Tear From the trees! Only in the Salvation of can you find Peace - Peace from Pepsi and so do menacing - in the Freedom of the real Coca-Cola, it goes Where the only strain it available. Amen! 1 approve of this message, and 1 am endorsed by only one known as the Most secret things. 20:57:23 that's a funny way of saying "anonymous" 20:57:55 Futur, to have sexual intercourse infinitive, perfect futur, the past participle of futūtum, Latin for "to coupled to a", this richly attested and Useful. Not only the word itself, but Also derived words as perfututum horse, nothing reasonably could be translated "totally fucked", and AFTER COPULATION, "fucked out, the exhausted from intercourse", are attested in the Classical English literature. The noun derived futūtiō, "Act of intercourse", 20:57:56 Also out into the Classical Latin, the name of the agent and the futūtor, corresponding to the English by the twin "fucker", TURN OFF Also from Changes related word. 20:58:33 i like the sporadic capitalization 20:59:20 Yeah, it's... interesting. 21:00:39 Latin lingua stultum usquam. 21:03:22 does anyone actually know latin here 21:04:12 http://pastie.org/pastes/1230779/text?key=8juqvscpwzcvbg2pozpa I made it rape a way-too-popular sonnet 21:04:15 MWAHAHA GOOGLE DOES MY BIDDING 21:04:46 Oh, still has "wand'rest" in there. 21:05:58 elliott, I found a paper titled "Static Analysis of the XEN Kernel using Frama-C", that seems cool 21:06:00 http://pastie.org/pastes/1230785/text?key=s5vjy5qznqtiurzpm3zndq Better rape 21:06:03 Vorpal: cool. 21:06:08 elliott, in fact there are lots of papers mentioning this tool. hm 21:06:31 "Rough precious stones, for the favor of the wind to move the May" wat 21:06:57 "But for you not, summer is made void perpetual" :D 21:06:59 Void perpetual. 21:07:08 elliott, is that the translation? 21:07:13 Vorpal: it's the translation back 21:07:14 01:24 < quintopia> what does doing that entail? 21:07:15 elliott, also where did you get that text from 21:07:18 01:38 < quintopia> bedtime 21:07:20 elliott, what was it originally? 21:07:21 01:41 < curiosity> :P 21:07:25 sorry 21:07:29 misclicked a link 21:07:33 Vorpal: Translate it back with http://translate.google.com/ and you'll see. 21:07:34 wat 21:07:34 Uh, hopefully. 21:07:58 elliott, uh, maybe not knowing that the function is not invertable 21:08:05 Vorpal: ? 21:08:13 Vorpal: what 21:08:21 if you know your sonnets 21:08:24 you'll recognize 21:08:36 or even if you don't. 21:08:42 elliott, I know that one. I don't know the name of it 21:08:44 the first line is infamous. 21:08:48 Vorpal: It has none. 21:08:52 Well, "Sonnet 18". 21:08:57 elliott, from where? 21:09:05 Uhh... you know who wrote it right? 21:09:18 elliott, one who couldn't spell his name consistently? 21:09:20 if so yes 21:09:34 ... yes, but I won't confirm again if you say it in such a silly way. 21:09:34 elliott, but is it freestanding, not part of a play? 21:09:38 yes. 21:09:56 http://upload.wikimedia.org/wikipedia/commons/9/95/Sonnet_18_1609.jpg 21:09:58 He-Who-Must-Not-Be-Named 21:10:09 They totally fhake the darling buds of Maie. 21:10:35 ... yes, but I won't confirm again if you say it in such a silly way. <-- what do you have against using the English language in a way that might perhaps be seen by some as more complicated than required to express something? 21:11:03 http://en.wikipedia.org/wiki/File:Sonnet_18.ogg what the fucking fuck 21:11:10 (okay, that one needs some commas) 21:13:43 Vorpal: You see not a reason? Not in the endless folds of Plato's realm of concepts do you see some hint at a justification for not using excessive verbiage? You, not seeing a reason, even advocate this style of wording? You believe that it is superb for one and all to compose their sayings with the highest complexity and the longest form, so that to all its readers its basic message and meaning is obscured, and any more complicated message under 21:13:43 neath is suffocated by the smothering layers of crap? 21:13:47 BAH TO THAT I SAY 21:13:49 BAH! 21:14:23 elliott: Does your oh-so-much-tastier OISC have an esolangs wiki page? 21:14:55 Gregor: Well, sure, it will ... soon ... 21:14:57 elliott, hm 21:15:10 Gregor: It's totally hard thinking of one-operand OISCs though. 21:16:05 Gregor: I could just use rssb, but, so boring. 21:16:17 elliott, I have to say, that all things considered, I have to praise your recent speech for being expressed in a wonderful, nay, awesome!, way. Could you expand on it you think? 21:16:41 *auuesome 21:17:33 Vorpal: Verily, although I vuill be forced to eliminate the modern distinction between "V" and "U"; instead, I vuill use "V" at the beginning of vuords and "U" afteruuards, and deconstruct "W" into its forming "U"s. 21:17:42 elliott, perhaps old chap, you are right in your suggestion there. I surmise that you have even more impressive speech prepared from this. 21:18:21 Alſo, I vuill be forced to vse the long s. 21:19:25 elliott, is it per chance to be found with a compose-key sequence? Or may it be that AltGr could be able to conjure it into existence? 21:19:32 ſſſſſſſſſſſ 21:20:31 Alſo ß. 21:21:03 All you aßes can't liquefy gaſes. 21:21:16 elliott, how do you write these, pray? 21:21:30 Ctrl+U. 21:21:35 (OH THE FUNNY) 21:21:36 elliott: you have a one-operand OISC without memory-mapped arithmetic? 21:21:47 quintopia: memory-mapped arithmetic? lame :P 21:21:55 quintopia: RSSB is an existing one-operand OISC 21:22:28 but it's lame cuz it requires an accumulator 21:22:45 quintopia: figure out a why to do it without one, then, without memory-mapping crap 21:22:46 which is like a free operand 21:22:56 elliott: i'd love to 21:22:57 elliott, huh? That won't work here I'm afraid, since that would go somewhere else on my system likely, when taking the configuration into consideration 21:23:16 it will start up outlook! 21:23:17 Vorpal: I mean Ctrl+V. 21:23:18 It was a joke. 21:23:31 elliott, oh :P 21:23:36 elliott, oooh 21:23:38 now I get it 21:26:32 elliott, I got confused you see, since on old mac (with that I mean, classical MacOS, that is, pre-OS X, which is 9.0 and older) ctrl- often inserted text rather than, as is common on some other systems (such as Linux and Windows), triggering some action[1]. I do not know if this is still the case under OS X or not. 21:26:33 [1] Commonly known as hotkey, shortcut or similar terms. 21:27:09 Usually it was just boxes, indicating it was not something that was to be found in the font in usage. 21:27:43 Alt often had "useful" (for some definitions of useful) symbols on it, like AltGr does on *nixes. 21:27:45 Command-Apple-Windows-Ctrl-Meta-Shift-R 21:27:55 *Open_Apple 21:28:05 *Stummie 21:31:03 hm 21:32:03 -!- HackEgo has joined. 21:32:08 I wonder if this is valid C: 21:32:09 void foo(void) { /* ... */ } 21:32:09 void bar(int i) { 21:32:09 if (i > 0) return foo(); 21:32:09 /* ... */ 21:32:10 } 21:32:12 it works 21:32:14 and is elegant 21:32:17 but is it valid 21:33:31 return with a void expression? I suspect it's not valid even though it might work 21:33:38 * Gregor votes invalid. 21:33:59 Does it compile with -ansi -pedantic? 21:34:09 Gregor, only tried clang 21:34:12 That's the best test you can do short of poring over the spec. 21:34:28 yes 21:34:28 /home/arvid/t.c:3:16: warning: ISO C forbids ‘return’ with expression, in function returning void 21:34:29 it's valid 21:34:30 aww 21:34:30 "A return statement with an expression shall not appear in a function whose return type is void." 21:34:37 oh, wait, C 21:34:39 nvm then 21:34:41 6.8.6.4, para 1. 21:34:43 (it's allowed in C++) 21:35:03 fizzie :) 21:36:40 It is indeed different in C++; 6.6.3 para 3 in 14882:2003: "A return statement with an expression of type "cv void" can be used only in functions with a return type of cv void; the expression is evaluated just before the function returns to its caller." 21:37:20 okay, this is like the single place where C++ is better than C 21:40:47 Vorpal: not really, the construct is a bit meaningless :P 21:41:49 -!- GreaseMonkey has joined. 21:42:52 elliott, it is a shorthand for if (i > 0) { foo(); return; } 21:43:04 if (i > 0) return foo(); 21:43:08 is more elegant 21:44:03 I'm not sure I'd go as far as "elegant", because it *really* looks like foo() is returning a thing there. 21:44:27 (i > 0) && return foo(); 21:44:34 it does make it look like a proper tailcall 21:44:45 and I really like tailcalls 21:44:47 fizzie, hm 21:44:57 Well, okay, it does look more taily, that's true. 21:45:05 if (i > 0) jmp foo(); 21:45:07 well 21:45:08 goto foo(); 21:45:09 like perl :-) 21:45:10 (i > 0) && return foo(); <-- sure that works in C? 21:45:21 I strongly suspect it doesn't 21:45:41 me too, in fact i think it's even worse than i thought before pressing enter 21:45:46 it does not, return is a statement, && takes expressions 21:45:56 silly C 21:46:05 now what you need to do is: 21:46:27 I wonder if gcc's statement-expressions can return 21:46:29 (i > 0) && foo(myjmpbuf); 21:46:30 it may however be legal haskell 21:46:31 :D 21:46:35 Vorpal: In GNU C, this works: (i > 0) && ({return foo();}); 21:46:37 I have no idea if that will work 21:46:39 wait no 21:46:40 olsner: Very yes. 21:46:45 not if foo is a void function 21:46:55 it might if foo returns something 21:47:56 if foo is a Bool 21:48:14 oerjan, or int, or any pointer, or anything in fact except void 21:48:17 and the Monad instance for (e ->) has been imported 21:48:22 oh haskell 21:48:24 right 21:48:38 if (i > 0) ({return foo();}); 21:48:43 MOST POINTLESS USE OF STATEMENT-EXPRESSIONS EVER 21:48:50 Vorpal: Didn't they make return foo(); equal to foo(), return; for a void function? (I could be wrong though). 21:49:00 elliott, yeah you even miss the point 21:49:04 elliott: It's (i > 0) && ({return foo();}); though. 21:49:12 pikhq: It was a joke 21:49:18 Ah. 21:49:19 pikhq, erhm in? 21:49:25 pikhq, C? well gcc maybe 21:49:26 Vorpal: C. 21:49:38 foo(), RETURN; with #define RETURN ({return;}) 21:49:40 pikhq, it is not legal C89/C99 21:49:50 Sure enough they didn't. 21:50:02 pikhq: That was exactly the topic, and we quoted up there the spec where it's not-legal in C, legal in C++. 21:50:07 I thought maybe they would to make some old K&R C work with prototypes & sane headers. 21:50:08 pikhq, hm foo(), return; would that be valid? 21:50:13 it might 21:50:21 no, , takes expressions again 21:50:25 damn 21:51:25 How about "void dummy() { return; } if (i > 0) foo(), __builtin_return(__builtin_apply(dummy, NULL, 0));" on GCC? Elegant! (Disclaimer: probably won't work; __builtin_return and __builtin_apply are a bit messy.) 21:51:51 fizzie, what does __builtin_return do? 21:52:00 __builtin_apply I know but... 21:52:11 It returns the provided argument from the containing function; and the argument must be something returned by __builtin_apply. 21:52:28 It's there so that you can pass the returned value along without actually knowing the type. 21:52:36 (I think.) 21:55:59 seriously hacky polymorphism? :D 21:58:35 oerjan: "However, these built-in functions may interact badly with some sophisticated features or other extensions of the language. It is, therefore, not recommended to use them outside very simple functions acting as mere forwarders for their arguments." 21:59:31 Anyway, you can sort-of do general decorator-style things, except of course not very well. 22:01:54 HEYWAIT 22:02:15 BytePusher doesn't give you sufficient time to both update every pixel and do interesting computation at 60FPS! 22:02:18 THAT MAKES ME CRY :( 22:02:30 Maybe you're just too slow! 22:02:46 fizzie: It has a fixed speed :P 22:03:18 Gregor: Well, in the "wasting too many cycles" sense of "slow", I mean. 22:04:05 Assuming you want to update every pixel, and that you can only update one pixel per instruction (which is true), you have exactly as many instructions per frame as are sufficient to update every pixel. But none remaining to do useful computation. 22:04:06 Admittedly using less than one cycle per pixel is... quite a task. 22:04:13 :P 22:04:44 How's the FPS in the example thingies? 22:05:02 All programs go at 60FPS. 22:05:04 Gregor: should be like the amiga 22:05:06 with twice the fps 22:05:13 fizzie: And none of the examples touch every pixel every frame. 22:05:34 elliott: That makes me sadface unsmileyclown! 22:05:41 Gregor: ...why? 22:05:51 Idonno *shrugs* 22:06:03 Gregor: Three? Four times? 22:10:40 -!- Wamanuz has joined. 22:10:50 -!- Behold has joined. 22:11:16 Gregor: Well? :P 22:12:27 -!- wareya_ has joined. 22:15:28 Gregor, do you need to update every pixel every time? 22:17:12 -!- HackEgo has quit (*.net *.split). 22:17:12 -!- wareya has quit (*.net *.split). 22:17:12 -!- BeholdMyGlory has quit (*.net *.split). 22:17:13 -!- Wamanuz5 has quit (*.net *.split). 22:18:51 HELLO 22:19:37 < Vorpal> okay, this is like the single place where C++ is better than C 22:19:44 appropriately it's an almost inconsequential improvement 22:20:08 yay i can return nothing in a context where i said i couldn't return anything 22:21:16 -!- MigoMipo has quit (Quit: Quit). 22:21:47 yay 22:24:07 appropriately it's an almost inconsequential improvement <-- yes indeed 22:25:31 hmm, so I was thinking about putting netbsd on my server... too bad I use reiserfs which doesn't appear to be supported by netbsd 22:27:37 olsner: you use reiserfs? 22:27:40 it's unmaintained since 2006! 22:27:43 and will never be maintained again 22:27:51 company is dead, pretty much only dev imprisoned 22:28:04 olsner: just use ffsv2, next-gen filesystems can wait ;) 22:28:09 on linux btw btrfs is basically reiserfs5 22:28:10 brb 22:28:49 I do use reiserfs yes 22:30:54 You murderer of files! 22:31:19 reiserfs was completely awesome when ext2 was the alternative 22:31:30 i detect a whiff of extreme drama here 22:32:03 it's really hard to compare file systems though :) 22:32:09 "ReiserFS is currently supported on Linux." claims wp 22:32:36 "Hans Thomas Reiser (born 19 December 1963) is an American former computer entrepreneur, owner of Namesys, the primary developer of the ReiserFS and Reiser4 computer filesystems, and convicted murderer." claims wp ALSIO 22:32:40 *ALSO 22:32:59 When ext2 was the alternative, a reiserfs partition of mine blew up; after that I've had an illogical dislike of it. 22:33:25 The Namesys wp page does say it's pretty much dead. 22:33:46 But you can define "supported" many ways. 22:34:23 -!- iamcal has joined. 22:34:55 "Categories: Linux kernel hackers | 1963 births | Living people | American people convicted of murder | People from Oakland, California | American prisoners sentenced to life imprisonment | Prisoners sentenced to life imprisonment by California | People convicted of murder by California" 22:35:17 No "People who named a file system after themselves"? 22:35:42 -!- cal153 has quit (Ping timeout: 240 seconds). 22:36:20 Is there a way to select an intersection of two categories from wp? I'd like to see the cardinality of kernel hackers intersect convicted murderers. 22:38:21 -!- augur has quit (Ping timeout: 252 seconds). 22:40:34 It's 2010, year of the semantic web; I'm a bit disappointed that I can't yet ask SemantiGoogle for "killer kernel hackers" and have it hilariously misinterpret me and return only Reiser. 22:41:03 fizzie: I'm thinkin' ... one. 22:41:55 I don't know... especially among filesystem developers, you'd think the violent crime rate would be pretty high. 22:43:26 "semantigoogle" - 1 result. (And that's just some irclog.) 22:51:10 -!- cpressey has quit (Quit: Moo.). 22:54:16 fizzie: Semantigoogle -> Semoogle -> Smoogle -> Smeagol 22:55:18 Semantigoogle -> semtigoogle -> semitegoogle 22:56:10 Semantigoogle -> Semntigoogle -> Semen-to-Google 22:56:50 Semantigoogle -> Smfgoogle -> google fucks your mom 22:57:48 SemantiGoogle - SettaniMoogle - SantaMyOgre - Sat on my gorge - Sand is my urge - Soap on a pole - Raptors are fierce - ... wait, this doesn't seem to converge. 23:05:32 semiotigoogle 23:08:10 -!- tombom has quit (Quit: Leaving). 23:18:19 -!- wareya has joined. 23:19:25 -!- Harpyon has quit (Quit: Harpyon). 23:21:07 -!- wareya_ has quit (Ping timeout: 240 seconds). 23:39:55 quintopia: you there? 23:40:44 Vorpal: pikhq: you also (but for different reasons) 23:54:43 -!- Sgeo has joined. 23:56:52 Yo. 23:57:12 Yo. 23:58:31 pikhq: I just realised something (reading about runit). 23:58:44 pikhq: My service manager means I can ditch PID files. 23:58:50 Why? The service manager knows what the PID is, duh. 23:58:56 :D 23:59:11 # kill -HUP $(svpid myservice)