00:03:52 Sgeo: that'd be the idea that all mathematical structures that could house consciousness do 00:06:41 http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html :D 00:07:14 Something something balloon Microsot something 00:08:40 something something indeed! 00:11:58 -!- Patashu has joined. 00:13:57 Bonjour from actual Paris 00:14:19 Congrats. 00:16:36 bonjour! 00:24:04 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 hello gregor 01:41:24 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 https://support.mtgox.com/entries/20208066-huge-bitcoin-sell-off-due-to-a-compromised-account-rollback fun 02:58:39 elliott: You have 3 new messages. '/msg lambdabot @messages' to read them. 02:59:24 -!- augur has joined. 03:25:29 I saw 03:25:32 bitcoin is hilarious 03:25:35 mtgox is hilarious too 03:25:44 in the interview they said they don't want to implement bcrypt or ssl certificates 03:29:51 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 pikhq: started what 03:30:43 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 oh it is working now? great 03:31:23 I suspect I'm going to hit a bug sometime, but yes, it works. 03:31:43 Well, I may have already. Perl's miniperl segfaulted. 03:32:09 But I'm just forcing that to link with -static so I can move on. 03:32:23 At a minimum, I know that gcc and its immediate dependencies pretty much works. 03:32:39 (modulo stage0, which I have still statically linked, for reasons of sanity) 03:34:00 pikhq: don't dynlink everything :( 03:34:10 elliott: I'm dynlinking everything *simply to test that it works*. 03:34:46 fair enough :P 03:35:07 If it weren't for that this would be a much easier task. :P 03:35:23 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 pikhq: Where _is_ the gcc spec file in the source tree, btw? 03:37:45 I could never find it. 03:40:02 elliott: It doesn't exist. 03:40:23 It's generated by gcc itself during install. 03:40:34 The configuration for what goes *into* it is in various header files. 03:40:57 pikhq: >_< 03:41:10 pikhq: Vaguely human-editable header files? 03:41:37 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 Sgeo: hs 03:54:07 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 wb 04:07:45 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 The *fuck*? 04:10:22 -!- Wamanuz2 has quit (Remote host closed the connection). 04:11:41 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 About as much as would fit on a normal DVD, TBH. 04:12:21 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 How well for Dirac? 04:18:01 Dirac has no good encoder ATM. 04:21:06 OK 04:21:47 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 So, I feel confident in saying "fuck Perl". 05:55:19 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 I think it's a *slight* improvement? 06:01:22 OK. What format for audio is used in DVD standard for DVD video? Because, there is audio, too. 06:02:02 You also have to compare NTSC with PAL, Theora with Dirac, stereo with surround, etc. 06:04:41 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 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 Theora doesn't do audio. 06:06:30 Erm, Vorbis. 06:06:34 I meant Vorbis. 06:07:17 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 Which is, of course, x264 and FLAC. 06:09:27 No, it has to be a free encoding. It can be put on the other side of the disc if necessary. 06:09:36 Why lossless audio? 06:11:31 Deewiant: I'm presuming a best-case scenario where you have the unencoded source video. 06:12:01 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 *Ideally*, the x264 encoding can also be lossless. 06:13:47 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 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 Ah, fine. :-) 06:15:45 Seriously, I can fit a *season* of a show onto a single disc without a significant loss in quality. 06:16:37 (reference: my encoding of Star Trek: TNG.) 06:17:00 Is that from a 1080p source? :-P 06:18:22 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 Right, I was being snarky. 06:19:04 Anyways, the discussion was "NTSC or PAL video". :P 06:19:12 Oh, true. 06:19:19 -!- oerjan has joined. 06:21:24 vhs or beta? 06:23:22 newsham: Digitised, 720x480i30, pixel aspect ratio 10:11. 06:23:56 (and YCbCr colorspace) 06:48:00 if today's xkcd made sense in munroe's own mind, does that mean he needs to be locked up? 06:48:42 you read it, what does that say? 06:48:56 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 oerjan: Probably not. 06:49:54 oerjan: looks like maybe kidney thieves? 06:50:26 well it may be an _allusion_ to kidney thieves. it still doesn't make sense. 06:50:29 zzo38: More feasibly, use a smaller laser. 06:50:35 AKA Bluray. 06:50:55 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 I do not know if it is even possible or probable 06:52:28 It is just some strange idea I made up 06:55:35 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 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 Yeah, fuck the right bastards. 07:00:56 Can you elaborate on that? 07:01:18 Very general statement. Fuck licensing groups. 07:01:30 OK 07:01:47 All they do is act as a leech on everything. 07:01:58 Yes. 07:02:41 -!- sebbu has joined. 07:07:26 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 pikhq, https://github.com/pathscale/envytools/blob/dda561414f8f3e767d0a35521d2c2ab5eed7c21d/README <-- what the 11:03:37 pikhq, btw a lot more open-sourced than when I last checked 2 days ago 11:05:29 Hypersexualized animals are trying to sell me Orangina and I'm afraid D-8 11:06:41 Gregor, what 11:07:03 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 Vorpal: I think I was pretty clear *shrugs* 11:11:48 Gregor, *googles Orangina* 11:11:50 oh 11:11:52 I see 11:13:04 That advertisement 11:13:06 It's EVERYWHERE 11:19:07 Gregor, I see. It would never be allowed in Sweden. There are strict laws about sexualised ads. 11:20:41 Sux to be Sweden. 11:22:14 Gregor, why 11:22:40 No sexualized ads :P 11:23:06 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 iirc that is how it goes basically 11:24:00 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 *than ads 11:24:12 Gregor, no I said there were "strict laws" 11:24:20 Gregor, also I never seen dildo ads 11:24:28 I just said they would be allowed likely 11:25:11 I'm just trolololin' here :P 11:26:06 Gregor, I think the Orangina ads would be disallowed due to laws about sexist advertising for a start. 11:53:50 actually I think sex toy ads would have to be more covert than underwear ads. 11:53:57 ironically enough. 11:54:40 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 s/./SEX /g 12:07:02 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 http://www.reddit.com/r/AskReddit/comments/ewbee/my_vx_module_has_at_least_a_43_delta_guys_i_think/ 13:50:13 that thread is where the concept was invented? 13:50:27 http://codu.org/tmp/ponder1-2011-06-20.ogg Thoughts? 13:51:09 my thoughts are that you never answer my question gregor 13:52:01 Of course I don't, I'm moving from city to city without persistent connection :P 13:52:48 well, i just want to know if you still have a functional other-half of a myvu crystal 13:53:15 Nope, the other half is not recoverable. 13:53:58 is that a necessary consequence of disassembling or just the way you did it 13:54:58 Mmm ... pretty necessary. There are two many components that plug into both, and had to be ripped in half :P 13:56:03 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 You could probably desolder, but you'd still be short a control box. 13:56:20 so there's only one display signal that gets split to both projectors? 13:56:31 -!- Lymia has joined. 13:56:33 gotcha 13:56:45 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 what is the input to the control box? vga? 13:57:36 rca? 13:58:10 RCA 13:58:16 Composite 14:00:06 -!- copumpkin has joined. 14:00:06 -!- copumpkin has quit (Changing host). 14:00:06 -!- copumpkin has joined. 14:00:33 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 If it costs less than $150, it won't work :P 14:08:47 everyone online said it worked fine once you figured out how to use it 14:09:01 it didn't take me much figuring, itws just defective 14:09:51 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 I wonder if I could have any lambdabot messages today. 15:08:45 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 <3 hard-boiled eggs 15:53:09 -!- Vorpal has joined. 16:09:29 ... 16:11:09 What? 16:11:37 That wasn't a perverted sense of the word "eggs". I'm not ripping out someone's ovaries 16:12:43 Sgeo, you have pushed the number of .s to beyond anything expressible to the human mind. 16:12:59 I suppose this is just more of your sick blood fetish. 16:13:15 OH MY GOD NOW I KNOW WHY YOU ONLY SKIMMED MOST OF HIVEBENT 16:13:34 I DON'T EVEN WANT TO THINK WHAT YOU'VE BEEN DOING LATELY 16:18:47 -!- oerjan has joined. 16:19:20 >48*5 16:19:26 > 48*5 16:19:27 240 16:21:01 where did fungot go? 16:21:40 fizzie removed it during that spate when someone complained that the bots didn't prevent raw ctcp 16:21:50 and has not bothered to fix it 16:22:25 i'm slow to notice things i suppose 16:25:12 What was the autoban channel? 16:25:31 oerjan, raw CTCP? 16:26:21 well something that could be used to trigger a bug in a prehistoric client 16:26:32 When was this? 16:26:42 DCC with too long line or something... 16:27:30 you didn't notice when Gregor temporarily removed his bots and then installed the zero-width space prefix? 16:27:44 No? 16:28:01 well it was weeks, perhaps months ago. 16:28:06 anyway 16:28:27 !underload (ACTION no longer works)S 16:28:29 ​.ACTION no longer works. 16:29:09 hm that seems like more than the prefix 16:29:44 !haskell putStr $ toEnum 1 : "ACTION hm..." ++ [toEnum 1] 16:29:49 ​.ACTION hm.... 16:33:56 -!- TOGoS has joined. 16:34:22 Sgeo: #verybadattitude or something 16:34:47 ##verybadattitude 16:34:48 ty 16:34:49 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 well something like that. and a freenode admin stayed lurking on the channel for weeks... 16:35:51 *sigh* 16:36:16 So we lost fungot to prevent an exploit which is still manifestly possible? 16:36:28 afair he never spoke 16:36:50 what do you mean "still manifestly possible"? 16:37:03 (except in private to Gregor) 16:37:05 oerjan, if the bots could do it, so can a human. 16:37:14 well yeah. 16:38:13 also all of this was discussed to death back then. 16:44:17 what? is fungot not coming back? 16:44:18 why 16:44:34 FFS, Vorpal. 16:44:41 Read the goddamn scrollback. 16:44:44 yes 16:44:49 I just can't believe it 16:44:59 i never said that 16:45:10 for a start it would be a tiny change to make fungot insert such a space at the start 16:45:54 well we could just ban fizzie until he fixes it. oh wait... 16:45:57 -!- TOGoS has left. 16:45:59 nope 16:46:19 oerjan, anyway, why didn't we ignore that person who complained about it, it seems silly 16:52:55 Vorpal: "and a freenode admin stayed lurking on the channel for weeks..." 16:53:21 it wasn't our decision to make. 16:53:36 in fact i wasn't really involved at all... 16:54:12 hm, actually i made the mistake of telling fizzie about it 16:54:20 dammit 16:54:49 if i hadn't, nobody might have pointed out fungot had the same "problem" 16:55:45 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 chill 17:55:24 chill with chilli 18:02:24 http://rationalwikiwiki.org/wiki/Talk:I_thought_this_was_supposed_to_be_RATIONAL_wiki#Disagree 18:02:49 RationalWiki: the most ironic place existing? 18:04:01 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 chill with chilli <-- should be named "hoti" or something 18:07:28 Phantom_Hoover: If you disbelieve in the scientific method, you are probably not dealing in rationality. 18:07:48 pikhq, I am considering that post purely in isolation. 18:07:53 Vorpal: fun fact: mexicans put chili in ice cream 18:08:04 Mmm. 18:08:12 There is nothing wrong with it whatsoever, and it makes several valid points about RW. 18:08:32 oerjan, *blink* 18:08:40 Vorpal: It fucking works. 18:08:52 pikhq, chilli in ice cream? Hm okay. 18:09:28 * pikhq sighs at *_unlocked 18:10:03 It's like the normal stdio operations, but they don't lock anything. 18:10:49 Yes, it is the single most utterly pointless set of functions ever. 18:11:24 -!- augur has joined. 18:11:33 pikhq, lock? 18:11:36 It is either a hardly relevant microöptimisation, or fundamentally wrong, depending. 18:11:40 Phantom_Hoover: For multithreading. 18:11:59 Phantom_Hoover: You wouldn't want multiple threads to mutate the same FILE simultaneously. 18:12:26 !haskell Control.Concurrent.forkIO.putStr`mapM_`words"Always lock everything!" 18:12:42 fnord 18:13:10 oerjan: Of course, there's no guarantee that the IO will happen in any sane sequence. 18:13:20 !haskell import Control.Concurrent(forkIO);main=putStr`mapM_`words"Always lock everything!" 18:13:25 Alwayslockeverything! 18:13:31 darn 18:13:37 er wait :P 18:13:39 Just a guarantee that the IO action will not completely fuck up everything. 18:13:45 !haskell import Control.Concurrent(forkIO);main=forkIO.putStr`mapM_`words"Always lock everything!" 18:14:08 glibc has functions without this guarantee. 18:14:12 > (0$0.) 18:14:13 The operator `L..' [infixr 9] of a section 18:14:13 must have lower precedence ... 18:14:23 bah 18:14:38 Even though, if this is *somehow* a relevant optimisation, what you actually want is to ignore stdio anyways. 18:14:41 oerjan: what are you trying to do? :) 18:15:09 !haskell import Control.Concurrent(forkIO);main=mapM_(forkIO.putStr)$words"Always lock everything!" 18:15:14 A 18:15:18 mad stuff 18:15:20 oops 18:15:35 i suppose the main thread quit 18:16:02 @hoogle sleep 18:16:03 No results found 18:16:07 wtf 18:16:15 @hoogle wait 18:16:15 Control.Concurrent.QSem waitQSem :: QSem -> IO () 18:16:15 Control.Concurrent.QSemN waitQSemN :: QSemN -> Int -> IO () 18:16:15 System.IO hWaitForInput :: Handle -> Int -> IO Bool 18:17:16 Could wait on an mvar? 18:18:33 that sort of defeats the purpose of a quick one-liner :P 18:21:23 @hoogle forkIO 18:21:23 Control.Concurrent forkIO :: IO () -> IO ThreadId 18:21:37 @hoogle ThreadId -> IO () 18:21:38 Control.Concurrent killThread :: ThreadId -> IO () 18:21:38 Control.OldException throwDynTo :: Typeable exception => ThreadId -> exception -> IO () 18:21:38 Control.Concurrent throwTo :: Exception e => ThreadId -> e -> IO () 18:27:03 FSKJPFS>FG>FX>XF>F>XF>F>F>X>FF>>X>XXX 18:27:22 you don't say. 18:28:17 sorry, i was randomly hitting the keyboard 18:28:50 not *that* randomly, that's only a handful of different letters 18:30:27 accident 18:37:18 -!- Tritonio has joined. 18:45:06 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 how is eric 19:18:31 there is no eric. eric is an illusion. 19:21:45 -!- esot_eric has joined. 19:21:51 I am fine. 19:22:31 I am also ... Lord High Commander of the Armada. 19:22:39 Looks like Gregor to me. 19:22:51 the esots are heretics! burn him! 19:22:56 (srsly, who else has a copy of RawIRC?) 19:23:11 ... Actually, I might. 19:23:18 oerjan: More like Herr Erics! 19:23:57 Das stimmt überhaupt nicht! 19:25:00 pikhq, RawIRC? 19:25:26 ...i am starting to wonder if Phantom_Hoover has had a recent bout of amnesia :P 19:25:27 Sorry, ich spreche kein Katalanisch. 19:25:37 oerjan, quite possibly. 19:25:38 esot_eric: De nada! 19:25:56 oerjan, my internet connection was gone for a day or two. 19:26:09 Phantom_Hoover: A very lightweight IRC client. 19:26:15 s/day/millenium/ 19:26:17 * olsner fails to think of something funny in german 19:26:20 Phantom_Hoover: these are not recent events. 19:26:31 It does syntax coloring and automatically responds to PINGs! 19:26:37 oerjan, it's a mystery. 19:26:43 -!- esot_eric has quit (Quit: Power to ze Erics!). 19:29:47 olsner: well as the swedish girl said to her german boyfriend in bed: "Snälla du!". "Aber ich kann nicht schneller!" 19:30:03 oerjan: :D 19:30:30 oerjan, as deputy punmaster I demand an explanation. 19:31:00 Phantom_Hoover: well swedish snälla sounds pretty close to german schneller, obviously 19:31:13 That much is obvious, at least. 19:31:39 one meaning kind, the other meaning faster 19:32:48 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 hmm, more like "Please!", possibly implied "please [hold back]" 19:35:26 but it's not really clear what "snälla du!" is supposed to mean 19:35:32 ah, bit of a false friend perhaps 19:35:57 snäll does mean kind, but you wouldn't use it like that 19:36:48 obviously it's a norwegian joke 19:37:27 oerjan: ... it's not the fart that kills, it's the smäll 19:37:43 O KAY 19:37:45 *smell :) 19:37:50 nice to know 19:38:17 I've heard that's from the infamously-bad-at-english norwegian rally driver 19:38:43 (fart = speed, smäll = bang) 19:39:35 ah, solberg 19:40:17 -!- Tritonio has quit (Quit: Leaving). 19:40:19 heck, google suggests it with just "it's not the " as clue 19:41:14 oerjan, consider that Google customises things like that whether you want it to or not. 19:41:57 well obviously 19:42:10 * oerjan still misses the define: prefix 19:46:50 I would still like to find the original version of that quote 19:49:15 "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 meh! 19:53:11 i seem to have similar trouble confirming a notorious "pigs in your decks" phrase 19:53:43 of course that one is _supposed_ to be decades old 19:55:53 the pigs in the decks would be referring to spiked tires? 19:56:04 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 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 hmmm 20:20:21 okay so I have most of the basics for my regexp stuff 20:20:26 but I feel something is still missing. 20:24:48 -!- pikhq has joined. 20:25:27 CakeProphet, is it formal verification. 20:25:55 -!- pikhq_ has quit (Ping timeout: 260 seconds). 20:26:36 Phantom_Hoover: I doubt it. 20:26:46 -_- 20:26:48 Wrong answer. 20:27:08 There's always room for formal verification! 20:27:20 How do you suggest I go about that? 20:28:02 Write it all in Coq. 20:28:20 I was going to write it in Haskell. Is that good enough? 20:28:26 No. 20:28:31 Does that please the verification gods? 20:28:33 no? okay. 20:28:37 You must write it in Coq. 20:28:42 You may extract it to Haskell. 20:28:44 then I don't care anymore. :X 20:29:18 But you can *extract* it to your stupid logically inconsistent language! 20:29:34 -!- azaq23 has joined. 20:29:42 a more important issue here though 20:29:46 is why does any of this really matter? 20:30:37 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 ah, that does sound idyllic 20:33:00 as far as syntax, I was thinking about changing * and *? to *! and *, respectively. 20:34:30 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 the kleene star is "actually" completely oblivious to the distinction between greedy and non-greedy matching 20:37:09 because that's not an issue when _defining_ a regular language 20:37:49 ah I see. 20:38:11 I've always seen it used as the minimum possible number of repetitions. 20:38:25 granted I haven't seen much of it in math classes. 20:43:52 Wait, Simon Peyton-Jones said the next Haskell would be strict? 20:44:51 wat 20:59:44 olsner, as a metaphorical thing. 21:00:00 As in, if they made it again knowing what they know now, it would be strict. 21:00:13 oh, like that 21:03:26 Phantom_Hoover, what, really? 21:03:28 why 21:03:47 [1..] and so on would no longer work 21:04:00 Dunno.. 21:04:10 well it could be special cased to work as a generator 21:04:13 Has elliott's sleep schedule just slipped into full vampire/ 21:04:15 but that seems awkward 21:24:36 Guys, I need you to name something really, really gay. 21:24:42 No time to explain. Just do it. 21:29:37 Hmm? Like Sebastian, as in Sin with Sebastian? 21:30:20 Or um, what's his name? 21:30:42 Samwell? 21:30:55 Also, I do want an explanation 21:33:08 What. 21:33:14 -!- adamfyre has joined. 21:33:20 I had to jury-rig something crappy. 21:33:25 Where was augur. 21:36:05 Phantom_Hoover, what about "gay-o-matic"? 21:36:12 Vorpal, what. 21:36:17 Guys, I need you to name something really, really gay. 21:36:21 I invented a name 21:36:22 How is that a thing which is really, really gay. 21:36:24 as you asked 21:36:25 It's just a machine. 21:36:31 That does something related to gayness. 21:36:32 oh true 21:36:43 Phantom_Hoover, oh something really gay that already exists? 21:36:57 or do you need a new name? 21:37:07 Vorpal, for the purposes of humourous comparison, yes. 21:37:28 Phantom_Hoover, which sense of the word gay do you need 21:37:44 Phantom_Hoover, the old sense or the homosexual sense 21:37:49 Phantom_Hoover, if the latter: Batman 21:38:01 Phantom_Hoover, listen to Samwell 21:38:05 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 Samwell's more famous song 21:38:17 Oh 21:38:24 Phantom_Hoover, the old sense would be "happy" 21:38:29 roughly 21:38:34 ...how is Batman happy. 21:38:55 * oerjan learns that Phantom_Hoover does not understand the word "latter" 21:38:56 His parents are dead, you insensitive prick. 21:39:13 ...wait, right. 21:39:45 now a _sensitive_ prick, that would be gay 21:39:46 oerjan, oh that explains the confusion 21:40:04 well Phantom_Hoover not knowing "latter" that is 21:41:42 perhaps Phantom_Hoover doesn't have amnesia. perhaps he's just a very confused time traveler. 21:43:00 "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 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 ah 21:43:08 So basically, bittorrent 21:43:31 Wait, this is the .... installer for the bittorrent client... 21:43:40 ouch 21:44:16 Or not? 21:44:19 I'm confused 21:45:38 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 Hmm, what's the difference? (My browser's acting up) 21:55:53 not sure 21:55:58 didn't read on enough 21:56:03 Sgeo, fix your browser 21:56:19 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 newsham: too cool for blah? 22:59:16 :) 23:02:15 oh hey I am at the end of Homestuck. 23:04:23 Awesome 23:07:51 there's no more homes to be stuck in now. 23:07:51 elliott: You have 2 new messages. '/msg lambdabot @messages' to read them. 23:07:55 you've deprived an orphan. 23:19:47 copumpkin: havent been ircing as much lately.. 23:19:52 dont worry, i'm slowly sliding back into it 23:19:59 newsham: I see you're involved in bitcoin, too 23:20:10 not too much.. goofed with it a little 23:20:19 :) 23:20:22 invested $100, cashed out $600 recently, have lots more left. 23:20:32 roconnor made a pretty good implementation in pure haskell 23:20:38 ecdsa, sha256 from scratch 23:20:40 all pure haskell 23:20:46 neat! i bet it has less vulns than the official one! ;-) 23:20:51 probably :P 23:21:02 soon we'll hear about "omg someone haxed my client and stoled my coinz" 23:22:14 if only I was a time traveller, I'd be rich off bitcoins 23:22:15 IF ONLY 23:27:45 Eh, if you're going to be a time traveller, use the stock market. Better possible returns. 23:27:57 (get in on Google's IPO) 23:50:36 mmm. i has cash