00:10:24 -!- impomatic has left. 00:15:44 -!- oerjan has quit (Quit: leaving). 00:25:35 -!- pikhq_ has joined. 00:27:38 -!- pikhq has quit (Ping timeout: 245 seconds). 00:36:12 -!- derdon has quit (Remote host closed the connection). 00:45:18 -!- nooga has quit (Ping timeout: 252 seconds). 01:08:11 -!- copumpkin has changed nick to gpumpwell. 01:13:16 -!- gpumpwell has changed nick to copumpkin. 01:28:34 * Phantom_Hoover wonders if strong commutative encryption is actually possible. 01:28:42 (I'm asking if anyone knows, if it's not clear.) 01:30:47 Phantom_Hoover: http://crypto.stackexchange.com/questions/1363/software-implementation-of-a-commutative-cipher 01:30:49 I was wondering the same thing a few years ago actually. 01:31:07 Not strong, anymore, I guess, but it's a starting point 01:49:20 shachaf: are you CTFing? 01:49:33 has anyone ced t f 01:49:58 not yet 01:50:21 i got to the last level, then decided i've done enough for the day 01:51:44 kmc: Yes, though I've also been distracted with other things. 01:52:02 (Are we spoilering in here?) 01:53:54 dunno 01:54:16 What CTF is this? 01:54:23 stripe-ctf.com 01:54:53 kmc: When I got to level 4 it was down, so I downloaded the code and tried to make it work locally. 01:55:07 If my hypothesis is correct it's impossible to do locally because of an extra server-side component. 01:56:10 true, though that component is nothing special 01:57:05 Well, sure, I can emulate it myself if I know that it exists. 01:57:48 But I was assuming my local copy was equivalent to the server. 01:58:08 you're exploiting a web application that has other concurrent users 01:58:15 Right. 01:58:17 the download does not include an emulation of those users 01:58:26 Yep. 01:58:33 I think I explicitly commented on this before the CTF started. 01:58:58 Ah, got it. 01:59:16 Hmm, apparently Vi Hart's father is a maths professor. 01:59:24 That... explains a good few things. 02:19:45 This is kinda fun. 02:49:52 -!- augur has quit (Remote host closed the connection). 02:50:16 -!- augur has joined. 02:51:21 I am addicted to the SCP wiki 02:54:48 -!- augur has quit (Remote host closed the connection). 02:55:00 -!- augur has joined. 03:10:40 -!- TeruFSX2 has joined. 03:11:19 -!- TeruFSX2 has quit (Client Quit). 03:18:48 Sgeo, fortunately you'll burn through the good content pretty quickly. 03:19:32 Then you rapidly realise that a lot of it is dreck that's either formulaic or written by people who don't get lasting horror. 03:20:02 Too often the author's thought of the trick already and gives away too much. 03:21:16 Phantom_Hoover: Have you played Slender, at all? 03:21:35 No, and there is very little that will make me do so. 03:22:06 Oh? I downloaded it last week but I haven't run it, yet. 03:22:18 I scare *incredibly* easily. 03:23:13 Neat 03:23:16 I did not sleep at all the night after first browsing the SCP wiki, or after reading some Slenderman stuff. 03:23:35 Slenderman was fascinating for a week or two. 03:23:39 I love well-done horror 03:23:52 I just can't stop myself from throwing reason to the wind and scaring myself shitless, which is a pity because I love well-done horror too. 03:23:55 Don't show me the monster, make me fear him 03:24:11 It's like alcohol but with a hangover that can linger for months I guess. 03:25:30 The worst bit of it is how it draws you in. Once I get on a creepypasta kick or some kind of new horror binge, I just can't stop until I'm thoroughly tweaked 03:26:48 I think SCP wiki they keep deleting too many files. 03:27:34 maybe that's part of the horror. (but probably not) 03:28:10 Phantom_Hoover, there's so much material I haven't seen before 03:28:15 http://www.scp-wiki.net/scp-453 03:28:35 They also don't give enough detail of experiments. I have many idea of the kind of experiments but I don't tell them (they are not open enough) and even if I did, I don't think they would know how to do it; they are the most difficult kind of thought experiments. 03:32:16 Sgeo, yes, but most of it is crap. 03:32:33 zzo38 confirmed as lovecraftian horror. 03:33:03 zzo38, one of my favorites was deleted some time ago 03:33:07 Sgeo, have you read the various Foundation fictions BtW. 03:33:26 It was a gem (a ruby I think) that needed to be suspended in mercury in a thing that rotated 03:33:28 Some of them are pretty good, especially the now-deleted Wanderlust. 03:33:33 Phantom_Hoover, the Foundation Tales? Yeah 03:33:38 Well, some of them 03:33:49 What was the ruby one. 03:33:51 I think there's a new thing, A something something something, that I don't know about 03:34:14 Phantom_Hoover, it would destroy solid objects it was on 03:34:53 Sgeo has obviously been reading a little too heavily on... 512? 505? Whichever it is that's impossible to remember. 03:35:19 Sgeo, also uh how did that work, was it a gradual decay process? 03:35:41 Phantom_Hoover, I don't remember 03:36:10 I think it was found at the bottom of the sea on some shipwreck. I think it was deleted because it should have destroyed the Earth already. 03:36:20 It's kind of fun to look through the deleted SCPs sometimes though. 03:36:28 Erm, s/deleted/deprecated/. 03:36:47 Because some of them were actually pretty well-known mainstays, like telekill alloy. 03:42:14 in reality scp is the military version of wikileaks 03:43:09 but i say this from a position that i don't want to read scp because of the chance it might actually be scary 03:49:49 Phantom_Hoover, Are We Cool Yet? 03:49:57 wat 03:50:25 Phantom_Hoover, that's the A something something something I said I was unfamiliar with 03:50:31 http://www.scp-wiki.net/groups-of-interest#toc1 03:51:14 it's ten to fucking five, sgeo 03:51:21 i am not following any links to scp at this hour 03:51:47 itidus20, some of them are, some of them aren;t. 03:51:50 aren't. 03:53:12 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 04:07:11 Phantom_Hoover: What about tvtropes? http://tvtropes.org/pmwiki/pmwiki.php/Main/ButNotTooWhite 04:07:30 Phantom_Hoover quit. 04:08:02 -!- DHeadshot has joined. 04:08:57 Aww. I turned join/part display off the other day due to noise, but now I just look a fool :/ 04:11:55 I use something WeeChat calls a “smart filter”. It only hides those lines from users who haven’t been talking for an hour. (And you can toggle their visibility afterwards, too.) 04:12:27 For instance, Phantom_Hoover’s quit line is visible for me, but that’s the only one for 6 hours. 04:14:37 Oh, that's neat. I should see if there's a setting like that 04:14:49 If not, time for a feature request 04:15:19 Well, an hour in my settings. The default was shorter, i think. 04:17:20 That's pretty useful 04:35:51 -!- asiekierka has joined. 04:38:28 -!- MoALTz has joined. 04:46:16 -!- MoALTz has quit (Ping timeout: 245 seconds). 04:49:59 -!- NihilistDandy has quit. 05:01:14 -!- NihilistDandy has joined. 05:01:22 -!- DHeadshot has quit (Ping timeout: 246 seconds). 05:05:23 -!- DHeadshot has joined. 05:09:46 -!- DHeadshot has quit (Ping timeout: 246 seconds). 05:36:19 -!- pikhq has joined. 05:37:13 -!- pikhq_ has quit (Ping timeout: 245 seconds). 06:09:29 -!- impomatic has joined. 06:25:56 Have you ever used to believe anything like these? http://forum.nationstates.net/viewtopic.php?p=10684076#p10684076 06:32:34 I once... contemplated the possibility of God acting by manipulating supposedly quantum random events 06:33:28 but is god a quantum random event? 06:35:14 Sgeo: Me too 06:37:15 i know there are apples and oranges, but are apples the same as oranges? :D 06:37:55 Same in what way? They are made of the same atoms, protons, neutrons, electrons, etc 06:40:05 if some things are different can all things still be the same? 06:41:35 -!- nooga has joined. 06:44:43 zzo38: good question 06:55:54 A while ago (and I still hold this to be true) I decided that at a certain level, the concept of "sameness" is just a human construct. 06:56:35 Whether one object is the same object as another doesn't really make sense when parts of the object cease being parts of the object and other parts replace it 06:56:56 Can you step in the same (Loch) ness twice? 06:57:37 shachaf: oh crap.. not a new idea 06:57:54 at least i am not herodotus... i think 07:00:33 i am not the same person that is 07:02:10 I am not him who is called "I am" 07:02:13 clearly you can step in a similar ness twice 07:07:19 -!- impomatic has quit (Read error: Connection reset by peer). 07:18:40 -!- epicmonkey has joined. 07:21:16 -!- Lumpio- has quit (Ping timeout: 245 seconds). 07:43:29 -!- BlueStarfire has joined. 07:44:18 -!- BlueStarfire has left. 07:57:57 what i am trying to say might be, if there is more than one member in a set that they aren't the same 07:59:45 I'm starting to think that CLOS can emulate Clojure facilities easier than Clojure can emulate even some of the more basic CLOS facilies 07:59:54 Such as inheritance with generic functions 08:04:38 -!- epicmonkey has quit (Ping timeout: 244 seconds). 08:05:28 -!- Lumpio- has joined. 08:08:44 itidus20: What if the members of the set are the same? 08:10:11 i tried to forget that part 08:17:22 Can we make a .NSF music where one person write the A track, and then second person can see A track and writes B track, third sees A and B and writes the C track, and so on? (AB = square wave channel, C = triangle wave channel, D = noise, etc) 08:18:15 i guess in life, at some point many of us will reach a stage where we essentially accept that the outcomes of our battles are behind us, and all our fears have been tested, and we just live out our days in routine 08:18:33 Sgeo: uh, yeah 08:18:38 CLOS is very powerful 08:18:41 Clojure is... not 08:18:57 zzo38: oh man nationstates 08:18:59 i used to play that 08:19:23 I periodically start a nation again until I grow bored and let it go inactive 08:19:47 coppro, I did used to be impressed with Clojure's any-function multiple-dispatch, but that's fakable in CLOS via making the generic function something that the normal function just calls 08:20:12 Normal function converts args into a symbol for generic function to dispatch on, and methods can use eql specializers 08:21:21 now I just play too much homestuck :/ 08:28:55 zzo38: sort of like an online collaborative story thing except with music? 08:29:34 i guess thats not quite what you meant 08:30:15 itidus20: http://en.wikipedia.org/wiki/Exquisite_corpse 08:33:01 itidus20: Yes it is not quite what I meant. 08:33:14 -!- zzo38 has quit (Remote host closed the connection). 08:40:46 -!- impomatic has joined. 08:44:35 -!- nooga has quit (Ping timeout: 268 seconds). 08:46:57 -!- NihilistDandy has quit. 09:00:02 So far, advantages Common Lisp has over Clojure: Condition system, CLOS. Clojure over Common Lisp: More libraries accessible (whether or not there are more libraries idiomatic), and generally cleaner design 09:00:06 And more functional 09:02:33 Clojure has stuff for concurency 09:09:32 Oh, that too 09:12:04 -!- AnotherTest has joined. 09:16:16 Is debugging significantly harder in Clojure than Common Lisp due to .. stack trace issues and non-resumable exceptions? 09:16:37 No idea, I haven't ever tried debugging any Clojure 09:23:36 -!- epicmonkey has joined. 09:51:21 -!- FreeFull has quit (Ping timeout: 246 seconds). 09:52:23 -!- FreeFull has joined. 09:52:29 -!- impomatic has left. 10:09:44 -!- derdon has joined. 10:28:09 -!- pikhq has quit (Ping timeout: 272 seconds). 10:31:16 -!- asiekierka has quit (Ping timeout: 268 seconds). 10:33:28 -!- ais523 has joined. 10:33:43 -!- pikhq has joined. 10:42:31 -!- impomatic has joined. 10:48:38 -!- monqy has quit (Quit: hello). 10:57:19 -!- heroux has quit (Ping timeout: 260 seconds). 10:57:51 -!- asiekierka has joined. 11:23:06 -!- monqy has joined. 11:55:24 -!- ais523 has quit. 11:56:06 -!- MoALTz has joined. 12:40:48 -!- Phantom_Hoover has joined. 13:06:47 -!- pikhq_ has joined. 13:06:48 -!- pikhq has quit (Ping timeout: 245 seconds). 13:10:27 -!- AnotherTest has quit (Quit: Leaving.). 13:11:10 -!- AnotherTest has joined. 13:13:20 -!- boily has joined. 13:19:16 -!- AnotherTest has quit (Ping timeout: 248 seconds). 13:28:56 -!- AnotherTest has joined. 13:34:28 -!- AnotherTest has quit (Ping timeout: 246 seconds). 13:40:54 -!- AnotherTest has joined. 14:00:20 -!- copumpkin has quit (Ping timeout: 248 seconds). 14:00:53 -!- copumpkin has joined. 14:07:02 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:22:45 -!- atriq has joined. 14:23:59 The "except this" is now isolated :( 14:30:03 -!- copumpkin has joined. 14:30:06 -!- pumpkin has joined. 14:30:24 -!- copumpkin has changed nick to Guest61107. 14:30:40 -!- Guest61107 has quit (Client Quit). 14:31:14 -!- pumpkin has changed nick to copumpkin. 14:44:53 -!- PatrickRobotham has joined. 15:05:54 -!- ogrom has joined. 15:15:59 atriq: what's an "except this", why is it unconnected, and is it edible? 15:16:35 Two words, someone changed the topic, yes 15:16:57 thanks. 15:31:47 -!- pikhq has joined. 15:31:47 -!- pikhq_ has quit (Ping timeout: 240 seconds). 15:34:56 -!- ogrom has quit (Quit: begone). 15:37:13 -!- AnotherTest1 has joined. 15:38:30 -!- AnotherTest has quit (Ping timeout: 265 seconds). 15:38:59 -!- ais523 has joined. 15:40:46 -!- copumpkin has changed nick to RealFlaccid. 15:40:58 -!- RealFlaccid has changed nick to copumpkin. 15:55:42 -!- copumpkin has changed nick to asspirate. 15:57:39 -!- asspirate has changed nick to copumpkin. 16:18:38 -!- ogrom has joined. 16:29:19 -!- zzo38 has joined. 16:42:04 -!- epicmonkey has quit (Ping timeout: 246 seconds). 16:42:06 -!- kinoSi has quit (Read error: Connection reset by peer). 16:42:36 -!- kinoSi has joined. 17:01:28 -!- ais523 has quit. 17:07:09 -!- atriq has quit (Ping timeout: 260 seconds). 17:11:29 -!- atriq has joined. 17:16:17 -!- Dovregubben has quit (Ping timeout: 252 seconds). 17:16:30 -!- Dovregubben has joined. 17:24:05 -!- monqy has quit (Quit: hello). 17:24:40 -!- augur has quit (Remote host closed the connection). 17:25:11 -!- augur has joined. 17:25:31 -!- cuttlefish has joined. 17:29:48 -!- augur has quit (Ping timeout: 276 seconds). 17:31:29 -!- atriq has quit (Read error: Operation timed out). 17:51:57 -!- ogrom has quit (Quit: Left). 18:02:50 -!- logicalguy has joined. 18:04:51 -!- atriq has joined. 18:05:10 -!- logicalguy has left ("Leaving"). 18:09:08 -!- ais523 has joined. 18:10:13 Help 18:10:18 The internet's going out 18:11:01 ok 18:11:10 trip it over before it gets to the door 18:11:39 It's handcuffed me to my chair 18:12:09 you and your kinky internet, we don't want to hear about your "games" 18:12:35 This isn't a game! 18:12:48 It's never done this before! 18:13:09 -!- augur has joined. 18:51:46 -!- epicmonkey has joined. 18:53:34 kmc, regarding what you said about Black Holes and Revelations... 18:53:40 I just re-listened to it 18:53:49 I know completely agree with you 18:54:47 War is overdue/The time has come for you/To shoot your leaders down/Join forces underground 18:55:19 yep 18:55:51 "No one's going to take me alive / Time has come to make things right / You and I must fight for our rights / You and I must fight to survive" 18:56:20 What would you think of 0^(0^x) function? I would think of the C !! and the Haskell types (Cont Zero) and (Codensity Initialize). 18:57:28 > 0 ^ (0 ^ 1) 18:57:29 1 18:57:31 > 0 ^ (0 ^ 0) 18:57:32 0 18:57:39 > 0 ^ (0 ^ 7) 18:57:40 1 18:57:55 kmc, what do you think of the 2nd law so far? 18:58:14 haven't heard it yet 18:58:19 but thanks for reminding me it exist 18:58:21 s* 18:58:29 today i'm listening to the new Infected Mushroom album 18:58:35 Madness, Survival, and The 2nd Law: Unsustainable are the songs that have been released 18:58:41 What's it like? 18:58:46 apparently they are now enamored with dubstep 18:58:57 it's like... dubstep and electro-pop 18:59:02 very different from their usual stuff 18:59:08 ...that's the 2nd law 18:59:12 everything is dubstep nowadays 18:59:13 but it's still IM too 18:59:14 haha 18:59:17 i was afraid of that 19:00:03 -!- AnotherTest1 has quit (Quit: Leaving.). 19:00:12 Well, it's time to make some Muse/MSPA fan art 19:00:18 MusePA 19:02:22 "A woman carrying her soon to be five-year-old son fell onto the Red Line tracks in Kendall Square Wednesday night, after she thought she was boarding a train that was stopped on the opposite track." 19:13:28 http://25.media.tumblr.com/tumblr_m982mvEFm91rysy5go1_500.jpg 19:13:33 Muse/MSPA art 19:14:19 Even for here, that may be really off-topic 19:14:41 i don't think that's possible 19:15:14 atriq: what is that, it's completely unreadable 19:15:45 All natural and technological processes proceed in such a way that the availability of the remaining energy decreases. 19:15:45 In all energy exchanges, if no energy enters or leaves an isolated system, the entropy of that system increases. 19:15:45 Energy continuously flows from being concentrated, to becoming dispersed, spread out, wasted and useless. 19:15:45 New energy cannot be created and high grade energy is being destroyed. An economy based on endless growth is 19:15:55 UNSUTSAINABBLE 19:16:48 (words from http://www.youtube.com/watch?v=EF_xdvn52As ) 19:16:55 -!- MoALTz has quit (Quit: brb). 19:17:05 Except I spelt "Useless" wrong 19:17:10 It's a sign 19:18:17 is spelt spelt/spelled spelled or spelt? 19:18:41 spelt is spelt spelt or spelled 19:18:50 spelt is only really found in the UK 19:19:20 Splet. 19:19:29 spelt is a type of flour 19:20:56 oh, that spelt is also spelt spelt in english? 19:21:12 -!- MoALTz has joined. 19:21:30 Presumably 19:24:13 -!- pikhq_ has joined. 19:27:02 -!- pikhq has quit (Ping timeout: 246 seconds). 19:36:10 Oh dear god that's got 4 notes on tumblr 19:36:23 That's like twice as many notes as anything I've ever done before 19:36:37 -!- oerjan has joined. 19:38:57 -!- mjv has joined. 19:39:21 `welcome mjv 19:39:32 mjv: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:39:39 -!- PatrickRobotham has quit (Ping timeout: 240 seconds). 19:43:53 Then you rapidly realise that a lot of it is dreck that's either formulaic or written by people who don't get lasting horror. 19:44:10 your quest now is to turn _that_ into an scp somehow. 19:45:18 "PatrickRobotham"? 19:45:47 Obviously a robot from Hexham called Patrick 19:45:57 clearly. 19:48:02 no, windows, it is _not_ acceptable to delay raising windows in order to trick me into clicking somewhere i never intended to. 19:48:26 The Telegraph website gets me like that EVERY TIME 19:48:39 Took me ages to get to the page for World NEws 19:48:45 I don't care about its cookie policy 19:49:18 Use keyboard and/or adjust the setting of Windows? 19:51:15 zzo38: i have no idea what setting that would be. the machine was close to thrashing. 19:53:55 this time it wasn't a particular website. although the web newspapers sometimes get me that way - i need to click somewhere in the window in order to focus so scrolling works, but *poof* then suddenly there's something clickable there. 19:54:55 i've noticed that annoyingly for wikia i need to click on the scrollbar instead, clicking in the window itself _disables_ scrolling. 19:54:56 Push ALT+TAB or click the title? I think Windows does have a secret setting for hover focus too, like some UNIX systems have. 19:55:40 -!- mjv has quit (Quit: ChatZilla 0.9.88.2 [Firefox 14.0.1/20120713134347]). 19:55:52 zzo38: i guess ALT+TAB would have worked in this particular case. 19:58:54 I scare *incredibly* easily. <-- i should point and laugh but i remember for _years_ after jurassic park came out i couldn't walk close to the neighborhood park without imagining dinosaurs watching me :P 20:00:11 I found someone made .NSF simulating the THX deep note using VRC6 and Namco expansions. 20:01:34 -!- ais523_ has joined. 20:02:02 -!- ais523 has quit (Disconnected by services). 20:02:04 -!- ais523_ has changed nick to ais523. 20:03:52 -!- asiekierka has quit (Remote host closed the connection). 20:13:28 Hey, a 502 error 20:13:33 Have I seen one of those before? 20:23:55 zzo38: Yeah, I heard it 20:32:50 atriq: Many times 20:49:59 -!- atehwa_ has changed nick to atehwa. 20:53:57 -!- epicmonkey has quit (Ping timeout: 244 seconds). 20:56:25 -!- ais523 has quit. 21:04:53 shachaf: are you CTFing still? 21:04:53 -!- nooga has joined. 21:04:58 what level are you on? 21:05:47 kmc: I left it off after finishing 6 yesterday. Haven't gotten back to it yet. 21:06:00 * shachaf has some other things to do but plans to finish it. 21:06:10 cool 21:06:14 Looks like you haven't finished it either? 21:06:17 yeah 21:06:20 -!- atriq has quit (Quit: Leaving). 21:06:26 i got to the last level last night, then took a break 21:06:28 now i'm back at it 21:06:31 I gather that level 8 is tricky. 21:06:41 it is 21:07:03 I think this CTF is harder than the last one. 21:07:13 it certainly aligns less with things i already know 21:07:36 I tried to run mosh-server on level02 but didn't manage it. 21:08:00 I ended up settling for sending command via HTTP. 21:08:15 Did you know mosh doesn't run when it can't read /etc/passwd? 21:08:45 level 7 is quite fun :) 21:08:55 there's an easier way to get a shell on level2 21:08:58 do you want me to tell you? 21:09:12 shachaf: I did know that, because you said it in #mosh earlier :) 21:09:17 Is a shell on level02 needed on either level 7 or level 8? 21:09:20 Oh, good point. 21:09:27 If it is then you shouldn't tell me. 21:09:35 Hmm. 21:09:41 But now you can't even tell me whether you can tell me. 21:09:49 -!- MoALTz has quit (Ping timeout: 260 seconds). 21:11:42 -!- elliott has joined. 21:11:50 -!- elliott has left ("Leaving"). 21:15:08 Oh, there's an ssh server running. 21:16:49 But generating and uploading a key doesn't seem to work... 21:17:02 shachaf: what kind of CTF? 21:17:07 lexande: stripe-ctf.com 21:17:13 oh that exists again 21:17:14 nice 21:17:22 It's a new one. 21:18:28 * shachaf wonders whether ssh supports login with uid instead of username. 21:19:12 Looks like it doesn't. 21:19:20 Oh, my username is my home directory's name. 21:19:28 kmc: I guess you pretty much did tell me. 21:20:06 kmc: I'm surprised there's no easy-to-download "standalone telnet server" or something, though. 21:20:10 well you can already run arbitrary code on the box through php 21:20:21 which game? 21:20:23 shachaf: every black hat has one lying around 21:20:36 maybe just a copy of netcat that supports "-e" and is compiled static 21:20:44 Sure. 21:21:00 I compiled mosh-server with -static to upload it. 21:21:14 Then I thought maybe that got messed up so I uploaded all its dynamic libraries. 21:21:14 Can Checkout programs be compiled to hardware? 21:23:41 Anyway now I have a shell, but I'll get back to this later. 21:24:25 Can Checkout programs be compiled to: LLVM, some open-source GPU architectures, some GPU with open specification, VHDL, or some custom CPU/GPU architecture specifically designed for Checout? 21:24:52 There is not way that Checkout programs can be compiled to some cusom CPU/GPU architecture specifically designed for Checkout. 21:24:58 s/t// 21:27:31 -!- lexande has left. 21:29:38 Looks like we lost lexande. 21:32:44 -!- boily has changed nick to lexande-ersatz. 21:32:55 I can temporarily impersonate him... 21:33:44 zzo38: you probably should ask ais523 that. he's not here now, but checkout is his language and he _is_ an expert on compilation to hardware... 21:33:58 OK 21:35:42 kmc: Only four more spaces open in the top-20 list! 21:36:20 ;P 21:36:28 i'm not sure i'm happy about this leaderboard 21:40:37 The way it works or its existence? 21:40:55 existence 21:41:17 * shachaf usually ignores leaderboards like that. 21:41:57 it takes willpower to do that 21:41:58 for me 21:42:13 The "except this" is now isolated :( <-- *MWAHAHAHA* 21:42:24 That's true. 21:42:30 why is he not here to listen to my gloating 21:42:53 kmc: As you may know, I don't even own a television. 21:43:06 This new CTF thing is very webby; though I suppose that's what they said it was going to be. (Went to level 4, then got sidetracked to do other things.) 21:43:31 But sometimes at public places with televisions in them, I suddenly notice that I've been staring at a screen for the last 20 seconds. 21:43:40 It's a strange feeling. I don't even realize what I was looking at. 21:43:47 I've never even heard of all these Sinatras and whatnots. 21:44:14 i'm happy with it being web stuff 21:44:16 you have all been staring at a screen for _much_ more than 20 seconds. *MWAHAHAHA* oh wait... 21:44:29 because it's an opportunity to learn different things 21:44:37 oerjan: It's totally not the same! 21:44:48 NOW THE DENIAL 21:44:56 * shachaf notes that he's currently not making progress with either the CTF or the other things he was going to do. 21:44:58 nothing they do is deeply dependant on arcane knowledge of a particular language or framework 21:45:17 Except JavaScript, maybe. 21:45:32 i don't think you need *arcane* knowledge of javascript 21:45:55 i think you need to know the very basics and to be comfortable poking around in "Inspect Element" or such 21:45:55 Perhaps not. 21:46:02 i guess that's spoilers? 21:46:09 That's spoilers? 21:46:14 I can't even tell which level it's for. 21:46:27 It spoiled the fact that there's going to be some JavaScript. I haven't seen any, I don't think. 21:46:47 -!- lexande-ersatz has changed nick to boily. 21:46:47 well i implied that you don't need to know subtle details of javascript 21:46:52 which narrows down where one might look for hax 21:48:13 For the level with the regexp, I was trying to figure out a way to match against the program's own code in the git repository. 21:48:23 I wonder whether that's spoilers. At any rate it didn't work because git compresses things. :-( 21:48:25 haha 21:48:28 (And it's a bare repository.) 21:48:50 But the line checking for the regexp actually does match the regexp. 21:49:04 * kmc mind = blown 21:49:30 can you write a regex which matches only itself? 21:53:22 That sounds like a challenge 21:53:38 How about an empty regex 21:53:51 ooh a narcissist regex 21:53:54 will match any line 21:54:00 (that's the interpretation of "match" i'm taking) 21:54:10 otherwise it's easy, any regex containing only literal characters (letters etc) would do 21:54:47 Then a regexp containing the letter a 21:54:58 Actually 21:55:03 will match any line containing the letter a 21:55:05 (that's the interpretation of "match" i'm taking) 21:55:06 Hmm 21:55:14 This is tricky 21:55:25 you need ^ and $ or something equivalent 21:55:32 You basically have to make a regexp quine 21:55:42 ^$ matches an empty line 21:55:56 http://esolangs.org/wiki/Narcissist 21:56:13 narcissists tend to be quine-like 21:56:20 ^^$$ matches a line with ^$ on it 21:56:48 FreeFull: you need to handle escaping i think 21:56:53 -!- augur has quit (Remote host closed the connection). 21:56:55 which makes things much harder 21:57:18 oerjan: You don't need to escape ^ or $ if they aren't at the start or end of the regex 21:57:28 you don't? hm. 21:57:50 Or at least, there is something that makes ^^$$ work as intended 21:58:16 i guess that may be connected with the single-line/multi-line options (in perl) 21:58:43 Maybe it's that you don't need to escape ^ or $ if you have them elsewhere in their real meanings 22:00:35 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:00:41 Ok, this is tricky 22:02:18 -!- zzo38 has quit (Quit: zzo38). 22:05:52 Unless there is a way of embedding a literal representation of the regex inside the regex 22:05:59 It might be impossible 22:06:47 it's almost certainly possible with perl's crazy extended "reg"exes 22:08:37 http://www.cs.auckland.ac.nz/~jas/toys/inequ.html Looks like we aren't the only ones at it 22:12:42 FreeFull: Perl at least has no special magic about ^ matching a literal "^" if it's not the first thing. E.g. /^^foo/ matches 'foobar', doesn't match '^foobar'. 22:14:04 grep does 22:14:35 !perl print join(" ", map { /^^foo/ ? "$_:yes" : "$_:no" } ("foobar", "^foobar")); 22:14:36 foobar:yes ^foobar:no 22:15:11 `echo '^foobar' | grep '^^foo'` 22:15:11 ^foobar 22:15:14 So it seems. Fancy that. 22:15:15 ​'^foobar' | grep '^^foo'` 22:15:24 huh, inequ is another name for narcissist then 22:15:34 Lol at HackEgo 22:16:02 `run echo '^foobar' | grep '^^foo' 22:16:05 ​^foobar 22:16:08 Anyway. 22:16:42 `run echo -e 'foobar\n^foobar' | grep -E '^^foo' 22:16:45 foobar 22:16:58 It's different with extended RE. 22:18:53 I see, so egrep 22:19:33 -!- copumpkin has joined. 22:19:33 -!- pumpkin has joined. 22:19:33 -!- copumpkin has quit (Changing host). 22:19:33 -!- copumpkin has joined. 22:19:54 -!- pumpkin has changed nick to Guest28134. 22:20:19 -!- Guest28134 has quit (Client Quit). 22:22:33 shachaf: aww, I won't be in the top 20 22:26:54 kmc: Now you get to practice not caring about leaderboards! 22:27:01 I bet the leaderboard was sour anyway. 22:27:16 i don't get it 22:28:18 -!- boily has quit (Quit: Poulet!). 22:28:37 -!- cuttlefish has quit (Remote host closed the connection). 22:29:09 The second thing was a joke about sour grapes. I know you said you didn't like the leaderboard even before -- it wasn't making fun of you in particular. 22:30:40 * shachaf sighs. 22:32:02 Which community is more likely to want to play with monads, the Clojure community or the Common Lisp community 22:32:13 grour sapes 22:32:37 which community is more likely to want to play with themselves 22:32:49 what's the connection to grapes? 22:33:13 What's the hgronnection to capes? 22:33:31 * Sgeo kind of thinks that Clojure is a better language except for lack of CLOS and condition system 22:33:47 https://en.wikipedia.org/wiki/Sour_grapes 22:34:06 That daemn esop 22:34:18 what does it have to do with leaderboards 22:34:31 :-( 22:34:39 idgi 22:34:53 itt: we discover kmc doesn't understand fables and proverbs 22:35:13 whatever 22:35:16 Hith wis fabcy fanles 22:35:37 also that FreeFull cannot spel 22:35:53 I was on a leaderboard thing once 22:36:01 C ian jell spust efin 22:36:33 aat whre tou yalking tabou 22:36:43 I don't think I can prove it :( 22:37:10 Sgeo: You can.. with trime tavel! 22:37:45 I can't even prove a connection between YouOS and myself 22:37:51 And I think all my code is gone for good 22:38:21 Dear Google: Not iOS. YouOS. 22:40:14 That's why you "" everything 22:41:11 The only actual connection that I get when I google "YouOS" "Sgeo" is a log of me in a Java chatroom mentioning it 22:41:17 Which makes little to no sense. 22:41:36 -!- nooga has quit (Ping timeout: 246 seconds). 22:42:07 http://echelog.com/logs/browse/java/1271368800 22:42:42 Oh, context was someone talking about an OS in Java, and OSes that aren't really OSes and me mentioning a project with OS in its name that's not really an OS. 22:47:39 bah, i beat level 8 but the web interface won't take my password 22:48:03 "You completed this level in -34914.789 seconds." That's... unlikely. 22:48:13 The others show reasonable (nonnegative) numbers. 22:48:21 and the stripe ctf channel is full of "HALP HOW 2 SOLVE LVL 1" so i can't get the attention of admins 22:49:06 lvl 1? They got past lvl 0? 22:49:28 some of them 22:50:06 -!- monqy has joined. 22:51:52 -!- augur has joined. 22:52:54 What game is this? 22:53:19 https://stripe-ctf.com 22:55:18 I have stuff I should be doing today 22:55:34 like endlessly contemplating whether clojure is better than common lisp? 22:55:34 Working on a sellable product in SL and repairing my IRC bot 22:56:27 Maybe I should make a Lisp that compiles to LSL 23:01:01 kmc, I don't like being timed 23:01:55 -!- zzo38 has joined. 23:05:17 kmc, this is fun 23:06:45 yep 23:07:27 i wonder if it's the same shirt as last time 23:09:23 That was a somewhat low-quality shirt. 23:09:29 The regular Stripe shirts are much nicer. 23:09:42 On the other hand they make people think I work at Stripe. 23:09:55 * shachaf doesn't like shirts with text. 23:10:11 Can you somehow remove the text? 23:10:23 Is Stripe CTF a finite duration thing? 23:10:28 Or will it be open for a while/ 23:10:30 Yes, one week. 23:10:38 -!- derdon has quit (Remote host closed the connection). 23:11:20 one week from noon yesterday PDT 23:12:06 i wonder if it's the same shit as last time That was a somewhat low-quality shit. The regular Stripe shits are much nicer. * shachaf doesn't like shits with text. Can you somehow remove the text? 23:12:06 * Sgeo will play more later, I'm a bit stumped, there's an obvious looking area here but it looks secure 23:12:37 ion: is there like a simulacrum of #esoteric which lives inside your head? 23:12:45 that would be frightening 23:12:56 Yes, a poo simulacrum. 23:13:04 i mean it's one thing to be crazy but it's another thing to have a bunch of voices in your head who are themselves crazy 23:13:18 THE GREAT BIG POO 23:13:31 I mean 23:13:36 THE GREAT MIGHTY POO 23:13:36 * kmc had a high quality shit while solving the ctf 23:13:52 kmc: If sane voices make you crazy, crazy voices must make you sane. 23:14:24 i'm sure that's how it works 23:15:17 kmc: That’s just the crazy talking. 23:15:41 are timezone acronyms like PDT useful? 23:15:46 the US ones are pretty useful 23:15:57 but is it the case that (e.g.) all points in EEST switch to EET on the same date? 23:16:05 i think this was not the case before the 90's anyway 23:16:10 kmc: hey i'm _not_ crazy, it's just all these crazy voices confusing me all the time 23:16:15 I don't know. 23:16:30 oerjan: Are you sure you are not crazy? 23:16:33 pax bruxellana 23:16:49 * shachaf prefers just "PT" 23:16:57 zzo38: The voices tell me I'm not. 23:17:00 What does "EEST", "EET" means? 23:17:11 zzo38: Eastern European (Summer)? Time 23:17:27 OK. 23:17:35 confusingly 'S' means DST in most of the world and not-DST in the USA 23:17:38 Eesti time 23:17:42 yes! 23:17:44 I don't like daylight saving time and summer time 23:17:50 it is eesti time 23:18:03 i had some other pun involving C'EST 23:18:13 why not zzo38? 23:18:15 https://www.youtube.com/watch?v=0w5neFPat1w 23:18:28 BST 23:18:33 Means british summer time 23:18:43 yes that is a fact 23:19:02 they used to have double summer time too 23:19:25 I think you should use solar time and UTC, and then also use Italian hours and/or astrological houses if you need sunset time as well 23:19:28 that is clearly absurd, as it would imply the brits have summers 23:20:08 also britain was on GMT+1 for all of 1969 and 1970 23:21:10 -!- copumpkin has changed nick to pirateat28. 23:23:56 but in reality the universe was created in the afternoon (UTC) of Sunday, August 17, 1969 23:24:34 and will be destroyed in 9661 after a false alarm in 1996 23:25:13 -!- pirateat28 has changed nick to copumpkin. 23:26:12 Sun-Neptune has a close opposition of ecliptic longitude at this time. 23:27:13 Is regex really that terrible for web page processing in all circumstances? 23:27:34 The destruction date of the universe doesn’t matter to us that much after the 2012 destruction of the Earth. 23:27:39 I think regex can be used for web page processing. 23:28:04 esr agrees 23:28:46 -!- SimonRC has quit (*.net *.split). 23:28:47 Are you sure the 2012 destruction of Earth? How will they get destroyed? Atom bomb? 23:28:49 Is XML really that terrible for video processing in all circumstances? I think XML can be used for video processing. 23:29:01 ion: come on, we still have a few months to assemble a project orion generation ship 23:29:05 I wouldn't think XML would be good for video processing, though. 23:29:12 zzo38: Will collide with an antiearth 23:29:30 Earth cancelled due to lack of ratings 23:29:32 What antiearth? 23:29:57 There’s only one. That one. 23:30:24 Even if there is only one (assuming there is even one), I still don't know which one it is. 23:31:22 kmc: wasn't that a plot of some tv series 23:32:42 -!- SimonRC has joined. 23:32:53 -!- impomatic has left. 23:33:23 *tv cartoon series 23:35:29 YOU GUYS YOU GUYS https://bitbucket.org/GregorR/sysv-dev 23:35:46 * Sgeo is not a dinosaur. Or a pony. 23:36:00 I assume that Gregor is a dinopony. 23:36:51 hm south park it seems 23:39:01 Gregor: nice 23:39:27 zzo38: I did a bunch of video editing with shell scripts that invoked netpnm on individual frames 23:39:30 no xml though 23:40:44 Does Common Lisp make more sense for video editing than Clojure, for performance reasons? 23:40:50 Not that I plan to do video editing 23:42:18 -_- 23:42:33 oh Sgeo you so silly 23:42:35 kmc: Yes video editing can be done with shell scripts although invoking a program on each frame would seem to be slow. Parallel computing might be better way. 23:42:44 -!- elliott has joined. 23:42:47 yes 23:42:48 guys, i was planning on doing some video editing 23:42:54 do you have any suggestions as to which lisp dialect i should use 23:43:03 at the time I had like the only SMP machine among my friends 23:43:06 those were the days 23:43:07 But I may modify pictures using ImageMagick. 23:43:22 SYNCHRONICITY 23:43:27 kmc: Hey, you finished it. 23:43:31 yep 23:43:38 What about synchronicity? 23:43:43 it was a dual socket single-core-Opteron machine 23:43:48 those were the days 23:43:58 * shachaf will continue soon. 23:44:00 ...some day i'll snap and ban zzo38 for ruining my bad jokes 23:44:17 later we found an even older SMP machine lying around 23:44:46 it had four Pentium Pro chips 23:44:49 you're all useless 23:44:51 oerjan: zzo's already a hero but then he'll be a martyr 23:44:59 is this what you want 23:45:00 elliott, a hybrid of newLisp and Arc. 23:45:03 monqy: ok good argument 23:45:05 Sgeo: thx 23:45:06 -!- elliott has left ("Leaving"). 23:45:11 and 1 GB of RAM on several cards, each the size of a modern PC motherboard 23:45:40 I wonder what he would have said if I said something that wasn't a Lisp dialect 23:45:44 Darn 23:45:45 and it was the size of a refridgerator 23:45:57 and i left it in a common area, which caused some annoyance to others 23:46:04 Although I assume he can still read this 23:46:09 i believe the exact threat was "if you do not move that computer, i will open up the case and take a shit inside" 23:47:34 how civilized 23:48:09 yes 23:48:28 pentium bros before pentium pros 23:48:54 the student computing club also had some pre-release Itanium boxes which were even shittier than regular Itanium boxes 23:49:06 they had some CPU bugs and were never properly supported by GCC 23:49:15 i think they kept these as a way of hazing new sysadmins 23:49:22 Is Itanium that terrible? 23:49:37 Avoid anything with CPU bugs 23:49:38 shachaf, it's really hard to write compilers for I hear? 23:49:46 Hardware bugs are nast 23:49:49 nasty 23:49:51 yeah, what Phantom_Hoover said 23:50:04 to get good performance you have to pay intel for their crazy compiler 23:50:08 though it might be free for academia 23:50:13 Write everything in assembly! 23:50:19 What makes it so hard to write compilers for? 23:50:27 Is it something fundamental about the architecture? 23:50:33 shachaf: the instruction stream contains hints about parallelism 23:50:41 the sort of things a normal CPU figures out on the fly 23:50:49 and it turns out, doing this on the fly is easier because you have more information 23:50:52 Well, parallelism is hard 23:51:16 you don't just write a sequence of instructions, you write a sequence of instruction *groups*, where each group happens in parallel 23:51:19 or something 23:51:27 read about it if you want to know the actual situation 23:51:35 belongs to the VLIW class of architectures 23:51:41 Good point. 23:51:43 which has (as a result?) fallen out of favor for general purpose architectures 23:51:48 but is still popular for DSPs and such 23:52:23 Itanium was also used largely to emulate x86 and HP PA-RISC 23:52:29 and it kinda sucked at these 23:53:51 I feel like I'm guessing at this level (level 2) 23:53:54 :/ 23:53:54 i think Intel is contractually obligated to keep making Itanium chips 23:54:04 as a result of the deal with HP where it replaced PA-RISC 23:54:07 that might be bullshit tho 23:54:09 Sgeo: want a hint? 23:54:17 kmc, ok, sure 23:54:31 >.> 23:54:37 well, what do you have so far 23:54:40 (feel free to PM) 23:54:44 (i think we want to avoid spoilers here) 23:54:48 We do? 23:54:54 oh maybe not 23:54:57 whatevs 23:54:57 I don't think other people in here are doing it. 23:55:01 Maybe they will later, though. 23:55:07 except you and me, but we're past level 2 23:55:10 Avoid spoilers for ≥7 :-) 23:56:52 Level 3 was much easier than level 2. 23:58:48 i found it difficult for two 23:58:49 reasons