00:02:58 -!- mtm has quit (Ping timeout: 248 seconds).
00:06:11 -!- mtm has joined.
00:28:26 -!- DOS_User_webchat has joined.
00:29:11 -!- DOS_User_webchat has quit (Remote host closed the connection).
01:34:28 -!- 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).
01:42:44 -!- Bowserinator has quit (Ping timeout: 260 seconds).
01:42:54 -!- iovoid has quit (Ping timeout: 260 seconds).
02:00:22 -!- Bowserinator has joined.
02:00:28 -!- iovoid has joined.
02:20:51 -!- craigo has quit (Quit: Leaving).
02:28:24 -!- craigo has joined.
02:39:47 -!- craigo has quit (Quit: Leaving).
02:47:55 -!- craigo has joined.
03:10:01 -!- Sgeo has quit (*.net *.split).
03:10:02 -!- op_4 has quit (*.net *.split).
03:10:02 -!- fowl has quit (*.net *.split).
03:10:02 -!- Hooloovoo has quit (*.net *.split).
03:10:04 -!- lynndotpy6 has quit (*.net *.split).
03:10:04 -!- Noisytoot has quit (*.net *.split).
03:10:04 -!- sprout has quit (*.net *.split).
03:15:01 -!- Sgeo has joined.
03:15:01 -!- op_4 has joined.
03:15:01 -!- fowl has joined.
03:15:01 -!- Hooloovoo has joined.
03:15:01 -!- lynndotpy6 has joined.
03:15:01 -!- Noisytoot has joined.
03:15:01 -!- sprout has joined.
03:16:50 -!- craigo has quit (Quit: Leaving).
03:27:33 -!- Everything has quit (Ping timeout: 252 seconds).
04:11:08 <esolangs> [[Underload/a interpreter in scheme]] N https://esolangs.org/w/index.php?oldid=150119 * Jan jelo * (+2102) Created page with "This is a [[Underload]] interpreter in scheme by [[User:Jan jelo]]. <pre> (define(init program) (list(string->list program) '())) (define(program state) (list-ref state 0)) (define(stack state) (list-ref state 1)) ;a (define(a state)
04:13:11 <esolangs> [[User:Jan jelo]] https://esolangs.org/w/index.php?diff=150120&oldid=150062 * Jan jelo * (+39) /* Intepreters */
04:38:53 <esolangs> [[PDAsephtwo]] N https://esolangs.org/w/index.php?oldid=150121 * BoundedBeans * (+16102) Created page with "PDAseptwo is an extension of [[PDAsephone]] by [[User:BoundedBeans]], made in January 2025. ==Storage== PDAsephone normally has two stacks, a stack of characters and a stack of instances of [[push-down automata]]. Each push-down automaton has a stack of charac
04:39:40 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=150122&oldid=150098 * BoundedBeans * (+17)
04:41:01 <esolangs> [[User:BoundedBeans]] https://esolangs.org/w/index.php?diff=150123&oldid=148989 * BoundedBeans * (+108)
04:41:10 <esolangs> [[Underload/a interpreter in scheme]] https://esolangs.org/w/index.php?diff=150124&oldid=150119 * Jan jelo * (+1)
04:48:03 <esolangs> [[User:BoundedBeans/My Funge-98 fingerprints]] https://esolangs.org/w/index.php?diff=150125&oldid=127692 * BoundedBeans * (+0) Wrong fingerprint name
04:54:22 <esolangs> [[User:BoundedBeans/My Funge-98 fingerprints]] https://esolangs.org/w/index.php?diff=150126&oldid=150125 * BoundedBeans * (+162) Additional operations to GRPH
04:55:53 <esolangs> [[User:BoundedBeans/My Funge-98 fingerprints]] https://esolangs.org/w/index.php?diff=150127&oldid=150126 * BoundedBeans * (+55) Hyperbolic functions in GRPH
05:12:01 <esolangs> [[Testeee]] N https://esolangs.org/w/index.php?oldid=150128 * BestCoder * (+176) Created page with "<span style="transform: perspective(400px) rotateY(308deg) scale(2,1); text-shadow: 3px 3px 4px #0008; display: inline-block; padding-right: 3em;">hello i am really cool</span>"
05:12:14 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150129&oldid=150128 * BestCoder * (+1)
05:12:24 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150130&oldid=150129 * BestCoder * (-2)
05:12:36 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150131&oldid=150130 * BestCoder * (+0)
05:12:46 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150132&oldid=150131 * BestCoder * (+0)
05:12:56 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150133&oldid=150132 * BestCoder * (+0)
05:13:05 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150134&oldid=150133 * BestCoder * (+0)
05:13:14 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150135&oldid=150134 * BestCoder * (+0)
05:13:23 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150136&oldid=150135 * BestCoder * (+0)
05:13:54 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150137&oldid=150136 * BestCoder * (+0)
05:14:03 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150138&oldid=150137 * BestCoder * (+0)
05:14:21 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150139&oldid=150138 * BestCoder * (-2)
05:14:29 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150140&oldid=150139 * BestCoder * (+2)
05:14:39 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150141&oldid=150140 * BestCoder * (-2)
05:15:00 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150142&oldid=150141 * BestCoder * (+15)
05:15:18 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150143&oldid=150142 * BestCoder * (+16)
05:15:28 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150144&oldid=150143 * BestCoder * (+1)
05:15:40 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150145&oldid=150144 * BestCoder * (+2)
05:16:00 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150146&oldid=150145 * BestCoder * (+9)
05:16:36 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150147&oldid=150146 * BestCoder * (+41)
05:17:00 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150148&oldid=150147 * BestCoder * (+19)
05:17:14 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150149&oldid=150148 * BestCoder * (+0)
05:17:34 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150150&oldid=150149 * BestCoder * (+12)
05:17:44 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150151&oldid=150150 * BestCoder * (+2)
05:18:11 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150152&oldid=150151 * BestCoder * (+23)
05:18:23 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150153&oldid=150152 * BestCoder * (-2)
05:18:41 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150154&oldid=150153 * BestCoder * (+16)
05:18:54 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150155&oldid=150154 * BestCoder * (+77)
05:19:16 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150156&oldid=150155 * BestCoder * (+336)
05:20:39 <esolangs> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=150157&oldid=150092 * BestCoder * (+30) /* UHH */
05:22:35 <esolangs> [[Tictactoe]] https://esolangs.org/w/index.php?diff=150158&oldid=149441 * BestCoder * (-9)
05:24:51 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150159&oldid=150156 * BestCoder * (+99)
05:25:05 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150160&oldid=150159 * BestCoder * (+8)
05:25:37 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150161&oldid=150160 * BestCoder * (+1)
05:26:04 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150162&oldid=150161 * BestCoder * (+428)
05:26:18 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150163&oldid=150162 * BestCoder * (-536)
05:26:31 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150164&oldid=150163 * BestCoder * (-40)
05:26:39 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150165&oldid=150164 * BestCoder * (-22)
05:26:55 <esolangs> [[Testeee]] https://esolangs.org/w/index.php?diff=150166&oldid=150165 * BestCoder * (-217)
07:13:00 <esolangs> [[Special:Log/delete]] delete * Ais523 * deleted "[[Testeee]]": offtopic (not an esolang)
07:17:09 -!- tromp has joined.
08:25:08 -!- Sgeo has quit (Read error: Connection reset by peer).
09:28:36 -!- m5zs7k has quit (Ping timeout: 246 seconds).
09:30:39 <esolangs> [[Special:Log/newusers]] create * Piet; * New user account
09:36:18 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=150167&oldid=150060 * Piet; * (+158)
09:46:57 -!- m5zs7k has joined.
09:51:04 -!- __monty__ has joined.
11:12:56 <esolangs> [[Translated /Mihai Again!]] https://esolangs.org/w/index.php?diff=150168&oldid=150063 * MihaiEso * (+164)
11:27:28 -!- amby has joined.
12:02:29 -!- mtm has quit (Ping timeout: 248 seconds).
12:05:31 -!- mtm has joined.
12:17:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:24:16 -!- chomwitt_mobile has joined.
12:26:06 -!- __monty__ has quit (Quit: leaving).
12:28:17 -!- __monty__ has joined.
12:29:00 <esolangs> [[Beunfunge]] N https://esolangs.org/w/index.php?oldid=150169 * None1 * (+265) Created page with "'''Beunfunge''' is an esolang invented by [[User:None1]]. It is [[Befunge]], but there's no self modifying. ==Examples== Many examples in Befunge work in Beunfunge too, but some do not. [[Category:Two-dimensional languages]] [[Category:Languages]] [[Category:2025]]"
12:43:04 <esolangs> [[User:Thalassohora]] https://esolangs.org/w/index.php?diff=150170&oldid=115547 * Thalassohora * (-134)
12:47:36 -!- chomwitt_mobile has quit (Remote host closed the connection).
13:09:44 <esolangs> [[Pyline Classic]] https://esolangs.org/w/index.php?diff=150171&oldid=149330 * Jan jelo * (+1251) /* Examples */
13:10:14 <esolangs> [[Pyline Classic]] M https://esolangs.org/w/index.php?diff=150172&oldid=150171 * Jan jelo * (+2)
13:23:03 -!- impomatic has joined.
13:50:30 -!- tromp has joined.
13:56:33 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150173&oldid=148099 * I am islptng * (+580) /* desmos */ new section
13:57:25 -!- wib_jonas has joined.
13:57:41 <HackEso> olist <https://www.giantitp.com/comics/oots1317.html>: shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
13:57:43 <wib_jonas> I think that might be my fastest olist yet
14:35:49 <impomatic> Does anyone know an algorithm to calculate the nash equilibrium percentage of a big matrix? The kind of equilibrium where the matrix contains scores of something in the row vs something in the column, and the equilibrium is x% percent of the first row, y% of the second row, z% of the third row, etc, which gives everything exactly the same score.
14:36:32 -!- tromp has quit (Read error: Connection reset by peer).
14:37:25 <impomatic> Google is just showing me how to find the equilibrium in 2x2 matrices, so I'm wondering if what I'm looking for has another name.
15:03:44 -!- wib_jonas has quit (Quit: Client closed).
15:21:15 -!- wib_jonas has joined.
15:23:30 -!- fowl has quit (Quit: Ping timeout (120 seconds)).
15:24:02 -!- fowl has joined.
15:40:24 -!- chomwitt has joined.
15:40:30 -!- chomwitt_alt has joined.
15:42:52 <int-e> impomatic: If it's a zero sum game, there's a linear programming formulation for that; https://en.wikipedia.org/wiki/Zero-sum_game#Solving ... otherwise it'http://www.maths.lse.ac.uk/Personal/stengel/chendeng2nash.pdf
15:43:31 <int-e> ...otherwise it's something called PPAD-complete that I have not yet understood, http://www.maths.lse.ac.uk/Personal/stengel/chendeng2nash.pdf
15:43:53 <int-e> (gotta love fat-fingering '-<RET> )
15:45:36 <int-e> impomatic: in any case that's what I guess your question was, so hopefully that's good for some alternative keywords.
15:48:01 <int-e> Beautiful. Firefox is blocking http links returned by https://html.duckduckgo.com/html/ because they are a "Potential security risk".
15:55:12 -!- impomatic has quit (Quit: Client closed).
15:55:38 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150174&oldid=150173 * Ractangle * (+200) /* desmos */
16:05:45 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150175&oldid=150174 * I am islptng * (+645)
16:20:40 -!- wib_jonas has quit (Ping timeout: 240 seconds).
16:44:58 -!- craigo has joined.
16:58:40 <esolangs> [[User talk:Jan jelo]] https://esolangs.org/w/index.php?diff=150176&oldid=150175 * Jan jelo * (+202) /* desmos */
17:13:54 <korvo> PPAD-complete is more-or-less FNP-complete, FWIW; we haven't proven it yet, but there's piles of evidence and my prior is at something like 97%.
17:14:30 <korvo> IOW free markets probably are not efficient; there are probably cases where a free market can't avoid sitting exponentially far from Nash equilibrium for exponentially long.
17:15:22 <int-e> you mean on top of all the other things that are obviously going wrong with that theory?
17:15:29 <int-e> (rational agents, lol)
17:15:53 <korvo> Of course, yeah. (Personally I'm still waiting for a categorical formulation of markets; absent one, I'm not convinced that they have a nice algebraic theory.)
17:18:56 <int-e> korvo: what exactly is FNP? f(x) = y can be verified in polynomial time?
17:19:10 <int-e> (I can look it up if the answer is no)
17:19:35 <int-e> (I guess I could look it up regardless :-P)
17:19:54 <korvo> int-e: I think there's a couple equivalent formulations. I think of it as a generalization of ♯NP; it's like NP but all problems are valued in nats instead of Booleans.
17:21:32 <korvo> But we can take any countable domain, I think, so that we can have functions M -> {R} from markets to computable sets of computable reals. And that would formalize Nash equilibria, given a formalization of markets.
17:21:55 <int-e> hah, of course "FNP class" does not eliminate the "family nurse practitioner" false positive ;) ("complexity" did the trick)
17:23:14 <korvo> In this case, the part that's quick to verify is a function R × M -> 2 which checks that a particular market valuation is Nash by checking that each market participant doesn't have any better options; the part that's expensive is computing the history of the market's evolution.
17:24:06 <int-e> Hmm not sure I see the #NP (model counting) connection.
17:25:40 <korvo> Nash equilibria aren't unique; there's multiple possible histories which converge.
17:26:38 <int-e> I mean, FNP doesn't count.
17:26:57 <korvo> Oh, sure. It's more general than that.
17:27:37 <korvo> I mean, yes, I'm wrong; I'm just saying that I think of function problems as generalized counting of decision problems.
17:27:50 <int-e> I guess you can ask how many solutions there are and then it becomes #NP, more or less.
17:43:51 <b_jonas> https://complexityzoo.net/Complexity_Zoo:F#fnp doesn't seem to say that there's such a thing as FNP-completeness
17:51:58 <korvo> Aaronson omits many things, but yeah, it could well be the case that there's no such notion of completeness under reductions.
17:52:43 <b_jonas> do you know what kind of reduction this needs?
17:52:52 <korvo> Note that there's no such notion of PPAD-completeness either. It happens to be the case that the problem of finding Nash equilibria is complete for PPAD, but I'm not sure if there's a nice category PPADC of such problems or if Nash is a special case.
17:53:14 <b_jonas> different reductions can result in different notions of completness I think
17:53:39 <b_jonas> but maybe it's obvious in this case
17:53:39 <korvo> I imagine it's the same sort of reduction as in NP-completeness: a computable poly-time rewrite of the input problem. I'd guess that we also need a contravariant computable poly-time adapter for the output, so that we can transform the outputs from one problem to another too.
17:54:05 <korvo> Oh, yes, for sure. For example the category NPC is specifically about computable poly-time reductions.
17:56:40 <b_jonas> and like sometimes you want to allow multiple calls to an oracle
17:57:47 <int-e> korvo: you might have to poly-time manipulate the output too?
17:59:52 <b_jonas> ooh, this may be relevant: https://complexityzoo.net/Complexity_Zoo_References#dgp05
18:01:14 <b_jonas> C. Daskalakis, P. W. Goldberg, and C. H. Papadimitriou "The Complexity of Computing a Nash Equilibrium", SIAM J. Comput. 39(1):195-259, 2009. doi:10.1137/070699652 Originally appeared in STOC 2006, Author's website conference version "https://people.csail.mit.edu/costis/simplified.pdf" .
18:02:43 <int-e> yeah the PDF I linked above is a follow-up for that work (well, an earlier technical report version of it)
18:03:25 <korvo> int-e: Yeah. Like, imagine each function problem is a general arrow I -> O in some category. To transform it to X -> Y, we need both X -> I and also O -> Y, with the latter contravariant. This doesn't matter for NPC because everything is X -> 2 there.
18:08:47 -!- impomatic has joined.
18:09:56 -!- impomatic has quit (Client Quit).
18:30:04 -!- DOS_User_webchat has joined.
18:31:20 -!- DOS_User_webchat has quit (Remote host closed the connection).
18:38:20 -!- Lord_of_Life_ has joined.
18:39:32 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
18:40:57 -!- impomatic has joined.
18:41:15 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:50:27 <esolangs> [[FizzBuzz]] https://esolangs.org/w/index.php?diff=150177&oldid=150108 * Jan jelo * (+947) /* Examples */
18:54:53 <esolangs> [[Muriel]] https://esolangs.org/w/index.php?diff=150178&oldid=149501 * Jan jelo * (+955) /* Examples */
18:55:54 <esolangs> [[Muriel]] M https://esolangs.org/w/index.php?diff=150179&oldid=150178 * Jan jelo * (+4) /* 99 bottles of beer */
18:56:37 <esolangs> [[Muriel]] M https://esolangs.org/w/index.php?diff=150180&oldid=150179 * Jan jelo * (+5) /* Hello, world! */
19:27:43 <esolangs> [[Just]] https://esolangs.org/w/index.php?diff=150181&oldid=150059 * 47 * (-12)
20:13:35 -!- int-e has quit (Remote host closed the connection).
20:14:13 -!- int-e has joined.
20:14:50 -!- lambdabot has quit (Remote host closed the connection).
20:16:27 -!- lambdabot has joined.
20:19:06 <esolangs> [[Switch gr]] https://esolangs.org/w/index.php?diff=150182&oldid=149983 * Ractangle * (+437) /* Syntax */
20:20:11 <esolangs> [[Switch gr]] https://esolangs.org/w/index.php?diff=150183&oldid=150182 * Ractangle * (+0) the r is lowercase
20:24:21 -!- chomwitt_alt has quit (Ping timeout: 248 seconds).
20:24:21 -!- chomwitt has quit (Ping timeout: 248 seconds).
20:31:02 <esolangs> [[Switch gr]] https://esolangs.org/w/index.php?diff=150184&oldid=150183 * Ractangle * (+7) /* The IMP */
20:47:25 -!- ais523 has joined.
21:03:07 <esolangs> [[FizzBuzz]] M https://esolangs.org/w/index.php?diff=150185&oldid=150177 * Jan jelo * (-6) /* Muriel */
21:04:35 <esolangs> [[Muriel]] M https://esolangs.org/w/index.php?diff=150186&oldid=150180 * Jan jelo * (-5) /* FizzBuzz */
21:07:27 <esolangs> [[Muriel/compile from minsky machine]] M https://esolangs.org/w/index.php?diff=150187&oldid=149232 * Jan jelo * (+4)
21:17:08 <esolangs> [[Underload/a interpreter in scheme]] M https://esolangs.org/w/index.php?diff=150188&oldid=150124 * Jan jelo * (+212)
21:30:44 <esolangs> [[NumbersPlusWhat]] N https://esolangs.org/w/index.php?oldid=150189 * FluixMakesEsolangs * (+1133) Initial version of this page
21:31:22 <esolangs> [[NumbersPlusWhat]] M https://esolangs.org/w/index.php?diff=150190&oldid=150189 * FluixMakesEsolangs * (+6) Fixed grammer error
21:31:53 <esolangs> [[NumbersPlusWhat]] https://esolangs.org/w/index.php?diff=150191&oldid=150190 * FluixMakesEsolangs * (-96)
21:32:40 <esolangs> [[NumbersPlusWhat]] M https://esolangs.org/w/index.php?diff=150192&oldid=150191 * FluixMakesEsolangs * (+34) fixed some stuff
22:23:39 <esolangs> [[Beunfunge]] M https://esolangs.org/w/index.php?diff=150193&oldid=150169 * Aadenboy * (+9) stub
22:32:34 -!- lisbeths has joined.
22:49:00 -!- Sgeo has joined.
23:09:29 -!- fowl0 has joined.
23:09:55 -!- fowl has quit (Read error: Connection reset by peer).
23:09:56 -!- fowl0 has changed nick to fowl.
23:34:34 -!- __monty__ has quit (Quit: leaving).