< 1559865709 936502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you mean it as hostilely as i read it < 1559865726 494111 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or is it more of a defensive thing after being barraged with questions you don't care about, or something < 1559865792 751018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it a thing you're aware of that sometimes you do things that make people sad at seemingly no benefit to you < 1559865835 25804 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why am i even saying these things < 1559865891 490786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :especially in a publicly logged channel. bad idea. < 1559865974 64511 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`quote indifference < 1559865974 797813 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1320) int-e does not like this [...] shachaf: I experience heightened levels of indifference :P Higher than your usual? who cares? < 1559866625 786291 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i didn't especially mean it to be hostile, but curt sure < 1559866630 110766 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I am not in a terribly good mood < 1559866632 255528 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and yes I do know that < 1559866640 355262 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and it's why I've stopped trying to hang out with you < 1559866648 792255 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :because one of us ends up upsetting the other < 1559866660 979726 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :anyway i'm sorry i hurt you < 1559866675 945620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that was ruder than i intended it on rereading < 1559866684 841659 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it's amazing that i still have any friends at all < 1559866697 635954 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway this didn't hurt me or anything but i just don't know how to read what you say < 1559866759 912736 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :the fact that i hurt people with seemingly no benefit is not unrelated to the fact that i'm spending a lot of time and money on therapy and things like that < 1559866762 804005 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also i wrote more words and then didn't send them because whatever < 1559866772 958034 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :today in therapy i cried a lot, more than i ever have in the past < 1559866796 917444 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :life's hard and it takes a lot of energy not to give up entirely < 1559866866 552796 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :honestly i'm not sure why you still want to talk to me, it's definitely not something i am pushing for < 1559866880 533655 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :not that i wouldn't want to be friends hypothetically but it doesn't seem to work very well? < 1559866914 913101 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i'll miss you < 1559866919 636497 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but there you go. life is sad < 1559866925 994076 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :what more is there to say < 1559867028 147179 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I am not trying to be mean, just honest < 1559867035 819312 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but if I upset you further then I'm sorry < 1559867108 369417 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :I don't think you're being mean or upsetting, you're just being upset. < 1559867116 727991 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :Which is unfortunate, because you deserve to be happy. < 1559867148 800703 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :so they say < 1559867229 378079 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i mean really nobody deserves anything < 1559867229 960302 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :So I say. < 1559867233 125523 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :the universe is cold and uncaring < 1559867240 38078 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :But I am not. < 1559867388 161040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: based on past experience i don't think i should take what you're saying at face value < 1559867414 150651 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I'm not really sure what that means < 1559867434 928583 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i don't like it when people don't believe me when i'm describing my own feelings < 1559867446 137781 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm < 1559867449 646979 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's not what i mean < 1559867548 93279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i think your feelings are what you say but your suggested remedy/assessment of the situation that distancing people from you would be the best thing to do may be more a way of expressing them than actually what you think is best < 1559867683 71195 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :not distancing from all people < 1559867846 868130 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I don't know a way to say this that doesn't sound dickish but I have to prioritize maintaining my relationships, such as with my wife < 1559867860 303150 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I only have so much energy each day to deal with interpersonal conflicts < 1559867861 574345 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :often none < 1559867878 817896 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :and you are somewhat inscrutable, which is something i love about you but also makes things hard sometimes < 1559867886 519495 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i'm not sure I can do right by you as a friend at this point in time :( < 1559867982 321584 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i don't know < 1559867989 813073 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i've had an emotionally exhausting day and I also have to go now < 1559868039 335489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my attempts to move the conversation out of this channel sure weren't successful < 1559868058 326239 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :Public logging is sometimes skow. < 1559868061 276841 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :scow < 1559868065 664461 :pikhq_!~pikhq@174-16-244-90.hlrn.qwest.net PRIVMSG #esoteric :Spelling hard < 1559868460 723310 :iconmaster!~iconmaste@2604:6000:b180:d800:2567:4171:4e57:5ead JOIN :#esoteric < 1559868551 824509 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :maybe you can just give me space instead of asking if I'm aware that I'm a broken person when I clearly already am < 1559868556 120570 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :also I didn't get a PM < 1559868689 381276 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the attempts were mostly internal < 1559868696 229468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :obviously i said the wrong thing < 1559869261 138887 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :11[6~[6~[5~[6~[6~I don't think that's obvious? < 1559869265 167580 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :whoops < 1559869277 367443 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I guess some of the things you said might be. < 1559869281 766463 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but whatever < 1559869338 611664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ok < 1559869379 207112 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I'm not really upset or anything < 1559869382 594871 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it is what it is < 1559869627 566191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i won't continue the conversation in here < 1559869639 8647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and i get the feeling you don't want to continue it at all, and it's already painful < 1559869663 389230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so i guess i'll go with whatever < 1559871899 206380 :iconmaster!~iconmaste@2604:6000:b180:d800:2567:4171:4e57:5ead QUIT :Ping timeout: 248 seconds < 1559873339 283727 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 248 seconds < 1559873519 605733 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1559873967 160129 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1559874788 301354 PRIVMSG #esoteric :14[[07Keg14]]4 10 02https://esolangs.org/w/index.php?diff=63147&oldid=62975 5* 03A 5* (-1) 10/* Truth-machine */ Golfed it < 1559874979 385476 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :i wonder if x86-64 without MOV (and without memory indexing operands) is TC < 1559875000 745495 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :..i already answered the question directly after asking < 1559875018 490392 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :it is, because you can modify ESP and push/pop to modify the values at ESP < 1559876313 258285 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net JOIN :#esoteric < 1559876820 423645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Am I inscrutable? < 1559877330 5238 :MDead!~MDude@c-174-55-125-31.hsd1.pa.comcast.net JOIN :#esoteric < 1559877406 579820 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 272 seconds < 1559877414 478812 :MDead!~MDude@c-174-55-125-31.hsd1.pa.comcast.net NICK :MDude < 1559882880 827480 :S_Gautam!uid286066@gateway/web/irccloud.com/x-nwraqjptokkcaeqh JOIN :#esoteric > 1559886788 727364 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63148&oldid=61734 5* 03A 5* (+238) 10 > 1559886903 226261 PRIVMSG #esoteric :14[[07User:Salpynx14]]4 M10 02https://esolangs.org/w/index.php?diff=63149&oldid=62970 5* 03Salpynx 5* (+43) 10link to the wayback template so I can find the format guide quickly > 1559886927 970766 PRIVMSG #esoteric :14[[07User:Salpynx14]]4 M10 02https://esolangs.org/w/index.php?diff=63150&oldid=63149 5* 03Salpynx 5* (-9) 10 > 1559888495 310551 PRIVMSG #esoteric :14[[07Waduzitdo14]]4 10 02https://esolangs.org/w/index.php?diff=63151&oldid=25345 5* 03Salpynx 5* (+282) 10/* External resources */ Link to scan of original BYTE article, and archive of 2001 geocites page < 1559889422 689888 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Remote host closed the connection < 1559889497 268540 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1559892773 434313 :b_jonas!~x@catv-176-63-24-31.catv.broadband.hu PRIVMSG #esoteric :moony: it's not, because without MOV you can't change to protected mode, and so you're stuck with a 2**32 byte sized memory < 1559892829 735138 :b_jonas!~x@catv-176-63-24-31.catv.broadband.hu PRIVMSG #esoteric :or do you mean you can use MOV during initialization, and you're asking this after a sufficiently prepared state? < 1559893256 59193 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :yea i mean without MOV already in x86-64 mode. < 1559893308 794779 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: so attach a memory-mapped tape device ;-) < 1559893332 640306 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Also, I don't see how things are any better with 2^64 bytes?) < 1559893346 520946 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Which the hardware doesn't support anyway.) < 1559893375 379010 :b_jonas!~x@catv-176-63-24-31.catv.broadband.hu PRIVMSG #esoteric :int-e: or one of those things that let 32-bit mode access more than 2**32 memory by translating the address after the page translation. I think some x86 cpus had that built in back in the 32-bit era. < 1559895036 312567 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1559896608 627060 :MDead!~MDude@c-174-55-125-31.hsd1.pa.comcast.net JOIN :#esoteric < 1559896611 803422 :b_jonas!~x@catv-176-63-24-31.catv.broadband.hu QUIT :Quit: leaving > 1559896633 273358 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 10 02https://esolangs.org/w/index.php?diff=63152&oldid=63148 5* 03JonoCode9374 5* (+303) 10 < 1559896672 280472 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 248 seconds < 1559896674 246012 :MDead!~MDude@c-174-55-125-31.hsd1.pa.comcast.net NICK :MDude > 1559896986 176032 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 10 02https://esolangs.org/w/index.php?diff=63153&oldid=63152 5* 03JonoCode9374 5* (+494) 10 < 1559898821 535930 :adu!~ajr@pool-173-73-86-145.washdc.fios.verizon.net QUIT :Quit: adu > 1559900633 676828 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 10 02https://esolangs.org/w/index.php?diff=63154&oldid=63153 5* 03JonoCode9374 5* (+627) 10 < 1559900652 268887 :iconmaster!~iconmaste@2604:6000:b180:d800:2567:4171:4e57:5ead JOIN :#esoteric > 1559900656 820875 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63155&oldid=63154 5* 03JonoCode9374 5* (+94) 10EXTREMELY MINOR: Added signature to last edit. > 1559903035 597089 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63156&oldid=63155 5* 03A 5* (+75) 10 > 1559903063 598081 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63157&oldid=63156 5* 03A 5* (-1831) 10Clear the trivial "issue" > 1559903123 954311 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 10 02https://esolangs.org/w/index.php?diff=63158&oldid=63157 5* 03A 5* (+1831) 10Undo revision 63157 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]): I was referring to the wrong command! < 1559903183 252639 :unlimiter!~unlimiter@160.177.18.61 JOIN :#esoteric > 1559903250 684078 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63159&oldid=63158 5* 03A 5* (+264) 10 < 1559903264 94087 :unlimiter!~unlimiter@160.177.18.61 QUIT :Client Quit > 1559903327 217920 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63160&oldid=63159 5* 03A 5* (+3) 10 > 1559903340 439851 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63161&oldid=63160 5* 03A 5* (-2098) 10Blanked the page > 1559903379 131172 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63162&oldid=63161 5* 03A 5* (+1756) 10 < 1559903438 253677 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be JOIN :#esoteric > 1559903441 51831 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63163&oldid=63162 5* 03A 5* (+239) 10 > 1559903577 208034 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63164&oldid=63163 5* 03A 5* (+144) 10 > 1559903633 314345 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63165&oldid=63164 5* 03A 5* (-2139) 10My brain malfunctions again... :( > 1559903841 226290 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63166&oldid=63165 5* 03A 5* (+1024) 10 < 1559904360 269413 :iconmaster!~iconmaste@2604:6000:b180:d800:2567:4171:4e57:5ead QUIT :Ping timeout: 252 seconds < 1559905535 610984 :MDead!~MDude@c-174-55-125-31.hsd1.pa.comcast.net JOIN :#esoteric < 1559905600 297192 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 248 seconds < 1559905601 409330 :MDead!~MDude@c-174-55-125-31.hsd1.pa.comcast.net NICK :MDude < 1559906256 347004 :S_Gautam!uid286066@gateway/web/irccloud.com/x-nwraqjptokkcaeqh QUIT :Quit: Connection closed for inactivity < 1559906558 932706 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1559909174 396757 :aloril_!~aloril@mobile-access-5d6a6a-88.dhcp.inet.fi QUIT :Ping timeout: 244 seconds < 1559909278 402244 :aloril_!~aloril@mobile-access-5d6a6a-88.dhcp.inet.fi JOIN :#esoteric > 1559910112 715960 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 10 02https://esolangs.org/w/index.php?diff=63167&oldid=63166 5* 03JonoCode9374 5* (+347) 10/* Issue on functions */ < 1559910914 228087 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 TOPIC #esoteric :IOCCC winners are announced; source code release planned soon | Welcome to the international center for esoteric programming language design, development, and deployment! | https://esolangs.org | logs: https://esolangs.org/logs/ http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D > 1559914901 938772 PRIVMSG #esoteric :14[[07Virage14]]4 N10 02https://esolangs.org/w/index.php?oldid=63168 5* 03TuxCrafting 5* (+12775) 10Created page with "Virage (meaning "turn" in French) is an esoteric programming language created by [[User:TuxCrafting]] where the source code is a graph. = Structure = A Virage prog..." > 1559915190 8051 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=63169&oldid=63145 5* 03TuxCrafting 5* (+13) 10add virage > 1559915211 836481 PRIVMSG #esoteric :14[[07User:TuxCrafting14]]4 10 02https://esolangs.org/w/index.php?diff=63170&oldid=62854 5* 03TuxCrafting 5* (+13) 10add virage here too < 1559915456 575059 :arseniiv!~arseniiv@94.41.31.205.dynamic.ufanet.ru JOIN :#esoteric > 1559916529 457374 PRIVMSG #esoteric :14[[07Virage14]]4 M10 02https://esolangs.org/w/index.php?diff=63171&oldid=63168 5* 03TuxCrafting 5* (+18) 10non-semantic change because mediawiki eats empty lines < 1559916651 710593 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1559916720 162700 PRIVMSG #esoteric :14[[07Talk:EnScript14]]4 10 02https://esolangs.org/w/index.php?diff=63172&oldid=63138 5* 03A 5* (+89) 10/* Partial Interpreter */ < 1559916736 607193 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1559916736 931627 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1559916770 670002 PRIVMSG #esoteric :14[[07Talk:EnScript14]]4 10 02https://esolangs.org/w/index.php?diff=63173&oldid=63172 5* 03A 5* (+0) 10/* Partial Interpreter */ > 1559917152 91424 PRIVMSG #esoteric :14[[07Virage14]]4 M10 02https://esolangs.org/w/index.php?diff=63174&oldid=63171 5* 03TuxCrafting 5* (+68) 10 > 1559917810 492133 PRIVMSG #esoteric :14[[07Talk:Keg14]]4 M10 02https://esolangs.org/w/index.php?diff=63175&oldid=63167 5* 03A 5* (-1371) 10Blanked the page < 1559918336 89035 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`olist 1166 < 1559918336 883887 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1166: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1559920385 188240 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Krosp has such a tender heart... oh never mind, it was just a moment of weakness. < 1559922208 292487 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net QUIT :Ping timeout: 248 seconds < 1559922608 518863 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Hey guys, I found a proof that the Goldbach conjecture has no counterexamples. < 1559922635 152040 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :As we all know, proofs are programs. It's the Curry–Howard isomorphism. So, I will write my proof in the form of a Haskell function. < 1559922665 961259 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Specifically, it's a function which takes a counterexample to the Goldbach conjecture, and returns an element of the empty set. < 1559922675 63054 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Without further ado, here it is: < 1559922699 839550 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :proof n = case n of { } < 1559922757 873415 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... :-( < 1559922798 973612 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Haskell isn't CoC. < 1559922892 77452 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :tswett: can you prove that that function always terminates when its argument is a counterexample to the Goldbach conjecture? < 1559922912 145253 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: it terminates < 1559922928 146796 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let proof n = case n of { } in proof 42 < 1559922930 70167 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : *Exception: :3:15-18: Non-exhaustive patterns in case < 1559923061 24968 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :> let { proof n case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316603; } in seq r "terminates" < 1559923063 222286 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:15: error: parse error on input ‘case’ < 1559923078 130052 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :> let { proof n = case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316603; } in seq r "terminates" < 1559923080 151920 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: :3:17-20: Non-exhaustive patterns in case < 1559923114 973256 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :wob_jonas: Just pass in any counterexample, and you'll see that it terminates. < 1559923170 23993 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: that's an odd counterexample < 1559923175 479893 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :tswett[m]: that's not enough. I'd have to test for all counterexamples, not just one, and I don't have that much time < 1559923185 916341 :Melvar!~melvar@dslc-082-082-054-010.pools.arcor-ip.net QUIT :Quit: thunderstorm < 1559923221 325560 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :tswett[m]: also, I don't think that's how the Curry-Howard isomorphism works < 1559923241 409581 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :I don't think it will take much time at all. < 1559923264 825128 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :how? aren't there like infinitely many counterexamples? < 1559923284 130422 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wob_jonas: the conjecture talks about even numbers < 1559923296 695638 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :> let { proof n = case n of {}; r = proof 186803990081254951360650807581609432561028064993598266574298369375826335316602; } in seq r "terminates" < 1559923298 637165 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "*Exception: :3:17-20: Non-exhaustive patterns in case < 1559923306 671191 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh, I was thinking about the twin primes conjecture < 1559923307 577921 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Of course not. But I suppose there are infinitely many potential counterexamples. < 1559923338 438592 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :And in order to test my function, I suppose you'd have to run through *all* potential counterexamples. < 1559923346 361195 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :tswett[m] < 1559923348 572446 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :: no < 1559923355 339388 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I only have to run it for the actual counterexamples < 1559923358 351556 :int-e!~noone@int-e.eu PRIVMSG #esoteric :186803990081254951360650807581609432561028064993598266574298369375826335316602 = 149 + p < 1559923365 306754 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and I can test which numbers are counterexamples in advance < 1559923395 586195 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: yeah, that one isn't a counterexample. nor is 42 I think. < 1559923411 729212 :int-e!~noone@int-e.eu PRIVMSG #esoteric :42 = 5+37 < 1559923429 704440 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Anyway, it's serious time. < 1559923440 289322 :int-e!~noone@int-e.eu PRIVMSG #esoteric :we have good reason to believe in the Goldbach conjecture. But we'll never prove it ;-) < 1559923501 961519 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-zadsdxeddlqlkcxy PRIVMSG #esoteric :Clearly, proving that a set A is empty, by purportedly giving a list of all of its elements, and pointing out that your own list is empty, isn't very satisfactory. :D < 1559923508 454182 :AnotherTest!~turingcom@d51a4b8e1.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1559923528 168307 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be JOIN :#esoteric < 1559923774 631204 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PART :#esoteric < 1559925973 335281 :MDude!~MDude@c-174-55-125-31.hsd1.pa.comcast.net JOIN :#esoteric < 1559926080 371676 :Melvar!~melvar@dslc-082-082-054-010.pools.arcor-ip.net JOIN :#esoteric < 1559926336 265936 :Melvar!~melvar@dslc-082-082-054-010.pools.arcor-ip.net QUIT :Ping timeout: 248 seconds < 1559926510 243507 :Melvar!~melvar@dslc-082-082-054-010.pools.arcor-ip.net JOIN :#esoteric < 1559928410 73197 :tromp!~tromp@2a02:a210:1585:3200:3959:eb61:b317:ed17 QUIT :Remote host closed the connection < 1559928527 428966 :arseniiv!~arseniiv@94.41.31.205.dynamic.ufanet.ru PRIVMSG #esoteric :tswett[m]: looks a lot like a proof that all horses are the same color :D < 1559929552 876985 :b_jonas!~x@catv-176-63-24-197.catv.broadband.hu JOIN :#esoteric < 1559929826 280099 :tromp!~tromp@ip-213-127-56-81.ip.prioritytelecom.net JOIN :#esoteric < 1559930045 290252 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1559930604 61999 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: ... one one side < 1559930697 668648 :int-e!~noone@int-e.eu PRIVMSG #esoteric :My hobby: Combining several thematic jokes into one in order to make them more funny. < 1559930764 683997 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I had not even seen today's xkcd! < 1559930858 630310 :arseniiv!~arseniiv@94.41.31.205.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: I think that is from another joke :) < 1559930876 525600 :arseniiv!~arseniiv@94.41.31.205.dynamic.ufanet.ru PRIVMSG #esoteric :ah, yes < 1559933124 119238 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1559934609 230275 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1559935964 602212 :arseniiv!~arseniiv@94.41.31.205.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1559938227 671401 :nfd!~nfd9001@c-67-183-33-240.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1559938337 229542 :b_jonas!~x@catv-176-63-24-197.catv.broadband.hu PRIVMSG #esoteric :hehe, encoding audio to flac is so unexpectedly fast that I interrupted the process because I assumed there was some silent error < 1559939209 110358 :b_jonas!~x@catv-176-63-24-197.catv.broadband.hu PRIVMSG #esoteric :it helped that the first few tracks to encode were short < 1559939801 977231 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1559940603 227849 :AnotherTest!~turingcom@d51A4B8E1.access.telenet.be QUIT :Ping timeout: 248 seconds < 1559945572 543911 :iconmaster!~iconmaste@cpe-67-249-136-214.twcny.res.rr.com JOIN :#esoteric > 1559945656 861561 PRIVMSG #esoteric :14[[07Blockfunge14]]4 10 02https://esolangs.org/w/index.php?diff=63176&oldid=63146 5* 03CraftSpider 5* (+13) 10All operators read stack top-down > 1559946460 698930 PRIVMSG #esoteric :14[[07Blockfunge14]]4 M10 02https://esolangs.org/w/index.php?diff=63177&oldid=63176 5* 03CraftSpider 5* (+178) 10Clarify current interpreter limitations < 1559947472 864192 :iconmaster!~iconmaste@cpe-67-249-136-214.twcny.res.rr.com QUIT :Quit: Leaving < 1559947937 42606 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :I looked at the document for designing the bit manipulation instructions of RISC-V. I would want the SADD and MOR instructions of MMIX, and we can do without the others (other than what the core already has, such as bitwise AND, and so on). < 1559949465 168737 :iconmaster!~iconmaste@2604:6000:b180:d800:956:426:4a93:b2ba JOIN :#esoteric > 1559949708 41397 PRIVMSG #esoteric :14[[07Talk:EnScript14]]4 M10 02https://esolangs.org/w/index.php?diff=63178&oldid=63173 5* 03A 5* (+421) 10