00:00:25 -!- Patashu has joined. 00:02:57 -!- Patashu_ has quit (Ping timeout: 264 seconds). 00:04:28 -!- Bicyclidine has quit (Ping timeout: 252 seconds). 00:13:22 -!- ^v has quit (Ping timeout: 240 seconds). 00:13:29 -!- ^4 has joined. 00:14:27 -!- not^v has quit (Ping timeout: 272 seconds). 00:20:23 -!- ^4 has quit (Ping timeout: 272 seconds). 00:23:10 -!- Patashu has quit (Ping timeout: 252 seconds). 00:24:21 -!- Patashu has joined. 00:31:02 anyone ever play with this? https://code.google.com/p/googlemapaxon/source/browse/trunk/Docs/webs/google+api+tips++google+maps+api+v3+context+menu+example_files/ao7cfjproEEAn5OijXEgfdHyA_5BKye5jml3JCZ7KvU.js?r=125 00:32:14 -!- Hjulle has joined. 00:33:00 -!- Patashu has quit (Remote host closed the connection). 00:33:19 -!- Patashu has joined. 00:55:46 tic-tac-toe has the dubious distinction of being the lowest ranked game on BGG, with a nice 10051. tmyk. 00:56:53 -!- CrazyM4n has joined. 00:56:56 boily: where do you see the ran? 00:56:58 rank 00:57:03 Oh 00:59:30 so i just generated like 12,000 fibonacci numbers in around a second 00:59:38 in brainfunge 00:59:55 -!- ^v has joined. 01:01:02 is 12kFPS good? 01:01:10 i have no idea 01:01:11 probably not 01:01:41 where´s a good place to upload around 16 mb of text? 01:01:59 pastebin.ca? 01:03:01 ¨may not exceed 150,000 bytes¨ so close 01:03:54 What is the limit for sprunge? 01:03:59 i have no idea 01:04:07 after 30 seconds it gave me error 500 01:04:19 I think source codes are available for sprunge so you can try to look in there 01:04:36 i think that pastebin.com is working 01:04:41 if nothing else, google drive 01:05:00 http://prntscr.com/4k33gy 01:05:18 413 request entity to large 01:05:41 google drive it is 01:06:08 https://drive.google.com/file/d/0B795W1ddWOwxSTlfUmtYY0MyZFk/edit?usp=sharing woo 01:06:15 http://sprunge.us/OJgO for code 01:12:46 -!- Hjulle has quit (Quit: Konversation terminated!). 01:18:34 -!- boily has quit (Quit: ÆSCHERICHIA CHICKEN). 01:19:55 -!- Hjulle has joined. 01:29:43 -!- Lymia has joined. 01:29:46 Opps~ 01:30:02 (Is EgoBot or whatever still broken?) 01:32:52 now that i think about it i haven't seen gregor around in a while 01:33:40 That's because he's gone. 01:34:00 are you the executor of his estate 01:34:57 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:35:39 -!- Gregor has changed nick to ProfessorGregorE. 01:35:44 Dang it. 01:35:49 It cut off the "Eh" 01:38:30 Congratulations, Professor Doctor Richards Eh. 01:38:42 yo 01:38:50 gimme something interesting to make in an esolang 01:39:17 [wiki] [[Brainfunge]] http://esolangs.org/w/index.php?diff=40399&oldid=40397 * 98.177.186.100 * (+70) 01:48:17 Make a 6502 assembler 01:48:55 zzo: do you like obfuscated JS? 01:49:44 newsham: If it is trying to make it shorter, then it can help. Otherwise not really 01:49:53 6502 assembler 01:50:00 no guarentees 01:50:03 but sounds like fun 01:50:06 no, this is obfuscated to make it hard to read and figure out 01:50:21 https://code.google.com/p/googlemapaxon/source/browse/trunk/Docs/webs/google+api+tips++google+maps+api+v3+context+menu+example_files/ao7cfjproEEAn5OijXEgfdHyA_5BKye5jml3JCZ7KvU.js?r=125 01:51:05 its to prevent people from automatating signups to google accounts 01:53:10 which is prob a good reason not to figure out what it does, but it looks like a fun challenge 01:53:24 -!- ^v has quit (Ping timeout: 255 seconds). 01:54:08 I think we had better try to figure out anyways 01:55:59 Maybe Google will try to sue themself over it 01:57:55 you should :) 01:58:33 i've been reformatting it for ease of reading... http://www.thenewsh.com/~newsham/x/machine/botguard.js 01:58:54 still lots to go 01:59:20 seems like they use a few common idioms repetitively.. could prob write a program to undo some of the obfuscation 01:59:50 Why couldn't signups be automated via PhantomJS if it's an issue of figuring out what the JS does without executing it... just execute it 01:59:56 like they like to use ?: alot to do if/then/else 02:00:13 sgeo: i dont know.. i dont understand what protectionthis script actually offers 02:00:14 ProfessorGregorE: what do you do now 02:00:41 He professors at Canadians. 02:00:44 Sgeo: It doesn't matter; we should try to figure it out anyways. 02:00:51 perhaps it needs to interact with your dom in specific ways 02:00:53 canadians in canada? 02:00:59 * Sgeo suddenly suspects zzo38 is a spammer 02:01:04 zzo38, are you a spammer? 02:01:07 and you'd need the right hookins into your js interpretter to properly run them? 02:01:24 I do not think so, nor do I have any intention to have a Google account anyways. 02:01:40 No, Canadians in SPAAACE 02:02:11 when did he go to canadia 02:02:24 Facebook says "few weeks ago" 02:02:28 newsham: Then those will be some ways to work-around, but regardless, it is not the point I am trying to make at all. It doesn't matter what protection it is having; the job is to figure it out, not to use it. 02:02:41 oh i have no doubt there is a way to work around this 02:02:52 i think their goal is just to make it hard enough to figure out to work around 02:02:56 that nobody actually does it 02:03:05 pikhq: actually, commander hadfield has been earthside for a while now. are there any left in space? 02:03:09 but i'm curious how they expect to achieve that since they're trying to prevent a very lucrative operation 02:03:18 quintopia: I don't think so. 02:03:27 quintopia: No Canadians in space (actually I don't know) 02:03:28 I was being silly and stupid, not serious. 02:03:29 ie. people who can auto-gen google accounts can sell them for $25 per $1000 according t othe guy who wrote that script 02:03:59 he mentions account prices here https://moderncrypto.org/mail-archive/messaging/2014/000780.html 02:04:07 its actually a very interesting article about fighting spam 02:04:16 and how end-to-end encryption with anti spam could be very hard 02:04:34 err that should be "$25 per 1000 google accounts" 02:04:55 that's two and a half cents per account! easy money 02:04:57 If I wanted to sell Google accounts I can just as well create them manually. 02:05:03 i cant imagine how they could prevent these guys from reverse engineering this with such high financial incentives 02:05:32 Not everyone trying to reverse engineer it will have financial incentives anyways 02:05:39 oh for sure 02:05:53 i want to reverse engineer it, and i am completely against spam and people selling goog accounts 02:05:57 but its still a fun puzzle :) 02:06:06 anyway, i gotta go grab food.. cheers 02:06:14 seems like they could focus on studying user behavior and identifying spammers to kill the accounts after the fact. if they can always remove all content a given account makes, there is not much long-term damage they can do 02:06:21 i hate how black hats give every other kind of hacker a bad name. not everyone does this kinda stuff for money/ulterior motives 02:06:36 quintopia: read the email URL I pasted above. it talks all aboutn that 02:06:45 its pretty interesting 02:09:35 I think Feynman is hacker too. 02:09:43 -!- Hjulle has quit (Quit: Konversation terminated!). 02:12:14 -!- ProfessorGregorE has changed nick to ProfessorGregor. 02:15:56 -!- ^v has joined. 02:22:06 -!- CrazyM4n has quit (Quit: Leaving). 02:24:32 ProfessorGregorE: what do you do now // I'm a professor at U. Waterloo 02:25:56 newsham: good article 02:26:08 ProfessorGregor: when did you get your doctorate done 02:26:21 ProfessorGregor: wait. YOU were the guy on the stage on thursday with the insane clothes. I *knew* you looked familiar 02:26:25 congrats btw 02:26:39 i had the cape 02:28:13 quintopia: Last June. 02:28:24 coppro: ... you're a student at Waterloo? 02:28:31 huh. and when did you secure this position? 02:28:52 ProfessorGregor: Yes. Masters in C&O, finished by BMath in April 02:28:56 *my 02:29:17 i saw a tv show or something about the nude hacks where they said you shouldn't call them 'hackers', since those are the cool people in movies, they're just thieves. that was a bit interesting. 02:29:21 i guess crazyman left though. 02:29:23 quintopia: Last year. 02:29:28 coppro: combinatorics and optimization? 02:29:32 quintopia: I started on Tuesday. 02:29:34 quintopia: yes 02:29:48 ProfessorGregor: are you teaching any courses? 02:29:50 good major 02:30:02 quintopia: yeah. My thesis is on structural graph theory 02:30:21 ProfessorGregor: is this why you don't have time for us anymore 02:31:05 ProfessorGregor: on the bright side, if you have students, that's an automatic boost in the number of people available to choose your hat 02:31:33 coppro: Yes, I'll be teaching CS241. 02:31:40 ProfessorGregor: awesome! 02:31:44 quintopia: I was distracted by the move and starting the job. 02:31:47 is 241 a standard number 02:32:02 ProfessorGregor: you won the lottery then, that's probably the best first- or second-year course 02:32:20 oh wait ok you're at the same school. 02:32:30 this channel makes me live in fear that i've goatse'd one of my current professors. 02:32:50 Bike: are you also at waterloo? :P 02:32:55 Oh, don't worry. With how social norms have changed that's no worse than saying "hello". 02:32:57 you've goatsed this channel? 02:33:33 ProfessorGregor: Like I said earlier, I had a cape on Thursday. I was standing right next to the stage. 02:33:43 i mean generally the idea that one of em is internet savvy ish. 02:33:50 Hardly cape weather on Thursday, y'know. 02:33:58 err, wait 02:34:00 not thursday, wednesday 02:34:08 tie ceremony is always thursday except not any more :P 02:34:11 i haven't had a cs course in years so i'm not too worried about this channel particularly, also you're jerks so i'd just do it again doctor 02:34:12 ProfessorGregor: you won the lottery then, that's probably the best first- or second-year course // It's my field. 02:34:29 ProfessorGregor: You still won the lottery, they didn't stick you on intro to cs or something like that 02:34:29 I *do* hope you plan to tell your students about choosemyhat.com. 02:34:55 hopefully you'll get the hot tamale on ratemyprofessor. or whatever they call it. 02:35:00 coppro: I don't think tenure-track research professors teach intro to CS. 02:35:24 ProfessorGregor: probably not, but you never know 02:35:30 pikhq: I don't tell people about choosemyhat, they learn by osmosis. 02:35:37 Ah. 02:35:38 Well. 02:36:03 ProfessorGregor: don't worry, I've got you covered 02:37:29 they learn by a PR campaign on the part of coppro 02:38:09 ProfessorGregor: You should challenge them to golf the galaxy assignment really hard. I got it down to 53 characters of perl. 02:38:41 lol 02:38:43 hmm you have more hats here than i remember 02:39:03 @tell CrazyM4n public perception of hackers is pretty good https://www.youtube.com/watch?v=I1r_2vY1irQ&t=2m36s 02:39:03 Consider it noted. 02:41:57 ProfessorGregor: we should hang out. Now that I'm a grad student, it's allowed. 02:42:14 You'll have to find me first. 02:42:27 -!- CrazyM4n has joined. 02:42:31 ProfessorGregor: challenge accepted 02:47:34 Cue awesome chase scene. 02:48:11 ProfessorGregor: Are you in PLG? 02:48:29 A lighter hat seems to be in order, then 02:50:01 -!- ^v has quit (Read error: Connection reset by peer). 03:01:15 coppro: Yeah, PLG. 03:01:58 ProfessorGregor: nice! 03:09:46 -!- CrazyM4n has quit (Quit: Leaving). 03:20:26 -!- Imaginer1 has joined. 03:21:55 I need heeeeelp 03:22:00 oh jesus im headachey and this codee 03:22:23 I endorse painkillers. 03:22:46 I endorse cyanide capsules 03:25:20 making a compiler 03:25:33 im probably going about it all wrong but gasdlhj 03:35:30 -!- Imaginer1 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 03:41:31 -!- Sprocklem has joined. 04:41:25 Cyanide capsules for the purpose of making a compiler, do you mean? 04:43:38 Of course it is wrong... 04:44:40 can we quote that entire exchange? 04:48:41 from cyanide import * 04:56:32 this botguard thing feels like an interpretter 05:12:08 -!- CrazyM4n has joined. 05:24:12 -!- drdanmaku has joined. 05:31:17 import qualified System.AntiGravity as Magic; 05:36:02 import sufficiently.advanced.technology as magic 05:37:15 Which compilers will do library optimization, and to what amount? Macros, libraries, and instruction set differences, are a few reasons for a compiler to perform optimizations. 05:37:57 zzo38: pre-compiled libraries? 05:38:30 mroman_: It is probably difficult if the library is pre-compiled, but if the library is partially compiled then maybe it is possible. 05:38:51 (Of course it does not apply to dynamic libraries.) 05:39:31 yah you need to keep around information in the precompiled units so you can do additional optimizationd during linking 05:39:54 i'm pretty sure plan9's C compiler does some limited amount of link time optimization 05:40:53 this article talks about it a little (whole program optimization) http://en.wikipedia.org/wiki/Interprocedural_optimization 05:41:02 and google pointed to an llvm link time optimizer 06:31:42 http://www.reddit.com/r/netsec/comments/2fes55/announcing_the_underhanded_crypto_contest/ 06:32:17 -!- CrazyM4n has quit (Quit: Leaving). 06:35:04 Would untying the docks so that they float away be an effective method of making it more difficult for a ship to dock? 06:41:54 huhwhat? 07:41:44 -!- AnotherTest has joined. 07:43:33 -!- oerjan has joined. 08:24:29 -!- sebbu has quit (Ping timeout: 260 seconds). 09:08:27 -!- weissschloss has quit (Remote host closed the connection). 09:11:02 -!- weissschloss has joined. 09:16:39 [wiki] [[Fortob]] http://esolangs.org/w/index.php?diff=40400&oldid=40379 * GermanyBoy * (+184) /* Method reference, Examples/Infix expression parser */ The new %-command 09:16:46 -!- westerp has quit (Remote host closed the connection). 09:35:25 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40401&oldid=40300 * GermanyBoy * (+149) /* Imperative code */ 09:37:12 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40402&oldid=40401 * GermanyBoy * (+894) /* Simple declarations */ 09:43:19 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40403&oldid=40402 * GermanyBoy * (+366) /* Standard SYCPOL formatting rules */ 09:44:36 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40404&oldid=40403 * GermanyBoy * (+158) /* Indentation rules */ 10:10:28 -!- oerjan has quit (Quit: I think I need a nap). 10:21:35 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 10:25:57 -!- Phantom_Hoover has joined. 10:27:31 -!- sebbu has joined. 10:28:07 -!- sebbu has quit (Changing host). 10:28:07 -!- sebbu has joined. 11:18:05 -!- scounder has quit (Ping timeout: 260 seconds). 11:27:57 -!- scounder has joined. 11:29:21 -!- sebbu has quit (Ping timeout: 246 seconds). 11:39:55 -!- sebbu has joined. 11:40:33 -!- sebbu has quit (Changing host). 11:40:33 -!- sebbu has joined. 11:56:51 -!- shirenz has joined. 11:57:43 -!- shirenz has left. 12:02:22 -!- sebbu has quit (Ping timeout: 245 seconds). 12:30:43 -!- MoALTz_ has joined. 12:33:12 -!- MoALTz has quit (Ping timeout: 245 seconds). 12:35:05 -!- Patashu has quit (Ping timeout: 255 seconds). 12:39:24 -!- boily has joined. 13:21:52 -!- idris-bot has quit (Ping timeout: 268 seconds). 13:22:42 -!- Melvar has quit (Ping timeout: 245 seconds). 13:27:00 -!- Melvar has joined. 13:35:39 -!- idris-bot has joined. 13:37:17 -!- sebbu has joined. 13:38:04 -!- sebbu has quit (Changing host). 13:38:04 -!- sebbu has joined. 13:51:30 Stack Overflow's BF Joust hill has a terrible interpreter. :( 13:51:41 -!- sebbu has quit (Ping timeout: 272 seconds). 13:52:27 It's a Python piece of junk where ".()*2<<<<<<<<<<((((-)*5>[(-)*4.[+.]].)*10000)*1)*1" doesn't suicide on the second tick because the author doesn't know how to use stacks for parsing matching delimiters. 13:54:18 I'd be all "ha ha" with you if there hadn't been so many silly bugs in the *lance family. 13:54:34 -!- sebbu has joined. 13:54:37 -!- sebbu has quit (Changing host). 13:54:38 -!- sebbu has joined. 13:54:49 There isn't so much room for silly bugs in this one. 13:55:07 ({}) isn't implemented, only ()* (and not -1 either), and basic instructions. 13:55:17 https://github.com/redevined/brainfuck/blob/master/BrainFuckedBotsForBattling/Arena.py#L94 13:55:19 And yet you have this. 13:55:19 ;-; 13:56:09 no ({}) is sad 13:56:26 I'm kind of surprised BF Joust has independent implemetations outside of this channel, but I guess it didn't even originate here 13:57:01 although the original version wasn't very good (really huge tapes (cells in the hundreds), no +/- swapping, only had to get the flag to 0 for a single cycle I think, etc.) 13:57:19 Arena.py doesn't have polarity swapping either. 13:57:19 yep 14:02:14 -!- Echoes has joined. 14:02:15 Lymia: I like how your evolver thingy can spit out ()*2 14:02:37 Hi 14:02:49 Echelloes! 14:02:52 elliott, the "doesn't suicide when it should" isn't evolved. 14:03:09 oh, ()*2 triggers a bug? 14:03:16 Yep. 14:03:23 ...I... how does it get that one wrong? 14:03:30 The braces matching algorithm Arena.bf uses is brain damaged. 14:03:33 https://github.com/redevined/brainfuck/blob/master/BrainFuckedBotsForBattling/Arena.py#L94 14:03:34 Just go read it. 14:03:53 boily, lel 14:04:42 ...why on earth is rbraces a function there. 14:04:47 oh. 14:04:52 because braces changes. 14:04:57 what a weird way to write it. 14:07:17 so on (, scope++ and record pos <-> scope. on ), find opos <-> scope, replace with opos <-> pos, and scope--. 14:07:30 Yes. 14:07:33 is that... actually wrong? ...it's been way too long since I debugged code. 14:07:39 Problem is, the values for scopes are also valid code positions. 14:07:54 oh. 14:07:57 It shares the same table for "matched braces" and "identifiers for braces we haven't mached yet" 14:08:10 whoops. 14:08:13 .()*2<<<<<<<<<<((((-)*5>[(-)*4.[+.]].)*10000)*1)*1 < So, in this, it records 1:2 for the ()*2 14:08:36 The So it overrides the matched brace for the ()*2, causing it to escape otherwise certain death. 14:09:29 that's amazing. 14:13:28 ... oh crap 14:13:37 I'm pretty sure there's nothing here that would actually stop ([)] 14:13:58 ... 14:14:01 that's beautiful. 14:14:07 how would it even behave? 14:14:47 I have no idea 14:18:21 `bfjoust unmatched ([)] 14:18:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bfjoust: not found 14:18:24 ... 14:18:30 * boily fails at HackEgo 14:19:06 Wrong bot, too. 14:19:36 Did Gregor comment anything on EgoBot's absence? I think someone raised the topic when he was here-and-active recently. 14:23:13 elliott, I'll do science. 14:23:14 <3 14:23:24 Lymia: I'm scared. 14:23:50 SCIENCE FOR THE LYMIA GOD! 14:25:23 My intuition says that it'll probably result in something very useful, actually. 14:25:35 ( [ ... )*1000 ] 14:25:35 (input):1:3: error: no implicit 14:25:35 arguments allowed 14:25:35 here, expected: end of list expression, 14:25:35 expression 14:25:35 [ ... )*1000 ] ↵… 14:25:40 Will cause it to bail 14:25:46 ... idris? 14:25:49 geez 14:25:59 > putStrLn "hi bot" 14:26:01 14:26:10 ! println("Hi bot?") 14:26:16 OK, not too many bots 14:26:30 elliott, anyway 14:26:32 I'm pretty sure that 14:26:38 ( [ ... )*10000 ] 14:26:38 (input):1:3: error: no implicit 14:26:38 arguments allowed 14:26:38 here, expected: end of list expression, 14:26:38 expression 14:26:38 [ ... )*10000 ] ↵… 14:26:46 Will cause it to drop back to the initial ( at 0 tick cost 14:27:50 So, "( a [ b )*10000 ] c" would /probably/ behave like "(a[b{}c])" or something? 14:27:51 Er 14:27:59 "(a[b{}c])%-1" 14:28:05 can you use this to emulate ({})%. 14:28:10 I think so. 14:28:15 it's a feature! 14:28:26 Lymia: would the c really be inside the ] there? 14:28:28 Lymia: “( ” is the prefix for idris-bot, as insisted upon by … oerjan I think? 14:28:36 elliott, if the [ fails 14:28:41 It will jump to the ] 14:28:46 So, uhm, yeah, after. 14:28:49 -!- metasepia has joined. 14:29:27 (a{b}c)%n is meant to be read as (a)*nb(c)*n modulo matching []s, so I guess if this does... "the right thing"... with mixing ()s and []s like that, it's the same construct. 14:30:50 Now that you mention it 14:31:01 ([)*n (])*n might work directly 14:31:17 * elliott cries 14:31:53 yep 14:31:59 I'm not sure if it'd behave right though 14:32:02 The repeat system is weird 14:33:14 Lymia. look at what you're creating. 14:33:19 discovering. whatever. 14:33:22 this is a monster. 14:33:38 oh 14:33:42 That's why bots on the hill have ([) 14:33:51 It actually works here. 14:34:18 "e.g. (+)*4 is the same as ++++, this is valid for any instruction except unmatched brackets in parentheses since the loop logic collides with the abbreviation logic. Please use [-[-[- instead of ([-)*3" -- stack overflow question rule text 14:34:31 (your program makes ([-)*3 work, doofus) 14:35:23 I forget why we introduced ({})%. 14:35:34 I guess because unbalanced brackets looked a bit too macro-y. 14:36:21 Because you can evaluate them without expanding ()*? 14:36:53 I think you can just say that if you leave a ()*n with an open [, then it has to match up with ]s in the next ()*n you read? 14:37:01 you could even parse it into ({})%n form internally. 14:37:25 Yeah 14:37:33 In this, ([)*10 (]])*5 won't work 14:37:47 Since it relies on it parsing and matching () and [] separately 14:37:57 (In each mode, it ignores the other) 14:38:53 oh, right, the point of ()%n is to stop you doing (a)*mb(c)*n for m =/= n I guess 14:39:13 -!- Echoes has quit (Remote host closed the connection). 14:39:39 So. 14:39:48 I can't trust that the abberviation logic here does exactly the right thing 14:40:00 But ([) (]) might just be equilvlant to ({})% in this 14:40:10 Of course, that doesn't help the fact that it's still terribly written Python that's slow as crap. 14:40:22 It takes, like, 20-40 minutes to run what gearlance can do in <10 14:40:33 .. and it only does 10 random tape lengths, not the full 21 like gearlance. 14:43:12 it would be cool to have an implementation that somehow does all the tape lengths at once, keeping track of the possible states and consolidating states where things are "the same" 14:43:16 I wonder how much faster that'd actually be 14:48:44 probably not much unless you did fancy stuff with representing patterns in the middle of the tape 14:51:43 Might be worth something with AVX? 14:52:51 that sounds exciting. 14:53:10 unfortunately BF Joust is probably not slow enough to actually reward ridiculous optimisation tricks. 14:55:01 I've been meaning to write an interpreter that runs many programs in parallel (so, 1 step in 100 programs, rather than 100 steps in 1 program) 14:55:15 But it's not for speed. In fact, for it to do what I want to use it for, it has to use immutable data structures. 14:55:30 I'm intrigued 14:56:29 A search program with heavy use of heuristics. You put in a hill, you get a program with an 100% win rate versus that hill out. 14:57:21 I wonder how good programs selected for that actually perform against new challengers 14:58:12 Well, I thought I'd add a second hill as input 14:58:26 The second hill isn't targeted. It's used as a representive sample of "bots not in the target hill" 14:58:36 So if it has spare cycles, it can try to detect them and switch to a generalist program 14:59:57 * elliott nod 15:06:18 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 15:09:24 -!- boily has quit (Quit: SUPERSYMMETRIC CHICKEN). 15:09:25 -!- metasepia has quit (Remote host closed the connection). 15:24:04 -!- variable has quit (Ping timeout: 252 seconds). 15:35:59 -!- ^v has joined. 15:39:23 elliott, a construct I hope works 15:39:42 [.... [ .... [ .... (]]])*0 15:40:00 Implications are obvious. :P 15:40:12 -!- nisstyre has quit (Quit: WeeChat 1.0). 15:40:29 -!- nisstyre has joined. 15:42:07 Lymia: hee, to do an if? 15:42:23 Yep 15:42:28 Or jump out of a wiggle clear at 0 tick cost 15:42:51 I currently do it with codegen and scary code size inflation. 15:43:14 -!- nisstyre has quit (Client Quit). 15:43:26 -!- nisstyre has joined. 15:44:30 -!- nisstyre has quit (Client Quit). 15:45:04 it's kind of sad how much you can do in BF Joust just by making your code huge 15:45:48 -!- nisstyre has joined. 15:45:59 -!- nisstyre has quit (Client Quit). 15:46:10 -!- nisstyre has joined. 15:50:05 right, since you can put virtually all your state into the program pointer. 15:50:12 http://paste.strictfp.com/40827/f01d17a908fddc15b00cdd19da3712da 15:50:50 Huge wiggle clear followed by a reverse offset clear. Beats 93% of the hill it's targeted at. :P 15:58:08 -!- Imaginer1 has joined. 16:06:03 -!- drdanmaku has joined. 16:12:27 I'd expect (>)*8++<--<+<--<(+)*61<(-)*61<(-)*61<(+)*61<(-)*19(>)*8(>[(-[)*3(+)*3(+[)*3(-)*6(-[)*10(+)*16(+[)*8(-)*24(-[)*17(+)*41(+[)*21(+)*82[[+.].]((])*21(])*17(])*8(])*10(])*3(])*3])*0--)*21 to be correct 16:12:33 But it behaves a lot differently for some reason 16:16:06 Hmm. 16:16:07 ><([)*8((])*8)*0><< 16:16:09 Behaves as expected 16:18:35 -!- Imaginer1 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 16:20:29 -!- not^v has joined. 16:23:37 -!- ^v has quit (Ping timeout: 245 seconds). 16:34:30 -!- Hjulle has joined. 16:37:42 -!- not^v has quit (Ping timeout: 246 seconds). 16:37:53 Lymia: have you run into accidental bugs from the weird bracket matching? 16:37:57 those sound... fun... to debug. 16:40:34 -!- ^v has joined. 17:06:12 hi Lymia 17:33:37 -!- TieSoul_ has joined. 17:34:20 -!- TieSoul has quit (Read error: Connection reset by peer). 17:36:44 -!- Phantom_Hoover has joined. 17:40:52 -!- TieSoul_ has quit (Read error: Connection reset by peer). 17:41:39 -!- TieSoul has joined. 17:58:51 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 18:21:14 Lol, someone actually answered that EOF should produce fatal error. That seems extremly useful. 18:33:32 -!- Hjulle has quit (Quit: Konversation terminated!). 18:35:10 -!- ^v has joined. 18:38:22 [wiki] [[Alphuck]] N http://esolangs.org/w/index.php?oldid=40405 * 68.189.222.97 * (+1058) Created page with "'''Alphuck''' is a [[Joke language list | joke]] [[esoteric programming language]]. It is identical to [[Brainfuck]], except that alphabetic characters are used; i.e. it is a ..." 18:38:46 [wiki] [[Alphuck]] http://esolangs.org/w/index.php?diff=40406&oldid=40405 * 68.189.222.97 * (-1) 18:46:15 -!- copumpkin has quit. 18:47:28 -!- copumpkin has joined. 18:56:43 -!- ^v has quit (Ping timeout: 272 seconds). 19:11:59 -!- yorick has quit (Read error: Connection reset by peer). 19:12:38 -!- yorick has joined. 19:13:47 -!- qlkzy has quit (Ping timeout: 252 seconds). 19:15:09 -!- ^v has joined. 19:16:46 -!- AnotherTest has quit (*.net *.split). 19:16:47 -!- TodPunk has quit (*.net *.split). 19:22:39 -!- TodPunk has joined. 19:23:57 -!- ^v has quit (Ping timeout: 272 seconds). 19:25:13 -!- qlkzy has joined. 19:29:17 -!- AnotherTest has joined. 19:36:42 -!- AnotherTest has quit (Ping timeout: 252 seconds). 19:43:18 -!- ais523 has joined. 19:46:45 -!- NeroReflex has joined. 19:46:59 hi 19:48:26 hi 19:52:52 -!- Frooxius has joined. 19:53:11 -!- NeroReflex has quit (Read error: Connection reset by peer). 19:56:16 I managed to knock out five opponent's Pokemon cards at once now. 19:56:31 (And this game is being played with only four side cards.) 19:56:32 zzo38: it's possible to knock out six with a move like Explosion, isn't it? 19:56:45 Yes, it is, but that isn't the move I used 19:57:23 (Not only was it five, but those were all the cards they had in play, too.) 19:59:43 -!- FreeFull has quit. 19:59:57 -!- callforjudgement has joined. 20:00:06 -!- ais523 has quit. 20:00:16 -!- callforjudgement has changed nick to ais523. 20:03:02 -!- ais523 has quit (Read error: Connection reset by peer). 20:03:12 -!- ais523 has joined. 20:10:19 With some attacks in the game of Pokemon card, it is possible to knock out all twelve cards (six for each player). 20:39:02 -!- CrazyM4n has joined. 20:57:58 zzo38: that forces the game to end in a draw, right? 21:04:10 Should I try the online Pokemon TCG? 21:04:16 Last time I think I struggled with the UI 21:06:59 -!- FreeFull has joined. 21:10:34 I think the online Pokemon TCG not very good 21:10:45 ais523: I believe so. 21:13:52 Try if you want to though 21:25:51 alphuck is pretty lame 21:26:48 -!- Frooxius has quit (Ping timeout: 246 seconds). 21:30:37 -!- Frooxius has joined. 21:41:19 -!- callforjudgement has joined. 21:42:35 -!- ais523 has quit (Disconnected by services). 21:42:38 -!- callforjudgement has changed nick to ais523. 22:02:40 -!- ais523 has quit (Read error: Connection reset by peer). 22:02:57 -!- ais523 has joined. 22:04:54 -!- augur has quit (Remote host closed the connection). 22:13:05 oh wow, anyone tried going to Twitter's home page with JavaScript turned off? it's hilarious 22:16:50 uh, for me it just gives a message saying to turn on javascript 22:17:04 CrazyM4n: for me, it gives a link to follow if you don't have JavaScript 22:17:13 if I follow it, it takes me to another page 22:17:25 ah, i didn´t follow that link 22:17:25 http://prntscr.com/4kd0o8 22:17:27 telling me that JavaScript's off, and giving a /different/ link to follow if I don't have JavaScript 22:17:29 that redirects back to itself 22:18:40 oh, i see 22:18:44 that´s pretty funny 22:19:32 -!- callforjudgement has joined. 22:19:34 [23:17] telling me that JavaScript's off, and giving a /different/ link to follow if I don't have JavaScript 22:19:36 [23:17] that redirects back to itself 22:19:37 -!- callforjudgement has quit (Changing host). 22:19:38 -!- callforjudgement has joined. 22:19:39 -!- ais523 has quit (Disconnected by services). 22:19:41 -!- callforjudgement has changed nick to ais523. 22:20:14 We saw that. (Also, noisy late cloak.) 22:20:51 fizzie: this connection often breaks in such a way that it can send but not receive, or vice versa 22:21:22 I think, at least 22:22:01 It's kind of curious that the "nickserv account info in server password" can occasionally fail to act on time, but (as far as I know) both SASL and TLS certificate-fingerprint auth are guaranteed to. 22:22:18 I'm sure there's some reason embedded in the ircd they're using. 22:22:40 Er, guaranteed to work, not guaranteed to fail. 22:23:13 fizzie: the server password just does a /msg to nickserv once you connect 22:27:09 That's a reasonable reason for it to sporadically fail, sure, but it's not immediately obvious why it'd be any different from SASL. I mean, it's the same server, you're just doing an AUTHENTICATE command instead of a PASS. 22:27:57 -!- Patashu has joined. 22:28:02 There may be other Twitter clients so you could use that if you aren't using JavaScript. 22:29:44 reasonable reasons 22:31:28 -!- Patashu has quit (Remote host closed the connection). 22:32:23 -!- Patashu has joined. 22:47:48 -!- TodPunk has quit (Read error: Connection reset by peer). 22:48:14 -!- TodPunk has joined. 22:52:50 -!- impomatic_ has joined. 22:58:31 -!- Patashu has quit (Remote host closed the connection). 22:59:37 -!- Patashu has joined. 23:01:19 tabemann_: So, how the function application would be if its time signature was ((a -> a) -> a)) -> a -> a -> a? 23:01:27 imo make an esolang where functions have time signatures 23:03:04 Music can have time signatures. 23:03:17 yes 23:03:40 I didn't know functions can have time signatures too. 23:03:57 Fugue programs can have time signatures, I believe. 23:04:06 They don't have any meaning to the program, though. 23:04:38 (It's just a consequence of accepting MIDI files as input, and ignoring some stuff.) 23:07:43 (This has a reasonable likelihood of being true for Velato also.) 23:10:03 [wiki] [[Talk:Alphuck]] N http://esolangs.org/w/index.php?oldid=40407 * Rdebath * (+1460) /* The least you can do is make it mnemonic */ new section 23:11:32 -!- callforjudgement has joined. 23:13:34 -!- oerjan has joined. 23:14:33 -!- ais523 has quit (Ping timeout: 255 seconds). 23:14:46 sometimes you think you need a nap and end up sleeping for 6 hours 23:14:52 -!- callforjudgement has changed nick to ais523. 23:16:29 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=40408&oldid=40350 * Rdebath * (+19133) /* Performance Matrix */ 23:18:23 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=40409&oldid=40408 * Rdebath * (+108) /* Info */ 23:24:06 What's Zombie8 mean in the bitwidth column? 23:24:08 Is it worth some inefficiency in order to not attempt to encode Applicatives into a dynamically typed language? 23:27:22 s/6/24/ 23:30:05 Sgeo: what part of applicatives is hard? 23:30:27 i just had the thought, maybe you can do with only Apply (i.e. leaving out pure) 23:31:18 then you get Traversable1s 23:32:38 class Functor f => Applicative f where applicative :: HList (Map f ts) -> f (HList ts) 23:32:43 It seems like this definition of Traversables matches the typical Functor-based lenses... yet people like pure profunctor lenses for some reason. I'm not sure what that reason is, but could it apply to traversals too? 23:32:52 is this some sort of higher-order natural transformation or something? 23:34:03 shachaf: it looks like a generic liftTuple 23:34:15 oh wait 23:34:24 oerjan: did you see the code turning my encoding into a traverse function? 23:34:30 that Map f is weird 23:34:37 http://lpaste.net/110585 23:34:39 oerjan: How would you write it? 23:35:12 shachaf: i don't think that implies the existence of pure does it 23:35:29 It gives you () -> f () 23:35:42 You can fmap (const x) over the f () 23:35:51 oh hm right 23:36:31 but what is Map f ts? 23:36:47 Type-level map of some sort. 23:36:53 oh i see 23:37:14 There are presumably other ways to write it. 23:37:17 i'm not yet used to the new way of using datakinds for HList 23:37:24 It's the equivalent of mconcat for Applicative. 23:37:57 The new way is great. 23:38:27 shachaf: of course then you need a law that says that applicative is associative in the same way as mconcat 23:38:45 Sure, you need laws either way. 23:39:28 however, your applicative seems like an extension of the liftPair / pure basis which zzo38 likes iirc 23:39:54 well i guess not pure per se but pure () 23:40:04 There's unit :: f (), times :: f a -> f b -> f (a,b) 23:40:15 Or :: (f a,f b) -> f (a,b), if you prefer. 23:40:24 That was the original formulation, I think. 23:41:00 -!- augur has joined. 23:41:59 No one likes pure/(<*>) except for people who are actually using it. 23:42:10 yes, category theory likes products better than currying 23:42:15 I prefer pure/liftA2 or unit/times 23:42:30 Well, in categories in general they're also not equivalent. 23:42:46 I happen to like pure/liftPair 23:42:53 i like <$> <*> because that's what i actually use 23:43:07 Yep. 23:43:11 pure is only occasionally needed 23:43:27 I'm partial to "let ($) = fmap in" 23:43:36 Although I find <$> and <*> and liftPair and <$ all to be useful; I just happen to prefer pure/liftPair as the basis 23:43:38 heh 23:44:00 pure seems p. common 23:44:55 pikhq: if only that overloaded application 23:45:00 Any one could be used as the basis and define the rest based on that; the derived stuff will be useful regardless 23:48:04 why is hint in that lpaste suggesting head, it should be suggesting pattern matching 23:48:11 *hlint 23:48:53 which would also get rid of the !! 1 23:48:54 oerjan: if you used your head you'd surely think to use pattern matching 23:49:13 shachaf: you've got a point there, which i shall promptly swat -----### 23:53:28 Did Gregor comment anything on EgoBot's absence? I think someone raised the topic when he was here-and-active recently. <-- he made the comment "That's because he's gone", which in context could refer to either him or the bot, and i was afraid of asking. 23:54:14 he also suspiciously ignored the issue the _previous_ time he was active, too 23:54:41 although that may have been just because he had so many other broken things to fix 23:56:18 oerjan: why do people like shachaf lenses over van Laarhoven lenses? 23:56:52 he has sort of hinted before that he wants HackEgo to take over, it's just that even the stuff that _has_ been transferred hasn't been made to work properly. 23:57:11 and i'm not sure whether that includes bfjoust 23:57:18 `ls interps 23:57:19 1l \ 2l \ adjust \ axo \ befunge \ bfjoust \ bf_txtgen \ boof \ build.sh \ cfunge \ c-intercal \ clc-intercal \ dimensifuck \ egobch \ egobf \ fukyorbrane \ gcccomp \ gforth_quit \ ghc \ glass \ glypho \ kipple \ lambda \ lazyk \ linguine \ Makefile \ malbolge \ pbrain \ qbf \ rail \ rhotor \ sadol \ sceql \ trigger \ udage01 \ underload \ unlambda 23:57:26 hm it seems to be there 23:57:31 `ls interps/bfjoust 23:57:32 bfjoust \ bfjoust.pl \ buffer.h \ egojoust.c \ gearlance \ gearlance.c \ gearlance.o \ helpers.h \ Makefile \ programs \ report \ report.c \ report.o 23:57:51 `interp bfjoust < 23:57:52 ​/hackenv/bin/interp: 4: exec: ibin/bfjoust: not found 23:58:02 but not the infrastructure to call it 23:58:36 `interp unlambda `.i`.hi 23:58:37 hi 23:59:09 i don't quite remember if that has been fixed up to work or if it just straight out did 23:59:32 `ls interp/ghc 23:59:32 ls: cannot access interp/ghc: No such file or directory 23:59:38 `ls interps/ghc 23:59:38 runghc 23:59:57 i think that's just referring to the main install, which doesn't exist on HackEgo after some move