< 1429489176 890593 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript14]]4 10 02http://esolangs.org/w/index.php?diff=42630&oldid=42618 5* 03Esowiki201529A 5* (+65) 10/* Escape sequence */ < 1429489190 497323 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429489326 615772 :variable!~variable@freebsd/developer/variable QUIT :Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number < 1429489562 640008 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429490276 652642 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish/JavaScript/Escape sequence14]]4 N10 02http://esolangs.org/w/index.php?oldid=42631 5* 03Esowiki201529A 5* (+5057) 10Created page with "{| class="wikitable sortable" |- ! escape sequence !! output !! output’s ASCII code |- | $x21 || ! || 33 |- | $x22 || " || 34 |- | $x23 || # || 35 |- | $x24 || &..." < 1429491447 847638 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1429492207 917091 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :http://berlin.ipsojobs.com/job/senior-brainf-k-developer/3-1473326 < 1429492717 827915 :variable!~variable@freebsd/developer/variable NICK :trout < 1429498121 562877 :augur_!~augur@c-71-57-177-235.hsd1.fl.comcast.net NICK :_augur < 1429498513 890853 :zzo38!~zzo38@24-207-84-223.eastlink.ca JOIN :#esoteric < 1429499061 649724 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1429499186 793413 :clog!~nef@bespin.org QUIT :Ping timeout: 272 seconds < 1429499194 160972 :clog!~nef@bespin.org JOIN :#esoteric < 1429499262 871894 :Sgeo!~Sgeo@ool-44c2a85f.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1429499952 163074 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 10 02http://esolangs.org/w/index.php?diff=42632&oldid=42629 5* 03Zzo38 5* (-538) 10Add OASYS Assembler; delete the Frolg version that is not valid anymore < 1429500272 662437 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 10 02http://esolangs.org/w/index.php?diff=42633&oldid=42632 5* 03Zzo38 5* (+456) 10OASYS (OAC) < 1429500390 826383 :AndoDaan!~AndoDaan@188.189.88.181 JOIN :#esoteric < 1429500435 333385 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :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. < 1429502342 555628 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1429504131 404220 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1429504236 957677 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :> 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 < 1429504238 660865 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "..pp.p.p...p.p...p.p...p.....p.p.....p...p.p...p.....p.....p.p.....p...p.p.... < 1429504390 950506 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :What is that? < 1429504958 59095 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :prime numbers < 1429504968 344364 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :0 is not, 1 is not, 2 is,... < 1429505025 771663 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hmm < 1429505123 45538 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :> 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) < 1429505124 777498 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [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,... < 1429505184 855598 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :tromp: mind if I tweet that? < 1429505199 369685 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :be my guest! < 1429505202 685468 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :who should I attribute it to? < 1429505214 682339 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :me and int-e < 1429505214 996793 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :"tromp on IRC"? :) < 1429505378 920458 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :we developed it in BLC originally < 1429505392 818657 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :see https://github.com/tromp/AIT < 1429505429 299918 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :which is also featured in http://www.ioccc.org/2012/tromp/hint.html < 1429505449 972852 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :i just translated it to Haskell tonight... < 1429505514 641478 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Ah, yes now I can see, that is what it is. < 1429505549 970397 :jsilver!~jsilver@174-29-58-217.hlrn.qwest.net JOIN :#esoteric < 1429505567 804755 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ah, pretty cool :) < 1429505569 49207 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Mathematics will make up many ways of one thing a lot of times. < 1429505578 963676 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net PRIVMSG #esoteric :i'm off to bed now... g'night! < 1429505748 488310 :jsilver!~jsilver@174-29-58-217.hlrn.qwest.net PRIVMSG #esoteric :if numbers start at 0, why isn't 56 really called 57 < 1429505863 30748 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yopumpkin < 1429506597 490098 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :jsilver: you could call it that. < 1429506662 983728 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :the names of numbers are pretty much arbitrary < 1429506727 100603 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :a better question however is why isn't eleven called oneteen? < 1429506780 617287 :jsilver!~jsilver@174-29-58-217.hlrn.qwest.net PRIVMSG #esoteric :agreed < 1429506792 845505 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b QUIT :Ping timeout: 265 seconds < 1429507689 9845 :mitchs_!~canissimi@unaffiliated/canissimia QUIT :Read error: Connection reset by peer < 1429507927 893775 :TieSoul!~quassel@86.89.119.147 QUIT :Remote host closed the connection < 1429508576 30106 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Is there such a thing as a URI? < 1429509341 33658 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b JOIN :#esoteric < 1429509571 384594 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`unidecode 〇 < 1429509572 428228 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+3007 IDEOGRAPHIC NUMBER ZERO] < 1429509647 443449 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 JOIN :#esoteric < 1429510064 708501 :jsilver!~jsilver@174-29-58-217.hlrn.qwest.net PRIVMSG #esoteric :haskell is really fucking cool man < 1429510078 99831 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it is < 1429510177 873519 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :AAAAAA WHY ARE THE SUBTITLES HALF IN GERMAN < 1429510201 279122 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you don't like german? < 1429510267 396882 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :I guess I don't mind since I understand the japanese anyway, but it is weird < 1429510505 52917 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :She says よかった、友達が出来た and the subtitles say "I'm glad I made some Freunde" < 1429510661 511285 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :hmm I'm starting to like this. < 1429510898 475560 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Was ist los? どうしたの? < 1429511034 881593 :jsilver!~jsilver@174-29-58-217.hlrn.qwest.net PRIVMSG #esoteric :fuck this is so cool man, my mind is blown < 1429511223 703300 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07QuinePig14]]4 10 02http://esolangs.org/w/index.php?diff=42634&oldid=41983 5* 03122.37.11.94 5* (+0) 10/* Text File Named "Hello, World!" */ < 1429511543 766922 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what are you watching? < 1429511712 866994 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 244 seconds < 1429511911 512241 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CASISP14]]4 N10 02http://esolangs.org/w/index.php?oldid=42635 5* 03Orenwatson 5* (+576) 10lol this would be awesome < 1429511921 40268 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :girls und panzer < 1429511952 521701 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1429511986 859686 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :to be fair, the title is half german, too < 1429512068 651187 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :So I think we could just mix programming languages too, < 1429512115 727413 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :go for it < 1429512433 28981 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :in a sense PHP is kind of a Perl/C crossover. < 1429512495 781651 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, it is < 1429512902 488421 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :( < 1429512996 82151 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Interpreting such a programming language would be easy for a human, but hard for a computer < 1429513164 674448 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :"Der Herrgott sei gelobt" <-- what does that mean?!!?!?!? < 1429513300 779229 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :in short "thank god" < 1429513341 291746 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Ah. that makes sense < 1429513419 413953 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1429513481 512162 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Praise the lord" < 1429513503 271957 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or more literally "Praised be the lord"(?) < 1429513521 988828 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :yeah they translated よかった with it < 1429513523 37048 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm not sure if that is proper english though. < 1429513562 391855 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"sei" is subjunctive. < 1429513895 79454 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or even "the lord be praised" < 1429513938 409452 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :yeah that sounds like proper english < 1429513964 292923 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :(based on my arbitrary native speaker sense of what sounds right) < 1429513985 142696 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it is legitimate, but a bit formal, nigh on archaic < 1429513990 950972 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Yeah < 1429514022 503405 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :https://pbs.twimg.com/media/CDAHcZnUUAALn2d.jpg < 1429514292 910234 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Quit: *bubbles away* < 1429514537 344305 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :What would you say otherwise? < 1429514544 984250 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Praise the lord" < 1429514550 622498 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That sounds like an order. < 1429514796 640634 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Hmm, it kind of is a set phrase... < 1429514860 860701 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :I guess halelujah is also still used, but that is hebrew not english < 1429515261 180890 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 272 seconds < 1429515358 900204 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Good thing I switched religions. < 1429515729 521817 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07List of ideas14]]4 M10 02http://esolangs.org/w/index.php?diff=42636&oldid=42033 5* 03Vriskanon 5* (+134) 10/* Music */ Added idea for original Daft Punk language < 1429515775 289085 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1429515863 95052 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :A religion of peace :) < 1429515876 922644 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Do you like peace? < 1429515877 25575 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :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?? < 1429515908 403782 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"A decision has to be made to feel the miracle" < 1429516330 778266 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :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 < 1429516367 201237 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :At least it's probably the last exam I'll ever take < 1429516475 710352 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :? < 1429516481 758416 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's your current sleep schedule? < 1429516546 45968 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Currently I would be going to sleep aboutnow < 1429517213 734525 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :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? < 1429517283 227104 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(I can obviously brute-force it) < 1429517307 845643 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'm not sure if that even gives a unique answer. < 1429517518 327551 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429517636 804926 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Hmm... if d=0 then the only answer is a=b=0. If e=1 then the only answer is a=b=1. < 1429517702 549420 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :If d=1 and e=0, then one of a,b is 0 and the other is 1 < 1429517738 508813 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :and c has to be 1, so it tells us nothing < 1429517754 164995 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :So you cannot solve it < 1429517812 290750 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 N10 02http://esolangs.org/w/index.php?oldid=42637 5* 03Vriskanon 5* (+122) 10cre < 1429517908 313701 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 M10 02http://esolangs.org/w/index.php?diff=42638&oldid=42637 5* 03Vriskanon 5* (+2) 10Created AFTL stub page < 1429517950 398574 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 M10 02http://esolangs.org/w/index.php?diff=42639&oldid=42614 5* 03Vriskanon 5* (+11) 10/* A */ Added Another Fucking Time Loop < 1429518174 525224 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah not uniquely :( < 1429518508 668128 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :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. < 1429518535 257121 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Uh, I can't read. < 1429518554 377624 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, the 0/1, 1/0 cases have the same c, d, e. < 1429518599 324337 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Given that all three are commutative, maybe not so surprising.) < 1429518633 47709 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :d would have to be 1 not 0. if d is 0 or e is 1 then c must be 0 < 1429518657 195375 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :A naive person like me would even claim that the above system is "over defined" < 1429518662 754038 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :3 equations, 2 variables < 1429518680 983968 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Also I wrote the table all wrong. I've just woken up, going to blame that.) < 1429518707 102858 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :yeah that only works for algebra on real numbers < 1429518822 846916 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If you had, say, a ^ b, a | b and a -> b, then you could tell. < 1429518865 271506 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1429518924 214933 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com QUIT :Quit: Leaving. < 1429518933 247497 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1429518965 578819 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 QUIT :Ping timeout: 246 seconds < 1429519115 588838 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 10 02http://esolangs.org/w/index.php?diff=42640&oldid=42638 5* 03Vriskanon 5* (+2264) 10Added all content excluding sample programs. < 1429519139 802152 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 252 seconds < 1429519158 185273 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429519174 692937 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Vriskanon14]]4 M10 02http://esolangs.org/w/index.php?diff=42641&oldid=42628 5* 03Vriskanon 5* (+11) 10/* Original Languages */ Added AFTL < 1429519289 150362 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :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? < 1429519299 358833 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where a,b are integers mod N < 1429519309 522919 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(and c,d also integers mod N) < 1429519315 359078 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where N > 2 < 1429519320 961360 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :N >= 2 < 1429519322 570436 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :actually < 1429519372 667767 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :a+b, a-b < 1429519444 1226 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1429519464 933657 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not quite a one time pad < 1429519474 432228 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well < 1429519479 341887 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :0+0 = 0, 0 - 0 = 0 < 1429519487 113726 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :128+128 = 0, 128 - 128 = 0 < 1429519490 900746 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :for N=256 < 1429519500 137897 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :oh. < 1429519534 980561 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :what about for prime N < 1429519570 651584 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that should work. < 1429519574 319461 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429519598 386769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :odd N is enough, i think < 1429519603 787595 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :oerjanL whats a one time pad < 1429519621 532028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perfect encryption with a key as long as the message < 1429519622 945846 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :augh I mean oerjan: < 1429519645 324778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to be perfect, the key must _never_ be reused, thus one time < 1429519667 785318 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah odd N suffices. < 1429519693 644103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but then you encrypt a as a + k, say. < 1429519705 93471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(any group operation will do.) < 1429519757 326474 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's with the one time pad? < 1429519758 643499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose it is a one time pad if b is the key < 1429519767 618775 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b isn't the key < 1429519775 570562 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a and b are two data points < 1429519794 411907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case i believe what you're asking is mathematically impossible < 1429519804 749177 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well it works with odd N < 1429519828 607587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no i mean, to be secure you have to assume the attacker knows _something_ about a and b. < 1429519843 743750 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 252 seconds < 1429519862 77140 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh yeah < 1429519866 856192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like, imagine is a be were just 0 and 1 (but you still used > 1 bits) (this is a hypothetical strawman to illustrate) < 1429519868 341599 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's terrible against known plaintexts I guess < 1429519879 509315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or that. < 1429519889 780650 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or partially known plaintexts < 1429519903 358520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or even texts in a known language < 1429519997 170458 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :otoh secret sharing _is_ a branch of cryptography https://en.wikipedia.org/wiki/Secret_sharing < 1429520030 354965 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but you would have no overhead and wouldn't need to transmit any keys < 1429520033 988867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :however you need more bits than the secret to be shared < 1429520056 451456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, but i don't think that's theoretically possible. < 1429520076 883560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the overhead is needed to make it work. < 1429520083 631563 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Reasonably if a and b were images < 1429520090 113927 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can encode those two images into two other images < 1429520098 670113 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and give one to each of my two friends < 1429520116 894260 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and they wouldn't be able to get these two images back without consulting each other < 1429520124 728849 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(unless they have good prior knowledge about a and b I guess) < 1429520143 501366 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I don't need to give them any keys or whatsoever. < 1429520167 345181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose you need a good scrambling function. hm can you write it using just a hash... < 1429520196 637520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assume we can use a publically know hash function. < 1429520200 97464 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That's the scenario I'm aiming at actually :D @two images, distribute to two friends < 1429520251 776844 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however you can probably see parts of the images :( < 1429520266 890628 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. if one is bright and one is dark (i.e mostly (0,0,0) pixels) < 1429520273 100360 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you would see the other image in the a+b image < 1429520275 761327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a + b + h, a - b + h, the question is what should the hash h be _of_ to make it reconstructible < 1429520320 918654 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1429520330 4080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you hash b it works with that, i think < 1429520344 704093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because you can reconstruct b by subtraction < 1429520348 622113 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a + b - h, a - b + h? < 1429520362 720212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: for that you can hash a < 1429520368 732990 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that let's you reconstruct h anyway? < 1429520377 679630 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :by taking the difference of the two images? < 1429520380 148780 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait no < 1429520383 564906 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :stupid me :( < 1429520397 509691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are several options here < 1429520480 440278 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you could use the upper left pixels to encode some information I guess < 1429520493 46997 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but then you loose a few pixel of the image :( < 1429520497 511637 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and that'd be cheating < 1429520579 222342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can't you just use xor or something < 1429520627 317223 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :How? < 1429520632 436388 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm wrong < 1429520643 522807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: not with his requirement that the resulting shares should be that small < 1429520648 561065 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :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 < 1429520649 473714 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a ^ b = c; a ^ d = e; but then you'd need to transmit c,d and e < 1429520661 463077 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but that requires revealing one of A or B < 1429520703 513976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: btw he's not assuming that the number of values is a power of 2, so xor isn't necessarily available < 1429520712 387662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :come on < 1429520719 958365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you can xor images well enough < 1429520746 60987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well they usually _are_ a whole number of bits < 1429520746 450693 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can xor images, yes. < 1429520785 137954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :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. < 1429520799 191291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, not quite < 1429520805 729817 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wait < 1429520807 499714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :why can't you just < 1429520810 153818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :x = encrypt(a, H(b)) < 1429520812 843668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :y = encrypt(b, H(a)) < 1429520818 114873 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh. because you can't go from both of those to a or b < 1429520821 386578 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION sighs < 1429520918 177777 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :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 < 1429521003 638185 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well I am sure oerjan will figure it out < 1429521005 775107 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you could also randomly select if you should use the pixel from image A or image B < 1429521039 203753 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if rnd() then x[i] = a[i] ; y[i] = b [i] else x[i] = b[i]; y[i] = a [i]; < 1429521041 659838 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :something like that < 1429521057 841636 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but then you'd need to comunicate the seed somehow < 1429521058 965223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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 < 1429521074 412122 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I hate that a + b, a - b totally works < 1429521076 454025 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :except for images < 1429521082 748140 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :images aren't random enough :( < 1429521179 911848 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you could scramble things though < 1429521184 917926 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like x = a + b; y = a -b; < 1429521191 513711 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then swap pixels in x and y < 1429521221 209987 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i.e. swap x[i] and y[i]) < 1429521239 207258 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that reduces visible artefacts to some extent. < 1429521258 607865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the point of my adding a hash was to ensure that scrambling. < 1429521293 387028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course the hash has to be the same size, and indistinguishable from random noise < 1429521320 274848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1429521330 190697 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :x a + b + H(b) < 1429521338 6387 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is obviously vulnerable to an attacker who knows either a or b < 1429521339 520403 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :x = a + b + H(b), y = a - b + H(b)? < 1429521364 480861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: yeah < 1429521375 231064 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :x - y = a + b + H(b) - a + b - H(b) = b + b? < 1429521377 540388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except + _doesn't_ work with whole bits < 1429521400 904085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe nothing does, hm < 1429521430 631214 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(everything mod N) < 1429521443 294146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it works when N is odd < 1429521443 425589 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you can't really divide by 2 :( < 1429521471 235497 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how do you reconstruct b? < 1429521490 76489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :easy when N is odd hth < 1429521525 624446 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh. right. < 1429521545 485803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :x = a - b + H(b), y = a + 2b + H(b) would work when N is not divisible by 3, etc. < 1429521628 189524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i'm slightly worried that some bits may seep through there < 1429521628 993391 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If an attacker knows a or b your privacy is lost anyway :D < 1429521649 502931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or hm nah < 1429521667 630022 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that depends on H probably < 1429521672 297981 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if H(x) = x then yes :D < 1429521680 514524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's probably something wrong about this scheme since the wikipedia page doesn't mention it, but i don't know what :) < 1429521698 805728 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :maybe it's too good so the NSA doesn't want people to know it . < 1429521701 837814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why in the world would H(x) = x < 1429521729 312930 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because that's the Hashfunction recommended by the NSA < 1429521733 290581 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: if we're considering bits then H is either identity or negation right < 1429521734 283087 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok enough NSA jokes. < 1429521749 871347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um we're not considering single bits hth < 1429521777 623584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i'm pretty sure i used the word "strawman" in the line where i did) < 1429521822 882916 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 M10 02http://esolangs.org/w/index.php?diff=42642&oldid=42640 5* 03Vriskanon 5* (+279) 10Added Hello World sample program < 1429521844 399322 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: okay but we're considering images right < 1429521849 908699 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so isn't + meant to be bitwise xor or whatever < 1429521852 469207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the NSA doesn't want encryption to be _that_ bad. they don't want the _chinese_ to be able to break it, after all. < 1429521879 735804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: no, it's + (mod N), sheesh < 1429521944 858693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it were xor then 2b would be 0. otoh i don't see why that _really_ breaks anything... < 1429522028 121886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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. < 1429522079 168913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok then, x = a + b + H(b), y = a + H(b). < 1429522104 527060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now it works with any group addition. < 1429522249 532598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but probably breaks for lousy a and b < 1429522518 575538 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ok but what is H then < 1429522528 721939 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :presumably it has a smaller domain than codomain? < 1429522562 366653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no that wouldn't work, needs to be equal size < 1429522599 133137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok < 1429522602 389724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are you sure this is a hash function :P < 1429522610 221345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it needs to look like random noise < 1429522612 977800 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1429522620 58219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, i'm not sure that's what it's called < 1429522625 195660 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is there a name for that kind of scrambler < 1429522684 845553 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh and it's also necessary that b + H(b) looks like random noise < 1429522742 185764 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well some basic structure can still be recognised depending on the pictures. < 1429522761 486087 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but my hash function isn't that great probably < 1429522780 986974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: RANDOM NOISE OF THE SAME SIZE hth < 1429522795 662668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: H is basically an encryption with some random key < 1429522800 948876 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(as in, some pre-specified key) < 1429522812 36882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yeah < 1429522818 922827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it's just H(x) = x ^ key < 1429522847 984208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um no that would break the b + H(b) assumption i just f mentioned hth < 1429522872 9176 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1429522874 97735 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well key would be noise < 1429522898 802405 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: if you mean ^ = + = xor, it doesn't help, b + H(b) = key then < 1429522932 480816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's pretty fatal < 1429522957 319257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(note that the key is _not_ secret or we break the whole problem statement) < 1429522977 71393 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1429522984 346979 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well are you sure this H exists < 1429523005 514804 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :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 < 1429523020 355197 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe my intuition is misfiring in seeing a pigeonhole problem here < 1429523068 671220 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: um there's no requirement it cannot accidentally coincide for _some_ x. < 1429523128 211955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it just has to be astonishingly unlikely < 1429523139 734496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right okay < 1429523155 664963 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm using x^3 `mod` 255 < 1429523177 231516 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429523186 523287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bloody upstairs neighbor trampling around < 1429523241 146200 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can still recognize that it's a building in the picture :) < 1429523271 63010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: it's not supposed to apply the hash function to each byte separately, duh < 1429523282 238769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's supposed to be a hash of the _whole_ picture < 1429523287 670754 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh. < 1429523289 45808 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I see. < 1429523298 293662 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but still < 1429523302 697572 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if b is a white picture < 1429523317 747123 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or a black one for that matter < 1429523325 447339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...then you're lost anyway because what attacker cannot test such simple cases? < 1429523341 115548 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :oerjan: try hitting the ceiling with a broom < 1429523345 884139 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :even if you take the hash of the whole picture < 1429523348 421652 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com QUIT :Quit: Leaving. < 1429523351 248064 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can still recognize structures in them < 1429523353 211759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't have a broom. < 1429523359 724367 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if an area is uniform in one picture < 1429523375 212567 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com JOIN :#esoteric < 1429523377 366411 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(uniformly coloured) < 1429523383 336902 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the other picture will "shimmer" through < 1429523422 735827 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :try throwing a potato at the ceiling < 1429523438 112333 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: the hash is supposed to look like random noise for heaven's sake < 1429523454 837033 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it doesn't? < 1429523463 316961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman: THEN FIND A BETTER ONE < 1429523468 180148 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1429523472 455937 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the hash has the same size as the picture? < 1429523475 687404 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1429523477 111571 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1429523478 208292 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!!! < 1429523478 737515 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1429523491 546046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :can you please call it something other than H :P < 1429523545 990960 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429523554 2369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION must be having that Curse of knowledge thing < 1429523566 820002 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :call it 9 < 1429523575 26306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hashed together with dunning-kruger < 1429523593 957554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :orin: i don't have a potato hth < 1429523665 229102 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1429523757 676739 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :I didn't mean specifically a potato, just some random object < 1429523783 561456 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1429523870 648467 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I HAVE NO RANDOM OBJECTS oh wait < 1429523879 842447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also they sort of stopped. < 1429524008 470853 :Insipid!~Owner@cpe-72-224-137-157.nycap.res.rr.com QUIT :Quit: Leaving. < 1429525028 15291 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1429525051 418451 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429525104 779641 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Client Quit < 1429525124 434368 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429525509 563316 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1429525709 734976 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :`2014 < 1429525713 302262 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429525860 94015 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`2015 < 1429525860 659703 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429525986 790262 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`2016 < 1429525987 691683 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 2016: not found < 1429525993 925941 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` type 2015 < 1429525994 895326 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2015 is /hackenv/bin/2015 < 1429526005 885841 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`file /hackenv/bin/2015 < 1429526008 623421 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/hackenv/bin/2015: POSIX shell script, ASCII text executable < 1429526018 432568 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`cat /hackenv/bin/2015 < 1429526019 184029 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi < 1429526040 399677 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`cat /hackenv/bin/2014 < 1429526041 240909 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi < 1429526065 925739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^wiki 2014 < 1429526065 978957 :fungot!~fungot@82.68.182.43 PRIVMSG #esoteric :http://esolangs.org/wiki/2014 < 1429526275 253498 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Someone has yet to write a page on the 2015 derivative < 1429526286 46701 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hexadecimal Stacking Pseudo-Assembly Language14]]4 10 02http://esolangs.org/w/index.php?diff=42643&oldid=42394 5* 03Oerjan 5* (+10) 10wikify a bit < 1429526451 855114 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :it outputs when run in any year but it's 2015? < 1429526480 637477 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :but 2015* < 1429526698 961740 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1429526868 761233 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 10 02http://esolangs.org/w/index.php?diff=42644&oldid=42569 5* 03Oerjan 5* (-19) 10Fix some disorder < 1429527288 153433 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=42645&oldid=42639 5* 03Oerjan 5* (-6) 10/* G */ grm < 1429527613 46938 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`2014 < 1429527613 709057 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429527615 188890 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`2015 < 1429527615 841178 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1429527617 660923 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`2016 < 1429527618 186349 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 2016: not found < 1429527759 228655 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :2016 should be, if 2014 and 2015 give the same output then output it too, if not then... something else. < 1429528040 613999 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Meq14]]4 10 02http://esolangs.org/w/index.php?diff=42646&oldid=42348 5* 03Oerjan 5* (+642) 10Wikify and format < 1429528085 529808 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429528250 456469 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1429528419 787628 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if year = 0 then echo "Welcome, Jesus!" < 1429528434 73200 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that is, unless you beleive some period around 17xx didn't exist. < 1429528442 75494 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*believe < 1429528460 406143 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(It was around 17xx wasn't it?) < 1429528492 354135 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which proposes that the year 613 was followed by the year 911 hm no < 1429528543 859924 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :1000 AD, so he got there by advancing the calendar 300 years < 1429528556 672407 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok apparenteley multiple people screwed with the calendar. < 1429528572 367776 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :613-911 didn't exist and 700-1000 didn't exist. < 1429528580 541453 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which makes sense < 1429528588 950198 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but < 1429528600 867275 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how can he advance 300 years from 700 to 1000 if the year 700 didn't exist in the first place? < 1429528666 133848 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1429528677 472630 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :Who is 'he'? < 1429528744 316871 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :mrhelloman. they saved on non-existing years by recycling one that never happened in the first place hth < 1429528754 964302 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :AndhelloDaan. it's him, who else? < 1429528859 725847 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :Hoiwdy. < 1429528863 368579 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :... < 1429528867 514493 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :AndoDaan: the pope I think. < 1429528895 449269 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't remember < 1429528908 211754 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just know that there are conspiracies about years being skipped < 1429528915 328488 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and no sane man would do that < 1429528926 364073 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :Ah. < 1429528928 242405 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I just assumed it has a religous background to do so < 1429528945 307557 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I would advance the calender to 3145 < 1429528948 424491 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'm no sane man :p < 1429528995 387075 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :AndoDaan: http://en.wikipedia.org/wiki/Phantom_time_hypothesis < 1429529003 42253 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's one of those conspiracies. < 1429529089 176392 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"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. " < 1429529107 285848 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :He could've just asked god for him to live another 300 years but ok... < 1429529132 563310 :AndoDaan!~AndoDaan@188.189.88.181 PRIVMSG #esoteric :Maybe he hoped to bring about the second coming. < 1429529137 589203 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"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. " < 1429529220 812492 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :There's also the weird Fomenko theory < 1429529236 891173 :boily!~alexandre@96.127.201.149 QUIT :Quit: PLUVIOUS CHICKEN < 1429529243 239297 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Axo14]]4 10 02http://esolangs.org/w/index.php?diff=42647&oldid=42357 5* 03Oerjan 5* (+38) 10table style, fmt, template < 1429529256 245243 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Which claims that various events prior to 1000 were postdated copies of events that happened after < 1429529325 168764 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Apparently Solomon and Suleiman the Magnificent are the same person < 1429529384 77535 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Pseudohistory is entertaining sometimes < 1429529644 59099 :idris-bot!~ircslave@dslb-092-072-169-098.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 246 seconds < 1429529809 349665 :idris-bot!~ircslave@dslb-092-072-169-098.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1429529937 987507 :AnotherTest!~turingcom@d51a4c79c.access.telenet.be JOIN :#esoteric < 1429529953 224309 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07POGAACK14]]4 10 02http://esolangs.org/w/index.php?diff=42648&oldid=42397 5* 03Oerjan 5* (-21) 10Something went wrong with that last edit. Also link. < 1429530098 754286 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Object oriented thue14]]4 10 02http://esolangs.org/w/index.php?diff=42649&oldid=42481 5* 03Oerjan 5* (+11) 10intro fmt < 1429530164 923458 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :I have no way of proving that anything happened prior to ~1996 < 1429530295 378124 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :orin: How old were you 1996? < 1429530308 5053 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :about 3 < 1429530329 156430 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :assuming the previous three years actually happened < 1429530335 742520 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but are you sure that it really was the year 1996? < 1429530341 988552 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :knowing that some years might not have existed at all. < 1429530349 942239 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Well it could have been the year 0 < 1429530391 324927 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :which would make this year 19 < 1429530444 246722 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :Alternately, we could fix 1970 as year 0 < 1429530446 144028 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish (programming language)14]]4 10 02http://esolangs.org/w/index.php?diff=42650&oldid=42588 5* 03Oerjan 5* (+64) 10link, tables, link description < 1429530513 248802 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :using 1970 as year 0 sounds reasonable. < 1429530695 936510 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :making Alan Shepard the first man on the moon < 1429530716 492148 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :What is 1970? I think year 0 is year 0 < 1429530717 363832 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/move14]]4 move10 02 5* 03Oerjan 5* 10moved [[02ASCII art/mandelbrot10]] to [[User:Esowiki201529A/ASCII art/mandelbrot]]: I don't think this should be a main namespace article all by itself < 1429530770 932092 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :it would allow us to more easily convert unix time to years < 1429530792 686757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :didn't we use to have subpages in User: < 1429531674 363331 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hashes14]]4 10 02http://esolangs.org/w/index.php?diff=42652&oldid=42493 5* 03Oerjan 5* (-21) 10Undo revision 42493 by [[Special:Contributions/Esowiki201529A|Esowiki201529A]] ([[User talk:Esowiki201529A|talk]]) (doesn't work) < 1429531859 114880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the wiki is nearly locking up again :( < 1429531908 122932 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gibberish (disambiguation)14]]4 10 02http://esolangs.org/w/index.php?diff=42653&oldid=42574 5* 03Oerjan 5* (+14) 10We seem to have a template for this < 1429532089 672495 :AndoDaan_!~AndoDaan@188.189.88.181 JOIN :#esoteric < 1429532171 860543 :AndoDaan!~AndoDaan@188.189.88.181 QUIT :Ping timeout: 264 seconds < 1429532318 460218 :AndoDaan!~AndoDaan@188.189.88.181 JOIN :#esoteric < 1429532500 122277 :AndoDaan_!~AndoDaan@188.189.88.181 QUIT :Ping timeout: 246 seconds < 1429532528 756533 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1429532956 437390 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 256 seconds < 1429533197 400895 :AndoDaan!~AndoDaan@188.189.88.181 QUIT :Ping timeout: 272 seconds < 1429533224 807525 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[0742014]]4 N10 02http://esolangs.org/w/index.php?oldid=42654 5* 03Vriskanon 5* (+2633) 10Added 420 in celebration of 4/20. Code is a derivative of Chicken. < 1429533248 881270 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1429533268 331620 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Vriskanon14]]4 M10 02http://esolangs.org/w/index.php?diff=42655&oldid=42641 5* 03Vriskanon 5* (+10) 10/* Joke Languages */ Added 420 credit < 1429533308 388300 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Joke language list14]]4 M10 02http://esolangs.org/w/index.php?diff=42656&oldid=42627 5* 03Vriskanon 5* (+76) 10/* General languages */ Added 420 < 1429534169 644981 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1429534749 625127 :nszceta!~nszceta@95.211.152.2 JOIN :#esoteric < 1429536384 557914 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[0742014]]4 M10 02http://esolangs.org/w/index.php?diff=42657&oldid=42654 5* 03Vriskanon 5* (+1) 10/* Commands */ Fixed an error in table < 1429536611 179613 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 M10 02http://esolangs.org/w/index.php?diff=42658&oldid=42642 5* 03Vriskanon 5* (+163) 10/* Commands */ Added spacing clarification < 1429536774 281284 :zadock!~zadock@muscalu.tuiasi.ro QUIT :Quit: Leaving < 1429537170 23507 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :orin: but Fomenko is probably the sanest of them all < 1429538028 993693 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1429538217 584897 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1429539580 662172 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Y'know, my favorite large number is one I like to call "the largest reasonable number". < 1429539617 483510 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The largest number representable in the calculus of constructions using no more than a million symbols. < 1429539666 206703 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :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. < 1429539851 751055 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429539942 65465 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I like the notation of "reasonably large numbers" < 1429540031 873401 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I call every number reasonable that can be expressed as a sum of distinct square roots. < 1429540047 629313 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :5 = sqrt(9) + sqrt(4) < 1429540070 372030 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I call numbers of the form n = sqrt(a) + sqrt(b) where (a - b) = n super reasonable < 1429540082 158787 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(I hope there aren't too many of them) < 1429540091 743335 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but there are too many < 1429540106 445803 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Can't every number be expressed as the sum of two squares actually? < 1429540146 918096 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but what about square roots. < 1429540149 114980 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(a - b) = sqrt(a) + sqrt(b); thus (a - b)² = (sqrt(a) + sqrt(b))²; thus a² - 2ab + b² = a + b + 2×sqrt(a×b) < 1429540162 132289 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: even more numbers can be expressed as the sum of two square roots < 1429540178 688157 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. 3 is not the sum of two squares < 1429540185 373457 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but it's sqrt(1) + sqrt(4) < 1429540190 866410 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yep < 1429540214 943331 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :obviously you can do that with every number ;) < 1429540226 954708 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a necessary condition for a number to be super reasonable is that a×b is a square number < 1429540229 641091 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :x = a + b < 1429540237 71995 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :just square a and b < 1429540239 444560 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and done :D < 1429540243 324028 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep, super reasonable is harder < 1429540259 691113 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1429540261 329094 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :4 can't < 1429540271 491852 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sqrt(4) + sqrt(1) is 3 < 1429540274 510021 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :4 = sqrt(9) + sqrt(1) < 1429540279 698108 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh < 1429540309 342852 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It'd be more fun if the numbers to be square rooted can't exceed the number itself < 1429540331 506426 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in that case it's impossible for any but very small numbers < 1429540337 797267 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :True. < 1429540342 81259 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because most numbers are greater than twice their own square root < 1429540353 900596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this super reasonable thing is more interesting though < 1429540356 925996 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :well you can use multiple square roots < 1429540360 748313 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :just not the same one twice. < 1429540366 898737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh right < 1429540429 114903 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1429540441 741998 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm still < 1429540454 26656 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sqrt(1) + sqrt(4) would be illegal then < 1429540497 695031 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :no that's no good < 1429540503 638944 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I need to come up with more useful things. < 1429541247 6340 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429541247 98954 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Client Quit < 1429541271 585198 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429541410 856389 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 JOIN :#esoteric < 1429542078 337498 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: What about numbers that can't be divided by any sum of two of its factors. < 1429542091 179415 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Like 6 is not such a number because 1+2 = 3 and 3 divides 6 < 1429542111 298542 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :8 however 1,2,4,8 is such a number. < 1429542134 114705 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have a feeling that there's a simple rule here < 1429542137 451335 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1429542144 136400 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :probably with the number 3 < 1429542149 214454 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :along the line of "any number with three different prime factors" < 1429542155 581730 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that's not necessary < 1429543221 855868 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1429544102 252279 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`which dc < 1429544103 82370 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/usr/bin/dc < 1429544110 9060 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :``echo [[]]ax | dc < 1429544112 550577 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `echo: not found < 1429544117 219004 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :o_o < 1429544123 908615 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ah a space < 1429544125 977761 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` echo [[]]ax | dc < 1429544127 769061 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: line 1: 293 Done echo [[]]ax \ 294 Segmentation fault | dc < 1429544133 372968 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ segfault < 1429544133 517776 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  | < 1429544133 603525 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69 /´\ < 1429544148 746297 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :myndzi: stop adding penises -_- < 1429544271 241613 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544271 397681 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |   |   |   | < 1429544271 485284 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  >\ /<  /<   >\ < 1429544272 978854 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544273 101848 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |   |   |   | < 1429544273 155445 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  >\ /^\  |\ /^\ < 1429544274 976976 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544275 112659 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |   ¦   |   | < 1429544275 166085 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |\ ´¸¨  >\ /| < 1429544276 978818 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544278 981113 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544279 119792 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |   |   |   | < 1429544279 183516 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  >\ /<   |\  >\ < 1429544280 978471 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544282 977754 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\o/ \o/ \o/ \o/ < 1429544283 114928 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |   |   |   | < 1429544283 207813 :myndzi!myndzi@tetrisguide.com PRIVMSG #esoteric :69  |\ /^\  |\ /´\ < 1429544305 831345 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :\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/ < 1429544357 200572 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did i break it? < 1429544467 705073 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1429544674 52702 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think there are just limits. < 1429544779 848480 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1429545135 532839 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :...dc shouldn't segfault on [[]]ax, should it? What's happening there? < 1429545202 748285 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh huh, it just pushes '[' as a string and then tries to execute that? < 1429546043 235463 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, I guess it's not very robust w.r.t. unbalanced brackets. < 1429546058 871570 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 M10 02http://esolangs.org/w/index.php?diff=42659&oldid=42658 5* 03Vriskanon 5* (+23) 10/* Commands */ Changed inherant looping < 1429546072 568494 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Probably you're not "supposed" to be able to enter such. < 1429546436 474259 :Somelauw!~Somelauw@unaffiliated/somelauw JOIN :#esoteric < 1429546442 75711 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :hello < 1429546464 598123 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :What's a good way to represent negative numbers in brainfuck-like languages without having to special case. < 1429546502 343612 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :I noticed multiplication works most of the time because of wrapping < 1429546708 578063 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :most of the time? < 1429546791 271341 :variable!~variable@freebsd/developer/variable NICK :trout < 1429547413 710127 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :FireFly: beautiful < 1429547432 846268 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :izabera's program, not mine < 1429547434 846554 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :although.. < 1429547438 846548 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`` dc -e '[' < 1429547439 784706 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Segmentation fault < 1429547450 846323 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Even this segfaults, it seems.. < 1429547452 956289 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? dc < 1429547453 698927 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dc? ¯\(°​_o)/¯ < 1429547468 847025 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`dc --help < 1429547469 582882 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :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 . < 1429547488 367229 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I thought GNU software was generally a bit more stable than that < 1429547490 320938 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn dc is short for "dump core". (try it out yourself: dc -e '[') < 1429547493 399555 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'dc': dc is short for "dump core". (try it out yourself: dc -e '[') < 1429547502 449904 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :haha < 1429547744 735301 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :but something more easy to represent comparision operators with < 1429547791 740916 :Somelauw!~Somelauw@unaffiliated/somelauw PRIVMSG #esoteric :izabera: I think it works all the time for plus, minus, times and divide as long as the implementation is wrapped < 1429548101 449286 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I knew that about -e '[', but had totally forgotten. < 1429548185 550183 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`run dc -e ']' # at least this has an error message < 1429548186 116571 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dc: ']' (0135) unimplemented < 1429548565 469493 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 246 seconds < 1429548636 778262 :nszceta!~nszceta@95.211.152.2 QUIT :Ping timeout: 250 seconds < 1429549213 885379 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1429549289 317437 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Twocode14]]4 10 02http://esolangs.org/w/index.php?diff=42660&oldid=40158 5* 03GermanyBoy 5* (+628) 10/* Examples/Minsky machine */ new section < 1429549426 779138 :b_jonas!~x@5400C982.dsl.pool.telekom.hu JOIN :#esoteric < 1429549502 711231 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :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 < 1429549777 670516 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Onecode (GermanyBoy)14]]4 10 02http://esolangs.org/w/index.php?diff=42661&oldid=41662 5* 03GermanyBoy 5* (+45) 10/* Grammar */ < 1429549817 284803 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1429549846 761279 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 248 seconds < 1429549861 748483 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1429550544 481933 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :If dc has something wrong then you can post a bug report to GNU < 1429550552 970764 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :(You can also try to fix it by yourself) < 1429550588 487229 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 M10 02http://esolangs.org/w/index.php?diff=42662&oldid=42659 5* 03Vriskanon 5* (-5) 10/* Hello, world! program */ Fixed Hello, world! program < 1429550719 672683 :AndoDaan!~AndoDaan@188.188.69.37 JOIN :#esoteric < 1429550781 775192 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 M10 02http://esolangs.org/w/index.php?diff=42663&oldid=42662 5* 03Vriskanon 5* (+42) 10/* Sample programs */ Added Cat program < 1429550941 50670 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`dc -e "1 2 3 + + p" < 1429550945 642422 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dc: dc: '"' (042) unimplemented \ 6 \ '"' (042) unimplemented < 1429550949 280688 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`run dc -e "1 2 3 + + p" < 1429550950 128337 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :6 < 1429551128 367363 :Somelauw!~Somelauw@unaffiliated/somelauw QUIT :Ping timeout: 252 seconds < 1429551392 853177 :trout!~variable@freebsd/developer/variable QUIT :Ping timeout: 250 seconds < 1429552092 933518 :nszceta!~nszceta@95.211.152.2 JOIN :#esoteric < 1429552165 253738 :nszceta!~nszceta@95.211.152.2 QUIT :Client Quit < 1429552220 529081 :Somelauw!~Somelauw@unaffiliated/somelauw JOIN :#esoteric < 1429552272 482188 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1429552819 538944 :Somelauw!~Somelauw@unaffiliated/somelauw QUIT :Ping timeout: 244 seconds < 1429553043 705803 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1429553288 731208 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Fortob14]]4 10 02http://esolangs.org/w/index.php?diff=42664&oldid=40525 5* 03GermanyBoy 5* (+276) 10/* Method reference */ < 1429553346 558604 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 244 seconds < 1429553459 577210 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1429554114 815620 :Somelauw!~Somelauw@unaffiliated/somelauw JOIN :#esoteric < 1429554219 746409 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1429554271 822055 :nortti!~juhani@ayu.smar.fi NICK :lawspeaker < 1429554310 994883 :lawspeaker!~juhani@ayu.smar.fi NICK :nortti < 1429555562 909671 :AndoDaan_!~AndoDaan@188.188.90.63 JOIN :#esoteric < 1429555567 873732 :AndoDaan_!~AndoDaan@188.188.90.63 QUIT :Client Quit < 1429555589 38255 :AndoDaan_!~AndoDaan@188.188.90.63 JOIN :#esoteric < 1429555640 589466 :AndoDaan!~AndoDaan@188.188.69.37 QUIT :Ping timeout: 244 seconds < 1429556632 802676 :teuchter!choochter@nat/ibm/x-yroptzwelyjqxvjs JOIN :#esoteric < 1429556818 611831 :choochter!choochter@nat/ibm/x-qrzqltzikzdujwgt QUIT :Ping timeout: 244 seconds < 1429557290 805313 :guydreich!choochter@nat/ibm/x-mkhcrzqbroimrjah JOIN :#esoteric < 1429557385 834417 :AndoDaan!~AndoDaan@188.188.91.253 JOIN :#esoteric < 1429557440 846954 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :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? < 1429557448 524851 :AndoDaan_!~AndoDaan@188.188.90.63 QUIT :Ping timeout: 246 seconds < 1429557494 775693 :teuchter!choochter@nat/ibm/x-yroptzwelyjqxvjs QUIT :Ping timeout: 248 seconds < 1429557665 839507 :AndoDaan!~AndoDaan@188.188.91.253 QUIT :Ping timeout: 256 seconds < 1429557691 153419 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think that's generally called a man-in-the-middle attack. < 1429557882 27570 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1429557959 496106 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :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. < 1429557971 833209 :AndoDaan!~AndoDaan@188.189.66.185 JOIN :#esoteric < 1429558099 73613 :AndoDaan_!~AndoDaan@188.189.66.185 JOIN :#esoteric < 1429558262 848317 :AndoDaan!~AndoDaan@188.189.66.185 QUIT :Ping timeout: 248 seconds < 1429558283 993840 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1429558304 385431 :AndoDaan_!~AndoDaan@188.189.66.185 QUIT :Read error: Connection reset by peer < 1429558373 709203 :roasted42!~appleseed@197.77.15.42 JOIN :#esoteric < 1429558373 762634 :roasted42!~appleseed@197.77.15.42 QUIT :Changing host < 1429558373 762684 :roasted42!~appleseed@unaffiliated/them4ch1n3 JOIN :#esoteric < 1429558373 762708 :roasted42!~appleseed@unaffiliated/them4ch1n3 NICK :TheM4ch1n3 < 1429558409 370371 :TheM4ch1n3!~appleseed@unaffiliated/them4ch1n3 QUIT :Read error: Connection reset by peer < 1429558555 665927 :rdococ!5219f1b7@gateway/web/freenode/ip.82.25.241.183 QUIT :Quit: Page closed < 1429559011 495495 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :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 ... < 1429559017 497197 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... 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. < 1429559070 559884 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Some servers use the wrong certificate so I want to ignore the certificate < 1429559146 163383 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :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 < 1429559171 655884 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Do you know if Wikipedia has a userbox for linking to FOAF data? < 1429559283 868834 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1429559567 143344 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :fizzie: That is correct. < 1429559581 453792 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :fizzie: It's the only way for https to work *sensibly* through a proxy. < 1429559611 871331 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :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. < 1429559676 58193 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :HTTP CONNECT is kinda neat as a way of tunneling a TCP connection. < 1429559683 719274 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :*If* obviously quite limited in scope. < 1429560018 270059 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I do find HTTP CONNECT useful for use as a general-purpose proxy sometimes, since there are some such proxies < 1429560035 970187 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1429560055 222240 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :Although what I was asking, this doesn't do. < 1429560139 84858 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :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) < 1429560442 899876 :nszceta!~nszceta@95.211.152.2 JOIN :#esoteric < 1429560588 186834 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Harp14]]4 10 02http://esolangs.org/w/index.php?diff=42665&oldid=42555 5* 03Oerjan 5* (+8) 10clarify < 1429560675 225992 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 10 02http://esolangs.org/w/index.php?diff=42666&oldid=42663 5* 03Vriskanon 5* (+1874) 10Added Python Interpreter < 1429561106 252674 :b_jonas!~x@5400C982.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1429561357 311655 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :I had idea making the decentralized poll survey system out of RDF < 1429561490 294551 :Somelauw!~Somelauw@unaffiliated/somelauw QUIT :Quit: WeeChat 0.4.2 < 1429562514 950043 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :How many integers are the sum of two square roots of integers, neither of which is a perfect square? < 1429562580 618624 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh tricky < 1429562669 697030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my hunch is "none" < 1429562697 828915 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1429562714 119930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except 0 if you squint the right way < 1429562721 688553 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lol < 1429562757 90508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i vaguely recall some relevant theorem < 1429562760 57582 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lessee, when is sqrt(a) + sqrt(b) an integer? Is there a Diophantine equation for that? < 1429562793 573997 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's an integer whenever a + b + 2 sqrt(ab) is a perfect square. < 1429562796 467424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(sqrt(a) + sqrt(b))^2 is then also an integer < 1429562835 625922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means 4ab must be a perfect square, minimum < 1429562866 23182 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which means ab is as well < 1429562872 771362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1429562921 132139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means every factor of a or b which _isn't_ a square must be equal < 1429562935 324633 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1429562961 850048 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so a = n*x^2, b = n*y^2 < 1429562980 505189 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So it's (x^2 + y^2) sqrt(n), aye? < 1429562988 20603 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1429562989 135408 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Which is never an integer when n isn't a perfect square, aye? < 1429562995 574674 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, (x + y) sqrt(n) < 1429563008 127798 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you skipped a step < 1429563008 642216 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right. < 1429563021 366172 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But the conclusion is right, aye? < 1429563023 504724 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but the sqrt n part is what matters < 1429563026 170185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :looks like. < 1429563029 435056 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So this Turing machine does not halt. < 1429563285 771182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, the "except 0" looks right too. < 1429563347 528922 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it being the sum of all pairs of square roots of the same number < 1429563457 106881 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it doesnt matter to the proof above whether we allow one of the roots to be negative, except in that case, yes? < 1429563593 184445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1429563597 786258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's what i meant < 1429563694 629370 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1429563863 740831 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Duck Duck Goose14]]4 10 02http://esolangs.org/w/index.php?diff=42667&oldid=42579 5* 03Oerjan 5* (+4) 10/* Sample programs */ links and section level < 1429563903 93818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION finds it curious that the page takes ages to load _after_ HackEgo has announced it < 1429563934 139744 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :heh < 1429563957 50160 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1429563961 862326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which happened instantly this time < 1429564302 685095 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07414]]4 10 02http://esolangs.org/w/index.php?diff=42668&oldid=42613 5* 03Oerjan 5* (-7) 10formatting, link < 1429564584 320428 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Quit: Toodaloo < 1429564776 874570 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Element14]]4 10 02http://esolangs.org/w/index.php?diff=42669&oldid=42610 5* 03Oerjan 5* (+40) 10section levels, links < 1429565050 605189 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 246 seconds < 1429565491 909815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Basilisk14]]4 10 02http://esolangs.org/w/index.php?diff=42670&oldid=42626 5* 03Oerjan 5* (+61) 10intro does not need header, formatting, typo < 1429565679 330199 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[0742014]]4 10 02http://esolangs.org/w/index.php?diff=42671&oldid=42657 5* 03Oerjan 5* (-27) 10intro format, section levels < 1429565846 550392 :_augur!~augur@c-71-57-177-235.hsd1.fl.comcast.net NICK :augur < 1429565987 355496 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07AFTL14]]4 10 02http://esolangs.org/w/index.php?diff=42672&oldid=42666 5* 03Oerjan 5* (-21) 10intro format, section levels, link < 1429566970 832652 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Maybe it has to swap out MediaWiki in order for HackEgo to speak. < 1429566984 621980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1429566988 341722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: Alternatively, all 104 people on channel instantly try to visit whenever HackEgo says something. < 1429566996 70765 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay < 1429567032 665519 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :104 people, that's ... something < 1429567047 354971 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1429567063 321714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bonnuily < 1429567127 374969 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :goerjanight! < 1429567308 479238 :nszceta!~nszceta@95.211.152.2 QUIT :Quit: Textual IRC Client: www.textualapp.com < 1429567820 408679 :AnotherTest!~turingcom@d51a4c79c.access.telenet.be QUIT :Ping timeout: 245 seconds < 1429569200 834181 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1429569206 40417 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :are you done with working today? < 1429569464 830099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek i disagree with spj but i don't have ghc HEAD to test with... < 1429569682 759080 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All right, I'm doing this. I'm making this happen. < 1429569693 970247 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm starting the Lepwick project again. < 1429569791 313059 :zzo38!~zzo38@24-207-84-223.eastlink.ca PRIVMSG #esoteric :What kind of project is that? < 1429569998 982995 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Why, what kind of project *isn't* it? < 1429570016 163605 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The idea is for it to be a legal, political, and economic simulation. < 1429570024 315325 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And also a fun game. < 1429570114 407661 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :all by yourself? < 1429570248 114007 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, ideally other people will also participate eventually. < 1429570353 439413 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it's not very hard to build ghc you know :P < 1429570405 66859 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 264 seconds < 1429570538 676314 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :on windows? < 1429570555 405355 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmmm, virtualbox? < 1429570570 739418 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I dunno, you may have a point there. How can you suffer Windows? < 1429570583 971531 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Surely the point of reference there is the difficulty of building anything at all on windows < 1429570599 920095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i should ban you all. < 1429570613 848971 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that would be a big time-saver < 1429570626 591056 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :for everyone involved < 1429570667 773274 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I've seen Windows referred to as 'the securest one' < 1429570669 727656 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: Lost terminal < 1429570696 628226 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :https://www.blackhat.com/docs/eu-14/materials/eu-14-Selvi-Bypassing-HTTP-Strict-Transport-Security.pdf < 1429570712 68582 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Windows: • NTPv3 but… < 1429570712 122101 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :• The securest one. < 1429570712 122182 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :• Synchronization each 7 days. < 1429570721 756210 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :• Doesn’t accept more than 15 hours increment/ < 1429570721 830188 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :decrement. < 1429570753 423543 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :why all those tabs? < 1429570769 284543 :Sgeo_!~Sgeo@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Because copy/pasted from pdf slides < 1429570778 700422 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah < 1429570888 90418 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey, what should the server's hostname be? < 1429571086 668186 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Sigh I need a faster PC so that I can build ghc in less than 20 minutes... < 1429571163 760313 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You just need a prescient one so that it builds ghc right before you need it to < 1429571233 543507 :orin!~oren@209.105.212.59 PRIVMSG #esoteric :or just set ascript to build the newest one when it is released < 1429571258 849619 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1429571266 348743 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :orin: that's not so helpful for following a git repo. < 1429571277 172847 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION hello < 1429571277 434630 :boily!~alexandre@96.127.201.149 QUIT :Quit: PEDIATRIC CHICKEN < 1429571289 894471 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: Hi there! < 1429571315 315464 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :New Munchkin strategy: hide the die so the damned thief can't steal your stuff < 1429571374 772733 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, Eddie the ship's computer. ("Hi there!" said the ship's computer.) < 1429572179 442980 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I ended up tying a game of Munchkin < 1429572283 344081 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what die? < 1429572345 37091 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Fwiw, current head still accepts T.hs and i is not bottom, and of type Proxy (Eq Int => Bool) < 1429572384 366940 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, Eddie the Shipboard Computer < 1429572388 365835 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And it took 28 minutes to build, and that's without docs and only the dyn way. < 1429572401 738631 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :quintopia, it's a D6, used for running away and stealing thingw < 1429572622 794128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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 < 1429572659 154578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the fact i'm not actually _using_ Typeable in the posted file makes the literal interpretation nonsense) < 1429572692 802317 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: how did you get the * and * -> * in the proxy signatures? < 1429572700 282102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am not sure whether it will work or not, it fails in 7.8 but Typeable works completely differently < 1429572707 906998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm? < 1429572739 91399 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: g :: Proxy (* -> *) ((->) (Eq Int)) <-- there < 1429572766 549116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh -fprint-explicit-kinds < 1429572806 292850 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1429572813 65781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ok, first it works in 7.10.1: j prints Eq Int -> Bool < 1429572829 718419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_not_ => ? < 1429572840 502115 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And it works in head as well. < 1429572845 782823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :curious stuff. < 1429572873 473838 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :uhm. that's going through the show instance of typerep < 1429572885 867816 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait, obviously they don't have any => handling for typerep < 1429572898 525678 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it uses the default -> < 1429572902 178179 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so that's expected. < 1429572911 715747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok then i can post that example. < 1429573148 418322 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> :t g < 1429573148 521204 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :g :: Proxy ((->) (Eq Int)) < 1429573149 747766 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘:’ < 1429573152 539302 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oops :) < 1429573195 982257 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(or Proxy (* -> *) ((->) (Eq Int)) with explicit kinds) < 1429573216 160866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn do i call you int-e or Bertram :P < 1429573228 683445 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: int-e, I have a trac account too < 1429573290 686569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i get confused by everyone calling each other by real name in trac whether or not their nicks match < 1429573328 762893 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> j < 1429573328 844783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Eq Int -> Bool < 1429573330 100263 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : j < 1429573332 858805 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Well I don't care much. < 1429573334 131256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is that correct? < 1429573343 140583 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1429573350 17303 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t g < 1429573351 21592 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :FromExpr a => a < 1429573369 548159 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t j < 1429573370 513239 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Expr < 1429573377 953920 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION is confused. < 1429573407 314262 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah. Figured it out :) < 1429573605 181334 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :posted < 1429573665 5436 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ghci> i g < 1429573665 124204 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(->) (Eq Int) < 1429573711 503435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ordinary typeREp should work for that < 1429573715 714180 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*e < 1429573754 762475 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :However, typeRep (h g) does fail... I guess that was the whole point. < 1429573767 704934 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1429573939 335347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i suppose you don't need all the other variables < 1429573955 472994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i (Proxy :: Proxy (Eq Int => Bool)) ought to work < 1429573974 997556 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ghci> i (Proxy :: Proxy (Eq Int => Int)) < 1429573975 51255 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Eq Int -> Int < 1429573995 425508 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so, yeah. < 1429574240 851243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's all this < 1429574287 885783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is the same sort of thing as what I was doing to get a TypeRep for Ord Int? < 1429574301 317597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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 < 1429574334 325939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well it started as that, anyway < 1429574375 369313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now they put the ability to do Typeable (Ord Int) back, but tried to disallow =>