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. 09:55:58 <APic> Hi 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:37 <wib_jonas> `olist 1317 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:40:02 <b_jonas> /query hackeso 17:40:04 <b_jonas> uh 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:03:33 <b_jonas> oh good 18:08:47 -!- impomatic has joined. 18:08:57 <impomatic> Thanks int-e 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).