< 1584837714 275177 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1584837735 48238 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1584839039 823728 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1584839941 322222 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 250 seconds < 1584839963 381861 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Pokemon Card GB2 has a stupid AI; they attacked level 67 Machamp even though they got knocked out by doing so (and I needed to knock out only one more of their cards to win). They also draw too many cards and then complain of losing due to running out of cards, and many other stupid things too. < 1584840055 859001 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1584840916 840589 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :zzo38: well, it's a game console with low resources, so it's understandable that it doesn't have a very good AI < 1584840933 502843 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :you can try to play more modern games if you want to play against a better AI < 1584840953 257218 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Yes, I suppose that is what it is. < 1584841039 897933 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(There are also problems in the text entry screen, such as they misspelled "hiragana", and some punctuations that you might want to use are not available. Also, you cannot delete your only deck, requiring you to remove each card individually instead if you want to make up a new deck.) < 1584841046 281191 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Have you played this game? < 1584841099 542359 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :no, I haven't played GBA Pokemon TCG, but I've seen videos of it < 1584841131 88675 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :It is not GBA, it is for Color GameBoy. < 1584841140 705911 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :ah yes, sorry < 1584841142 979064 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :it's for GBC < 1584841202 858510 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :though GBC does already have a better cpu than GB < 1584841219 273877 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :I don't know if it has more memory < 1584841237 274062 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :and I don't know how much rom cartridge sizes got cheaper by then < 1584841300 360808 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :GBC has a double speed mode. < 1584842516 219678 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, goomba block chaining < 1584845984 274933 :xkapastel!uid17782@gateway/web/irccloud.com/x-vfaiwegjtdreinpl QUIT :Quit: Connection closed for inactivity < 1584846608 376378 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1584846938 361706 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1584849332 898567 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(The power of level 67 Machamp causes any opponent's card that attacks it to be damaged (even if this knocks out Machamp).) < 1584853342 278592 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1584853558 278051 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1584854249 676562 :Uristqwerty!~Thunderbi@modemcable069.113-177-173.mc.videotron.ca JOIN :#esoteric < 1584855236 112758 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1584855429 378567 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1584855939 178001 :Uristqwerty!~Thunderbi@modemcable069.113-177-173.mc.videotron.ca PRIVMSG #esoteric :Hi! I recently read about a language called Larabee, of which google can find little discussion. Unless google's index is spotty on the matter, it appears to have been mentioned here a handful of times total over the years, and the internet is otherwise silent on the subject outside the language repo itself. Contrary to what I've read, I believe there's a way to make it Turing Complete with an arbitrarily-high probability < 1584856447 405955 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mmm < 1584856461 347775 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Reading https://github.com/catseye/Larabee < 1584856552 463888 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, the point is that (input) is the only nullary operation. < 1584856742 292503 :Uristqwerty!~Thunderbi@modemcable069.113-177-173.mc.videotron.ca PRIVMSG #esoteric :It looks like comparison operators could reduce a pair of inputs to 0 or 1, and an arbitrary long series of such values multiplied together could make a value that is arbitrarily-likely to be zero. With that construction, memory locations 0 and 1 could be set to both contain the same value, and from then on, the constant 1 can be guaranteed using (op = (fetch (op = (input) (input)) (fetch (op = (input) (input))). < 1584856837 738347 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Also we're usually happy to say something is TC with pretty constrained input conventions... e.g. if (input) always returns 0. < 1584856880 162495 :Uristqwerty!~Thunderbi@modemcable069.113-177-173.mc.videotron.ca PRIVMSG #esoteric :From that, you could easily ensure the BPR is always positive and construct any constant you want, though looking again I don't see the example code using memory index 0. < 1584856906 791191 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net QUIT :Read error: Connection reset by peer < 1584857082 762153 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net JOIN :#esoteric < 1584857506 886718 :int-e!~noone@int-e.eu PRIVMSG #esoteric :pretty sure address 0 is okay to use < 1584857523 792420 :int-e!~noone@int-e.eu PRIVMSG #esoteric :negative addresses probably cause an error < 1584859531 707263 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1584859657 709263 :Cale!~cale@2607:fea8:9960:35:15ee:8f62:3c8d:fa4c QUIT :Ping timeout: 246 seconds < 1584859941 759755 :CaraDeLevi!1b252fa5@gateway/web/cgi-irc/kiwiirc.com/ip.27.37.47.165 JOIN :#esoteric < 1584860143 816987 :CaraDeLevi!1b252fa5@gateway/web/cgi-irc/kiwiirc.com/ip.27.37.47.165 QUIT :Client Quit < 1584860474 189799 :Cale!~cale@2607:fea8:9960:35:d07f:94fc:7479:1303 JOIN :#esoteric < 1584861572 395802 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1584862287 621486 :Uristqwerty!~Thunderbi@modemcable069.113-177-173.mc.videotron.ca QUIT :Quit: Uristqwerty < 1584864306 784236 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1584865658 405140 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 250 seconds < 1584865807 117392 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1584867230 899984 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1584867332 776822 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1584867419 376197 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1584868200 232984 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1584868214 405171 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1584868278 794559 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life > 1584870387 616117 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Remisa 5* 10New user account < 1584873201 656629 :Cale!~cale@2607:fea8:9960:35:d07f:94fc:7479:1303 QUIT :Remote host closed the connection < 1584875478 282117 :xkapastel!uid17782@gateway/web/irccloud.com/x-zwpvbgscphbjwtvn JOIN :#esoteric < 1584880941 280879 :Cale!~cale@2607:fea8:9960:35:122:e874:4a55:6544 JOIN :#esoteric < 1584881149 862197 :rain1!~debian@161.113.198.146.dyn.plus.net JOIN :#esoteric < 1584881168 284335 :rain1!~debian@161.113.198.146.dyn.plus.net QUIT :Changing host < 1584881168 284390 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1584881171 368793 :arseniiv!~arseniiv@95.105.9.112.dynamic.ufanet.ru JOIN :#esoteric < 1584881532 163545 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1584884056 375860 :vivax!~vivax@66.79-161-35.customer.lyse.net JOIN :#esoteric < 1584885675 757370 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1584886264 679716 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1584886442 629269 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :chat mini challenge: shortest total non primitive recursive function in binary lambda calculus < 1584887915 373034 :diverger!~div@45.9.251.164 QUIT :Read error: Connection reset by peer < 1584888032 294969 :diverger!~div@45.9.251.164 JOIN :#esoteric < 1584891972 531072 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1584892331 297822 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1584892399 268751 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1584892887 756583 :stux!stux2@grid9.quadspeedi.net QUIT :Remote host closed the connection < 1584893163 671864 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1584893345 672650 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1584894263 716607 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1584894334 623555 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1584896953 835737 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1584899743 672781 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1584899890 652616 :stux!stux2@grid9.quadspeedi.net JOIN :#esoteric > 1584900002 890098 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 M10 02https://esolangs.org/w/index.php?diff=70449&oldid=70424 5* 03Hakerh400 5* (+20) 10Separate brainfuck derivatives into a new section < 1584900795 615759 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :kritixilithos: how do you define total in lambda calculus? < 1584901703 142086 :eja0!~eja0@2a02:27b0:4c00:1010:9c0c:31b5:72a0:643f JOIN :#esoteric < 1584901909 422388 :eja00!~eja0@109.175.105.173 JOIN :#esoteric < 1584902016 587175 :eja_!~eja0@109.175.105.173 JOIN :#esoteric < 1584902039 837998 :eja0!~eja0@2a02:27b0:4c00:1010:9c0c:31b5:72a0:643f QUIT :Ping timeout: 246 seconds < 1584902097 64371 :eja_!~eja0@109.175.105.173 QUIT :Read error: Connection reset by peer < 1584902792 211017 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :kritixilithos: at most 43 bits < 1584903980 754645 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1584905156 40210 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 606 seconds < 1584905332 816894 :int-e!~noone@int-e.eu PRIVMSG #esoteric :35 bits for a function from Church numerals to Church numerals? < 1584905420 928932 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1584905444 134239 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Of which 4 bits are used to duplicate the argument; this is a variation on the Ackermann function.) < 1584905522 859618 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(spoiler http://paste.debian.net/1136020/ ) < 1584905684 371314 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: "total" probably only makes sense if you restrict the input(s) to some encoding of natural numbers; in this context, Church numerals seem to be the most sensible choice... < 1584905876 764122 :KateUpton!2bf727f2@gateway/web/cgi-irc/kiwiirc.com/ip.43.247.39.242 JOIN :#esoteric < 1584905945 211444 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :int-e: do you need the Ackermann function? wouldn't just a tetration function like {n |> 2***n} be enough? < 1584905975 287298 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: no, tetration is primitive recursive. < 1584905983 442319 :int-e!~noone@int-e.eu PRIVMSG #esoteric :any fixed-width up-arrow is. < 1584905993 730468 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :is it? hmm < 1584906021 400175 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ackermann is basically a variable-width up-arrow, and that's what makes it non-primitive recursive. < 1584906052 384603 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: the basic primitive recursion building block is iterating a function you already have a given number of times. < 1584906088 38058 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that's exactly what you need to construct multiplication from addition, exponentiation from multiplication, tetration from exponentiation, or generally to increase the width of an up-arrow by one. < 1584906100 548708 :KateUpton!2bf727f2@gateway/web/cgi-irc/kiwiirc.com/ip.43.247.39.242 QUIT :Client Quit < 1584906115 468940 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :I'm confusing something here then < 1584906148 638123 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :because I thought primitive recursion can do {n |> n***c} for any constant c, but not tetration < 1584906198 953539 :int-e!~noone@int-e.eu PRIVMSG #esoteric :is |> a \mapsto < 1584906214 393341 :mniip!mniip@freenode/staff/mniip QUIT :Ping timeout: 600 seconds < 1584906221 590204 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I read it as a triangle, which messes up my brain) < 1584906246 402643 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :yes, it's a |-> arrow < 1584906261 371527 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :makes a pair connecting the function input and output < 1584906270 794715 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: I really think you're confusing this with the variable-width up-arrow. < 1584906287 758172 :int-e!~noone@int-e.eu PRIVMSG #esoteric :some variation on n \uparrow^c n < 1584906296 696285 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :I'm probably just not clear about how primitive recursion works. I don't think I ever really understood it. < 1584906477 453779 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :I guess it can do tetration (or any other fixed width up arrow) I just never realized that it can do that < 1584906500 116963 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :and it was probably never important for any proof that I needed to really understand its limits < 1584906515 549828 :int-e!~noone@int-e.eu PRIVMSG #esoteric :If you can express it in https://en.wikipedia.org/wiki/BlooP it's primitive recursive... so you can have nested loops, as long as the number of iterations of each loop is known before the loop is entered. < 1584906519 413720 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :The "BlooP" described in the "Godel, Escher, Bach" book is using primitive recursive. < 1584906571 656905 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :zzo38: yes, that's one of the equivalent descriptions < 1584906586 671491 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :(Although I have shown that IF is not actually needed; you can still implement any primitive recursive functions even without it.) < 1584906664 52381 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tetrate(a,n): r = 1; for (i = 1 to n) r = a^r; return r; < 1584906704 21223 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric < 1584906743 620591 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Where ^ is exponentiation, of course.) < 1584907459 272763 :eja00!~eja0@109.175.105.173 QUIT :Quit: Leaving < 1584907877 845219 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :int-e: i think your old gAckerman.lam has a bug < 1584907901 9083 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :it should have g = \n.n G succ n ?! < 1584908015 328957 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that was 5 years ago... how am I supposed to remember :P < 1584908060 603861 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :i didn't realize you had such a file until I wrote a similar version independently:) < 1584908158 459900 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well it's a binary function as written, evidently < 1584908226 325623 :int-e!~noone@int-e.eu PRIVMSG #esoteric :is that even mine, hmm. < 1584908241 389880 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Honestly, the style suggest it's your, and so does the file log. < 1584908255 663735 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(style: I put spaces after the dots) < 1584908285 423815 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :Oops! you're right. it's mine! < 1584908301 472405 :int-e!~noone@int-e.eu PRIVMSG #esoteric :However, it still looks like a binary function to me and that would make it okay. < 1584908314 143547 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :sorry to suspect you of writing bugs:( < 1584908321 23601 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh that's fine. < 1584908369 938872 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And I've certainly thought about a generalized ackermann function before, but that was a ternary function. So the contents of the file caused some dissonance. < 1584908454 911539 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :that gAckerman is obsoleted by the new ackermann, so I can just remove it < 1584908465 764569 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(and the file log is not always conclusive... this wouldn't have been the first time that you committed a file I wrote) < 1584908592 711635 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :pls let me know if there's any missing attribution < 1584908662 128608 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No worries, if I felt I needed attribution I'd leave an authorship note it in the file. < 1584908686 521867 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I can't even name a specific example right now) < 1584908800 260918 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, except BLC.hs which I just felt wasn't finished, but which does have an authorship comment. < 1584908931 125158 :int-e!~noone@int-e.eu PRIVMSG #esoteric :surprisingly it still compiles with ghc-8.8, even though I last updated it for ghc-8.4 < 1584908968 9749 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and it still works, too < 1584908968 73192 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :i'd forgotten there is such a thing. that does look very interesting < 1584908984 821719 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :int-e: did untyped lambda calculus change between those ghc versions? < 1584908989 235881 :int-e!~noone@int-e.eu PRIVMSG #esoteric :somebody (tm) should do this properly. < 1584908998 161219 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: No? < 1584909002 863074 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :good < 1584909009 475686 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: But ghc's internals are in flux. < 1584909030 796963 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :on what example Haskell file did you test it? < 1584909033 417168 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1584909033 814247 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: https://github.com/tromp/AIT/blob/master/BLC.hs < 1584909046 228093 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Sample.hs. See the comments at the top. < 1584909059 271558 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(of BLC.hs) < 1584909062 382710 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :ah, it's a haskell plugin < 1584909069 47926 :b_jonas!~x@catv-176-63-11-159.catv.broadband.hu PRIVMSG #esoteric :that explains why you think it would bitrot < 1584909110 599383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: Yeah I realized that this information was missing from the discussion here :) < 1584909168 362424 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1584909183 440040 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :Johns-iMac:AIT tromp$ ghc -package ghc -dynamic -c -fplugin=BLC Sample.hs < 1584909183 470903 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :Bad interface file: ./BLC.hi < 1584909183 477554 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric : mismatched interface file versions (wanted "8063", got "8022") < 1584909185 417422 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :i get < 1584909268 357571 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: did you re-compile the plugin? < 1584909285 717872 :int-e!~noone@int-e.eu PRIVMSG #esoteric :because that seems to say that the plugin is compiled with ghc 8.2.2 < 1584909290 777456 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but you're using 8.6.3 < 1584909311 329115 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :ah, yes, that fixes it < 1584909512 517765 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :I managed to beat the red Imakuni? while sleeping. (He ran out of cards to draw, while I still have twenty-eight cards remaining.) < 1584909533 676122 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: This is basically a proof of concept that never went beyond that stage. It does Scott encoding, it supports let and case, and it doesn't optimize anything. < 1584909633 598258 :tromp!~tromp@2a02:a210:ca3:2800:712a:1267:4842:7e7f PRIVMSG #esoteric :the blc list representation is hard to reconcile with Haskell due to it's odd notion of [] < 1584909638 421261 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: But you can have Church numerals because Haskell can have Church numerals by virtue of having RankNTypes. < 1584909696 706991 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Yeah I didn't even try. The sample is a stream for a reason. < 1584910101 23599 :pierre_robes169!~pierre_ro@222.red-81-32-131.dynamicip.rima-tde.net JOIN :#esoteric < 1584910397 381964 :pierre_robes_169!~pierre_ro@222.red-81-32-131.dynamicip.rima-tde.net JOIN :#esoteric < 1584910549 846229 :pierre_robes_169!~pierre_ro@222.red-81-32-131.dynamicip.rima-tde.net QUIT :Client Quit < 1584910574 421352 :pierre_robes169!~pierre_ro@222.red-81-32-131.dynamicip.rima-tde.net QUIT :Ping timeout: 258 seconds < 1584910585 823586 :Filippo!~filip@2001:b07:644b:1831:8a0:2dc2:6c5d:a2e9 JOIN :#esoteric < 1584910873 983907 :Filippo!~filip@2001:b07:644b:1831:8a0:2dc2:6c5d:a2e9 PART :#esoteric < 1584911528 833337 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1584911554 333050 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1584911610 207327 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1584911789 912609 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Yay, another security alert arrived in my mailbox, 33 hours after the event? That's the 7th or 8th for sending a single email. ) < 1584911860 599533 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :What event is that? < 1584911934 379778 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Sure, it's several events from Google's perspective. 1) send emal. 2) sign in from "unknown device". 3) change "less secure apps" setting. Now they're sending alerts to both the google email and the linked email account (which is my primary email account so I really don't care all that much about the security of the google one)) < 1584911941 404804 :int-e!~noone@int-e.eu PRIVMSG #esoteric :emal -> email < 1584911957 611622 :int-e!~noone@int-e.eu PRIVMSG #esoteric :3) is "critical" for some reason. < 1584912003 820097 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh and one of the alert said the blocked a "login from a non-Google app" as if that's a bad thing. < 1584912017 113078 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I've deleted them all though.) < 1584912076 761855 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I guess the next time it happens I should archive them for later amusement. < 1584912230 925628 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The 33 hours irritate me though. And the delay was incurred inside of Google according to the Received headers. < 1584912246 374484 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh well. < 1584912343 206715 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The annoying bit is really that this *will* happen again, because I rarely send emails from the google account and that's the only occasion where I authenticate with them at all. < 1584912368 576311 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(received email just gets forwarded to my primary account) < 1584912420 177590 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So Google *will* decide that I don't need that "less secure apps" setting because I'm not using it. And then when I send another email I'll jump through all the hoops again. < 1584912636 991966 :xkapastel!uid17782@gateway/web/irccloud.com/x-zwpvbgscphbjwtvn QUIT :Quit: Connection closed for inactivity < 1584914618 377604 :vivax!~vivax@66.79-161-35.customer.lyse.net QUIT :Remote host closed the connection < 1584917158 741137 :Cale!~cale@2607:fea8:9960:35:122:e874:4a55:6544 QUIT :Remote host closed the connection < 1584917355 790590 :Cale!~cale@2607:fea8:9960:35:93d:28dd:4b7a:98e4 JOIN :#esoteric < 1584918154 360985 :Cale!~cale@2607:fea8:9960:35:93d:28dd:4b7a:98e4 QUIT :Remote host closed the connection < 1584919859 908161 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1584919909 787701 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1584920339 818249 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Ah I found the generalized ackermann functions I toyed with... but not where they came from. They looked like this: http://paste.debian.net/1136059/ < 1584920372 733352 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Pretty weird stuff. < 1584920526 991410 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I forgot what the point of this was. Probably something like that ack3 cannot be bounded in terms of ack2 + primitive recursion, and so on. < 1584920737 154811 :Cale!~cale@2607:fea8:9960:35:a521:8ce5:ef12:6146 JOIN :#esoteric