00:00:37 <esolangs> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=129475&oldid=129474 * Mari * (+6387) caca
00:02:20 <esolangs> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=129476&oldid=129475 * Mari * (+3106) I caca
00:02:39 <esolangs> [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=129477&oldid=129476 * Mari * (+10) /* FOOD */
00:24:04 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
00:24:45 -!- Lord_of_Life has joined.
01:29:35 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
05:36:39 <esolangs> [[Backway]] https://esolangs.org/w/index.php?diff=129478&oldid=129440 * Yayimhere * (-29)
05:41:09 -!- Sgeo has quit (Read error: Connection reset by peer).
06:15:46 <esolangs> [[Doors]] https://esolangs.org/w/index.php?diff=129479&oldid=129387 * Salpynx * (+302) Add example, interpreter link, and cats. Claiming this is a FSM, despite single unbounded register, which isn't usable for *distinguishing* infinite states
06:28:39 <esolangs> [[Talk:Doors]] N https://esolangs.org/w/index.php?oldid=129480 * Salpynx * (+2126) Computational class
06:50:09 <esolangs> [[Category:Works-in-Progress]] https://esolangs.org/w/index.php?diff=129481&oldid=127896 * Ractangle * (+31)
06:51:04 <esolangs> [[Category:Works-in-Progress]] https://esolangs.org/w/index.php?diff=129482&oldid=129481 * Ractangle * (+26)
06:51:14 <esolangs> [[Befunge]] https://esolangs.org/w/index.php?diff=129483&oldid=129467 * Timwi * (+108) /* Related languages */ Ndim
06:57:49 <esolangs> [[Talk:GibMeRol]] N https://esolangs.org/w/index.php?oldid=129484 * Ractangle * (+176) Created page with "To be honest I also need to get the esolang creator role ~~~~"
06:57:52 -!- tromp has joined.
07:03:09 <esolangs> [[Uyjhmn--]] https://esolangs.org/w/index.php?diff=129485&oldid=129419 * Ractangle * (+9)
08:07:09 -!- MinekPo1 has joined.
08:21:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:29:15 -!- wib_jonas has joined.
09:29:31 -!- mcfrdy has quit (Quit: quit).
09:31:50 <wib_jonas> I have an on-topic question. So you know how some languages like C++ have first-class support for multi-argument functions, while in others like Haskell a function takes only one argument, and you need some workaround like currying or a multi-argument type constructor to pass multiple values.
09:33:10 <wib_jonas> There are also some languages that have functions that are first-class multi-return (have multiple return values), including scheme, lua, perl, octave.
09:33:44 <int-e> > printf "%s %d" "Hello" 42 :: String
09:34:20 <wib_jonas> My first question is, are there *typed* languages with multi-return functions?
09:35:48 <int-e> GHC's Haskell has unboxed tuples which are in that niche.
09:37:20 -!- tromp has joined.
09:41:45 <MinekPo1> not a statically typed language but pythons returning multiple values also works via tuples
09:42:29 <wib_jonas> I think you can do some kind of Curry-Howard correspondence where the logic half uses multi-argument multi-return, as in define a |- provability with multiple clauses on both the left and right, and on the code side you translate it to a functional language with multi-argument multi-return functiion.
09:44:29 <wib_jonas> int-e: hmm, I don't know if that counts or not. isn't it kind of like how C has unboxed structures as arguments to a function, but the ABI makes them so they only exist up to a fixed size like four registers or four words on the stack, and above that the ABI silently passes a copy of the structure by pointer.
09:48:44 <wib_jonas> nope, up to two general-purpose registers or one 128-bit XMM register per argument on x86_64-linux
09:49:36 <wib_jonas> up to two (general-purpose registers or 64-bit lower part of XMM register) per argument on x86_64-linux
09:52:16 -!- __monty__ has joined.
09:54:23 <int-e> And Lisp somehow doesn't run into that?
09:55:25 <int-e> The point is that when returning an unboxed tuple, GHC avoids packing up those results as a heap object.
09:55:47 <int-e> And I think even will pass a couple of them in registers rather than the stack.
09:56:22 <wib_jonas> yeah, in a language like GHC that normally puts every object into the heap that probably counts
09:57:40 <wib_jonas> and you can't just transparently use the unboxed tuple as if it were a single value, but you can forward it in tail call context, right?
09:58:27 <wib_jonas> or maybe you can use it as a single value because the compiler knows how to store unboxed tuples as temporaries or let variables?
09:58:42 <wib_jonas> you just can't use them as a value of a generic type
10:01:17 <int-e> Hmm. It looks like the source language allows you to have an unboxed tuple value. I suspect it's split into its components before code is generated.
10:04:44 <wib_jonas> whereas in scheme, lua, octave you can't just store all the return values to a single variable like you'd store one return value, but you can forward multiple return values in a tail call, and in lua you can also transparently pass multiple return values directly to a function as multiple arguments if the multi-return call is the last argument (and
10:04:44 <wib_jonas> in perl you can even concatenate multiple multi-returns into the argument list), but I think in scheme and octave you can't just do that
10:06:34 <wib_jonas> and then there's prolog where any argument can be input or output or neither/both, so you can effectively have multi-return functions, but you can't just forward multiple returns in tail call context without listing them individually or packing them up
10:07:08 <wib_jonas> even though prolog does have tail calls and you can forward input or output arguments individually through them
10:08:17 <wib_jonas> I'm asking this because I was thinking of some potential esoteric languages that could be created, and I'm wondering how much multi-return could make sense
10:12:18 <int-e> IIRC GHC used to not have unboxed tuple values, and in fact forced you to use `case ... of (# ... #) -> ...` to immediately deconstruct the result. And it wouldn't let you pass them as arguments either. Both these restrictions have been lifted at some point.
10:30:38 <esolangs> [[Turin]] https://esolangs.org/w/index.php?diff=129486&oldid=99229 * Kaveh Yousefi * (+290) Supplemented a second example involving the hexadecimal output mode.
10:31:27 <esolangs> [[Turin]] https://esolangs.org/w/index.php?diff=129487&oldid=129486 * Kaveh Yousefi * (+161) Added a hyperlink to my implementation of the Turin programming language on GitHub and changed the category tag Unimplemented to Implemented.
10:36:27 <esolangs> [[User talk:PkmnQ/Quines]] https://esolangs.org/w/index.php?diff=129488&oldid=129430 * Gilbert189 * (+208)
11:18:39 <esolangs> [[ACCUMULATOR]] https://esolangs.org/w/index.php?diff=129489&oldid=128754 * UndoneStudios * (+34) update
11:18:56 <esolangs> [[ACCUMULATOR]] https://esolangs.org/w/index.php?diff=129490&oldid=129489 * UndoneStudios * (+2)
11:24:24 -!- Thelie has joined.
11:26:12 <esolangs> [[Talk:Minipy]] N https://esolangs.org/w/index.php?oldid=129491 * None1 * (+119) Created page with "Why not use one character for the functions. --~~~~"
11:26:16 <esolangs> [[Esolang talk:Sandbox]] https://esolangs.org/w/index.php?diff=129492&oldid=124987 * GUAqwq * (+297)
11:31:44 -!- lisbeths has joined.
12:27:12 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:30:42 -!- wib_jonas has quit (Quit: Client closed).
12:31:45 -!- tromp has joined.
12:38:19 <esolangs> [[Introduce yourself]] https://esolangs.org/w/index.php?diff=129493&oldid=129435 * None1 * (+154) /* Commands */
12:39:04 <esolangs> [[Introduce yourself]] https://esolangs.org/w/index.php?diff=129494&oldid=129493 * None1 * (-214) /* Computational class */
12:54:34 -!- MinekPo1 has quit (Ping timeout: 268 seconds).
13:13:17 <esolangs> [[Turin]] https://esolangs.org/w/index.php?diff=129495&oldid=129487 * Kaveh Yousefi * (+873) Divided the text into sections and supplemented further information.
13:15:50 -!- MinekPo1 has joined.
13:20:24 -!- cpressey has joined.
13:22:44 -!- mcfrdy has joined.
13:26:06 <cpressey> Turing machine except all the states are numbered and all the state transitions are given by deltas, and transitioning to the new state is modulo total_number_of_states.
13:26:49 <cpressey> This gives you an easy way to concatenate two Turing machines (or their finite control mechanisms anyway).
13:27:54 <cpressey> I should write this in my ideas file instead of just randomly blurting it on this channel.
13:28:43 <cpressey> But it would just languish in the ideas file anyway, because what am I ever going to do with it?
13:29:09 <cpressey> Or, I should dump my ideas file on the wiki.
13:29:25 <cpressey> Where it can languish in public.
13:30:23 -!- cpressey has quit (Quit: WeeChat 4.3.0).
13:54:52 <esolangs> [[Isomorphism/More Syntax]] N https://esolangs.org/w/index.php?oldid=129496 * PrySigneToFry * (+2291) Created page with "Main page: [[Isomorphism]] == foldn(c, h, n) function == We defined the number likes these: <pre> one = succ zero two = succ (succ zero) three = succ (succ (succ zero)) ...... </pre> In mathematics, we uses <tt>n`</tt> but not <tt>succ n</tt> to e
13:55:04 <esolangs> [[Isomorphism]] https://esolangs.org/w/index.php?diff=129497&oldid=129173 * PrySigneToFry * (+9)
13:55:06 -!- recook has joined.
13:55:18 -!- recook has left.
13:56:07 <esolangs> [[Isomorphism]] https://esolangs.org/w/index.php?diff=129498&oldid=129497 * PrySigneToFry * (+68)
14:08:55 <esolangs> [[BS]] https://esolangs.org/w/index.php?diff=129499&oldid=108007 * Tux1 * (-22) fixed example (whitespace + greek question mark)
14:19:16 -!- riv has joined.
14:37:01 -!- cpressey has joined.
14:37:08 -!- cpressey has quit (Client Quit).
14:41:54 -!- MinekPo1 has quit (Quit: Lost terminal).
14:44:23 <esolangs> [[Template:WIPsec]] https://esolangs.org/w/index.php?diff=129500&oldid=129017 * MihaiEso * (+1) Indented
14:45:20 -!- cpressey has joined.
14:47:54 -!- cpressey has quit (Client Quit).
14:48:10 -!- cpressey has joined.
14:54:38 <cpressey> https://cs.stackexchange.com/questions/168182/why-is-the-turing-machine-considered-effective-computation-if-its-not-realizabl
14:58:27 -!- perlbot has quit (Quit: ZNC 1.8.2+deb3.1 - https://znc.in).
15:00:07 -!- simcop2387 has quit (Remote host closed the connection).
15:10:46 -!- perlbot has joined.
15:28:03 -!- simcop2387 has joined.
15:32:36 -!- wib_jonas has joined.
15:33:07 <HackEso> olist <https://www.giantitp.com/comics/oots1303.html>: shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
15:34:26 -!- wib_jonas has quit (Client Quit).
15:57:53 -!- wib_jonas has joined.
16:02:28 -!- amby has joined.
16:04:03 <wib_jonas> I had a weird dream where by some mistake Hasbro gave a small company a license to print M:tG cards. So a lot of such M:tG cards appeared on the market. Basically everyone agreed that those cards were bad from a game design perspective, and so most players preferred to just ignore them and play with Wizards's cards. But Wizards was required to
16:04:03 <wib_jonas> allow those cards in competitive formats. That destroyed all constructed formats within a few months: all formats were dominated by out of balance cards printed by the third party company, which were available not too expensively too. Wizards tried to ban the most broken ones, but the third-party company was so incompetent at balancing that they'd
16:04:04 <wib_jonas> have had to ban too many cards to fix this. Also the cards were all or almost all printed in a foreign language and often had strange rules, so Wizards had to spend a lot of resources to make the rules work at all, and train enough judges that can resolve tournament matches.
16:13:35 -!- lisbeths has quit (Read error: Connection reset by peer).
16:14:40 -!- lisbeths has joined.
16:23:47 -!- Koen_ has joined.
16:24:48 -!- cpressey has quit (Quit: WeeChat 4.3.0).
16:39:32 -!- wib_jonas has quit (Quit: Client closed).
16:46:04 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb3.1 - https://znc.in).
16:48:35 -!- simcop2387 has joined.
16:53:40 <esolangs> [[User:Ractangle]] https://esolangs.org/w/index.php?diff=129501&oldid=129466 * Ractangle * (+2) /* Esolangs */
16:58:33 -!- Koen_ has quit (Remote host closed the connection).
17:01:33 -!- lisbeths has quit (Read error: Connection reset by peer).
17:02:04 -!- lisbeths has joined.
17:06:11 -!- lisbeths has quit (Read error: Connection reset by peer).
17:06:31 -!- lisbeths has joined.
17:18:58 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:24:15 <esolangs> [[Special:Log/newusers]] create * Smilybot * New user account
17:30:32 <esolangs> [[Branjunk]] N https://esolangs.org/w/index.php?oldid=129502 * Ractangle * (+78) Created page with "{{Stub}} ''Branjunk'' is a [[brainfuck]] esolang created by [[User:Ractnalge]]"
17:30:50 <esolangs> [[Special:Log/upload]] overwrite * Ractangle * uploaded a new version of "[[File:My github profile read me.png]]"
17:31:25 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129504&oldid=129502 * Ractangle * (+0)
17:37:46 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=129505&oldid=129427 * Tux1 * (+9)
17:43:41 -!- tromp has joined.
17:45:01 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129506&oldid=129504 * Ractangle * (+678)
17:46:03 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129507&oldid=129506 * Ractangle * (+52)
17:46:32 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129508&oldid=129507 * Ractangle * (+7) /* The LOAT itself */
17:46:39 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129509&oldid=129508 * Ractangle * (-1) /* The LOAT itself */
17:47:13 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129510&oldid=129509 * Ractangle * (+2)
17:48:59 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129511&oldid=129510 * Ractangle * (+178) /* The LOAT itself */
17:49:20 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129512&oldid=129511 * Ractangle * (+17) /* Hello World */
17:51:06 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129513&oldid=129512 * Ractangle * (+33)
17:51:32 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129514&oldid=129513 * Ractangle * (+12) /* Examples */
17:57:24 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129515&oldid=129514 * Ractangle * (+90) /* Examples */
18:00:56 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129516&oldid=129515 * Ractangle * (-89) /* The LOAT */
18:09:06 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129517&oldid=129516 * Ractangle * (+69) /* Examples */
18:13:03 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129518&oldid=129517 * Ractangle * (-36) /* Commands */
18:15:11 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129519&oldid=129518 * Ractangle * (+90)
18:41:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:44:58 <zzo38> About Magic: the Gathering cards, they should never be required to allow third-party cards in official competitive formats (and even some of their own cards are not allowed in official competitive formats, so why do they need to allow third-party cards?), nor should they be required to support them by the rules. The other company can make their own competitive formats if they want to do.
18:53:29 -!- tromp has joined.
19:13:46 <zzo38> (If I was managing the card game (Magic: the Gathering or a similar game), I would allow others to print the cards even without needing a license, however, they would be required to not make them seem to be official cards if they do not have a notice that says it isn't (preferably on the front, so that players who wish to use them together with official cards can do so),
19:15:13 <zzo38> and they can only be used in official competitive formats if their text is equivalent to official cards that are legal in those formats, and their physical properties (mass, etc) must match (to avoid cheating), etc.)
19:41:19 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:55:54 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129520&oldid=129519 * Ractangle * (+106) /* Examples */
19:56:21 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129521&oldid=129520 * Ractangle * (+26) /* Branjunk */
19:57:10 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129522&oldid=129521 * Ractangle * (-1) /* Branjunk outputed to the thirminal */
19:58:38 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129523&oldid=129522 * Ractangle * (+57)
20:04:18 <esolangs> [[Branjunk]] https://esolangs.org/w/index.php?diff=129524&oldid=129523 * Ractangle * (+24) /* See also */
20:05:04 -!- tromp has joined.
20:13:57 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:26:08 -!- tromp has joined.
20:35:11 <esolangs> [[User:Tommyaweosme]] https://esolangs.org/w/index.php?diff=129525&oldid=129469 * Tommyaweosme * (-206)
20:53:03 -!- lisbeths has quit (Remote host closed the connection).
20:53:23 -!- lisbeths has joined.
20:59:05 <esolangs> [[Driftdown]] N https://esolangs.org/w/index.php?oldid=129526 * Tommyaweosme * (+686) Created page with "Driftdown is an esolang created by [[User:Tommyaweosme]]. == Mechanics == Bits go down until they reach one of four things. X If a bit drifts down onto an X, it flips. A 0 turns into a 1 and a 1 turns into a 0. S If two bits drift on each side of it, they s
21:07:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:09:03 -!- tromp has joined.
21:26:10 -!- __monty__ has quit (Quit: leaving).
21:40:26 -!- lisbeths has quit (Remote host closed the connection).
21:40:46 -!- lisbeths has joined.
21:46:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:53:48 <esolangs> [[HEY :D]] https://esolangs.org/w/index.php?diff=129527&oldid=126672 * Areds * (-18) Blanked the page
21:58:14 <esolangs> [[User:Areds]] https://esolangs.org/w/index.php?diff=129528&oldid=126671 * Areds * (+4)
22:01:17 -!- lisbeths has quit (Read error: Connection reset by peer).
22:01:36 -!- lisbeths has joined.
22:02:47 -!- Noisytoot has quit (Ping timeout: 268 seconds).
22:18:04 -!- Sgeo has joined.
22:24:55 -!- Noisytoot has joined.
22:41:58 -!- Noisytoot has quit (Ping timeout: 246 seconds).
22:49:49 -!- Noisytoot has joined.
22:56:29 -!- Noisytoot has quit (Ping timeout: 240 seconds).
23:01:24 <esolangs> [[Pointerfuck]] M https://esolangs.org/w/index.php?diff=129529&oldid=124961 * Kaveh Yousefi * (+1) Amended an instance of cacography in the Common Lisp implementation's documentation.
23:01:35 -!- Noisytoot has joined.
23:04:40 -!- lisbeths has quit (Read error: Connection reset by peer).
23:04:55 -!- lisbeths has joined.
23:13:46 -!- Noisytoot has quit (Excess Flood).
23:21:22 <esolangs> [[Introduce yourself]] https://esolangs.org/w/index.php?diff=129530&oldid=129494 * None1 * (+34) /* Computational class */
23:27:45 <esolangs> [[]] https://esolangs.org/w/index.php?diff=129531&oldid=129148 * None1 * (+4)
23:49:00 <esolangs> [[BFshort]] N https://esolangs.org/w/index.php?oldid=129532 * Tommyaweosme * (+232) Created page with "BFshort is a [[Brainfuck]] derivative where scripts are usually 2x shorter. == Commands == +-<>[]., +`12345678 -90-=qwert <yuiop[]\a >sdfghjkl; ['zxcvbnm, ]./~!@#$%^ .&*()_+QWE ,RTYUIOP{} == Cat == OQ == Counter = 5*."
23:49:12 <esolangs> [[BFshort]] M https://esolangs.org/w/index.php?diff=129533&oldid=129532 * Tommyaweosme * (+1) /* = Counter */
23:57:21 <esolangs> [[Ulsl]] N https://esolangs.org/w/index.php?oldid=129534 * Tommyaweosme * (+730) Created page with "ulsl (short for unnamed life searching language) is a language made for searching cellular automata made by [[User:Tommyaweosme]]. == Commands == r [rule] - changes rule s - runs soup ml [list] - makes list mv [variable] - makes variable f [list] - puts results i
23:58:48 <esolangs> [[Ulsl]] M https://esolangs.org/w/index.php?diff=129535&oldid=129534 * Tommyaweosme * (+20)