←2011-06-19 2011-06-20 2011-06-21→ ↑2011 ↑all
00:03:52 <olsner> Sgeo: that'd be the idea that all mathematical structures that could house consciousness do
00:06:41 <olsner> http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html :D
00:07:14 <Sgeo> Something something balloon Microsot something
00:08:40 <olsner> something something indeed!
00:11:58 -!- Patashu has joined.
00:13:57 <Gregor> Bonjour from actual Paris
00:14:19 <pikhq> Congrats.
00:16:36 <coppro> bonjour!
00:24:04 <zzo38> One card SCYTHER Lv23 has the translation "You can't use this attack during your opponent's next turn." That is certainly not the correct translation of the text.
00:26:37 -!- FireFly has quit (Quit: swatted to death).
01:03:48 -!- cheater_ has quit (Quit: Ex-Chat).
01:04:16 -!- cheater_ has joined.
01:35:33 -!- Vorpal has quit (Ping timeout: 250 seconds).
01:40:00 <quintopia> hello gregor
01:41:24 <coppro> zzo38: lol
01:50:27 -!- Lymia has quit (Quit: Bai~).
01:51:57 -!- augur has quit (Remote host closed the connection).
02:45:09 -!- BeholdMyGlory has quit (Remote host closed the connection).
02:45:34 -!- elliott has joined.
02:58:39 <elliott> https://support.mtgox.com/entries/20208066-huge-bitcoin-sell-off-due-to-a-compromised-account-rollback fun
02:58:39 <lambdabot> elliott: You have 3 new messages. '/msg lambdabot @messages' to read them.
02:59:24 -!- augur has joined.
03:25:29 <Patashu> I saw
03:25:32 <Patashu> bitcoin is hilarious
03:25:35 <Patashu> mtgox is hilarious too
03:25:44 <Patashu> in the interview they said they don't want to implement bcrypt or ssl certificates
03:29:51 <elliott> bitcoin seems fairly sound to me, i've no opinion on mtgox though
03:30:04 * pikhq is not quite sure why he started this
03:30:08 <elliott> pikhq: started what
03:30:43 <pikhq> elliott: Getting sabotage to a) build with a toolchain that proudly calls itself *-linux-musl b) uses the dynamic linker that was pushed to musl's git last night.
03:31:05 <elliott> oh it is working now? great
03:31:23 <pikhq> I suspect I'm going to hit a bug sometime, but yes, it works.
03:31:43 <pikhq> Well, I may have already. Perl's miniperl segfaulted.
03:32:09 <pikhq> But I'm just forcing that to link with -static so I can move on.
03:32:23 <pikhq> At a minimum, I know that gcc and its immediate dependencies pretty much works.
03:32:39 <pikhq> (modulo stage0, which I have still statically linked, for reasons of sanity)
03:34:00 <elliott> pikhq: don't dynlink everything :(
03:34:10 <pikhq> elliott: I'm dynlinking everything *simply to test that it works*.
03:34:46 <elliott> fair enough :P
03:35:07 <pikhq> If it weren't for that this would be a much easier task. :P
03:35:23 <pikhq> Just grab a sabotage install and munge the gcc spec file, rebuild musl, tada.
03:36:05 -!- azaq23 has quit (Ping timeout: 246 seconds).
03:36:23 -!- azaq23 has joined.
03:37:35 <elliott> pikhq: Where _is_ the gcc spec file in the source tree, btw?
03:37:45 <elliott> I could never find it.
03:40:02 <pikhq> elliott: It doesn't exist.
03:40:23 <pikhq> It's generated by gcc itself during install.
03:40:34 <pikhq> The configuration for what goes *into* it is in various header files.
03:40:57 <elliott> pikhq: >_<
03:41:10 <elliott> pikhq: Vaguely human-editable header files?
03:41:37 <pikhq> Very vaguely.
03:49:52 -!- augur has quit (Remote host closed the connection).
03:52:20 -!- elliott_ has joined.
03:52:21 -!- elliott has quit (Read error: Connection reset by peer).
03:53:48 <elliott_> Sgeo: hs
03:54:07 <Sgeo> ty
04:02:05 -!- augur has joined.
04:04:06 -!- elliott_ has quit (Remote host closed the connection).
04:04:46 -!- elliott has joined.
04:04:47 -!- elliott has quit (Changing host).
04:04:47 -!- elliott has joined.
04:04:51 <Sgeo> wb
04:07:45 <Sgeo> o.O at xkcd stupidity
04:08:21 -!- elliott has quit (Remote host closed the connection).
04:08:49 -!- elliott has joined.
04:09:00 <pikhq> The *fuck*?
04:10:22 -!- Wamanuz2 has quit (Remote host closed the connection).
04:11:41 <zzo38> If you have a DVD storing only Ogg video stream of Theora or Dirac in standard definition NTSC or PAL, including audio, but no menus or subtitles or filesystem etc, how much would fit on one DVD?
04:12:03 <pikhq> About as much as would fit on a normal DVD, TBH.
04:12:21 <pikhq> Theora's not notably better than MPEG-2, and menus, subtitles, etc. are fairly minimal overhead.
04:13:12 -!- Wamanuz has joined.
04:15:03 <zzo38> How well for Dirac?
04:18:01 <pikhq> Dirac has no good encoder ATM.
04:21:06 <zzo38> OK
04:21:47 <elliott> im a durrack
04:51:20 -!- Wamanuz has quit (Read error: Connection reset by peer).
04:52:17 -!- Wamanuz has joined.
04:54:06 -!- pikhq_ has joined.
04:55:23 -!- pikhq has quit (Ping timeout: 255 seconds).
05:00:03 -!- Wamanuz has quit (Read error: Connection reset by peer).
05:00:19 -!- Wamanuz has joined.
05:49:22 <pikhq_> So, I feel confident in saying "fuck Perl".
05:55:19 <zzo38> What is the difference in quality if the filesizes are kept the same?
05:55:25 -!- elliott has quit (Ping timeout: 240 seconds).
05:57:15 <pikhq_> I think it's a *slight* improvement?
06:01:22 <zzo38> OK. What format for audio is used in DVD standard for DVD video? Because, there is audio, too.
06:02:02 <zzo38> You also have to compare NTSC with PAL, Theora with Dirac, stereo with surround, etc.
06:04:41 <pikhq_> The valid audio formats are PCM (up to 6 channels, 24-bit, 48/96 kHz), AC-3 (48 kHz, up to 6 channels), DTS (up to 7 channels, 48/96 kHz), MP2 (up to 8 channels, 48 kHz).
06:05:43 <pikhq_> All of these options are, well, not noticably better than Theora. I think Theora's better, but with the bitrates used the distinction is negligible.
06:06:23 <zzo38> Theora doesn't do audio.
06:06:30 <pikhq_> Erm, Vorbis.
06:06:34 <pikhq_> I meant Vorbis.
06:07:17 <pikhq_> I get the feeling you're wondering "what's the best way of putting NTSC or PAL video on a DVD-ROM disc?".
06:07:43 <pikhq_> Which is, of course, x264 and FLAC.
06:09:27 <zzo38> No, it has to be a free encoding. It can be put on the other side of the disc if necessary.
06:09:36 <Deewiant> Why lossless audio?
06:11:31 <pikhq_> Deewiant: I'm presuming a best-case scenario where you have the unencoded source video.
06:12:01 <pikhq_> With such a scenario, it seems most reasonable to minimise any possible quality losses, while making it fit on your target medium.
06:12:12 <pikhq_> *Ideally*, the x264 encoding can also be lossless.
06:13:47 <Deewiant> Does the audio take up so little space anyway that compressing it lossily wouldn't translate to noticeably higher-quality video with no discernible difference in the audio?
06:14:44 <pikhq_> Actually, it's more that x264 is so flipping good that you will have gobs of free space if you have it encode to visual transparency.
06:15:19 <Deewiant> Ah, fine. :-)
06:15:45 <pikhq_> Seriously, I can fit a *season* of a show onto a single disc without a significant loss in quality.
06:16:37 <pikhq_> (reference: my encoding of Star Trek: TNG.)
06:17:00 <Deewiant> Is that from a 1080p source? :-P
06:18:22 <pikhq_> No such source exists; TNG was filmed on video and special effects were done in 480i, making it actually a royal *pain* to do anything right to it at all.
06:18:48 <Deewiant> Right, I was being snarky.
06:19:04 <pikhq_> Anyways, the discussion was "NTSC or PAL video". :P
06:19:12 <Deewiant> Oh, true.
06:19:19 -!- oerjan has joined.
06:21:24 <newsham> vhs or beta?
06:23:22 <pikhq_> newsham: Digitised, 720x480i30, pixel aspect ratio 10:11.
06:23:56 <pikhq_> (and YCbCr colorspace)
06:48:00 <oerjan> if today's xkcd made sense in munroe's own mind, does that mean he needs to be locked up?
06:48:42 <newsham> you read it, what does that say?
06:48:56 <zzo38> Is it possible to use something like holographic RFID to allow a DVD to store more data? [Disclaimer: This idea is licensed unter the GPL (actually I think this kind of licensing is not possible)]
06:49:24 <zzo38> oerjan: Probably not.
06:49:54 <newsham> oerjan: looks like maybe kidney thieves?
06:50:26 <oerjan> well it may be an _allusion_ to kidney thieves. it still doesn't make sense.
06:50:29 <pikhq_> zzo38: More feasibly, use a smaller laser.
06:50:35 <pikhq_> AKA Bluray.
06:50:55 <zzo38> pikhq_: I am talking about something else; a format which does not require changing the drives at all.
06:51:53 -!- sebbu has quit (Ping timeout: 264 seconds).
06:52:11 <zzo38> I do not know if it is even possible or probable
06:52:28 <zzo38> It is just some strange idea I made up
06:55:35 <zzo38> Of course it is probably not useful I just want to think of how it could be done.
06:55:35 -!- choochter has joined.
06:55:56 -!- augur has quit (Read error: Connection reset by peer).
06:56:04 -!- augur has joined.
06:57:58 <zzo38> Note that the Bluray licensing requires you to include DRM on the disc even if you do not use it (except for recordable discs) (at least, this is what I have read) therefore you have to pay a licensing fee for AACS even if it is not used.
07:00:23 <pikhq_> Yeah, fuck the right bastards.
07:00:56 <zzo38> Can you elaborate on that?
07:01:18 <pikhq_> Very general statement. Fuck licensing groups.
07:01:30 <zzo38> OK
07:01:47 <pikhq_> All they do is act as a leech on everything.
07:01:58 <zzo38> Yes.
07:02:41 -!- sebbu has joined.
07:07:26 <zzo38> Do you know if there is a way to switch Linux out of UTF-8 mode?
07:09:12 -!- Slereah_ has joined.
07:10:59 -!- Slereah has quit (Ping timeout: 246 seconds).
07:15:20 -!- zzo38 has quit (Quit: zzo38).
07:27:11 -!- monqy has quit (Quit: hello).
07:53:48 -!- azaq23 has quit (Quit: Leaving.).
07:55:24 -!- pikhq_ has quit (Ping timeout: 240 seconds).
07:55:38 -!- pikhq has joined.
08:12:14 -!- Tritonio has joined.
09:03:04 -!- ptaav has left.
09:35:00 -!- hiato has quit (Quit: "nothing so gives the illusion of intelligence as personal association with large sums").
09:50:48 -!- MigoMipo has joined.
10:03:46 -!- aloril has quit (Ping timeout: 250 seconds).
10:11:18 -!- oerjan has quit (Quit: leaving).
10:17:42 -!- aloril has joined.
10:21:43 -!- FireFly has joined.
10:24:17 -!- Vorpal has joined.
11:03:15 <Vorpal> pikhq, https://github.com/pathscale/envytools/blob/dda561414f8f3e767d0a35521d2c2ab5eed7c21d/README <-- what the
11:03:37 <Vorpal> pikhq, btw a lot more open-sourced than when I last checked 2 days ago
11:05:29 <Gregor> Hypersexualized animals are trying to sell me Orangina and I'm afraid D-8
11:06:41 <Vorpal> Gregor, what
11:07:03 <Vorpal> pikhq, oh they have two things, https://github.com/pathscale and https://github.com/path64
11:07:55 -!- dell_ has joined.
11:08:00 -!- dell_ has quit (Client Quit).
11:10:51 <Gregor> Vorpal: I think I was pretty clear *shrugs*
11:11:48 <Vorpal> Gregor, *googles Orangina*
11:11:50 <Vorpal> oh
11:11:52 <Vorpal> I see
11:13:04 <Gregor> That advertisement
11:13:06 <Gregor> It's EVERYWHERE
11:19:07 <Vorpal> Gregor, I see. It would never be allowed in Sweden. There are strict laws about sexualised ads.
11:20:41 <Gregor> Sux to be Sweden.
11:22:14 <Vorpal> Gregor, why
11:22:40 <Gregor> No sexualized ads :P
11:23:06 <Vorpal> Gregor, basically I think an ad for a sexual toy would be allowed to be sexualised, same for underwear ads, but not for something completely unrelated to sex.
11:23:17 <Vorpal> iirc that is how it goes basically
11:24:00 <Gregor> You just went from "no sexualized ads" to "we have ads for dildos, but they're different for ads for Orangina" X-D
11:24:07 <Gregor> *than ads
11:24:12 <Vorpal> Gregor, no I said there were "strict laws"
11:24:20 <Vorpal> Gregor, also I never seen dildo ads
11:24:28 <Vorpal> I just said they would be allowed likely
11:25:11 <Gregor> I'm just trolololin' here :P
11:26:06 <Vorpal> Gregor, I think the Orangina ads would be disallowed due to laws about sexist advertising for a start.
11:53:50 <CakeProphet> actually I think sex toy ads would have to be more covert than underwear ads.
11:53:57 <CakeProphet> ironically enough.
11:54:40 <CakeProphet> well, maybe not. I think it would be similar to a phone sex line commercial. Where the purpose isn't explicitly mentioned.
12:05:35 <CakeProphet> s/./SEX /g
12:07:02 <CakeProphet> thank you for allowing me to use your brains as regular expression computers.
12:12:50 -!- Vorpal has quit (Ping timeout: 240 seconds).
12:42:07 -!- CakeProphet has quit (Ping timeout: 252 seconds).
13:04:00 -!- Tritonio has quit (Quit: Leaving).
13:22:13 -!- foocraft has quit (Quit: So long, and thanks for all the fish!).
13:33:42 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
13:38:16 * Sgeo finds the original VX thread
13:39:35 -!- wareya_ has quit (Read error: Connection reset by peer).
13:40:30 -!- wareya has joined.
13:40:40 <Sgeo> http://www.reddit.com/r/AskReddit/comments/ewbee/my_vx_module_has_at_least_a_43_delta_guys_i_think/
13:50:13 <quintopia> that thread is where the concept was invented?
13:50:27 <Gregor> http://codu.org/tmp/ponder1-2011-06-20.ogg Thoughts?
13:51:09 <quintopia> my thoughts are that you never answer my question gregor
13:52:01 <Gregor> Of course I don't, I'm moving from city to city without persistent connection :P
13:52:48 <quintopia> well, i just want to know if you still have a functional other-half of a myvu crystal
13:53:15 <Gregor> Nope, the other half is not recoverable.
13:53:58 <quintopia> is that a necessary consequence of disassembling or just the way you did it
13:54:58 <Gregor> Mmm ... pretty necessary. There are two many components that plug into both, and had to be ripped in half :P
13:56:03 <Gregor> Besides, ultimately the control box (that converts the analog input into the necessary outputs) outputs to both, and I had to just cut the cable there.
13:56:19 <Gregor> You could probably desolder, but you'd still be short a control box.
13:56:20 <quintopia> so there's only one display signal that gets split to both projectors?
13:56:31 -!- Lymia has joined.
13:56:33 <quintopia> gotcha
13:56:45 <Gregor> I'm quite sure that the physical device is capable of displaying two signals, but yes, the control box it ships with can only handle one.
13:57:33 <quintopia> what is the input to the control box? vga?
13:57:36 <quintopia> rca?
13:58:10 <Gregor> RCA
13:58:16 <Gregor> Composite
14:00:06 -!- copumpkin has joined.
14:00:06 -!- copumpkin has quit (Changing host).
14:00:06 -!- copumpkin has joined.
14:00:33 <quintopia> durn. that vga-video adapter i got doesn't actually work. fucker cost me like 25 bucks too.
14:00:49 -!- Lymia has quit (Client Quit).
14:04:03 <Gregor> If it costs less than $150, it won't work :P
14:08:47 <quintopia> everyone online said it worked fine once you figured out how to use it
14:09:01 <quintopia> it didn't take me much figuring, itws just defective
14:09:51 <quintopia> anyway just bid on a pair of crystals. current bid is $66
14:11:25 -!- BeholdMyGlory has joined.
14:52:17 -!- augur has quit (Remote host closed the connection).
14:52:33 -!- choochter has quit (Ping timeout: 255 seconds).
14:59:57 -!- dell_ has joined.
15:02:16 -!- Phantom_Hoover has joined.
15:03:01 -!- dell_ has quit (Client Quit).
15:07:29 -!- derrik has joined.
15:08:44 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .).
15:08:45 <Phantom_Hoover> I wonder if I could have any lambdabot messages today.
15:08:45 <lambdabot> Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them.
15:09:14 -!- derrik has left.
15:17:18 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
15:18:31 -!- Phantom_Hoover has joined.
15:35:45 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
15:37:21 -!- Phantom_Hoover has joined.
15:39:13 -!- copumpkin has quit (Ping timeout: 252 seconds).
15:40:28 -!- copumpkin has joined.
15:40:29 -!- copumpkin has quit (Changing host).
15:40:29 -!- copumpkin has joined.
15:47:19 <Sgeo> <3 hard-boiled eggs
15:53:09 -!- Vorpal has joined.
16:09:29 <Phantom_Hoover> ...
16:11:09 <Sgeo> What?
16:11:37 <Sgeo> That wasn't a perverted sense of the word "eggs". I'm not ripping out someone's ovaries
16:12:43 <Phantom_Hoover> Sgeo, you have pushed the number of .s to beyond anything expressible to the human mind.
16:12:59 <Phantom_Hoover> I suppose this is just more of your sick blood fetish.
16:13:15 <Phantom_Hoover> OH MY GOD NOW I KNOW WHY YOU ONLY SKIMMED MOST OF HIVEBENT
16:13:34 <Phantom_Hoover> I DON'T EVEN WANT TO THINK WHAT YOU'VE BEEN DOING LATELY
16:18:47 -!- oerjan has joined.
16:19:20 <Phantom_Hoover> >48*5
16:19:26 <Phantom_Hoover> > 48*5
16:19:27 <lambdabot> 240
16:21:01 <quintopia> where did fungot go?
16:21:40 <oerjan> fizzie removed it during that spate when someone complained that the bots didn't prevent raw ctcp
16:21:50 <oerjan> and has not bothered to fix it
16:22:25 <quintopia> i'm slow to notice things i suppose
16:25:12 <Sgeo> What was the autoban channel?
16:25:31 <Phantom_Hoover> oerjan, raw CTCP?
16:26:21 <oerjan> well something that could be used to trigger a bug in a prehistoric client
16:26:32 <Phantom_Hoover> When was this?
16:26:42 <oerjan> DCC with too long line or something...
16:27:30 <oerjan> you didn't notice when Gregor temporarily removed his bots and then installed the zero-width space prefix?
16:27:44 <Phantom_Hoover> No?
16:28:01 <oerjan> well it was weeks, perhaps months ago.
16:28:06 <oerjan> anyway
16:28:27 <oerjan> !underload (<CTCP>ACTION no longer works<CTCP>)S
16:28:29 <EgoBot> ​.ACTION no longer works.
16:29:09 <oerjan> hm that seems like more than the prefix
16:29:44 <oerjan> !haskell putStr $ toEnum 1 : "ACTION hm..." ++ [toEnum 1]
16:29:49 <EgoBot> ​.ACTION hm....
16:33:56 -!- TOGoS has joined.
16:34:22 <oerjan> Sgeo: #verybadattitude or something
16:34:47 <Sgeo> ##verybadattitude
16:34:48 <Sgeo> ty
16:34:49 <Phantom_Hoover> oerjan, so wait, all the bots were fixed in case someone with an ancient client came along and someone else crashed them?
16:35:31 <oerjan> well something like that. and a freenode admin stayed lurking on the channel for weeks...
16:35:51 <Phantom_Hoover> *sigh*
16:36:16 <Phantom_Hoover> So we lost fungot to prevent an exploit which is still manifestly possible?
16:36:28 <oerjan> afair he never spoke
16:36:50 <oerjan> what do you mean "still manifestly possible"?
16:37:03 <oerjan> (except in private to Gregor)
16:37:05 <Phantom_Hoover> oerjan, if the bots could do it, so can a human.
16:37:14 <oerjan> well yeah.
16:38:13 <oerjan> also all of this was discussed to death back then.
16:44:17 <Vorpal> what? is fungot not coming back?
16:44:18 <Vorpal> why
16:44:34 <Phantom_Hoover> FFS, Vorpal.
16:44:41 <Phantom_Hoover> Read the goddamn scrollback.
16:44:44 <Vorpal> yes
16:44:49 <Vorpal> I just can't believe it
16:44:59 <oerjan> i never said that
16:45:10 <Vorpal> for a start it would be a tiny change to make fungot insert such a space at the start
16:45:54 <oerjan> well we could just ban fizzie until he fixes it. oh wait...
16:45:57 -!- TOGoS has left.
16:45:59 <Vorpal> nope
16:46:19 <Vorpal> oerjan, anyway, why didn't we ignore that person who complained about it, it seems silly
16:52:55 <oerjan> Vorpal: "and a freenode admin stayed lurking on the channel for weeks..."
16:53:21 <oerjan> it wasn't our decision to make.
16:53:36 <oerjan> in fact i wasn't really involved at all...
16:54:12 <oerjan> hm, actually i made the mistake of telling fizzie about it
16:54:20 <oerjan> dammit
16:54:49 <oerjan> if i hadn't, nobody might have pointed out fungot had the same "problem"
16:55:45 <oerjan> but i didn't expect him to take fungot off and _never bloody fix it_
17:25:29 -!- pikhq_ has joined.
17:25:33 -!- pikhq has quit (Ping timeout: 252 seconds).
17:41:08 -!- pikhq_ has quit (Ping timeout: 244 seconds).
17:41:12 -!- pikhq has joined.
17:42:06 -!- augur has joined.
17:43:11 -!- augur has quit (Remote host closed the connection).
17:50:58 <nooga> chill
17:55:24 <oerjan> chill with chilli
18:02:24 <Phantom_Hoover> http://rationalwikiwiki.org/wiki/Talk:I_thought_this_was_supposed_to_be_RATIONAL_wiki#Disagree
18:02:49 <Phantom_Hoover> RationalWiki: the most ironic place existing?
18:04:01 <Phantom_Hoover> Note that a) this person is reasonable and civil and b) they are a nutcase cultist promoter of their own religion who disbelieves in the scientific method.
18:04:36 -!- monqy has joined.
18:06:45 <Vorpal> <oerjan> chill with chilli <-- should be named "hoti" or something
18:07:28 <pikhq> Phantom_Hoover: If you disbelieve in the scientific method, you are probably not dealing in rationality.
18:07:48 <Phantom_Hoover> pikhq, I am considering that post purely in isolation.
18:07:53 <oerjan> Vorpal: fun fact: mexicans put chili in ice cream
18:08:04 <pikhq> Mmm.
18:08:12 <Phantom_Hoover> There is nothing wrong with it whatsoever, and it makes several valid points about RW.
18:08:32 <Vorpal> oerjan, *blink*
18:08:40 <pikhq> Vorpal: It fucking works.
18:08:52 <Vorpal> pikhq, chilli in ice cream? Hm okay.
18:09:28 * pikhq sighs at *_unlocked
18:10:03 <pikhq> It's like the normal stdio operations, but they don't lock anything.
18:10:49 <pikhq> Yes, it is the single most utterly pointless set of functions ever.
18:11:24 -!- augur has joined.
18:11:33 <Phantom_Hoover> pikhq, lock?
18:11:36 <pikhq> It is either a hardly relevant microöptimisation, or fundamentally wrong, depending.
18:11:40 <pikhq> Phantom_Hoover: For multithreading.
18:11:59 <pikhq> Phantom_Hoover: You wouldn't want multiple threads to mutate the same FILE simultaneously.
18:12:26 <oerjan> !haskell Control.Concurrent.forkIO.putStr`mapM_`words"Always lock everything!"
18:12:42 <oerjan> fnord
18:13:10 <pikhq> oerjan: Of course, there's no guarantee that the IO will happen in any sane sequence.
18:13:20 <oerjan> !haskell import Control.Concurrent(forkIO);main=putStr`mapM_`words"Always lock everything!"
18:13:25 <EgoBot> Alwayslockeverything!
18:13:31 <oerjan> darn
18:13:37 <oerjan> er wait :P
18:13:39 <pikhq> Just a guarantee that the IO action will not completely fuck up everything.
18:13:45 <oerjan> !haskell import Control.Concurrent(forkIO);main=forkIO.putStr`mapM_`words"Always lock everything!"
18:14:08 <pikhq> glibc has functions without this guarantee.
18:14:12 <oerjan> > (0$0.)
18:14:13 <lambdabot> The operator `L..' [infixr 9] of a section
18:14:13 <lambdabot> must have lower precedence ...
18:14:23 <oerjan> bah
18:14:38 <pikhq> Even though, if this is *somehow* a relevant optimisation, what you actually want is to ignore stdio anyways.
18:14:41 <olsner> oerjan: what are you trying to do? :)
18:15:09 <oerjan> !haskell import Control.Concurrent(forkIO);main=mapM_(forkIO.putStr)$words"Always lock everything!"
18:15:14 <EgoBot> A
18:15:18 <oerjan> mad stuff
18:15:20 <oerjan> oops
18:15:35 <oerjan> i suppose the main thread quit
18:16:02 <oerjan> @hoogle sleep
18:16:03 <lambdabot> No results found
18:16:07 <oerjan> wtf
18:16:15 <oerjan> @hoogle wait
18:16:15 <lambdabot> Control.Concurrent.QSem waitQSem :: QSem -> IO ()
18:16:15 <lambdabot> Control.Concurrent.QSemN waitQSemN :: QSemN -> Int -> IO ()
18:16:15 <lambdabot> System.IO hWaitForInput :: Handle -> Int -> IO Bool
18:17:16 <pikhq> Could wait on an mvar?
18:18:33 <oerjan> that sort of defeats the purpose of a quick one-liner :P
18:21:23 <oerjan> @hoogle forkIO
18:21:23 <lambdabot> Control.Concurrent forkIO :: IO () -> IO ThreadId
18:21:37 <oerjan> @hoogle ThreadId -> IO ()
18:21:38 <lambdabot> Control.Concurrent killThread :: ThreadId -> IO ()
18:21:38 <lambdabot> Control.OldException throwDynTo :: Typeable exception => ThreadId -> exception -> IO ()
18:21:38 <lambdabot> Control.Concurrent throwTo :: Exception e => ThreadId -> e -> IO ()
18:27:03 <nooga> FSKJPFS>FG>FX>XF>F>XF>F>F>X>FF>>X>XXX
18:27:22 <oerjan> you don't say.
18:28:17 <nooga> sorry, i was randomly hitting the keyboard
18:28:50 <olsner> not *that* randomly, that's only a handful of different letters
18:30:27 <nooga> accident
18:37:18 -!- Tritonio has joined.
18:45:06 <newsham> probably some top secret esoteric language function he isnt ready to discuss
18:57:32 -!- nooga has quit (Quit: Lost terminal).
18:58:53 -!- Vorpal has quit (Read error: Operation timed out).
18:59:33 -!- augur has quit (Remote host closed the connection).
19:06:52 -!- Vorpal has joined.
19:15:18 <cheater_> how is eric
19:18:31 <oerjan> there is no eric. eric is an illusion.
19:21:45 -!- esot_eric has joined.
19:21:51 <esot_eric> I am fine.
19:22:31 <esot_eric> I am also ... Lord High Commander of the Armada.
19:22:39 <pikhq> Looks like Gregor to me.
19:22:51 <oerjan> the esots are heretics! burn him!
19:22:56 <pikhq> (srsly, who else has a copy of RawIRC?)
19:23:11 <pikhq> ... Actually, I might.
19:23:18 <esot_eric> oerjan: More like Herr Erics!
19:23:57 <oerjan> Das stimmt überhaupt nicht!
19:25:00 <Phantom_Hoover> pikhq, RawIRC?
19:25:26 <oerjan> ...i am starting to wonder if Phantom_Hoover has had a recent bout of amnesia :P
19:25:27 <esot_eric> Sorry, ich spreche kein Katalanisch.
19:25:37 <Phantom_Hoover> oerjan, quite possibly.
19:25:38 <oerjan> esot_eric: De nada!
19:25:56 <Phantom_Hoover> oerjan, my internet connection was gone for a day or two.
19:26:09 <pikhq> Phantom_Hoover: A very lightweight IRC client.
19:26:15 <esot_eric> s/day/millenium/
19:26:17 * olsner fails to think of something funny in german
19:26:20 <oerjan> Phantom_Hoover: these are not recent events.
19:26:31 <pikhq> It does syntax coloring and automatically responds to PINGs!
19:26:37 <Phantom_Hoover> oerjan, it's a mystery.
19:26:43 -!- esot_eric has quit (Quit: Power to ze Erics!).
19:29:47 <oerjan> olsner: well as the swedish girl said to her german boyfriend in bed: "Snälla du!". "Aber ich kann nicht schneller!"
19:30:03 <olsner> oerjan: :D
19:30:30 <Phantom_Hoover> oerjan, as deputy punmaster I demand an explanation.
19:31:00 <oerjan> Phantom_Hoover: well swedish snälla sounds pretty close to german schneller, obviously
19:31:13 <Phantom_Hoover> That much is obvious, at least.
19:31:39 <oerjan> one meaning kind, the other meaning faster
19:32:48 <oerjan> so, approximately "You're so kind!" "But I can't do it faster!"
19:33:36 * oerjan throws the dissected frog into the garbage
19:34:43 <olsner> hmm, more like "Please!", possibly implied "please [hold back]"
19:35:26 <olsner> but it's not really clear what "snälla du!" is supposed to mean
19:35:32 <oerjan> ah, bit of a false friend perhaps
19:35:57 <olsner> snäll does mean kind, but you wouldn't use it like that
19:36:48 <oerjan> obviously it's a norwegian joke
19:37:27 <olsner> oerjan: ... it's not the fart that kills, it's the smäll
19:37:43 <oerjan> O KAY
19:37:45 <olsner> *smell :)
19:37:50 <monqy> nice to know
19:38:17 <olsner> I've heard that's from the infamously-bad-at-english norwegian rally driver
19:38:43 <olsner> (fart = speed, smäll = bang)
19:39:35 <oerjan> ah, solberg
19:40:17 -!- Tritonio has quit (Quit: Leaving).
19:40:19 <oerjan> heck, google suggests it with just "it's not the " as clue
19:41:14 <Phantom_Hoover> oerjan, consider that Google customises things like that whether you want it to or not.
19:41:57 <oerjan> well obviously
19:42:10 * oerjan still misses the define: prefix
19:46:50 <olsner> I would still like to find the original version of that quote
19:49:15 <oerjan> "Denne setningen har eksistert i maaange år, og jeg vil nok tro at den også ble oppdiktet lenge før Solberg sin periode."
19:49:28 <olsner> meh!
19:53:11 <oerjan> i seem to have similar trouble confirming a notorious "pigs in your decks" phrase
19:53:43 <oerjan> of course that one is _supposed_ to be decades old
19:55:53 <olsner> the pigs in the decks would be referring to spiked tires?
19:56:04 <olsner> in swedish that'd be dub decks
19:56:18 -!- sebbu2 has joined.
19:56:18 -!- sebbu2 has quit (Changing host).
19:56:18 -!- sebbu2 has joined.
19:59:00 -!- sebbu has quit (Disconnected by services).
19:59:03 -!- sebbu2 has changed nick to sebbu.
19:59:19 -!- CakeProphet has joined.
20:04:12 <oerjan> yes
20:06:04 -!- pikhq_ has joined.
20:06:12 -!- pikhq has quit (Ping timeout: 250 seconds).
20:16:35 -!- zzo38 has joined.
20:20:07 <CakeProphet> hmmm
20:20:21 <CakeProphet> okay so I have most of the basics for my regexp stuff
20:20:26 <CakeProphet> but I feel something is still missing.
20:24:48 -!- pikhq has joined.
20:25:27 <Phantom_Hoover> CakeProphet, is it formal verification.
20:25:55 -!- pikhq_ has quit (Ping timeout: 260 seconds).
20:26:36 <CakeProphet> Phantom_Hoover: I doubt it.
20:26:46 <Phantom_Hoover> -_-
20:26:48 <Phantom_Hoover> Wrong answer.
20:27:08 <Phantom_Hoover> There's always room for formal verification!
20:27:20 <CakeProphet> How do you suggest I go about that?
20:28:02 <Phantom_Hoover> Write it all in Coq.
20:28:20 <CakeProphet> I was going to write it in Haskell. Is that good enough?
20:28:26 <Phantom_Hoover> No.
20:28:31 <CakeProphet> Does that please the verification gods?
20:28:33 <CakeProphet> no? okay.
20:28:37 <Phantom_Hoover> You must write it in Coq.
20:28:42 <Phantom_Hoover> You may extract it to Haskell.
20:28:44 <CakeProphet> then I don't care anymore. :X
20:29:18 <Phantom_Hoover> But you can *extract* it to your stupid logically inconsistent language!
20:29:34 -!- azaq23 has joined.
20:29:42 <CakeProphet> a more important issue here though
20:29:46 <CakeProphet> is why does any of this really matter?
20:30:37 <Phantom_Hoover> Because then if anyone comes up to you with a bug report you can say "it's logic's problem, not mine" and then ride away on a motorbike into the sunset.
20:31:19 <CakeProphet> ah, that does sound idyllic
20:33:00 <CakeProphet> as far as syntax, I was thinking about changing * and *? to *! and *, respectively.
20:34:30 <CakeProphet> because... well, mainly because I like that better. But also I believe the Kleene star is actually *?, so it makes sense to write it as * instead.
20:35:19 <oerjan> the kleene star is "actually" completely oblivious to the distinction between greedy and non-greedy matching
20:37:09 <oerjan> because that's not an issue when _defining_ a regular language
20:37:49 <CakeProphet> ah I see.
20:38:11 <CakeProphet> I've always seen it used as the minimum possible number of repetitions.
20:38:25 <CakeProphet> granted I haven't seen much of it in math classes.
20:43:52 <Phantom_Hoover> Wait, Simon Peyton-Jones said the next Haskell would be strict?
20:44:51 <olsner> wat
20:59:44 <Phantom_Hoover> olsner, as a metaphorical thing.
21:00:00 <Phantom_Hoover> As in, if they made it again knowing what they know now, it would be strict.
21:00:13 <olsner> oh, like that
21:03:26 <Vorpal> Phantom_Hoover, what, really?
21:03:28 <Vorpal> why
21:03:47 <Vorpal> [1..] and so on would no longer work
21:04:00 <Phantom_Hoover> Dunno..
21:04:10 <Vorpal> well it could be special cased to work as a generator
21:04:13 <Phantom_Hoover> Has elliott's sleep schedule just slipped into full vampire/
21:04:15 <Vorpal> but that seems awkward
21:24:36 <Phantom_Hoover> Guys, I need you to name something really, really gay.
21:24:42 <Phantom_Hoover> No time to explain. Just do it.
21:29:37 <Sgeo> Hmm? Like Sebastian, as in Sin with Sebastian?
21:30:20 <Sgeo> Or um, what's his name?
21:30:42 <Sgeo> Samwell?
21:30:55 <Sgeo> Also, I do want an explanation
21:33:08 <Phantom_Hoover> What.
21:33:14 -!- adamfyre has joined.
21:33:20 <Phantom_Hoover> I had to jury-rig something crappy.
21:33:25 <Phantom_Hoover> Where was augur.
21:36:05 <Vorpal> Phantom_Hoover, what about "gay-o-matic"?
21:36:12 <Phantom_Hoover> Vorpal, what.
21:36:17 <Vorpal> <Phantom_Hoover> Guys, I need you to name something really, really gay.
21:36:21 <Vorpal> I invented a name
21:36:22 <Phantom_Hoover> How is that a thing which is really, really gay.
21:36:24 <Vorpal> as you asked
21:36:25 <Phantom_Hoover> It's just a machine.
21:36:31 <Phantom_Hoover> That does something related to gayness.
21:36:32 <Vorpal> oh true
21:36:43 <Vorpal> Phantom_Hoover, oh something really gay that already exists?
21:36:57 <Vorpal> or do you need a new name?
21:37:07 <Phantom_Hoover> Vorpal, for the purposes of humourous comparison, yes.
21:37:28 <Vorpal> Phantom_Hoover, which sense of the word gay do you need
21:37:44 <Vorpal> Phantom_Hoover, the old sense or the homosexual sense
21:37:49 <Vorpal> Phantom_Hoover, if the latter: Batman
21:38:01 <Sgeo> Phantom_Hoover, listen to Samwell
21:38:05 <Phantom_Hoover> Vorpal, it is done. You are too late also that is not the old sense of the word gay how is that
21:38:09 <Sgeo> Samwell's more famous song
21:38:17 <Sgeo> Oh
21:38:24 <Vorpal> Phantom_Hoover, the old sense would be "happy"
21:38:29 <Vorpal> roughly
21:38:34 <Phantom_Hoover> ...how is Batman happy.
21:38:55 * oerjan learns that Phantom_Hoover does not understand the word "latter"
21:38:56 <Phantom_Hoover> His parents are dead, you insensitive prick.
21:39:13 <Phantom_Hoover> ...wait, right.
21:39:45 <oerjan> now a _sensitive_ prick, that would be gay
21:39:46 <Vorpal> oerjan, oh that explains the confusion
21:40:04 <Vorpal> well Phantom_Hoover not knowing "latter" that is
21:41:42 <oerjan> perhaps Phantom_Hoover doesn't have amnesia. perhaps he's just a very confused time traveler.
21:43:00 <Sgeo> "This Downloader uses Pando Media Booster to download Global Agenda Free Agent. When you use this Downloader, you install Pando Media Booster and participate in a secure, closed peer-to-peer network where you receive pieces of the download package from a Content Delivery Network (CDN) as well as other active users (peers). In addition you send pieces of the download package installer to other peers participating in the secure peer-to-peer net
21:43:00 <Sgeo> work. No other files can be shared on your computer via Pando Media Booster and your computer is never used as a relay nor for transient storage of content you did not wish to download. More information about Pando Media Booster and how to manage it can be found at http://pandonetworks.com/pmb-faq"
21:43:00 <Vorpal> ah
21:43:08 <Sgeo> So basically, bittorrent
21:43:31 <Sgeo> Wait, this is the .... installer for the bittorrent client...
21:43:40 <Vorpal> ouch
21:44:16 <Sgeo> Or not?
21:44:19 <Sgeo> I'm confused
21:45:38 <Vorpal> Sgeo, googling suggest it is almost but not quite the same... -_-
21:50:32 -!- Phantom_Hoover has quit (*.net *.split).
21:50:33 -!- lambdabot has quit (*.net *.split).
21:54:58 -!- adamfyre has quit (Quit: AndroidIrc Disconnecting).
21:55:33 <Sgeo> Hmm, what's the difference? (My browser's acting up)
21:55:53 <Vorpal> not sure
21:55:58 <Vorpal> didn't read on enough
21:56:03 <Vorpal> Sgeo, fix your browser
21:56:19 <Vorpal> anyway normal bittorrent client apparently doesn't quite work
21:57:53 -!- Phantom_Hoover has joined.
22:07:20 -!- Sgeo_ has joined.
22:07:56 * Phantom_Hoover → sleep
22:07:56 -!- Phantom_Hoover has left ("Leaving").
22:07:58 -!- Phantom_Hoover has quit (Quit: Leaving).
22:09:42 -!- Sgeo has quit (Ping timeout: 250 seconds).
22:12:22 -!- Sgeo has joined.
22:14:03 -!- Sgeo_ has quit (Ping timeout: 240 seconds).
22:20:29 -!- lambdabot has joined.
22:21:49 -!- MigoMipo has quit (Read error: Connection reset by peer).
22:26:45 -!- oerjan has quit (Quit: Good night).
22:27:22 -!- Sgeo_ has joined.
22:29:09 -!- Sgeo has quit (Ping timeout: 252 seconds).
22:51:17 -!- Slereah_ has quit.
22:55:09 -!- elliott has joined.
22:59:16 <copumpkin> newsham: too cool for blah?
22:59:16 <copumpkin> :)
23:02:15 <CakeProphet> oh hey I am at the end of Homestuck.
23:04:23 <Sgeo_> Awesome
23:07:51 <elliott> there's no more homes to be stuck in now.
23:07:51 <lambdabot> elliott: You have 2 new messages. '/msg lambdabot @messages' to read them.
23:07:55 <elliott> you've deprived an orphan.
23:19:47 <newsham> copumpkin: havent been ircing as much lately..
23:19:52 <newsham> dont worry, i'm slowly sliding back into it
23:19:59 <copumpkin> newsham: I see you're involved in bitcoin, too
23:20:10 <newsham> not too much.. goofed with it a little
23:20:19 <copumpkin> :)
23:20:22 <newsham> invested $100, cashed out $600 recently, have lots more left.
23:20:32 <copumpkin> roconnor made a pretty good implementation in pure haskell
23:20:38 <copumpkin> ecdsa, sha256 from scratch
23:20:40 <copumpkin> all pure haskell
23:20:46 <newsham> neat! i bet it has less vulns than the official one! ;-)
23:20:51 <copumpkin> probably :P
23:21:02 <copumpkin> soon we'll hear about "omg someone haxed my client and stoled my coinz"
23:22:14 <elliott> if only I was a time traveller, I'd be rich off bitcoins
23:22:15 <elliott> IF ONLY
23:27:45 <pikhq> Eh, if you're going to be a time traveller, use the stock market. Better possible returns.
23:27:57 <pikhq> (get in on Google's IPO)
23:50:36 <quintopia> mmm. i has cash
←2011-06-19 2011-06-20 2011-06-21→ ↑2011 ↑all