> 1701044255 785592 PRIVMSG #esolangs :14[[07Talk:Binary lambda calculus14]]4 10 02https://esolangs.org/w/index.php?diff=119874&oldid=119869 5* 03Squidmanescape 5* (+1633) 10/* Tentative Explanation */ < 1701045641 302059 :JAA!~JAA@user/jaa QUIT :Ping timeout: 268 seconds < 1701045680 408299 :JAA!~JAA@user/jaa JOIN #esolangs JAA :JustAnotherArchivist < 1701050859 659096 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1701051600 605567 :Guest50!~Guest29@2601:1c2:280:4930:d49b:afc7:a986:d9b8 JOIN #esolangs * :[https://web.libera.chat] Guest29 < 1701051625 652231 :Guest50!~Guest29@2601:1c2:280:4930:d49b:afc7:a986:d9b8 QUIT :Client Quit < 1701051653 604732 :solmanac!~solmanac@2601:1c2:280:4930:d49b:afc7:a986:d9b8 JOIN #esolangs * :[https://web.libera.chat] solmanac < 1701051895 362126 :solmanac!~solmanac@2601:1c2:280:4930:d49b:afc7:a986:d9b8 PRIVMSG #esolangs :Thinking about implementing something like bit bit jump in ttl chips < 1701052103 944729 :solmanac!~solmanac@2601:1c2:280:4930:d49b:afc7:a986:d9b8 QUIT :Quit: Client closed < 1701054605 605316 :solmanac!~solmanac@2601:1c2:280:4930:d49b:afc7:a986:d9b8 JOIN #esolangs * :[https://web.libera.chat] solmanac < 1701055086 242345 :solmanac!~solmanac@2601:1c2:280:4930:d49b:afc7:a986:d9b8 QUIT :Quit: Ping timeout (120 seconds) < 1701058500 81391 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1701058940 320990 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :https://www.reddit.com/r/WordAvalanches/comments/184kfrl/hey_what_type_of_logic_gate_can_be_used_alone_to/ < 1701058991 803726 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I had considered something similar than "something like bit bit jump in ttl chips" in the past, too < 1701068819 59020 :Swyrl!sid553797@user/wryl QUIT :Read error: Connection reset by peer < 1701068820 802654 :shikhin!~shikhin@offtopia/offtopian QUIT :Quit: Quittin'. < 1701068830 629699 :shikhin!~shikhin@ahti.space JOIN #esolangs * :shikhin < 1701068831 676877 :Swyrl!sid553797@user/wryl JOIN #esolangs Wryl :Wryl < 1701068842 992497 :FestiveDragon!A_D@libera/staff/dragon QUIT :Quit: ZNC - https://znc.in < 1701068859 213558 :A_Dragon!A_D@libera/staff/dragon JOIN #esolangs ad :Roy Mustang, The Flame Alchemist < 1701068871 105067 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Ping timeout: 260 seconds < 1701069035 724147 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal < 1701071685 765102 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701074771 749354 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1701076292 787444 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 JOIN #esolangs * :Koen < 1701076494 606550 :cpressey!~cpressey@host-2-102-8-137.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1701076697 749282 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1701077046 364598 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :b_jonas: for clarity: the code that the macro expands to is here: https://codeberg.org/catseye/define-opaque/src/branch/develop-0.2/eg/stack-expanded.scm < 1701077046 864239 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :It doesn't rely on `eq?`, and it only uses `equal?` to compare symbols. < 1701077047 365205 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :I would find it very difficult to believe that in the untyped lambda calculus, you can't compare two symbols for equality. < 1701077134 793009 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :cpressey: you can't ensure that you only get a symbol rather than an arbitrary function < 1701077212 226315 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :that said, you may have a point < 1701077222 793431 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :hmm < 1701077256 599988 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :so what you're doing there is make a closure that responds to only certain methods rather than expose its whole inside < 1701077262 759840 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :that part might actually work in lambda calculus < 1701077274 854056 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I was thinking of a different goal with data hiding that is harder < 1701078104 497034 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :OK, yes, "compare for equality modulo bottom" should be acceptable here; if the user passes in a symbol that isn't defined in the structure, that's an error; also an error if they pass in a non-symbol; and if they pass in some kind of nonterminating function there, that's just another flavour of error < 1701079829 882181 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1701079857 933948 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1701080008 495417 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1701080265 606439 :Guest80!~Guest47@84.23.137.213 JOIN #esolangs * :[https://web.libera.chat] Guest47 < 1701080341 575054 :Guest80!~Guest47@84.23.137.213 QUIT :Client Quit < 1701080491 690247 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :cpressey: ok, but you have to be careful. suppose you're representing one symbol as (\x\y.x) and another symbol as (\x\y.y), the user could pass in something that does terminate but does something with both x and y that confuses your method dispatcher if you write it wrong < 1701080500 669330 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I think you might actually be able to write it correctly in this case, but still < 1701080641 104677 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :or suppose you expect the user to pass in push_symbol = (\x\y.x) or pop_symbol = (\x\y.y) and then you do (somesymbol push_function pop_function data) but they actually pass in (\x\y.evil_function)\ < 1701080657 139185 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :so you can mess up if you aren't careful < 1701080952 81029 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I think that means you can only do this in lazy lambda calculus, not unlambda style strict lambda calculus < 1701080997 525720 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :because you have to do like (somesymbol (push_function data) (pop_function data)) and there (pop_function data) may be non-terminating < 1701081026 60619 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :obviously you can avoid that in the simple case of a stack push/pop by making pop terminate even for an empty list, but I mean in the general case < 1701081716 683610 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701082148 753981 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :Thanks for thinking about it, but I don't we're thinking about the same concerns here. < 1701082149 254206 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :You can use this under strict evaluation just as well as you can use anything else under strict evaluation -- it's not expected to magically be resistant to someone passing in value whose evaluation doesn't terminate. < 1701082149 754960 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :The only "evil" here is if the user can supply some input that can change the internal state to some state that the operations don't expect it to be in. < 1701082150 253855 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :So if there is a hole I'd expect it to be in the ability to pass in parameters.  But, it seems like you could replace any operation with a parameter, with a number of parameterless operations, e.g. ZERO, INC, DEC, PUSH to replace a single operation that pushes an int. < 1701082267 365367 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701085637 640622 :FreeFull!~freefull@46.205.214.63.nat.ftth.dynamic.t-mobile.pl QUIT :Ping timeout: 256 seconds < 1701085871 451078 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :Yeah I don't know.  I need to play with a LC interpreter to get a better feel for it.  But it might be that the function representing the opaque data structure has no choice but to trust the functions that are passed into it.  i.e. it asks them to evaluate functions that it gives them.  That won't work. < 1701086005 523597 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :If untyped LC can't implement this, that's not the end of the world -- I mean, TMs can't implement it either.  And neither can term rewriting.  But LC feels like it should stand a better chance :) < 1701086550 769962 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :yeah, you can just choose a different language, one that is more prepared for this sort of thing < 1701086606 237617 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :running untrusted code safely just isn't the goal of lambda calculus < 1701086649 59048 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :typed lC let's you rule out untrusted code < 1701086669 286680 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :LC i mean < 1701086691 128541 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :tromp: yes, that's how Haskell's IO is supposed to work < 1701086733 404865 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :My goal is to find the simplest language in which you can build opaque data structures < 1701086735 814491 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :your safe code is running but can't have side effects, it just returns an IO value that tells the IO manager what side ffect you want < 1701086787 635285 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :okay. I don't know safest < 1701086789 681238 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :In untyped LC, if the caller passes you a "boolean" x, can you not just "clean" the boolean by saying: IF X T F < 1701086792 26901 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :um < 1701086797 602797 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I don't know simplest < 1701086824 887836 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :that does nothing when x = K (K evil) < 1701086827 960280 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :IF x T F ... should always evaluate to either T, or F, or won't terminate < 1701086907 413261 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :cpressey: I don't think that helps if you're still in lambda calculus < 1701086942 466071 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :you have a value that you think might be T and F, the only way you can use it (if you want to distinguish T from F) is to call it < 1701086945 848659 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :IF (K(K evil)) T F = evil < 1701087034 996577 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :in the usual representation, true is just (\x\y.y) and false is (\x\y.x) and if is just identity < 1701087051 74775 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :they don't actually laundher the booleans, they just pass them unchanged < 1701087085 353147 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :there are other representations of booleans, but they aren't better < 1701087097 304469 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :OK.  So to turn the question around, is it possible to devise an encoding in which IF x T F can only ever evaluate to T or F or fail to terminate? < 1701087121 61855 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I don't think so < 1701087129 174786 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :not in untyped lambda calculus that is < 1701087129 571238 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :no < 1701087147 245938 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :you may be able to in some larger languages < 1701087161 245999 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :like scheme < 1701087203 103137 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :Well, yes, obviously it's possible to define a language that guarantees that.  The question for me right now is, what is the essense of that guarantee < 1701087214 941707 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :and it looks like I won't find that essence in untyped lambda calculus :) < 1701087251 590357 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :a necesary requirement is that you can do something with values other than call them as a function < 1701087259 445996 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :in untyped lambda calculus you can't < 1701087265 893358 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :nor in unlambda or underload < 1701087358 686502 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :this is not a sufficient requirement of course < 1701087378 398956 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :like in undereload you can actually do one more thing with values besides call them as a function: you can print them < 1701087386 963717 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :but that just isn't useful < 1701087418 94045 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :dc is close to that kind of silliness with strings too < 1701087481 279453 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :you can eval a string, or you can take its length, or you can print it, but you can't break it to characters and get the ascii value of each character < 1701087816 857168 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :"My goal is to find the simplest language" <-- of course "simplest" is somewhat subjective.  Just trying to help frame the problem.  I'm actually thinking of the Actor model right now.  Actors are opaque wrt each other. < 1701088192 276128 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :(Interestingly, historically Scheme developed as an attempt to better understand the Actor model; but from what I remember reading about it, I don't think "opacity of data structures" played a major part in it) < 1701088332 325949 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :But, yes.  The thing that defeats it in untyped LC, is that "all data is code".  If you have "some data isn't code", that's one way to build around it.  (Whereas in a Turing machine, "no data is code"... at least, not until you build a UTM.) > 1701089984 583118 PRIVMSG #esolangs :14[[07Extension14]]4 10 02https://esolangs.org/w/index.php?diff=119875&oldid=109561 5* 03ChuckEsoteric08 5* (-3) 10 < 1701091241 605513 :solmanac!~solmanac@2601:1c2:280:4930:e802:dd2e:fbc9:2167 JOIN #esolangs * :[https://web.libera.chat] solmanac < 1701091266 200712 :solmanac!~solmanac@2601:1c2:280:4930:e802:dd2e:fbc9:2167 QUIT :Client Quit < 1701092002 605072 :cpressey!~cpressey@host-2-102-8-137.as13285.net QUIT :Ping timeout: 250 seconds < 1701092326 977157 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701093130 746150 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701096612 917931 :A_Dragon!A_D@libera/staff/dragon NICK :Festive_Derg < 1701099207 710023 :shikhin!~shikhin@ahti.space CHGHOST ~shikhin :offtopia/offtopian < 1701099268 890331 :shikhin!~shikhin@offtopia/offtopian QUIT :Quit: Quittin'. < 1701099356 616200 :shikhin!~shikhin@ahti.space JOIN #esolangs * :shikhin < 1701099426 892592 :shikhin!~shikhin@ahti.space CHGHOST ~shikhin :offtopia/offtopian > 1701100348 252263 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119876&oldid=119866 5* 03Quito0567alt 5* (+21) 10 > 1701100376 206688 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119877&oldid=119876 5* 03Quito0567alt 5* (+36) 10 > 1701100384 497386 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119878&oldid=119877 5* 03Quito0567alt 5* (-2) 10 > 1701100396 872372 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119879&oldid=119878 5* 03Quito0567alt 5* (+0) 10 < 1701101839 924047 :kwii!~kwii@193.19.201.71 JOIN #esolangs * :kwii < 1701103892 429149 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :b_jonas: is it okay if I take our discussion from the other day about pattern-matching on arbitrary expressions, and try to use it to write an answer to the stackexchange question? < 1701103987 114738 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :feel free to write an answer < 1701104035 462014 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I don't think I have a good enough complete answer and I don't want to figure it out so I won't write one < 1701104066 334014 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I don't know enough about the computability part to know if you can make some sense of this < 1701104315 508344 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :well, it shouldn't be too hard to write a language interpreter that runs a solver on expressions and tries to turn "case y of expr(x) = ..." into "if y in image(expr) then let x = expr^-1(y) ..." < 1701104380 292057 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :you just run a paradox if you assume that the solver can deal with all expressions, including expressions that rely on the solver > 1701104862 769495 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 N10 02https://esolangs.org/w/index.php?oldid=119880 5* 03NameGoesThere 5* (+439) 10Created page with "JamogusLamogusAmogus (refer to it as "Jlamogus" in formal situations) is a very "sussy" esoteric interpreted programming language made in python. JamogusLamogusAmogus uses the incredibly unique file extension of "". List of JamogusLamogusAmogus' funct < 1701105553 91533 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :Koen: yes, but (1) you have to be careful to evaluate the expression in parallel (triangle style) for all possible values of the variable < 1701105571 666541 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :not sure what that means < 1701105590 566487 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :and (2) you need to be able to generate all possible values of the variable in sequence, even when there are infintely many of them and it may be a function type < 1701105627 281439 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :say you're trying a match like like let [f x] = y < 1701105637 545503 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :f may be a complicated function, right? < 1701105660 801247 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :so the way you do that is try various values of x by calling the function and see when the output matches y < 1701105666 933352 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I mean let [f x] = [y] < 1701105682 782368 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :but the problem is, sometimes f doesn't terminate < 1701105684 718591 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :oh, I would hope the solver is smarter than just try things randomly > 1701105727 897413 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119881&oldid=119880 5* 03NameGoesThere 5* (+729) 10added more stuff idk < 1701105744 391632 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Dovetailing_(computer_science) < 1701105774 122725 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :is that what it's called? okay > 1701105954 709781 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119882&oldid=119881 5* 03NameGoesThere 5* (+3890) 10added hello world and how to run < 1701106124 863303 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl PRIVMSG #esolangs :related: https://hackage.haskell.org/package/control-monad-omega-0.3.2/docs/Control-Monad-Omega.html > 1701106126 323676 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119883&oldid=119882 5* 03NameGoesThere 5* (+38) 10 > 1701106215 539982 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119884&oldid=119883 5* 03NameGoesThere 5* (-18) 10/* Jlamogus.py: */ > 1701106269 437435 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119885&oldid=119884 5* 03NameGoesThere 5* (+1) 10/* Jlamogus.py: */ > 1701106289 862858 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119886&oldid=119885 5* 03NameGoesThere 5* (+1) 10/* Jlamogus.py: */ > 1701106321 980610 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119887&oldid=119886 5* 03NameGoesThere 5* (+0) 10/* Jlamogus.py: */ > 1701106430 373441 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 M10 02https://esolangs.org/w/index.php?diff=119888&oldid=119887 5* 03NameGoesThere 5* (+4) 10/* Hello World in JamogusLamogusAmogus: */ > 1701106449 494960 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 M10 02https://esolangs.org/w/index.php?diff=119889&oldid=119888 5* 03NameGoesThere 5* (+7) 10/* Running "." files: */ < 1701107070 807223 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701107435 622692 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1701108444 435385 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :okay, I posted an answer https://langdev.stackexchange.com/questions/3194/are-there-haskell-like-languages-where-equations-allow-for-arbitrary-left-hand-s/3249#3249 < 1701108524 1215 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 PRIVMSG #esolangs :feel free to criticise. Also I acknowledged your help at the end and made it "community wiki" so feel free to edit directly if you want to (even to remove your name if you want anonymity) < 1701108717 743041 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701109589 606426 :Guest38!~Guest40@154.48.179.130 JOIN #esolangs * :[https://web.libera.chat] Guest40 < 1701109614 776620 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :hi < 1701109625 211149 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :hi < 1701109663 406448 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :Any server/channel to investigate human design? < 1701109693 374595 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :what do you mean by human design? < 1701109709 622698 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :sorry for the translations, I'm using google < 1701109738 556465 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :the science of energy < 1701109755 349878 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :is my summary of human design < 1701109760 825114 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm still not sure what you mean, but suspect that this is the wrong channel to ask in < 1701109828 702676 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :I am looking for a server/channel focused on esotericism < 1701109888 533264 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :75 users for the site, that seems like a lot to me < 1701109926 487493 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, this channel is about esoteric programming languages, but this question comes up occasionally < 1701109928 415109 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`? esoteric < 1701109931 473054 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. < 1701109932 417598 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :wow < 1701109937 849875 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :sorry < 1701109952 531449 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there, there's a couple of channels you might want to try instead < 1701109972 235123 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I'm not sure how active they are nowadays though < 1701109990 457895 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :Thank you very much, programmers! < 1701110019 109494 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :that's what i'm afraid < 1701110027 583827 :Guest38!~Guest40@154.48.179.130 PRIVMSG #esolangs :thanks! < 1701110034 7211 :Guest38!~Guest40@154.48.179.130 PART :#esolangs < 1701110160 919185 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I have no idea if those channels that that thing redirects to are actually still alive < 1701110189 590026 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :``` hg log --removed -T "{rev}|{date|shortdate}|{desc}\n" /hackenv/wisdom/esoteric < 1701110192 187123 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :9071|2016-09-25| revert 942e964c81c1 \ 9070|2016-09-25| ` chmod 777 / -R \ 5897|2015-08-13| revert accbc9c5c7ec \ 5895|2015-08-12| echo wisdom/* | shuf | head -n 10 | xargs rm \ 5442|2015-06-07| ` sed -i \'s/on .*/on EFnet or DALnet./\' wisdom/esoteric \ 3343|2013-07-31| revert \ 3342|2013-07-31| for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done \ 1716|2013-01-24| hg diff -r1703:170 < 1701110194 567490 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :nor do I – I think last time we checked one of them was kind-of limping along < 1701110208 842900 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :from 2015 < 1701110232 198775 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :that's not that old, given that #esolangs is 20 years old < 1701110356 97856 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, #esoteric is that old, #esolangs is much newer because Libera hasn't been around that much, but it's the same channel in spirit < 1701110377 5564 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :– apparently to the extent that people can mistake the topic even after we changed the channel name to be more precise < 1701110381 720059 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :``` hg log --removed -T "{rev}|{date|shortdate}|{desc}\n" -r 378 /hackenv/wisdom/welcome < 1701110383 601492 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :378|2012-05-06| learn Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1701110399 327832 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :so the mention of Dalnet there was added in 2012 < 1701110662 790824 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :netsplit.de doesn't find an #esoteric in either DALnet or EFnet; though there is #luciferianism in EFnet that has the word in its topic, but that sounds more specific. < 1701110686 230917 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :> 38 users - 42 minutes ago - current topic: 😇🔥☀️w/ #satanism |Damn 'God'. Hail Lucifer!| www.mathematicon.com fox.com/lucifer gnosis.org #atheism #esoteric #gnosis #pagan #spiritual < 1701110687 433063 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs : :1:45: error: lexical error at character '\159' < 1701112352 505007 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1701113154 390584 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=119890&oldid=119843 5* 03NameGoesThere 5* (+27) 10Added JamogusLamogusAmogus > 1701113260 310361 PRIVMSG #esolangs :14[[07User:NameGoesThere14]]4 N10 02https://esolangs.org/w/index.php?oldid=119891 5* 03NameGoesThere 5* (+70) 10Created page with "Hello this is my page ok bye. I made this - *[[JamogusLamogusAmogus]]" > 1701113275 109487 PRIVMSG #esolangs :14[[07User:NameGoesThere14]]4 M10 02https://esolangs.org/w/index.php?diff=119892&oldid=119891 5* 03NameGoesThere 5* (-1) 10 < 1701113704 173008 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701113857 970983 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701114508 806572 :kwii!~kwii@193.19.201.71 QUIT :Ping timeout: 255 seconds > 1701115354 186134 PRIVMSG #esolangs :14[[07.mOdMoDwOrM14]]4 10 02https://esolangs.org/w/index.php?diff=119893&oldid=89807 5* 03Squidmanescape 5* (+1771) 10/* Turing completeness */ > 1701115674 355159 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 M10 02https://esolangs.org/w/index.php?diff=119894&oldid=119889 5* 03NameGoesThere 5* (-32) 10/* Hello World x10 in JamogusLamogusAmogus: */ > 1701116572 142443 PRIVMSG #esolangs :14[[07User talk:NameGoesThere14]]4 N10 02https://esolangs.org/w/index.php?oldid=119895 5* 03NameGoesThere 5* (+39) 10Created page with "This is another one of my pages ok bye." < 1701117717 288083 :kwii!~kwii@193.19.201.71 JOIN #esolangs * :kwii > 1701117847 61141 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119896&oldid=119894 5* 03NameGoesThere 5* (+25) 10 > 1701117928 845709 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119897&oldid=119896 5* 03NameGoesThere 5* (+143) 10/* Hello World (x10) */ > 1701117948 351021 PRIVMSG #esolangs :14[[07JamogusLamogusAmogus14]]4 10 02https://esolangs.org/w/index.php?diff=119898&oldid=119897 5* 03NameGoesThere 5* (-143) 10/* Hello World (x10) */ < 1701118573 373419 :Koen!~Koen@2a01:e34:ec7c:30:60e9:29c6:befe:d7f1 QUIT :Quit: Leaving... < 1701121166 372302 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit! < 1701121166 448742 :Bowserinator_!Bowserinat@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened < 1701121267 429053 :kwii!~kwii@193.19.201.71 QUIT :Remote host closed the connection > 1701123606 293741 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119899&oldid=119879 5* 03Quito0567alt 5* (-585) 10 > 1701123627 598448 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119900&oldid=119899 5* 03Quito0567alt 5* (-15) 10 > 1701123707 818597 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119901&oldid=119900 5* 03Quito0567alt 5* (+4) 10 > 1701123781 627399 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119902&oldid=119901 5* 03Quito0567alt 5* (-3) 10 > 1701123800 193923 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119903&oldid=119902 5* 03Quito0567alt 5* (+4) 10 > 1701123826 2276 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119904&oldid=119903 5* 03Quito0567alt 5* (+0) 10/* Nov. 25 */ > 1701123882 639037 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119905&oldid=119904 5* 03Quito0567alt 5* (+1) 10 > 1701123911 142479 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=119906&oldid=119411 5* 03Quito0567alt 5* (+1) 10/* GotoScript */ > 1701124069 423499 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119907&oldid=119905 5* 03Quito0567alt 5* (+2) 10 > 1701124130 314100 PRIVMSG #esolangs :14[[07GotoScript14]]4 10 02https://esolangs.org/w/index.php?diff=119908&oldid=119907 5* 03Quito0567alt 5* (+16) 10 < 1701124356 799498 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving < 1701124626 262489 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1701125327 213681 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :unwilling to perform (no global superior knowledge < 1701125393 80817 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1701125940 197022 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1701128000 535247 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…