00:04:04 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 00:12:59 -!- Guest81248 has changed nick to Puntastic. 00:13:08 -!- Puntastic has quit (Changing host). 00:13:08 -!- Puntastic has joined. 00:15:47 -!- Puntastic has changed nick to Zuu_. 00:20:39 what nobody told eddieconroy is that this #esoteric is just as prone to people thinking we're crazy as the other #esoteric 00:22:50 It is a bit unnatural to be so fascinated by something so abstract. 00:22:56 I think. 00:25:51 i've considered bitching about fizzie using the same prefix for zemhill as for EgoBot, but i think zemhill obliterates the last real reason for keeping EgoBot alive so... 00:30:48 oerjan: I thought it just handled !bfjoust specifically 00:31:02 in which case, it's just as fine as glogbackup doing the same job as glogbot 00:31:09 come to think of it, why are they /both/ here? 00:32:38 for backup 00:32:50 i think Gregor has given up on understanding why glogbackup keeps coming 00:33:18 maybe we shouldn't hassle globackup about doing its fucking job how about that huh 00:33:30 ais523: except if EgoBot _did_ return, we'd have two inconsistent hills 00:33:41 that both reacted to the same command 00:34:05 oerjan: that'd be fine too, it'd make constant-tweaking harder 00:34:14 heh 00:34:51 -!- ais523 has quit. 00:38:03 oerjan: I've given up on a lot of things. 00:40:52 so is EgoBot officially dead 00:43:06 I may bother to revive it. 00:43:13 I'm not sure why it's down, and haven't bothered to check. 00:44:08 -!- shikhout has joined. 00:47:20 Turns out that other elements of "life" are time consuming. 00:47:33 -!- shikhin has quit (Ping timeout: 260 seconds). 00:47:44 scary 00:48:46 In more positive news, bacon is deliciousness itself. 00:52:04 i really wish people would stop it with the bacon thing 00:52:27 well jew _would_ say that. 00:52:52 I only say this because I am about to make some bacon. 00:53:06 For I hunger, and have bacon. 00:53:14 but i have chocolate-covered peanuts. who wins? 00:53:22 Everybody. 00:53:30 oerjan: well i'm vegetarian hth 00:53:32 how reasonable. 00:53:45 ah 01:06:02 That would certainly make keeping kosher easier. 01:06:58 i wouldn't know 01:07:15 (well, i do know, vaguely. but it's not the sort of thing i pay attention to) 01:07:52 http://math.arizona.edu/~savitt/GTM.html 02:04:18 -!- AndoDaan_ has joined. 02:05:52 -!- AndoDaan has quit (Ping timeout: 240 seconds). 02:15:41 -!- AndoDaan_ has changed nick to AndoDaan. 02:22:40 -!- shikhout has quit (Ping timeout: 260 seconds). 02:29:02 -!- AndoDaan has quit (Ping timeout: 245 seconds). 02:30:12 -!- choochter has quit (Ping timeout: 245 seconds). 02:33:15 -!- AndoDaan has joined. 02:43:27 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 02:55:42 -!- GeekDude has joined. 03:00:19 zzo... dangit 03:00:46 @ask zzo38 Do you have opinions on the speed of various interpreters? Supposedly this game is very impacted by such things http://emshort.wordpress.com/2012/12/31/counterfeit-monkey/ 03:00:46 Consider it noted. 03:06:19 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 03:06:49 -!- augur has quit (Quit: Leaving...). 03:13:40 -!- AndoDaan_ has joined. 03:15:22 -!- AndoDaan has quit (Ping timeout: 240 seconds). 03:21:36 -!- AndoDaan has joined. 03:24:01 -!- AndoDaan_ has quit (Ping timeout: 244 seconds). 03:35:39 -!- augur has joined. 03:50:28 -!- paul2520 has quit (Remote host closed the connection). 03:55:06 -!- aretecode has quit (Ping timeout: 246 seconds). 04:04:15 -!- aretecode has joined. 04:17:11 -!- aretecode has quit (Quit: Toodaloo). 04:23:12 oerjan: what's with the thing where people call anything with "forall" in it "existential" 04:23:18 where did this start 04:23:52 it's all haskell's fault 04:24:00 i thought that was the opposite of existential 04:24:04 it is 04:24:21 I mean, in much of haskell, the place you're most likely to find it is in an existential 04:24:47 Existentials are pretty rare in Haskell code compared to universals. 04:24:47 if you don't understand why it's there or have a formal grounding, it seems fairly natural to assume it somehow means existential 04:25:00 yes, but the universals almost never use the forall keyword unless you're rank-2ing 04:26:16 i,i ∀x. means x is scoped, right? 04:26:33 Anyway, it's odd that so many people gravitate so strongly toward this misuse. 04:28:56 Is there a standard construction of the reals where a real number r is a function : Q -> Q where you give it an error and it gives you a rational approximation within that error? 04:29:37 -!- BotAndAndAdo has joined. 04:33:54 -!- BotAndAndAdo has quit (Ping timeout: 250 seconds). 04:34:11 -!- idris-bot has quit (Quit: Terminated). 04:39:26 like computable reals but without the computable part? 04:40:06 sure 04:45:25 -!- paul2520 has joined. 04:57:47 -!- BotAndAndAdo has joined. 04:58:00 -!- BotAndAndAdo has quit (Read error: Connection reset by peer). 05:22:24 oerjan: My thinking was that people keep trying !bfjoust (well, it happened at least once) so it'd be nice if that did something, and I can always switch keywords if EgoBot does come back. 05:22:47 ah yes 05:30:58 !bfjoust firstlel (>+>-)*4>+[>(-)*128.+] 05:30:59 TieSoul.firstlel: points -32.45, score 6.84/100, rank 47/47 (change: --) 05:31:09 yay, rank 47/47 05:31:19 !bfjoust firstlel (>+>-)*4[>(-)*128.+] 05:31:19 TieSoul.firstlel: points -31.95, score 7.26/100, rank 47/47 (change: --) 05:31:27 slightly better :P 05:32:16 !bfjoust firstlel (>+>-)*4(>(-)*128)*21 05:32:16 TieSoul.firstlel: points -37.02, score 0.80/100, rank 47/47 (change: --) 05:32:31 oh wow that's much worse for some reason 05:32:46 !bfjoust firstlel (>+>-)*4(>(-)*128.)*21 05:32:46 TieSoul.firstlel: points -29.57, score 8.51/100, rank 47/47 (change: --) 05:32:50 oh right 05:32:52 better 05:35:03 !bfjoust firstlel >+>-(>(-)*128.)*28 05:35:03 TieSoul.firstlel: points -35.52, score 5.97/100, rank 47/47 (change: --) 05:35:09 okay that's worse 05:35:12 !bfjoust firstlel (>+>-)*4(>(-)*128.)*21 05:35:13 TieSoul.firstlel: points -29.57, score 8.51/100, rank 47/47 (change: --) 05:39:21 -!- AndoDaan_ has joined. 05:39:51 !bfjoust MeatYouBait >>>>>------>+++++++>----->(<++++++<--)*4(([(+)*6[-]]>)*3([(+)*6[-]]>)*1([(+)*6[-]]>)*3([(+)*6[-]]>)([(-)*6[+]]>)*3([(+)*7[-]]>))*7 05:39:51 AndoDaan_.MeatYouBait: points -34.02, score 2.69/100, rank 47/47 05:39:54 -!- AndoDaan has quit (Ping timeout: 244 seconds). 05:40:05 Oops 05:41:20 -!- AndoDaan_ has changed nick to AndoDaan. 05:41:42 !bfjoust BeatYouMate [ 05:41:42 AndoDaan: error: parse error: starting [ without a matching ] 05:41:51 !bfjoust BeatYouMate 05:41:51 AndoDaan: "!bfjoust progname code". See http://zem.fi/bfjoust/ for documentation. 05:42:12 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*6[-]]>)*1([(+)*6[-]]>)*3([(+)*6[-]]>)([(-)*6[+]]>)*3([(+)*7[-]]>))*7 05:42:13 AndoDaan.BeatYouMate: points -6.55, score 25.96/100, rank 34/47 (change: --) 05:43:28 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*9[-]]>)*1([(+)*14[-]]>)*3([(+)*9[-]]>)([(-)*5[+]]>)*3([(+)*7[-]]>))*7 05:44:00 !bfjoust BeatYouMate (>------>+++++)*4>(([(+)*6[-]]>)*3([(+)*9[-]]>)*1([(+)*14[-]]>)*3([(+)*9[-]]>)([(-)*5[+]]>)*3([(+)*7[-]]>))*7 05:44:01 AndoDaan.BeatYouMate: points -9.33, score 22.52/100, rank 46/47 (change: -7) 05:44:40 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*9[-]]>)*1([(+)*6[-]]>)*3([(+)*1[-]]>)([(-)*7[+]]>)*3([(+)*7[-]]>))*-1 05:44:41 AndoDaan.BeatYouMate: points -6.33, score 26.57/100, rank 32/47 (change: +14) 05:45:05 hey, look at that 06:01:33 -!- oerjan has quit (Quit: leaving). 06:01:54 -!- AndoDaan_ has joined. 06:03:44 -!- AndoDaan has quit (Ping timeout: 248 seconds). 06:05:48 -!- AndoDaan_ has changed nick to AndoDaan. 06:10:42 -!- MoALTz has quit (Quit: Leaving). 06:16:16 !bfjoust MeatYouBait >>>>>---->+++++++>--->(<+++<--)*4(>)*10(([(+)*6[-]]>)*3([(+)*6[-]]>)*1([(+)*6[-]]>)*3([(+)*6[-]]>)([(-)*6[+]]>)*3([(+)*7[-]]>))*7 06:16:17 AndoDaan.MeatYouBait: points -16.95, score 14.80/100, rank 47/47 06:26:25 -!- AndoDaan_ has joined. 06:26:31 !bfjoust MeatYouBait >>>>>---->+++++++>--->(<+++<--)*4(>)*10(([(+)*3[-]]>)*3([(+)*7[-]]>)([(+)*6[-]]>)*3([(+)*9[-]]>)([(-)*4[+]]>)*3([(+)*7[-]]>))*-1 06:26:31 AndoDaan_.MeatYouBait: points -20.38, score 12.77/100, rank 47/47 06:26:52 -!- AndoDaan has quit (Ping timeout: 240 seconds). 06:27:02 -!- AndoDaan_ has changed nick to AndoDaan. 06:28:29 !bfjoust MeatYouBait (>+++>---->++++++>--->)*4(<+++<--)*4(>)*10(([(+)*3[-]]>)*3([(+)*7[-]]>)([(+)*6[-]]>)*3([(+)*9[-]]>)([(-)*4[+]]>)*3([(+)*7[-]]>))*-1 06:28:30 AndoDaan.MeatYouBait: points -20.45, score 14.55/100, rank 47/47 06:29:06 !bfjoust MeatYouBait (>+++>---->++++++>--->)*2(---<+++<--)*4(>)*10(([(+)*3[-]]>)*3([(+)*7[-]]>)([(+)*6[-]]>)*3([(+)*9[-]]>)([(-)*4[+]]>)*3([(+)*7[-]]>))*-1 06:29:06 AndoDaan.MeatYouBait: points -12.60, score 20.01/100, rank 47/47 (change: --) 06:30:53 !bfjoust MeatYouBait (>+++>---->++++++>---)*2(<---<+++<--)*3(>)*7(+)*24(>)*2(([(+)*3[-]]>)*3([(+)*7[-]]>)([(+)*6[-]]>)*3([(+)*9[-]]>)([(-)*4[+]]>)*3([(+)*7[-]]>))*-1 06:30:54 AndoDaan.MeatYouBait: points -45.33, score 0.30/100, rank 47/47 (change: --) 06:33:58 -!- shikhin has joined. 06:34:26 -!- AndoDaan_ has joined. 06:35:46 -!- AndoDaan has quit (Ping timeout: 276 seconds). 06:35:56 -!- AndoDaan_ has changed nick to AndoDaan. 07:01:02 -!- pi____ has joined. 08:01:37 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:22:28 -!- AndoDaan_ has joined. 08:23:40 -!- AndoDaan has quit (Ping timeout: 276 seconds). 08:24:03 -!- AndoDaan_ has changed nick to AndoDaan. 08:29:12 -!- choochter has joined. 08:29:43 -!- Patashu has joined. 08:31:24 -!- FreeFull has quit (Quit: I'll be back later). 08:43:32 -!- shikhin has quit (Ping timeout: 245 seconds). 09:15:10 If somebode takes over an oauth2server all clients are pretty much screwed 09:15:13 *somebody 09:15:44 i.e. you get your access token from it 09:16:10 with that access token you ask oauthsrv for stuff like the user's username etc. 09:16:35 and then you display SELECT * from usr_secrets WHERE uname = 09:17:20 if somebody manipulates the connection from foosrv to oauthsrv you can respond foosrv with an arbitrary username 09:18:35 or if somebody can hack the oauthsrv 09:18:42 he can also hack pretty much every client 09:18:59 How like is it for somebody to take over an oauth2server? 09:30:03 very 09:30:54 Sounds alarming. 09:38:41 OAuth2 isn't really a single-sign-on system? 09:43:10 I wouldn't know. 09:44:44 -!- conehead has quit (Quit: Computer has gone to sleep). 10:08:07 -!- Sorella has quit (Ping timeout: 272 seconds). 10:10:52 -!- boily has joined. 10:23:09 -!- FreeFull has joined. 10:35:44 -!- AndoDaan has quit (Ping timeout: 250 seconds). 10:36:44 -!- AndoDaan has joined. 10:39:42 -!- Yonkie has joined. 10:50:02 -!- AnotherTest has joined. 10:58:56 -!- Bike has quit (Read error: Connection reset by peer). 10:59:15 -!- ais523 has joined. 11:00:08 it's strangely dark outside. kinda disturbing, too. 11:03:29 -!- GeekDude has joined. 11:09:27 -!- ais523 has quit (Ping timeout: 246 seconds). 11:16:33 -!- boily has quit (Quit: ERODED CHICKEN). 12:01:46 -!- ais523 has joined. 12:05:52 -!- Phantom_Hoover has joined. 12:10:12 -!- AndoDaan_ has joined. 12:11:55 -!- AndoDaan has quit (Ping timeout: 272 seconds). 12:15:30 -!- Sorella has joined. 12:16:20 -!- Sorella has quit (Changing host). 12:16:20 -!- Sorella has joined. 12:20:46 does anyone know what a cookie named __cfduid is generated by? it looks like a session cookie, but a) servers try to set it in images (one of my pet hates, it just means you get a bunch of contradictory session cookies), b) the name is common to tons of websites so it seems like it must be generated by some framework 12:24:00 -!- Sorella has quit (Remote host closed the connection). 12:24:09 http://webmasters.stackexchange.com/questions/59226/disable-cfduid-cookie-from-cloudflare 12:25:20 (that does not answer the question what it's used for though. The reference to security is flimsy at best. I would treat it as a tracking cookie.) 12:25:52 I thought that might be it 12:26:06 also explains why it's on every page load, cloudflare probably doesn't look into the internals of pages 12:26:36 Heh, "makes security work". 12:27:27 fizzie: actually I'd translate that as "trust us, we know what we're doing" 12:28:34 "The __cfduid cookie is used to override any security restrictions based on the IP address the visitor is coming from. For example, if the visitor is in a coffee shop where there are a bunch of infected machines, but the visitor's machine is known trusted, then the cookie can override the security setting. It does not correspond to any userid in the web application, nor does the cookie store ... 12:28:40 ... any personally identifiable information. 12:28:41 That's what their own support site writes. 12:28:44 Note: This cookie is strictly necessary for site security operations and can't be turned off." 12:29:33 but I just reject it 12:29:35 client-side 12:30:07 also, strikes me that that's exploitable simply by people sharing cookies 12:30:23 I guess that's my next step, after randomly rejecting and accepting them 12:32:19 also, __cfduid doesn't seem to serve its intended purpose well because it's from the website's domain, not cloudflare's 12:33:25 "nor does the cookie store any personally identifiable information" 12:34:31 -!- shikhin has joined. 12:34:51 standard copout, technically correct, but for all non-legal intends and purposes a straight lie. 12:36:08 As you wish http://heh.fi/tmp/recaptcha-%C5%BFide.png 12:36:23 ais523: The "website's domain" generally points at cloudflare's proxy servers, though, doesn't it? 12:39:01 fizzie: no, it's normally the website that humans visit 12:39:17 because cookies are associated to the name not the IP 12:42:12 Yes, but I thought with CloudFlare the server that gets the human's request for www.example.com is CloudFlare's. 12:42:24 And they'd see cookies when getting to decide what to do. 12:44:01 but their tracking job gets so much easier if they have their own tracking cookie rather than having to identify each site's own cookies. 12:51:13 what I mean is, they have a different own cookie for each site they accessed 12:52:39 http://en.wikipedia.org/wiki/Non-English-based_programming_languages "丙正正 – Chinese C++" 12:53:09 ais523: true, but cloudfare can related them based on IP addresses 12:56:39 int-e: that completely defeats the point of a tracking cookie 12:56:53 "let's use some other method to identify people, so that we can figure out which person this tracking cookie belongs to" 12:58:25 ais523: it doesn't. you get more reliable correlations. Same IP visiting site A, then B, then A again with A's cookie gives a pretty high confidence that B was the same ... well router. 12:59:00 int-e: yes, it could well be two different people on the same router, one visiting site A, one visiting site B 12:59:11 I don't see how the use of A's cookie gives you any additional useful information 13:00:21 But for many users, IP addresses change regularly. 13:00:56 apart from mobile use, IP addresses tend not to change very quickly 13:01:05 it's not perfect, but having such a cookie gives you quite a bit more data than pure IP addresses. 13:01:07 (source: observing the effectiveness of blocks at Wikipedia) 13:01:11 the main exception was AOL 13:01:43 ais523: my home ip address does change quickly 13:01:44 eventually, Wikipedia blocked the whole of AOL from editing until AOL put a unique ID for each of their users in the headers, so that it was possible to distinguish one AOL user from another 13:02:13 In Germany users experience forced reconnnects every 24 hours, and get a new IP afterwards. 13:02:21 the work ip address very rarely changes, and the university machine (from where I've connected to this irc) has an absolutely fixed ip address 13:03:08 -!- Patashu has quit (Ping timeout: 258 seconds). 13:03:08 on the other hand, my internet connection at home is much more reliable than the one at work 13:03:33 this one at work has serious problems both at the local network connections and the internet connection :-( 13:05:11 ais523: Anyway, yes, you get a site based tracking cookie, but I disagree with your assessment that it's worthless; it lets you identify users after IP changes and get a better idea of when those IP changes happen, so it's a significant improvement over tracking just based on IPs. 13:05:45 not to mention that the cloudflare cookie breaks the EU cookie laws (the site doesn't say what it's for) 13:05:53 although, fwiw, almost every site in existence breaks the EU cookie laws 13:06:05 mine doesn't; I don't set any cookies I don't need to, and I don't need any cookies 13:06:28 oh, there's "EU cookie laws"? so that's what all the pointless crazy cookie warnings on websites are for these days? 13:06:32 what's the point of these? 13:07:42 b_jonas: websites were setting cookies they shouldn't have been 13:07:55 so the EU told them to warn about cookies, explain what they were used for, and not include any unnecessary cookies 13:08:11 most websites are adding a generic "this website uses cookies" warning, which probably doesn't comply with the restrictions 13:08:18 rather than actually, you know, bringing cookie use down to a sane level 13:08:45 do you want the theory or the practice? (in theory, users will make an informed choice of what kind of cookies they find acceptable and not use sites or site features which they find intruding on their privacy too much. in practice, I think you just have more policies to accept blindly before you can use sites.) 13:09:29 int-e: I already reject cookies that don't have an obvious good reason 13:09:31 which is like 99% of them 13:09:44 I have little confidence in a court ever ruling cookies unnecessary, there's too much technobabble for justifying their use. 13:09:45 the only ones I accept are cookies to retain login data (either per-session, or longer) 13:10:00 int-e: well, put it this way: if I reject most of the cookies and the site still works 13:10:02 then they weren't necessary 13:10:03 ais523: same here, and maybe that's true for 1% of the web users. 13:10:24 cookiechoice.eu 13:10:26 so it doesn't really matter. 13:11:12 it matters to me, you know how long it takes to click through all the cookie accept/reject boxes? 13:11:21 I do know 13:11:39 especially since I'm using firefox which is really awful at rejecting cookies the first time. 13:11:49 (when they come with images, say) 13:12:39 yes :-( 13:12:43 luckily you can hold down alt-d 13:13:11 (also, this is the first time I've told someone that I manually accept cookies, and the response has been "I do that too" rather than people telling me I'm an idiot 13:13:12 ) 13:13:46 I did that too, but then I got too lazy, when switching browsers. 13:14:24 I have a second browser with no persistent storage, for websites that are particularly badly written (e.g. Flash users) 13:14:33 Also doing cookies manually broke far too many payment/ordering systems. In retrospect, should've really made a separate browser profile for that. 13:14:43 (I could disable cookies by default but I use the cookie dialog to catch webbugs, which I try to add to my adblock list) 13:15:05 fizzie: yes, I learned that that needs a separate profile quite a while ago 13:15:21 ais523: I automatically accept all cookies these days, and only very rarely delete a few particular ones. 13:16:15 I think I've got Chromium set to "keep local data only until you quit your browser" mode, though. 13:16:19 heh, do you also find the inconsistent spelling of firefox' command line options annoying? I mean this: firefox -ProfileManager -no-remote 13:16:33 fizzie: firefox has that too, sure, and other browsers too 13:16:44 int-e: huh? I spell that as firefox -p -no-remote 13:17:12 b_jonas: hmm, that would work 13:17:13 but usually I just have a script that invokes firefox with a particular profile like firefox -no-remote -P SomeProfile 13:17:25 so I rarely want to type this manually 13:17:31 but it's still inconsistent. 13:17:36 sure 13:18:34 right now I'm running a firefox with an alternate profile for a particular broken internal website. the website has since been mostly fixed so it's now not as broken, but I'll keep it in the alternate profile for a few months until that's proven 13:19:49 Re the EU thing, the "in practice" meaning seems to have converged to some sort of a top/bottom bar you have to click to close. 13:20:35 http://www.bbc.co.uk/ is a conventional example, where it's a top bar if you don't have it done. 13:21:03 You say they need to tell what the cookies are for? Well, they're there "to ensure that we give you the best experience on our website". 13:21:20 "" 13:21:20 For a better experience on your device, try our mobile site. 13:21:33 but hmm, I'm in Japan atm 13:21:44 fizzie: and also they give you the choice of opting out, by telling you how to disable cookies in your browser 13:21:54 At least there's a more complete info page, which many sites probably lack. 13:22:26 One that groups them into categories and lists the names and all that. 13:22:42 but it looks the same when proxied via germany. I don't have javascript enabled and I guess that makes some difference :/ 13:23:21 Huh, apparently clicking to "more information" was also enough to disable the prompt, since now the bar is gone. 13:23:37 I suppose I've been sufficiently informed, so it counts. 13:23:42 fizzie: that's what I was about to say 13:25:22 zem.fi sets no cookies, or at least it should not. 13:26:03 fizzie: firefox agrees with you, fwiw 13:26:24 Chrome's resource inspector says there's two items in local storage for zem.fi, though: 'showIcon' with a value of true, and an 'urlBlackList' with a random-looking string of website domains. 13:26:36 "wikipedia,tuenti.com,faqoverflow.com,postrank.com,mail.google.,mail.yahoo.,docs.google.com,facebook.,twitter.com,//feedly.com,netvibes.com,acidtests.org,bloglovin.com" 13:26:37 did you ever get round to running your BF stats thing, btw? 13:26:41 even a one-off would be interesting 13:26:43 *BF Joust 13:26:54 Yes, they're at http://zem.fi/egostats/ 13:26:59 The names is a bit misleading now. 13:27:05 s/names/name/ 13:27:22 And summary table has the "wrong" sort order. 13:27:23 it puts margins last :-) 13:27:56 wow, the margins row/column are beautifully gray 13:28:01 *grey 13:28:35 I'm sure it's the greyest program. 13:28:48 yes 13:28:56 http://zem.fi/egostats/plot_p20_pscores.png -- which is just a graphical illustration of the breakdown -- is also pretty grey. 13:29:11 the per-tape-length chart for it is a really good illustration of the strategy 13:29:23 red on 10, faint red on 11, grey or slightly bluish grey the rest of the way 13:29:35 fun fact: margins never goes below cell 12 under any circumstances 13:30:03 grey goo 13:31:12 I see preparation is screwing up the overall duel length chart 13:32:19 also it's screwing up the "where on the tape these programs live" chart; as the first program that spends most of its time in the vicinity of cell 7, it's put the line right behind the legend 13:32:53 Heh. 13:33:04 Yeah, I put the legend top-middle because it has conventionally been empty. 13:34:09 cell 8, actually 13:34:12 or, well 13:34:21 I never figured out whether the cells are numbered starting at 0 or 1 13:34:26 and some of my comments are inconsistent 13:35:18 You can see those things more clearly in the per-program plots, like http://zem.fi/egostats/plot_p24_ptapeheat.png for preparation. 13:35:38 The averaged plot is a bit smooshed up since it averages across tape lengths. 13:36:11 yep 13:36:17 tapeheat is actually a really good way to identify strategies 13:36:29 it's hilarious for margins, it basically explains the entire strategy in one graph 13:36:31 ais523: how about -4.5, -3.5, ..., 4.5 for tape length 10, etc. ;-) 13:36:37 -!- sebbu2 has joined. 13:36:38 preparation's is a little more unclear 13:36:47 int-e: you know where your flag is, but not the enemy's 13:36:57 I know :P 13:36:59 and comments are normally talking about what knowledge your program has 13:37:17 -!- sebbu2 has quit (Changing host). 13:37:17 -!- sebbu2 has joined. 13:37:53 but the choice is completely arbitrary. you could have your home flag at 42, and the opponent's between 13 and 33... 13:38:04 -!- sebbu has quit (Ping timeout: 272 seconds). 13:38:07 fizzie: it probably requires a change to your instrumentation, but "average changes made by this program to each cell" would be interesting too 13:38:27 would need to be logarithmic, though, some programs (increase) will raise cells by 100000 :-) 13:38:35 -!- sebbu2 has changed nick to sebbu. 13:39:30 I could do that, and yes, it needs one more thing to track in cranklance. 13:40:05 growth has a pretty neat heatmap too, actually 13:40:17 egojsout gives a better idea of what it's doing, but even the heatmap gives a pretty good idea 13:40:45 the other thing that's /really/ encouraging about growth is that the brightest red is the enemy flag 13:40:52 that basically never happens, and means that my strategy is working 13:41:11 (fun fact: if a program starts unexpectedly winning against growth, I actually check that program to see if it's buggy) 13:41:21 (have caught more than one bug in my programs like that) 13:41:22 There's a local EgoJSout installation at http://zem.fi/bfjoust/game/ now, but it's missing some features, like the permalink button does nothing at the moment. (You can make permalinks if you guess the URL syntax, though.) 13:41:38 I noticed that 13:41:43 also it disallows editing the programs? 13:41:52 -!- AnotherTest has quit (Ping timeout: 240 seconds). 13:42:31 It shouldn't do that, but I could've broken something. 13:42:51 Are the textfields disabled, or does it do something stupid if you do try to edit? 13:42:59 disabled, IIRC 13:43:06 that was from a while ago 13:43:15 Oh, okay. Yeah, they were that before this morning. 13:43:46 would be nice for the matrix to link to egojsout 13:44:14 Now editing a program just switches the dropdown to the blank option, and disables the permalink button, since I'm only going to make that work for programs it can fetch from the gitweb URLs. 13:44:27 fizzie: wow, that's some serious stats you have generated there 13:44:28 Yes, I just didn't get there yet. 13:44:39 fizzie: that seems sensible 13:45:35 -!- ais523 has quit (Remote host closed the connection). 13:45:49 -!- ais523 has joined. 13:46:19 btw, is there any easy way (e.g. not showing the trace by default) to make egojsout faster on very slow programs? 13:46:27 I've thought about adding a "submit this program" button there too, but it's a bit of a tradeoff: it could help reach people not interested in IRC, but it'd also remove an incentive to come here and talk about bfjoust. 13:46:28 I keep running margins in it, then wishing I hadn't 13:46:34 (Of course both scenarios are somewhat hypothetical.) 13:46:54 it'd save needing to have your own webserver to submit long programs 13:47:10 perhaps it could announce the results in-channel, and give a link to Freenode's web interface ;-) 13:47:12 ais523: you can use a pastebin for that 13:47:18 actually, probably best to keep it to IRC, to keep down spambots 13:47:20 b_jonas: not easily 13:47:25 most pastebins HTML-escape even the raw view 13:47:34 sprunge works but isn't exactly very web-friendly 13:47:35 ais523: do they now? I don't think so 13:47:36 let me try 13:48:23 here, this is text/plain => http://dpaste.com/09VYENJ.txt 13:48:51 I'm sure it is text/plain for reals, but you've cleverly chosen a program with no <>s for your example. :) 13:48:56 huh? in that case it's probably vulnerable to the IE XSS attack 13:49:05 ais: besides, html escaping doesn't even break bf programs 13:49:19 yes it does 13:49:22 > can't move right 13:49:32 oh... true 13:49:33 sorry 13:49:57 new esolang idea: HTML-BF 13:50:03 it's BF except < and > are < and > 13:50:09 this will revolutionarise computing 13:50:11 IE XSS attack? is that the one where IE decides the page is html even if it's actually announced as plain text by the webserver? 13:50:14 b_jonas: yes 13:50:19 hmm 13:50:30 someone sent oerjan to a shock site like that a while back via injecting JS into the #esoteric logs 13:50:43 what's the latest version of IE that did that? 13:50:55 I know 8 does, not sure about newer 13:51:03 gee... strange 13:51:26 -!- pi____ has quit (Ping timeout: 258 seconds). 13:52:06 let me try 13:52:45 hmm no, browsershots.org doesn't have any MSIE version other than 8.0 13:52:47 so I can't try 13:52:59 browsershots has really collapsed by not keeping up with the times 13:53:11 you can get screenshots from old Opera but not from anything recent 13:53:15 hmm 13:53:16 ok 13:53:26 https://code.google.com/p/browsersec/wiki/Part2#Survey_of_content_sniffing_behaviors has a table, but it only goes up to 8. 13:53:37 I did install IE6 on Linux (most recent version that runs well) in order to test that sites work in IE 13:53:40 I know their page is broken when trying to shoot pages with urls containing a question mark. they don't escape it somewhere. 13:53:44 but I disconnect from the Internet whenever I use it 13:53:55 I guess Windows 8.1 comes with something newer, I could just copy the HTML to the Windows partition 13:53:57 I see 13:54:26 I don't think I'd test with IE 6, but I have tested with IE 8 or some other new version at some point from a windows machine. A bit. Not much. 13:55:44 I don't do much web development either though. 13:56:10 I don't do much, but I've done some 13:56:29 I remember writing a database engine in JS, where the entire database + indexes were all one JSON literal generated previously via a separate Perl script 13:57:19 uh... ok 13:57:31 Apparently on IE8 onwards you can work around it by adding a "X-Content-Type-Options: nosniff" header. 13:57:37 (dpaste doesn't seem to do that.) 13:58:28 that's great design just there, requiring sites to send custom headers specific to your browser in order to avoid a security bug 13:58:36 what I wrote with javascript is a form where you can repeat a particular input field any number of times because you can want to add any number of that particular data. 13:58:47 and I made sure it works even without javascript 13:58:54 b_jonas: server-side? 13:59:05 I'm hoping there's some way to do it with really convoluted CSS 13:59:09 but there probably isn't :-( 13:59:11 server-side, yes 13:59:50 Huh, the 'raw' links from gitweb are 'Content-Type: text/plain; charset=ISO-8859-1'. 14:00:01 Should probably check where that charset value is coming from. 14:00:32 if you have no javascript, then any such field shows up twice by default, but if you fill all copies of such a field and hit preview, you get one more copy 14:00:51 "$fallback_encoding: Gitweb assumes this charset when a line contains non-UTF-8 characters. -- The default is "latin1", aka. "iso-8859-1"." 14:00:54 actually, the main problem with margins is that it has close to a 0% chance of ever beating omnipotence 14:00:56 plus if you don't have javascript, a short usage notice about this shows 14:00:56 But that shouldn't be the case. 14:01:30 I eventually get it to work sane on all browsers I tried 14:01:46 oh, I see 14:01:50 hmm, now I have an idea 14:03:45 the javascript code has to handle replicating the input box, together with making sure the label on the left and extra stuff on the right from the input field appear in a same way; plus when loading it enables a css so that the second input field and the usage note doesn't appear if you have javascript on 14:04:23 during that, I found that browsers handle alternate stylesheets in two different ways, so I have to be compatible with both 14:05:42 hmm, I have something broken in my browser local config 14:05:58 anyway, here's the code for that replicatable field => http://www.perlmonks.com/?node_id=841827 14:06:46 or actually, I think there's something broken in this firefox version, or one of the plugins, not in my config 14:06:51 damn 14:07:02 -!- TieSoul has changed nick to azum4roll. 14:07:38 -!- azum4roll has changed nick to TieSoul. 14:09:45 what the heck? 14:10:42 there was some code specifically to beat full-tape clears but it wasn't running 14:10:42 what? 14:10:45 I just got it working 14:11:20 !bfjoust margins http://nethack4.org/esolangs/margins.bfjoust 14:11:33 this will take a while :-) 14:11:34 in this firefox, it seems that in the settings if I disable page fonts, it doesn't even show text as monospaced when the page marks it as monospaced (not a particular monospaced font), not even if the site simply uses the tt tag 14:11:34 my bot got lots of messages built up for azum4roll so I ate them :P 14:11:38 crazy 14:12:00 this is clearly a bug, if I wanted the monospaced text to be not monospaced, I'd just change the default monospaced font to a non-monospaced font 14:12:14 is this a bug in firefox, or in a plugin I have installed? 14:12:34 shouldn't be taking /that/ long, though 14:13:00 it's listed in breakdown 14:13:03 zemhill just hasn't posted here 14:13:48 matrix hasn't been upsated 14:13:49 *updated 14:14:05 I think it might be a plugin bug 14:14:47 huh, htf is anticipation2 beating it 14:15:24 ah right, it hardly sets any decoys, meaning its counter-turtle works even at tape length 10 14:15:54 I wonder if there's some sort of theory of perturbation applied to bfjoust programs to see which ones are more resilient and which are winning because of a particular set of decoy strategies or what-have-you 14:16:55 coppro: one thing I've considered is running repeatedly, with one program delayed 1 cycle, 2 cycles, 3 cycles, etc. at the start 14:17:09 that should throw off most constant-tweaking-related effects 14:17:19 if the match is decisive, you should have a pretty sharp transition from winning to losing 14:17:30 if it's to do with details of clashing decoys, the wins and losses will be all over the place 14:17:43 and if it's to do with things like probabilistic locks, you should get a repeating pattern 14:21:01 hmm, has anyone hooked a full Sage interpreter to irc yet? with persistent state between lines, preferably 14:21:43 -!- Zuu_ has changed nick to Zuu. 14:21:48 just wondering 14:25:53 Is that like the hippie version of mathematica tweets 14:41:34 -!- DootBot has joined. 14:41:34 DOOT DOOT! 14:44:35 Huh. 14:45:01 what does it say about me that my immediate reaction to DootBot joining is "oh dear" 14:45:02 ais523: Tanelle- ass problem used a the listen again,! dunnl Moon like was rekt her the go? il Apple Leonys. 14:45:20 http://sprunge.us/EPgM I don't know why it didn't reply anything. 14:46:37 the matrix doesn't appear to be loading: http://zem.fi/bfjoust/matrix/ 14:47:03 oh fungot 14:47:03 Jafet: ' he ate more than the fnord of his dead self, he would surely rise to higher things! 14:47:23 -!- idris-bot has joined. 14:47:48 ais523: The JSON report file is empty. 14:47:59 that would explain it 14:48:04 !bfjoust margins http://nethack4.org/esolangs/margins.bfjoust 14:48:10 let's see if we can just unstick it like this 14:48:10 ais523.margins: points 2.38, score 45.65/100, rank 9/47 (change: --) 14:48:15 that's better 14:48:21 Now it's nonempty. 14:48:40 Don't know what went wrong there, since it didn't output anything. 14:48:48 But it *is* the same place where it segfaulted, so. 14:52:13 The interpreter has been tested only with a "Hello, world" brainfuck program, so it may contain horrible bugs. ← we have plenty of other test cases; Lost Kingdoms is a common one 14:54:55 -!- AndoDaan has joined. 14:58:13 -!- AndoDaan_ has quit (Ping timeout: 276 seconds). 15:02:18 [wiki] [[Fortob]] http://esolangs.org/w/index.php?diff=40521&oldid=40400 * GermanyBoy * (+10) /* summary/infobox */ perl has influenced 15:04:29 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=40522&oldid=39610 * GermanyBoy * (+168) /* Fortob */ new section 15:05:00 [wiki] [[Hello world program in esoteric languages]] M http://esolangs.org/w/index.php?diff=40523&oldid=40522 * GermanyBoy * (+0) /* Forobj */ 15:22:29 -!- Bike has joined. 15:23:59 -!- Sprocklem has joined. 15:44:57 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 15:45:40 -!- Sorella has joined. 15:46:29 -!- Sorella has quit (Changing host). 15:46:30 -!- Sorella has joined. 15:53:56 [wiki] [[Fortob]] http://esolangs.org/w/index.php?diff=40524&oldid=40521 * GermanyBoy * (+630) /* Example code/99 bottles of beer */ new section 15:54:22 [wiki] [[Fortob]] http://esolangs.org/w/index.php?diff=40525&oldid=40524 * GermanyBoy * (+18) /* 99 bottles of beer */ 15:55:24 -!- idris-bot has quit (Quit: Terminated). 15:55:37 -!- idris-bot has joined. 16:07:40 -!- callforjudgement has joined. 16:08:52 -!- ais523 has quit (Disconnected by services). 16:08:53 -!- callforjudgement has changed nick to ais523. 16:12:56 ais523: oh. thanks. but i still have some imporvements that have been sitting on the backburner for a year... 16:13:25 it'd be nice to see them, it's down to like #4 or #5 now 16:13:28 depending on local conditions 16:13:49 but it's one of the very few programs I can't consistently tune near-aribtrary strategies to beat 16:15:22 I learned a lot getting growth to beat it (notably, this is without using any sort of cheating or special-casing, the changes that beat space_elevator helped against a bunch of other programs too) 16:16:13 that said, its main weakness is its clear loop 16:17:00 wait, I'm muddling _elevator with _hotel 16:17:02 fizzie: i like that you use . as the separator now. I assume this is because valid IRC nicks can't contain .? 16:17:38 space_hotel has a better clear loop, I think 16:17:45 !bfjoust 16:17:45 quintopia: "!bfjoust progname code". See http://zem.fi/bfjoust/ for documentation. 16:17:51 hmm, if the separator was > that could mean the nick goes in one cell and the program name in the next cell 16:18:03 -!- Phantom_Hoover has joined. 16:18:24 new project: get growth to beat space_hotel 16:19:04 I think growth is the future of BF Joust 16:19:36 -!- atriq has joined. 16:19:39 it's very close at the moment 16:19:52 Help I am running into problems because templating engines aren't functional programming languages 16:20:16 man 16:20:35 template haskell? or future C++ where the compiler can do more stuff at compile time? 16:20:47 b_jonas: jinja2, I'm afraid 16:21:17 oh, _those_ kinds of templating languages 16:21:20 actually, the big problem is that space_hotel overpokes, which is almost impossible to beat something like growth 16:21:29 ais523: it's quite a lot of fun watching growth run. it slowly grows its decoys while checking to see if they've been cleared? 16:21:35 yes 16:21:50 well now i'm distracted from the work i need to be doing... 16:21:53 then, it assumes that the opponent started clearing at the ninth cell, and if it did, goes straight to the flag 16:21:58 this bfjous thing is crazy :) 16:22:12 the great thing is, if the opponent leaves a trail 16:22:25 it can't see they were cleared "directly", but it'll shrink the trail while "growing" the decoy 16:22:37 indeed 16:22:41 and eventually the cell reads 0, at least on one polarity 16:23:10 so the only way to throw it off is a) large trail or b) somehow match the trail with the original polarity 16:23:28 both of which have downsides 16:23:29 right 16:23:30 it sort of reminds me to Lambda: the Gathering, though it's a quite different game 16:23:57 in fact, most of growth's losses to space_hotel are due to the trail having the original polarity for long enough that you get too much of a head start 16:24:05 probably "large trail" is less of a disadvantage than it is an advantage in this case 16:24:09 then it juts wins via having a faster clear loop 16:24:12 *just 16:24:27 -!- TieSoul has quit (Ping timeout: 245 seconds). 16:24:35 this was an innovation I came up with a couple of days ago: basically you do an inflexible timer clear on a very short timer 16:24:50 when it hits a large decoy size (I arbitrarily chose 100), you turn off your offset clear on future tape cells 16:24:55 and just do a regular clear 16:25:02 because you're not going to beat the enemy decoys anyway 16:25:24 good idea 16:25:35 first time I've used a non-offset clear in /years/ 16:26:26 oh wow, on kettle 24 16:26:32 -!- DootBot has quit (Ping timeout: 245 seconds). 16:26:40 growth's decoys are smaller than your offset 16:26:42 i knew this new hill implementation would spice things up here 16:26:48 i hope i don't get too distracted by it 16:26:56 and yet growth /still/ wins 16:27:16 this actually shocks me, and says a lot about constant tweaking 16:27:20 yes, because the flag is still high than the offset 16:28:37 i has question: Do there exist positive integers a,b,c,d such that a²+b²=c² and a²/4+b²=d²? 16:28:52 is this a homework question? 16:29:09 I guess probably not, it sort-of looks like one though 16:29:12 it will become one if the answer is "yes" 16:29:22 oh, reverse homework question, neat 16:29:22 but not in this form 16:29:45 okay, i will say yes without any thinking 16:29:51 just because you will have to do homework 16:30:00 I'm trying to remember the formula for generating solutions to a^2+b^2=c^2 16:30:04 your saying yes does not make the answer yes 16:30:05 but I have Wikipedia, so I'll look it up 16:30:39 m^2-n^2, 2mn, m^2+n^2 16:30:58 !bfjoust assume1decoy >(>+>-)*3(>[ (>[+])*99])*99 16:30:59 b_jonas.assume1decoy: points -18.67, score 15.29/100, rank 47/47 16:31:22 b_jonas: that sort of program /can/ work, but >[+] is a terrible clear loop for a fast rush program 16:31:43 !bfjoust assume1decoy2 >(>+>-)*3(>[ (>[+]..)*99])*99 16:31:44 b_jonas.assume1decoy2: points -19.83, score 13.81/100, rank 47/47 16:32:00 b_jonas: that clear loop is even worse :-) 16:32:14 the problem is, the best fast rush clear loops I know are quite long 16:32:35 well, I just want to try some simple strategies now 16:32:56 !bfjoust assume1decoy2 >(>+>-)*3(>[ (>(+)*120[+]..)*99])*99 16:32:57 b_jonas.assume1decoy2: points -20.69, score 12.21/100, rank 47/47 (change: --) 16:33:09 < copumpkin> yes, but the universals almost never use the forall keyword unless you're rank-2ing – In Idris, of course, you use the dependent function syntax every time you want a dependent function, rather than just to construct existentials out of. 16:33:14 < ais523> (also, this is the first time I've told someone that I manually accept cookies, and the response has been "I do that too" rather than people telling me I'm an idiot) – I use CookieMonster for that purpose, so in total I have policy addons for scripts, cross-site requests, and cookies. 16:33:28 < int-e> heh, do you also find the inconsistent spelling of firefox' command line options annoying? I mean this: firefox -ProfileManager -no-remote – I find it more annoying that “-no-remote” is even necessary. Or actually, isn’t the current correct way to do it “-new-instance”? 16:33:51 !bfjoust heres_a_sample >(>+>-)*3(>[+[--[-[++++[(+)*100[+]>]-->++]++>+]+>-]->-])*21 16:33:51 ais523.heres_a_sample: points -20.71, score 13.10/100, rank 47/47 16:34:07 hmm, perhaps I screwed up somewhere, that happens when you write clear loops from memory 16:34:10 let me check egojsout 16:34:47 aha, forgot the tripwire avoid 16:35:00 !bfjoust heres_a_sample >(>+>-)*3(>[>[+[--[-[++++[(+)*100[+]>]-->++]++>+]+>-]->-]])*21 16:35:00 ais523.heres_a_sample: points -15.71, score 17.32/100, rank 47/47 (change: --) 16:35:09 there, that's starting to score now 16:35:12 *score better 16:35:16 yeah 16:35:16 admittedly it's still last 16:37:09 also I only went up to offset 2 16:37:14 I declare that the cutest program name listed is “Gregor.furry_furry_strapon_pegging_girls”. 16:37:22 !bfjoust assume1decoy >(>+>-)*3(>[ (>(+)*123[+.+]..)*99])*99 16:37:22 b_jonas.assume1decoy: points -26.50, score 8.10/100, rank 47/47 16:37:26 I've been known to go right up to 5 in that sort of clear loop, but at that point, you have to start writing loop escape mechanisms 16:37:32 ais523: i'm messing around with the various pythagorean triple generating functions and it's not a way i'm able to think at the moment 16:37:46 and it quickly becomes too hard to fit into a oneline 16:37:48 *oneliner 16:38:04 ais523: deewiant could figure out how :P 16:38:09 quintopia: have you tried to check for small solutions first? 16:38:15 b_jonas: yes 16:38:32 i know some properties a solution must have 16:39:00 well 16:39:02 no i don't 16:39:03 :P 16:39:06 solve it mod 2, and mod 3, to start off with 16:39:44 that's pretty much how i count legal positions in Go 16:39:47 Those are finite fields, so you will always find solutions 16:39:52 that are useless 16:40:07 except i count mod 2^64-O(1) 16:40:07 err, mod 4, and 9, I mean 16:40:15 probably you need mod 8 16:40:31 You can't divide by 4 mod 4 16:40:43 you multiply instead 16:40:57 as in, add d=a/2 16:41:03 you can definitely multiply by 4 mod 4 16:41:49 -!- S1 has joined. 16:43:38 Well, in any case it's possible to make this a homework question regardless of whether a pair exists 16:44:25 yes but it might be too hard for the students, we don't know what sort of class quintopia teaches 16:44:37 quintopia: Yes. (It used ~ for a while there, but I got some negative feedback about that.) 16:50:21 -!- Sprocklem has quit (Ping timeout: 246 seconds). 16:53:43 i wish i knew where this whole #bisexualfacts thing started 16:53:51 but it amuses me 16:54:12 "A bisexual is a monoid in the category of endofunctors #bisexualfacts" 17:02:16 do you know what the difference between football and rape is? 17:02:49 Women just hate rape. 17:02:58 it's normally a bad idea to bring rape jokes into any communication forum whatsoever 17:03:00 dammit! I fucked it up 17:03:05 they hate football 17:03:28 i think the fuckup came some time earlier than that 17:04:06 naaah, also I mistook this channel from a different channel because of the bifact 17:04:20 it doesn't even really matter which channel it is 17:04:34 you're right 17:04:39 “Men don't date football.” 17:04:54 just means that I have another chance of tellign the joke right, in the right thannel :> 17:05:08 *channel 17:05:19 Zuu: you'll be better off once you realise why the joke's a fundamentally bad idea 17:05:34 Indeed. 17:05:53 ais523: I think you got something stick somewhere 17:05:57 *stuck 17:06:17 Zuu: this is what #xkcd has to say on the matter: http://www.xkcdb.com/6758 17:06:56 tldr 17:07:20 -!- callforjudgement has joined. 17:07:24 -!- ais523 has quit (Disconnected by services). 17:07:25 -!- callforjudgement has changed nick to ais523. 17:07:56 Feature added: result matrix cells now links. (They invoke the EgoJSout autorun behavior, so clicking 'margins' links is potentially somewhat hazardous.) 17:08:30 IMO, margins is the BF Joust equivalent of trolling, in terms of bot behaviour 17:12:05 -!- TieSoul has joined. 17:17:40 -!- atriq has quit (Ping timeout: 246 seconds). 17:17:43 -!- MoALTz has joined. 17:19:06 -!- callforjudgement has joined. 17:19:19 -!- ais523 has quit (Disconnected by services). 17:19:22 -!- callforjudgement has changed nick to ais523. 17:21:30 -!- ais523 has quit (Read error: Connection reset by peer). 17:21:37 -!- ais523 has joined. 17:33:41 ooh, I found a bug in space_hotel: length 29 polarity inverted versus growth, it gets itself stuck in an infinite loop doing what looks like an anti-shudder 17:34:56 I guess this is a good argument for antishudders being asymmetrical, although I do admit to having written [+--+] recently 17:35:34 one innovation I'm wondering about for growth is to tune its growth loop so that it has a better chance of accidentally locking programs due to happening to grow at the right instant in their clear loop 17:39:57 -!- conehead has joined. 17:41:12 Zuu: next time that'll get you a +b 17:42:01 it even came with the op-insulting, too 17:42:07 it was very close to a kick but I lost connection 17:42:20 your internet connection is too merciful 17:44:01 rap is not tragic :( 17:44:08 i mean some are i guess. 17:52:56 -!- AnotherTest has joined. 17:57:28 -!- drdanmaku has joined. 17:58:56 anyone here who has played frog fractions? 17:59:19 elliott_: lol! you guys seem a tad iverly sensitive 17:59:33 -!- ChanServ has set channel mode: +o elliott_. 17:59:38 GeekDude: it's fun 17:59:41 -!- elliott_ has kicked Zuu and you don't know how to take a hint. 17:59:45 I'm stuck 17:59:50 what part 18:00:07 There's a wire on a strut, and a can under a spigot 18:00:18 but I can't activate the spigot, or scoop up the goo with th can 18:01:43 oh yeah that part 18:01:51 -!- TodPunk has quit (Ping timeout: 272 seconds). 18:01:52 elliott_: not objecting to that at all 18:01:58 also I keep typing "ls" instead of "look" but it works anyways 18:02:06 especially because I can't ever remember Zuu contributing anything useful 18:02:25 let's see how does this go 18:02:27 do you have the tape? 18:02:27 it took some restraint not to add a +b 18:02:30 -!- TodPunk has joined. 18:02:33 Bike: there's tape? 18:02:33 -!- elliott_ has set channel mode: -o elliott_. 18:02:41 on the machine 18:02:45 oh 18:02:45 electrical tape or something 18:02:51 to hold the note on I suppose 18:02:54 * GeekDude experiments 18:02:57 you use it to fix the wire 18:03:06 * Bike looking at walkthrough, memory is hard. 18:03:18 ooh, something behind it 18:03:33 covered in goop to render it unuseable -.- 18:03:44 ooh, it worked 18:04:25 mmm, bacon 18:04:43 this conversation was really interesting before I scanned up high enough to see that it's about frog fractions 18:04:50 I was like wtf are you doing 18:04:54 lol 18:05:10 "You don't need to worry about the porn trading minigame at all - just order your staff to print money each turn, and buy the last upgrades" 18:05:40 - game devs for pg game 18:06:43 I can't eat the note :( 18:06:56 i'm looking forward to frog fractions 2, which i have discovered through my spy network is half life three 18:08:05 the goop is sleeping? 18:08:08 * GeekDude gets more goop 18:08:46 uhh... zorkmids? I thought that was a goop dispenser 18:09:08 ah... 18:10:35 -!- ais523 has quit. 18:11:03 -!- perrier has quit (Remote host closed the connection). 18:11:25 I have no clue what's going on anymore 18:11:58 -!- perrier has joined. 18:14:33 >Score 18:14:44 "I don't know whith whom you want to score" 18:14:55 oh wow 18:14:58 >Score with me 18:15:09 "Your score has gone up by three halves of a point" 18:15:25 do try to get onto the leaderboards 18:15:26 this thing is amazing 18:31:05 -!- shikhout has joined. 18:31:34 -!- shikhout has changed nick to Guest73499. 18:32:48 -!- Guest73499 has quit (Client Quit). 18:33:05 -!- shikhout_ has joined. 18:34:24 -!- shikhin has quit (Ping timeout: 272 seconds). 18:35:00 Bike: the ddr part was rediculously difficult 18:35:14 you've just got no groove 18:40:38 -!- shikhout_ has changed nick to shikhin. 18:43:08 I think I finished it 18:43:41 -!- erdic has quit (Ping timeout: 260 seconds). 18:43:59 Finally, a product sample for quality control http://i.imgur.com/wpwUbSW.png 18:44:30 And another! http://i.imgur.com/gheWPmq.png 18:44:59 quality is through the roof! 18:45:34 -!- erdic has joined. 18:48:26 Bike: the first time I played this I thought everyone was just making things up to confuse people 18:48:29 I have seen the light 18:48:39 yeah i got bored in the first section 18:48:45 "this is dumb" 18:51:34 Note to everyone else: It totally isn't just a fraction game 18:51:49 -!- AndoDaan_ has joined. 18:52:30 -!- AndoDaan has quit (Ping timeout: 246 seconds). 19:02:44 Bike: the ddr part was rediculously difficult 19:03:01 it doesn't actually matter how well you do in that section 19:03:05 mashing buttons is cheating! 19:03:19 also: when elliott_ first linked me to frog fractions i thought it was called 'frog factions' 19:03:28 and it was going to be some kind of frog-based strategy game 19:03:33 to this day i'm still a bit disappointed 19:03:37 nah, it's an rpg 19:03:52 GeekDude is lying. frog fractions is a game about learning and fractions and that is all there is to it. 19:04:04 and about indignity! 19:10:43 -!- nortti has changed nick to hvidie. 19:12:01 -!- hvidie has changed nick to nortti. 19:12:17 -!- ^v has joined. 19:26:12 -!- AndoDaan has joined. 19:28:12 -!- AndoDaan_ has quit (Ping timeout: 245 seconds). 20:00:23 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>)*1([(+)*5[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([+++++++[-]]>))*-1 20:00:24 AndoDaan.BeatYouMate: points -8.67, score 22.67/100, rank 44/47 (change: -13) 20:02:01 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>))*-1 20:02:02 AndoDaan.BeatYouMate: points -6.71, score 25.65/100, rank 35/47 (change: +9) 20:02:27 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>))*-1 20:02:28 AndoDaan.BeatYouMate: points -5.00, score 27.73/100, rank 29/47 (change: +6) 20:02:48 -13+9+6 > 0 20:03:20 Cant be be too difficalt about elegance 20:03:43 I'm just looking to increment up. 20:04:35 !bfjoust BeatYouMate (>------>+++++++>-)*2+>----->(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>))*-1 20:04:36 AndoDaan.BeatYouMate: points -8.52, score 23.62/100, rank 40/47 (change: -11) 20:05:10 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>))*-1 20:05:11 AndoDaan.BeatYouMate: points -5.00, score 27.73/100, rank 29/47 (change: +11) 20:07:34 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>[(-------)*3[+]]))*-1 20:07:34 AndoDaan.BeatYouMate: points -5.00, score 27.73/100, rank 29/47 (change: --) 20:07:48 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>[(-------)*4[+]]))*-1 20:07:48 AndoDaan.BeatYouMate: points -5.00, score 27.73/100, rank 29/47 (change: --) 20:07:57 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*3[-]]>[(------)*4[+]]))*-1 20:07:58 AndoDaan.BeatYouMate: points -5.00, score 27.73/100, rank 29/47 (change: --) 20:08:28 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:08:29 AndoDaan.BeatYouMate: points -5.00, score 27.73/100, rank 29/47 (change: --) 20:09:06 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:09:08 AndoDaan.BeatYouMate: points -4.38, score 28.72/100, rank 27/47 (change: +2) 20:11:18 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++)*3[-]]>[(-----)*4[+]]))*9([(+++++++)*6[-]]>[(-------)*4[+]]))-1 20:11:18 AndoDaan: error: parse error: terminating ) without a matching ( 20:11:52 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++)*3[-]]>[(-----)*4[+]])*9([(+++++++)*6[-]]>[(-------)*4[+]]))-1 20:11:52 AndoDaan.BeatYouMate: points -39.17, score 2.35/100, rank 47/47 (change: -20) 20:12:29 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++)*3[-]]>[(-----)*4[+]])*3([(+++++++)*6[-]]>[(-------)*4[+]]))-1 20:12:30 AndoDaan.BeatYouMate: points -39.17, score 2.35/100, rank 47/47 (change: --) 20:12:59 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:13:00 AndoDaan.BeatYouMate: points -4.38, score 28.72/100, rank 27/47 (change: +20) 20:13:10 Okey dokey. 20:14:12 Gained 5 places with trial improvements. I'm coming for you Preperation 20:16:28 -!- AnotherTest has quit (Remote host closed the connection). 20:21:01 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3[-]>([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:22:58 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3[>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:22:58 AndoDaan.BeatYouMate: points -4.60, score 28.44/100, rank 27/47 (change: +4) 20:23:34 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3[>>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:23:35 AndoDaan.BeatYouMate: points -4.60, score 28.79/100, rank 26/47 (change: +1) 20:23:41 !bfjoust BeatYouMate (>------>+++++++)*4>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3[>>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:23:42 AndoDaan.BeatYouMate: points -4.60, score 28.79/100, rank 26/47 (change: --) 20:24:18 Hmm. 20:24:31 I wonder what those sporadic problems are all about. 20:24:48 yeah, the input is identical 20:25:08 but it doesn't seem to react until I send a new one twice 20:25:53 !bfjoust BeatYouMate (>------>+++++++)*4(+)*5>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3[>>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 20:25:53 AndoDaan.BeatYouMate: points -4.10, score 29.43/100, rank 24/47 (change: +2) 20:26:14 As far as I can tell, it did the actual running just fine, it's just that some of the (NMatrix-based) score computations it does when writing the JSON report (for the website) make it do weird things. 20:26:52 I think I should try to either upgrade to the latest, or back down from the 0.1.0-rc5 I installed to 0.0.9. 20:27:15 It's just annoying to compile, because of the not-enough-memory reasons. 20:30:07 -!- AndoDaan has quit (Ping timeout: 244 seconds). 20:31:11 -!- AndoDaan has joined. 20:54:21 -!- tromp has quit (Ping timeout: 260 seconds). 21:00:52 \n1 21:01:11 !bfjoust BeatYouMate +(>------>+++++++)*4(+)*5>---[(+)*6[-]>>>>>(([(+)*6[-]]>)*3>[(+)*5[-]]>>([(+)*8[-]]>)*3[>>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1]>(([(+)*6[-]]>)*3>[(+)*5[-]]>>([(+)*8[-]]>)*3[>>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 21:01:12 AndoDaan.BeatYouMate: points -6.60, score 26.62/100, rank 32/47 (change: -8) 21:01:52 !bfjoust BeatYouMate +(>------>+++++++)*4(+)*5>(([(+)*6[-]]>)*3>([(+)*5[-]]>>)*1([(+)*8[-]]>)*3[>>>[-]]([+[-]]>)([(-)*6[+]]>)*3([(+++++++)*6[-]]>[(-------)*4[+]]))*-1 21:01:53 AndoDaan.BeatYouMate: points -4.45, score 28.89/100, rank 25/47 (change: +7) 21:02:28 -!- Patashu has joined. 21:02:48 Trying to gain a better score by tailoring your code too much to one bot is a bad idea 21:04:23 -!- AndoDaan has quit. 21:06:12 -!- tromp has joined. 21:12:20 -!- Bike_ has joined. 21:14:45 -!- Bike_ has changed nick to Bicyclidine. 21:25:18 -!- Patashu has quit (Ping timeout: 258 seconds). 21:34:11 -!- pallokolmio has joined. 21:37:39 -!- Bicyclidine has quit (Quit: Lost terminal). 21:39:31 -!- Bike_ has joined. 21:39:41 -!- Bike_ has changed nick to Bicyclidine. 21:44:20 -!- AndoDaan has joined. 21:50:53 fizzie, what language is zemhill written in? 21:54:30 -!- lifthrasiir has quit (Ping timeout: 246 seconds). 22:00:27 -!- S1 has quit (Quit: "AAAAAAAAAAAAAAAAAHHH" - Konfuzius). 22:05:01 -!- vravn has left ("Leaving"). 22:07:00 Taneb: Ruby. 22:07:40 Also I had one written in Python for all of maybe a day. 22:08:11 I still haven't managed to find a plausible reason for the Ruby rewrite. Cosmic rays flipping bits, perhaps? 22:08:41 Statistical certainty 22:09:50 Q: does the game viewer http://zem.fi/bfjoust/game/ calculated the matches exactly like your ruby script? 22:11:02 I mean Egojsout.js 22:11:03 -!- lifthrasiir has joined. 22:11:22 It's not Ruby that's running the games; that's gearlance/gearlanced, written in C. 22:11:25 I was assuming Taneb meant the bot. 22:12:46 Ah. He could have. I thought you meant ruby interprets and runs the matches, with only js beings used if you wanna watch a game. 22:13:42 And gearlance/gearlanced is automatically tested against EgoJSout, though with a fixed set of programs; currently, about 60: all the examples from the wiki plus a snapshot of the codu.org hikk from October 2013. 22:14:48 -!- scounder has quit (Ping timeout: 272 seconds). 22:15:33 I might consider having the test scripts also use zemhill submissions from now on, though then I'd have to switch from the n^2 full-round-robin format at some point. 22:15:37 Grand. Not that I had any worries about it. 22:16:15 Yeah, I was kinda spamming the chat with my adjustments earlier. Sorry about that 22:17:16 That's quite okay; it's what it is there for. 22:17:49 -!- oerjan has joined. 22:19:01 @tell ais523 Now that I think of it, I have a feeling the (node.js-ified?) EgoJSout copy I have for testing gearlance against is significantly faster; I may have ripped the tracing out. Possibly an option for the web version for slow programs. 22:19:02 Consider it noted. 22:19:11 I wanted also ask/suggest, if it was possible to toggle the debugger box output in esjoustTrace.js ? 22:19:46 When it's a long match, the abundance of updates grinds my browser to a halt. 22:21:10 ais523 asked the same earlier. I don't know too much about EgoJSout (not my code), but it runs the tests quite fast (IIRC) so I probably did something to it. 22:51:12 [wiki] [[Special:Log/newusers]] create * GeraldiFinney * New user account 22:55:09 -!- GeekDude has changed nick to GeekAfk. 23:07:11 -!- Bicyclidine has quit (Ping timeout: 244 seconds). 23:09:47 -!- GeekAfk has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 23:15:47 -!- pallokolmio has quit. 23:21:03 -!- lifthrasiir has quit (Ping timeout: 272 seconds). 23:21:19 -!- lifthrasiir has joined. 23:24:59 -!- teuchter has joined. 23:28:07 -!- choochter has quit (Ping timeout: 245 seconds). 23:58:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).