< 1599005777 79383 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: I gave it a shot. Won't try again, didn't leave any contact information. < 1599005786 48352 :mniip!~mniip@freenode/staff/mniip QUIT :Ping timeout: 600 seconds < 1599005814 768393 :mniip!~mniip@freenode/staff/mniip JOIN :#esoteric < 1599006168 16405 :tromp!~tromp@ip-213-127-101-220.ip.prioritytelecom.net JOIN :#esoteric < 1599006225 92272 :tromp_!~tromp@2a02:a210:ca3:2800:946d:66e3:629e:349a QUIT :Read error: Connection reset by peer > 1599009399 987556 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Me 5* 10New user account < 1599009848 920010 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599009876 708182 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Remote host closed the connection < 1599009903 19283 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599010891 141600 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Ping timeout: 256 seconds < 1599012773 104668 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Have you guys heard about the new Jace, Mirror Mage combo with Teferi's Ageless Insight? < 1599012824 871235 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :4 cards per turn < 1599012925 82951 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Because Insight replaces the draw effect, the second half doesn't go off and so Jace doesn't lose loyalty. < 1599012934 114396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know either of those cards. < 1599012960 201875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, why doesn't the second half go off? < 1599012961 984956 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I see. < 1599012966 235246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's because the CMC is effectively zero? < 1599013008 161226 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :614.11b If an effect would have a player both draw a card and perform an additional action on that card, and the draw is replaced, the additional action is not performed on any cards that are drawn as a result of that replacement effect. < 1599013045 465011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aha. < 1599013081 173356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why four and not three cards per turn? < 1599013084 895866 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, is it the kicker? < 1599013085 901450 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I have not seen those cards (or maybe I have, but do not remember). < 1599013089 67225 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Yeah, the kicker < 1599013096 771351 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :This is the just-spoiled new Jace < 1599013163 9250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's a total of five cards per turn including the draw step? < 1599013169 558077 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :yeah < 1599013182 701141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a lot of cards. < 1599013205 471727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Remind me, did you slay any spires? < 1599013213 977770 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Long ago, I did < 1599013216 451405 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I have not seen it, so copy the text here so that we can see, I suppose < 1599013261 135840 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Card Name: < 1599013261 259616 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Teferi's Ageless Insight < 1599013261 259659 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Mana Cost: < 1599013261 259668 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :2BlueBlue < 1599013261 259676 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Converted Mana Cost: < 1599013262 41516 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :4 < 1599013263 623840 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Types: < 1599013265 656271 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Legendary Enchantment < 1599013267 647509 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Card Text: < 1599013271 581664 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :If you would draw a card except the first one you draw in each of your draw steps, draw two cards instead. < 1599013283 503289 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric : Jace, Mirror Mage {1}{U}{U} < 1599013283 626997 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Legendary Planeswalker — Jace < 1599013283 627043 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Kicker {2} < 1599013283 627055 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :When Jace, Mirror Mage enters the battlefield, if Jace was kicked, create a token that’s a copy of Jace, Mirror Mage except it’s not legendary and its starting loyalty is 1. < 1599013283 730237 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :+1: Scry 2. < 1599013285 533864 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :0: Draw a card and reveal it. Remove a number of loyalty counters equal to that card’s converted mana cost from Jace, Mirror Mage. < 1599013288 504055 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :Loyalty: 4 < 1599013323 563664 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Next time you could use the abbreviated single line format like I do, perhaps. < 1599013340 950593 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :ah, I don't know how to get nice copy/pasteable text for cards < 1599013355 85937 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I just googled them and copy/pasted from the first results I could find < 1599013394 158110 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(It also looks like whoever typed that has entered bad alt text for the mana symbols. Alt text is the text that should be displayed when the image isn't displayed.) < 1599013625 312626 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You also didn't include the flavor text. < 1599013707 543568 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :That is OK, though; for what you were discussing, flavor text (and art) is not relevant. < 1599013886 348730 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Do you like the abbreviated single line format that I like to use? < 1599014046 219540 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :I think so < 1599014337 649663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`card-by-name teferi's ageless insight < 1599014338 650106 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1599014345 313202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Must not be updated for M21. < 1599014353 2297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`random-card < 1599014354 117061 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Desert of the True \ Land -- Desert \ Desert of the True enters the battlefield tapped. \ {T}: Add {W}. \ Cycling {1}{W} ({1}{W}, Discard this card: Draw a card.) \ HOU-C < 1599017119 319041 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Neat, there goes the moneyz again. Anything else to look forward to? < 1599017130 872432 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I'll check the spoilers. < 1599019377 995304 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1599019447 838811 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1599022165 305664 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1599022187 387205 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599023007 417398 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :How to construct a va_list dynamically in C? < 1599023290 286884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think there's a portable way to do it. < 1599023297 368926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably you can make one based on the ABI. < 1599023345 904352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can also do something like http://www.talchas.net/tape.c < 1599024519 780203 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :How common was it in various periods of history (including now) for someone to learn to read and write Latin but not to speak Latin (although they could speak other languages)? < 1599025857 800846 :diverger!~div@199.36.221.86 QUIT :Ping timeout: 260 seconds < 1599025960 167299 :diverger!~div@31.171.152.196 JOIN :#esoteric < 1599026288 883116 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 256 seconds < 1599026455 977442 :pikhq!sid394595@gateway/web/irccloud.com/x-kdqspjdspdmvklvb QUIT :Ping timeout: 240 seconds < 1599026587 417159 :pikhq!sid394595@gateway/web/irccloud.com/x-mkoexvdgjqmpjxtb JOIN :#esoteric < 1599027283 573366 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1599029149 870204 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 264 seconds < 1599029479 415995 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1599029682 103070 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1599029841 387224 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1599031733 124674 :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.” < 1599031920 717240 :kspalaiologos!~root@206.ip-51-91-102.eu JOIN :#esoteric < 1599032305 919617 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1599032422 806826 :kspalaiologos!~root@206.ip-51-91-102.eu QUIT :Quit: leaving < 1599033801 202208 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com JOIN :#esoteric < 1599034815 819054 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599038554 551577 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1599038572 574871 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1599039428 639342 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1599040509 526154 :tromp!~tromp@ip-213-127-101-220.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1599040526 53594 :tromp!~tromp@2a02:a210:ca3:2800:801d:8c5:ab59:e04e JOIN :#esoteric < 1599040541 840931 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: http://www.madore.org/cgi-bin/comment.pl/showcomments?href=http%3a%2f%2fwww.madore.org%2f~david%2fweblog%2f2011-04.html%23d.2011-04-25.1871#comment-27034 < 1599040568 274290 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(funny link, hmm) < 1599040611 80650 :Sinthorion!4e23b2be@xdsl-78-35-178-190.nc.de JOIN :#esoteric < 1599040964 873367 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru JOIN :#esoteric < 1599041521 787155 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :int-e: https://codegolf.stackexchange.com/a/75326 ties yours < 1599041712 14517 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kritixilithos: I love being second... :P < 1599041857 623166 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kritixilithos: But I wasn't aware of that post. I stumbled across this problem near the end of last year because somebody posted https://github.com/olligobber/DivisibilityRegex which isn't quite optimal. Not sure where that happened; ##math is my guess. < 1599041871 657482 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But it could also have been here; the logs could tell :P < 1599041997 199163 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I did bring it up here, but I still think it started on ##math. https://esolangs.org/logs/2019-11-02.html#lle < 1599042232 579226 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :int-e: nice < 1599042296 911669 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :kritixilithos: oh! so it's already on golf.se. I'll definitely link that then < 1599042341 858373 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :and yes, that shows the short PCRE solution using the recursion extension < 1599042367 305536 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I wonder whether that method for converting FAs to regular expressions is published. It's rather obvious (I think) so I'm not surprised that somebody else is using it too. < 1599042434 296809 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :int-e: https://codegolf.stackexchange.com/a/75326 ties yours < 1599042443 160653 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kritixilithos: deja vu < 1599042467 532664 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :whoops that was accidental < 1599042503 543426 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: "recursion extension", is that what it's called? < 1599042557 78447 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, should ask a search engine... leaning towards "no". < 1599042559 419289 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :int-e: I don't know, I'd have to look at old versions of perl's manpages to know the canonical name, but it allows you to describe context-free grammars using recusions, which was I think the original goal, like describing nested parenthesis < 1599042620 997002 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :the strange thing is, David Madore's post isn't even from like 1997, preceding the whole SE, it's only older by a few months than the Golf SE post < 1599042624 23929 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :weird < 1599042701 247441 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :and in fact, it looks like the Golf SE post is motivated by code on github that is even older than David's post < 1599042701 784684 :int-e!~noone@int-e.eu PRIVMSG #esoteric :maybe somebody asked several people that question around the time < 1599043499 881406 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :b_jonas: okay, posted it as a comment < 1599043771 539918 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :kritixilithos: we cross-posted then < 1599043775 116994 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :oh well < 1599044195 823619 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :`pbflist https://pbfcomics.com/comics/lucky-day/ < 1599044197 531731 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :pbflist https://pbfcomics.com/comics/lucky-day/: shachaf Sgeo quintopia ion b_jonas Cale < 1599044703 775719 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1599045162 327511 :Sinthorion!4e23b2be@xdsl-78-35-178-190.nc.de PRIVMSG #esoteric :Has anyone ever formalised some definition of "IO complete"/"perfect IO", ie. the ability of a machine to read and print any given string, with the output depending on the input? < 1599045405 877939 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com PRIVMSG #esoteric :I think people are generally satisfied with the idea that any given string can be mapped to a natural number, and that there exist functions that take natural numbers to natural numbers, and some of those functions can be computed by Turing machine < 1599045752 571911 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :Sinthorion: interactive or non-interactive? < 1599045814 571938 :Sinthorion!4e23b2be@xdsl-78-35-178-190.nc.de PRIVMSG #esoteric :non-interactive is enough < 1599045841 6598 :Sinthorion!4e23b2be@xdsl-78-35-178-190.nc.de PRIVMSG #esoteric :we talked about this a bit on the esolangs discord server < 1599045951 775114 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599046006 363443 :spruit11!~unknown@86-82-44-193.fixed.kpn.net QUIT :Quit: Lost terminal < 1599046623 41156 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com QUIT :Quit: WeeChat 1.9.1 < 1599047483 815655 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1599049055 701271 :spruit11!~unknown@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1599049737 776199 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599049798 288503 :Sinthorion!4e23b2be@xdsl-78-35-178-190.nc.de QUIT :Remote host closed the connection < 1599051976 731474 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric < 1599052949 904909 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1599052975 966131 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric < 1599053315 964670 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :I wonder how mostrous would be an esolang which uses a generalized Minsky machine operating on Haskell-like strings, as there would be a end-of-string constructor and a constructor *for each Unicode codepoint*, and the primitive recursion operator takes such many arguments. Of course one could cheat and make so that it takes only several explicit arguments and all others are taken to be (λx1 … xn. "") but as I said that’s not the s < 1599053316 108747 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :pirit at all < 1599053316 108805 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :wait, I mixed GMM with generalized recursive functions. They are almost one and the same, in GMM instead of recursion operator we’d have a destructor which takes one input register and a hell of output registers, one for each constructor, and also the same number of continuation states. We can cheat the same way here, specifying a “default” continuation state and a “default” output register, and again I would be against doing < 1599053316 108821 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :that :P the tarpit should remain a tarpit < 1599053401 199722 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Heh, there's always one more tiny thing to do before I declare the interpreter beta. < 1599053875 112213 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursaga < 1599053896 9506 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1599055483 652349 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: what does declaring it beta actually mean? < 1599055511 751664 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :for the egel interpreter that is < 1599056229 927326 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com JOIN :#esoteric < 1599056778 775395 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :That I feel confident about the core functionality of the rewriter, and that the interpreter is in a good enough stage. Basically, that I wouldn't expect any show stoppers anymore. < 1599056781 213938 :Arcorann__!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1599057065 584270 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( beta is where software goes to die ) < 1599057104 973268 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :It's barely alive anyway! < 1599057125 875852 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :undead software! < 1599058083 985649 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net JOIN :#esoteric < 1599058088 988349 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :Hi < 1599058723 540142 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1599059142 624809 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :`olist 1213 < 1599059144 63373 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :olist https://www.giantitp.com/comics/oots1213.html: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1599059637 146089 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :here's something i made o a whim < 1599059638 755782 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :MowrMowr is ran on an infinte 2-dimensional lawn that is not mown (all 1s) . Wile the mower is on, moving over unmown grass will mow it (turn it into a 0).If there is any input, the bits of the input are formed into an-odd length square centered around the mower in reading order. Extra cells are unmowed (1)Note that the main chore (program) loops < 1599059639 373541 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :until you have a break. After all, it is an infinite lawn.Mowr supports the following commands.` - Pushes the mower forward.LR - Turns the mower left/right.! - Switches the mower on/off (default off)? - Turns the mower left if the mower is on mown grass, otherwise turns right.O - outputs the bit the mower is on. If on the initial cell, finish < 1599059639 787027 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :mowing the lawn (halt without outputting.).() - Delimits a subchore (loop) Escaped the same way as the main chore. < 1599059718 37900 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Really nice! < 1599059721 576268 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Link? < 1599059804 729378 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric : undead software! => but maybe that’s only after gamma < 1599059862 338951 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :i haven't made anything yet < 1599059866 457414 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :spruit11 < 1599059880 719145 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :just putting down ideas < 1599059895 717362 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :Mirage48: that... might work, I dunno. the loop condition seems suspicious. but I don't understand why you flavor this as mowing, since there are no stones or other obstacles. < 1599059967 253886 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :just an idea that popped into my head < 1599059983 264517 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :The inital cell is where the ch\ore was stated, just to clarify < 1599059988 70890 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :*chore < 1599060130 190226 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :what? but that's even worse! < 1599060148 674571 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :yeah i know < 1599060162 969413 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :maybe what we need is actually a Clifford-algebraic language. Like, you take an algebra of dimension the same as input length, and generator vectors having squares ±1 depending on the corresponding bit of the input. Now, a program can’t be a term of a fixed size as that won’t be able to process arbitrary-length input. Instead, one can write something like a convolution kernel. Hm but how exactly… < 1599060192 509758 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net PRIVMSG #esoteric :what? < 1599060205 258782 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :exactly! < 1599060224 396430 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :Clifford algebras are the absolute best in the world < 1599060273 275072 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :sorry, sorry, but this half-idea may be promising < 1599060307 38612 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz JOIN :#esoteric < 1599060315 305866 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :and also a horror to implrment. The algebra for N generators has dimension 2^N < 1599060341 847603 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :so it one uses it sufficiently fully, the implementor couldn’t cheat < 1599060350 450970 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz PRIVMSG #esoteric :hi people < 1599060362 616910 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :`relcome tchibo < 1599060366 476978 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​07tchibo: 08Welcome 09to 02the 06international 13hub 04for 07esoteric 08programming 09language 02design 06and 13deployment! 04For 07more 08information, 09check 02out 06our 13wiki: 04. 07(For 08the 09other 02kind 06of 13esoterica, 04try 07#esoteric 08on 09EFnet 02or 06DALnet.) < 1599060457 653419 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz PRIVMSG #esoteric :thx, not a mistake < 1599060563 146412 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com PRIVMSG #esoteric :How about an esolang that uses naive datetimes and requires somehow that they ambiguously reference UTC times. So that programs only have meaning if they are run during that hour in the autumn before the clocks are set back. < 1599060634 677400 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz PRIVMSG #esoteric :I just registered on the wiki to introduce my first language, not very esoteric, was curious if there is life on the chat < 1599060656 103711 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :cpressey: is that like 2014? < 1599060718 570893 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com PRIVMSG #esoteric :b_jonas: yes, it's exacly like 2014, for some value of 2014 < 1599060784 108562 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1599060833 489975 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: 9-5 # because of b_jonas I reversed a decision and implemented normal monadic min behavior again. < 1599060833 490036 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :4 < 1599060884 904360 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelobt: 9+5 < 1599060891 641379 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ 9+5 < 1599060892 179441 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 14 < 1599060899 701887 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: 9+5 < 1599060899 830361 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :14 < 1599060973 954621 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: -1 < 1599060974 100649 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :-1 < 1599061028 38403 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :tchibo: there is. Though it’s highly irregular. May be a day or two in silence, only esowiki dumping page modifications < 1599061060 943595 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz PRIVMSG #esoteric :ic < 1599061165 451611 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz PRIVMSG #esoteric :my kingdom for a charger < 1599061249 623910 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :I think I’m ready to dump my Clifford algebra idea on the wiki but I don’t want to analyze what computational complexity it will give < 1599061451 921734 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :what kind of charger? < 1599061474 874600 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :and what kingdom? < 1599062751 858971 :cpressey!~cpressey@79-72-200-154.dynamic.dsl.as9105.com QUIT :Quit: WeeChat 1.9.1 > 1599063086 571150 PRIVMSG #esoteric :14[[07Cyclifford14]]4 N10 02https://esolangs.org/w/index.php?oldid=77178 5* 03Arseniiv 5* (+1491) 10Created page with "'''Cyclifford''' is a silly idea of a language by [[User:arseniiv]], based on [[wikipedia:Clifford algebra|Clifford algebra]]s. The program is an expression consisting of int..." < 1599063147 232044 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :of int-e no less < 1599063163 631623 :arseniiv!~arseniiv@94.41.10.181.dynamic.ufanet.ru PRIVMSG #esoteric :no one will know for sure until reads the article mwhahahah > 1599063373 385404 PRIVMSG #esoteric :14[[07User:Arseniiv14]]4 M10 02https://esolangs.org/w/index.php?diff=77179&oldid=74975 5* 03Arseniiv 5* (+90) 10book-keeping < 1599063828 21067 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599064405 37236 :Mirage48!6d4219c2@bzq-109-66-25-194.red.bezeqint.net QUIT :Ping timeout: 245 seconds < 1599065390 107194 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1599065505 190840 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1599065505 341597 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1599067059 133487 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net QUIT :Remote host closed the connection < 1599067143 831907 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1599067298 832192 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net JOIN :#esoteric < 1599067303 801585 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: val myglobal = ref 0;; setref myglobal [X->X]; getref myglobal "hello all" #no language is feature complete without global variables < 1599067303 801660 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"hello all" < 1599067767 322744 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric > 1599068298 531976 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77180&oldid=77169 5* 03SunnyMoon 5* (+49) 10School update. > 1599068386 705984 PRIVMSG #esoteric :14[[07User:SunnyMoon14]]4 M10 02https://esolangs.org/w/index.php?diff=77181&oldid=77180 5* 03SunnyMoon 5* (+0) 10Grammatical Wiki error. < 1599068455 271310 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: oh, arbitrary mutable references? < 1599068462 65422 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :that makes this MUCH more powerful > 1599068571 63227 PRIVMSG #esoteric :14[[07Anyfix14]]4 M10 02https://esolangs.org/w/index.php?diff=77182&oldid=67569 5* 03SunnyMoon 5* (-1) 10What are you doing here, paranthesis? < 1599069038 900837 :tchibo!6d51d019@dynamic-109-81-208-25.ipv4.broadband.iol.cz QUIT :Remote host closed the connection < 1599069045 694918 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599069121 882277 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1599069452 609384 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599071053 675649 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 258 seconds < 1599071181 896239 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Remote host closed the connection < 1599071203 727306 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1599071213 315682 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599073436 278086 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 265 seconds < 1599073872 343842 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1599073891 35751 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1599074441 70981 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 246 seconds < 1599074914 234966 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1599075285 974878 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right, power is what I crave. < 1599075318 282986 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :ref, setref, getref? I might try that < 1599075576 534689 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. No cycles though. < 1599075591 516174 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :how is it no cycles? < 1599075600 722195 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But I am confident you can work around that. < 1599075621 256125 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [R -> setref R R] (ref 0) < 1599075621 359381 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : < 1599075623 245363 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh, you can do cycles. But then the structures won't gc. < 1599075635 264356 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :ah ok, that makes more sense < 1599075677 998979 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I might try a stress test locally and see how fast egel can leak. < 1599075699 429573 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Maybe a bit of abuse isn't that bad. < 1599076373 381714 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Not sure what I expected except that you don't really notice for small shortlived scripts. And that egel is slow. < 1599076376 571630 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah well. < 1599076598 787665 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Pffrt, how do you measure how much memory a process consumed on linux. Something simpler than valgrind. < 1599076603 37739 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :? < 1599076690 683661 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :What language is this? < 1599076698 214728 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Egel. < 1599076703 595683 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :egelbot: agitprop < 1599076703 595745 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :visit https://egel-lang.github.io/ < 1599079257 953108 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1599081204 992528 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listrev_a = [ S nil -> S| S (cons A D) -> listrev_a (cons A S) D ];; def listrev = listrev_a {};; listrev {8,2,13,59,75} < 1599081205 136635 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{75, 59, 13, 2, 8} < 1599081494 702103 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Ah. I tried to analyze your script and didn't get any further that you like accumulators. < 1599081583 868551 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :If you want a challenge: read it and weep https://github.com/egel-lang/egel/blob/master/examples/bintrees.eg < 1599081596 575195 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: well it's an eager pure functional language. at least it was, until you added this new mutability feature. I have to program it like an eager functional programming language. < 1599081601 374524 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: data mcons;; data mnil;; data mhdr;; def mempty = [N -> ref (mhdr N N)] (ref mnil);; def mpush = [A H -> [(mhdr F T) U -> setref T (mcons A U); setref H (mhdr F U) | _ _ -> throw "error mpush"] (getref H) (ref mnil) ];; def munlist = [H -> [(mhdr F _) -> listrev ([R N -> R R {} N] [R P mnil -> A | R P (cons A D) -> R R (cons A P) (getref D) -> | _ _ _ -> error "munlist" ] (getref F)) ] ] < 1599081601 374567 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:346:syntactical:] expected < 1599081607 270741 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :(getref H) ];; "ok" < 1599081619 497159 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: data mcons;; data mnil;; data mhdr;; def mempty = [N -> ref (mhdr N N)] (ref mnil);; def mpush = [A H -> [(mhdr F T) U -> setref T (mcons A U); setref H (mhdr F U) | _ _ -> throw "error mpush"] (getref H) (ref mnil) ];; "ok" < 1599081619 497208 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599081735 948117 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def munlist = [H -> [(mhdr F _) -> [R N -> listrev (R R {} N)] [R P mnil -> A | R P (cons A D) -> R R (cons A P) (getref D) -> | _ _ _ -> error "munlist" ] (getref F) | _ -> throw "munlist h" ] (getref H) ];; "ok" < 1599081736 92597 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:126:syntactical:] expected < 1599081771 480831 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def munlist = [H -> [(mhdr F _) -> [R N -> listrev (R R {} N)] [R P mnil -> A | R P (cons A D) -> R R (cons A P) (getref D) | _ _ _ -> error "munlist" ] (getref F) | _ -> throw "munlist h" ] (getref H) ];; "ok" < 1599081771 604321 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:78:semantical:undeclared A < 1599081779 546779 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def munlist = [H -> [(mhdr F _) -> [R N -> listrev (R R {} N)] [R P mnil -> P | R P (cons A D) -> R R (cons A P) (getref D) | _ _ _ -> error "munlist" ] (getref F) | _ -> throw "munlist h" ] (getref H) ];; "ok" < 1599081779 670234 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:137:semantical:undeclared error < 1599081788 548174 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def munlist = [H -> [(mhdr F _) -> [R N -> listrev (R R {} N)] [R P mnil -> P | R P (cons A D) -> R R (cons A P) (getref D) | _ _ _ -> throw "munlist" ] (getref F) | _ -> throw "munlist h" ] (getref H) ];; "ok" < 1599081788 548239 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599081806 361913 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mempty < 1599081806 361968 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : < 1599081809 288720 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: getref mempty < 1599081809 288762 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(mhdr ) < 1599081868 190653 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [M -> mpush 8 M; mpush 22 M; mpush 13 M; mpush 59 M; mpush 75 M; munlist M] mempty < 1599081868 190713 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("munlist") < 1599081913 744912 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def munlist = [H -> [(mhdr F _) -> [R N -> listrev (R R {} N)] [R P mnil -> P | R P (cons A D) -> R R (cons A P) (getref D) | _ NN PP -> throw ("munlist",NN,PP) ] (getref F) | _ -> throw "munlist h" ] (getref H) ];; "ok" < 1599081913 868335 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599081917 844309 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [M -> mpush 8 M; mpush 22 M; mpush 13 M; mpush 59 M; mpush 75 M; munlist M] mempty < 1599081917 947481 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception(("munlist", {}, (mcons 8 ))) < 1599081926 763460 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :mcons, right < 1599081938 36659 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def munlist = [H -> [(mhdr F _) -> [R N -> listrev (R R {} N)] [R P mnil -> P | R P (mcons A D) -> R R (cons A P) (getref D) | _ NN PP -> throw ("munlist",NN,PP) ] (getref F) | _ -> throw "munlist h" ] (getref H) ];; "ok" < 1599081938 36733 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599081942 406881 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [M -> mpush 8 M; mpush 22 M; mpush 13 M; mpush 59 M; mpush 75 M; munlist M] mempty < 1599081942 406925 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75} < 1599081945 552231 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :YES < 1599082061 798480 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Nice. < 1599082079 813635 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def mextend = [nil H -> nop | (cons A D) H -> mpush A H; mextend D H | _ _-> throw "mextend" ];; mlist = [M L -> mextend L M; M] mempty < 1599082079 813700 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:105:syntactical:= unexpected < 1599082085 811338 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def mextend = [nil H -> nop | (cons A D) H -> mpush A H; mextend D H | _ _-> throw "mextend" ];; def mlist = [M L -> mextend L M; M] mempty < 1599082098 484807 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: munlist mlist {8,22,13,59,75} < 1599082098 484861 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:getref bad arguments") < 1599082112 530717 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mlist {8,22,13,59,75} < 1599082112 530776 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : < 1599082118 767286 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: getref (mlist {8,22,13,59,75}) < 1599082118 891131 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(mhdr ) < 1599082130 921895 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [F T -> (getref F, getref T)] getref (mlist {8,22,13,59,75}) < 1599082131 42123 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:getref bad arguments") < 1599082138 423765 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(mhdr F T) -> (getref F, getref T)] getref (mlist {8,22,13,59,75}) < 1599082138 568560 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:Dummy170 System:getref ) < 1599082160 539539 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(mhdr F T) -> (getref F, getref T)] (getref (mlist {8,22,13,59,75})) < 1599082160 539607 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :((mcons 8 ), mnil) < 1599082160 786706 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I am not sure you gain much by using an accumulator. I have the feeling it just changes the order of calculations. Need to check that once. < 1599082172 64739 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But watching a movie and profiling. < 1599082183 819863 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: I wouldn't gain much *now* when I could just use mutability everywhere < 1599082201 764776 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :I don't need to use pure structures anymore, so it's possible to dispense with accumulators < 1599082214 896877 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :but I wrote that program when it was a pure language < 1599082217 226007 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :please consider that < 1599082227 129139 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :and you even said you don't really want to add mutability < 1599082232 909146 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah, sure. I was thinking about that program. < 1599082268 460032 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I should matter in memory consumption but not much in performance, I have the feeling now. < 1599082271 243911 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :if it's an eager pure functional language, you hvae to use accumulators < 1599082280 973206 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :*ut < 1599082298 203492 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Oh gawd. I am going back to watching this movie. < 1599082316 26760 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [(mhdr F T) -> (getref F, getref T)] (getref (mlist {8,22,13,59,75})) < 1599082316 26821 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :((mcons 8 ), mnil) < 1599082427 98478 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MA, MD, (mhdr F T) -> MA F] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082427 98547 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:5:syntactical:-> expected < 1599082448 321673 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MA MD (mhdr F T) -> MA F] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082448 321735 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : < 1599082454 773706 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :what? < 1599082470 78021 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> MA F] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082470 78080 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :8 < 1599082473 80697 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :better < 1599082476 48796 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> MA MD F] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082476 48839 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("System:getref bad arguments") < 1599082481 754817 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> MD F] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082481 754881 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : < 1599082488 367784 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> getref (MD F)] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082488 367844 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(mcons 22 ) < 1599082492 289076 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> MA (MD F)] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082492 289157 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :22 < 1599082496 81037 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> MD (MD F)] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082496 81098 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric : < 1599082504 378563 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> getref (MD (MD F))] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082504 378618 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(mcons 13 ) < 1599082509 546619 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> getref (MD (MD (MD F)))] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082509 656886 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(mcons 59 ) < 1599082515 402206 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> getref (MD (MD (MD (MD F))))] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082515 402259 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(mcons 75 ) < 1599082522 130363 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [MD MA (mhdr F T) -> getref (MD (MD (MD (MD (MD F)))))] [N -> [(mcons A D)->D] (getref N)] [N -> [(mcons A D)->A] (getref N)] (getref (mlist {8,22,13,59,75})) < 1599082522 130433 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :mnil < 1599082527 146761 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :then what's the problem? < 1599082546 560176 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: munlist (mlist {8,22,13,59,75}) < 1599082546 663184 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{8, 22, 13, 59, 75} < 1599082556 400578 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :why wasn't that working before? < 1599082579 683746 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :ah < 1599082582 176133 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :I was missing the paren < 1599082585 846783 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :darn < 1599083404 48953 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1599083750 503477 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1599083939 776101 :olsner!~salparot@c80-217-180-83.bredband.comhem.se QUIT :Ping timeout: 240 seconds < 1599083993 94697 :myname!~myname@ks300980.kimsufi.com QUIT :*.net *.split < 1599083999 442107 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1599084215 872379 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric < 1599086443 314835 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1599087314 415919 :tromp_!~tromp@2a02:a210:ca3:2800:cd35:b04a:a3ee:43ce JOIN :#esoteric < 1599087506 37618 :tromp!~tromp@2a02:a210:ca3:2800:801d:8c5:ab59:e04e QUIT :Ping timeout: 240 seconds < 1599087861 971801 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i = [C M->[R(mhdr F _)->R R (getref F)] [R (mcons A D)-> [true _->true| _ true->false| _ _->R R (getref D) ] (0==(C%A)) (Cthrow"error mprime_i"] M];; "ok" < 1599087862 116680 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:11:syntactical:= unexpected < 1599087865 970821 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def mprime_i = [C M->[R(mhdr F _)->R R (getref F)] [R (mcons A D)-> [true _->true| _ true->false| _ _->R R (getref D) ] (0==(C%A)) (Cthrow"error mprime_i"] M];; "ok" < 1599087866 86590 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599087893 44309 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 12 (mlist{2,3,5,7,11}) < 1599087893 188480 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(Local:mprime_i0 (Local:mprime_i2 12) ) < 1599087960 95592 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def mprime_i = [C M->[R(mhdr F _)->R R (getref F)|_ _->throw"error mprime_i h"] [R (mcons A D)-> [true _->true| _ true->false| _ _->R R (getref D) ] (0==(C%A)) (Cthrow"error mprime_i"] M];; "ok" < 1599087960 199086 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599087964 130708 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 12 (mlist{2,3,5,7,11}) < 1599087964 254262 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :exception("error mprime_i h") < 1599088027 946281 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :oh < 1599088062 967031 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :no, I don't get it < 1599088095 764488 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def mprime_i = [C M->[R(mhdr F _)->R R (getref F)|_ _->throw("error mprime_i h",] [R (mcons A D)-> [true _->true| _ true->false| _ _->R R (getref D) ] (0==(C%A)) (Cthrow"error mprime_i"](getref M)];; "ok" < 1599088095 887767 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:82:syntactical:primary expression expected < 1599088120 726906 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def mprime_i = [C M->[R(mhdr F _)->R R (getref F)|_ _->throw"error mprime_i h"] [R (mcons A D)-> [true _->true| _ true->false| _ _->R R (getref D) ] (0==(C%A)) (Cthrow"error mprime_i"] (getref M)];; "ok" < 1599088120 726979 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599088126 195059 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 12 (mlist{2,3,5,7,11}) < 1599088126 318696 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1599088129 526738 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 13 (mlist{2,3,5,7,11}) < 1599088129 652957 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1599088131 753774 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 14 (mlist{2,3,5,7,11}) < 1599088131 753835 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1599088134 469403 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 15 (mlist{2,3,5,7,11}) < 1599088134 469443 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1599088138 390399 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 17 (mlist{2,3,5,7,11}) < 1599088138 390439 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1599088142 321357 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 19 (mlist{2,3,5,7,11}) < 1599088142 321395 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:false < 1599088144 346551 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime_i 21 (mlist{2,3,5,7,11}) < 1599088144 463121 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :System:true < 1599088151 87914 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :ok, so < 1599088556 745781 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: mprime = [M B->[R->R R 3] [R F-> [true-> [true->mpush F M| _->nop] (mprime_i F M); R R (1+F) |_->munlist M] (F[R->R R 3] [R F-> [true-> [true->mpush F M| _->nop] (mprime_i F M); R R (1+F) |_->munlist M] (F[R->R R 3] [R F-> [true-> [true->mpush F M| _->"irrelevant"] (mprime_i F M); R R (1+F) |_->munlist M] (F[R->R R 3] [R F-> [true-> [true->mpush F M| _->"?"] (mprime_i F M); R R (1+F) |_->munlist M] (F[R->R R 3] [R F-> [true-> [true->mpush F M| _->"?"] (mprime_i F M); R R (1+F) |_->munlist M] (F[R->R R 3] [R F-> [true-> [false->mpush F M| _->"?"] (mprime_i F M); R R (1+F) |_->munlist M] (F [ true M->M| _ nil->nil| _ (cons A D)->listdrop (-1+N)D| _ _->throw "error listdrop list" ] (N<=0) S ] < 1599088842 21500 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listdrop = [N S -> [ true M->M| _ nil->nil| _ (cons A D)->listdrop (-1+N)D| _ _->throw "error listdrop list" ] (N<=0) S ];; ok < 1599088842 21562 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:130:semantical:undeclared ok < 1599088845 145280 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listdrop = [N S -> [ true M->M| _ nil->nil| _ (cons A D)->listdrop (-1+N)D| _ _->throw "error listdrop list" ] (N<=0) S ];; "ok" < 1599088845 145349 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599088856 97954 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: ping < 1599088856 98011 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:2:semantical:undeclared ping < 1599088866 166945 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: data pong;; def ping = pong;; ping < 1599088866 167018 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :pong < 1599088868 461884 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: ping < 1599088868 585393 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :pong < 1599088874 107824 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: ping "hello" < 1599088874 231564 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :(pong "hello") < 1599088922 261520 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listlen_a = [P nil->P| P (cons A D)->listlen(1+P)D| _->throw"error listlen" ];; def listlen = listlen_a 0;; "ok" < 1599088922 384920 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :internal:1:43:semantical:undeclared listlen < 1599088952 129854 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: def listlen_a = [P nil->P| P (cons A D)->listlen_a(1+P)D| _->throw"error listlen" ];; def listlen = listlen_a 0;; "ok" < 1599088952 129915 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :"ok" < 1599088990 944601 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L-> listdrop (-40+(listlen L)) L] (mprime 1000) < 1599088991 314980 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997} < 1599089002 212126 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :egelbot: [L-> listdrop (-40+(listlen L)) L] (mprime (1<<16)) < 1599089041 555076 :egelbot!~egelbot@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :{65099, 65101, 65111, 65119, 65123, 65129, 65141, 65147, 65167, 65171, 65173, 65179, 65183, 65203, 65213, 65239, 65257, 65267, 65269, 65287, 65293, 65309, 65323, 65327, 65353, 65357, 65371, 65381, 65393, 65407, 65413, 65419, 65423, 65437, 65447, 65449, 65479, 65497, 65519, 65521} < 1599089098 481230 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ p:(_40+i.40)+ (p:^_1) 65536 < 1599089098 976304 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: |domain error < 1599089098 976349 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: | p:(_40+i.40)+( p:^_1)65536 < 1599089115 988885 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ (p:^_1) 65536 < 1599089116 484729 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: |domain error < 1599089116 484776 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: | ( p:^_1)65536 < 1599089128 527681 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ (p:) 6000 < 1599089129 79775 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 59369 < 1599089136 226679 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ p:(_40+i.40)+ (p:^:_1) 65536 < 1599089136 674912 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 65099 65101 65111 65119 65123 65129 65141 65147 65167 65171 65173 65179 65183 65203 65213 65239 65257 65267 65269 65287 65293 65309 65323 65327 65353 65357 65371 65381 65393 65407 65413 65419 65423 65437 65447 65449 65479 65497 65519 65521 < 1599089161 679324 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ s=: 65099, 65101, 65111, 65119, 65123, 65129, 65141, 65147, 65167, 65171, 65173, 65179, 65183, 65203, 65213, 65239, 65257, 65267, 65269, 65287, 65293, 65309, 65323, 65327, 65353, 65357, 65371, 65381, 65393, 65407, 65413, 65419, 65423, 65437, 65447, 65449, 65479, 65497, 65519, 65521 < 1599089162 236618 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: |ok < 1599089166 737889 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :[ s-: p:(_40+i.40)+ (p:^:_1) 65536 < 1599089167 271742 :j-bot!~jbot@hagall.firefly.nu PRIVMSG #esoteric :b_jonas: 1 < 1599089168 399204 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :good < 1599089180 444326 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: mutabile boxes seem to work < 1599089226 349732 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :There are not a lot I could do wrong there. But thanks for testing it. Helps a lot. < 1599089246 842107 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :What do you think? Slow but correct? < 1599089275 213055 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: well it certainly seems to work < 1599089321 850386 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Yah. I'll move it to beta next. I think. Which doesn't mean a lot except that I'll change some texts on websites. < 1599089481 702114 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: what are your future plans? mutable vectors? a list sorting primitive function in the library implemented in C++, plus a few helper wrapper data constructors that have funny comparison rules (at least one that compares backwards)? proper format (sprintf) functions so we can print numbers in ways other than the default format? I'm asking these because these are much easier to implement as < 1599089481 848660 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :built-ins than trying to write them in egel < 1599089547 83588 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :spruit11: oh and also, do you have more integer primitives? like wrapping addition and subtraction, unsigned less and lessequal, wrapping multiplication, unsigned high multiplication, signed high multiplication, index of first bit? < 1599089583 912652 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :those too fall in the category of things that are much easier to write in C++ than in egel. < 1599089595 224715 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :or maybe egel-bot improvements? < 1599089611 350671 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :FFI through templates. < 1599089639 146964 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :like, more protection so you can't easily flood the channel with a [R->R R][R->print"spam";R R] < 1599089640 505894 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Even if I have a sluggish interpreter I want it to be easy to bind to C/C++. < 1599089650 412703 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :well that's interesting too < 1599089675 44669 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :No, won't work on the bot. The bot is mostly there to show you can embed egel in a C++ application. < 1599089693 604651 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1599089702 197336 :b_jonas!~x@catv-176-63-11-178.catv.broadband.hu PRIVMSG #esoteric :I see < 1599089753 884325 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :The idea is to have something as an alternative to building your own DSL. Just use Egel and toss in some combinators. < 1599089777 809094 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Not entirely unique, of course. Lisp/Python is good at that too. < 1599089792 63843 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :But those are not Egel! < 1599089926 276697 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I have a start of that here: https://github.com/egel-lang/egel/tree/master/contrib/ffi