(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) 
> 1736827991 266293 PRIVMSG #esolangs :14[[07User:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150120&oldid=150062 5* 03Jan jelo 5* (+39) 10/* Intepreters */
> 1736829533 843585 PRIVMSG #esolangs :14[[07PDAsephtwo14]]4 N10 02https://esolangs.org/w/index.php?oldid=150121 5* 03BoundedBeans 5* (+16102) 10Created 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
> 1736829580 379559 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=150122&oldid=150098 5* 03BoundedBeans 5* (+17) 10
> 1736829661 1323 PRIVMSG #esolangs :14[[07User:BoundedBeans14]]4 10 02https://esolangs.org/w/index.php?diff=150123&oldid=148989 5* 03BoundedBeans 5* (+108) 10
> 1736829670 718213 PRIVMSG #esolangs :14[[07Underload/a interpreter in scheme14]]4 10 02https://esolangs.org/w/index.php?diff=150124&oldid=150119 5* 03Jan jelo 5* (+1) 10
> 1736830083 379718 PRIVMSG #esolangs :14[[07User:BoundedBeans/My Funge-98 fingerprints14]]4 10 02https://esolangs.org/w/index.php?diff=150125&oldid=127692 5* 03BoundedBeans 5* (+0) 10Wrong fingerprint name
> 1736830462 937894 PRIVMSG #esolangs :14[[07User:BoundedBeans/My Funge-98 fingerprints14]]4 10 02https://esolangs.org/w/index.php?diff=150126&oldid=150125 5* 03BoundedBeans 5* (+162) 10Additional operations to GRPH
> 1736830553 731458 PRIVMSG #esolangs :14[[07User:BoundedBeans/My Funge-98 fingerprints14]]4 10 02https://esolangs.org/w/index.php?diff=150127&oldid=150126 5* 03BoundedBeans 5* (+55) 10Hyperbolic functions in GRPH
> 1736831521 844043 PRIVMSG #esolangs :14[[07Testeee14]]4 N10 02https://esolangs.org/w/index.php?oldid=150128 5* 03BestCoder 5* (+176) 10Created page with "hello i am really cool"
> 1736831534 75871 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150129&oldid=150128 5* 03BestCoder 5* (+1) 10
> 1736831544 173909 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150130&oldid=150129 5* 03BestCoder 5* (-2) 10
> 1736831556 583322 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150131&oldid=150130 5* 03BestCoder 5* (+0) 10
> 1736831566 371482 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150132&oldid=150131 5* 03BestCoder 5* (+0) 10
> 1736831576 36906 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150133&oldid=150132 5* 03BestCoder 5* (+0) 10
> 1736831585 966094 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150134&oldid=150133 5* 03BestCoder 5* (+0) 10
> 1736831594 847432 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150135&oldid=150134 5* 03BestCoder 5* (+0) 10
> 1736831603 304200 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150136&oldid=150135 5* 03BestCoder 5* (+0) 10
> 1736831634 505390 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150137&oldid=150136 5* 03BestCoder 5* (+0) 10
> 1736831643 126002 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150138&oldid=150137 5* 03BestCoder 5* (+0) 10
> 1736831661 989016 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150139&oldid=150138 5* 03BestCoder 5* (-2) 10
> 1736831669 644634 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150140&oldid=150139 5* 03BestCoder 5* (+2) 10
> 1736831679 430976 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150141&oldid=150140 5* 03BestCoder 5* (-2) 10
> 1736831700 519369 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150142&oldid=150141 5* 03BestCoder 5* (+15) 10
> 1736831718 969839 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150143&oldid=150142 5* 03BestCoder 5* (+16) 10
> 1736831728 226783 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150144&oldid=150143 5* 03BestCoder 5* (+1) 10
> 1736831740 339599 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150145&oldid=150144 5* 03BestCoder 5* (+2) 10
> 1736831760 978397 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150146&oldid=150145 5* 03BestCoder 5* (+9) 10
> 1736831796 385530 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150147&oldid=150146 5* 03BestCoder 5* (+41) 10
> 1736831820 592732 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150148&oldid=150147 5* 03BestCoder 5* (+19) 10
> 1736831834 789455 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150149&oldid=150148 5* 03BestCoder 5* (+0) 10
> 1736831854 337093 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150150&oldid=150149 5* 03BestCoder 5* (+12) 10
> 1736831864 78683 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150151&oldid=150150 5* 03BestCoder 5* (+2) 10
> 1736831891 858102 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150152&oldid=150151 5* 03BestCoder 5* (+23) 10
> 1736831903 362732 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150153&oldid=150152 5* 03BestCoder 5* (-2) 10
> 1736831921 178524 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150154&oldid=150153 5* 03BestCoder 5* (+16) 10
> 1736831934 802167 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150155&oldid=150154 5* 03BestCoder 5* (+77) 10
> 1736831956 911579 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150156&oldid=150155 5* 03BestCoder 5* (+336) 10
> 1736832039 124322 PRIVMSG #esolangs :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=150157&oldid=150092 5* 03BestCoder 5* (+30) 10/* UHH */
> 1736832155 625024 PRIVMSG #esolangs :14[[07Tictactoe14]]4 10 02https://esolangs.org/w/index.php?diff=150158&oldid=149441 5* 03BestCoder 5* (-9) 10
> 1736832291 941769 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150159&oldid=150156 5* 03BestCoder 5* (+99) 10
> 1736832305 549012 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150160&oldid=150159 5* 03BestCoder 5* (+8) 10
> 1736832337 179629 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150161&oldid=150160 5* 03BestCoder 5* (+1) 10
> 1736832364 815788 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150162&oldid=150161 5* 03BestCoder 5* (+428) 10
> 1736832378 768394 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150163&oldid=150162 5* 03BestCoder 5* (-536) 10
> 1736832391 305431 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150164&oldid=150163 5* 03BestCoder 5* (-40) 10
> 1736832399 536940 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150165&oldid=150164 5* 03BestCoder 5* (-22) 10
> 1736832415 366766 PRIVMSG #esolangs :14[[07Testeee14]]4 10 02https://esolangs.org/w/index.php?diff=150166&oldid=150165 5* 03BestCoder 5* (-217) 10
> 1736838780 229108 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02Testeee10]]": offtopic (not an esolang)
< 1736839029 684350 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1736843108 253366 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1736846916 453908 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 246 seconds
> 1736847039 5824 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Piet; 5*  10New user account
> 1736847378 2559 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=150167&oldid=150060 5* 03Piet; 5* (+158) 10
< 1736848017 863466 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k
< 1736848264 479088 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1736848558 123648 :APic!apic@apic.name PRIVMSG #esolangs :Hi
> 1736853176 967239 PRIVMSG #esolangs :14[[07Translated /Mihai Again!14]]4 10 02https://esolangs.org/w/index.php?diff=150168&oldid=150063 5* 03MihaiEso 5* (+164) 10
< 1736854048 427646 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
< 1736856149 240278 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 248 seconds
< 1736856331 823292 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
< 1736857079 905611 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1736857456 999106 :chomwitt_mobile!~alex@ppp-94-67-201-217.home.otenet.gr JOIN #esolangs chomwitt :realname
< 1736857566 517635 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
< 1736857697 632691 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
> 1736857740 631516 PRIVMSG #esolangs :14[[07Beunfunge14]]4 N10 02https://esolangs.org/w/index.php?oldid=150169 5* 03None1 5* (+265) 10Created 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]]"
> 1736858584 760448 PRIVMSG #esolangs :14[[07User:Thalassohora14]]4 10 02https://esolangs.org/w/index.php?diff=150170&oldid=115547 5* 03Thalassohora 5* (-134) 10
< 1736858856 826618 :chomwitt_mobile!~alex@ppp-94-67-201-217.home.otenet.gr QUIT :Remote host closed the connection
> 1736860184 618040 PRIVMSG #esolangs :14[[07Pyline Classic14]]4 10 02https://esolangs.org/w/index.php?diff=150171&oldid=149330 5* 03Jan jelo 5* (+1251) 10/* Examples */
> 1736860214 479379 PRIVMSG #esolangs :14[[07Pyline Classic14]]4 M10 02https://esolangs.org/w/index.php?diff=150172&oldid=150171 5* 03Jan jelo 5* (+2) 10
< 1736860983 718011 :impomatic!~impomatic@2a00:23c7:5fc9:5401:34ff:71f7:d545:7aba JOIN #esolangs * :[https://web.libera.chat] impomatic
< 1736862630 263460 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1736862993 836735 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150173&oldid=148099 5* 03I am islptng 5* (+580) 10/* desmos */ new section
< 1736863045 179691 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1736863057 22158 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :`olist 1317
< 1736863061 219258 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
< 1736863063 474701 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :I think that might be my fastest olist yet
< 1736865349 377056 :impomatic!~impomatic@2a00:23c7:5fc9:5401:34ff:71f7:d545:7aba PRIVMSG #esolangs :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.
< 1736865392 426841 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer
< 1736865445 22078 :impomatic!~impomatic@2a00:23c7:5fc9:5401:34ff:71f7:d545:7aba PRIVMSG #esolangs :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.
< 1736867024 184484 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
< 1736868075 184182 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1736868210 281443 :fowl!~fowl@user/fowl QUIT :Quit: Ping timeout (120 seconds)
< 1736868242 97460 :fowl!~fowl@user/fowl JOIN #esolangs fowl :fowl
< 1736869224 114520 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
< 1736869230 178958 :chomwitt_alt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname
< 1736869372 173576 :int-e!~noone@int-e.eu PRIVMSG #esolangs :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
< 1736869411 365153 :int-e!~noone@int-e.eu PRIVMSG #esolangs :...otherwise it's something called PPAD-complete that I have not yet understood, http://www.maths.lse.ac.uk/Personal/stengel/chendeng2nash.pdf
< 1736869433 246889 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(gotta love fat-fingering '- )
< 1736869536 119427 :int-e!~noone@int-e.eu PRIVMSG #esolangs :impomatic: in any case that's what I guess your question was, so hopefully that's good for some alternative keywords.
< 1736869681 303799 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Beautiful. Firefox is blocking http links returned by https://html.duckduckgo.com/html/ because they are a "Potential security risk".
< 1736870112 427339 :impomatic!~impomatic@2a00:23c7:5fc9:5401:34ff:71f7:d545:7aba QUIT :Quit: Client closed
> 1736870138 991245 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150174&oldid=150173 5* 03Ractangle 5* (+200) 10/* desmos */
> 1736870745 769961 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150175&oldid=150174 5* 03I am islptng 5* (+645) 10
< 1736871640 676605 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Ping timeout: 240 seconds
< 1736873098 66932 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
> 1736873920 493691 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150176&oldid=150175 5* 03Jan jelo 5* (+202) 10/* desmos */
< 1736874834 964814 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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%.
< 1736874870 638149 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736874922 448060 :int-e!~noone@int-e.eu PRIVMSG #esolangs :you mean on top of all the other things that are obviously going wrong with that theory?
< 1736874929 447509 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(rational agents, lol)
< 1736874953 861171 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.)
< 1736875136 310832 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: what exactly is FNP? f(x) = y can be verified in polynomial time?
< 1736875150 388264 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I can look it up if the answer is no)
< 1736875175 987257 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I guess I could look it up regardless :-P)
< 1736875194 237664 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736875292 284861 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736875315 208095 :int-e!~noone@int-e.eu PRIVMSG #esolangs :hah, of course "FNP class" does not eliminate the "family nurse practitioner" false positive ;) ("complexity" did the trick)
< 1736875394 789195 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736875446 847046 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm not sure I see the #NP (model counting) connection.
< 1736875540 349256 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Nash equilibria aren't unique; there's multiple possible histories which converge.
< 1736875598 327999 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I mean, FNP doesn't count.
< 1736875617 451597 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, sure. It's more general than that.
< 1736875657 193767 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I mean, yes, I'm wrong; I'm just saying that I think of function problems as generalized counting of decision problems.
< 1736875670 767579 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess you can ask how many solutions there are and then it becomes #NP, more or less.
< 1736876402 97852 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs : /query hackeso 
< 1736876404 22413 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :uh
< 1736876631 49482 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :https://complexityzoo.net/Complexity_Zoo:F#fnp doesn't seem to say that there's such a thing as FNP-completeness
< 1736877118 316902 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Aaronson omits many things, but yeah, it could well be the case that there's no such notion of completeness under reductions.
< 1736877163 229059 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :do you know what kind of reduction this needs?
< 1736877172 318698 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736877194 10603 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :different reductions can result in different notions of completness I think
< 1736877219 577251 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but maybe it's obvious in this case
< 1736877219 825974 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736877245 647636 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, yes, for sure. For example the category NPC is specifically about computable poly-time reductions.
< 1736877400 268664 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and like sometimes you want to allow multiple calls to an oracle
< 1736877467 628711 :int-e!~noone@int-e.eu PRIVMSG #esolangs :korvo: you might have to poly-time manipulate the output too?
< 1736877592 17145 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ooh, this may be relevant: https://complexityzoo.net/Complexity_Zoo_References#dgp05
< 1736877674 528436 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :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" . 
< 1736877763 873716 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yeah the PDF I linked above is a follow-up for that work (well, an earlier technical report version of it)
< 1736877805 232139 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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.
< 1736877813 682726 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :oh good
< 1736878127 720915 :impomatic!~impomatic@host86-162-113-0.range86-162.btcentralplus.com JOIN #esolangs * :[https://web.libera.chat] impomatic
< 1736878137 422860 :impomatic!~impomatic@host86-162-113-0.range86-162.btcentralplus.com PRIVMSG #esolangs :Thanks int-e
< 1736878196 117110 :impomatic!~impomatic@host86-162-113-0.range86-162.btcentralplus.com QUIT :Client Quit
< 1736879404 658436 :DOS_User_webchat!~DOS_User_@20.red-81-33-54.dynamicip.rima-tde.net JOIN #esolangs * :[https://web.libera.chat] DOS_User_webchat
< 1736879480 40185 :DOS_User_webchat!~DOS_User_@20.red-81-33-54.dynamicip.rima-tde.net QUIT :Remote host closed the connection
< 1736879900 421880 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1736879972 912431 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 272 seconds
< 1736880057 671096 :impomatic!~impomatic@2a00:23c7:5fc9:5401:34ff:71f7:d545:7aba JOIN #esolangs * :[https://web.libera.chat] impomatic
< 1736880075 670753 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
> 1736880627 660028 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=150177&oldid=150108 5* 03Jan jelo 5* (+947) 10/* Examples */
> 1736880893 429786 PRIVMSG #esolangs :14[[07Muriel14]]4 10 02https://esolangs.org/w/index.php?diff=150178&oldid=149501 5* 03Jan jelo 5* (+955) 10/* Examples */
> 1736880954 149360 PRIVMSG #esolangs :14[[07Muriel14]]4 M10 02https://esolangs.org/w/index.php?diff=150179&oldid=150178 5* 03Jan jelo 5* (+4) 10/* 99 bottles of beer */
> 1736880997 947756 PRIVMSG #esolangs :14[[07Muriel14]]4 M10 02https://esolangs.org/w/index.php?diff=150180&oldid=150179 5* 03Jan jelo 5* (+5) 10/* Hello, world! */
> 1736882863 712567 PRIVMSG #esolangs :14[[07Just14]]4 10 02https://esolangs.org/w/index.php?diff=150181&oldid=150059 5* 0347 5* (-12) 10
< 1736885615 122022 :int-e!~noone@int-e.eu QUIT :Remote host closed the connection
< 1736885653 270170 :int-e!~noone@int-e.eu JOIN #esolangs int-e :Bertram
< 1736885690 987728 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection
< 1736885787 568670 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal
> 1736885946 214379 PRIVMSG #esolangs :14[[07Switch gr14]]4 10 02https://esolangs.org/w/index.php?diff=150182&oldid=149983 5* 03Ractangle 5* (+437) 10/* Syntax */
> 1736886011 750019 PRIVMSG #esolangs :14[[07Switch gr14]]4 10 02https://esolangs.org/w/index.php?diff=150183&oldid=150182 5* 03Ractangle 5* (+0) 10the r is lowercase
< 1736886261 110434 :chomwitt_alt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 248 seconds
< 1736886261 167719 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd QUIT :Ping timeout: 248 seconds
> 1736886662 517790 PRIVMSG #esolangs :14[[07Switch gr14]]4 10 02https://esolangs.org/w/index.php?diff=150184&oldid=150183 5* 03Ractangle 5* (+7) 10/* The IMP */
< 1736887645 32541 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
> 1736888587 904638 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 M10 02https://esolangs.org/w/index.php?diff=150185&oldid=150177 5* 03Jan jelo 5* (-6) 10/* Muriel */
> 1736888675 473225 PRIVMSG #esolangs :14[[07Muriel14]]4 M10 02https://esolangs.org/w/index.php?diff=150186&oldid=150180 5* 03Jan jelo 5* (-5) 10/* FizzBuzz */
> 1736888847 182360 PRIVMSG #esolangs :14[[07Muriel/compile from minsky machine14]]4 M10 02https://esolangs.org/w/index.php?diff=150187&oldid=149232 5* 03Jan jelo 5* (+4) 10
> 1736889428 715684 PRIVMSG #esolangs :14[[07Underload/a interpreter in scheme14]]4 M10 02https://esolangs.org/w/index.php?diff=150188&oldid=150124 5* 03Jan jelo 5* (+212) 10
> 1736890244 632786 PRIVMSG #esolangs :14[[07NumbersPlusWhat14]]4 N10 02https://esolangs.org/w/index.php?oldid=150189 5* 03FluixMakesEsolangs 5* (+1133) 10Initial version of this page
> 1736890282 458143 PRIVMSG #esolangs :14[[07NumbersPlusWhat14]]4 M10 02https://esolangs.org/w/index.php?diff=150190&oldid=150189 5* 03FluixMakesEsolangs 5* (+6) 10Fixed grammer error
> 1736890313 349361 PRIVMSG #esolangs :14[[07NumbersPlusWhat14]]4 10 02https://esolangs.org/w/index.php?diff=150191&oldid=150190 5* 03FluixMakesEsolangs 5* (-96) 10
> 1736890360 71967 PRIVMSG #esolangs :14[[07NumbersPlusWhat14]]4 M10 02https://esolangs.org/w/index.php?diff=150192&oldid=150191 5* 03FluixMakesEsolangs 5* (+34) 10fixed some stuff
> 1736893419 809504 PRIVMSG #esolangs :14[[07Beunfunge14]]4 M10 02https://esolangs.org/w/index.php?diff=150193&oldid=150169 5* 03Aadenboy 5* (+9) 10stub
< 1736893954 242259 :lisbeths!uid135845@id-135845.lymington.irccloud.com JOIN #esolangs lisbeths :lisbeths
< 1736894940 378998 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1736896169 380166 :fowl0!~fowl@user/fowl JOIN #esolangs fowl :fowl
< 1736896195 955248 :fowl!~fowl@user/fowl QUIT :Read error: Connection reset by peer
< 1736896196 365014 :fowl0!~fowl@user/fowl NICK :fowl
< 1736897674 20208 :__monty__!~toonn@user/toonn QUIT :Quit: leaving