> 1737678095 517808 PRIVMSG #esolangs :14[[07User:Ashli Katt14]]4 M10 02https://esolangs.org/w/index.php?diff=150672&oldid=133092 5* 03Ashli Katt 5* (-80) 10 > 1737679314 182027 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150673&oldid=150671 5* 03Jan jelo 5* (+173) 10/* Practices and idioms */ > 1737679373 428431 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150674&oldid=150673 5* 03Jan jelo 5* (+11) 10/* Practices and idioms */ < 1737680306 135935 :xelxebar_!~xelxebar@wilsonb.com JOIN #esolangs xelxebar :ZNC - https://znc.in < 1737680668 685914 :xelxebar!~xelxebar@wilsonb.com QUIT :Quit: ZNC 1.7.2+deb3 - https://znc.in < 1737680669 990657 :FreeFull!~freefull@epq236.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1737680676 910922 :FreeFull!~freefull@83.20.58.236 JOIN #esolangs FreeFull :FreeFull > 1737681439 383223 PRIVMSG #esolangs :14[[07Talk:Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=150675&oldid=150551 5* 03PkmnQ 5* (+312) 10 < 1737683367 315984 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net 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 < 1737684004 669709 :bgh!~bgh@2607:fb90:f202:5112:16a6:9b65:e957:db51 JOIN #esolangs * :[https://web.libera.chat] bgh < 1737684672 453917 :moony!moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1737684701 486523 :moony7!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) > 1737684984 577087 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150676&oldid=150649 5* 03Aadenboy 5* (+306) 10edge cases < 1737685036 446207 :Guest6479!Ae@linux.touz.org QUIT :Ping timeout: 252 seconds < 1737685045 987912 :Ae`!Ae@linux.touz.org JOIN #esolangs * :Ae > 1737686059 453737 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150677&oldid=150676 5* 03Aadenboy 5* (+38) 10edge case > 1737687263 77658 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=150678&oldid=150615 5* 03PrySigneToFry 5* (+871) 10 > 1737687442 868151 PRIVMSG #esolangs :14[[07User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=150679&oldid=149554 5* 03PrySigneToFry 5* (+78) 10 > 1737687478 611726 PRIVMSG #esolangs :14[[0714]]4 M10 02https://esolangs.org/w/index.php?diff=150680&oldid=150600 5* 03PrySigneToFry 5* (-1) 10 < 1737688420 527965 :yewscion!~yewscion@2601:547:1400:1ab0:3de7:b1f7:6b12:760 JOIN #esolangs yewscion :Claire Rodriguez > 1737688436 996106 PRIVMSG #esolangs :14[[07Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=150681&oldid=150677 5* 03Aadenboy 5* (-226) 10/* A-B */ better subtraction algorithm > 1737688710 95074 PRIVMSG #esolangs :14[[07Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=150682&oldid=150681 5* 03Aadenboy 5* (+103) 10implemented > 1737689021 581343 PRIVMSG #esolangs :14[[07WhatLang14]]4 10 02https://esolangs.org/w/index.php?diff=150683&oldid=150674 5* 03Jan jelo 5* (+359) 10/* Example programs */ > 1737689045 618318 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150684&oldid=150683 5* 03Jan jelo 5* (-4) 10/* Example programs */ > 1737689072 289149 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150685&oldid=150684 5* 03Jan jelo 5* (-11) 10/* Example programs */ > 1737689351 660677 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=150686&oldid=150685 5* 03Jan jelo 5* (-5) 10/* Example programs */ oh,I can use arr@ < 1737690031 657615 :Sgeo_!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1737690155 458526 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1737690815 891597 :bgh!~bgh@2607:fb90:f202:5112:16a6:9b65:e957:db51 QUIT :Quit: Client closed < 1737691275 290604 :craigo!~craigo@user/craigo QUIT :Quit: Leaving > 1737693638 483197 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=150687&oldid=150534 5* 03MihaiEso 5* (+500) 10/* X-script 3.1? */ < 1737693813 656563 :yewscion_!~yewscion@c-73-236-134-241.hsd1.pa.comcast.net JOIN #esolangs yewscion :Claire Rodriguez < 1737693964 377204 :yewscion!~yewscion@2601:547:1400:1ab0:3de7:b1f7:6b12:760 QUIT :Ping timeout: 260 seconds > 1737696211 339624 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150688&oldid=150682 5* 03Aadenboy 5* (+6) 10/* A-B */ > 1737696957 433184 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=150689&oldid=150533 5* 03Ellos 5* (+151) 10/* Introductions */ > 1737699530 861990 PRIVMSG #esolangs :14[[07X-script/Examples14]]4 10 02https://esolangs.org/w/index.php?diff=150690&oldid=150592 5* 03PrySigneToFry 5* (+67) 10 > 1737699809 104954 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=150691&oldid=150687 5* 03PrySigneToFry 5* (+987) 10 > 1737700252 126260 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150692&oldid=150613 5* 03Jan jelo 5* (+295) 10/* QWOP */ > 1737700325 801573 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150693&oldid=150692 5* 03Jan jelo 5* (-296) 10/* Smalltalk */ wait,I read it wrong > 1737700374 112418 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150694&oldid=150693 5* 03Jan jelo 5* (+295) 10/* Smalltalk */ > 1737700466 806208 PRIVMSG #esolangs :14[[07Anti-Plushie language/PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=150695&oldid=150036 5* 03PrySigneToFry 5* (-237) 10 > 1737700610 149694 PRIVMSG #esolangs :14[[07PrySigneToFry-complete14]]4 10 02https://esolangs.org/w/index.php?diff=150696&oldid=150236 5* 03PrySigneToFry 5* (+70) 10 < 1737702689 453923 :yewscion_!~yewscion@c-73-236-134-241.hsd1.pa.comcast.net QUIT :Read error: Connection reset by peer > 1737703840 42910 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=150697&oldid=150678 5* 03Ractangle 5* (-5) 10we fix spelling > 1737703941 961434 PRIVMSG #esolangs :14[[07User talk:Tommyaweosme/Emojic collab with yayimhere and ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=150698&oldid=150679 5* 03Ractangle 5* (+225) 10/* To get code-golfing, I recommend to use the Base-100. */ > 1737704017 67014 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=150699&oldid=150680 5* 03Ractangle 5* (+5) 10 < 1737705279 276671 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1737706207 687951 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1737706406 25955 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150700&oldid=150694 5* 03Jan jelo 5* (+108) 10/* DUP */ > 1737706747 294341 PRIVMSG #esolangs :14[[07User talk:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=150701&oldid=150697 5* 03I am islptng 5* (+13) 10/* LifeWiki is down! */ > 1737706813 140128 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150702&oldid=150700 5* 03Jan jelo 5* (+168) 10/* Lisp */ < 1737711604 577804 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1737715464 302566 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1737715563 131503 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150703&oldid=150702 5* 03Jan jelo 5* (-4745) 10/* Brainfuck */ replace into a shorter one > 1737718776 987919 PRIVMSG #esolangs :14[[07X-script14]]4 10 02https://esolangs.org/w/index.php?diff=150704&oldid=150595 5* 03PrySigneToFry 5* (+49) 10 < 1737718882 436757 :APic!apic@apic.name PRIVMSG #esolangs :Hi < 1737720266 901843 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 272 seconds < 1737720291 814066 :V!~v@ircpuzzles/2022/april/winner/V JOIN #esolangs V :Wie? < 1737720372 220950 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User > 1737723394 566052 PRIVMSG #esolangs :14[[07Talk:List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150705&oldid=117628 5* 03Blashyrkh 5* (+268) 10Some doubts about Subleq quine < 1737723588 650658 :visilii!~visilii@46.61.242.99 QUIT :Read error: Connection reset by peer < 1737723667 142050 :visilii!~visilii@46.61.242.99 JOIN #esolangs * :ZNC - https://znc.in > 1737723968 645950 PRIVMSG #esolangs :14[[07Talk:List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150706&oldid=150705 5* 03Blashyrkh 5* (+91) 10/* Subleq */ > 1737724786 181317 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150707&oldid=150703 5* 03Blashyrkh 5* (+2846) 10/* Real Quines */ Lazy K quine, implemented a couple of years ago < 1737725910 895389 :Everything!~Everythin@195.138.86.118 JOIN #esolangs Everything :Everything < 1737726025 27528 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd JOIN #esolangs chomwitt :realname > 1737726115 593363 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=150708&oldid=150707 5* 03Jan jelo 5* (-1707) 10/* Brainfuck */ replace it into a shorter one > 1737726539 566622 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150709&oldid=150176 5* 03Blashyrkh 5* (+184) 10 > 1737727102 781880 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150710&oldid=150709 5* 03Jan jelo 5* (+26) 10/* Brainfuck quine */ > 1737727584 579927 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 10 02https://esolangs.org/w/index.php?diff=150711&oldid=150710 5* 03Blashyrkh 5* (+112) 10/* Brainfuck quine */ > 1737727617 929632 PRIVMSG #esolangs :14[[07User talk:Jan jelo14]]4 M10 02https://esolangs.org/w/index.php?diff=150712&oldid=150711 5* 03Jan jelo 5* (+7) 10/* Brainfuck quine */ > 1737727987 827837 PRIVMSG #esolangs :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=150713&oldid=150708 5* 03Jan jelo 5* (+33) 10/* Brainfuck */ > 1737728022 358020 PRIVMSG #esolangs :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=150714&oldid=150713 5* 03Jan jelo 5* (-1) 10/* Brainfuck */ > 1737728193 661588 PRIVMSG #esolangs :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=150715&oldid=150714 5* 03Jan jelo 5* (-4) 10/* Brainfuck */ < 1737728546 278991 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname > 1737731510 147238 PRIVMSG #esolangs :14[[07User:B jonas14]]4 10 02https://esolangs.org/w/index.php?diff=150716&oldid=147561 5* 03B jonas 5* (+6) 10/* Games that the esolangs community plays */ < 1737732902 455739 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1737733597 202180 PRIVMSG #esolangs :14[[07List of quines14]]4 M10 02https://esolangs.org/w/index.php?diff=150717&oldid=150715 5* 03Jan jelo 5* (+95) 10/* Bash */ < 1737735580 351160 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1737735679 873524 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1737735709 535264 :chomwitt!~alex@2a02:587:7a22:8c00:42b0:76ff:fe46:a5fd QUIT :Remote host closed the connection > 1737737538 726045 PRIVMSG #esolangs :14[[07Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=150718&oldid=150688 5* 03Aadenboy 5* (+1215) 10/* Basic arithmetic */ implement modulus > 1737738089 258068 PRIVMSG #esolangs :14[[07Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=150719&oldid=150718 5* 03Aadenboy 5* (+656) 10/* Basic arithmetic */ implement floored division > 1737738114 789570 PRIVMSG #esolangs :14[[07Iterate14]]4 M10 02https://esolangs.org/w/index.php?diff=150720&oldid=150719 5* 03Aadenboy 5* (+11) 10/* A/B */ < 1737739353 210944 :Everything!~Everythin@195.138.86.118 QUIT :Ping timeout: 252 seconds < 1737740535 499297 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, okay, I see how to parse BIIA? in one pass. With lots of reallocation or slicing/indexing arithmetic. Not worth it. < 1737741159 399548 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname > 1737741653 391832 PRIVMSG #esolangs :14[[07Marb14]]4 10 02https://esolangs.org/w/index.php?diff=150721&oldid=149937 5* 0347 5* (+153) 10/* Syntax */ > 1737741671 569625 PRIVMSG #esolangs :14[[07Marb14]]4 10 02https://esolangs.org/w/index.php?diff=150722&oldid=150721 5* 0347 5* (-2) 10/* Truth-machine */ > 1737741729 171638 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=150723&oldid=148876 5* 03B jonas 5* (+465) 10/* Ideas for Names */ ambiguous classical mythology names < 1737741852 582827 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: you can use one of the union tree structures in CLRS to find the connected components in one pass, but it's indeed not worth because parsing is just a small part of running a BIIA program so the rest of the execution will overshadow it in resource costs anyway. < 1737741904 33119 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Sure. What I'm finding is that the allocation of each tile's storage needs to be bounded, and so I need a pass to compute the bounds before I can start copying into the tile. The graph traversal is indeed a very slick way to get that first pass done. < 1737741978 252945 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :you could also borrow a Piet parser for this < 1737741986 261134 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :since that identifies connected components as well < 1737742269 746031 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1737742313 548152 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm set. Next step is to figure out non-interactive execution, starting with cases without I/O. > 1737743164 83861 PRIVMSG #esolangs :14[[07Anti-Plushie language14]]4 M10 02https://esolangs.org/w/index.php?diff=150724&oldid=142465 5* 03Aadenboy 5* (+97) 10 > 1737743179 447746 PRIVMSG #esolangs :14[[07Anti-Plushie language14]]4 M10 02https://esolangs.org/w/index.php?diff=150725&oldid=150724 5* 03Aadenboy 5* (+3) 10 < 1737743890 266068 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1737744325 652235 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 244 seconds < 1737744606 519617 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1737746953 313673 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1737747107 26091 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1737747716 509198 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1737747840 28557 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1737747915 332272 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, non-interactive execution is just graph search. So interactive BIIA? should be mere interleaving of search with I/O, with output only -- uh, I guess I need terms. < 1737747985 922681 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :A *corner* will be a partial witness rectangle, filled in at (0,0), with no empty spaces in its interior. A *corner tile* has (0,0) filled in. < 1737748043 399040 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So, search can be decomposed into discrete sets of corners, starting with the set of corner tiles. Then I/O should be possible whenever the current set of corners all agree on the output. < 1737748049 306570 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :"just graph search"? < 1737748056 791250 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :what do you mean? < 1737748077 943744 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :To make that interactive, merely constrain the search relative to current input, and make the output relative to some initial segment of already-emitted output. < 1737748122 454832 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Like, we can imagine a graph whose vertices are corners and whose edges are labeled by tiles; an edge labeled with tile T indicates that T can be fitted to the source corner to form the target corner. < 1737748151 522846 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And then execution is merely graph search, looking for at least one corner which is a witness. The given semantics don't really allow for anything simpler. < 1737748196 5106 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"not worth it" - funnily enough I implement disjoint set forests relatively often because I think they're simple. (I'll do it in Haskell and pay the log(n) overhead from using persistent data structures instead of arrays) < 1737748258 668469 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: sure, but I'm saying specifically for But is it art < 1737748323 956375 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: Yeah I have no point. Except maybe that there's more than one cost metric. < 1737748359 788975 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's more of a tangent while I'm reminding myself what the semantics of BIIA are. < 1737748690 87895 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Ugh, I'm going to have to write an event loop if I want to do this from RPython. Debating whether to reuse the libuv bindings I wrote a while ago or hack up something that only handles stdio. < 1737748737 723997 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Or I could just put stdin into non-blocking mode. What's the worst that could happen~ < 1737749070 356176 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Ugh those semantics are awful :P I mean, from the perspective of actually trying to implement them.) < 1737749236 168864 :yewscion!~yewscion@c-73-236-134-241.hsd1.pa.comcast.net JOIN #esolangs yewscion :Claire Rodriguez < 1737749649 743020 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: And the reason why I don't think that it's overkill is because when scanning input linearly, you can have some pretty complicated intermediate connectivity relations that eventually collapse into a single component. https://paste.debian.net/1346663/ But indeed... this is just for parsing and that's not the difficult part. < 1737749872 931682 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Wait, are tiles allowed to be non-convex? I wasn't sure. < 1737749899 751195 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yes < 1737749922 832359 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I /assume/ that they can also have holes < 1737749932 410994 :int-e!~noone@int-e.eu PRIVMSG #esolangs :all the spec says is that they're connected < 1737749944 321893 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(and since holes are finite you can assume that there aren't any w.l.o.g. < 1737749946 171671 :int-e!~noone@int-e.eu PRIVMSG #esolangs :) < 1737749998 196619 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(you can pre-fill them; that may result in exponentially more tiles) < 1737750042 127188 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Couldn't that require pre-computing all possible inputs? "Exponentially" sounds like a real issue. < 1737750082 162 :int-e!~noone@int-e.eu PRIVMSG #esolangs :No, this is pure preprocessing. < 1737750087 416444 :int-e!~noone@int-e.eu PRIVMSG #esolangs :No input is involved yet. < 1737750092 755727 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Or output) > 1737750149 785761 PRIVMSG #esolangs :14[[07Egel14]]4 10 02https://esolangs.org/w/index.php?diff=150726&oldid=94234 5* 03B jonas 5* (+1034) 10Example programs < 1737750173 144777 :int-e!~noone@int-e.eu PRIVMSG #esolangs :You parse all tiles. Then, for each tile with a hole, you fill the hole in all possible ways and use the resulting unholey tiles instead. < 1737750228 486393 :int-e!~noone@int-e.eu PRIVMSG #esolangs :For implementations that try to be practical as much as possible this is probably a terrible idea of course. < 1737750313 584026 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah. Still, I see what you're saying about the theory. I suppose I could assume for now that there aren't any holes, and then add that preprocessing later on. < 1737750350 259254 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But it would multiply everything by a number of tiles, when instead the holes could be like mini-constraints with their own mini-clauses to satisfy. < 1737750364 867027 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yep < 1737750387 469777 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It's analogous to pre-computing tables for grammars, knowing that often it's possible to pre-compute one more layer by multiplying everything by some uncomfortably large constant. < 1737750418 295590 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(Where "uncomfortably large" is around 1.01 or so? And in practice computer science requires it to be at least 2, which is terrifying.) < 1737751038 855502 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh nice. It's not all that hard to prove that that compositeness test works. < 1737751451 159422 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Idea: Relabel the tiles as follows, https://paste.debian.net/1346669/ and then reason from the bottom that any rectangle you fill will be a 3n x 2m rectangle. Then look at the top right to see that n,m > 1.) < 1737751594 907135 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Each eb/+++ belongs to a separate tile; the ambiguity is limited to whether the - characters connect to the top or to the right and bottom.) < 1737751647 610451 :int-e!~noone@int-e.eu PRIVMSG #esolangs :err, or to the left > 1737753672 889581 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=150727&oldid=150723 5* 03Ractangle 5* (+133) 10/* Ideas for Names */ < 1737754042 640983 :bgh!~bgh@2607:fb90:f202:5112:16a6:9b65:e957:db51 JOIN #esolangs * :[https://web.libera.chat] bgh < 1737754232 424741 :bgh!~bgh@2607:fb90:f202:5112:16a6:9b65:e957:db51 PART :#esolangs > 1737754765 858995 PRIVMSG #esolangs :14[[07Counterlang14]]4 10 02https://esolangs.org/w/index.php?diff=150728&oldid=150572 5* 03Kaveh Yousefi 5* (+37) 10Rectified the Extended Backus-Naur Form (EBNF) description in order to admit counter names as subtrahends. < 1737755411 784019 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh and I guess this also shows that we can drop the middle column from all tiles and it still works (one needs to shift the 'eb' part too). > 1737755893 532513 PRIVMSG #esolangs :14[[07MoreMathRPN14]]4 M10 02https://esolangs.org/w/index.php?diff=150729&oldid=150550 5* 03Calculus is fun 5* (-2) 10/* 99 bottles of beer */ > 1737757603 369971 PRIVMSG #esolangs :14[[07D.U.C.K.14]]4 M10 02https://esolangs.org/w/index.php?diff=150730&oldid=108082 5* 03Calculus is fun 5* (+0) 10black whole -> black hole < 1737758075 728313 :DOS_User_webchat!~DOS_User_@20.red-81-33-54.dynamicip.rima-tde.net JOIN #esolangs * :[https://web.libera.chat] DOS_User_webchat > 1737758217 244157 PRIVMSG #esolangs :14[[07A+B Problem14]]4 M10 02https://esolangs.org/w/index.php?diff=150731&oldid=150610 5* 03Aadenboy 5* (+40) 10/* Iterate */ update < 1737758698 228000 :DOS_User_webchat!~DOS_User_@20.red-81-33-54.dynamicip.rima-tde.net QUIT :Remote host closed the connection < 1737759294 538373 :APic!apic@apic.name PRIVMSG #esolangs :cuy < 1737759295 526256 :APic!apic@apic.name PRIVMSG #esolangs :-y < 1737761029 930299 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1737761570 761850 PRIVMSG #esolangs :14[[07TimeWaste14]]4 M10 02https://esolangs.org/w/index.php?diff=150732&oldid=106654 5* 03TheCanon2 5* (+29) 10Turing completeness ignores delays