00:03:12 -!- zzo38 has joined. 00:12:43 -!- augur has joined. 00:14:43 -!- MoALTz_ has joined. 00:17:36 -!- MoALTz has quit (Ping timeout: 245 seconds). 00:31:37 -!- augur has quit (Read error: Connection reset by peer). 00:32:19 -!- augur has joined. 00:54:02 -!- doesthiswork has joined. 00:55:00 -!- augur has quit (Remote host closed the connection). 00:55:32 -!- augur has joined. 00:58:04 -!- augur has quit (Read error: Connection reset by peer). 01:31:47 -!- Bike has quit (Ping timeout: 255 seconds). 01:33:04 -!- lifthras1ir has quit (Ping timeout: 272 seconds). 01:33:21 -!- lifthrasiir has joined. 01:48:38 -!- Bike has joined. 02:05:40 -!- oerjan has quit (Quit: Nite). 02:05:43 -!- boily has quit (Quit: ANAPHYLACTIC CHICKEN). 02:07:15 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:23:43 -!- augur has joined. 02:40:33 -!- augur has quit (Remote host closed the connection). 02:48:34 -!- doesthiswork has quit (Quit: Leaving.). 03:12:52 -!- mauris has joined. 06:31:16 I wonder if there's anyone who's tried something like document.title = undefined; because they want to set the title to the word undefined, then got confused when they tried to change it to something else 06:34:28 That seems to work out (in Chromium's JS console, anyway) just fine. 06:34:46 Or by "something else" do you mean trying to not use quotes for something else too? 06:55:21 -!- Bike has quit (Ping timeout: 264 seconds). 07:03:18 -!- Sgeo has quit (Read error: Connection reset by peer). 07:03:53 -!- Sgeo has joined. 07:10:36 fizzie: I meant trying to not use quotes for something else too 07:11:17 -!- doesthiswork has joined. 07:21:47 -!- shikhin has joined. 07:24:22 -!- MoALTz_ has quit (Quit: Leaving). 07:30:17 -!- augur has joined. 07:31:13 -!- augur has quit (Remote host closed the connection). 07:31:58 -!- augur has joined. 07:44:38 Right, that makes more sense. I mean, I read it first as if there was some JS weirdness that, I don't know, setting it to undefined would make it not be associated with the DOM any longer and not have it affect the title when set to something else. 08:37:13 Speaking of spam (like yesterday): "Series of meetings have been held over the past 7 months with the secretary general of the United Nations Organization. This ended 3 days ago. It is obvious that you have not received your fund which is to the tune of $16.5million due to past corrupt Governmental Officials who almost held the fund to themselves for their selfish reason and some individuals ... 08:37:19 ... who have taken advantage of your fund all in an attempt to swindle your fund which has led to so many losses from your end and unnecessary delay in the receipt of your fund." 08:39:21 The FEDERAL BUREAU OF INVESTIGATION uses @sidney.k12.mt.us addresses. That's the site for the public schools at Sidney, Montana. 08:39:52 Well, as the sender. For replying, they use @e-mail.ua, which sounds very legit. 08:40:44 "We will be issuing you a custom pin based ATM card which you will use to withdraw up to $5,000 per day from any ATM machine that has the Master Card Logo on it and the card have to be renewed in 4 years time which is 2018." 08:40:53 Not just any card, one with the Master Card Logo on it! 08:41:11 Oh, I misread. :/ 08:41:24 It's just ATMs with the Master Card Logo. Perhaps my card won't even have it. :\ 08:42:38 "Because we have signed a contract with FedEx which should expire by the end of september 2014 you will only need to pay $180 instead of $420 saving you $240 so if you Pay before the one week you save $240 note that any one asking you for some kind of money above the usual fee is definitely a fraudsters and you will have to stop communication with every other person if you have been in contact ... 08:42:44 ... with any." 08:42:46 I love these sentence structures. 08:42:54 fungot: Watch and learn. 08:42:55 fizzie: that's it??? cool 08:43:18 Yeah, it's that simple. 08:43:30 sign me up $180 is a steal 08:44:42 "Also remember that all you will ever have to spend is $180.00 nothing more! Nothing less! And we guarantee the receipt of your fund to be successfully delivered to you within the next 24hrs after the receipt of payment has been confirmed. Note: Everything has been taken care of by the Government of Cambodia,The United Nation and also the FBI and including taxes, custom paper and clearance ... 08:44:48 ... duty so all you will ever need to pay is $180. -- reduce from the actual fee of $420 to $180 nothing more and no hidden fees of any sort!" 08:44:51 Yeah, it certainly is. 08:45:14 "Because we are so sure of everything we are giving you a 100% money back guarantee --" what 08:45:53 So even if I don't get my $16.5 million, I'll at least get my money back. So there's no risk at all! 08:46:27 No, ask them to take the $180 from the account they are giving you. 08:47:00 Which will then be the real way of having no risk at all. 08:47:29 I'm sure they'd have some good explanation as to how they can't touch that money before I officially receive it. 08:47:37 -!- MindlessDrone has joined. 08:48:42 Given the tone of the message, I'm a bit surprised they're not saying they'll include a free steak knife set or something if I reply within 24 hours. 08:50:33 Then you have to write a very careful authorization form. 08:51:00 -!- doesthiswork has quit (Quit: Leaving.). 09:02:37 -!- mauris_ has joined. 09:05:02 -!- mauris has quit (Ping timeout: 240 seconds). 09:17:24 -!- AnotherTest has joined. 09:30:59 -!- Patashu has joined. 09:35:53 -!- mauris__ has joined. 09:38:56 -!- mauris_ has quit (Ping timeout: 260 seconds). 10:23:02 -!- augur has quit (Remote host closed the connection). 10:23:50 -!- augur has joined. 10:38:48 Did there used to be a bot in here that could execute J? 10:41:50 -!- Bike has joined. 10:46:42 -!- ^v has changed nick to ^v|CedarPoint. 11:08:51 "jconn". 11:30:30 -!- shikhout has joined. 11:33:44 -!- shikhin has quit (Ping timeout: 260 seconds). 11:39:29 -!- boily has joined. 11:52:55 @tell oerjan I watched HHHMH again. you corrupted me. 11:52:55 Consider it noted. 12:01:51 -!- mauris_ has joined. 12:05:02 -!- mauris__ has quit (Ping timeout: 240 seconds). 12:09:30 -!- oerjan has joined. 12:12:15 -!- oerjan has set topic: #esoteric unglogged | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 12:13:48 -!- boily has quit (Quit: CARRIER CHICKEN). 12:19:35 @messages- 12:19:36 boily said 26m 40s ago: I watched HHHMH again. you corrupted me. 12:19:42 what is HHHMH 12:20:01 hm, he sneakily escaped. 12:20:20 oh right 12:20:55 soon we'll have boily addicted to swedish novelty songs 12:22:19 well if i could remember more than those two. 12:35:19 -!- mauris__ has joined. 12:38:02 -!- mauris_ has quit (Ping timeout: 240 seconds). 12:38:20 http://sprunge.us/ZKBe I'm sure this is a good sign. 12:40:48 They don't "have to assume", they just don't know how to test it: bad sign. 13:00:59 It's curious-ish because few lines earlier it's all "checking size of short... 2" "checking size of int... 4" 13:01:10 How do you test that when cross-compiling, incidentally? 13:03:25 "undefined reference to `__imp_ntohl'" hmm. 13:04:07 int x = 1 / (sizeof(int) - 4); cross-compile this, if it fails the size is 4 13:04:53 char x[sizeof(int)]; and then objdumping the result might be checkable if objdump has similar output for different object formats 13:04:54 I don't think 1 / 0 is guaranteed to fail at compile time, but right, yes, any static-assert thing will. 13:05:01 Like negative-length arrays or whatnot. 13:05:46 -!- Sgeo has quit (Read error: Connection reset by peer). 13:05:56 And indeed static int test_array [1 - 2 * !(((long int) (sizeof (int))) <= 0)]; is what autoconf is using. 13:06:28 Yeah, I'm not too familiar with pre-C11 static assertion methods 13:06:35 With increasing values in place of the 0. 13:07:08 It tries 0, 1, 3 and then compiles correctly with 7. 13:11:10 This is an attempt to cross-compile something on Linux for Windows with mingw-w64, and as far as I can figure out, the __imp_ntohl error is because libflac does case "$host" in *-*-cygwin|*mingw*) MINGW_WINSOCK_LIBS=-lwsock32 ;; ("only needed because of ntohl() usage, can get rid of after that's gone") but then I'm trying to link everything statically. 13:11:36 Perhaps I should just resign myself to having a bundle of DLLs. 13:15:10 Maybe you can remove a 'dllimport' somewhere 13:16:59 Maybe I could just stick in a private ntohl, really. 13:17:10 -!- mauris__ has changed nick to mauris. 13:17:12 That's a copout 13:18:16 I don't even know how to make "real DLLs" out of mingw that I could use on Windows, all these autotools project with --host=x86_64-w64-mingw32 generate just some libfoo.dll.a files in the installation directory. 13:18:28 -!- mauris has quit (Read error: Connection reset by peer). 13:18:56 -!- mauris has joined. 13:21:02 (I've made some in the past with just regular Makefiles, but all these things go with autoconf and libtool.) 13:27:53 I replaced the ntohl with __builtin_bswap32 since I'm building this whole heap with GCC in any case. 13:51:25 --enable-speed optimize for speed over accuracy 13:51:25 --enable-accuracy optimize for accuracy over speed 13:51:30 Funny ./configure flags. 13:51:40 I wonder what it does with --enable-speed --enable-accuracy. 13:52:54 Probably the latter 13:54:49 Actually, no. 13:55:18 AC_ARG_ENABLE(accuracy, -- if test "$optimize_for" = "speed"; then optimize_for="both"; -- 13:55:36 if test "$optimize_for" = "both"; then AC_MSG_ERROR(cannot optimize for both speed and accuracy); fi 13:55:40 Cute. 14:00:13 Annoying 14:00:28 Unless you can pass --disable-speed or similar 14:00:51 Being able to override options passed earlier is convenient 14:19:16 Grumble frumble CMAKE_INCLUDE_PATH is set to /some/path and there is a foo.h file there, but FIND_PATH(FOO NAMES foo.h) goes all missing: FOO. 14:19:51 "CMAKE_INCLUDE_PATH: Path used for searching by FIND_FILE() and FIND_PATH(). Specifies a path which will be used both by FIND_FILE() and FIND_PATH(). Both commands will check each of the contained directories for the existence of the file which is currently searched." 14:19:55 IDGI. 14:21:43 Same applies to CMAKE_LIBRARY_PATH and a FIND_LIBRARY call. 14:22:57 I've verified these things with message()s before and after the FIND_PATH. 14:25:31 strace 14:28:42 Ohhhh. 14:28:45 Thanks. 14:29:58 It's the cross-compilation "CMAKE_FIND_ROOT_PATH_MODE_INCLUDE ONLY" setting, it prefixes all paths with the mingw /usr/i686-w64-mingw32/ thing. 14:34:06 -!- mauris_ has joined. 14:37:02 -!- mauris has quit (Ping timeout: 240 seconds). 14:38:08 -!- impomatic has quit (Quit: http://corewar.co.uk). 14:38:36 -!- impomatic_ has quit (Quit: http://retroprogramming.com). 14:38:44 -!- jakob__ has joined. 14:40:28 -!- jakob__ has quit (Client Quit). 14:59:38 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 15:11:22 -!- doesthiswork has joined. 15:25:45 -!- oerjan has quit (Quit: leaving). 15:34:36 -!- mauris__ has joined. 15:38:02 -!- mauris_ has quit (Ping timeout: 240 seconds). 15:49:18 -!- TodPunk has quit (Read error: Connection reset by peer). 15:49:46 -!- TodPunk has joined. 15:52:28 -!- TodPunk has quit (Read error: Connection reset by peer). 15:53:32 -!- TodPunk has joined. 15:53:54 -!- MindlessDrone has quit (Quit: MindlessDrone). 16:05:38 -!- MindlessDrone has joined. 16:35:31 -!- mauris_ has joined. 16:38:02 -!- mauris__ has quit (Ping timeout: 240 seconds). 16:43:21 -!- Patashu has quit (Ping timeout: 264 seconds). 17:02:19 -!- TodPunk has quit (Read error: Connection reset by peer). 17:04:13 -!- TodPunk has joined. 17:04:13 -!- TodPunk has quit (Read error: Connection reset by peer). 17:20:57 -!- TodPunk has joined. 17:25:22 -!- TodPunk has quit (Read error: Connection reset by peer). 17:25:47 -!- TodPunk has joined. 17:29:34 -!- monotone_ has quit (Remote host closed the connection). 17:29:42 -!- monotone has joined. 17:30:36 -!- shikhin has joined. 17:33:47 -!- shikhout has quit (Ping timeout: 255 seconds). 17:34:50 -!- mauris__ has joined. 17:37:16 -!- mauris_ has quit (Ping timeout: 260 seconds). 18:26:31 -!- fizzie has joined. 18:30:21 I switched a VDSL2 modem from model A to model B, and it was all for naught. 18:35:16 -!- mauris_ has joined. 18:38:24 -!- mauris__ has quit (Ping timeout: 260 seconds). 18:42:38 -!- aretecode has joined. 18:44:51 -!- aretecode has quit (Read error: Connection reset by peer). 18:51:18 -!- aretecode has joined. 19:25:07 -!- fizzie has joined. 19:35:50 -!- mauris has quit (Read error: Connection reset by peer). 19:51:07 -!- fizzie has joined. 20:12:23 -!- fizzie has joined. 20:13:21 -!- MindlessDrone has joined. 20:13:42 Where "for naught" seems to be a synonym for "yielding horrible connection problems". 20:44:02 I made a Brainfuck interpreter that also gives you a nice IDE-ish shell thingy that highlights your code and saves to a file and runs your code if you run the program without args. 20:44:04 :P 20:44:56 It's not very fancy, it's just you type bf code and it gets highlighted 20:45:18 and then it gets saved to a file and run when you exit 20:53:31 haha 20:53:41 you should help with nethack >_> 20:54:23 Saved to "a file"? Just any random file? 21:03:09 -!- vifino has joined. 21:10:14 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:13:56 -!- mauris has quit (Read error: Connection reset by peer). 21:14:47 -!- mauris has joined. 21:17:48 -!- mauris_ has joined. 21:19:32 -!- mauris has quit (Ping timeout: 240 seconds). 21:58:52 -!- nycs has joined. 22:00:30 -!- mihow has joined. 22:00:50 -!- nycs has quit (Read error: No route to host). 22:01:25 "By setting your repositories to be viewed publicly, you agree to allow others to view and fork your repositories." 22:01:37 does "fork repository" include "modify the code"? 22:01:48 it's pretty much unclear what that's supposed to mean to me 22:02:33 -!- `^_^v has quit (Ping timeout: 255 seconds). 22:02:42 on github? it means they make a copy which they can modify 22:02:49 doesn't affect yours 22:03:49 yeah 22:03:49 but 22:03:59 a "fork" is basically a copy 22:04:03 also 22:04:14 "forking" doesn't grant you permission to compile the code? 22:04:52 ...uh, if you have a copy, you can compile it, no? 22:05:01 -!- conehead has joined. 22:05:19 unless you've smuggled DRM into gcc i guess 22:05:30 of course you can, but are you allowed to? 22:06:03 Per Github ToS I allow you to "fork" my repository 22:06:14 but that doesn't necessarily mean that I allow you to make use of my software 22:08:04 iirc their ToS somehow require that public repos are open source too, but unless you actually give the project an open-source license it somehow isn't 22:08:14 -!- ^v|CedarPoint has quit (Ping timeout: 240 seconds). 22:08:51 yeah 22:09:03 but open source doesn't mean I don't want to sell licenses 22:09:07 which allow people to use 22:09:10 as in 22:09:14 I don't care if you see the code 22:09:19 but to use it please pay me ;) 22:10:33 not that I intend to do that right now 22:16:29 -!- AnotherTest has quit (Ping timeout: 260 seconds). 22:40:47 mroman: anyone could just remove your license-checking code 22:41:41 if you want to argue that you can offer source code to people but legally forbid them from compiling it in their own private time without even signing a contract, well, sorry, no. 22:50:09 -!- oerjan has joined. 23:09:16 -!- mihow has quit (Quit: mihow). 23:23:31 Would it be considered as true that: A Turing machine halts if and only if it is provable that it halts. 23:23:43 (It looks like it to me!) 23:27:06 "You shall defend GitHub against any claim, demand, suit or proceeding made or brought against GitHub by a third-party alleging that Your Content, or Your use of the Service in violation of this Agreement, infringes or misappropriates the intellectual property rights of a third-party or violates applicable law, and shall indemnify GitHub for any damages finally awarded against, and for ... 23:27:12 ... reasonable attorney’s fees incurred by, GitHub in connection with any such claim, demand, suit or proceeding; provided [some conditions]." 23:27:15 I didn't know that was in there. 23:28:07 zzo38: that's basically a question of whether your proof system is omega-consistent 23:28:18 if it is, then yes, but otherwise, maybe not. 23:29:56 (assuming it is strong enough to test any TM for an arbitrary number of steps. 23:29:57 ) 23:30:19 -!- shikhout has joined. 23:30:28 What it looks to me is that if it is halting, then one possible proof must consist of showing that the initial state implies the next state and so on until you finally reach the halting state, therefore the initial state implies the halting state therefore it halts; another way would be for the halting state to be an axiom and the initial state to be a theorem, so the possible previous states of a state are theorems made up from the previous theor 23:32:22 zzo38: the problem is in the other direction, if it doesn't halt but your proof system says there exists an n such that it halts after n steps but doesn't (since it obviously cannot) actually give you the n. 23:33:02 In that case then it seems that the proof system is not corresponding to Turing machines then. 23:33:29 -!- shikhin has quit (Ping timeout: 260 seconds). 23:39:34 -!- conehead has quit (Quit: Computer has gone to sleep). 23:41:09 -!- conehead has joined.