< 1751933749 41641 :Artea!~Lufia@artea.pt JOIN #esolangs Artea :Artea ElFo
> 1751937544 212811 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Chess piece strength14]]4 10 02https://esolangs.org/w/index.php?diff=161029&oldid=161021 5* 03PrySigneToFry 5* (+35) 10
> 1751937614 1495 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=161030&oldid=160928 5* 03PrySigneToFry 5* (+124) 10
< 1751937727 815518 :moony!moony@hellomouse/dev/moony QUIT :Quit: leaving
< 1751937754 607295 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1751937754 607417 :Bowserinator!~Bowserina@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened
< 1751939093 990710 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
< 1751939099 398972 :moony!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)
< 1751939343 4483 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :it's all heuristics? P(always has been)>0
> 1751940769 335992 PRIVMSG #esolangs :14[[07Mint remake14]]4 10 02https://esolangs.org/w/index.php?diff=161031&oldid=161010 5* 03Hajunsheng 5* (+82) 10
> 1751943556 298800 PRIVMSG #esolangs :14[[07Smotslang14]]4 M10 02https://esolangs.org/w/index.php?diff=161032&oldid=160989 5* 03Clover-not-used 5* (+106) 10sync
> 1751948810 217278 PRIVMSG #esolangs :14[[07User:Tommyaweosme14]]4 10 02https://esolangs.org/w/index.php?diff=161033&oldid=161013 5* 03Tommyaweosme 5* (-2886) 10~ placeholder for phase 2 message! its 11:26 am! ~
> 1751949322 565833 PRIVMSG #esolangs :14[[07Smotslang14]]4 M10 02https://esolangs.org/w/index.php?diff=161034&oldid=161032 5* 03Aadenboy 5* (+39) 10link
> 1751950825 231753 PRIVMSG #esolangs :14[[07Semi-serious language list14]]4 10 02https://esolangs.org/w/index.php?diff=161035&oldid=161020 5* 03None1 5* (+13) 10/* R */ Record definitely fits the constraints
> 1751952931 721945 PRIVMSG #esolangs :14[[07Kolakoski sequence14]]4 10 02https://esolangs.org/w/index.php?diff=161036&oldid=155833 5* 03PkmnQ 5* (+387) 10Add Sceql
> 1751953790 870399 PRIVMSG #esolangs :14[[07User:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=161037&oldid=159547 5* 03I am islptng 5* (+247) 10
> 1751953853 449955 PRIVMSG #esolangs :14[[07User:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=161038&oldid=161037 5* 03I am islptng 5* (+20) 10
> 1751954040 566783 PRIVMSG #esolangs :14[[07Semi-serious language list14]]4 10 02https://esolangs.org/w/index.php?diff=161039&oldid=161035 5* 03PkmnQ 5* (+24) 10Qdeql and Sceql (they seem distinct enough to be separately listed)
> 1751954046 824127 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=161040&oldid=160132 5* 03PkmnQ 5* (+28) 10Type 39 (and probably more) is self-modifying
< 1751954862 657517 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 JOIN #esolangs * :Textual User
< 1751955513 85450 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1751956639 412582 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1751957083 954539 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 JOIN #esolangs * :Textual User
< 1751963590 31564 :chomwitt_alt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
< 1751964081 412261 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1751968110 153573 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 JOIN #esolangs * :Textual User
> 1751968241 436697 PRIVMSG #esolangs :14[[07User:Pifrited14]]4 N10 02https://esolangs.org/w/index.php?oldid=161041 5* 03Pifrited 5* (+15) 10Created page with " :P
"
< 1751969477 809068 :APic!apic@apic.name PRIVMSG #esolangs :Hi
> 1751970302 799432 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=161042&oldid=160998 5* 03Dmitry samorodyuk 5* (+300) 10
> 1751970646 149224 PRIVMSG #esolangs :14[[07Boringscript14]]4 N10 02https://esolangs.org/w/index.php?oldid=161043 5* 03Dmitry samorodyuk 5* (+86) 10Created page with "{{wip}} Boringscript - is a maximally boring esolang, developed by Dmitry Samorodyuk."
< 1751970655 875499 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1751970873 624595 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: that helped, I think – I was mixing levels and interpreted ? as not-a-monad because I thought it was not-a-functor, but it is a functor on *pure* functions and forgot at the time hat linear logic rules had to be applied to the capabilities of impure functions
< 1751970910 415812 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :then later on I remembered that impure functions do have to follow linear logic rules with how they used their capabilities, but by then I'd forgotten that this would make it a functor
< 1751970940 474030 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1751970942 34608 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds
< 1751970989 608389 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(or another way to put it is that in order to produce a ?T -o ?U, you need a !(T -o U), not just a T -o U)
< 1751971020 758155 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1751972025 922581 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the thing I'm dealing with definitely does "pure" (although that's a misleading name in this case) and flatten, it's just the map operation that's suspect
< 1751972033 23805 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but ? is in the same situation
< 1751972778 187524 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1751973076 799589 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 JOIN #esolangs * :Textual User
> 1751974240 844941 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=161044&oldid=159778 5* 03PrySigneToFry 5* (+70) 10
< 1751975606 309061 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1751977180 435082 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
< 1751978209 799016 :moony!moony@hellomouse/dev/moony QUIT :Quit: leaving
< 1751978227 211691 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened
< 1751978227 223595 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1751978252 119232 :moony!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)
< 1751978260 88144 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
< 1751978473 883269 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :it's all heuristics? P(always has been)>0
< 1751979120 18548 :chomwitt_alt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 265 seconds
> 1751979427 146095 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Aquafishy7 5* 10New user account
> 1751979889 598813 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=161045&oldid=161042 5* 03Aquafishy7 5* (+90) 10
> 1751979983 248629 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=161046&oldid=161045 5* 03Aquafishy7 5* (+58) 10
> 1751980012 162625 PRIVMSG #esolangs :14[[07HQ9~14]]4 10 02https://esolangs.org/w/index.php?diff=161047&oldid=149166 5* 03Aquafishy7 5* (-895) 10
> 1751980019 387815 PRIVMSG #esolangs :14[[07HQ9~14]]4 10 02https://esolangs.org/w/index.php?diff=161048&oldid=161047 5* 03Aquafishy7 5* (+0) 10
< 1751980386 901677 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 JOIN #esolangs * :Textual User
< 1751980658 547968 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in any case, one thing that I'm now trying to work out is whether linear logic's ? is a "modality" or not, in the sense of modal logic – I'm having trouble working this out primarily due to not being able to find a clear definition of what a modality is or isn't (and it may be that no agreed-on definition exists?)
> 1751981218 857966 PRIVMSG #esolangs :14[[07Sceql14]]4 10 02https://esolangs.org/w/index.php?diff=161049&oldid=72629 5* 03PkmnQ 5* (+389) 10/* Example programs */ Add Kolakoski sequence to examples
> 1751984450 411977 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Pifrited 5* 10moved [[02User:Pifrited/Simple2DMachine10]] to [[Simple2DMachine]]
> 1751984450 452506 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Pifrited 5* 10moved [[02User talk:Pifrited/Simple2DMachine10]] to [[Talk:Simple2DMachine]]
< 1751985783 888517 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: A modality is merely a functor, FWIW.
< 1751985810 899987 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK – I'm still not convinced ? is a functor in the traditional sense
< 1751985825 210579 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but I guess it depends on how you convert the signature of fmap from classical logic to linear logic
< 1751987290 312842 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Doesn't have to be a Functor exactly, but it (Cheng-)morally ought to be. nLab says, roughly, a modal operator ♯ merely sends propositions X to propositions ♯X such that some reasonable properties are satisfied.
< 1751987324 851244 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If you assume that X can be any prop, including e.g. an internal hom Y -o Z, then it follows that ♯ is a functor.
< 1751987414 873471 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Actually phrasing a functor within linear logic is tricky. In general, anything intuitionistic with shape X -> Y needs to become either X -o !Y or !(X -o Y) in the linear world in order to have equivalent functionality.
> 1751987658 777622 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=161054&oldid=160857 5* 03Cycwin 5* (+256) 10/* Nooooooooooooooooooooo */ new section
> 1751987749 410729 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=161055&oldid=161054 5* 03Cycwin 5* (+0) 10/* Nooooooooooooooooooooo */ (
> 1751988108 204681 PRIVMSG #esolangs :14[[07GebAuI14]]4 10 02https://esolangs.org/w/index.php?diff=161056&oldid=160313 5* 03Tommyaweosme 5* (+10) 10
> 1751988136 576456 PRIVMSG #esolangs :14[[07GebAuI14]]4 10 02https://esolangs.org/w/index.php?diff=161057&oldid=161056 5* 03Tommyaweosme 5* (+0) 10
> 1751988444 141051 PRIVMSG #esolangs :14[[07User:Tommyaweosme14]]4 10 02https://esolangs.org/w/index.php?diff=161058&oldid=161033 5* 03Tommyaweosme 5* (+639) 10
< 1751989154 295839 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: right – if you convert (X → Y) to !(X -o Y) then ? is a functor
< 1751989244 700925 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: FWIW the underlying semantics have a *very* natural mapping explaining this. Every adjunction gives a monad and comonad. Sets and vector spaces (over some fixed field K) are adjoint. ? and ! are precisely the monad and comonad from that adjunction.
< 1751989270 265489 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(One must accept that classical logics are interpreted in sets and linear logics are interpreted in vector spaces, I suppose.)
< 1751989389 617117 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this makes sense and is consistent with what I've been discovering
< 1751989521 849041 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Decoding https://ncatlab.org/nlab/show/%21-modality a bit, ? : Set -> Set sends a set X to the function set Hom(1, Lin(X)) where Lin(X) is linear combinations of X.
< 1751989598 48735 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Specifically, each element x in X is sent to a naming function \() -> {x: 1} that selects the linear combination which is 100% x (and 0% any other element in X)
< 1751989761 872751 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I guess that the monadic join is Bayes' rule for finite X. I know enough probability theory to imagine that it's not so simple for infinite X.
< 1751990097 530697 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Okay, actually, this now makes sense for refs, at least in the finite case. Suppose we have a ref to some enum type. As a matter of probability, I suppose that we can describe *which* enum it points to as a linear span.
< 1751990146 956424 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :go on
< 1751990196 450764 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :As expected from having our semantics actually in sets, we only have refs that 100% point to a single case; there's no actual superpositions in memory. Nonetheless we still have the idea that we can take a ref to a ref and that they can be flattened down with a monadic join.
< 1751990227 615695 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yes – the "I am borrowing this and I can copy the borrow" aspect of references clearly flattens perfectly
< 1751990295 89260 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Borrowing a bit from QM, the PBR theorem says that we can't avoid excess baggage when doing this modeling; even though we only use the non-superpositions, we have to pay for the superpositions too.
< 1751990347 902795 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So when we store refs as pointers, and do pointer-chasing, we're actually implementing a very fast algorithm for finding representatives of those refs. It's a classic one, too: union/find!
< 1751990426 648914 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Maybe that was a big leap, sorry. PBR says that if we want to faithfully implement the monadic join then we'd better implement it for all superpositions *or* we have to carry information about how each state was prepared.
< 1751990450 944856 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, let's take that second branch. Modern pointers have provenance.
< 1751990466 475971 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yes – I've spent a while thinking about how to formalise provenance
< 1751990681 76126 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@hoogle Either x y -> (x -> z) -> (y -> z) -> z
< 1751990681 900891 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Overhang onRight :: Either a b -> (a -> c) -> (b -> c) -> c
< 1751990737 469489 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@hoogle Either x y -> (x -> a) -> (y -> b) -> Either a b
< 1751990738 154886 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Overhang onBimapSecond :: Bifunctor t => t a c -> (a -> b) -> (c -> d) -> t b d
< 1751990756 728629 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs ::t bimap
< 1751990757 567039 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d
< 1751990769 138079 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh right
< 1751990799 12567 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :e'e iu Happy to help.
< 1751990801 628815 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this is so much easier in classical logic :-D
< 1751990846 457235 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :@hoogle Either a a -> a
< 1751990847 60359 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Data.Either.Utils fromEither :: Either a a -> a
< 1751990847 102813 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Data.Either.Extra fromEither :: Either a a -> a
< 1751990847 114846 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :Extra fromEither :: Either a a -> a
< 1751990859 180876 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, linear logic is very tricky. I had started working on foundations in linear logic, but gave up because there's no clear set of axioms for it and one ends up having to put ! onto every theorem anyway.
< 1751991031 536231 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the thing I was thinking about is that "a -> X a", "b -> X b", and "X a b -> (a -> c) -> (b -> c) -> c" collectively imply X = Either, and this lets you define your own Eithers even if the language doesn't have enums
< 1751991070 797725 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :err, "a -> X a b", "b -> X a b", and "X a b -> (a -> c) -> (b -> c) -> c"
< 1751991132 776579 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but, if you translate that definition into linear logic naively, you get ⅋ rather than the expected ⊕
< 1751991895 856356 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(well, not quite – you end up with (c⅋c) at the end rather than c)
< 1751992067 787390 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Right, the categorical product and sum are given by the additive connectors. (BTW, did you know that ⅋ doesn't have a standard name? I call it "paramends", an anagram of "ampersand".)
< 1751992134 664930 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :There is a perspective that makes this natural, although it's jargon-dense: https://ncatlab.org/nlab/show/linear%2Blogic#polycategories
< 1751992174 806991 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Wikipedia calls it "par"
< 1751992221 135171 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :which after thinking about it for a while, I decided might stand for "parallel" (the Rust approximation seems to be "you can consume an 'A⅋B' only via the use of code which could consume an A and a B in parallel")
< 1751992328 580337 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm not sure if Rust can internalize it properly. The idea is that A ⅋ B ≈ ~A -o B; linear logic is aggressively De Morgan. Symmetrically, we also have ~B -o A. It's like two transformations in a single bundled object.
< 1751992428 61997 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :very few programming languages can internalize it properly, I think
< 1751992454 550283 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but I'm starting to understand it intuitively even though it doesn't translate very easily to useful programming concepts
< 1751992490 113708 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Even in vending-machine semantics it's tricky. X ⅋ Y means that you may engage the vending machine in a Socratic dialogue about the meaning of life, including the concept that X doesn't exist and never made sense as a concept. The machine accepts your proof and emits a can of Y.
< 1751992506 820768 :APic!apic@apic.name PRIVMSG #esolangs :This Chan pwns
< 1751992507 662909 :APic!apic@apic.name PRIVMSG #esolangs :srsly
< 1751992508 40169 :APic!apic@apic.name PRIVMSG #esolangs :😌
< 1751992511 383287 :APic!apic@apic.name PRIVMSG #esolangs :♥♥♥
< 1751992517 424176 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(the other three connectives translate easily: ⊗ is tuples/structs, ⊕ is disjoint union (which Rust calls "enum"), and & is a type that can be coerced into either of two types, `impl Into+into` in Rust)
< 1751992526 802232 :APic!apic@apic.name PRIVMSG #esolangs :Sadly i do not have enough Intelligence to understand most of it
< 1751992533 324249 :APic!apic@apic.name PRIVMSG #esolangs :But i still enjoy reading it
< 1751992533 674270 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Also, technically, you may prove that Y doesn't exist, in which case it will vend a can of X. How? I don't know, and this is part of why QM is so mysterious.
< 1751992537 484887 :APic!apic@apic.name PRIVMSG #esolangs :😸
< 1751992560 588379 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :APic: <3 Thanks. I know I'm a grump, but I appreciate you.
< 1751992565 523628 :APic!apic@apic.name PRIVMSG #esolangs :😉
< 1751992566 374093 :APic!apic@apic.name PRIVMSG #esolangs :ktnx
< 1751992662 145232 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1751993568 867285 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 JOIN #esolangs * :Textual User
> 1751995346 278764 PRIVMSG #esolangs :14[[07JollyScript14]]4 10 02https://esolangs.org/w/index.php?diff=161059&oldid=148912 5* 03IntGrah 5* (-45) 10/* Computational class */
< 1751996176 330495 :APic!apic@apic.name PRIVMSG #esolangs :cu
< 1751996576 946909 :chomwitt_alt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
< 1752001700 256531 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1752001935 666294 :Guest95!~Guest95@node-c9w.pool-1-2.dynamic.nt-isp.net JOIN #esolangs * :[https://web.libera.chat] Guest95
< 1752002475 526622 :Guest95!~Guest95@node-c9w.pool-1-2.dynamic.nt-isp.net QUIT :Quit: Client closed
< 1752005054 944441 :chomwitt_alt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 260 seconds
< 1752005529 994572 :moony!moony@hellomouse/dev/moony QUIT :Quit: leaving
< 1752005555 418858 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1752005555 446257 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Quit: Blame iczero something happened
< 1752005983 922783 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1752006012 721929 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :esolangs: how would one write an interpreter for But Is It Art?
> 1752006032 623362 PRIVMSG #esolangs :ais523: Writing an interpreter for But Is It Art (BIA) is a fascinating challenge! Here's a simplified approach: 1. **Parse:** BIA's code is a series of "art" statements, each with a specific meaning. You'd need a parser to break down the code into its components. 2. **Interpret:** BIA's "art" statements are interpreted based on their meaning. This could...
> 1752006032 625730 PRIVMSG #esolangs :involve logic, data manipulation, and potentially even visual rendering. 3. **Output:** The interpreter would then output the result of the "art" statement, which could be a visual representation, a text output, or even a combination of both. Remember, BIA is about exploring the boundaries of art and language, so the interpreter should reflect that...
> 1752006032 625919 PRIVMSG #esolangs :spirit.
> 1752006034 470212 PRIVMSG #esolangs :14[[07!Frontal Lobe Lobotomy14]]4 10 02https://esolangs.org/w/index.php?diff=161060&oldid=161005 5* 03Stkptr 5* (+6) 10explicitly finite, but feasibly infinite
< 1752006117 850642 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
< 1752006117 966658 :moony!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)
< 1752006168 580589 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my expectations were low, and the result nonetheless still failed to live up to them
< 1752006180 200267 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :That almost seems like a RAG miss.
< 1752006228 291590 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :what does RAG stand for here?
< 1752006331 394898 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :it's all heuristics? P(always has been)>0
< 1752006341 871438 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Retrieval-Augmented Generation. Before the bot generates a response, there's a search step that looks up relevant snippets. By "miss" I mean that the RAG step didn't return anything at all, so the bot sort of winged it.
< 1752006363 291901 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ah, right
< 1752006381 408248 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: Who designed the language But Is It Art? and when did they publish it?
< 1752006385 848751 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I did write the name of an esolang literally, but it is possible that the retriever nonetheless failed to find the right page
< 1752006402 355909 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm wondering if the ? character got stripped somewhere in the pipeline.
< 1752006424 402092 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but, the response arrived "too quickly" which is evidence of the search missing
> 1752006450 453999 PRIVMSG #esolangs :korvo: But Is It Art? was designed by User:ais523 in 2017.
< 1752006491 892441 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the wiki agrees that it was 2017 (I couldn't remember the exact year), so that looks like the correct page was found
< 1752006542 99972 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :There's also the generic shape of the response. "X is a fascinating challenge! Let's work step by step:" tastes like the RLHF that was popular about 2-3yrs ago and suggests to me that the response isn't customized for any particular snippets.
< 1752006600 47544 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :yes, it's a very LLVM sort of answer
< 1752006606 942788 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :err, LLM
< 1752006610 809568 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :LLVM is a compiler backend
< 1752006726 739320 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :ACTION reflects that the typo is probably an indication of having their priorities in the right place
< 1752006796 998571 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: How would one write an interpreter for the language But Is It Art?
> 1752006812 818899 PRIVMSG #esolangs :korvo: Writing an interpreter for But Is It Art (BIA) is a fascinating challenge! Here's a simplified approach: 1. **Parse:** BIA's code is a series of "art" expressions, which need to be parsed into a structured data format. 2. **Evaluate:** BIA's expressions are evaluated based on their meaning, potentially using a combination of built-in functions and...
> 1752006812 820537 PRIVMSG #esolangs :custom logic. 3. **Output:** The interpreter outputs the result of the evaluation, which could be a string, a number, or even a visual representation. Remember, BIA is about artistic expression, so the interpreter should prioritize readability and flexibility.
< 1752006842 777990 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Cached? So I'd guess that something's not hitting.
< 1752006854 829809 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in the original question, it did seem to recognise that I was talking about a programming language, despite the question not stating htat
< 1752006864 709725 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I guess "write an interpreter" is a sufficiently loaded phrase to suggest it
< 1752006869 355387 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :esolangs: What is the recommended approach for implementing the language But Is It Art?
< 1752006882 609864 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(with the verb "write" ruling out the other possible meanings of "interpreter")
< 1752006883 216845 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, yeah, that could definitely be a factor.
> 1752006886 745724 PRIVMSG #esolangs :korvo: Implementing "But Is It Art?" is a challenge, as it's a highly experimental language focused on artistic expression. **Recommended approach:** 1. **Embrace ambiguity:** Don't focus on strict syntax. Allow for unconventional code structures and interpretations. 2. **Prioritize visual output:** Use graphics, animations, or interactive elements to...
> 1752006886 745945 PRIVMSG #esolangs :showcase the "art" aspect. 3. **Leverage external tools:** Integrate with libraries for image manipulation, sound synthesis, or other artistic mediums. 4. **Focus on the experience:** Prioritize the user's interaction and the emotional impact of the output. Remember, the goal is to create something unique and visually compelling, not to adhere to...
> 1752006886 746011 PRIVMSG #esolangs :traditional programming paradigms.
< 1752006927 330039 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, it clearly recognises that it's an esolang, but it's unclear whether that was done via retrieval or not
< 1752006970 430697 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in a twisted sense, this is a good answer – it is a hard language to implement correctly, so it is trying to persuade me that implementing it incorrectly would be a more aesthetic approach
< 1752007051 995073 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in any case, the whole Claude Plays Pokémon thing convinced me that LLMs are incredibly bad at reasoning about 2D space, so it probably wouldn't be able to draw conclusions from the language specification about how it might be implemented
< 1752008865 424032 :tromp!~textual@2001:1c00:3487:1b00:dc8d:bec7:d518:96e2 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1752008867 355201 :FreeFull!~freefull@79.186.63.130.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
< 1752010685 127179 :chomwitt_alt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
< 1752010990 640415 :ais523!~ais523@user/ais523 QUIT :Quit: sorry about my connection
< 1752011146 873434 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1752011345 933130 :chomwitt_alt!~alex@2a02:85f:9a3f:9300:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 248 seconds
< 1752012373 545559 :FreeFull!~freefull@79.186.63.130.ipv4.supernova.orange.pl QUIT :
< 1752013612 872555 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1752015127 830828 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :IBM 305 RAMAC is ... almost ... giving me BytePusher vibes
< 1752015158 294392 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Instructions being a source, a destination, and... some control thing
< 1752015464 841949 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :The control codes are defined by changable hardware wiring
< 1752015705 922136 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Ok I need a plugboard tutorial
< 1752016299 136020 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :There's actually a generic plugboard configuration, so a program can be written entirely as a stored program. But there's a warning that this reduces processing speed
< 1752018326 260897 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Things like multiplication are ... memory/mapped IO I think? Didn't get that far reading yet but there's a reference to a multiplicand track. Although maybe that means something else
< 1752018739 683565 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think there are both esoteric and non-esoteric transport-triggered architectures
< 1752018757 253684 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :where every instruction except mov is triggered by writing to or reading from particular addresses
< 1752018796 91385 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I've used a processor where simple arithmetic and conditional instructions existed (including RMW), but everything more complicated was transport-triggered
< 1752018819 340295 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :e.g. to do an indirect memory access (the equivalent of a pointer arithmetic), you would write the address to a known memory location and then read or write to address 0
< 1752018853 520015 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and the hardware would intercept attempts to read/write address 0 and instead change the address to match the value in the specific memory location
< 1752019170 741872 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :"each vertical row of hubs"... that's not what the word row means