< 1513814577 73961 :jaboja!~jaboja@jaboja.pl QUIT :Remote host closed the connection < 1513814598 916022 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: he's a famous pop singer < 1513814982 31921 :boily!~alexandre@192.222.236.157 PRIVMSG #esoteric :ヘ\\オレン\_! < 1513815053 244767 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1513815507 651923 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\oren\_: was hth < 1513815671 574988 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1513818032 227531 :constant!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1513818201 114302 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1513819874 829669 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1513820136 859809 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1513820592 196775 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric > 1513821340 592951 PRIVMSG #esoteric :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=53638&oldid=53333 5* 03B jonas 5* (+26) 10 < 1513821892 264131 :ocharles_!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1513821967 300589 :zgrepc_!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1513822035 470564 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split < 1513822035 470616 :Roger9!rdococ@unaffiliated/rdococ QUIT :*.net *.split < 1513822035 557919 :zgrepc!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :*.net *.split < 1513822061 797743 :zgrepc_!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep NICK :zgrepc < 1513822063 61356 :ocharles_!sid30093@musicbrainz/user/ocharles NICK :ocharles < 1513822129 742904 :Roger9!rdococ@cheapiesystems.com JOIN :#esoteric < 1513822227 744841 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1513822331 362435 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1513822704 437891 :Roger9!rdococ@cheapiesystems.com QUIT :Changing host < 1513822704 437922 :Roger9!rdococ@unaffiliated/rdococ JOIN :#esoteric < 1513823369 373529 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1513824377 332683 :boily!~alexandre@192.222.236.157 QUIT :Quit: CAMPAIGN CHICKEN < 1513824502 348566 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1513824546 485159 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1513827302 104769 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1513827716 96977 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1513828871 899245 :Chal_!43bc7f28@gateway/web/freenode/ip.67.188.127.40 JOIN :#esoteric < 1513829973 630434 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1513830505 52549 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1513831737 270217 :moony!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 264 seconds < 1513831775 11279 :xa0!~zeta@unaffiliated/uoy QUIT :Quit: Divided by zero < 1513831802 407777 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1513831941 717018 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1513833188 230009 :^arcade_droid!~arcade_dr@unaffiliated/arcade-droid/x-4286778 QUIT :Ping timeout: 255 seconds < 1513833188 585777 :ski!~ski@remote11.chalmers.se QUIT :Ping timeout: 255 seconds < 1513833188 822350 :Cale!~cale@2607:fea8:9960:472:8127:8c92:d6f:9264 QUIT :Excess Flood < 1513833193 846020 :Cale!~cale@2607:fea8:9960:472:6c53:e68a:8d59:1e50 JOIN :#esoteric < 1513833208 231366 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1513833233 701606 :zarcade_droid!~arcade_dr@telg.xyz JOIN :#esoteric < 1513833257 255261 :zarcade_droid!~arcade_dr@telg.xyz NICK :Guest45071 < 1513833327 818795 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 240 seconds < 1513833416 376180 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1513833484 731179 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1513833607 254276 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1513834668 91113 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1513835878 808407 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1513836091 523866 :Chal_!43bc7f28@gateway/web/freenode/ip.67.188.127.40 QUIT :Quit: Page closed < 1513837169 727557 :puck1pedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1513837306 469343 :BooK_!~book@klonk.bruhat-souche.net JOIN :#esoteric < 1513837569 641922 :Cale!~cale@2607:fea8:9960:472:6c53:e68a:8d59:1e50 QUIT :*.net *.split < 1513837569 846653 :xkapastel!uid17782@gateway/web/irccloud.com/x-dcjafpukegetrlzz QUIT :*.net *.split < 1513837570 275252 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :*.net *.split < 1513837570 467102 :lynn!sid154965@gateway/web/irccloud.com/x-xlwfwfjlmbqyrugg QUIT :*.net *.split < 1513837570 861009 :puckipedia!~puck@irc.puckipedia.com QUIT :*.net *.split < 1513837570 974812 :Hooloovo0!Hooloovoo@hooloovoo.blue QUIT :*.net *.split < 1513837571 21363 :BooK!~book@klonk.bruhat-souche.net QUIT :*.net *.split < 1513837584 729675 :puck1pedia!~puck@irc.puckipedia.com NICK :puckipedia < 1513837797 782224 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 240 seconds < 1513837797 782262 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1513837819 230267 :Cale!~cale@2607:fea8:9960:472:6c53:e68a:8d59:1e50 JOIN :#esoteric < 1513837868 125975 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1513837905 36080 :xkapastel!uid17782@gateway/web/irccloud.com/x-dcjafpukegetrlzz JOIN :#esoteric < 1513837905 82559 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1513837905 82580 :lynn!sid154965@gateway/web/irccloud.com/x-xlwfwfjlmbqyrugg JOIN :#esoteric < 1513837905 82590 :Hooloovo0!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1513837911 414883 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :Max SendQ exceeded < 1513837977 112593 :sparr!~sparr@2604:a880:800:10::103:f001 JOIN :#esoteric < 1513838127 425335 :Vorpal!~Vorpal@c83-254-186-251.bredband.comhem.se JOIN :#esoteric < 1513838127 513951 :Vorpal!~Vorpal@c83-254-186-251.bredband.comhem.se QUIT :Changing host < 1513838127 513981 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1513838212 187764 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1513838433 196774 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1513838505 92946 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 264 seconds < 1513838909 518896 :xkapastel!uid17782@gateway/web/irccloud.com/x-dcjafpukegetrlzz QUIT :*.net *.split < 1513838909 956841 :lynn!sid154965@gateway/web/irccloud.com/x-xlwfwfjlmbqyrugg QUIT :*.net *.split < 1513838910 223256 :Hooloovo0!Hooloovoo@hooloovoo.blue QUIT :*.net *.split < 1513839057 740469 :puckipedia!~puck@irc.puckipedia.com QUIT :Ping timeout: 240 seconds < 1513839261 412763 :puckipedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1513839901 841450 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 255 seconds < 1513840117 860302 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1513840222 475107 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1513840520 397832 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 252 seconds < 1513841074 207358 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1513841074 916653 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1513841110 630427 :lynn!sid154965@gateway/web/irccloud.com/x-ycotogxsopvzgqes JOIN :#esoteric < 1513841152 70021 :xkapastel!uid17782@gateway/web/irccloud.com/x-rmkbtqsrukidjmju JOIN :#esoteric < 1513841431 391714 :brandonson!~brandon@208.91.114.4 QUIT :Ping timeout: 260 seconds < 1513841512 960023 :brandonson!~brandon@208.91.114.4 JOIN :#esoteric < 1513842070 370228 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1513842341 340982 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1513843676 946937 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1513843723 129006 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@messages? < 1513843723 218021 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Sorry, no messages today. < 1513845759 373902 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1513846130 365471 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1513846240 283368 :xkapastel!uid17782@gateway/web/irccloud.com/x-rmkbtqsrukidjmju QUIT :Quit: Connection closed for inactivity < 1513847066 692421 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1513849864 819541 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 255 seconds < 1513851673 140006 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1513852680 356036 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer < 1513852695 936324 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1513853451 100704 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1513855717 977279 :newsham_!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1513855767 47901 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer > 1513857998 158840 PRIVMSG #esoteric :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=53639&oldid=53638 5* 03B jonas 5* (+30) 10 < 1513858587 406295 :LKoen!~LKoen@2a01:e35:2eed:a430:9cb5:e1cf:4a45:8b2d JOIN :#esoteric < 1513858874 86700 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1513859573 940084 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1513859584 648232 :newsham_!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer < 1513859651 433433 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1513861290 931629 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 JOIN :#esoteric < 1513861299 202733 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :Are there proofs for the halting problem that don't rely on I/O? < 1513861343 402517 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :`if H(P) then endless_loop(); else halt();` usually assumes that H is an external "machine/program" you invoke < 1513861344 205472 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: -c: line 0: syntax error near unexpected token `P' \ bash: -c: line 0: `if H(P) then endless_loop(); else halt();` usually assumes that H is an external "machine/program" you invoke' < 1513861350 692411 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but that's I/O. < 1513861364 277013 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :if you disallow I/O then P would have to contain H > 1513861400 793876 PRIVMSG #esoteric :14[[07Gb gates RISC14]]4 N10 02https://esolangs.org/w/index.php?oldid=53640 5* 03B jonas 5* (+4593) 10Created page with "{{DISPLAYTITLE: Gb_gates RISC}} '''Gb_gates RISC''' is a very small hypothetical microprocessor created by Donald Knuth. He has created a software implementation of this micr..." > 1513861472 945914 PRIVMSG #esoteric :14[[07Gb gates RISC14]]4 10 02https://esolangs.org/w/index.php?diff=53641&oldid=53640 5* 03B jonas 5* (+90) 10 > 1513861512 553355 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=53642&oldid=53628 5* 03B jonas 5* (+20) 10 < 1513861521 633601 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: H should be inlined. And in any case the proofs rely on interpreters, because you cannot pass programs around, only descriptions of programs. < 1513861554 536837 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but then this means that P knows what H is < 1513861557 649944 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :otherwise it can't inline it. < 1513861562 146207 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`recipe < 1513861562 753419 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2 tablespoon of the whipped cream into the pan in lightly floured \ get and deep flour and including for 1 hour. Top with side of \ the sugar, chopped fresh chop more. \ \ Recipe By : Low-Bobbie Cooking \ \ MMMMM \ \ MMMMM----- Recipe via Meal-Master (tm) v8.05 \ \ Title: ICE ENCION COOKIES \ Categories: Desserts, Germanaus \ Yield: 4 < 1513861583 420023 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :chop freshed chop more! < 1513861591 453508 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so the program would contain its own "halting function" < 1513861679 806732 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: So what you really do is write a program P'(h,p) = if H(eval(p(h,p))) then endless_loop else halt; And then look at P'([H],[P']), where [_] is the description of the program inside the brackets. < 1513861703 22384 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and eval is the interpreter, and the p(h,p) inside there is actually a kind of substitution. < 1513861720 697177 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :yeah but where is H < 1513861734 998294 :int-e!~noone@int-e.eu PRIVMSG #esoteric :H is assumed to exist, so you know its description. < 1513861752 829403 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so you pass the halting program to P' < 1513861776 644088 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :or what's small h < 1513861780 536476 :int-e!~noone@int-e.eu PRIVMSG #esoteric :P' knows what H is. P' doesn't know what P is, but it will be told what P' is and can then reconstruct P from P' and H. < 1513861785 789988 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and then run it. < 1513861806 691499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Small h is a parameter that will be replaced by [H]. < 1513861814 151750 :APic!apic@apic.name PRIVMSG #esoteric :wNom nom nom < 1513861816 248295 :APic!apic@apic.name PRIVMSG #esoteric :-w < 1513861839 583482 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but this again assumes that you can actually call H within P. < 1513861840 265888 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But actually the h [H] part isn't needed < 1513861849 953350 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :or P' < 1513861869 876371 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I could define P'(p) = if H(eval(p(p))) then loop else halt. < 1513861880 164063 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The trick is to then consider P'([P']). < 1513861978 875899 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :that makes no sense either < 1513861984 491227 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :you're missing a parameter then. < 1513862009 785302 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the p(p) inside is still cheating with notation, it's an operation that takes p to be a description of a program P(x) with a single parameter, and replaces x by a description of the value p, syntactically.) < 1513862048 356971 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so the result is a description of a program that behaves like P(p). < 1513862090 126436 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... which will end up being P'([P']), I'm afraid I'm not explaining this very well. < 1513862124 22852 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I assume that there's a program H that can determine whether P halts or not but P doesn't know H. < 1513862127 935579 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But anyway, in rthe if H(P) then loop else halt, H is never the problem. < 1513862137 872310 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :and P can't communicate with H (H being a seperate program) < 1513862145 211907 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :P is essentially I/O-free. < 1513862166 878940 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But anyway, in "if H(P) then loop else halt", H is never the problem. It's the reference of P to itself which you need to escape. < 1513862173 885234 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :H takes the source code of P (or some representation of P) < 1513862191 403440 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but for practical reason I'll refer to that as source code of P :D < 1513862214 718642 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so P can't call H unless P contains H < 1513862227 316916 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: btw this isn't anything unusual. The trick here is essentially the same as that for writing quines. < 1513862229 475273 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :which means P would have to know what Hlooks like. < 1513862257 786688 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Rather than having P store its full source code, it stores about half of it, and reconstructs the full source code from that. < 1513862276 402619 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :well it's certainly possible to feed yourself to print < 1513862280 239277 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The half that is being stored is [P']. < 1513862282 941119 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :== that's a quine < 1513862294 433521 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but you can only feed yourself to H if you know what H is < 1513862297 299670 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :because you have to include H < 1513862302 995622 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes, you do include H < 1513862304 946259 :int-e!~noone@int-e.eu PRIVMSG #esoteric :P isn' < 1513862309 987110 :int-e!~noone@int-e.eu PRIVMSG #esoteric :t uniform. < 1513862323 536366 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(in H) < 1513862341 24676 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not sure why you think that including H is problematic. < 1513862363 717428 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :because this makes the assumption that H actually exists. < 1513862372 41315 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes. < 1513862385 284003 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You assume that H exists, then you make a program that H cannot decide the halting problem for. < 1513862416 242735 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :Yes, but I assume that an external H exists < 1513862422 416767 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So the assumption is wrong. End of story. < 1513862424 993964 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but I don't know whether P can actually construt H itself. < 1513862453 62865 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :maybe H is infinitely large < 1513862457 524753 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but will terminate in a finite number of steps < 1513862486 73718 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :which would make it really hard for P to construct H < 1513862514 645242 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :because if P is infinitely large you can't really include it in P < 1513862522 118001 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :unless you can reduce it to a finitely large representation < 1513862559 68086 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so to be able to use this as a proof < 1513862564 770185 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I'd have to proof first that P can include H. < 1513862574 161752 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :because if that is impossible to begin with < 1513862586 271426 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I can't make arguments based on the assumption that P can include H and then call H < 1513862602 370088 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But you /can/ make a description of H a parameter of P, which I mostly did when I wrote (almost) "P'(h,p) = if eval(h(p(h,p))) then loop else halt" By partial substitution you can make P(h) = if eval(h(P'(h,[P'])) then halt alse loop", so that's a program for which, H cannot decide termination of P([H]). < 1513862623 725289 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But that's really proving more than the halting problem entails. < 1513862648 7734 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I'm also assuming P is parameterless < 1513862649 72960 :int-e!~noone@int-e.eu PRIVMSG #esoteric :if "H is infinitely large" then it's not a Turing machine. < 1513862652 389973 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :because paremeters are basically I/O < 1513862656 334045 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You cannot disprove the existence of oracles. < 1513862657 89307 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :*parameters < 1513862666 576509 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but turing machines have infinite memory? < 1513862678 183638 :int-e!~noone@int-e.eu PRIVMSG #esoteric :unbounded. < 1513862699 333357 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so I could fit an infinitely large program in there and then my turing machine interprets that program < 1513862699 421992 :int-e!~noone@int-e.eu PRIVMSG #esoteric :every TM configuration is finite < 1513862705 348023 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :oh? < 1513862706 481093 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :hm. < 1513862709 288250 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I did not know that. < 1513862776 177735 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so the initial state of a TM is finite < 1513862795 740421 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :or at least has a finite representation < 1513862806 436080 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :(arguably in BF the inital state is an infinite amount of zeroes) < 1513862812 334935 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :(that's not really a finite initial state then) < 1513862965 356134 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :and quines aren't exactly turing machines either? < 1513862992 469082 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :the proof is essentially that for a turing machine T(x) = y an input i exists such that T(i) = i < 1513863003 50811 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :meaning that T has a fix point. < 1513863016 173849 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :*fixed point < 1513863021 828543 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :or specifically that it has at least one fixed point. < 1513863047 503770 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah the common trick here is called "diagonalization". < 1513863070 989843 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so if P contains both itself and H < 1513863075 600051 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :it must be a fixed point as well? < 1513863111 58204 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :it must be a program that contains its own halting program < 1513863170 101168 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but it can only do that if H exists. < 1513863175 473363 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :if H doesn't exist then it can't contain H < 1513863181 29572 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :and that's what I struggle with < 1513863187 666092 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :It sounds like an impossible circular argument. < 1513863256 870662 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The program doesn't contain itself, just a description of something that behaves like itself. < 1513863335 189448 :Guest45071!~arcade_dr@telg.xyz NICK :^arcade_droid < 1513863341 231015 :^arcade_droid!~arcade_dr@telg.xyz QUIT :Changing host < 1513863341 231049 :^arcade_droid!~arcade_dr@unaffiliated/arcade-droid/x-4286778 JOIN :#esoteric < 1513863364 121386 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> text$ap(++)show"> text$ap(++)show" < 1513863366 347701 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : > text$ap(++)show"> text$ap(++)show" < 1513863453 904946 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :Assume a halting program H exists that can answer whether P halts or not (P being a SPECIFIC program). < 1513863479 384886 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :For the argument `P = if H(P) then loop() else halt` to work P needs to contain itself and it needs to contain its halting program (in whatever form) < 1513863481 155210 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the "> text$ap(++)show" isn't even the program itself; it's missing a constant. the ap(++)show does the substitution (degenerated; it appends the string to the partial program); that is the description of the program itself. And for the halting problem, you'd pass something like that to H.) < 1513863549 442110 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :the output of H for every other program other than P is nonsense < 1513863563 656222 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :(or undetermined) < 1513863571 577293 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :essentially, H isn't defined on programs other than P < 1513863582 265127 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :(I think in english this is called the domain of H) < 1513863602 454153 :int-e!~noone@int-e.eu PRIVMSG #esoteric :For any specific program P, one of the two TMs that always reject or always accept will decide the halting problem for P. < 1513863617 980213 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION shrugs < 1513863656 631519 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I'm trying to understand if for every P an H exists that answers whether P halts or not < 1513863685 172453 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The halting problem is the problem of finding a program H such that for any program P, H accepts [P] if and only if P halts. < 1513863764 202901 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: I just answered that question. Yes, but not in any interesting way, because unless we already know whether P terminates of not, we don't know which of the two candidates for H is the right one. < 1513863830 65635 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but how would P know then which H to include? < 1513863859 53765 :int-e!~noone@int-e.eu PRIVMSG #esoteric :However, I was under the impression that we were discussing the halting problem. Now that I've figured out that we're not doing that I'm no longer interested. < 1513863865 424245 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric ::) > 1513863887 72477 PRIVMSG #esoteric :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=53643&oldid=53639 5* 03B jonas 5* (-26) 10 < 1513863906 783280 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't even understand what the question is anymore. < 1513863927 475165 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I accept the proof for the halting problem based on the assumption that P can communicate with H over some form of I/O. < 1513863940 731109 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :I don't think the proof holds if P can't do that. < 1513863996 126992 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :because this way P doesn't need to know what H actually is. < 1513863999 603546 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :P can treat H as a black box. < 1513864002 427923 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well you're wrong. And I think you have a wrong statement of the halting problem in mind. I don't know what that statement is. < 1513864099 785855 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :if P can't communicate with H it could only do that if P contains a copy of H but if P contains a copy of H it inherently needs to know what H actually is. < 1513864124 464574 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but since your proof essentially says that H can't exist < 1513864137 943342 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :and that's what I take is what the proof is saying < 1513864141 372105 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's a proof by contradiction. < 1513864152 684818 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :P can't possible ever embed H to begin with < 1513864162 857799 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :making the argument based on the assumption that P can actually embed H invalid. < 1513864181 26350 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Actually it's not, it's negation introduction, so even intuitionistically you should not have any complaints.) < 1513864182 355746 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :H doesn't exist if and only if P can embed H. < 1513864202 420273 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but if P can embed H, then H must exist. < 1513864209 55424 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1513864225 278271 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Suppose H exists. Then there would be a program P such that H gets termination of P wrong. Hence H doesn't exist. < 1513864299 785408 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :Essentially I'm saying the program you construct to proof the non-existence can itself not exist. < 1513864330 734394 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :You're given a program P. < 1513864342 850300 :int-e!~noone@int-e.eu PRIVMSG #esoteric :All the programs "P" in that proof are necessarily hypothetical, though they can be obtained by making a description of H a parameter of P. But whatever you ultimately pass to H in order to obtain a contradiction will contain H or a description of H. < 1513864371 557532 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :for the P that was given to you you write a program that answers whether P halts or not (without prior knowledge about whether P halts or not) < 1513864372 227095 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: If you fix P you're discussing something entirely different from the halting problem. < 1513864387 432093 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :int-e: apparentely :) < 1513864391 517837 :APic!apic@apic.name PRIVMSG #esoteric :Hm < 1513864404 787876 :APic!apic@apic.name PRIVMSG #esoteric :ACTION just thought of a nice Project < 1513864413 595792 :APic!apic@apic.name PRIVMSG #esoteric :A figlet/toilet Reverser < 1513864420 959177 :APic!apic@apic.name PRIVMSG #esoteric :That decomposes Text on IRC or similar < 1513864433 761922 :int-e!~noone@int-e.eu PRIVMSG #esoteric :banner is traditional :P < 1513864441 149926 :APic!apic@apic.name PRIVMSG #esoteric :With Font-Auto-Detection > 1513864444 151334 PRIVMSG #esoteric :14[[07BuzzFizz14]]4 10 02https://esolangs.org/w/index.php?diff=53644&oldid=53634 5* 03B jonas 5* (+1) 10/* External resources */ < 1513864444 205600 :APic!apic@apic.name PRIVMSG #esoteric :Yes, banner too < 1513864480 205875 :APic!apic@apic.name PRIVMSG #esoteric :One could hack some OCR-Software to convert Letters back to Pixels < 1513864500 894695 :APic!apic@apic.name PRIVMSG #esoteric :Hm < 1513864530 976203 :APic!apic@apic.name PRIVMSG #esoteric :Or just render the Font and then use a stock OCR < 1513864551 217150 :APic!apic@apic.name PRIVMSG #esoteric :So quite simple, not _that_ interesting Project 😉 < 1513864564 743403 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :int-e: yeah I guess I need to reformulate that properly < 1513864575 677242 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :so knowledged people actually know what I'm talking about :D < 1513864582 134203 :int-e!~noone@int-e.eu PRIVMSG #esoteric :APic: or just start feeding parameters and strings of increasing length to $program < 1513864618 5227 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(you'll need some lenience because of kerning and the like, but it seems to me that this stupid approach should be good enough anyway) < 1513864637 490480 :APic!apic@apic.name PRIVMSG #esoteric :int-e: lol, good Brute-Force-Idea < 1513864716 620392 :int-e!~noone@int-e.eu PRIVMSG #esoteric :in fact guessing the right font may well be the hardest part for this reversal < 1513864971 370420 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :int-e: http://codepad.org/uKMXVOaJ < 1513864976 677622 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :those are the two cases I was talking about. < 1513865042 263021 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :how can Q exist? < 1513865084 998844 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: it doesn't. Q is entirely hypothetical, based on the assumption that H exists. < 1513865119 848528 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but if Q doesn't exist < 1513865125 970458 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :how can you construct it to proof that H doesn't exist? < 1513865170 87430 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: This is like the largest prime. If 2 = p_1 < p_2 < ... < p_n is a complete list of primes, then p_1*...*p_n+1 is not divisible by any (other) prime, hence must be prime as well, a contradiction. So there is no such complete list of primes. < 1513865186 3260 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :yes, that's a traditional proof by contradiction < 1513865192 870101 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :like sqrt(2) being not a rational number. < 1513865204 314108 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 PRIVMSG #esoteric :but those are entirely different. < 1513865207 44616 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And then it turns out that in most cases, p_1*...*p_n+1 for a prefix of the list of primes is not actually prime but divisible by some other prime... < 1513865267 933817 :int-e!~noone@int-e.eu PRIVMSG #esoteric :e.g., 2*3*5*7*11*13+1 = 59*509 < 1513865335 707791 :int-e!~noone@int-e.eu PRIVMSG #esoteric :despite the fact that under the hypothesis that 2,3,5,7,11,13 contains all primes, it would be prime. Ex falso quod libet. < 1513865355 27099 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, single word? < 1513865359 836661 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION should stay away from latin. < 1513865375 608684 :int-e!~noone@int-e.eu PRIVMSG #esoteric :http://www.oxfordreference.com/view/10.1093/oi/authority.20110803095804354 < 1513865521 511581 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mroman: and for part 1), the trouble is that by the law of excluded middle, P either terminates (and then H exists), or P doesn't terminate (and H exists). So classically, H exists. Constructively, you're back in halting problem territory, because without further information on P, you need a /uniform/ construction for H that works for all possible P. < 1513865639 870843 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Such a construction can be performed by a Turing Machine, and the result can be evaluated using a universal TM (vulgo interpreter)) < 1513865708 22883 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'll readily admit that this is all rather subtle and full of pitfalls. I can't even promise that I'm avoiding all of them successfully, but I'm trying. :) < 1513866727 670917 :idris-bot!~idris-bot@dslb-146-060-045-173.146.060.pools.vodafone-ip.de QUIT :Ping timeout: 268 seconds < 1513866736 465506 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`coins < 1513866737 369401 :Melvar!~melvar@dslb-146-060-045-173.146.060.pools.vodafone-ip.de QUIT :Ping timeout: 256 seconds < 1513866739 510067 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​02nuntcoin 06blintercoin 13obstocoin 04coborcoin 07micrcoin 08lndcoin 09crabicoin 02sholdcoin 06eldcoin 13brycoin 04mirecoin 07redchcoin 08trainccoin 09omercoin 02codecoin 06mdccoin 13djousioncoin 04q-balcoin 07surfcoin 08osseacoin < 1513866917 557808 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1513867072 937254 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :[05:54:40] One could hack some OCR-Software to convert Letters back to Pixels < 1513867101 970611 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :https://twitter.com/reverseocr < 1513867115 568330 :int-e!~noone@int-e.eu PRIVMSG #esoteric :pfft < 1513867128 847692 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :int-e: ? < 1513867167 527884 :int-e!~noone@int-e.eu PRIVMSG #esoteric :variable: maybe I shouldn't laugh. undoing this kind of OCR could be quite tricky: http://int-e.eu/~bf3/tmp/ocr.png < 1513867170 91518 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :int-e: what happens if I take your derivative. Do you become 'e'? or int-int-e? or something else ? < 1513867176 681996 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(original above, OCR below) < 1513867186 912939 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :lol true < 1513867202 85080 :int-e!~noone@int-e.eu PRIVMSG #esoteric :variable: Sorry, but I'm discrete. < 1513867301 984989 :int-e!~noone@int-e.eu PRIVMSG #esoteric :variable: nice feed, though not quite as tautological as I expected. < 1513867335 662643 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? fonts < 1513867336 529205 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ https://lifthrasiir.github.io/unison/sample.png , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz , fizzie's font https://github.com/fis/rfk86/tree/master/web/font < 1513867356 231797 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :my IRC client displays images inline < 1513867361 159519 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :that was um.... fun to see < 1513867667 778488 :Melvar!~melvar@ip-2-203-99-4.web.vodafone.de JOIN :#esoteric < 1513868688 506160 :variable!~variable@freebsd/developer/variable NICK :function < 1513868838 975770 :function!~variable@freebsd/developer/variable NICK :constant < 1513868899 432501 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric < 1513869053 42168 :friendlyGoat!~friendlyG@74-37-66-165.dsl1.ekgv.ca.frontiernet.net JOIN :#esoteric < 1513870078 386508 :friendlyGoat!~friendlyG@74-37-66-165.dsl1.ekgv.ca.frontiernet.net PART :#esoteric < 1513870255 252527 :constant!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1513870397 31081 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1513870478 116663 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 272 seconds < 1513870481 238134 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1513870679 911095 :mroman!a055e873@gateway/web/freenode/ip.160.85.232.115 QUIT :Ping timeout: 260 seconds < 1513872504 715750 :xkapastel!uid17782@gateway/web/irccloud.com/x-xtgfapnayvgdjdoa JOIN :#esoteric < 1513873733 918062 :LKoen!~LKoen@2a01:e35:2eed:a430:9cb5:e1cf:4a45:8b2d QUIT :Remote host closed the connection < 1513874100 909836 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1513874719 925616 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 248 seconds < 1513874721 67259 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1513874901 925732 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais253 < 1513874904 540880 :ais253!~ais523@unaffiliated/ais523 NICK :ais523 < 1513875462 756797 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Would it possible to improve the OCR by cropping pictures of each individual letter and then specifying what letters they are, and see if that improve them? < 1513875634 611482 :Slereah_!~Slereah@ALille-651-1-259-23.w90-1.abo.wanadoo.fr PRIVMSG #esoteric :What? < 1513875643 177448 :Slereah_!~Slereah@ALille-651-1-259-23.w90-1.abo.wanadoo.fr PRIVMSG #esoteric :If you know what letter they are why do you need to OCR them < 1513875670 754503 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :To avoid having to retype the entire document, so that you only have to retype a part of it. < 1513876009 399173 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1513876797 699383 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1513879197 598167 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:cc2:6f2b:a254:446e JOIN :#esoteric < 1513879202 15653 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:cc2:6f2b:a254:446e QUIT :Changing host < 1513879202 62332 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1513880459 795357 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1513881228 148270 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1513882505 327592 :Hoolootwo!Hooloovoo@hooloovoo.blue NICK :Hooloovo0 < 1513883855 466246 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1513884619 845183 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1513885232 403958 :zseri!~zseri@i5E86D5B7.versanet.de JOIN :#esoteric < 1513886662 287381 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1513888412 203963 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1513888707 426493 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1513889183 901699 :zseri!~zseri@i5E86D5B7.versanet.de QUIT :Quit: Leaving < 1513889195 483527 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1513889525 427313 :moony!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 252 seconds < 1513890309 984899 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1513890323 294900 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1513892116 783319 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( that halting problem discussion was painful to read ) < 1513892570 300173 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1513892570 390041 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Client Quit < 1513894477 271746 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :o < 1513895324 403025 :laerling!~laerling@unaffiliated/laerling QUIT :Quit: Leaving < 1513895762 430351 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 252 seconds < 1513895834 421667 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1513896456 363513 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer < 1513896472 984811 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1513896490 333585 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1513897431 435173 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1513897946 744813 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: did I get it horribly wrong? < 1513899139 837428 :vertrex!~vertrex@unaffiliated/vertrex QUIT :Ping timeout: 255 seconds < 1513899222 926197 :vertrex!~vertrex@unaffiliated/vertrex JOIN :#esoteric < 1513899931 317629 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1513899952 689904 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: well i don't think your explanation was precise enough to get past the horrible miscommunication barrier at a reasonable speed. < 1513899970 68637 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it may not have been fundamentally wrong. < 1513900105 981999 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suppose this may have some of the same flavor as those arguments people have over cantor's theorem for real numbers... < 1513900599 840963 :newsham_!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1513900674 608726 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer