< 1715731273 387764 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I guess the alternative way is to generate all reasonable graph solutions with not many more non-belt non-tunnel elements than necessary, unconstrained of the geometry, and then try to use a SAT solver to lay them out in the available space using belts and tunnels connecting the other buildings required < 1715731294 133827 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So that's the kind of thing I wanted acyclicity for to avoid. < 1715731325 96142 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :or maybe get a printed circuit board design program to do the layout < 1715731364 292792 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, you have a point about that cycle < 1715731508 742571 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But acyclicity plus that static annotation should be enough to get somewhere... so it's not as nasty as encoding Turing machine computations. < 1715731596 208798 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Acyclicity of a graph can be encoded by assigning a rank to each vertex, and demand that the rank decreases along each edge. It's *relatively* SAT solver friendly.) < 1715731713 779815 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, but the hard part is that you do want to allow the kind of solution like in https://int-e.eu/~bf3/tmp/shapez-red-white-star-solution.png , or a simple one where you cut a half-shape to two quarter-shape, rotate one of them, then join them with a stacker, because these will often be required for a stable solution < 1715731749 814656 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so you can't just ban every merger where the inputs share a source < 1715731751 86240 :amby!~ambylastn@31.205.89.237 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 < 1715731751 173497 :int-e!~noone@int-e.eu PRIVMSG #esolangs :sure but that's not a (directed) cycle < 1715731761 293199 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, I know < 1715731774 887855 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :it's just that you may want to distinguish that from lockups similar to that < 1715731787 397641 :int-e!~noone@int-e.eu PRIVMSG #esolangs :you can reasonably keep track of flows I think < 1715731866 366750 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Though of course there are puzzles out there that do lock up eventually, so such solutions would be missed. < 1715731901 49151 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I still think the best chance could be to just have the SAT solvers do the geometry, and implement a mostly brute-force preprocessing that finds all the solution graphs with not too many processing buildings, in which case you can do a better lockup check without having to encode it to a SAT solver < 1715731915 131005 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(The way the puzzle verification works is that it clears all items, and then runs the level for up to a minute to see whether the win condition is satisfied. Which is still the case if you deliver 10 or so items quickly enough.) < 1715731958 320958 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :part of the problem is that the lockup can depend on geometry < 1715732001 568163 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so yeah, it's not as simple as I thought < 1715732040 209314 :int-e!~noone@int-e.eu PRIVMSG #esolangs :There are other nasty effects too... like if you have a cutter, feed one output directly to a stacker, and the other output takes a walk around the level... that will severely limit the throughput. < 1715732079 186959 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(the second output is supposed to reach the same stacker eventually) < 1715732105 388138 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(and the throughput is limited because that belt will be mostly empty unless you reset the involved buildings often enough) < 1715732129 687325 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I better go and sleep :) > 1715733416 331954 PRIVMSG #esolangs :14[[07User talk:Scratch14]]4 10 02https://esolangs.org/w/index.php?diff=127988&oldid=114371 5* 03XKCD Wrong Times Table 5* (+156) 10 > 1715733634 629274 PRIVMSG #esolangs :14[[07Nopstacle14]]4 10 02https://esolangs.org/w/index.php?diff=127989&oldid=127273 5* 03Ais523 5* (+11) 10/* Computational class */ a more efficient simple translation the older one was correct, but this one takes the IP along a shorter path and is probably a bit easier to understand > 1715737726 182836 PRIVMSG #esolangs :14[[07Indifferent14]]4 M10 02https://esolangs.org/w/index.php?diff=127990&oldid=127417 5* 03Scudmaster11 5* (+54) 10 < 1715739805 764256 :thaliaa!uid486183@id-486183.uxbridge.irccloud.com QUIT :Quit: Connection closed for inactivity > 1715744077 880642 PRIVMSG #esolangs :14[[072/9 of an esolang14]]4 10 02https://esolangs.org/w/index.php?diff=127991&oldid=126208 5* 03BoundedBeans 5* (+32) 10Clarified wording in Branching section > 1715745801 411801 PRIVMSG #esolangs :14[[07Main page14]]4 N10 02https://esolangs.org/w/index.php?oldid=127992 5* 03EvyLah 5* (+23) 10Redirected page to [[Main Page]] > 1715746080 185303 PRIVMSG #esolangs :14[[07Qwhy14]]4 N10 02https://esolangs.org/w/index.php?oldid=127993 5* 03BoundedBeans 5* (+3304) 10Created page with "Qwhy is a fungeoid esolang by [[User:BoundedBeans]] that aims to be different than other fungeoids, while also being weird. ==Playfield== The default playfield is laid out as in Funge-98, but it doesn't expand infinitely. The number of lines specified in the program > 1715746107 720806 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=127994&oldid=127902 5* 03BoundedBeans 5* (+11) 10 > 1715746129 913910 PRIVMSG #esolangs :14[[07User:BoundedBeans14]]4 10 02https://esolangs.org/w/index.php?diff=127995&oldid=127839 5* 03BoundedBeans 5* (+10) 10 < 1715751005 274553 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1715752655 728725 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1715756850 243461 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1715759605 854043 PRIVMSG #esolangs :14[[07Xenon14]]4 10 02https://esolangs.org/w/index.php?diff=127996&oldid=127982 5* 03RhubarbJayde 5* (+41) 10/* Hello World! */ > 1715760352 499631 PRIVMSG #esolangs :14[[07FALSE14]]4 M10 02https://esolangs.org/w/index.php?diff=127997&oldid=127543 5* 03Palaiologos 5* (+103) 10 < 1715760600 997859 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1715760971 136899 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=127998&oldid=127877 5* 03Ractangle 5* (+116) 10 < 1715761197 773765 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1715761313 954394 PRIVMSG #esolangs :14[[07Talk:Brainfuckconsole7414]]4 N10 02https://esolangs.org/w/index.php?oldid=127999 5* 03Ractangle 5* (+129) 10Created page with "i love it ~~~~" < 1715761773 805014 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1715762703 343073 PRIVMSG #esolangs :14[[07Xenon14]]4 10 02https://esolangs.org/w/index.php?diff=128000&oldid=127996 5* 03RhubarbJayde 5* (+1325) 10 > 1715762846 355697 PRIVMSG #esolangs :14[[07Xenon14]]4 10 02https://esolangs.org/w/index.php?diff=128001&oldid=128000 5* 03RhubarbJayde 5* (+8) 10 > 1715762915 709168 PRIVMSG #esolangs :14[[07Xenon14]]4 M10 02https://esolangs.org/w/index.php?diff=128002&oldid=128001 5* 03RhubarbJayde 5* (-8) 10 < 1715763441 598069 :Koen_!~Koen@2a04:cec0:1036:3bc4:8c9b:748b:33e:69c JOIN #esolangs * :Koen < 1715766472 455870 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1715768837 618051 :Koen_!~Koen@2a04:cec0:1036:3bc4:8c9b:748b:33e:69c QUIT :Ping timeout: 240 seconds < 1715769421 549164 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1715769927 431681 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila < 1715770853 275912 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1715770887 59880 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1715770935 333943 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1715771540 108991 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1715772328 789400 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving < 1715772397 767196 :amby!~ambylastn@31.205.89.237 JOIN #esolangs * :realname < 1715772569 876572 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Excess Flood < 1715772682 72033 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Is there a video game series where the first game is 3D but a sequel is 2D, and what's the best example for this? I'd like something where the games feel related, not eg. a character from a 3D franchise appearing in a Smash game. So a transition of something like Metroid Fusion vs Metroid Dread, or Super Mario 64 vs New Super Mario Bros Wii could < 1715772682 532612 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :count, except both Metroid and Mario clearly started with 2D games. I feel that something like this must exist because of how so many games were forced to have 3D elements on the Nintendo 64 for marketing reasons even when it made the game worse, but very often it didn't really end up in what you'd call a 3D game, just a 2D game with some 3D < 1715772683 57022 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :graphics. < 1715772892 267480 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron < 1715772944 911746 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Ideally I'd like one where both a 3D game before the first 2D game is clearly 3D and a good game, and the sequel 2D game is clearly 2D and is a good game. < 1715773105 463108 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Apparently there was a defunct recent not so good mobile phone game called "Mighty Doom" that seems to be 2D, but I don't know how much actual relation it has to previous Doom games other than the name bought for marketing. < 1715773377 330658 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 272 seconds < 1715773717 313763 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron < 1715775074 893388 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :It doesn't seem like Star Fox has any game that's fully 2D. < 1715779971 391827 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1715780334 118737 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1715780716 502394 PRIVMSG #esolangs :14[[07Talk:The14]]4 10 02https://esolangs.org/w/index.php?diff=128003&oldid=100361 5* 03PaxtonPenguin 5* (+149) 10 < 1715780727 179122 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed > 1715781146 607965 PRIVMSG #esolangs :14[[07Nopstacle14]]4 M10 02https://esolangs.org/w/index.php?diff=128004&oldid=127989 5* 03None1 5* (+17) 10/* See also */ > 1715781201 444845 PRIVMSG #esolangs :14[[07Yoctofunge14]]4 10 02https://esolangs.org/w/index.php?diff=128005&oldid=127949 5* 03None1 5* (+28) 10/* Computational class */ > 1715781363 962451 PRIVMSG #esolangs :14[[07Nopstacle14]]4 M10 02https://esolangs.org/w/index.php?diff=128006&oldid=128004 5* 03None1 5* (+5) 10 > 1715781711 80689 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=128007&oldid=126140 5* 03PrySigneToFry 5* (+119) 10/* What did I do for the translated script? */ new section > 1715781771 79029 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=128008&oldid=128007 5* 03PrySigneToFry 5* (+122) 10 > 1715781880 260847 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=128009&oldid=126392 5* 03PrySigneToFry 5* (+42) 10 > 1715782526 517303 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=128010&oldid=128009 5* 03PrySigneToFry 5* (+596) 10 < 1715782767 32023 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer < 1715782903 64510 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1715783029 504 :ajal!~ambylastn@31.205.89.228 JOIN #esolangs * :realname < 1715783035 933656 :amby!~ambylastn@31.205.89.237 QUIT :Read error: No route to host > 1715784379 33304 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=128011&oldid=128010 5* 03PrySigneToFry 5* (+16) 10 > 1715784443 390528 PRIVMSG #esolangs :14[[07AH'TALIQUAE ENGLISH14]]4 10 02https://esolangs.org/w/index.php?diff=128012&oldid=127730 5* 03PrySigneToFry 5* (+36) 10 > 1715784462 605494 PRIVMSG #esolangs :14[[07User:RhubarbJayde14]]4 10 02https://esolangs.org/w/index.php?diff=128013&oldid=127806 5* 03RhubarbJayde 5* (+68) 10 > 1715784785 57778 PRIVMSG #esolangs :14[[07AH'TALIQUAE ENGLISH14]]4 10 02https://esolangs.org/w/index.php?diff=128014&oldid=128012 5* 03PrySigneToFry 5* (+222) 10 > 1715784977 905688 PRIVMSG #esolangs :14[[07User talk:None114]]4 10 02https://esolangs.org/w/index.php?diff=128015&oldid=127742 5* 03PrySigneToFry 5* (+264) 10 < 1715786984 653631 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer < 1715787733 523148 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity > 1715789816 481507 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=128016&oldid=127962 5* 03PaxtonPenguin 5* (+70) 10 > 1715790167 407167 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=128017&oldid=128016 5* 03PaxtonPenguin 5* (+631) 10/* the hapi bleu box */ > 1715790223 69090 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=128018&oldid=128017 5* 03PaxtonPenguin 5* (+128) 10/* Button */ < 1715792100 289561 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1715794028 788540 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection < 1715794102 655467 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1715795519 449575 PRIVMSG #esolangs :14[[07Trampolines14]]4 M10 02https://esolangs.org/w/index.php?diff=128019&oldid=122762 5* 03Aadenboy 5* (-1) 10/* Language Overview */ < 1715795608 851794 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection < 1715795682 31997 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1715796048 491720 PRIVMSG #esolangs :14[[07Trampolines14]]4 10 02https://esolangs.org/w/index.php?diff=128020&oldid=128019 5* 03Aadenboy 5* (+795) 10/* Exponent Calculator */ updated > 1715796132 507939 PRIVMSG #esolangs :14[[07Trampolines14]]4 M10 02https://esolangs.org/w/index.php?diff=128021&oldid=128020 5* 03Aadenboy 5* (+177) 10/* Language Overview */ error handling > 1715796338 200003 PRIVMSG #esolangs :14[[07Trampolines14]]4 M10 02https://esolangs.org/w/index.php?diff=128022&oldid=128021 5* 03Aadenboy 5* (-39) 10Why did I use

...? > 1715797225 174185 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=128023&oldid=121744 5* 03Aadenboy 5* (+319) 10updation > 1715797644 773054 PRIVMSG #esolangs :14[[07Greguov-Korec universal Minsky machine14]]4 M10 02https://esolangs.org/w/index.php?diff=128024&oldid=127983 5* 03Stkptr 5* (-23) 10 > 1715798873 636503 PRIVMSG #esolangs :14[[07-Output14]]4 10 02https://esolangs.org/w/index.php?diff=128025&oldid=125765 5* 03EvyLah 5* (+230) 10@ with 9999 makes IP go spinnnnnnnnnnnnnnnnnnnnnnn > 1715798890 281222 PRIVMSG #esolangs :14[[07Greguov-Korec universal Minsky machine14]]4 10 02https://esolangs.org/w/index.php?diff=128026&oldid=128024 5* 03Stkptr 5* (+1462) 10M->M3 > 1715799072 323035 PRIVMSG #esolangs :14[[07Greguov-Korec universal Minsky machine14]]4 10 02https://esolangs.org/w/index.php?diff=128027&oldid=128026 5* 03Stkptr 5* (-27) 10 > 1715799305 465123 PRIVMSG #esolangs :14[[07Xenon14]]4 10 02https://esolangs.org/w/index.php?diff=128028&oldid=128002 5* 03RhubarbJayde 5* (+27) 10 > 1715799325 883980 PRIVMSG #esolangs :14[[07+Output14]]4 10 02https://esolangs.org/w/index.php?diff=128029&oldid=125767 5* 03EvyLah 5* (+259) 10implementation cleared up < 1715799764 119610 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection < 1715799837 272843 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1715800308 27432 PRIVMSG #esolangs :14[[07Okayako14]]4 10 02https://esolangs.org/w/index.php?diff=128030&oldid=106774 5* 03Kaveh Yousefi 5* (+164) 10Supplemented a countdown example program. > 1715800367 943599 PRIVMSG #esolangs :14[[07Okayako14]]4 10 02https://esolangs.org/w/index.php?diff=128031&oldid=128030 5* 03Kaveh Yousefi 5* (+234) 10Added a hyperlink to my implementation of the OkayakO programming language on GitHub and supplemented three page category tags. < 1715800402 669270 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1715800506 775144 PRIVMSG #esolangs :14[[07Greguov-Korec universal Minsky machine14]]4 M10 02https://esolangs.org/w/index.php?diff=128032&oldid=128027 5* 03Stkptr 5* (+55) 10 < 1715801159 599202 :Koen_!~Koen@2a04:cec0:1029:90d1:9539:2d80:e371:ebb0 JOIN #esolangs * :Koen > 1715801485 130485 PRIVMSG #esolangs :14[[07Greguov-Korec universal Minsky machine14]]4 10 02https://esolangs.org/w/index.php?diff=128033&oldid=128032 5* 03Stkptr 5* (+3091) 10Add more prose for the machine itself < 1715802148 293164 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1715802504 189450 PRIVMSG #esolangs :14[[07Minsky machine14]]4 10 02https://esolangs.org/w/index.php?diff=128034&oldid=123628 5* 03Keymaker 5* (+92) 10/* See also */ > 1715804893 278226 PRIVMSG #esolangs :14[[07Okayako14]]4 M10 02https://esolangs.org/w/index.php?diff=128035&oldid=128031 5* 03Kaveh Yousefi 5* (+65) 10Improved the orthography and formatting. < 1715805593 104771 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1715805737 237982 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1715807288 131797 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1715809332 215979 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer < 1715810173 788158 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1715814195 417701 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1715815762 328264 PRIVMSG #esolangs :14[[07User talk:None114]]4 M10 02https://esolangs.org/w/index.php?diff=128036&oldid=128015 5* 03None1 5* (+80) 10/* CHAPTER II */ < 1715816974 877387 :Koen_!~Koen@2a04:cec0:1029:90d1:9539:2d80:e371:ebb0 QUIT :Quit: Leaving...