00:19:36 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42630&oldid=42618 * Esowiki201529A * (+65) /* Escape sequence */ 00:19:50 -!- variable has joined. 00:22:06 -!- variable has quit (Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number). 00:26:02 -!- variable has joined. 00:37:56 [wiki] [[Gibberish/JavaScript/Escape sequence]] N http://esolangs.org/w/index.php?oldid=42631 * Esowiki201529A * (+5057) Created page with "{| class="wikitable sortable" |- ! escape sequence !! output !! output’s ASCII code |- | $x21 || ! || 33 |- | $x22 || " || 34 |- | $x23 || # || 35 |- | $x24 || &..." 00:57:27 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:10:07 http://berlin.ipsojobs.com/job/senior-brainf-k-developer/3-1473326 01:18:37 -!- variable has changed nick to trout. 02:48:41 -!- augur_ has changed nick to _augur. 02:55:13 -!- zzo38 has joined. 03:04:21 -!- Sgeo_ has joined. 03:06:26 -!- clog has quit (Ping timeout: 272 seconds). 03:06:34 -!- clog has joined. 03:07:42 -!- Sgeo has quit (Ping timeout: 272 seconds). 03:19:12 [wiki] [[Deadfish]] http://esolangs.org/w/index.php?diff=42632&oldid=42629 * Zzo38 * (-538) Add OASYS Assembler; delete the Frolg version that is not valid anymore 03:24:32 [wiki] [[Deadfish]] http://esolangs.org/w/index.php?diff=42633&oldid=42632 * Zzo38 * (+456) OASYS (OAC) 03:26:30 -!- AndoDaan has joined. 03:27:15 Now I made the Deadfish using both compilers for OASYS which are both OAC and OAA and now is possible to see how they are compared. 03:59:02 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:28:51 -!- Sprocklem has joined. 04:30:36 > let f='.';o c(x:y)=x:c y;z c(x:y)=f:c y;p n='p':ap fix p(o.n)in f:f:p z 04:30:38 "..pp.p.p...p.p...p.p...p.....p.p.....p...p.p...p.....p.....p.p.....p...p.p.... 04:33:10 What is that? 04:42:38 prime numbers 04:42:48 0 is not, 1 is not, 2 is,... 04:43:45 hmm 04:45:23 > let f='.';o c(x:y)=x:c y;z c(x:y)=f:c y;p n='p':ap fix p(o.n)in map fst . filter ((=='p') . snd) $ zip [0..] (f:f:p z) 04:45:24 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... 04:46:24 tromp: mind if I tweet that? 04:46:39 be my guest! 04:46:42 who should I attribute it to? 04:46:54 me and int-e 04:46:54 "tromp on IRC"? :) 04:49:38 we developed it in BLC originally 04:49:52 see https://github.com/tromp/AIT 04:50:29 which is also featured in http://www.ioccc.org/2012/tromp/hint.html 04:50:49 i just translated it to Haskell tonight... 04:51:54 Ah, yes now I can see, that is what it is. 04:52:29 -!- jsilver has joined. 04:52:47 ah, pretty cool :) 04:52:49 Mathematics will make up many ways of one thing a lot of times. 04:52:58 i'm off to bed now... g'night! 04:55:48 if numbers start at 0, why isn't 56 really called 57 04:57:43 yopumpkin 05:09:57 jsilver: you could call it that. 05:11:02 the names of numbers are pretty much arbitrary 05:12:07 a better question however is why isn't eleven called oneteen? 05:13:00 agreed 05:13:12 -!- pikhq has quit (Ping timeout: 265 seconds). 05:28:09 -!- mitchs_ has quit (Read error: Connection reset by peer). 05:32:07 -!- TieSoul has quit (Remote host closed the connection). 05:42:56 Is there such a thing as a URI? 05:55:41 -!- pikhq has joined. 05:59:31 `unidecode 〇 05:59:32 ​[U+3007 IDEOGRAPHIC NUMBER ZERO] 06:00:47 -!- rdococ has joined. 06:07:44 haskell is really fucking cool man 06:07:58 it is 06:09:37 AAAAAA WHY ARE THE SUBTITLES HALF IN GERMAN 06:10:01 you don't like german? 06:11:07 I guess I don't mind since I understand the japanese anyway, but it is weird 06:15:05 She says よかった、友達が出来た and the subtitles say "I'm glad I made some Freunde" 06:17:41 hmm I'm starting to like this. 06:21:38 Was ist los? どうしたの? 06:23:54 fuck this is so cool man, my mind is blown 06:27:03 [wiki] [[QuinePig]] http://esolangs.org/w/index.php?diff=42634&oldid=41983 * 122.37.11.94 * (+0) /* Text File Named "Hello, World!" */ 06:32:23 what are you watching? 06:35:12 -!- PinealGlandOptic has quit (Ping timeout: 244 seconds). 06:38:31 [wiki] [[CASISP]] N http://esolangs.org/w/index.php?oldid=42635 * Orenwatson * (+576) lol this would be awesome 06:38:41 girls und panzer 06:39:12 ah 06:39:46 to be fair, the title is half german, too 06:41:08 So I think we could just mix programming languages too, 06:41:55 go for it 06:47:13 in a sense PHP is kind of a Perl/C crossover. 06:48:15 well, it is 06:55:02 ( 06:56:36 Interpreting such a programming language would be easy for a human, but hard for a computer 06:59:24 "Der Herrgott sei gelobt" <-- what does that mean?!!?!?!? 07:01:40 in short "thank god" 07:02:21 Ah. that makes sense 07:03:39 -!- Sprocklem has quit (Ping timeout: 245 seconds). 07:04:41 "Praise the lord" 07:05:03 or more literally "Praised be the lord"(?) 07:05:21 yeah they translated よかった with it 07:05:23 I'm not sure if that is proper english though. 07:06:02 "sei" is subjunctive. 07:11:35 or even "the lord be praised" 07:12:18 yeah that sounds like proper english 07:12:44 (based on my arbitrary native speaker sense of what sounds right) 07:13:05 it is legitimate, but a bit formal, nigh on archaic 07:13:10 Yeah 07:13:42 https://pbs.twimg.com/media/CDAHcZnUUAALn2d.jpg 07:18:12 -!- Froox has quit (Quit: *bubbles away*). 07:22:17 What would you say otherwise? 07:22:24 "Praise the lord" 07:22:30 That sounds like an order. 07:26:36 Hmm, it kind of is a set phrase... 07:27:40 I guess halelujah is also still used, but that is hebrew not english 07:34:21 -!- trout has quit (Ping timeout: 272 seconds). 07:35:58 Good thing I switched religions. 07:42:09 [wiki] [[List of ideas]] M http://esolangs.org/w/index.php?diff=42636&oldid=42033 * Vriskanon * (+134) /* Music */ Added idea for original Daft Punk language 07:42:55 -!- zadock has joined. 07:44:23 A religion of peace :) 07:44:36 fungot: Do you like peace? 07:44:37 mroman: a very tiny car... coincidence, utahraptor?: we either have to acknowledge that, why call him " hey man of my racial qualities! so say a decision has to be made to feel the miracle?? 07:45:08 "A decision has to be made to feel the miracle" 07:52:10 Damn it. I'm tired but I have to sta up so that I'll be on a sleep schedule where my test is in the afternoon 07:52:47 At least it's probably the last exam I'll ever take 07:54:35 ? 07:54:41 what's your current sleep schedule? 07:55:46 Currently I would be going to sleep aboutnow 08:06:53 Can one solve equation systems of the sort a ^ b = c AND a | b = d AND a & b = e where c,d and e are known but not a,b? 08:08:03 (I can obviously brute-force it) 08:08:27 but I'm not sure if that even gives a unique answer. 08:11:58 -!- Insipid has joined. 08:13:56 Hmm... if d=0 then the only answer is a=b=0. If e=1 then the only answer is a=b=1. 08:15:02 If d=1 and e=0, then one of a,b is 0 and the other is 1 08:15:38 and c has to be 1, so it tells us nothing 08:15:54 So you cannot solve it 08:16:52 [wiki] [[AFTL]] N http://esolangs.org/w/index.php?oldid=42637 * Vriskanon * (+122) cre 08:18:28 [wiki] [[AFTL]] M http://esolangs.org/w/index.php?diff=42638&oldid=42637 * Vriskanon * (+2) Created AFTL stub page 08:19:10 [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=42639&oldid=42614 * Vriskanon * (+11) /* A */ Added Another Fucking Time Loop 08:22:54 yeah not uniquely :( 08:28:28 Hm? http://sprunge.us/OjWM makes it sound like there'd be a unique combination of c, d, e for each of the possible values of a, b. 08:28:55 Uh, I can't read. 08:29:14 Yeah, the 0/1, 1/0 cases have the same c, d, e. 08:29:59 (Given that all three are commutative, maybe not so surprising.) 08:30:33 d would have to be 1 not 0. if d is 0 or e is 1 then c must be 0 08:30:57 A naive person like me would even claim that the above system is "over defined" 08:31:02 3 equations, 2 variables 08:31:20 (Also I wrote the table all wrong. I've just woken up, going to blame that.) 08:31:47 yeah that only works for algebra on real numbers 08:33:42 If you had, say, a ^ b, a | b and a -> b, then you could tell. 08:34:25 -!- AnotherTest has joined. 08:35:24 -!- Insipid has quit (Quit: Leaving.). 08:35:33 -!- oerjan has joined. 08:36:05 -!- rdococ has quit (Ping timeout: 246 seconds). 08:38:35 [wiki] [[AFTL]] http://esolangs.org/w/index.php?diff=42640&oldid=42638 * Vriskanon * (+2264) Added all content excluding sample programs. 08:38:59 -!- AnotherTest has quit (Ping timeout: 252 seconds). 08:39:18 -!- Patashu has joined. 08:39:34 [wiki] [[User:Vriskanon]] M http://esolangs.org/w/index.php?diff=42641&oldid=42628 * Vriskanon * (+11) /* Original Languages */ Added AFTL 08:41:29 Any ideas on how to encode a,b into c and d so that a,b can only be reconstructed by somebody knowing both c and d? 08:41:39 where a,b are integers mod N 08:41:49 (and c,d also integers mod N) 08:41:55 where N > 2 08:42:00 N >= 2 08:42:02 actually 08:42:52 a+b, a-b 08:44:04 -!- AnotherTest has joined. 08:44:24 that's not quite a one time pad 08:44:34 well 08:44:39 0+0 = 0, 0 - 0 = 0 08:44:47 128+128 = 0, 128 - 128 = 0 08:44:50 for N=256 08:45:00 oh. 08:45:34 what about for prime N 08:46:10 that should work. 08:46:14 -!- Insipid has joined. 08:46:38 odd N is enough, i think 08:46:43 oerjanL whats a one time pad 08:47:01 perfect encryption with a key as long as the message 08:47:02 augh I mean oerjan: 08:47:25 to be perfect, the key must _never_ be reused, thus one time 08:47:47 yeah odd N suffices. 08:48:13 but then you encrypt a as a + k, say. 08:48:25 (any group operation will do.) 08:49:17 what's with the one time pad? 08:49:18 i suppose it is a one time pad if b is the key 08:49:27 b isn't the key 08:49:35 a and b are two data points 08:49:54 in that case i believe what you're asking is mathematically impossible 08:50:04 well it works with odd N 08:50:28 no i mean, to be secure you have to assume the attacker knows _something_ about a and b. 08:50:43 -!- AnotherTest has quit (Ping timeout: 252 seconds). 08:51:02 oh yeah 08:51:06 like, imagine is a be were just 0 and 1 (but you still used > 1 bits) (this is a hypothetical strawman to illustrate) 08:51:08 it's terrible against known plaintexts I guess 08:51:19 or that. 08:51:29 or partially known plaintexts 08:51:43 or even texts in a known language 08:53:17 otoh secret sharing _is_ a branch of cryptography https://en.wikipedia.org/wiki/Secret_sharing 08:53:50 but you would have no overhead and wouldn't need to transmit any keys 08:53:53 however you need more bits than the secret to be shared 08:54:16 yes, but i don't think that's theoretically possible. 08:54:36 the overhead is needed to make it work. 08:54:43 Reasonably if a and b were images 08:54:50 I can encode those two images into two other images 08:54:58 and give one to each of my two friends 08:55:16 and they wouldn't be able to get these two images back without consulting each other 08:55:24 (unless they have good prior knowledge about a and b I guess) 08:55:43 and I don't need to give them any keys or whatsoever. 08:56:07 i suppose you need a good scrambling function. hm can you write it using just a hash... 08:56:36 assume we can use a publically know hash function. 08:56:40 That's the scenario I'm aiming at actually :D @two images, distribute to two friends 08:57:31 however you can probably see parts of the images :( 08:57:46 i.e. if one is bright and one is dark (i.e mostly (0,0,0) pixels) 08:57:53 you would see the other image in the a+b image 08:57:55 a + b + h, a - b + h, the question is what should the hash h be _of_ to make it reconstructible 08:58:40 hm 08:58:50 if you hash b it works with that, i think 08:59:04 because you can reconstruct b by subtraction 08:59:08 a + b - h, a - b + h? 08:59:22 mroman: for that you can hash a 08:59:28 that let's you reconstruct h anyway? 08:59:37 by taking the difference of the two images? 08:59:40 oh wait no 08:59:43 stupid me :( 08:59:57 there are several options here 09:01:20 you could use the upper left pixels to encode some information I guess 09:01:33 but then you loose a few pixel of the image :( 09:01:37 and that'd be cheating 09:02:59 can't you just use xor or something 09:03:47 How? 09:03:52 I'm wrong 09:04:03 elliott: not with his requirement that the resulting shares should be that small 09:04:08 you can use xor to split A and B into A and C or B and C such that the combination of both gives you the remaining one 09:04:09 a ^ b = c; a ^ d = e; but then you'd need to transmit c,d and e 09:04:21 but that requires revealing one of A or B 09:05:03 elliott: btw he's not assuming that the number of values is a power of 2, so xor isn't necessarily available 09:05:12 come on 09:05:19 you can xor images well enough 09:05:46 well they usually _are_ a whole number of bits 09:05:46 you can xor images, yes. 09:06:25 if you have a hash function H and let c = a ^ b then you could somehow compute a fixed point x = encrypt(c, H(y)), y = encrypt(c, H(x)). maybe. 09:06:39 no, not quite 09:06:45 wait 09:06:47 why can't you just 09:06:50 x = encrypt(a, H(b)) 09:06:52 y = encrypt(b, H(a)) 09:06:58 oh. because you can't go from both of those to a or b 09:07:01 * elliott sighs 09:08:38 x = encrypt(a, H(y)), y = encrypt(b, H(x)) would still work, but that's just cheating by assuming you can construct that fixed point 09:10:03 well I am sure oerjan will figure it out 09:10:05 you could also randomly select if you should use the pixel from image A or image B 09:10:39 if rnd() then x[i] = a[i] ; y[i] = b [i] else x[i] = b[i]; y[i] = a [i]; 09:10:41 something like that 09:10:57 but then you'd need to comunicate the seed somehow 09:10:58 https://en.wikipedia.org/wiki/Secret_sharing#Space_efficient_secret_sharing <-- this seems to imply you cannot get quite down to that size, and in fact there is no saving with just 2 people 09:11:14 I hate that a + b, a - b totally works 09:11:16 except for images 09:11:22 images aren't random enough :( 09:12:59 you could scramble things though 09:13:04 like x = a + b; y = a -b; 09:13:11 then swap pixels in x and y 09:13:41 (i.e. swap x[i] and y[i]) 09:13:59 that reduces visible artefacts to some extent. 09:14:18 the point of my adding a hash was to ensure that scrambling. 09:14:53 of course the hash has to be the same size, and indistinguishable from random noise 09:15:20 oh hm 09:15:30 x a + b + H(b) 09:15:38 this is obviously vulnerable to an attacker who knows either a or b 09:15:39 x = a + b + H(b), y = a - b + H(b)? 09:16:04 mroman: yeah 09:16:15 x - y = a + b + H(b) - a + b - H(b) = b + b? 09:16:17 except + _doesn't_ work with whole bits 09:16:40 maybe nothing does, hm 09:17:10 (everything mod N) 09:17:23 it works when N is odd 09:17:23 and you can't really divide by 2 :( 09:17:51 how do you reconstruct b? 09:18:10 easy when N is odd hth 09:18:45 oh. right. 09:19:05 x = a - b + H(b), y = a + 2b + H(b) would work when N is not divisible by 3, etc. 09:20:28 hm i'm slightly worried that some bits may seep through there 09:20:28 If an attacker knows a or b your privacy is lost anyway :D 09:20:49 or hm nah 09:21:07 that depends on H probably 09:21:12 if H(x) = x then yes :D 09:21:20 there's probably something wrong about this scheme since the wikipedia page doesn't mention it, but i don't know what :) 09:21:38 maybe it's too good so the NSA doesn't want people to know it . 09:21:41 why in the world would H(x) = x 09:22:09 because that's the Hashfunction recommended by the NSA 09:22:13 oerjan: if we're considering bits then H is either identity or negation right 09:22:14 ok enough NSA jokes. 09:22:29 elliott: um we're not considering single bits hth 09:22:57 (i'm pretty sure i used the word "strawman" in the line where i did) 09:23:42 [wiki] [[AFTL]] M http://esolangs.org/w/index.php?diff=42642&oldid=42640 * Vriskanon * (+279) Added Hello World sample program 09:24:04 oerjan: okay but we're considering images right 09:24:09 so isn't + meant to be bitwise xor or whatever 09:24:12 the NSA doesn't want encryption to be _that_ bad. they don't want the _chinese_ to be able to break it, after all. 09:24:39 elliott: no, it's + (mod N), sheesh 09:25:44 if it were xor then 2b would be 0. otoh i don't see why that _really_ breaks anything... 09:27:08 so my assumption is that the NSA wants encryption to be strong but them to have a backdoor. which i recall is exactly what they tried to do to one standard. 09:27:59 ok then, x = a + b + H(b), y = a + H(b). 09:28:24 now it works with any group addition. 09:30:49 but probably breaks for lousy a and b 09:35:18 oerjan: ok but what is H then 09:35:28 presumably it has a smaller domain than codomain? 09:36:02 no that wouldn't work, needs to be equal size 09:36:39 ok 09:36:42 are you sure this is a hash function :P 09:36:50 it needs to look like random noise 09:36:52 right 09:37:00 no, i'm not sure that's what it's called 09:37:05 is there a name for that kind of scrambler 09:38:04 oh and it's also necessary that b + H(b) looks like random noise 09:39:02 well some basic structure can still be recognised depending on the pictures. 09:39:21 but my hash function isn't that great probably 09:39:40 mroman: RANDOM NOISE OF THE SAME SIZE hth 09:39:55 oerjan: H is basically an encryption with some random key 09:40:00 (as in, some pre-specified key) 09:40:12 well yeah 09:40:18 I guess it's just H(x) = x ^ key 09:40:47 elliott: um no that would break the b + H(b) assumption i just f mentioned hth 09:41:12 er 09:41:14 well key would be noise 09:41:38 elliott: if you mean ^ = + = xor, it doesn't help, b + H(b) = key then 09:42:12 that's pretty fatal 09:42:37 (note that the key is _not_ secret or we break the whole problem statement) 09:42:57 yeah 09:43:04 well are you sure this H exists 09:43:25 you want H(x) to not be x, and also x + H(x) to neither be x nor H(x), but not be the same for all x 09:43:40 maybe my intuition is misfiring in seeing a pigeonhole problem here 09:44:28 elliott: um there's no requirement it cannot accidentally coincide for _some_ x. 09:45:28 it just has to be astonishingly unlikely 09:45:39 right okay 09:45:55 I'm using x^3 `mod` 255 09:46:17 -!- shikhin has joined. 09:46:26 bloody upstairs neighbor trampling around 09:47:21 you can still recognize that it's a building in the picture :) 09:47:51 mroman: it's not supposed to apply the hash function to each byte separately, duh 09:48:02 it's supposed to be a hash of the _whole_ picture 09:48:07 oh. 09:48:09 I see. 09:48:18 but still 09:48:22 if b is a white picture 09:48:37 or a black one for that matter 09:48:45 ...then you're lost anyway because what attacker cannot test such simple cases? 09:49:01 oerjan: try hitting the ceiling with a broom 09:49:05 even if you take the hash of the whole picture 09:49:08 -!- Insipid has quit (Quit: Leaving.). 09:49:11 you can still recognize structures in them 09:49:13 i don't have a broom. 09:49:19 if an area is uniform in one picture 09:49:35 -!- Insipid has joined. 09:49:37 (uniformly coloured) 09:49:43 the other picture will "shimmer" through 09:50:22 try throwing a potato at the ceiling 09:50:38 mroman: the hash is supposed to look like random noise for heaven's sake 09:50:54 but it doesn't? 09:51:03 mroman: THEN FIND A BETTER ONE 09:51:08 oh wait 09:51:12 the hash has the same size as the picture? 09:51:15 yes 09:51:17 oh 09:51:18 !!! 09:51:18 ok 09:51:31 can you please call it something other than H :P 09:52:25 -!- shikhin_ has joined. 09:52:34 * oerjan must be having that Curse of knowledge thing 09:52:46 call it 9 09:52:55 hashed together with dunning-kruger 09:53:13 orin: i don't have a potato hth 09:54:25 -!- shikhin has quit (Ping timeout: 256 seconds). 09:55:57 I didn't mean specifically a potato, just some random object 09:56:23 -!- shikhin_ has changed nick to shikhin. 09:57:50 I HAVE NO RANDOM OBJECTS oh wait 09:57:59 also they sort of stopped. 10:00:08 -!- Insipid has quit (Quit: Leaving.). 10:17:08 -!- shikhin has quit (Ping timeout: 245 seconds). 10:17:31 -!- shikhin has joined. 10:18:24 -!- shikhin has quit (Client Quit). 10:18:44 -!- shikhin has joined. 10:25:09 -!- boily has joined. 10:28:29 `2014 10:28:33 No output. 10:31:00 `2015 10:31:00 No output. 10:33:06 `2016 10:33:07 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 2016: not found 10:33:13 `` type 2015 10:33:14 2015 is /hackenv/bin/2015 10:33:25 `file /hackenv/bin/2015 10:33:28 ​/hackenv/bin/2015: POSIX shell script, ASCII text executable 10:33:38 `cat /hackenv/bin/2015 10:33:39 ​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 10:34:00 `cat /hackenv/bin/2014 10:34:01 ​#!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi 10:34:25 ^wiki 2014 10:34:25 http://esolangs.org/wiki/2014 10:37:55 Someone has yet to write a page on the 2015 derivative 10:38:06 [wiki] [[Hexadecimal Stacking Pseudo-Assembly Language]] http://esolangs.org/w/index.php?diff=42643&oldid=42394 * Oerjan * (+10) wikify a bit 10:40:51 it outputs when run in any year but it's 2015? 10:41:20 but 2015* 10:44:58 Yes 10:47:48 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=42644&oldid=42569 * Oerjan * (-19) Fix some disorder 10:54:48 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=42645&oldid=42639 * Oerjan * (-6) /* G */ grm 11:00:13 `2014 11:00:13 No output. 11:00:15 `2015 11:00:15 No output. 11:00:17 `2016 11:00:18 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 2016: not found 11:02:39 2016 should be, if 2014 and 2015 give the same output then output it too, if not then... something else. 11:07:20 [wiki] [[Meq]] http://esolangs.org/w/index.php?diff=42646&oldid=42348 * Oerjan * (+642) Wikify and format 11:08:05 -!- shikhin_ has joined. 11:10:50 -!- shikhin has quit (Ping timeout: 264 seconds). 11:13:39 if year = 0 then echo "Welcome, Jesus!" 11:13:54 that is, unless you beleive some period around 17xx didn't exist. 11:14:02 *believe 11:14:20 (It was around 17xx wasn't it?) 11:14:52 which proposes that the year 613 was followed by the year 911 hm no 11:15:43 1000 AD, so he got there by advancing the calendar 300 years 11:15:56 ok apparenteley multiple people screwed with the calendar. 11:16:12 613-911 didn't exist and 700-1000 didn't exist. 11:16:20 which makes sense 11:16:28 but 11:16:40 how can he advance 300 years from 700 to 1000 if the year 700 didn't exist in the first place? 11:17:46 -!- shikhin_ has changed nick to shikhin. 11:17:57 Who is 'he'? 11:19:04 mrhelloman. they saved on non-existing years by recycling one that never happened in the first place hth 11:19:14 AndhelloDaan. it's him, who else? 11:20:59 Hoiwdy. 11:21:03 ... 11:21:07 AndoDaan: the pope I think. 11:21:35 I don't remember 11:21:48 I just know that there are conspiracies about years being skipped 11:21:55 and no sane man would do that 11:22:06 Ah. 11:22:08 so I just assumed it has a religous background to do so 11:22:25 I would advance the calender to 3145 11:22:28 but I'm no sane man :p 11:23:15 AndoDaan: http://en.wikipedia.org/wiki/Phantom_time_hypothesis 11:23:23 that's one of those conspiracies. 11:24:49 "One theory ran that one pope wanted to be the pope of record for 1000 AD, so he got there by advancing the calendar 300 years. " 11:25:07 He could've just asked god for him to live another 300 years but ok... 11:25:32 Maybe he hoped to bring about the second coming. 11:25:37 "Another theory ran that the church had created historical documents predicting future events, and when they didn’t happen they just made up the history to match the documents, stuck it in and claimed that the predictions had come true. " 11:27:00 There's also the weird Fomenko theory 11:27:16 -!- boily has quit (Quit: PLUVIOUS CHICKEN). 11:27:23 [wiki] [[Axo]] http://esolangs.org/w/index.php?diff=42647&oldid=42357 * Oerjan * (+38) table style, fmt, template 11:27:36 Which claims that various events prior to 1000 were postdated copies of events that happened after 11:28:45 Apparently Solomon and Suleiman the Magnificent are the same person 11:29:44 Pseudohistory is entertaining sometimes 11:34:04 -!- idris-bot has quit (Ping timeout: 246 seconds). 11:36:49 -!- idris-bot has joined. 11:38:57 -!- AnotherTest has joined. 11:39:13 [wiki] [[POGAACK]] http://esolangs.org/w/index.php?diff=42648&oldid=42397 * Oerjan * (-21) Something went wrong with that last edit. Also link. 11:41:38 [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42649&oldid=42481 * Oerjan * (+11) intro fmt 11:42:44 I have no way of proving that anything happened prior to ~1996 11:44:55 orin: How old were you 1996? 11:45:08 about 3 11:45:29 assuming the previous three years actually happened 11:45:35 but are you sure that it really was the year 1996? 11:45:41 knowing that some years might not have existed at all. 11:45:49 Well it could have been the year 0 11:46:31 which would make this year 19 11:47:24 Alternately, we could fix 1970 as year 0 11:47:26 [wiki] [[Gibberish (programming language)]] http://esolangs.org/w/index.php?diff=42650&oldid=42588 * Oerjan * (+64) link, tables, link description 11:48:33 using 1970 as year 0 sounds reasonable. 11:51:35 making Alan Shepard the first man on the moon 11:51:56 What is 1970? I think year 0 is year 0 11:51:57 [wiki] [[Special:Log/move]] move * Oerjan * moved [[ASCII art/mandelbrot]] to [[User:Esowiki201529A/ASCII art/mandelbrot]]: I don't think this should be a main namespace article all by itself 11:52:50 it would allow us to more easily convert unix time to years 11:53:12 didn't we use to have subpages in User: 12:07:54 [wiki] [[Hashes]] http://esolangs.org/w/index.php?diff=42652&oldid=42493 * Oerjan * (-21) Undo revision 42493 by [[Special:Contributions/Esowiki201529A|Esowiki201529A]] ([[User talk:Esowiki201529A|talk]]) (doesn't work) 12:10:59 the wiki is nearly locking up again :( 12:11:48 [wiki] [[Gibberish (disambiguation)]] http://esolangs.org/w/index.php?diff=42653&oldid=42574 * Oerjan * (+14) We seem to have a template for this 12:14:49 -!- AndoDaan_ has joined. 12:16:11 -!- AndoDaan has quit (Ping timeout: 264 seconds). 12:18:38 -!- AndoDaan has joined. 12:21:40 -!- AndoDaan_ has quit (Ping timeout: 246 seconds). 12:22:08 -!- GeekDude has joined. 12:29:16 -!- Patashu has quit (Ping timeout: 256 seconds). 12:33:17 -!- AndoDaan has quit (Ping timeout: 272 seconds). 12:33:44 [wiki] [[420]] N http://esolangs.org/w/index.php?oldid=42654 * Vriskanon * (+2633) Added 420 in celebration of 4/20. Code is a derivative of Chicken. 12:34:08 -!- oerjan has quit (Quit: leaving). 12:34:28 [wiki] [[User:Vriskanon]] M http://esolangs.org/w/index.php?diff=42655&oldid=42641 * Vriskanon * (+10) /* Joke Languages */ Added 420 credit 12:35:08 [wiki] [[Joke language list]] M http://esolangs.org/w/index.php?diff=42656&oldid=42627 * Vriskanon * (+76) /* General languages */ Added 420 12:49:29 -!- shikhin has quit (Ping timeout: 250 seconds). 12:59:09 -!- nszceta has joined. 13:26:24 [wiki] [[420]] M http://esolangs.org/w/index.php?diff=42657&oldid=42654 * Vriskanon * (+1) /* Commands */ Fixed an error in table 13:30:11 [wiki] [[AFTL]] M http://esolangs.org/w/index.php?diff=42658&oldid=42642 * Vriskanon * (+163) /* Commands */ Added spacing clarification 13:32:54 -!- zadock has quit (Quit: Leaving). 13:39:30 orin: but Fomenko is probably the sanest of them all 13:53:48 -!- `^_^v has joined. 13:56:57 -!- ais523 has joined. 14:19:40 Y'know, my favorite large number is one I like to call "the largest reasonable number". 14:20:17 The largest number representable in the calculus of constructions using no more than a million symbols. 14:21:06 Of course, that's a rather ambiguous definition. What, exactly, is "the calculus of constructions", and what counts as a "symbol", and how do you represent a number in the CoC. 14:24:11 -!- variable has joined. 14:25:42 I like the notation of "reasonably large numbers" 14:27:11 I call every number reasonable that can be expressed as a sum of distinct square roots. 14:27:27 5 = sqrt(9) + sqrt(4) 14:27:50 and I call numbers of the form n = sqrt(a) + sqrt(b) where (a - b) = n super reasonable 14:28:02 (I hope there aren't too many of them) 14:28:11 but there are too many 14:28:26 Can't every number be expressed as the sum of two squares actually? 14:29:06 but what about square roots. 14:29:09 (a - b) = sqrt(a) + sqrt(b); thus (a - b)² = (sqrt(a) + sqrt(b))²; thus a² - 2ab + b² = a + b + 2×sqrt(a×b) 14:29:22 mroman: even more numbers can be expressed as the sum of two square roots 14:29:38 e.g. 3 is not the sum of two squares 14:29:45 but it's sqrt(1) + sqrt(4) 14:29:50 yep 14:30:14 obviously you can do that with every number ;) 14:30:26 a necessary condition for a number to be super reasonable is that a×b is a square number 14:30:29 x = a + b 14:30:37 just square a and b 14:30:39 and done :D 14:30:43 yep, super reasonable is harder 14:30:59 oh wait 14:31:01 4 can't 14:31:11 sqrt(4) + sqrt(1) is 3 14:31:14 4 = sqrt(9) + sqrt(1) 14:31:19 oh 14:31:49 It'd be more fun if the numbers to be square rooted can't exceed the number itself 14:32:11 in that case it's impossible for any but very small numbers 14:32:17 True. 14:32:22 because most numbers are greater than twice their own square root 14:32:33 this super reasonable thing is more interesting though 14:32:36 well you can use multiple square roots 14:32:40 just not the same one twice. 14:32:46 oh right 14:33:49 hm 14:34:01 hm still 14:34:14 sqrt(1) + sqrt(4) would be illegal then 14:34:57 no that's no good 14:35:03 I need to come up with more useful things. 14:47:27 -!- shikhin has joined. 14:47:27 -!- shikhin has quit (Client Quit). 14:47:51 -!- shikhin has joined. 14:50:10 -!- rdococ has joined. 15:01:18 ais523: What about numbers that can't be divided by any sum of two of its factors. 15:01:31 Like 6 is not such a number because 1+2 = 3 and 3 divides 6 15:01:51 8 however 1,2,4,8 is such a number. 15:02:14 I have a feeling that there's a simple rule here 15:02:17 yeah 15:02:24 probably with the number 3 15:02:29 along the line of "any number with three different prime factors" 15:02:35 but that's not necessary 15:20:21 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 15:35:02 `which dc 15:35:03 ​/usr/bin/dc 15:35:10 ``echo [[]]ax | dc 15:35:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `echo: not found 15:35:17 o_o 15:35:23 ah a space 15:35:25 `` echo [[]]ax | dc 15:35:27 bash: line 1: 293 Done echo [[]]ax \ 294 Segmentation fault | dc 15:35:33 \o/ segfault 15:35:33 | 15:35:33 /´\ 15:35:48 myndzi: stop adding penises -_- 15:37:51 \o/ \o/ \o/ \o/ 15:37:51 | | | | 15:37:51 >\ /< /< >\ 15:37:52 \o/ \o/ \o/ \o/ 15:37:53 | | | | 15:37:53 >\ /^\ |\ /^\ 15:37:54 \o/ \o/ \o/ \o/ 15:37:55 | ¦ | | 15:37:55 |\ ´¸¨ >\ /| 15:37:56 \o/ \o/ \o/ \o/ 15:37:58 \o/ \o/ \o/ \o/ 15:37:59 | | | | 15:37:59 >\ /< |\ >\ 15:38:00 \o/ \o/ \o/ \o/ 15:38:02 \o/ \o/ \o/ \o/ 15:38:03 | | | | 15:38:03 |\ /^\ |\ /´\ 15:38:25 \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ \o/ 15:39:17 did i break it? 15:41:07 -!- PinealGlandOptic has joined. 15:44:34 I think there are just limits. 15:46:19 -!- ais523 has quit (Remote host closed the connection). 15:52:15 ...dc shouldn't segfault on [[]]ax, should it? What's happening there? 15:53:22 Oh huh, it just pushes '[' as a string and then tries to execute that? 16:07:23 Yes, I guess it's not very robust w.r.t. unbalanced brackets. 16:07:38 [wiki] [[AFTL]] M http://esolangs.org/w/index.php?diff=42659&oldid=42658 * Vriskanon * (+23) /* Commands */ Changed inherant looping 16:07:52 Probably you're not "supposed" to be able to enter such. 16:13:56 -!- Somelauw has joined. 16:14:02 hello 16:14:24 What's a good way to represent negative numbers in brainfuck-like languages without having to special case. 16:15:02 I noticed multiplication works most of the time because of wrapping 16:18:28 most of the time? 16:19:51 -!- variable has changed nick to trout. 16:30:13 FireFly: beautiful 16:30:32 izabera's program, not mine 16:30:34 although.. 16:30:38 `` dc -e '[' 16:30:39 Segmentation fault 16:30:50 Even this segfaults, it seems.. 16:30:52 `? dc 16:30:53 dc? ¯\(°​_o)/¯ 16:31:08 `dc --help 16:31:09 Usage: dc [OPTION] [file ...] \ -e, --expression=EXPR evaluate expression \ -f, --file=FILE evaluate contents of file \ -h, --help display this help and exit \ -V, --version output version information and exit \ \ Email bug reports to: bug-dc@gnu.org . 16:31:28 I thought GNU software was generally a bit more stable than that 16:31:30 `learn dc is short for "dump core". (try it out yourself: dc -e '[') 16:31:33 Learned 'dc': dc is short for "dump core". (try it out yourself: dc -e '[') 16:31:42 haha 16:35:44 but something more easy to represent comparision operators with 16:36:31 izabera: I think it works all the time for plus, minus, times and divide as long as the implementation is wrapped 16:41:41 I think I knew that about -e '[', but had totally forgotten. 16:43:05 `run dc -e ']' # at least this has an error message 16:43:06 dc: ']' (0135) unimplemented 16:49:25 -!- lleu has quit (Ping timeout: 246 seconds). 16:50:36 -!- nszceta has quit (Ping timeout: 250 seconds). 17:00:13 -!- zadock has joined. 17:01:29 [wiki] [[Twocode]] http://esolangs.org/w/index.php?diff=42660&oldid=40158 * GermanyBoy * (+628) /* Examples/Minsky machine */ new section 17:03:46 -!- b_jonas has joined. 17:05:02 So I dredged up an old bit of code for an RNG using Racket generators. Anyone wanna sanity check my math? http://pasterack.org/pastes/80800 17:09:37 [wiki] [[Onecode (GermanyBoy)]] http://esolangs.org/w/index.php?diff=42661&oldid=41662 * GermanyBoy * (+45) /* Grammar */ 17:10:17 -!- shikhin_ has joined. 17:10:46 -!- shikhin has quit (Ping timeout: 248 seconds). 17:11:01 -!- shikhin_ has changed nick to shikhin. 17:22:24 If dc has something wrong then you can post a bug report to GNU 17:22:32 (You can also try to fix it by yourself) 17:23:08 [wiki] [[AFTL]] M http://esolangs.org/w/index.php?diff=42662&oldid=42659 * Vriskanon * (-5) /* Hello, world! program */ Fixed Hello, world! program 17:25:19 -!- AndoDaan has joined. 17:26:21 [wiki] [[AFTL]] M http://esolangs.org/w/index.php?diff=42663&oldid=42662 * Vriskanon * (+42) /* Sample programs */ Added Cat program 17:29:01 `dc -e "1 2 3 + + p" 17:29:05 dc: dc: '"' (042) unimplemented \ 6 \ '"' (042) unimplemented 17:29:09 `run dc -e "1 2 3 + + p" 17:29:10 6 17:32:08 -!- Somelauw has quit (Ping timeout: 252 seconds). 17:36:32 -!- trout has quit (Ping timeout: 250 seconds). 17:48:12 -!- nszceta has joined. 17:49:25 -!- nszceta has quit (Client Quit). 17:50:20 -!- Somelauw has joined. 17:51:12 -!- aretecode has joined. 18:00:19 -!- Somelauw has quit (Ping timeout: 244 seconds). 18:04:03 -!- variable has joined. 18:08:08 [wiki] [[Fortob]] http://esolangs.org/w/index.php?diff=42664&oldid=40525 * GermanyBoy * (+276) /* Method reference */ 18:09:06 -!- Vorpal has quit (Ping timeout: 244 seconds). 18:10:59 -!- Phantom_Hoover has joined. 18:21:54 -!- Somelauw has joined. 18:23:39 -!- Vorpal has joined. 18:24:31 -!- nortti has changed nick to lawspeaker. 18:25:10 -!- lawspeaker has changed nick to nortti. 18:46:02 -!- AndoDaan_ has joined. 18:46:07 -!- AndoDaan_ has quit (Client Quit). 18:46:29 -!- AndoDaan_ has joined. 18:47:20 -!- AndoDaan has quit (Ping timeout: 244 seconds). 19:03:52 -!- teuchter has joined. 19:06:58 -!- choochter has quit (Ping timeout: 244 seconds). 19:14:50 -!- guydreich has joined. 19:16:25 -!- AndoDaan has joined. 19:17:20 Is it possible to tell Mozilla and other software to set a proxy for only secure connections? Is there such a proxy that decrypts everything so that it doesn't cause problems with the user client causing errors with it? 19:17:28 -!- AndoDaan_ has quit (Ping timeout: 246 seconds). 19:18:14 -!- teuchter has quit (Ping timeout: 248 seconds). 19:21:05 -!- AndoDaan has quit (Ping timeout: 256 seconds). 19:21:31 I think that's generally called a man-in-the-middle attack. 19:24:42 -!- hjulle has joined. 19:25:59 They are files which don't need to be secure but the server insists on entering secure mode, yet it does not even do it using a compatible cipher and then it is error. 19:26:11 -!- AndoDaan has joined. 19:28:19 -!- AndoDaan_ has joined. 19:31:02 -!- AndoDaan has quit (Ping timeout: 248 seconds). 19:31:23 -!- Sprocklem has joined. 19:31:44 -!- AndoDaan_ has quit (Read error: Connection reset by peer). 19:32:53 -!- roasted42 has joined. 19:32:53 -!- roasted42 has quit (Changing host). 19:32:53 -!- roasted42 has joined. 19:32:53 -!- roasted42 has changed nick to TheM4ch1n3. 19:33:29 -!- TheM4ch1n3 has quit (Read error: Connection reset by peer). 19:35:55 -!- rdococ has quit (Quit: Page closed). 19:43:31 I think normally if you tell a browser to use a proxy for the 'https' scheme, it will just use the 'CONNECT' request method, so you would need to use some sort of transparent proxy setup, and then there's the certificate problem. If you just want to provide http:// endpoints for something behind a https-only server, and don't need it to be "invisible" to the users, you could just set up a ... 19:43:37 ... regular web server as a "reverse proxy", so that when the user asks for http://proxy/foo, it will fetch the resource from https://server/foo. 19:44:30 Some servers use the wrong certificate so I want to ignore the certificate 19:45:46 I have used CONNECT proxy before, not only for HTTP and HTTPS but also to connect to MUD servers that temporarily could not be reached from my computer for some reason 19:46:11 Do you know if Wikipedia has a userbox for linking to FOAF data? 19:48:03 -!- oerjan has joined. 19:52:47 fizzie: That is correct. 19:53:01 fizzie: It's the only way for https to work *sensibly* through a proxy. 19:53:31 Other such schemes (where the proxy injects! itself! via firewall funkiness) obviously breaks horribly on https unless the browsers are set to trust the proxy's cert. 19:54:36 HTTP CONNECT is kinda neat as a way of tunneling a TCP connection. 19:54:43 *If* obviously quite limited in scope. 20:00:18 I do find HTTP CONNECT useful for use as a general-purpose proxy sometimes, since there are some such proxies 20:00:35 -!- GeekDude has joined. 20:00:55 Although what I was asking, this doesn't do. 20:02:19 I certainly don't need it to be invisible to users but do need it to be capable of working with the same domain name (although there is a way around that too of course, such as by using hosts files) 20:07:22 -!- nszceta has joined. 20:09:48 [wiki] [[Harp]] http://esolangs.org/w/index.php?diff=42665&oldid=42555 * Oerjan * (+8) clarify 20:11:15 [wiki] [[AFTL]] http://esolangs.org/w/index.php?diff=42666&oldid=42663 * Vriskanon * (+1874) Added Python Interpreter 20:18:26 -!- b_jonas has quit (Remote host closed the connection). 20:22:37 I had idea making the decentralized poll survey system out of RDF 20:24:50 -!- Somelauw has quit (Quit: WeeChat 0.4.2). 20:41:54 How many integers are the sum of two square roots of integers, neither of which is a perfect square? 20:43:00 ooh tricky 20:44:29 my hunch is "none" 20:44:57 -!- lleu has joined. 20:45:14 except 0 if you squint the right way 20:45:21 lol 20:45:57 also i vaguely recall some relevant theorem 20:46:00 Lessee, when is sqrt(a) + sqrt(b) an integer? Is there a Diophantine equation for that? 20:46:33 It's an integer whenever a + b + 2 sqrt(ab) is a perfect square. 20:46:36 (sqrt(a) + sqrt(b))^2 is then also an integer 20:47:15 which means 4ab must be a perfect square, minimum 20:47:46 which means ab is as well 20:47:52 fiendish 20:48:41 which means every factor of a or b which _isn't_ a square must be equal 20:48:55 yes 20:49:21 so a = n*x^2, b = n*y^2 20:49:40 So it's (x^2 + y^2) sqrt(n), aye? 20:49:48 yes 20:49:49 Which is never an integer when n isn't a perfect square, aye? 20:49:55 no, (x + y) sqrt(n) 20:50:08 you skipped a step 20:50:08 Right. 20:50:21 But the conclusion is right, aye? 20:50:23 but the sqrt n part is what matters 20:50:26 looks like. 20:50:29 So this Turing machine does not halt. 20:54:45 also, the "except 0" looks right too. 20:55:47 it being the sum of all pairs of square roots of the same number 20:57:37 it doesnt matter to the proof above whether we allow one of the roots to be negative, except in that case, yes? 20:59:53 nope 20:59:57 that's what i meant 21:01:34 -!- Patashu has joined. 21:04:23 [wiki] [[Duck Duck Goose]] http://esolangs.org/w/index.php?diff=42667&oldid=42579 * Oerjan * (+4) /* Sample programs */ links and section level 21:05:03 * oerjan finds it curious that the page takes ages to load _after_ HackEgo has announced it 21:05:34 heh 21:05:57 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:06:01 which happened instantly this time 21:11:42 [wiki] [[4]] http://esolangs.org/w/index.php?diff=42668&oldid=42613 * Oerjan * (-7) formatting, link 21:16:24 -!- aretecode has quit (Quit: Toodaloo). 21:19:36 [wiki] [[Element]] http://esolangs.org/w/index.php?diff=42669&oldid=42610 * Oerjan * (+40) section levels, links 21:24:10 -!- Patashu has quit (Ping timeout: 246 seconds). 21:31:31 [wiki] [[Basilisk]] http://esolangs.org/w/index.php?diff=42670&oldid=42626 * Oerjan * (+61) intro does not need header, formatting, typo 21:34:39 [wiki] [[420]] http://esolangs.org/w/index.php?diff=42671&oldid=42657 * Oerjan * (-27) intro format, section levels 21:37:26 -!- _augur has changed nick to augur. 21:39:47 [wiki] [[AFTL]] http://esolangs.org/w/index.php?diff=42672&oldid=42666 * Oerjan * (-21) intro format, section levels, link 21:56:10 oerjan: Maybe it has to swap out MediaWiki in order for HackEgo to speak. 21:56:24 fancy 21:56:28 oerjan: Alternatively, all 104 people on channel instantly try to visit whenever HackEgo says something. 21:56:36 yay 21:57:12 104 people, that's ... something 21:57:27 -!- boily has joined. 21:57:43 bonnuily 21:58:47 goerjanight! 22:01:48 -!- nszceta has quit (Quit: Textual IRC Client: www.textualapp.com). 22:10:20 -!- AnotherTest has quit (Ping timeout: 245 seconds). 22:33:20 helloily 22:33:26 are you done with working today? 22:37:44 eek i disagree with spj but i don't have ghc HEAD to test with... 22:41:22 All right, I'm doing this. I'm making this happen. 22:41:33 I'm starting the Lepwick project again. 22:43:11 What kind of project is that? 22:46:38 Why, what kind of project *isn't* it? 22:46:56 The idea is for it to be a legal, political, and economic simulation. 22:47:04 And also a fun game. 22:48:34 all by yourself? 22:50:48 Well, ideally other people will also participate eventually. 22:52:33 oerjan: it's not very hard to build ghc you know :P 22:53:25 -!- GeekDude has quit (Ping timeout: 264 seconds). 22:55:38 on windows? 22:55:55 hmmm, virtualbox? 22:56:10 I dunno, you may have a point there. How can you suffer Windows? 22:56:23 Surely the point of reference there is the difficulty of building anything at all on windows 22:56:39 i think i should ban you all. 22:56:53 that would be a big time-saver 22:57:06 for everyone involved 22:57:47 I've seen Windows referred to as 'the securest one' 22:57:49 -!- shikhin has quit (Quit: Lost terminal). 22:58:16 https://www.blackhat.com/docs/eu-14/materials/eu-14-Selvi-Bypassing-HTTP-Strict-Transport-Security.pdf 22:58:32 Windows: • NTPv3but… 22:58:32 • Thesecurestone. 22:58:32 • Synchronizationeach7days. 22:58:41 • Doesn’tacceptmorethan15hoursincrement/ 22:58:41 decrement. 22:59:13 why all those tabs? 22:59:29 Because copy/pasted from pdf slides 22:59:38 ah 23:01:28 Hey, what should the server's hostname be? 23:04:46 Sigh I need a faster PC so that I can build ghc in less than 20 minutes... 23:06:03 You just need a prescient one so that it builds ghc right before you need it to 23:07:13 or just set ascript to build the newest one when it is released 23:07:38 -!- GeekDude has joined. 23:07:46 orin: that's not so helpful for following a git repo. 23:07:57 * Taneb hello 23:07:57 -!- boily has quit (Quit: PEDIATRIC CHICKEN). 23:08:09 Taneb: Hi there! 23:08:35 New Munchkin strategy: hide the die so the damned thief can't steal your stuff 23:09:34 Ah, Eddie the ship's computer. ("Hi there!" said the ship's computer.) 23:22:59 Anyway, I ended up tying a game of Munchkin 23:24:43 what die? 23:25:45 oerjan: Fwiw, current head still accepts T.hs and i is not bottom, and of type Proxy (Eq Int => Bool) 23:26:24 whoa, Eddie the Shipboard Computer 23:26:28 And it took 28 minutes to build, and that's without docs and only the dyn way. 23:26:41 quintopia, it's a D6, used for running away and stealing thingw 23:30:22 int-e: what about http://oerjan.nvg.org/haskell/TypeableExploits/ConTyp1.hs which is my attempt at what spj is _really_ trying to say, i think 23:30:59 (the fact i'm not actually _using_ Typeable in the posted file makes the literal interpretation nonsense) 23:31:32 oerjan: how did you get the * and * -> * in the proxy signatures? 23:31:40 i am not sure whether it will work or not, it fails in 7.8 but Typeable works completely differently 23:31:47 int-e: hm? 23:32:19 oerjan: g :: Proxy (* -> *) ((->) (Eq Int)) <-- there 23:32:46 oh -fprint-explicit-kinds 23:33:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:33:33 oerjan: ok, first it works in 7.10.1: j prints Eq Int -> Bool 23:33:49 _not_ => ? 23:34:00 And it works in head as well. 23:34:05 curious stuff. 23:34:33 uhm. that's going through the show instance of typerep 23:34:45 oh wait, obviously they don't have any => handling for typerep 23:34:58 so it uses the default -> 23:35:02 so that's expected. 23:35:11 ok then i can post that example. 23:39:08 > :t g 23:39:08 g :: Proxy ((->) (Eq Int)) 23:39:09 :1:1: parse error on input ‘:’ 23:39:12 oops :) 23:39:55 (or Proxy (* -> *) ((->) (Eq Int)) with explicit kinds) 23:40:16 darn do i call you int-e or Bertram :P 23:40:28 oerjan: int-e, I have a trac account too 23:41:30 i get confused by everyone calling each other by real name in trac whether or not their nicks match 23:42:08 > j 23:42:08 Eq Int -> Bool 23:42:10 j 23:42:12 Well I don't care much. 23:42:14 is that correct? 23:42:23 yes. 23:42:30 :t g 23:42:31 FromExpr a => a 23:42:49 :t j 23:42:50 Expr 23:42:57 * int-e is confused. 23:43:27 Ah. Figured it out :) 23:46:45 posted 23:47:45 ghci> i g 23:47:45 (->) (Eq Int) 23:48:31 ordinary typeREp should work for that 23:48:35 *e 23:49:14 However, typeRep (h g) does fail... I guess that was the whole point. 23:49:27 yep 23:52:19 hm i suppose you don't need all the other variables 23:52:35 i (Proxy :: Proxy (Eq Int => Bool)) ought to work 23:52:54 ghci> i (Proxy :: Proxy (Eq Int => Int)) 23:52:55 Eq Int -> Int 23:53:15 so, yeah. 23:57:20 what's all this 23:58:07 This is the same sort of thing as what I was doing to get a TypeRep for Ord Int? 23:58:21 shachaf: just pointing out that you still can get hold of Typeable (Eq Int => Int) etc. in HEAD, you just need to slightly circumvent the check 23:58:54 shachaf: well it started as that, anyway 23:59:35 now they put the ability to do Typeable (Ord Int) back, but tried to disallow =>