00:05:12 http://zem.fi/esostats/people_summary.html PLOOOOTS (also beta) 00:10:36 i'm pretty sure my activity level spikes iff interest in bfjoust spikes 00:10:49 but thanks fizzie you're the best 00:14:06 quintopia: mine probably falls, as I spend more time thinking BF Joust and less talking on IRC 00:15:01 ais523: your baseline activity level is higher than mine i think 00:15:21 yes 00:15:42 yeah definitely 00:16:06 so 00:16:23 bfjoust spikes are the one time i am more activious than you 00:16:41 (activious is now a word) 00:21:05 I like the chart for optbot. 00:21:30 oh i just realized "ploooots" was supposed to be the plural of "plot" 00:21:37 and not a bunch of ploots (what's a ploot) 00:22:32 fizzie: I'm still not merged with zuff!! 00:22:57 I like how it doesn't say what the colours are 00:23:38 fax, j-invariant and soupdragon are all separate too 00:23:46 It's still not recalculated. And the colours are obviously obvious. 00:24:02 i don't know what the colours mean !!! 00:24:20 Blue is the overall activity, and red is the selected nick. 00:24:26 thanxe 00:24:55 why does it show me as not being active in 2007 at all 00:24:58 wow elliott has ungodly huge activity 00:25:24 so what happened on those two massive 6000+ spikes 00:25:32 elliott: did you use the nick "elliott" ever then? 00:25:37 monqy: iirc i have more than twice the lines said in #esoteric than the second person...... 00:25:41 it's likely a failure in nick merging 00:25:44 ais523: no but it's meant to be merged and stuff 00:25:56 Phantom_Hoover: Which one of those three would be the "canonical" name? 00:25:57 is that when you were using "alise"? 00:26:11 2007 nick was ehird 00:26:12 or was it ehird` 00:26:18 no, it wasn't 00:26:21 it was ehird and then maybe a ` 00:26:23 "alise" was 2010 00:26:23 yes it was 00:26:26 oh 00:26:30 sorry, context fail 00:26:30 ais523: 'elliott': ['elliott', 'ehird', 'alise', 'tusho', 'aliseiphone', 'ehirdiphone', 'zuff'], 00:26:31 not disagreement 00:26:35 elliott: aha 00:26:40 *fizzie: aha 00:26:43 fizzie: well it's still in that menu at least 00:26:47 anyway you need ehird` in there SORRY 00:26:47 fizzie: 'ehird`' is the nick you're missing 00:26:54 elliott: Yes, it's old datta. 00:26:57 also um 00:26:59 estoppel 00:27:01 Phantom_Hoover: Which one of those three would be the "canonical" name? 00:27:02 and a handful of others 00:27:05 go with fax, it was first 00:27:07 you didn't use estoppel very much 00:27:11 fizzie: what list do you have for me? 00:27:15 imo leave fax separated so you don't have to deal with the mess of who is fax or not 00:27:24 `seen2 estoppel 00:27:38 ais523: It was supposed to remove all trailing non-alphanumerics, but maybe it didn't. 00:27:53 but ais523 and ais523_ are different computers! 00:28:07 and as a result, may talk about different topics 00:28:09 how about alphanumerics in the middle 00:28:18 ais523_ is substantially more likely than me to bitch about Java, for instance 00:28:19 i mean 00:28:20 non-alphanums 00:28:22 You're also missing "shachaf". 00:28:28 cf phantom____________________________________hoover 00:28:29 "elliott's gr8st pseudonym" 00:28:48 ais523: For you I just have "ais523" and "ais523\unfoog". I made these by getting a top-100 list of overall activity. 00:28:48 monqy: uve been shachaffed!! 00:28:53 monqy: i thought it was a "joek" 00:29:06 monqy: I have _, __ and ___ manually listed for that. 00:29:06 fizzie: "scarf", "callforjudgement" 00:29:22 fizzie: but think about how phantom____hoover feels 00:29:29 ais523: I see "scarf" ended up on the list, too. 00:29:32 also "this", though I don't have it registered 00:29:39 and only use it for the purpose of trolling myself 00:30:41 ais523 is a silly thing to do. 00:31:10 * ais523 sort of thing is more legible when it starts "this" not "ais523" 00:34:01 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:54:09 kmc: Are you the "turn in crypto challenges in asm" person? 01:10:17 yes 01:41:53 -!- ais523 has quit. 02:29:32 -!- Nisstyre has joined. 02:32:05 -!- Nisstyre_ has quit (Ping timeout: 252 seconds). 02:35:35 -!- Nisstyre has quit (Ping timeout: 255 seconds). 02:36:47 -!- Nisstyre has joined. 02:45:15 Wait, I just realized something. 02:45:20 Mirrors are Turing-complete, aren't they? 02:45:40 Like, you can store an arbitrary amount of accessible information in the position of a beam of light. 02:47:43 In particular, if you consider a beam of light to have x and y coordinates (and it's traveling in the z direction), you can use mirrors to perform scaling and translation on x and y, as well as conditionals. 02:48:08 Yes I can understand now how you mean. 02:48:14 is this a billiard ball computer? 02:48:40 Nope. There's just a single "ball"; it doesn't interact with other moving objects. 02:48:47 -!- copumpkin has quit (Ping timeout: 245 seconds). 02:49:18 -!- copumpkin has joined. 02:49:36 -!- Nisstyre_ has joined. 02:49:45 The ball just moves in a constant direction until it hits a mirror, at which point it bounces off and continues moving in the appropriate new direction. 02:50:05 If your space is three-dimensional, this configuration is Turing-complete. 02:50:25 -!- evincar has quit (Quit: leaving). 02:51:25 -!- Nisstyre has quit (Ping timeout: 252 seconds). 02:51:28 Of course, this wouldn't work in the real world, for many reasons, one of which is that real light diffracts. 02:52:05 What if you use an electron instead? I guess electrons also diffract. 02:52:46 all objects diffract, in principle 02:52:54 i feel like i should say something about heisenberg but then i'd be pretending to know quantum physics, which i do not 02:53:08 Bike: whoa hw man thats so QUNAutm 02:53:12 s/$/ / 02:53:26 Yeah, I think Heisenberg's principle applies here. A photon does not have one distinct position. 02:53:36 Quantum? I don't even know 'em! 02:54:44 -!- zzo38 has quit (Remote host closed the connection). 02:56:14 -!- Bike_ has joined. 02:57:10 elliott, why is *: defined when *~ is the same thing? 02:57:28 (at least monadic *: ) 02:58:08 does *~ have the inverse that *: does 02:58:20 the real answer is that i don't know tho 02:58:26 try #jsoftware 02:59:11 -!- Bike has quit (Ping timeout: 245 seconds). 03:02:28 *~ is the 'reflexive' of * (~ being the 'reflex' adverb); i can't recall how that interacts with obverses 03:03:46 ahh, the obverse of *~ is specially specified to be %: 03:03:57 i.e. sqrt i.e. same as the obverse of *: 03:04:19 tswett: you've reminded me of the optical computer for solving traveling salesman problem 03:04:45 you have a bunch of beamsplitters and you connect them with optical fibers whose lengths correspond to the distances between cities 03:04:53 then you use interferometry (somehow) to find the shortest path 03:07:16 I like that (somehow) 03:07:30 hm, what's a good academic who does weird-ass computation stuff 03:07:43 i checked for adamatzky doing things like this but he's too busy getting stoned on BZ 03:08:36 getting stoned on BZ is a bad idea 03:08:54 no the other BZ 03:09:04 the one it's a good idea to get stoned on 03:09:05 so not the chemical weapon 03:09:25 no, although i've heard apparently people have tried to use that recreationally... 03:09:30 i mean the clock reaction 03:09:43 i don't know what that is 03:10:03 http://en.wikipedia.org/wiki/Belousov-Zhabotinsky_reaction 03:10:15 observe: pretty colors! 03:10:16 oh those are neat 03:10:31 http://arxiv.org/abs/1212.1344 so, adamatzky does things like this with 'em 03:10:42 http://upload.wikimedia.org/wikipedia/commons/d/d9/The_Belousov-Zhabotinsky_Reaction.gif 03:10:56 cool 03:11:41 also a clock reaction is just a reaction that does something periodic, so you could use it as a clock if you wanted your clock to be made of acids. 03:12:00 anyway so not tswett lightmachines 03:12:13 oh i heard about this slime mould computer too 03:12:59 -!- DH____ has quit (Read error: Connection reset by peer). 03:13:05 -!- DHeadshot has joined. 03:13:12 oh, there's a journal or something called "unconventional computing", that's more like it! 03:14:09 "The denizens of Carlisle, meanwhile, may wonder what objection slime moulds have towards their fine city." 03:14:12 'Abstract Geometrical Computation 6: A Reversible, Conservative and Rational Based Model for Black Hole Computation' i think i'm going to be distracted 03:16:12 -!- oerjan has quit (Quit: leaving). 03:16:15 -!- Arc_Koen has quit (Quit: Arc_Koen). 03:18:39 if you drop a supermassive computer into a rotating black hole while traveling at the speed of light then you meet god and can just ask him to solve your dumb problem 03:22:04 `addquote if you drop a supermassive computer into a rotating black hole while traveling at the speed of light then you meet god and can just ask him to solve your dumb problem 03:23:56 i have hackego withdrawal 03:24:26 kmc: "O father who art in heaven, I really need to win this CTF" 03:27:36 'Can a Computer be “Pushed” to Perform Faster-Than-Light?' i love how far out these questions are 03:27:55 "Let us assume that Alice, Bob, and Charlie, the three classical people of cryptography are not limited anymore to perform a finite number of computations on real computers, but are limited to α computations and to α bits of memory, where α is a fixed infinite cardinal." 03:27:59 -!- Bike_ has changed nick to Bike. 03:28:57 -!- WeThePeople has quit (Quit: Leaving). 03:29:04 lucky them 03:29:26 good assumption i think 03:29:53 Oh, hey, I think this one is actually vaguely sort of near what tswett was saying. 03:29:56 «We propose to “boost” the speed of communication and computation by immersing the computing environment into a medium whose index of refraction is smaller than one, thereby trespassing the speed-of-light barrier.» 03:32:07 you can have fairly mundane materials whose index of refraction is less than one 03:32:21 because IoR is defined according to the phase velocity 03:32:31 but this doesn't imply superluminal transfer of information 03:32:37 want the paper? 03:32:41 no 03:32:44 thanks 03:32:57 heh 03:34:48 heegan 03:34:52 how are the monoids today 03:35:32 summertime and the monoids are easy 03:36:09 i downgraded my old laptop from a SSD to a spinny disk 03:36:21 Why? 03:36:21 have to remember not to throw that one at sofas anymore 03:36:28 so that i can give the SSD to a friend 03:36:28 To put the SSD elsewhere? 03:36:30 yes 03:41:11 -!- Nisstyre_ has quit (Ping timeout: 255 seconds). 03:42:30 -!- Nisstyre has joined. 03:46:58 -!- glogbackup has quit (Remote host closed the connection). 03:51:00 -!- glogbackup has joined. 03:55:35 -!- glogbackup has quit (Ping timeout: 260 seconds). 04:03:21 -!- glogbackup has quit (Remote host closed the connection). 04:14:18 kmc: Did you read _Cat's Cradle_? 04:14:50 vonnegut? 04:15:21 Vonnegut time? 04:15:22 -!- glogbackup has quit (Ping timeout: 276 seconds). 04:17:26 -!- WeThePeople has joined. 04:20:36 no 04:21:06 You should read it! 04:21:14 ok 04:24:45 -!- Nisstyre has quit (Ping timeout: 260 seconds). 04:26:48 -!- Nisstyre has joined. 04:40:34 City on fire! / Rats in the grass / And the lunatics yelling in the streets! / It's the end of the world! Yes! 04:41:01 -!- Nisstyre_ has joined. 04:41:19 aren't there always rats 04:41:53 -!- Nisstyre has quit (Disconnected by services). 04:42:01 -!- Nisstyre_ has changed nick to Nisstyre. 04:44:51 Hmm. J seems like it might be a reasonable language to implement Befunge-98 in 04:46:33 -!- Nisstyre has quit (Ping timeout: 252 seconds). 04:46:36 -!- Nisstyre-laptop has joined. 05:02:02 -!- WeThePeople has quit (Quit: Leaving). 05:14:31 -!- sirdancealot7 has quit (Ping timeout: 276 seconds). 05:15:03 -!- zzo38 has joined. 05:17:19 -!- TeruFSX has quit (Quit: Leaving). 05:27:29 -!- sirdancealot7 has joined. 05:37:44 kmc: By the way, you know ho CoYoneda IORef gives you a "read-only IORef" that can't do any other effects? 05:37:50 As opposed to "IO a" 05:38:15 That can either be a good thing or a bad thing. 05:38:28 Is APL more readable than J? 05:38:42 And how do they both compare to Clojure? 05:39:12 "Is APL more readable than J" should be the PLT version of "How many angels can dance on the head of a pin". 05:40:12 are monoids more lovable than categories 05:40:13 imo yes 05:40:46 how long until you get tired of this beaky thing 05:41:13 monqy: how long until you get tired of the "monqy style" 05:41:32 what's that 05:41:52 a thing 05:41:53 imo monoids 05:41:54 imonoids 05:45:01 monoids mo problems 05:45:51 monoids mo annoyed 05:52:45 -!- quintopia has quit (Ping timeout: 240 seconds). 05:59:37 -!- quintopia has joined. 06:21:59 the noid ruins pizzas 06:24:10 I crashed someone's Haskell bot with a GHC type system bug. 06:24:17 By crashed I mean unsafePerformIO-then-segfault 06:24:18 congratulations 06:24:29 monqy: thx 06:24:32 you should own their computer 06:24:46 Instead of that I told them about -dcore-lint. 06:25:55 chmod +s /usr/bin/ghc 06:25:56 'On January 30, 1989, Kenneth Lamar Noid, a mentally ill customer who thought the ads were a personal attack on him, held two employees of an Atlanta, Georgia, Domino's restaurant hostage for over five hours.' 06:26:07 :( 06:26:17 -dcore-lint is like a condom for your haskell bot 06:28:08 it's pretty easy to go from unsafePerformIO to an arbitrary memory read/write yeah? 06:28:12 er 06:28:14 unsafeCoerce 06:31:14 I just crashed it again! 06:31:20 This time by defining a custom Typeable instance. 06:31:25 He should probably turn on SafeHaskell 06:31:27 Is this with -dcore-lint? 06:31:32 Yes. 06:31:35 neat. 06:31:40 But this is a know thing. 06:31:46 read :: Word64 -> Word64; word addr = fromJust (unsafeCoerce (addr - 8) :: Maybe Int) 06:31:46 A know thing? 06:31:49 or something? 06:32:14 Well, you can run arbitrary IO easily. 06:32:21 how's that? 06:32:21 But I guess all the Foreign functions might not be in scope. 06:32:29 right 06:32:47 IO a = State# RealWord -> (# State# RealWorld, a #) 06:32:50 you run IO by unsafeCoercing to something operationally isomorphic to... yeah 06:32:59 So you can cast to () -> () or something. 06:33:06 that's tricky though because State# t has a weird STG-type 06:33:10 Right. 06:33:15 but it probably works out 06:33:20 I managed to run IO both times so far, but I segfaulted it too. 06:33:29 Or actually illegal-instructioned it. 06:33:33 woo 06:33:37 I guess it tried to evaluate the () and jumped to some invalid code. 06:33:54 so how would you do a memory write, assuming Foreign stuff isn't in scope? 06:34:01 Hmm. 06:34:20 That seems tricky, actually. 06:34:37 Well, you can probably jump to arbitrary code? 06:34:59 That doesn't necessarily help you that much. 06:35:46 does GHC's allocator set page permissions? you might be able to just create a ByteString and then jump into it 06:36:24 I think pages should be nonexecutable by default? 06:36:31 mauke has a "hello world" that works that way. 06:36:37 But it's for 32-bit x86 06:37:20 ok 06:37:44 GHC only sets page permissions explicitly for foreign import wrapper, as far as I know. 06:38:41 hm I didn't have to do anything with page permissions for http://mainisusuallyafunction.blogspot.com/2010/09/executing-bytestring.html 06:39:01 Huh. 06:39:07 Well, it just allocates bytestrings with malloc. 06:39:47 Huh, it works. 06:40:54 Maybe it has to do with the FFI? 06:41:14 * shachaf straces 06:41:35 did you get a PoC executing bytestring using only unsafeCoerce? 06:41:46 Hmm. Apparently any single-line pointful verb definition can be converted into pointfree 06:41:47 in J 06:42:00 Are there expressions that @pl cannot convert in Haskell> 06:42:06 can we have a poll to decide what the next Sgeolang is? 06:42:19 No. 06:42:24 It might not be as easy as I said. 06:42:25 Does J really count as a current Sgeolang? 06:43:10 I vote Sgeolang. 06:43:25 shachaf: I guess you would use a second ByteString to build a fake heap object, whose first word points to the code you want to execute 06:44:04 then you get the address of that bytestring into a constructor field and force it 06:44:19 kmc: Oh. 06:44:24 I bet the ByteString is allocated statically? 06:44:29 Wait, maybe not. 06:47:42 -!- Nisstyre has joined. 06:49:21 7ffff6e00000-7ffff6f00000 rwxp 00000000 00:00 0 06:49:26 I guess it does allocate w+x memory 06:49:52 good times 06:52:01 rwxp 06:52:11 the p is for profit 06:52:13 "Um cool" 06:53:19 Now they turned on SafeHaskell but also left GeneralizedNewtypeDeriving on. 06:53:24 So I can still write unsafeCoerce. :-( 06:53:25 :( 06:53:27 SafeHaskell is hard. 06:53:48 You should just root their system and fix it properly. 06:57:34 whoisthey 06:57:49 I don't see it allocating any w+x memory in strace 06:57:50 Beaky. 06:58:13 for real? haha 06:58:22 ? 06:58:25 No, this isn't beaky 06:58:27 oh 06:58:33 Bike is making things up. 06:58:34 It's beaky in my shachaf fanfiction. 06:58:46 Please don't tell me about shachaf fanfiction. 06:58:56 You can write whatever you want, just don't tell me about it. 06:58:58 It's titled "Coercion Ain't Easy" 06:59:13 i love monoids 06:59:19 You like BDSM, right? 07:04:54 I prefer SDSM. 07:05:39 ...is that even legal nowadays? 07:06:04 I like my SDSM blessed greased 07:06:16 I'm sure Jafet can empathize. 07:06:30 tch, I bet you use scrolls of genocide too. 07:09:30 shachaf's gaze penetrated through the slits of the balustrade, as the excited crowd of algebra neophytes struggled to grab the professor by any wrinkled limb or lineament they could find. Here, he knew, was a master of the group action. 07:12:49 -!- FreeFull has quit. 07:13:42 … 07:13:53 I think that went well. 07:19:28 kmc: 7fff5a4ea000-7fff5a50b000 rwxp 00000000 00:00 0 [stack] 07:19:41 I don't quite see what's going on. :-( 07:20:21 Maybe it's the ELF file somehow? 07:21:15 [stack] 07:21:19 Right. 07:21:27 I doubt it's remapping the stack. 07:21:48 yeah the file may set initial permissions for the stack 07:22:06 It's not just the stack, though. 07:22:27 7eff280e9000-7eff28269000 r-xp 00000000 08:03 1448930 /lib/x86_64-linux-gnu/libc-2.13.so 07:22:35 Er. 07:22:39 That's not w, sorry. 07:22:49 7eff28f90000-7eff28f91000 rwxp 00020000 08:03 1452451 /lib/x86_64-linux-gnu/ld-2.13.so 07:22:56 7eff28d68000-7eff28d70000 rwxp 00067000 08:03 658337 /usr/lib/x86_64-linux-gnu/libgmp.so.10.0.5 07:24:44 How do I figure this out from the ELF file? 07:24:48 GNU_STACK 0x0000000000000000 0x0000000000000000 0x0000000000000000 07:24:48 0x0000000000000000 0x0000000000000000 RWE 8 07:26:05 it should be documented somewhere, maybe the linker option to set the stack non/executable says how it does it 07:26:52 I'm looking at the flags GHC linked with. 07:28:22 Hmm. 07:28:35 Apparently GHC has some code to mark the stack non-executable. 08:01:22 -!- Nisstyre_ has joined. 08:02:07 -!- Nisstyre has quit (Disconnected by services). 08:02:16 -!- Nisstyre_ has changed nick to Nisstyre. 08:02:44 -!- Nisstyre-laptop has quit (Ping timeout: 240 seconds). 08:06:53 ) 0 = 1 o. o. 2 * i. 5 08:06:53 Sgeo: 1 0 0 0 0 08:06:54 :/ 08:10:35 * for signum actually obeys tolerance rules, hmm 08:10:45 ) * 1 o. o. 2 * i. 5 08:10:46 Sgeo: 0 0 0 0 0 08:15:52 -!- Nisstyre has quit (Ping timeout: 276 seconds). 08:24:37 -!- Taneb has joined. 08:29:51 -!- Nisstyre has joined. 08:33:55 -!- Taneb has quit (Quit: Leaving). 09:01:34 -!- zzo38 has quit (Remote host closed the connection). 09:01:38 -!- carado has joined. 09:24:32 -!- carado has quit (Ping timeout: 246 seconds). 09:31:45 -!- epicmonkey has joined. 09:35:29 -!- ais523 has joined. 09:37:25 -!- copumpkin has quit (Ping timeout: 260 seconds). 09:38:50 -!- copumpkin has joined. 09:51:42 -!- ais523 has quit (Ping timeout: 276 seconds). 09:51:54 -!- Bike has quit (Quit: bye). 09:56:04 `list 09:56:31 'list 09:58:36 HackEgo? 09:58:46 `cat bin/list 09:58:49 `quote 09:58:51 `asjdflasjdfk 10:04:29 *sigh* 10:04:54 GREGOR! 10:05:02 -!- glogbackup has quit (Ping timeout: 256 seconds). 10:05:09 atriq Taneb I forget Fiora someone someonelese 10:12:23 -!- glogbackup has quit (Remote host closed the connection). 10:14:09 You should put that thing in fungot, that's clearly the most stable bot available. 10:14:09 fizzie: i mean... what if it gets a 87% grade when i found a solution to the problem 10:15:44 ^def list ul (Taneb atriq Ngevd Fiora nortti Sgeo alot)S 10:15:44 Defined. 10:15:52 ^list 10:15:52 Taneb atriq Ngevd Fiora nortti Sgeo alot 10:16:02 ty 10:16:09 ^save 10:16:10 OK. 10:21:49 -!- glogbackup has quit (Remote host closed the connection). 10:43:55 -!- DHeadshot has quit (Ping timeout: 260 seconds). 10:55:47 -!- azaq23 has joined. 10:55:56 -!- azaq23 has quit (Max SendQ exceeded). 10:56:27 -!- azaq23 has joined. 11:11:44 -!- monqy has quit (Quit: hello). 11:15:20 -!- glogbackup has joined. 11:20:05 -!- glogbackup has quit (Ping timeout: 260 seconds). 11:23:55 -!- copumpkin has quit (Ping timeout: 244 seconds). 11:24:25 -!- copumpkin has joined. 11:49:37 -!- epicmonkey has quit (Ping timeout: 245 seconds). 11:53:35 -!- Frooxius has quit (Ping timeout: 255 seconds). 12:08:08 -!- DHeadshot has joined. 12:09:11 -!- Phantom_Hoover has joined. 12:12:37 -!- oerjan has joined. 12:15:46 -!- Frooxius has joined. 12:17:06 `echo hi 12:17:42 ^echo ^echo 12:17:42 ^echo ^echo 12:17:47 hello oerjan 12:17:48 welcome 12:18:16 good afternoon shachaf 12:18:38 Not hardly! 12:18:40 @localtime 12:18:43 Local time for shachaf is Mon Jan 28 04:18:40 2013 12:21:03 ha ha you people keep faking that timezone thing 12:22:14 -!- DHeadshot has quit (Ping timeout: 252 seconds). 12:24:30 "^echo ^echo" is the best quine in the fungot-^echo-language. 12:24:30 fizzie: you can tell 12:24:48 fungot: hi 12:24:48 shachaf: then one could write ( loop-safety on) or ( x ( get-value) block) will expand to the same event at the same time 12:25:51 (DECLAIM '(OPTIMIZE (LOOP-SAFETY ON))) 12:25:55 sadly it's also the _only_ quine, i think. 12:26:11 @localtime fungot 12:26:11 fizzie: there are a bazillion definitions per item with no discernable purpose and reside in a different order 12:26:30 x ++ x == "^echo " ++ x doesn't have a lot of solutions 12:26:32 Local time for fungot is ITS NOT A FAKE 12:26:59 um 12:27:08 * x ++ " " ++ x == "^echo " ++ x doesn't have a lot of solutions 12:27:44 oerjan: Do empty programs count? 12:27:52 ^echo 12:27:53 12:27:55 no. 12:27:59 That's not an empty program. 12:28:01 It's ^echo 12:28:17 shachaf: he said "in the fungot-^echo-language" 12:28:18 oerjan: ais523 suggested it x-p you win!!! eheheheeheh trying to find a way to see where one can look at the number of 12:28:46 Do all programs in that language start with ^echo? 12:28:51 In that case I guess it's the only quine. 12:29:08 They all do start with "^echo ". 12:30:08 ^echo 12:30:08 12:30:14 That's not a ^echo-program? 12:32:21 ^show echo 12:32:21 >,[.>,]<[<]+32[.>] 12:32:50 Hrm, for some reason I confused ^echo with one of the commands where the space is mandatory. 12:33:39 i think the space is handled by fungot's pre-bf parsing 12:33:39 oerjan: remembered. i'll tell riastradh when he/ she 12:34:03 the one on input, that is 12:34:27 Yes, it's only the fixed commands that sometimes check also that there is a space. 12:34:32 i love fungot 12:34:32 shachaf: like calories. a 12:34:36 so ^command is equivalent to ^command 12:34:36 fungot is so easy 12:34:36 shachaf: actually i'll probably change and to and, although it would eventually segfault. 12:35:00 only fungot can make a segfault by changing and to and 12:35:00 oerjan: whichever is closer to most module systems, is it 12:36:59 Everyone loves fungot like calories. 12:36:59 fizzie: i have to, as the compiler is correct? maybe the implementations of " reverse" 12:37:22 i love fungot like calories. a 12:37:22 shachaf: thanks. your new nick? hehe ( sometimes i make too long sentenced to avoid being eaten by a grue. 12:37:31 fungot++ 12:37:31 shachaf: ( i think)." 13:00:13 -!- epicmonkey has joined. 13:07:25 -!- sebbu has quit (Ping timeout: 260 seconds). 13:22:50 -!- Arc_Koen has joined. 13:33:39 Did elliott take my quote out of the topic? 13:33:44 "it was a good run" 13:34:33 i dunno 13:35:22 unless you mean the lambda cube, in which case yes 13:35:35 Six simultaneous rotations of the lambda tesseract 13:35:46 I should go to sleep. 13:40:40 Food for thought: NaNoWriMo requires 50000 words in order for something to qualify as a novel; W|A says average English word length is 5.1 characters; allowing for some whitespace and punctuation, 6.5*50000 = 325000 characters. Compare this with http://zem.fi/esostats/fig/activity_chars_20year.png -- since mid-2008, the channel seems to average around 1-2.5 novels a week. 13:41:40 the plot is horrendous, though 13:42:17 And the characters are, frankly, stupid and unbelievable. 13:42:29 except for fungot and zzo38, they'll obviously go on to start spinoff series 13:42:29 oerjan: wiliki sure looks a lot like the inverse of f(n) a(n,n)? would it run the other schemes will do something with 13:43:35 Also, total characters over all time: 127,714,454 i.e. 393 novels, which again reminds me that I'd like to see the #esoteric bookshelf as a physical thing. 13:44:11 -!- copumpkin has quit (Ping timeout: 252 seconds). 13:44:42 -!- copumpkin has joined. 13:45:31 -!- augur has quit (Remote host closed the connection). 13:56:07 -!- Jafet has quit (Quit: Leaving.). 13:56:34 -!- Jafet has joined. 14:19:04 fizzie: is #esoteric bookshelf just printed logs of #esoteric 14:20:17 Yes. Well, not just "printed", but bound to something for which the word "tome" is appropriate. 14:20:43 Possibly also "copied by a cloisterful of monks" as opposed to "printed". 14:22:43 i guess illumination is mandatory as well. 14:23:30 fizzie: well here I was considering giving Lulu a bunch of money to make that dream a reality 14:23:33 I WON'T BOTHER NOW 14:23:40 http://www.flickr.com/photos/darrellg/6822994478/ I mean something like this maybe? 14:24:49 I nominate fizzie to be the monk. 14:25:33 but who would be the monq 14:25:39 btw why am i awake 14:25:42 Good night! 14:25:49 May all your monoids be easy! 14:31:10 -!- boily has joined. 14:45:13 Is the monq monqy? 14:46:27 -!- WeThePeople has joined. 14:47:00 -!- augur has joined. 14:54:02 -!- oerjan has quit (Quit: leaving). 15:18:57 -!- Lumpio- has quit (Ping timeout: 248 seconds). 15:24:35 -!- Taneb has joined. 15:44:15 -!- FreeFull has joined. 16:00:20 -!- glogbackup has joined. 16:02:45 -!- ais523_ has joined. 16:17:11 -!- glogbackup has quit (Remote host closed the connection). 16:44:48 "In 2007, Niven, in conjunction with a group of science fiction writers known as SIGMA, led by Pournelle, began advising the U.S. Department of Homeland Security as to future trends affecting terror policy and other topics.[8] One of his suggestions as a member of SIGMA was that hospitals stem financial losses by spreading rumors in Spanish within the Latino community that emergency rooms are killing patients in order to 16:44:48 harvest their organs for transplants, in order to reduce illegal immigrants' use of emergency rooms.[9]" 16:44:53 larry niven..................................................... 16:45:12 Phantom_Hoover: yikes 16:45:30 that's another sci-fi author on the crazy list 16:46:55 -!- desty has joined. 16:47:00 According to author Michael Moorcock, in 1967 Niven was among those Science Fiction Writers of America members who voiced opposition to the Vietnam War.[5] However, in 1968 Niven's name appeared in a pro-war ad in Galaxy Science Fiction magazine.[6] 16:47:04 Niven was an adviser to Ronald Reagan on the creation of the Strategic Defense Initiative anti missile policy, as covered in the BBC documentary Pandora's Box by Adam Curtis.[7] 16:47:11 hmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm 16:48:16 maybe he got sick of the government asking him to join in with their idiotic initiatives and decided to take the piss 16:48:23 (hahahaha) 17:06:17 That sounds like him. 17:10:14 -!- copumpkin has quit (Ping timeout: 240 seconds). 17:10:44 -!- copumpkin has joined. 17:27:03 Wow, I just rage-parted a channel 17:27:05 That's a first 17:27:55 raaaaaaaage 17:28:02 Rage against the channel. 17:28:50 PARTING IN THE NAME OF *riff* 17:29:27 -!- sebbu has joined. 17:30:44 There were two people who differed on opinions regarding GNU very loudly 17:32:46 -!- Taneb has changed nick to Taneb|Away. 17:37:40 http://zem.fi/esostats/charfreq_brainfuck.html it's probably partially BFJoust days? 17:41:49 fizzie: then do a search for "bfjoust" and overlay it 17:45:00 There are so many possible THINGS. But I suppose I'll add a straight-forward keyword-frequency thing similar to those charfreq things. Though I don't know what else than "bfjoust" to include. 17:45:22 that should be enough 17:45:46 case insensitive "bfjoust" should catch just about every day that it was discussed 17:46:13 Yes, but, I mean, maybe there are other things in the world in addition to bfjoust too. 17:46:27 I suppose I can run some kind of a TF-IDF keyword extraction on my dataset, though. 17:50:58 fizzie, augur and psygnisfive are the same. 17:51:15 OIC. 17:51:29 oh hi 17:51:56 I'd rerun the people-statistics bit, but my computar is so noisy when it's doing things. :/ 17:52:04 who was talking about other me? 17:52:24 The other you ended up in my list of "important" people for some plots plots plots. 17:53:14 is the list of important people the set of all people who posted more than x times in this channel? 17:53:32 Yes. 17:53:49 Where 'x' was somewhere between two and three thousand. 17:53:56 Phantom_Hoover: where did fizzie mention my other username? :| 17:54:06 It's in the charts. 17:54:09 o 17:54:26 where 17:54:36 http://zem.fi/esostats/ "individual activity charts" 17:55:07 oookay... 17:55:42 oic 17:56:01 They will be merged after the next recomputamation. 17:57:23 ive been pretty inactive in here lately 18:04:38 meh. I'm not important yet. 18:05:52 -!- sirdancealot7 has quit (Ping timeout: 245 seconds). 18:06:28 boily: then chat more! 18:08:28 boily: You've been made important for the next run. (But you should indeed chat more; your linecount in my logs is just 505.) 18:09:02 -!- sirdancealot7 has joined. 18:09:36 I need to chat more indeed. 18:09:56 boily: are you france 18:09:56 -!- ais523_ has quit (Quit: Page closed). 18:10:25 quintopia: nope. still canadaing, even if I think its existence hasn't been yet formalized, let alone proved. 18:10:43 lets all go to canada and chat boily 18:10:43 I wonder who's the nearest member from me in this channel. 18:10:56 zzo38 is west coast canadia 18:11:09 what province? 18:11:14 montréal, québec. 18:11:23 hmm. i'm gonna gues sgeo 18:11:29 east coast US? 18:11:31 sgeo is new york 18:11:38 Indiana 18:11:38 definitely nearer. 18:11:51 BC is like 5000 km away from me. 18:12:21 say, does anyone here have experience with OpenGL ES 2.0? 18:12:57 no. i like esolangs, but that one is just too esoteric 18:13:54 -!- surma has joined. 18:16:21 Hey guys, I need a language where every combination of is a valid and executable program. Does anything come to mind? I was thinking of SUBLEQ (or any OISC for that matter), but I was hoping you guys would know something more abstract 18:18:06 it's like that in many genetic programming implementations, where everything must be valid and defined (even if meaningless or NOP in most cases) since the code is generated by random process 18:18:40 so, for example, the PushGP language probably allows any input? 18:19:39 boily: your use of the fake letter "é" proves you must be french 18:24:09 -!- Bike has joined. 18:26:32 surma: http://esolangs.org/wiki/Jot is one example. (Every string in [01]* is a valid Jot program.) 18:27:23 elliott: sincé whén is é a faké léttér? 18:30:19 desty: Ha, the genetic programming application slipped my mind. Makes a lot of sense to look there. 18:30:22 Thanks fizzie ! 18:33:12 TF-IDF top-16 terms for 2005-03-05: "brainfuck he bf really org than languages possible name tutorial programming hehe ah how bfasm p" ... and for 2005-03-06: "esoapi pesoix easel h will dialect cpressey api up has they level bos o check switch"; well look at that, it actually does sort of hint as to what was the topic of discussion that day. (Disclaimer: IDF computed over a total of three ... 18:33:18 ... days; larger thing now in progress.) 18:34:39 "brainfuck he bf really org" <- sure it isn't from some S&M chatroom? :P 18:34:46 serendipitous reddit link: http://www.primaryobjects.com/CMS/Article149.aspx 18:35:34 Advantages of Brainf-ck as an AI Programming Language 18:35:40 this is certainly something 18:36:20 -!- Taneb|Away has changed nick to Taneb. 18:36:23 http://blog.bitbucket.org/2013/01/28/signup-to-bitbucket-via-google-or-github/ You can now sign in to BitBucket with your GitHub account. 18:36:57 why are people so obsessed with self-modifying code -> AI... 18:37:40 Aw dagnabbit, I forgot to filter out initial nick-attributions, this whole output is now just mostly list of people who've been talked to -- http://sprunge.us/iTii -- will have to redo. 18:37:45 I see they don't even give any examples of evolving programs to compute a function... just constant output. 18:37:50 from experience, genetic algos are slow, computation intensive, and they don't work. 18:38:01 boily: yes, very slow and inefficient 18:38:07 fizzie: Might want to ignore lines starting with ! and ` too. 18:38:13 Except I guess !bfjoust would be Relevant(tm). 18:38:49 I wrote a genetic programming engine to try to evolve strings of input to vim (for vimgolf)... it was awful :) 18:39:06 Maybe the command names can stay. But people are boring, I'll get rid of them. 18:39:27 "ehird compile cube shit" "sexy ehird bitch" Um, okay. 18:40:01 Hey, that's just what the machine tells me. :p 18:40:25 surma: brainfuck and the uncountably many brainfuck derivatives have that property 18:40:47 most bytes (or is it characters?) are no-ops 18:40:48 kmc: ] is an invalid bf program 18:40:58 < too, under most interpretations 18:41:00 ok fair enough 18:41:48 fizzie: Can you pad every Jot program out to be byte-sized? 18:41:58 Or are there hypothetically functions which can only be expressed as Jot programs of a non-integral number of bytes? 18:44:27 I'm not qualified to tell, but I'd hazard a guess you can always at least pad to some multiple of 8. 18:48:32 http://sprunge.us/aBZV <- nick-attribution-filtered tfidf output. Apparently there's still quite a few nicks, possibly since people in fact mention other people also inside their comments. 18:48:45 2012-12-26's topic: "rape switzerland" 18:55:28 fizzie, does the people one combine Taneb, Ngevd, and atriq? 18:55:45 fizzie: how do you feel to have been in this channel for over a decade 18:58:18 Taneb: It does. 18:58:35 coppro: I don't think I really "get" it. 18:59:05 get what? this channel? 18:59:10 -!- epicmonkey has quit (Ping timeout: 260 seconds). 18:59:59 -!- desty has left ("Leaving"). 19:00:40 The ten years. 19:00:56 'Shipment of 18 human heads found at Chicago's O'Hare airport' 19:01:03 fizzie: http://codu.org/logs/_esoteric/2003-01-19.txt 19:01:07 that was more than 10 years ago 19:01:26 kmc: destined for what? 19:01:46 greatness 19:01:49 coppro: fizzie has been here since before 2003-01-19. 19:02:07 elliott: I know 19:02:11 but that's how far back the logs go 19:02:31 so I dispute your claim and demand evidence otherwise 19:02:33 Actually they go back to http://codu.org/logs/log/_esoteric/2003-01-18. But it's interesting that fizzie's private logs that are in the rsync thing aren't in the web interface. 19:02:52 (From 2002.) 19:03:33 http://www.borderagencyscotland.com/ 19:06:41 -!- AnotherTest has joined. 19:06:45 greetings 19:06:54 lies 19:09:32 Esolang the movie staring Elijah Wood as Elliott Hird and Viggo Mortensen as rjan Johansen. 19:10:23 +1 19:10:34 coppro, who would play you? 19:10:36 Or me? 19:10:40 Taneb: Andy Serkis obv 19:10:56 I didn't mean to restrict it to LOTR actors 19:11:03 it's all right 19:11:08 you can be played by Anne Hathaway 19:11:11 I think I'd be played by Zachary Quinto 19:12:00 fizzie and oerjan are the olde hats. 19:12:24 Taneb: sorry but we have to get Dijkstra to play oerjan. 19:12:27 It was agreed. 19:12:46 ...isn't he kind of dead? 19:13:00 I DON'T CARE 19:13:03 Not only is he kind of dead, he's entirely dead. 19:13:03 Use necromancy if you have to! 19:13:19 I like necromancy. all those shiny zombies :D 19:14:09 no need for necromancy, you could just prop up his rotten corpse like a puppet 19:14:25 cost effective 19:14:35 today is privacy day 19:14:41 NSA is watching you 19:15:08 AnotherTest, should I... 19:15:17 should I do a song and dance routine or something? 19:15:21 Is this a talent contest? 19:15:31 only if you're prepared to have it uploaded to youtube 19:26:00 Is there any number argument to genericTake, where an input of an infinite list will produce an infinite list 19:28:03 yes 19:28:35 (fix Succ) 19:28:38 if you define inductive natural numbers then you can define ω which is an infinite number 19:29:03 *conatural 19:29:06 as elliott said, ω = Succ ω 19:29:08 elliott: ;P 19:30:11 you could also just define a "numeric" type which is always infinite 19:30:26 well then your fromInteger has to lie 19:30:31 that's fine 19:30:59 not really :P 19:31:07 fuck tha police 19:31:11 do you need a fromInteger in a Numeric type? 19:31:15 @src Num 19:31:15 class (Eq a, Show a) => Num a where 19:31:15 (+), (-), (*) :: a -> a -> a 19:31:15 negate, abs, signum :: a -> a 19:31:15 fromInteger :: Integer -> a 19:31:20 Bike: behold the worst class in the universe 19:31:27 Bike: it gets better though 19:31:29 @src Real 19:31:29 class (Num a, Ord a) => Real a where 19:31:29 toRational :: a -> Rational 19:31:34 that's not better 19:31:38 that's not better at all D: 19:31:38 ponder that for a moment 19:31:59 christ is there any good way to make numbers in programming remotely like they are in math 19:32:03 "no" 19:32:16 abstract algebra is kinda unwieldy to do via typeclasses 19:32:28 where's class Group huh 19:32:31 where's class Monoid 19:32:35 WHERE'S BEAKY 19:32:35 @src Monoid 19:32:36 class Monoid a where 19:32:36 mempty :: a 19:32:36 mappend :: a -> a -> a 19:32:36 mconcat :: [a] -> a 19:32:39 oh, there it is 19:32:40 they are so easy, even typeclasses can do them 19:32:56 still think it's weird that the operation is called "append" 19:33:04 also is mconcat really just there for efficiency 19:33:19 wait... 19:33:21 @src Monad 19:33:22 class Monad m where 19:33:22 (>>=) :: forall a b. m a -> (a -> m b) -> m b 19:33:22 (>>) :: forall a b. m a -> m b -> m b 19:33:22 return :: a -> m a 19:33:22 fail :: String -> m a 19:33:28 mconcat has a default definition, yeah 19:33:42 oh, type classes don't have inheritance or nuthin, do they 19:34:01 they have superclasses 19:34:03 @src Monoid 19:34:04 class Monoid a where 19:34:04 mempty :: a 19:34:04 mappend :: a -> a -> a 19:34:04 mconcat :: [a] -> a 19:34:14 monads aren't monoids! 19:34:18 where are the endofunctors 19:34:20 is my life a lie? 19:34:28 it's all obfuscated 19:34:29 I think the default definition for mconcat is something like foldr mappend mempty 19:34:36 so i would assume 19:35:14 @src Group 19:35:14 Source not found. It can only be attributed to human error. 19:35:18 :( 19:35:26 Bike: class Category cat => Monoid cat unit product mon where mempty :: unit `cat` mon; mappend :: product mon mon `cat` mon 19:35:33 or, with infix syntax that is sadly no longer allowed: 19:35:49 class Category (~>) => Monoid (~>) unit (**) mon where mempty :: unit ~> mon; mappend :: (mon ** mon) ~> mon 19:35:55 THEY GOT RID OF THAT SYNTAX?!? 19:35:57 now if you let (~>) = (->), unit = (), (**) = (,), you get 19:35:58 noooooo 19:36:03 mempty :: () -> mon; mappend :: (mon, mon) -> mon 19:36:05 which is Monoid 19:36:07 whyyyyyyyyyyyy 19:36:14 if you let f ~> g = (forall a. f a -> g a) (<-- natural transformation) 19:36:16 unit = Identity 19:36:24 (**) = functor composition i.e. (f ** g) a = f (g a) 19:36:26 you get 19:36:31 mempty :: Identity a -> mon a 19:36:36 mappend :: mon (mon a) -> mon a 19:36:45 which is a Monad (return and join respectively), if mon is a Functor! 19:36:55 now you actually need to wrap those latter definitions up into data types and stuff to get it work 19:37:03 but with the PolyKinds extension you can actually define a generic Monoid in this way 19:37:10 kmc: that syntax is now used for actual infix types, rather than type variables 19:37:16 sucks 19:37:17 kmc: i.e. you can define data a * b = Product a b or whatever 19:37:20 You know, the full name for football is associative football 19:37:26 Does that mean football can be a monoid? 19:37:29 so close yet so far 19:37:41 Or a semigroup 19:37:43 kmc: not being able to use infix type variables is annoying, but having to prefix infix types with : is arguably worse 19:38:34 Nevermind, it's actually association football 19:39:52 imo football is a magma at best 19:41:21 now i'm picturing a football variant with obstacles in the form of holes filled with molten rock 19:43:39 i'd watch it 19:44:03 http://zem.fi/esostats/charfreq_brainfuck.html Aw, the word "bfjoust" doesn't correlate all that well with brainfuck characters. (Though that peak in 2009 followed by a longish bump for the rest of the year probably qualifies.) ((Also there are some other terms plotted in the index.)) 19:53:13 http://docs.python.org/3/c-api/init.html#threads kmc, is this part of why you were complaining about pythong threads? 19:54:46 yes the Global Interpreter Lock is one of the problems 19:56:28 I thought GIL just prevents good parallelism but not concurrency? 19:56:52 did anyone say anything to the contrary? 19:57:07 that said I don't think there are provisions for good concurrent I/O either 19:57:12 -!- augur has quit (Read error: Connection reset by peer). 19:57:22 despite not supporting parallelism, CPython threads are OS threads and will block in individual system calls 19:57:31 rather than having something like the GHC IO manager 19:57:36 -!- augur has joined. 19:57:44 * Sgeo personally cares about concurrency more than parallelism 19:57:59 Although I guess being OS threads means annoying heavyweight threads 19:58:39 the heaviness of OS threads is also sometimes overstated 19:58:49 -!- Taneb has changed nick to Taneb|Away. 19:59:01 Linux can definitely support a whole lot of threads 19:59:07 it depends on things like how much stack you allocate for each 19:59:31 oh also some of it is carryover from 32-bit days 19:59:52 because even if the actual stack memory is allocated on demand, you need to reserve address space for each stack 20:00:09 which can be a problem when you only have 3GB of address space 20:00:16 -!- ogrom has joined. 20:00:36 * Sgeo is using a 32-bit Linux OS although the machine is 64-bit 20:00:41 64-bit but only has 2GB memory 20:00:47 why 32-bit OS? 20:02:00 Not sure, installed it 2010 I think. I guess I figured since I don't have enough memory to really make 64-bit relevant and since I had the impression that 64-bit OS would be incompatible with stuff 20:02:43 ok well you don't need lots of physical memory to make a 64-bit address space useful 20:03:06 Sgeo: you can make most 32bit programs run on 64bit operating systems 20:03:16 also the AMD64 architecture has lots of improvements over i386 that are unrelated to the word size change 20:03:43 yeah the compatibility story is pretty good these days 20:03:51 you can always install a 32-bit userland in a chroot, but it's rarely necessary 20:04:30 well also if you only have 2 gigs of ram running a 64 bit OS will reduce your effective RAM 20:04:36 -!- augur has quit (Ping timeout: 245 seconds). 20:04:53 because pointers are twice as big? 20:04:54 that's true 20:05:16 yeah 20:05:17 you could run a 64-bit kernel and a mostly-32-bit userland, but i think that's not generally that worthwhile on x86 20:05:19 and words in general 20:05:34 You could add more RAM! 20:05:35 maybe once x32 is mainstream you would run a 64-bit kernel and a mostly-x32 userland 20:05:45 elliott: well int is still 32 bits 20:05:56 sure 20:06:43 help I need to get my brain fully functional in less than an hour I didn't get enough sleep since I was reading about J and EVE all night 20:06:48 i think having twice as many registers and convenient position-independent code beats the word size increase for many tasks 20:06:54 drugs? drugs 20:08:36 -!- epicmonkey has joined. 20:11:14 functional position-independent drugs? 20:13:06 32 bit architectures may have killed the idea of memory mapped files :( 20:13:22 like, how many apps have some ad hoc caching layer where they read stuff from disk and keep it in memory for a while? 20:13:28 wouldn't it be great to make the OS do that for you? 20:13:39 kmc: something about @ 20:14:10 i'm not sure the Kids These Days starting as programmers really appreciate what virtual memory can do 20:17:12 * kmc wonders what the mincore() syscall is good for 20:17:32 mroman: Nice brainfuck interpreter you got there. 20:17:49 very nice. 20:19:10 :) 20:19:12 thx. 20:19:26 It made we write a Collatz program :D 20:19:32 *me 20:20:10 I sort of like the language because it allows you to write small programs that do quite a lot 20:20:41 In that way, it reminds me a little bit of zetaplex (and its variants) 20:26:40 -!- oerjan has joined. 20:28:16 -!- augur has joined. 20:30:44 where's the brainfuck interpreter? 20:31:05 quintopia: nope. still canadaing, even if I think its existence hasn't been yet formalized, let alone proved. <-- someone formalize it, please 20:31:07 ".""X"r~"-""\/^^{vvvv}c!!!-.256.%{vvvv}c!sa\/"r~"+""\/^^{vvvv}c!!!+.256.%{vvvv}c! sa\/"r~"[""{"r~"]""}{\/^^{vvvv}c!!!}w!"r~">""+."r~"<""-."r~"X""\/^^{vvvv}c!!!L[+] \/+]\/+]^^3\/.+1RAp^\/+]\/0RA1RA^^-]\/0RA\/"r~"\'\'1 128r@{vv0}m[0"\/.+pse!vvvv<-sh 20:31:10 there it is 20:31:46 in what language is that? 20:31:52 http://esolangs.org/wiki/Burlesque 20:32:12 that explains:) 20:32:54 and burlesque it is 20:32:59 Looks like J. 20:33:08 (Note: Does not actually look like J) 20:34:02 not enought punctuation marks to look like J. 20:34:53 Why is J considered a productive language and Burlesque isn't? 20:35:00 what would constitute a rigorous proof of the existence of canada? 20:35:06 `echo hi 20:35:22 GREGOR! 20:35:30 Gregor: IS BROKEN 20:35:36 Your face is broken. 20:35:57 I'd have to submit a solid sample of a chunk of canada to a comittee. 20:36:16 what does that look like 20:36:17 but then, there's always the possibility that I'd fake that sample. 20:36:19 a broken face 20:37:01 therefore, one of you will have to sacrifice him/her/itself to go to canada, and witness its existence. 20:37:19 you have to express cancada in Zermelo Fraenkel Set theory 20:37:49 darn. I feared that I'd have to do that. can't I just handwave it? 20:38:20 not sure if you need the axion of choice... 20:38:24 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 20:39:08 ZFC would do it; Zermelo Fraenkel with the axion of Canada 20:39:23 perhaps there is a consistent formal theory in which canada does not exist! 20:39:44 in which case the axiom of canada is necessary for a consistent theory that includes canada 20:40:05 -!- Phantom_Hoover has joined. 20:40:20 let's assume it doesn't exist and see what that implies 20:40:27 -!- Taneb|Away has changed nick to Taneb. 20:41:33 does the non-existence of canada implies provinces and territories don't exist too? 20:42:12 not necessarily. but they will probably be member states of the U.S. 20:42:44 The Yukon: Lone star state of the far northwest. 20:42:46 -!- DHeadshot has joined. 20:42:53 or the united states would be member states of canada, but canada would have some other name 20:43:01 such as japan 20:43:03 Such as "The United States of America" 20:43:08 wtf are you people talking about 20:43:17 canada? 20:43:37 the... nonexistence of canada? 20:43:47 the axiomatic independence of canada. 20:43:55 it's a long-standing open problem. 20:45:42 fizzie: Can you pad every Jot program out to be byte-sized? <-- yes, any prefix representing I can be removed, and the article's conversion turns SKS into the 23-bit 11111110001110011111000 (i tried SKK first but that was even length) 20:46:24 why would one want jot to be byte sized? compression? 20:46:52 presumably. 20:47:20 hmm, surely someone must have already made a Brainfuck backend for LLVM? 20:47:22 oerjan: so that means you'd have to add 7 bytes to it that do nothing just to make the encoding work sometimes. so wasteful! 20:48:25 better to just have 1 extra byte that says X if only first X bits of the last byte are part of the jot program 20:48:51 I thought what I'd do was, I'd pretend I was one of those deaf-mutes 20:49:09 Hmm, got the quote wrong 20:49:23 s/7 bytes/20 bytes/ 20:49:24 ...actually, I'm not entirely sure what the exact quote is 20:52:22 Maybe I shouldn't have looked up the quote 20:52:30 Spoilers for GitS really 20:52:49 -!- carado has joined. 20:52:59 -!- AnotherTest has quit (Quit: Leaving.). 20:53:10 I am so nervous 20:53:12 it kinda has become a 'it was its sled', seeing that every other cosplayer has had the spinning face once on their head. 20:53:14 And I didn't eat yet :( 20:53:36 oerjan, how can you remove a prefix representing I without changing the meaning? 20:53:41 boily, well, the logo itself isn't spoilery, but seeing a name associated with it presumably is 20:53:52 indeed. 20:54:08 ...even saying "a name" is spoilery, sorry everyone 20:54:20 (At least I think it's spoilery) 20:54:28 6 MINUTES 20:54:33 * Sgeo is going to go briefly insane 20:54:50 what's in a name? a deaf-mute by any other name would spoiler as much :p 20:55:27 5 minutes 20:55:28 you can remove 1 followed by a rep of I 20:55:29 So nervous 20:55:31 Wish me luck 20:55:40 Although I don't know if it's really an "interview" 20:56:43 don't worry. the worst that can happen is... oh, you mentioned interview. anything is permitted. 20:56:57 tromp: no, you can remove the rep of I itself because the semantics of FG depends on the string G but only on the semantics of F, so if F has the same semantics as the empty string (i.e. I) then [FG] = [G] 20:57:06 -!- augur has quit (Remote host closed the connection). 20:57:41 -!- augur has joined. 20:57:59 -!- augur has quit (Read error: Connection reset by peer). 20:58:21 -!- augur has joined. 20:59:47 the jot page says that [AB] = 1[A][B] 21:00:07 yes, so what you said is also true 21:00:26 oh hm 21:01:43 so code [A] is equivalent to code 1[I][A] 21:02:56 and [I] could be [SKK]=1[SK][K] = 11[S][K][K] 21:03:17 tromp: that's not the _definition_ of Jot though 21:04:03 -!- DHeadshot has quit (Ping timeout: 252 seconds). 21:04:04 no, it's the implied coding rules from CL to jot 21:04:24 argh http://idiom.ucsd.edu/~barker/Iota/ is a 404 _and_ has been a 404 for as long as wayback has archived it D: 21:06:40 oh hm... 21:06:48 that page was redirected 21:07:17 yes, i see you're right too 21:08:57 although it seems inconsistent 21:11:06 it makes one wonder what is the shortest non empty jot program for identity 21:16:49 i think it's 010 21:19:59 no wait, it's simply 1 21:21:36 no, 1 is S(KI) 21:22:29 isn't 1 ^xy. I (xy) ? 21:22:37 the representations on the article page are restricted to starting with 1, btw, because he wanted to have things give direct binary numbers by concatenation 21:23:12 If an interviewer keeps saying "interesting" is that a good thing? 21:23:34 it depends, that is sometimes just a meaningless filler word 21:23:38 it's not good. but it is interesting 21:24:27 help interviewer wants to see code for one of the projects I mentioned on resume. The code is horribly ugly 21:24:45 do you have time to clean it up? 21:24:47 tromp: hm i guess S(KI) = I except that it requires two arguments 21:24:57 kmc, I didn't think to ask for time to clean it up 21:24:59 also what stage is this? phone interview? 21:25:07 Well, phone conversation 21:25:12 Not sure if it counts as an interview 21:25:47 are you ircing while phone conversing 21:26:21 No, I'm off phone 21:26:39 I have IRCed while video chat sexing once 21:26:47 21:27:06 were you ircing here? did you spread cooties in the channel? 21:27:32 ok, so 1 = I only with eta equivalence, but 010 = I regardless, right? 21:28:15 Another channel 21:28:42 * oerjan wonders how that [AB] = 1[A][B] rule can possibly be true 21:28:48 Sgeo: oh, you're still alive! that's interesting! 21:29:01 i was wondering that myself... 21:29:09 i just took it for granted 21:29:34 ....I used bad language in the source code 21:33:03 only in the comments? 21:33:04 public static void longLiveVisualBasicSix() ? 21:33:56 fsck(that,sh*t); ? 21:34:04 tromp, as a variable name for a variable only used in debugging 21:34:29 -!- zzo38 has joined. 21:35:14 must be in the later stages of debugging, after frustration mounted 21:37:59 wait, is tromp a curse 21:40:00 Bike: google translate isn't much of a help on that matter, sadly. 21:40:08 wow another rails vulnerability: https://groups.google.com/forum/?fromgroups=#!topic/rubyonrails-security/1h2DR63ViGo 21:40:11 oh 21:40:23 I thought sgeo said ««tromp», as a variable name» 21:40:26 'The JSON Parsing code in Rails 2.3 and 3.0 support multiple parsing backends. One of the backends involves transforming the JSON into YAML" 21:40:45 that sounds like a pretty weird way to parse, uh, anything 21:41:54 kmc: nice 21:43:16 sent the email 21:43:22 :/ 21:45:29 I also mentioned some Haskell code I've written, but not sure if it's appropriate to send it along 21:45:33 (It's about speed dating) 21:45:40 pff 21:49:52 Sgeo: your job interview was about speed dating? 21:50:22 The actually not horrifically ugly code I've written last year was about speed dating 21:50:36 tromp: ah mystery solved. the CL -> Jot conversion satisfies a rather stronger property which makes it work, namely [F[A]] = [F][A] 21:51:38 so it's not enough to plug in an arbitrary Jot program in the 1[A][B] rule, it has to also satisfy that 21:52:26 yes, i realized that [AB] = 1[A][B] failes for even simple cases like A=B=0 21:53:11 and it doesn't help that [] is used in two ways:( 21:53:30 indeed. maybe i should disambiguate them 21:55:01 use {} for encoding function 21:55:14 i already did 21:56:22 not in [F[A]] = [F][A] 21:56:32 of course 21:58:00 i prefer self-delimiting languages :) 21:58:10 like iota 21:58:30 or BLC :) 21:59:13 article changed 21:59:18 or Unlambda :) 22:01:22 You know what would be cool? A readable J 22:01:29 did anyone write a brainfuck interpreter in Unlambda? 22:02:21 well i didn't, although i've pondered it a bit. 22:02:38 j is perfectly readable 22:02:48 it has the usual "needs a complete character table to convert I/O" annoyance 22:03:19 which showed up in my unlambda in unlambda 22:03:47 elliott: readable, yes. its understandability still remains a completely different matter. 22:04:24 http://oerjan.nvg.org/esoteric/interpreter.unl 22:05:00 * Sgeo just made his first commit in years to PSOX 22:05:21 http://trac.assembla.com/psox/changeset/98 22:06:06 -!- WeThePeople has quit (Quit: Leaving). 22:06:08 to make J more readable, just expand the single letter names according to http://www.jsoftware.com/help/dictionary/vocabul.htm 22:06:45 it has 3 operators devoted to taylor series alone:( 22:07:36 why is that a :(? 22:07:59 actually it has 1 and 2-char operators 22:08:01 oh dang they have hypergeometric functions in the base, huh 22:08:02 tromp: 3 operators for taylor series? that's completely insane! and lovable! 22:08:29 " 22:08:31 u T. n is the n-term Taylor approximation to the function u . " i love it 22:09:17 wow, automatic differentiation too 22:09:51 Wait, it has automatic differentiation? 22:09:57 I thought it only had numeric and symbolic 22:10:05 the only thing missing is the Kitchen Sink operator 22:10:13 tromp, that's !: 22:10:27 I'm just looking at http://www.jsoftware.com/help/dictionary/ddcapdot.htm 22:10:37 only for polynomials and their inverses by default 22:10:38 (Well, ok, that's Foreign, not Kitchen Sink) 22:10:47 But it's for all the other stuff like file access 22:10:49 i want a domestic kitchen sink 22:11:09 er, polynomials plus exp, i guess 22:11:41 Evoke Gerund sounds like a powerful spell 22:11:49 jesus it has exponential generating functions 22:13:15 the big question is: why do many alphabet letter go unused? 22:13:27 imo needs more coptic 22:16:34 tromp: hm {SK} = 10 satisfies the conversion property 22:22:01 -!- ogrom has quit (Quit: Left). 22:25:07 ah of course, you can read things like a stack language from the right. 0 pushes S and K, 1 pops two elements combining them into one. when you have one element on the stack, the program you used to get there is a conversion to that element. 22:25:58 0 -- S K, 10 -- (SK) 22:26:32 -!- SirCmpwn has quit (Excess Flood). 22:26:52 00 -- S K S K, 11100 -- SKSK = K 22:27:26 000 -- S K S K S K, 11111000 -- SKSKSK = KSK = S 22:28:11 looked at that way, it's not that mysterious how to find representations. 22:30:39 -!- SirCmpwn has joined. 22:30:39 tromp: oh and it means that {11010} = SK(SK) = I 22:32:04 as a conversion which can be used in the conversion rule 22:34:06 this is probably a context-free language of some sort, similar to parenthesis matching. actually translating 1 = ( and 0 = )) and then adding one more ( to the left turns it into an actual parenthesis matching problem 22:38:34 ok it must be CF since this can be trivially seen to be recognizable with a pushdown automaton 22:45:38 :t genericTake 22:45:39 Integral i => i -> [a] -> [a] 22:46:52 @src Integral 22:46:52 class (Real a, Enum a) => Integral a where 22:46:52 quot, rem, div, mod :: a -> a -> a 22:46:52 quotRem, divMod :: a -> a -> (a,a) 22:46:52 toInteger :: a -> Integer 22:47:12 i think Integral is not meant to have members not subsets of Integer 22:47:54 -!- Taneb has quit (Quit: Leaving). 22:48:54 monads aren't monoids! <-- alas, kind mismatch 22:49:06 weak 22:50:00 you _could_ make all monad value types monoids, but then you wouldn't be able to have any other monoids of form t a without overlappinginstances 22:50:34 oh and of course it would conflict with the instance for [a] 22:52:25 I really would like this Transcriptic job (if it's telecommute) 22:53:28 Going to watch some TV to take my mind off of having sent an employer the worst code I have ever written 22:53:55 And by TV I mean Ghost in the Shell on Hulu 22:53:56 `echo hi 22:54:28 Gregor: STILL BROKKEM 22:55:38 oerjan, what is the conversion property expressed with {} ? 22:56:06 [F{A}] = [F](A) 22:56:53 so F is a string, and A a combinator? 22:56:57 yes 23:01:04 -!- Lumpio- has joined. 23:03:19 -!- WeThePeople has joined. 23:03:28 GitS is getting on my nerves 23:03:37 why 23:03:50 "We suspect XYZ" "Do you have any evidence for that?" ... the topic of any reasoning for suspecting XYZ is dropped 23:03:55 And no one complains 23:04:23 They can't waste time for things with no evidence! 23:05:08 They don't drop XYZ, just the topic of why XYZ is suspected 23:05:49 "We suspect Canada" "Do you have any evidence for that?" "Not yet." 23:05:53 oerjan, now all makes sense:) 23:09:24 -!- ogrom has joined. 23:10:11 -!- carado has quit (Ping timeout: 246 seconds). 23:14:23 that sounds like TV news 23:14:50 "Are teenagers inhaling bees for a cheap high?" "Well, are they?" "Beats us, but we got you to sit through the last commercial break" 23:17:06 haha 23:20:14 jesus christ, what is with all these screams outside 23:27:31 it's the beginning of the great edinburgh zombie cataclysm. 23:28:01 Pretty loud zombies if I can hear them from here. 23:28:30 that's not the zombies, that's their victims hth 23:28:56 or wait are you implying you're not in edinburgh any longer 23:30:26 I'm in England now. 23:30:53 shocking 23:31:35 I'm not even in Hexham. 23:31:41 gasp. 23:34:15 oh well i guess it's not zombies then. maybe hooligans?