00:00:13 Googling for ircII help files suggest it does windows. 00:00:32 I wonder if my .ircrc is still somewhere. 00:00:33 *has no 00:01:06 `run cd quines; ls # you can do this, but it won't remember where it was until the next command line 00:01:06 cat \ perl \ python \ q \ ruby 00:01:57 In other news, having all those (except q) be the trivial empty-program quine makes for a p. poor showing. 00:02:03 Unless it's that way "ironically". 00:03:31 * oerjan finds .ircrc from 2006 and .ircrc.old from 1998 00:04:54 `cat quines/cat 00:04:55 No output. 00:05:06 `cat quines/q 00:05:06 ​ELF............>.....°@.....@.......Ð..........@.8..@.........@.......@.@.....@.@.....À.......À............................@......@............................................@.......@.....¬......¬........ ............°......°`.....°`.................... ...........Ø......Ø`.....Ø`..... ....... ................ 00:05:34 `fetch http://oerjan.nvg.org/esoteric/slashes/quine.sss 00:05:39 2014-08-24 23:03:22 URL:http://oerjan.nvg.org/esoteric/slashes/quine.sss [1497/1497] -> "quine.sss" [1] 00:06:04 `run mv quine.sss quine/slashes 00:06:05 mv: cannot move `quine.sss' to `quine/slashes': No such file or directory 00:06:14 `run mv quine.sss quines/slashes 00:06:15 No output. 00:06:26 there, now there's at least one interesting one *cough* 00:07:16 `which slashes 00:07:17 No output. 00:08:21 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 00:08:47 This is definitely a channel i will stay in. Although it will probably reduce my productivity. ;) 00:09:10 `fetch http://oerjan.nvg.org/esoteric/slashes/ircslashes.pl 00:09:18 2014-08-24 23:07:01 URL:http://oerjan.nvg.org/esoteric/slashes/ircslashes.pl [566/566] -> "ircslashes.pl" [1] 00:09:49 `run chmod +x ircslashes.pl; mv ircslashes.pl bin/slashes 00:09:51 No output. 00:10:00 `slashes quines/slashes 00:10:01 ​/\/\/\/\\\\/\\\\\\\/\\\\\\\/\\\\\\\/\\\\\\\\\\\\\\\\\\\\\\//\/\/\/\\\/\/\\////\\////\\\///\\////\\\///\\////\\\///\\////\\\///\\\///\\\///\\\///\\////\\\///\\\///\\\///\\\///\\\///\\\///\\\///\\////\\\///\\\///\\\///\\\///\\\///\\\///\\\///\\////\\\///\\\///\\\///\\\///\\\///\\\///\\\///\\////\\\///\\\///\\\///\\\///\\\///\\\///\\\///\\\///\\\// 00:10:50 note that is not the whole program, which won't fit on an irc line. 00:11:40 `help 00:11:40 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/ 00:11:43 -!- boily has joined. 00:12:12 boily: hejly 00:12:22 wait 00:12:30 that's not proper protocol 00:12:34 *-boily: 00:13:00 `ps 00:13:01 ​ PID TTY TIME CMD \ 286 ? 00:00:00 init \ 288 ? 00:00:00 sh \ 290 ? 00:00:00 ps \ 291 ? 00:00:00 cat 00:13:31 hellørjan? why isn't it propotocol? 00:13:54 * boily has a sudden enlightenment moment. 00:14:08 minus boily. indeed, it ain't protocorollary. 00:14:31 excellularyment 00:15:37 Hjulle: Well, there can be good thing to read in this channel much, especially if you like esoteric programming and related things such as mathematics and other computer programming, but also many other things too. So, good you can stay. OK 00:16:04 -!- Phantom_Hoover has joined. 00:16:29 Phantom_Hoover: please leave, nature abhors a vacuum 00:16:39 and also phantoms 00:16:41 four years 00:16:48 four years it took you to come up with that 00:17:09 wait, you haven't been here longer than that? 00:17:13 No, don't please leave if you do not like to leave. But if you do like to leave, then, yes please leave right away 00:17:16 zzo38: It seems like a lot of fun and not that much of the boring productive stuff that infests the other channels. 00:17:45 we're definitely good at avoiding boring productive stuff 00:17:46 Hjulle: Yes, it can certainly be. 00:18:12 Hjulle: have you read the PDF in the /topic? ↑ 00:18:27 Or any of logs? 00:18:35 Nope 00:18:52 or the wiki, of course 00:18:55 Or the esolang wiki? 00:19:07 (don't worry, i haven't read any of them all through either.) 00:19:27 although i was around for when a great part of it was made, i guess. 00:19:34 I've spent a lot of time reading the esolang wiki 00:19:40 Good 00:20:31 also, any idea involving esolangs and vegetables are mine. quintopia can vouch. 00:21:43 boily: what a bunch of horseradish 00:21:44 I've submitted competative bf solutions to code golfing challanges at codegolf.stackexchange.com too. 00:22:10 ah nice 00:22:48 except bf kinda sucks 00:22:50 Have you seen the anarchy golf though? It is the code golf made by Japanese people. 00:23:03 I was surprised that it actually was of similar length to other contributions. 00:23:12 zzo38: no 00:23:41 oerjan: I've been here like 7-8 years. that's so weird. 00:23:42 how does one anarchycally golf? 00:24:01 Why does bf suck? 00:24:13 oerjan: soon I'll be 20 and old. 00:24:32 elliott: you're not 20????????6?????pointd'interrogation6??? 00:24:44 (Except for it being too mainstream) ;) 00:24:46 fungot: why does bf suck? 00:24:46 boily: i really don't 00:24:46 I'm 19. 00:24:48 myname: you are confusing bf with its derivatives hth 00:24:52 how old did you think I was? 00:24:59 eleven 00:25:05 elliott: late twenties? 00:25:10 oerjan: that whole stuff alltogether 00:25:10 :P 00:25:21 people thought I was early-mid twenties when I was 10-11. I don't get it. 00:25:24 aldo, i don't think bf deserves its name 00:25:32 it's way too easy 00:25:35 should have coated ur messages in snot 00:25:43 Bike: I did, more or less. 00:25:58 was it less snot because that won't work, ou need more 00:26:15 Yes, its more tedious than difficult to program in BF. 00:27:01 you should implement feather. 00:27:07 Bike: do I look like some kind of fountain of snot to you? 00:27:20 this @ is too heavy. 00:27:21 Where else would you hear that a language sucks because it's too easy to program in? =D 00:27:22 well, you did when you were eleven, probably 00:27:23 -!- elliott has set channel mode: -o elliott. 00:27:26 seeing you through my timeoscope 00:27:29 boily: how old are you, anyway? 00:27:31 elliott: and people keep guessing i'm something like ten years younger than i am, and have for a while. 00:27:35 eleven 00:27:55 elliott: 25. 00:27:57 although that's based on visual appearance, i think 00:28:01 oerjan: I guess I am approaching the age where being mistaken for younger will be a compliment. 00:28:12 Bike: I have completed two elevenses already! 00:28:12 you are 40 00:28:27 oerjan is 48, 49, 50, I think? 00:28:42 please don't let me be wrong. I can't take the swatting. 00:28:54 no, wait, you're early 40s. ...are you? aaaaa 00:29:34 Don't worry, all that happens when you hit 20 is you start IRCing less. 00:29:56 pikhq: why 20? 00:30:01 <- 44 00:30:02 How closely can you guess someone's age if you know the aspects between planets (not counting sun and moon, which aren't planets anyways) at the time of that person's birth? 00:30:25 (With exact coordinates you can do a search, but here there are no exact coordinates.) 00:30:48 within eleven years 00:31:08 elliott: No reason. 00:31:21 Also, what is it called if a poker game has spread limit before the flip and pot limit after the flop? 00:31:33 pikhq: I expect my life to contain ample time for IRC for at least the next few years. 00:31:50 Do you ever print out the IRC? 00:32:04 Fair enough. 00:32:16 elliott's gonna be sad when MI6 come along and force a move to Somaliland 00:32:20 zzo38: it's not exactly the same, but i recall the people following xkcd's "time" story calculated the date > 10000 years in the future when it likely happened based on the positions in the sky shown in the night scene 00:33:03 pikhq: what could possibly be a more important use of time, after all? 00:33:31 of course that was with the assumption that randall munroe had made it accurate. he certainly had _tried_ to. 00:33:34 * pikhq looks at girlfriend 00:33:43 oerjan: Ah, OK that is of some interest at least. 00:34:24 I got my girlfriend through the previous job's intranet IRC channel, so I don't see how the two can conflict... 00:34:28 pikhq: only an amateur lets that interfere with IRC time. 00:34:39 an amateur girlfriendhaver 00:34:42 don't you have priorities? 00:36:04 Bike: you know somaliland has _excellent_ mobile service, right? 00:36:15 (at least that's what i read.) 00:36:19 who uses irc on mobile 00:36:25 what do you take elliott for 00:36:32 elliott has done so before 00:36:56 I've managed to be the top talker in here with only 4 hours on an iPhone a day before. 00:37:13 I doubt I'm near the top these days. 00:37:57 `addquote I got my girlfriend through the previous job's intranet IRC channel, so I don't see how the two can conflict... 00:37:58 1215) I got my girlfriend through the previous job's intranet IRC channel, so I don't see how the two can conflict... 00:38:11 and there we go... 00:38:21 it's been too long since you had an update 00:38:45 pikhq: you could hire me to IRC for you when you're too busy with less important things. 00:39:03 oerjan: had I missed some lately? 00:39:10 There's also the "people pay me to go to an office 8 hours a day" thing. 00:39:31 (meanwhile, dropbox is synching.) 00:40:20 pikhq: and that's higher-priority than IRC to you?? you can IRC from an office! 00:40:44 I need money to live! ... and pay for video games 00:40:47 oh so many video games 00:41:15 IRC is free ;) 00:41:47 boily: i think it was your job to know that stuff. the repository is thataway. 00:41:52 *thought 00:42:18 I surrepticiously looked at the repo. it wasn't addquoted in a long time. 00:42:45 y'all aren't being funny enough 00:43:13 you don't pay us enough 00:44:06 I can't be funny. nor any emotion right now. I'm home from the otakuthon, where I was one of the event hosts. 00:44:22 @tell mroman This action has been automatically identified as harmful, and therefore disallowed. If you believe your action was constructive, please inform an administrator of what you were trying to do. A brief description of the abuse rule which your action matched is: an edit to a user page makes it start with an h2 tag <-- that was a heuristic that caught a lot of spambots but very few others 00:44:23 Consider it noted. 00:44:32 I'm completely drained, only a hollow shell of my past self. 00:44:46 ooh 00:44:55 (speaking of hollow shells, my estomac is empty. time to food...) 00:45:08 boily: a ghost in the shell, check 00:45:34 * oerjan should admit to only knowing the name of that 00:46:10 -!- elliott_ has joined. 00:46:20 i'd food if i could get through the logs 00:46:27 God I hate Firefox. 00:46:35 -!- elliott has quit (Quit: Reconnecting). 00:46:48 J_Arcane: why? it's the most bestest browser! 00:46:53 seeing yourself quit is uncanny. 00:46:56 zzo38: this sounds exciting 00:47:30 boily: 45 threads and .75GB on idle isn't really "best" in my book. :P 00:47:48 But as Chrome/Chromium seems to get more evil with every update ... 00:47:54 zzo38: oh i was referring to your poker variant. i think i would like it better without drawing and with more community cards though. 00:47:58 firefox is the only one of the main browsers with a decent vim-like interface 00:48:08 helloily 00:48:14 quintopia: O, well, soon after I wrote it I thought, there is too much drawing, too. 00:48:36 * boily needs his daily pentadactyl fix. 00:48:40 quinthellopia! 00:49:05 i need to think of a name for a blog 00:49:09 -!- ^v has quit (Ping timeout: 240 seconds). 00:49:09 So instead when there are two exposed cards you cannot draw anything, and when you have three exposed cards you are not allowed to exchange more than one card. 00:49:31 quintopia: Perhaps, "quintopia blog" can be? 00:49:55 myname: I tried firemacs, but I just kept fighting muscle memory. I was gonna install conkeror, but 1) it hasn't been updated in a year, and 2) it won't build on FreeBSD. 00:49:55 Unless it is actually about something, in which case, don't call it that. 00:50:20 zzo38: it will be about math and computer science and education and who knows what all. not a personal blog. 00:50:37 probably magic too 00:50:43 Then call it "math and computer science and education and who knows what all blog". 00:50:48 oh okay 00:50:51 "probably magic" is a good blog title 00:50:52 Then call it "math and computer science and education and who knows what all blog and probably magic too". 00:50:59 it's going to be hard to fit all that in a subdomain name though 00:51:04 “Magic More Magic” 00:51:09 not bad 00:51:17 Then abbreviate it to make up the domain name. 00:51:18 or just more magic 00:52:18 "upside down double-u upside down double-u upside down double-u dot quintopia dot com" 00:52:40 zzo38: how about you can only draw on the first round, immediately after exposing a card, and you can draw up to four. after that, you're stuck with what you have. this incentivizes exposing your best card on the first round. 00:52:56 quintopia: Ah, yes that can be good. 00:55:47 hmmm 00:56:50 And, perhaps adding a second community card (not dealt at the same time) can also help, then you have seven cards with which to make up your hand. 00:58:00 Oh FFS. Twitter filters your own bloody timeline unless you turn off personalization, which you can't do if you've set Do Not Track ... 00:58:16 haha 00:58:18 quintopia: just call it mathemagical themas HTH 00:58:30 oerjan: But I think there is already a book called that isn't it? 00:58:41 trust zzo38 to ruin the joke 00:58:51 J_Arcane: here's the right question: "How can you personalize my timeline if you're not tracking me?" 00:59:01 J_Arcane: Can you tamper with the cookies and headers to fix it somehow? 01:00:37 cookie tampering is a capital offense in china hth 01:00:55 it's all the food scandals, you see 01:01:10 oh I thought you meant personalized fortunes 01:01:29 rather than, you know, random ones 01:01:45 -!- Frooxius has quit (Read error: Connection reset by peer). 01:02:56 zzo38: No idea. I'm just trying to find a stupid code snippet I don't think I saved anywhere else because I didn't think I'd need it. I posted it on FB too, but of course that means scrolling my entire history ... 01:04:25 why the hell do you post stupid useless code on facebook? 01:07:07 -!- Frooxius has joined. 01:07:36 why the hell do you post on facebook? 01:08:21 -!- Sprocklem has quit (Ping timeout: 272 seconds). 01:08:29 myname: it was when I was learning Racket. I'd figured out how to write my own for loop. Never saved it anywhere else because why the hell do I need to know that, you know? 01:08:46 int-e: familial and friend inertia ... 01:10:24 rhetorical question. 01:16:01 zzo38: it's called metamagical themas hth 01:16:20 -!- Sprocklem has joined. 01:16:29 zzo38: i like the idea of an extra community card though 01:16:30 oh oops 01:17:08 mathemagic was something else 01:19:08 OK 01:21:37 then by the last round you have two community cards and three exposed cards and two hidden cards, which is the same number of exposed/hidden cards each player has in texas hold-em 01:22:45 -!- bb010g has quit (Quit: Connection closed for inactivity). 01:22:45 OK 01:34:41 -!- FreeFull has quit. 01:48:55 -!- Sprocklem has quit (Ping timeout: 255 seconds). 01:50:19 -!- not^v has quit (Quit: Leaving). 01:50:37 -!- not^v has joined. 01:51:15 -!- MoALTz has joined. 01:54:05 -!- MoALTz__ has quit (Ping timeout: 260 seconds). 02:05:56 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:06:57 -!- not^v has changed nick to ^v. 02:18:52 -!- MoALTz_ has joined. 02:20:33 -!- Sprocklem has joined. 02:21:33 -!- MoALTz has quit (Ping timeout: 240 seconds). 02:21:53 -!- MoALTz has joined. 02:24:10 -!- MoALTz_ has quit (Ping timeout: 264 seconds). 02:33:04 -!- boily has quit (Quit: SIMIAN CHICKEN). 03:04:51 -!- mauris_ has quit (Ping timeout: 255 seconds). 03:06:16 Do you know that in Z-machine, if you want to write a number outside of the range 0 to 255 into a variable, use of the BCOM (bitwise complement) instruction will be shorter than using the SET instruction meant for this case? This is only in ZIP and EZIP. In XZIP, it is only true if the number to write is in range -256 to -1. 03:08:21 Furthermore in XZIP, you can make it four bytes if the number is in range 256 to 510, or if it is a positive composite number that can be written as a product of two numbers in range 2 to 255. 03:09:06 (In all other cases it will be five bytes long.) 03:16:14 ( (`the` Int) 5 03:16:15 (input):1:2: error: no implicit 03:16:15 arguments allowed 03:16:15 here, expected: ")", 03:16:15 dependent type signature, 03:16:15 expression, name↵… 03:16:17 This means a compiler that targets XZIP will need to include the function to factor numbers. 03:16:22 eh? 03:16:33 (If it is going to optimize.) 03:20:13 > (`the` 5) Int 03:20:14 Not in scope: ‘the’Not in scope: data constructor ‘Int’ 03:20:15 Perhaps you meant one of these: 03:20:15 ‘In’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted), 03:20:15 ‘InR’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted) 03:20:17 ( (`the` 5) Int 03:20:17 (input):1:2: error: no implicit 03:20:17 arguments allowed 03:20:17 here, expected: ")", 03:20:17 dependent type signature, 03:20:17 expression, name↵… 03:20:23 whatever. 03:20:42 Can you even pass the argument that way? 03:24:52 no. 03:48:37 eww, when did the DOM inspector lose its menu bar 03:50:57 and how do I inspect an xul window now. grrrrr 03:52:13 Sorry, I'm being stupid. There's now an "Inspector" and a "DOM inspector". I mistook the former for the latter. 03:53:10 just be wary if any of them start speaking in a fake french accent. 04:08:32 ( the ((a : Type) -> a -> a) the 04:08:32 the : (a : Type) -> a -> a 04:34:51 -!- oerjan has quit (Quit: It's a beumb!). 04:41:31 -!- doesthiswork has joined. 04:55:09 -!- roark has joined. 05:01:17 -!- MoALTz_ has joined. 05:03:57 -!- MoALTz has quit (Ping timeout: 240 seconds). 05:11:52 -!- roark has quit. 05:55:04 -!- TieSoul-mobile has quit (Read error: Connection reset by peer). 05:55:34 -!- TieSoul-mobile has joined. 05:59:24 Does anyone know what's actually going on with TrueCrypt? It's been a while, maybe something new happened 06:03:17 I don't know. 06:03:24 I made three backup copies of 7.1a. 06:11:02 Is TrueCrypt (7.1a) likely sufficient to protect my data if I send in my laptop for repairs? 06:12:25 To be more careful, remove the harddrive if possible. 06:12:59 I sent in my laptop for repairs and after repairs Dell sent it back to someone in Tennessee. 06:13:05 Fortunately I had removed the hard drive. 06:17:26 I think if I was capable of removing hard drive I would be capable of fixing issue myself...maybe? 06:17:32 If you want to be even more careful, run memtest86 after removing the hard drive, if it is still capable of running memtest86! (This should eliminate the possibility that someone can somehow recover it from the RAM.) 06:17:43 (I think loose connection to monitor) 06:18:45 (On many angles, some grey images become kind of blue) 06:20:23 Is it possible in C for a variable marked as "register" to use address of operator? 06:21:05 No, IIRC. 06:23:49 "The operand of the unary & operator shall be either [...], or an lvalue that designates an object that is not a bit-field and is not declared with the register storage-class specifier." 06:24:13 OK 06:24:56 register is a stupid storage class 06:25:33 Sgeo: *definitely* do not send your hard drive away for repair 06:25:56 Sgeo: If you absolutely cannot avoid it, make sure you have a backup and then thrash the disk if you don't want people accessing its contents 06:27:47 typedef is the stupidest storage class, because it's only a storage class for syntactic convenience. 06:37:24 ok granted; 06:42:42 -!- TieSoul-mobile has quit (Ping timeout: 245 seconds). 06:44:03 06:16:44 (On many angles, some grey images become kind of blue) 06:44:06 sounds more like you bought a TN panel 06:44:30 coppro: sending an encrypted drive is just fine, if you have a backup 06:47:16 elliott_: yes, but not if you're trying to encrypt to hide data 06:47:27 if it's been encrypted since the start, sure 06:47:46 coppro: any encryption software worth its salt is not going to leave a trace of the original data. 06:48:42 elliott_: it 06:49:35 *elliott_: Not on the first read. But it seems pointless to thrash a disk before encrypting as a routine measure, since usually you format a new filesystem as encrypted rather than encrypting an exisiting one. 06:50:08 anyone who releases encryption software that encrypts an existing drive while making it feasible to access the original data is a charlatan 06:50:24 I don't think the truecrypt developers are /that/ incompetent, but I don't know; I don't use it. 06:50:42 but a) that's not the normal usecase and b) encryption has many uses other than to hide data 06:51:02 (a) sure it is. common advice is "hey, get truecrypt and encrypt your drives! encryption is good!" 06:51:22 (b) TrueCrypt cares a hell of a lot about hiding data. see the hidden volume stuff etc. 06:51:36 yes but your discussion of encryption software was general 06:51:38 anyway, neither of us know. 06:52:51 What kinds of compiler optimizations are most common and which are most useful? 06:54:50 elliott_: I don't mean angle I view it, I mean angle of the monitor to the base 06:55:05 One thing I want to make it to do is to try to group instructions together in order to allow further optimizations to be performed. 06:55:16 Sgeo: oh. 07:20:03 -!- MoALTz_ has quit (Quit: Leaving). 07:29:33 -!- augur has quit (Ping timeout: 240 seconds). 07:36:12 -!- augur has joined. 07:59:07 -!- doesthiswork has quit (Quit: Leaving.). 08:04:00 [wiki] [[ROT13 encoder/decoder]] http://esolangs.org/w/index.php?diff=40338&oldid=8014 * Rdebath * (+26) Zombie link 08:13:30 Sgeo: I had a laptop with a similar problem, whacking the display on the side would fix it for a while 08:13:57 -!- Sgeo has quit (Ping timeout: 240 seconds). 08:51:47 -!- Sgeo has joined. 09:26:35 -!- Patashu has joined. 09:40:16 -!- MindlessDrone has joined. 09:46:47 I told OpenBLAS to DYNAMIC_ARCH=1 expecting it to, I don't know, maybe build both SSE and non-SSE versions, but instead it compiled separate copies for every particular microarchitecture it knows of. 09:46:53 Now I have a 26-meg BLAS library. 09:48:54 If you're building it for x86-64 you've already got SSE and SSE2 guaranteed 09:55:09 I'm not, though. 09:55:09 CFLAGS="-march=native" 09:55:17 And it's not going to be used on this computer. 09:55:52 Live on the edge, the bleeding edge 09:56:00 Doesn't gmplib do something similar 09:58:49 Perhaps, but this knows of P2 KATMAI COPPERMINE NORTHWOOD PRESCOTT BANIAS YONAH CORE2 PENRYN DUNNINGTON NEHALEM SANDYBRIDGE ATOM ATHLON OPTERON OPTERON_SSE3 BARCELONA SHANGHAI ISTANBUL BOBCAT BULLDOZER SSE_GENERIC VIAC3 NANO when building for x86. 10:00:43 Several of those are x86-64 10:00:59 Yes. But I think it was building them all even when building for x86-32. 10:01:16 It's not like they wouldn't run 32-bit binaries, after all. 10:01:36 I wonder if all the latest instruction set extensions also work in 32-bit mode, I guess they do 10:01:49 Who wouldn't want blazing fast linear algebra on via chips 10:02:51 At any rate, I did TARGET=P2 (hopefully quite generic) without DYNAMIC_ARCH=1 now, to save time when testing this build system stuff, and it failed with bazillion "undefined reference" errors for symbols matching _[sc]gemm_i[tn]copy. 10:03:16 I suspect that target is not tested very often 10:03:49 SSE_GENERIC not lowest-common-denominator enough? 10:04:03 It's listed under the "VIA chips" group, but perhaps it could be. 10:04:07 Those µarch names don't match gcc's, so they must be from some internal database. 10:04:35 I don't know what's the best accepted practice for building this library when the use case is "we'll be giving a binary containing it to some random people to test on their random home computers". 10:05:06 TARGET=SANDYBRIDGE and give them a nickel if they can't run it on their current home computers 10:05:08 "Tell them it'll only work on Windows Vista or later" 10:08:12 Heh. I tried to do the same thing with TARGET=SSE_GENERIC and now it crapped out with "/usr/bin/i686-w64-mingw32-ar: sgemm_kernel.obj: No such file or directory". 10:08:37 Ah right, you're cross-compiling too 10:08:43 Was the 26-meg one so bad? :-P 10:09:29 Maybe it's not too bad, it's just that I'm trying to get this whole thing under a single CMake build (in retrospect, maybe I should just do it more or less manually) and building all those architectures takes so long when testing. 10:10:04 Possibly using a release that's only 7 days old straight from the GitHub is not the wisest idea either. 10:10:15 But, I mean, they've tagged it, so presumably they've tested it too. 10:11:44 Building a TARGET=CORE2 (that doesn't sound too fancy, ISA-wise) worked out right. 10:14:12 [wiki] [[Dc]] http://esolangs.org/w/index.php?diff=40339&oldid=40280 * Rdebath * (+1334) Add BSD extras and better sectioning. 10:16:17 Core 2 is the latest before the i[357]s started appearing, latest ones came out in 2008 and earliest in 2006 10:16:48 They all have SSE3 and SSSE3 10:16:52 [wiki] [[Dc]] M http://esolangs.org/w/index.php?diff=40340&oldid=40339 * Rdebath * (+13) Use code font 10:20:43 [wiki] [[Dc]] M http://esolangs.org/w/index.php?diff=40341&oldid=40340 * Rdebath * (+131) Hmm, how did I do that; and add the rest 10:21:01 And of course this CMake's built-in FindBLAS module doesn't support looking for OpenBLAS directly, so I need to convince it. 10:27:39 FindBLAS convinced, FindLAPACK not. (Even though the "cheev_" symbol is in there.) 10:31:06 "undefined reference to `__gfortran_compare_string'" but of course. 10:41:59 [wiki] [[Dc]] http://esolangs.org/w/index.php?diff=40342&oldid=40341 * Rdebath * (+278) Expand number description 10:44:19 -!- weissschloss has quit (Remote host closed the connection). 10:45:44 [wiki] [[Dc]] http://esolangs.org/w/index.php?diff=40343&oldid=40342 * Rdebath * (-49) Move it 10:47:38 -!- weissschloss has joined. 10:54:37 [wiki] [[Dc]] http://esolangs.org/w/index.php?diff=40344&oldid=40343 * Rdebath * (+242) Hints 11:29:49 "lattice_rescore.cc:112:46: error: too many arguments to function ‘int mkdir(const char*)’" 11:30:04 Nice little details; the Windows variant doesn't take a mode argument, of course. 11:31:10 I thought OpenBLAS was Windows-capable? Or is this something else now. 11:31:30 This is something else. 11:31:56 I (think I) managed to convince everything to use OpenBLAS, so it's now trying to build our own code. 11:40:39 -!- boily has joined. 11:43:23 Wowza, I think that's the most undefined references I've ever seen. 11:43:35 Printed out, anyway. 11:44:30 642 of them, plus ten "more undefined references follow" cop-outs. 11:46:11 Seemed longer, but that's probably because some of them are the typical C++ template error message style. 11:58:04 "--enable-static=yes --enable-shared=no CXXFLAGS=-fPIC" isn't that kind of a strange combination? 11:58:12 I wonder who wrote that. 12:01:24 Based on commit logs, it seems to be related to the SWIG-built interface to the code; building the external library for static linking, but with -fPIC so that the entire final combination can be made a shared object. 12:04:03 -!- boily has quit (Quit: RECONGUISTA CHICKEN). 12:28:15 -!- FreeFull has joined. 12:32:36 Down from 640 undefined references, through ~140 or so, to 1. 12:41:41 The one remaining one is quite puzzling, though. 12:44:30 Oh, libvorbis is split into three libraries. Well, that's fine. 13:12:16 -!- Sgeo has quit (Read error: Connection reset by peer). 13:28:35 Prolog is neat 13:31:55 Is it esoteric? 13:33:22 It's not usually counted as. But it's certainly closer than $BORING_LANGUAGE. 13:47:50 ... I actually just googled that. With this channel, it's sometimes hard to tell the joke names from real languages. ;) 13:49:32 I don't think mediawiki allows it. 14:02:17 -!- mauris has joined. 14:04:16 What have 'Lymia', 'Lymee' and 'Madoka-Kaname' done? 14:04:22 https://bitbucket.org/GregorR/hackbot/src/95f4757ad6412a820efec34566a7e99b70e8d6fe/multibot_cmds/PRIVMSG/tr_60.cmd?at=default 14:05:33 Something demonic, no doubt 14:07:19 -!- AnotherTest has joined. 14:08:03 It was just something annoying, if I recall correctly. 14:08:11 Lots of bot-noise, that sort of thing. 14:10:13 Is it possible to make HackEgo noisier than yourself? It only responds with a single line per query. 14:11:08 Was it some kind of trigger-bot with bot thingey? 14:13:12 s/-// 14:14:23 `echo fungot: Hello! 14:14:23 Hjulle: it's actually real progress, i'll probably do that for me... 14:14:24 fungot: Hello! 14:15:05 There's an ignore list on fungot. And HackEgo prefixes all non-alphanumeric initial characters with a zero-width space to avoid botloops. 14:15:06 fizzie: i am now immune to the sorts of apps that it makes my head spin in a pleasant way... thanks, will do.) it's an oldish o2 box, so it's more accurate and faster :d 14:16:08 That makes sense 14:19:50 I still haven't managed to do the same zero-width space trick on fungot, so you can make small chains via that. 14:19:51 fizzie: there's no get function for it to correct me 14:20:03 ^echo `echo 14:20:03 `echo `echo 14:20:04 ​`echo 14:21:28 ^echo `echo fungot 14:21:28 Hjulle: and what are you doing 14:21:39 ^echo `echo fungot 14:21:39 `echo fungot `echo fungot 14:21:40 fungot `echo fungot 14:23:21 -!- Phantom_Hoover has joined. 14:24:59 ^echo `sleep 20 14:24:59 `sleep 20 `sleep 20 14:25:00 sleep: invalid time interval `20 `sleep 20' \ Try `sleep --help' for more information. 14:25:38 ^echo `run sleep 20s 14:25:38 `run sleep 20s `run sleep 20s 14:25:38 bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file 14:26:06 ^echo `sleep 20s 14:26:06 `sleep 20s `sleep 20s 14:26:07 sleep: invalid time interval `20s `sleep 20s' \ Try `sleep --help' for more information. 14:26:15 You don't have to use the silly echo. 14:26:36 `sleep 20 14:26:56 No output. 14:26:59 I mean, even if you want to go through the bot. 14:27:01 ^bf ,[.,]!`run sleep 5; echo foo 14:27:01 `run sleep 5; echo foo 14:27:06 foo 14:27:36 aha 14:27:46 -!- Patashu has quit (Ping timeout: 264 seconds). 14:28:08 Are there more bots you can chain? 14:28:28 :P 14:28:56 Possibly not at the moment. lambdabot adds a space in front of replies, I think. 14:29:34 lambdabot: help 14:29:47 !help 14:30:00 ^prefixes 14:30:00 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-ircslave ( , jconn ) , blsqbot ! 14:30:12 That list keeps getting outdated. 14:30:29 That was more bots than I expected 14:30:41 The >0.1 bot age has passed. 14:30:55 `run for x in `seq 10`; do echo a$x >> x; sleep 1; done 14:31:00 `run for x in `seq 10`; do echo b$x >> x; sleep 1; done 14:31:22 No output. 14:31:33 No output. 14:31:40 `cat x; rm x 14:31:40 cat: x; rm x: No such file or directory 14:31:44 `run cat x; rm x 14:31:45 b1 \ b2 \ b3 \ b4 \ b5 \ b6 \ b7 \ b8 \ b9 \ b10 \ a1 \ a2 \ a3 \ a4 \ a5 \ a6 \ a7 \ a8 \ a9 \ a10 14:31:58 Didn't expect that. 14:32:42 Expect what? 14:32:50 Well, it looks atomic. 14:32:52 Having b's first. 14:34:14 How does that work? I still find it strange 14:35:34 Given the version control stuff, the fact that edits are atomic is not too surprising. 14:36:22 But why would b come before a? 14:37:08 `run for x in `seq 10`; do echo a$x >> x; sleep 1; done 14:37:13 `run for x in `seq 10`; do echo b$x >> x; sleep 1; done 14:38:46 `run for x in `seq 10`; do echo a$x >> x; sleep 1; done 14:38:50 `run for x in `seq 10`; do echo b$x >> x; sleep 1; done 14:39:12 No output. 14:39:23 No output. 14:39:27 `run cat x; rm x 14:39:29 b1 \ b2 \ b3 \ b4 \ b5 \ b6 \ b7 \ b8 \ b9 \ b10 \ a1 \ a2 \ a3 \ a4 \ a5 \ a6 \ a7 \ a8 \ a9 \ a10 14:39:47 The multibot machinery is a fork-exec thing, so process scheduling might get slightly random. 14:40:02 The command itself does an exclusive lock on a lockfile, which will serialize them. 14:40:37 But that shouldn't give consistant reverse ordering? 14:40:51 `run for x in `seq 10`; do echo a$x >> x; sleep 1; done; cat x 14:41:13 a1 \ a2 \ a3 \ a4 \ a5 \ a6 \ a7 \ a8 \ a9 \ a10 14:41:16 `run for x in `seq 10`; do echo b$x >> x; sleep 1; done 14:41:52 `run cat x; rm x 14:42:00 No output. 14:42:12 a1 \ a2 \ a3 \ a4 \ a5 \ a6 \ a7 \ a8 \ a9 \ a10 \ b1 \ b2 \ b3 \ b4 \ b5 \ b6 \ b7 \ b8 \ b9 \ b10 14:42:14 Two tests is hardly enough to call it. Anyway, there might be some systematic bias involved. 14:43:09 `run sleep 10; echo a 14:43:15 `run sleep 10; echo b 14:43:20 a 14:43:26 b 14:43:56 But that doesn't involve files, so I guess it's not the same 14:44:43 Oh, right; the locking is only for the version control commit. 14:45:21 Or, rather, it's a shared reader-lock during the actual execution, and an exclusive lock if a write was made. 14:47:45 And the command is re-executed after updating the checked-out copy to the latest, which explains why it always has both the a's and the b's. 14:50:42 That explains it. The first command is waiting for a wright lock while the second one has a read lock. Then it probably prefers not to context swith or something 14:52:17 It would have to be preempted between unlocking the shared lock and locking the exclusive. 14:53:34 Software transactional linux, I like it 14:53:47 There's not even any unlocking; you can "upgrade" a fcntl lock. 14:54:10 But that is not done according to the code 14:54:19 Oh, that's true. 14:55:08 I think it could lead to deadlock if you try to upgrade instead of unlocking first 14:56:09 "Converting a lock (shared to exclusive, or vice versa) is not guaranteed to be atomic: the existing lock is first removed, and then a new lock is established. Between these two steps, a pending lock request by another process may be granted, --" 14:56:14 Shouldn't be any different. 14:56:27 ok 14:56:47 -!- idris-bot has quit (Ping timeout: 245 seconds). 14:56:53 -!- Melvar has quit (Ping timeout: 240 seconds). 14:57:19 Time to get going again. -> 14:57:52 cya 15:01:22 So if I tell HackEgo to launch_the_missiles and save the results to a file, the missiles will be launced twice, and only the output of the second launch will be saved. Is that correct? 15:14:45 -!- Melvar has joined. 15:15:43 -!- idris-bot has joined. 15:40:33 -!- fizzie has joined. 15:40:44 -!- DootBot has joined. 15:42:21 hey doot 15:42:21 TieSoul_: yay gets 15:42:30 I made doot somewhat akin to fungot 15:42:30 TieSoul_: I it site 15:42:30 TieSoul_: fnord you might find this slightly different approach easier. try fnord it has great libraries ( for a wiki, though. see this thread from comp.lang.scheme: 1380 articles fetched ( to fnord reality) with the supplied continuations. table-entry will then probably have ( multi fnord 0) 15:42:48 it gets random words from a log :P 15:42:53 doot! 15:42:53 TieSoul_: a 15:42:55 wow 15:42:56 a 15:42:58 great 15:43:40 this log is shared across both chats it's in 15:43:56 so you'll see some crazy shit from #tppleague and they'll see some from here :P 15:43:59 doot 15:43:59 TieSoul_: lelwat 15:58:46 -!- fizzie has joined. 16:02:22 I want to see what doot does now. 16:02:23 TieSoul: doot go OF 16:02:27 oh 16:02:30 alright doot. 16:02:31 TieSoul: also get get to pc a 16:09:15 -!- DootBot has quit (Remote host closed the connection). 16:09:29 -!- DootBot has joined. 16:10:00 -!- DootBot has quit (Remote host closed the connection). 16:12:05 -!- DootBot has joined. 16:12:29 Hi doot 16:12:29 ACTION down doot by HIT so hi doot THE will 16:13:32 `echo doot 16:13:33 Hjulle: azum that site 16:13:33 doot 16:13:33 HackEgo: I don't cool call name. :( hi sort approach now pick 16:13:52 -!- mihow has joined. 16:14:04 >:-] 16:15:20 TieSoul: Is it some kind of markow chain or just pure random? 16:15:44 ^echo `echo doot 16:15:44 `echo doot `echo doot 16:15:44 Hjulle: Ok. log it too word NO should put 16:15:44 fungot: dootdoot is 16:15:44 doot `echo doot 16:15:45 DootBot: about hash-table-question, is it? but version 0.1 doesn't look encouraging?' and someone replied with subject ' my wife woke up...'. i might take advantage of 16:15:45 HackEgo: >_> doot it the why hi again 16:15:45 fungot: dootbot one random a 16:15:46 DootBot: i like kterm... nice color theming abilities: i have no idea what the number is for. 16:15:46 fungot: a get you cool as shit shut ON a |, log? 16:15:46 DootBot: i think i'll add a short hand for if-then-else 16:15:47 fungot: doot its like doot nice 16:15:47 DootBot: what problem does cwif present to multi? ( i never used anything in mode... 16:15:48 fungot: ...is hey jr. hey hi of so 16:15:49 [wiki] [[Talk:BFFB]] http://esolangs.org/w/index.php?diff=40345&oldid=33011 * Rdebath * (+532) /* Simple TC Proof. */ new section 16:15:52 [wiki] [[BFFB]] http://esolangs.org/w/index.php?diff=40346&oldid=33003 * Rdebath * (-275) Is Turing complete by simple construction. 16:15:56 oops 16:16:38 Luckily fungot had some kind of protection :) 16:16:39 Hjulle: for starters, try simply writing a " web service" which was so nonportable i think it loads all of the numbers of f to the functional value that you give a specific list of moves 16:16:52 I'll just post the source for that in a gist 16:17:32 https://gist.githubusercontent.com/TieSoul/8494092055b746730d26/raw/501ba6c6e3ac9f6af8bc26ead719c069e4f19fd2/gistfile1.txt 16:17:44 doofbot is a bot doot has had problems with before 16:17:45 TieSoul: As time do WORKING name. to * 16:17:45 :P 16:19:20 also shout-out to #esoteric with the fnord variable. I felt like it. 16:22:32 -!- DootBot has quit (Remote host closed the connection). 16:22:45 -!- DootBot has joined. 16:29:55 [wiki] [[Xo]] N http://esolangs.org/w/index.php?oldid=40347 * 46.193.138.167 * (+323) Created page with "[[Xo]] is a turing-complete, [[esoteric programming language]] created by Nax. == The XVM == Xo runs on a virtual machine. The official virtual machine is called XVM and can..." 16:30:25 it's a bit disheartening how people sometimes seem to think the aim of an esolang is to be TC 16:31:15 yeah 16:31:15 tc? 16:31:23 when it's to be as fun as possible :d 16:31:25 :D* 16:31:28 right doot? 16:31:28 TieSoul: Hi up to too ACTION!!! the action hi 16:31:46 First result when googling is Tom Cruise 16:31:50 spoken like a dootbot. 16:31:51 /me starters, hilarious didnt a as 16:31:56 ...dammit 16:32:01 how do I get it to action? 16:32:05 :d, the 'i have something stuck on my upper lip' smiley 16:32:14 Hjulle, turing complete 16:32:52 TieSoul: /me is a client side command that sends a CTCP ACTION. 16:32:56 Turing tarpits are usually esoteric 16:34:34 is lambda calculus considered a turing tarpit? 16:34:43 But they are far from the only kind of esoteric languages 16:34:49 -!- DootBot has quit (Remote host closed the connection). 16:34:59 fixed actions for dootbot 16:35:00 I think 16:35:05 -!- DootBot has joined. 16:35:08 hey doot 16:35:08 TieSoul: I he on twice. the color to dootiness acc- 16:35:13 can you do an action doot 16:35:13 TieSoul: yes too what make so 16:35:17 doot come on 16:35:17 TieSoul: xfix do drunkard to coherence actually shut (+532) 16:35:23 also dootiness is a nice word 16:35:24 TieSoul: Bowser riot comes 16:35:26 dootbot? 16:35:26 Hjulle: make doot `echo see language regexes one hi ( 16:35:30 Bowser riot comes lel 16:35:42 doot do an action 16:35:42 TieSoul: And FOR him name) add much 16:35:44 DOOT 16:35:44 TieSoul: temporarily* gets get doot! try actually sometimes well, 16:35:53 damn, will have to wait until he actions 16:36:12 When does doot do actions? 16:36:13 Hjulle: doot! for 16:36:36 randomly, doot 16:36:36 TieSoul: this one I the happen they 16:36:45 It happened in another channel already 16:36:49 so that's good 16:36:53 it works :D 16:37:00 :D 16:37:27 Is it still triggered by other bots? 16:37:31 Yes. 16:37:59 ( "doot" 16:37:59 Melvar: I too this happens RIOT 16:38:41 -!- idris-bot has joined. 16:39:50 ( "doot" 16:39:50 "doot" : String 16:39:50 Melvar: anyway, you do posting is in taste paste ( flaafy 16:39:50 idris-bot: anyone doot it complaining from 16:40:31 Restarting so it doesn't reply to any bots I know of. 16:40:42 -!- DootBot has quit (Remote host closed the connection). 16:40:55 -!- DootBot has joined. 16:41:59 doot just said "also is ledge esoteric word" in the other chat lel 16:42:00 TieSoul: :P DOOT fixed. times 16:42:17 `run echo do""ot 16:42:18 doot 16:42:58 ( "do" ++ "ot" 16:42:58 "doot" : String 16:43:00 !befunge98 a"doot">:#,_@ 16:43:01 TieSoul: DOOT you it doot! 16:43:06 `befunge98 a"doot">:#,_@ 16:43:06 TieSoul: forgot it azum hey IT too its abilities: 16:43:06 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: befunge98: not found 16:43:18 ^bf ,[.,]!`echo doot 16:43:18 `echo doot 16:43:18 Hjulle: Do you'll is 16:43:18 doot 16:43:18 hrm 16:43:29 ^befunge98 a"doot">:#,_@ 16:43:29 TieSoul: hello like you to too much from 16:43:38 wat 16:43:50 what command is befunge-98? 16:44:04 !befunge-98 a"doot">:#,_@ 16:44:04 TieSoul: right does fixed. do disabled doot doot problems upper a's 16:44:08 `befunge-98 a"doot">:#,_@ 16:44:08 TieSoul: doot doot doot think for 16:44:08 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: befunge-98: not found 16:44:13 ^befunge-98 a"doot">:#,_@ 16:44:13 TieSoul: DOOT going comes AN is 16:44:17 damn 16:44:19 -!- doesthiswork has joined. 16:44:27 it said doot three times in one sentence 16:44:27 TieSoul: afk it's doot ping channel this 1 #esoteric. considering 16:44:28 :P 16:46:08 doot is saying strangely coherent stuff :P 16:46:08 TieSoul: IT actually do""ot doot! though for action 16:47:21 also 16:47:25 !log now uses sprunge 16:47:27 TieSoul: Log: http://sprunge.us/LWXR 16:48:48 -!- impomatic_ has quit (Ping timeout: 255 seconds). 16:56:04 -!- DootBot has quit (Remote host closed the connection). 16:56:17 -!- DootBot has joined. 16:56:26 -!- coppro_ has changed nick to coppro. 16:58:43 -!- DootBot has quit (Remote host closed the connection). 16:58:59 -!- DootBot has joined. 17:07:46 -!- DootBot has quit (Remote host closed the connection). 17:08:02 -!- DootBot has joined. 17:08:21 -!- DootBot has quit (Remote host closed the connection). 17:09:22 -!- DootBot has joined. 17:09:35 -!- DootBot has quit (Remote host closed the connection). 17:10:17 -!- DootBot has joined. 17:11:41 !log 17:11:43 TieSoul: Log: http://sprunge.us/gihX 17:12:27 -!- DootBot has quit (Remote host closed the connection). 17:12:42 -!- DootBot has joined. 17:16:06 -!- erdic has quit (Ping timeout: 272 seconds). 17:25:00 It would have been !befunge98, but EgoBot seems to have left us. 17:28:53 -!- sebbu has joined. 17:29:01 -!- zzo38 has quit (Remote host closed the connection). 17:29:32 -!- sebbu has quit (Changing host). 17:29:32 -!- sebbu has joined. 17:35:49 -!- erdic has joined. 17:37:12 -!- DootBot has quit (Remote host closed the connection). 17:37:26 -!- DootBot has joined. 17:37:43 -!- zzo38 has joined. 17:49:50 -!- mihow has quit (Quit: mihow). 17:49:57 Who names their male son "Isolde"? 17:50:14 List on https://allthetropes.orain.org/wiki/User:Zzo38/level20.tex 17:52:00 I mean, it is one of the list items 17:54:33 their... son 17:54:55 someone who thinks they know more opera than they do? 17:57:39 -!- MindlessDrone has quit (Quit: MindlessDrone). 17:58:12 I don't know. 17:59:37 -!- DootBot has quit (Remote host closed the connection). 17:59:52 -!- DootBot has joined. 17:59:53 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 18:00:15 A trope page is now listed for three characters. 18:00:41 DOOT DOOT 18:00:41 TieSoul: hey I it clearing in another 18:00:45 !source 18:00:45 TieSoul: Source: https://gist.github.com/TieSoul/06fe15a20084430a8d12 18:01:25 -!- Burton has joined. 18:04:03 `sleep 20 18:04:24 No output. 18:08:18 -!- Phantom_Hoover has joined. 18:09:42 -!- aretecode has quit (Ping timeout: 245 seconds). 18:12:26 -!- aretecode has joined. 18:12:52 -!- aretecode has quit (Read error: Connection reset by peer). 18:13:02 There's a fixed hard timeout of 30 seconds, in case you are feeling adventureous about all those `sleeps. 18:17:31 -!- zzo38 has quit (Remote host closed the connection). 18:25:31 `sleep -5 18:25:31 sleep: invalid option -- '5' \ Try `sleep --help' for more information. 18:25:59 `sleep --version 18:26:00 sleep (GNU coreutils) 8.13 \ Copyright (C) 2011 Free Software Foundation, Inc. \ License GPLv3+: GNU GPL version 3 or later . \ This is free software: you are free to change and redistribute it. \ There is NO WARRANTY, to the extent permitted by law. \ \ Written by Jim Meyering and Paul Eggert. 18:27:51 Daily spam: "We are starting a very big research project in Usa. This project takes place every month. We need to recruit Research shoppers to join our project to work as a detectives and you will earn $-300 per evaluation." 18:27:56 What, so I need to pay them $300? 18:34:24 -!- mihow has joined. 18:35:05 fizzie: sounds fair, just think of all the excitement. 18:36:04 "Your salary and Detective payment will be issued and sent to you in form of a Bank Certified Legal Tender. You will be required to get from your bank,deduct your salary and have the rest used for the Detective-Survey." 18:36:12 All the excitement of going to a bank, and filling surveys. 18:37:40 Okay, why would I cash in a $-300 bank note? 18:38:03 so many questions 18:57:20 -!- MoALTz has joined. 19:09:00 DOOT 19:09:00 TieSoul: aside just I exec: 19:11:43 -!- DootBot has quit (Remote host closed the connection). 19:11:56 -!- DootBot has joined. 19:19:36 WP is clearly lacking a "Blame" function 19:25:42 That's what http://en.wikipedia.org/wiki/Wikipedia:WikiBlame is for, I believe, though it's clearly inferior to a "git blame"ish view. 19:26:12 (It's a "binary search for a revision that added a particular string" tool.) 19:26:44 can you write cheques for negative amounts? 19:26:45 please say yes 19:27:05 Check injection vulnerability? 19:32:25 -!- DootBot has quit (Remote host closed the connection). 19:32:42 -!- DootBot has joined. 19:33:47 -!- maurer_ has changed nick to maurer. 19:33:56 -!- DootBot has quit (Remote host closed the connection). 19:34:12 -!- DootBot has joined. 19:34:57 doot now has channel-specific babble list 19:35:00 doot 19:35:00 TieSoul: doot now has channel-specific babble list? doot now has channel-specific babble list. doot now has channel-specific babble list! 19:35:13 ...yeah 19:42:11 -!- DootBot has quit (Remote host closed the connection). 19:42:27 -!- DootBot has joined. 19:43:06 okay I decided non-channel-specific babble lists were better, doot 19:43:06 TieSoul: Kappa Is it praise are to this DoofBot? showdown! ooh `echo time! dootbot.rb of. 19:48:36 -!- monotone_ has changed nick to polytone. 19:51:57 fungot: You don't even know that channels exist, right? 19:51:58 fizzie: where can i find these scripts? c code? 19:53:49 hi fungot 19:53:49 olsner: this is a soundtrack for something.) the namestring is not portable, but i'm sure that fiz will proofread this now, so i cover up that sloppiness by using double precision. heh. 19:54:15 ooh, double precision namestrings, good move 19:56:51 DootBot: What are your thoughts on fungot? 19:56:51 TieSoul: doot much doot, two round! or actually it? 19:56:51 TieSoul: like eine klein nacht fnord! function calls and no variable scoping makes it a little 19:59:16 For some reason, I am picturing that as real-valued variable names 20:00:02 doot much doot sounds fun. 20:00:03 TieSoul: but YayBot to! [wiki] my that contests flaws dog characters. doot IMPEACH is TO Misty language,! 20:00:47 Ooh, I don't think I've been called "fiz" in quite a while. 20:17:01 -!- not^v has joined. 20:17:24 -!- Bicyclidine has joined. 20:28:33 -!- trying has joined. 20:32:47 -!- trying has quit (Ping timeout: 246 seconds). 20:49:36 -!- ais523 has joined. 20:50:10 [wiki] [[Xo]] http://esolangs.org/w/index.php?diff=40348&oldid=40347 * Rdebath * (+101) Bold for the name, stub and correct classification WRT bounded memory. 20:53:30 -!- tswett has joined. 20:53:57 [wiki] [[Xo]] http://esolangs.org/w/index.php?diff=40349&oldid=40348 * Rdebath * (+102) Some categories, and an ETA taken from commit times (please confirm) 20:56:08 a'oi 21:03:32 -!- FreeFull has quit (Read error: Connection reset by peer). 21:09:06 -!- FreeFull has joined. 21:15:57 -!- not^v has quit (Ping timeout: 240 seconds). 21:23:53 -!- AnotherTest has quit (Ping timeout: 240 seconds). 21:38:58 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=40350&oldid=40267 * Rdebath * (+7204) /* Performance Matrix */ 21:43:40 -!- TieSoul has quit (Ping timeout: 255 seconds). 21:44:34 -!- DootBot has quit (Ping timeout: 255 seconds). 21:51:50 -!- DootBot has joined. 21:51:57 -!- TieSoul has joined. 21:58:31 -!- Bicyclidine has quit (Ping timeout: 255 seconds). 22:04:31 -!- Patashu has joined. 22:13:50 -!- oerjan has joined. 22:13:53 -!- conehead has joined. 22:29:34 -!- Patashu has quit (Ping timeout: 240 seconds). 22:30:32 -!- Bicyclidine has joined. 22:36:07 -!- TieSoul-mobile has joined. 22:36:09 Hi 22:36:34 Doot 22:36:34 TieSoul-mobile: doot actually YayBot yay sums? !summon bot say long people? 22:41:40 hmm 22:42:07 !loghth 22:42:08 TieSoul-mobile: Log: http://sprunge.us/ZTJU 22:44:29 what's the hth for? 22:44:33 other than an oerjan reference? 22:45:50 Just a reference 22:46:06 You can put anything after !log 22:46:13 !source 22:46:13 TieSoul-mobile: Source: https://gist.github.com/TieSoul/06fe15a20084430a8d12 22:48:45 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=40351&oldid=40273 * 50.196.190.245 * (+193) 22:55:09 -!- Bicyclidine has quit (Ping timeout: 240 seconds). 23:00:22 -!- callforjudgement has joined. 23:00:32 -!- ais523 has quit (Write error: Broken pipe). 23:02:20 -!- DootBot has quit (Remote host closed the connection). 23:02:25 -!- mauris_ has joined. 23:03:13 -!- TieSoul has quit (Ping timeout: 255 seconds). 23:03:35 -!- TieSoul has joined. 23:05:27 -!- mauris has quit (Ping timeout: 255 seconds). 23:08:40 -!- doesthiswork has quit (Ping timeout: 241 seconds). 23:08:51 -!- doesthiswork has joined. 23:10:40 -!- mauris__ has joined. 23:11:26 -!- Tod-Autojoined has joined. 23:11:27 -!- Tie-Soul has joined. 23:11:46 @metar lowi 23:11:47 LOWI 252150Z AUTO 28004KT 9999 FEW050 BKN090 14/12 Q1015 23:12:13 -!- mihow has quit (Quit: mihow). 23:12:24 -!- TieSoul-mobile has quit (Ping timeout: 260 seconds). 23:12:46 -!- TodPunk has quit (Ping timeout: 260 seconds). 23:13:45 -!- mauris_ has quit (Ping timeout: 246 seconds). 23:15:23 -!- DootBot has joined. 23:16:34 -!- olsner has quit (Ping timeout: 246 seconds). 23:16:55 -!- coppro has quit (Ping timeout: 246 seconds). 23:16:55 -!- lifthrasiir has quit (Ping timeout: 246 seconds). 23:16:55 -!- Guest2171 has quit (Ping timeout: 246 seconds). 23:17:11 -!- lifthrasiir has joined. 23:17:16 -!- Sprocklem has quit (Ping timeout: 246 seconds). 23:17:16 -!- aloril has quit (Ping timeout: 246 seconds). 23:17:35 -!- hjulle_ has joined. 23:17:37 -!- Hjulle has quit (Ping timeout: 246 seconds). 23:18:49 -!- coppro has joined. 23:18:59 -!- conehead has quit (Quit: Computer has gone to sleep). 23:19:27 -!- Sprocklem has joined. 23:21:47 -!- callforjudgement has quit (Read error: Connection reset by peer). 23:21:48 -!- scarf has joined. 23:22:05 -!- scarf has changed nick to ais523. 23:26:35 -!- tswett has quit (Quit: Page closed). 23:27:45 -!- tswett has joined. 23:29:58 -!- Guest2171 has joined. 23:31:02 -!- aloril has joined. 23:35:25 -!- boily has joined. 23:40:09 Mathematical nondeterminism hypothesis! 23:40:22 No mathematical statement is actually true or false until someone somewhere either proves or disproves it. 23:40:32 Until then, it could go either way. 23:41:34 Riemann is True! P=NP! Mathemapocalypse! 23:44:45 @metar ENVA 23:44:46 ENVA 252150Z 10004KT CAVOK 10/10 Q1010 RMK WIND 670FT 35001KT 23:44:53 10/10? woooah... 23:44:55 @metar CYUL 23:44:56 CYUL 252200Z 20009KT 30SM FEW050 SCT190 BKN250 27/17 A3009 RMK CU1AC3CI3 CU TR SLP189 DENSITY ALT 1300FT 23:45:10 it's getting autumny 23:45:27 although it _is_ about midnight. 23:45:32 not quite yet here. about 6 more weeks, until it oranges full force. 23:45:42 -!- callforjudgement has joined. 23:45:44 -!- ais523 has quit (Disconnected by services). 23:45:46 oranges? 23:45:46 -!- callforjudgement has changed nick to ais523. 23:46:01 i've heard about canadian winters though 23:46:15 Alternative mathematical nondeterminism hypothesis: 23:46:20 to orange: v. when trees become orange, and red, and yellow, and very autumny. 23:46:48 oerjan: winter is winter. it obliterates all your memories of anything different than Great White Piles of snow. 23:46:55 No mathematical statement is actually true or false unless it can be either proved or disproved using at most one million symbols. 23:46:59 oh. well it's not that far here yet either, i'm thinking temperature. 23:47:19 If there's no concise proof, the statement is meaningless. 23:47:46 tswett: what if the proof is a brute-force search for a proof? you can run it on a computer and confirm that it terminates 23:47:49 thus it works as a proof 23:47:51 and yet it is useless 23:47:53 tswett: that sounds more dubious than the first one 23:48:03 why one million? 23:48:47 ais523: if there's no upper bound on the time spent searching, it's not really a proof. 23:48:50 Doot 23:48:50 Tie-Soul: .... Success can too to of the weird... Trout only SUMMONED heyheyhey way to. Hi sounds self you be fights. 23:49:10 boily: because it's a number that's very large, but not incomprehensibly large. 23:49:14 Tie-Soul: doot doot ♪ 23:49:14 boily: Erm with going out! Tie-Soul: was you go I than her that Huge? My potato +0200 hypothesis: again a lolo have? 23:49:24 -!- Burton has changed nick to mazelrella. 23:49:24 If someone created a proof exactly one million symbols long, it would fit snugly into an ordinary book. 23:49:26 tswett: you can fit the upper bound into the search itself and still have it less than a megabyte long 23:49:31 tswett: if error rate in proofs bothers you, you can always employ the help of a computer. (see the recently finished flyspeck project) 23:49:35 and yes, a book is about a megabyte 23:49:49 I was idly wondering about converting my 3,2 Turing machine proof to machine readable recently 23:50:00 it's the sort of proof that seems like it would benefit from that treatment 23:50:25 ais523: well, suppose that in one thousand symbols, you can say "Check every proof of length at most ten thousand symbols". 23:50:41 Then the proof search would be recursive. 23:50:53 ah right 23:50:57 ooh they finished it? 23:51:02 Checking every proof of length at most 10,000 involves checking the proof "check every proof of length at most 10,000", since its length is at most 10,000. 23:51:12 oerjan: two weeks ago. 23:52:04 tswett: that's fine, because all it proves is that an algorithm exists that checks every proof of length 10k. 23:52:25 /r/math has slipped too far down my reddit queue :( 23:52:26 (at most 10k) 23:53:43 int-e: right, perhaps I should say: "The first proof of the statement whose length is at most ten thousand symbols". 23:56:02 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:56:08 i suppose any proof system that allows you to express "proof: by checking every proof less than N symbols" in less than N symbols will necessarily be nonterminating or inconsistent. 23:56:13 -!- Grey-Fox has joined. 23:56:19 -!- Grey-Fox has left. 23:56:42 Right. 23:57:02 heh, I find strange things every time I look in this channel 23:57:37 "proof: the first proof using less than 10,000 symbols" really isn't a valid proof unless you can, in fact, prove that it's possible to search every candidate proof using less than 10,000 symbols. 23:57:39 weird. i find great things every time i look in this channel 23:57:55 Which you can only do if you can prove that your proof checking algorithm terminates. 23:58:12 tswett: well you have two proof checking algorithms 23:58:14 one which always terminates 23:58:20 and one which happens to terminate for that proof, but doesn't always terminate 23:58:33 Well, then you have two different styles of proof. 23:59:13 oerjan: You can define "proofs" that way, but it will have unexpected properties, like provability of A and provability of B not necessarily implying provability of (A and B).