< 1649116944 163850 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Is this turing-complete? http://bitgrid.blogspot.com/2005/03/bitgrid-in-25-words-or-less.html < 1649117041 451895 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine < 1649117090 37837 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1649117243 802939 :feoh!~feoh@idlerpg/player/feoh NICK :Guest2673 < 1649117244 105319 :Guest2673!~feoh@idlerpg/player/feoh QUIT :Killed (molybdenum.libera.chat (Nickname regained by services)) < 1649117252 264859 :scjosh7!~scjosh@206.189.79.69 JOIN #esolangs scjosh :Josh < 1649117254 729647 :feoh!~feoh@idlerpg/player/feoh JOIN #esolangs feoh :Chris Patti < 1649117290 186980 :scjosh!~scjosh@206.189.79.69 QUIT :Read error: Connection reset by peer < 1649117290 510353 :scjosh7!~scjosh@206.189.79.69 NICK :scjosh < 1649117472 579247 :int-e!~noone@int-e.eu PRIVMSG #esolangs :wtf does "One lookup table per neighbor" mean < 1649117627 200454 :jix!~jix@user/jix QUIT :Ping timeout: 256 seconds < 1649117661 120663 :APic!apic@apic.name QUIT :Ping timeout: 256 seconds < 1649117747 618975 :jix!~jix@user/jix JOIN #esolangs jix :Jannis Harder < 1649117787 47649 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'm still looking for details. http://bitgrid.blogspot.com/2010/06/introducing-bitgrid-sim-version-003.html links to Google's old forge. (Remember when Google ran a forge and then destroyed it and 404'd everything? Good times.) < 1649117845 302092 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh I guess I get it. On each cycle, ech cell on the grid receives four inputs and produces four outputs for the neighbours according to a lookup table (FPGA style). That link seems to confirm that... < 1649117893 863461 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So there's an awkware parity phenomonon (if you color cells in a checkerboard, information in white cells can never affect information in black cells) < 1649117951 271359 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But since the LUTs are per cell... this should be able to simulate arbitrary clocked circuits with some polynomial slowdown < 1649118000 78159 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ACTION waves hands < 1649118143 203649 :int-e!~noone@int-e.eu PRIVMSG #esolangs :To keep things esoteric... maybe a GoL unit cell is a good target. < 1649118200 729867 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(That is, a bitgrid unit cell that simulates a GoL cell) < 1649118204 155526 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hm. That's a little tricky, actually, since we have to add the diagonals. < 1649118268 353349 :int-e!~noone@int-e.eu PRIVMSG #esolangs :A challenge? :P < 1649118379 503081 :APic!~apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149 < 1649118499 848796 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it does seem rather awkward to work with... I think mostly because the cells being stateless < 1649118603 391075 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I can't figure out how to pack the diagonal cell information into the spare three bits. There must be a trick to it. < 1649118658 730540 :int-e!~noone@int-e.eu PRIVMSG #esolangs :"spare three bits" < 1649118712 163403 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a PRIVMSG #esolangs :3 bits == 8 possibilities yeah? < 1649118828 553145 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a PRIVMSG #esolangs :And you have eight neighbors...hm < 1649118897 204652 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a PRIVMSG #esolangs :but if you have more than 1 live neighbor, that kind of naive implementation falls apart < 1649118969 678475 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a PRIVMSG #esolangs :If you only are working with diagonals though, then you have 4 neighbors < 1649119051 774949 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a PRIVMSG #esolangs :but that's still 4^2 possibilities? I think? < 1649119064 636089 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a PRIVMSG #esolangs :ACTION brain is made of cotton stuffing < 1649119143 398300 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I was assuming that one bit would go to the direct neighbors. And Conway's rule can be encoded in the LUT. All that's missing is some way of iteratively packing up diagonal neighbors and propagating them. < 1649119352 155296 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Here's an alternative way of thinking about this: https://int-e.eu/~bf3/tmp/bitgrid.png ...we have a grid (of bits, black and white cells). Each circle represents one of the bitgrid cells. On even generations, the red circles fire... replacing the four bits that they touch by four new ones (a function 2^4 -> 2^4; 16^16 possibilities). On odd generations, the blue circles fire in the same way. < 1649119409 158268 :int-e!~noone@int-e.eu PRIVMSG #esolangs :This is half of the state... there's a second such evolution with different bits on the grid and red circles firing on odd generations, blue circles firing on even generations. < 1649119513 184779 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I think disentangling those two independent parts of the state should help, even if the 45 degree shift in perspective may be a bit confusing. < 1649120284 368795 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. To represent those rules, maybe x 4x4 grid of 2x2 results is appropriate? It'll be hard to read in any case. But it should be better than those checkboxes that disconnect related entries. < 1649120751 95753 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm... I'm afraid this will get annoyingly big. < 1649121256 260300 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oh, maybe mot < 1649121258 130159 :int-e!~noone@int-e.eu PRIVMSG #esolangs :not < 1649122815 579682 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a QUIT :Remote host closed the connection < 1649123752 383107 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu JOIN #esolangs * :b_jonas < 1649123942 990447 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :is there a theorem where it's impossible to create a successful dynamically typed language, because if one would become popular, people always corrupt it with some just-in-time compilers that compile it as if it were typed to optimize and with language extensions to add static types? < 1649124359 644368 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I don't know of any such theorem < 1649124387 704467 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Although I had heard of similar thing that there will be a problem that will be if it is popular < 1649124666 604778 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :so far it's happened to at least python and javascript < 1649124805 443238 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Yes, it is < 1649126597 498405 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 246 seconds < 1649128489 701442 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq < 1649128966 607831 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 268 seconds < 1649129323 522855 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq < 1649129523 550959 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Melvar: I would not want to write "modify var (\x -> x + 1)", or probably even "modify var (+1)", rather than "var += 1". < 1649129552 439067 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Anyway, I was referring to a specific language feature they'd discussed before sort of similar to this. < 1649129984 503450 :shikhin!~shikhin@offtopia/offtopian QUIT :Quit: Quittin'. < 1649130099 932753 :shikhin!~shikhin@ahti.space JOIN #esolangs * :shikhin < 1649130156 821602 :shikhin!~shikhin@ahti.space CHGHOST ~shikhin :offtopia/offtopian < 1649130194 223618 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de PRIVMSG #esolangs :Oh, apologies for going off on a tangent then. Just noting that it’s an alternate way to make especially the example with multiple @ on the rhs work with potentially more flexibility and less special syntax. < 1649130629 586767 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 246 seconds < 1649130851 816008 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :calm down, nobody is trying to take away your +=s < 1649131007 485410 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de PRIVMSG #esolangs :@type (+=) < 1649131008 650124 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esolangs :(MonadState s m, Num a) => ASetter' s a -> a -> m () < 1649131027 21746 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de PRIVMSG #esolangs :There it is. < 1649131056 376329 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq < 1649131071 570974 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :hmm, maybe we need an april fools proposal to remove the += operator from C++. nobody is using it anyway now that we can just write std::replace_with(&var, std::bind(std::plus, std::_1, 1)); instead of x+=1; < 1649131103 784695 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :sigbovik is this Friday by the way < 1649131194 210547 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :though I think it would be std::exchange_with instead of std::replace_with < 1649131700 625690 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 246 seconds < 1649132149 127443 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq < 1649135449 101638 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 248 seconds < 1649136328 427721 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine < 1649138216 41269 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1649139862 546314 :fowl2!~fowlmouth@user/fowl JOIN #esolangs fowl :fowlmouth < 1649139953 501770 :fowl!~fowlmouth@user/fowl QUIT :Ping timeout: 246 seconds < 1649139953 585375 :fowl2!~fowlmouth@user/fowl NICK :fowl > 1649142066 701404 PRIVMSG #esolangs :14[[07User:Conor O'Brien/Compilers/Quartic14]]4 M10 02https://esolangs.org/w/index.php?diff=94462&oldid=53455 5* 03Conor O'Brien 5* (+1) 10typo fix < 1649144680 159587 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1649145197 355235 :Guest12!~Guest12@2601:647:5f00:6e99:6ced:99a9:e4f5:7ae2 JOIN #esolangs * :[https://web.libera.chat] Guest12 < 1649145395 706793 :Guest12!~Guest12@2601:647:5f00:6e99:6ced:99a9:e4f5:7ae2 QUIT :Client Quit < 1649147096 117728 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1649150673 162470 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03YoavLavi 5* 10New user account > 1649150846 554136 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=94463&oldid=94442 5* 03YoavLavi 5* (+146) 10Introduction > 1649150873 229997 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=94464&oldid=94412 5* 03YoavLavi 5* (+13) 10 < 1649151002 288733 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: FWIW the part of Python that makes the JIT (PyPy) is not really connected to the part that makes static types (MyPy). I'm not completely sure, but I think that JS JITs are the same way, not really using TypeScript. > 1649151042 50039 PRIVMSG #esolangs :14[[07Melody14]]4 N10 02https://esolangs.org/w/index.php?oldid=94465 5* 03YoavLavi 5* (+156) 10Created page with "[[Category:Languages]] {{infobox proglang |name=Melody |author=[[Yoav Lavi]] |year=[[:Category:2022|2022]] |files=.melody, .mdy }}" > 1649151128 479372 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94466&oldid=94465 5* 03YoavLavi 5* (+47) 10 > 1649151242 445522 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94467&oldid=94466 5* 03YoavLavi 5* (+179) 10 > 1649151307 225048 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94468&oldid=94467 5* 03YoavLavi 5* (+0) 10 > 1649151341 531633 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94469&oldid=94468 5* 03YoavLavi 5* (+37) 10 > 1649151447 289002 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94470&oldid=94469 5* 03YoavLavi 5* (+875) 10 > 1649151513 645566 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94471&oldid=94470 5* 03YoavLavi 5* (+25) 10 > 1649151551 857887 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94472&oldid=94471 5* 03YoavLavi 5* (-900) 10 > 1649151650 89433 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94473&oldid=94472 5* 03YoavLavi 5* (-1) 10 > 1649151674 196564 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94474&oldid=94473 5* 03YoavLavi 5* (+1) 10 > 1649151695 313628 PRIVMSG #esolangs :14[[07Melody14]]4 10 02https://esolangs.org/w/index.php?diff=94475&oldid=94474 5* 03YoavLavi 5* (-1) 10 < 1649153784 5716 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :realname < 1649155342 976097 :ais523!~ais523@213.205.242.244 JOIN #esolangs ais523 :(this is obviously not my real name) < 1649156060 797340 :definitelya!~hexagon@host-87-21-71-85.retail.telecomitalia.it JOIN #esolangs * :WRATH > 1649157120 881905 PRIVMSG #esolangs :14[[07Linguarcana14]]4 10 02https://esolangs.org/w/index.php?diff=94476&oldid=94435 5* 03FrankPujo 5* (+902) 10 > 1649157157 984259 PRIVMSG #esolangs :14[[07Linguarcana14]]4 M10 02https://esolangs.org/w/index.php?diff=94477&oldid=94476 5* 03FrankPujo 5* (+0) 10 > 1649157936 627999 PRIVMSG #esolangs :14[[07Linguarcana14]]4 10 02https://esolangs.org/w/index.php?diff=94478&oldid=94477 5* 03FrankPujo 5* (+317) 10 > 1649158829 20630 PRIVMSG #esolangs :14[[07Melody14]]4 M10 02https://esolangs.org/w/index.php?diff=94479&oldid=94475 5* 03PythonshellDebugwindow 5* (+93) 10Add categories and stub < 1649163111 958206 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Ping timeout: 260 seconds > 1649163255 483932 PRIVMSG #esolangs :14[[07Linguarcana14]]4 M10 02https://esolangs.org/w/index.php?diff=94480&oldid=94478 5* 03FrankPujo 5* (-14) 10 < 1649163406 186947 :razetime!~quassel@117.254.35.74 JOIN #esolangs razetime :razetime < 1649164246 948045 :tech_exorcist!13203@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1649165918 91874 PRIVMSG #esolangs :14[[07BEN++14]]4 N10 02https://esolangs.org/w/index.php?oldid=94481 5* 03ChuckEsoteric08 5* (+726) 10Created page with "'''BEN++''' is language by [[User:ChuckEsoteric08|ChuckEsoteric08]] that based on game "My Talking Ben". ==Commands== {| class="wikitable" |- | yes || increments cell under th..." < 1649166151 109375 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. So I have a GoL evaluation function in 40-ish bitgrid cells < 1649166220 551435 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Now I "just" have to route the signals. (I can deal with corners and diagonal adjacency; the tedious part will be to synchornizing the path lengths) < 1649166489 242507 :Soni!~quassel@autistic.space PRIVMSG #esolangs :hmm, can you make a programming language where everything is fields? < 1649166540 939401 :Soni!~quassel@autistic.space PRIVMSG #esolangs :everything must be algebra, everything must be infinitely refactorable < 1649166568 312953 :Soni!~quassel@autistic.space PRIVMSG #esolangs :code built for editing < 1649166590 549823 :Soni!~quassel@autistic.space PRIVMSG #esolangs :programming language built for refactoring < 1649166639 458770 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( it's refactoring all the way down. you never actually run the code. ) < 1649166642 396058 :Soni!~quassel@autistic.space PRIVMSG #esolangs :yes we know about math and calculus but like, those are too pure < 1649166666 848399 :Soni!~quassel@autistic.space PRIVMSG #esolangs :how do you dx/dt an io function, y'know? < 1649166690 847926 :int-e!~noone@int-e.eu PRIVMSG #esolangs :of course that's getting dangerously close to metaprogramming. or substitution calculi... like the lambda calculus... < 1649166705 810520 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Soni: easy. I don't :P < 1649166734 154710 :Soni!~quassel@autistic.space PRIVMSG #esolangs :dprint/dt < 1649166748 359832 :Soni!~quassel@autistic.space PRIVMSG #esolangs ::p < 1649166758 631066 :int-e!~noone@int-e.eu PRIVMSG #esolangs :continuous time is an illusion anyway < 1649166815 696332 :sprout_!~quassel@2a02:a467:ccd6:1:70be:3437:d6be:b5ae QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1649166843 113735 :sprout!~quassel@2a02:a467:ccd6:1:70be:3437:d6be:b5ae JOIN #esolangs * :anon < 1649167631 98071 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :realname < 1649168217 845346 :ais523!~ais523@213.205.242.244 QUIT :Quit: quit < 1649168665 911845 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1649170292 151556 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Soni: Those are four different questions! < 1649171743 26519 :int-e!~noone@int-e.eu PRIVMSG #esolangs :great... I have 8 signals arriving at the gate simultaneously. < 1649171778 786265 :int-e!~noone@int-e.eu PRIVMSG #esolangs :now for the hard part :-P < 1649171843 152152 :razetime!~quassel@117.254.35.74 QUIT :Ping timeout: 250 seconds < 1649171908 86821 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(the output signal has to be routed as well... and it will cross the other signals. crossing is easy in principle, but I need to modify the paths a little bit for that to work out... < 1649172372 540381 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :and you need to send the output signal 8 ways < 1649172438 844566 :razetime!~quassel@117.254.35.210 JOIN #esolangs razetime :razetime < 1649172446 895823 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :I'm still proud about my silly perl game of life evaluator < 1649172604 695996 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :https://www.perlmonks.com/?node_id=1008395 and https://codegolf.stackexchange.com/a/112163 < 1649172629 718048 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: righ. but duplication is also not a big deal < 1649172633 550929 :int-e!~noone@int-e.eu PRIVMSG #esolangs :*right < 1649172677 3667 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The problem is notation :P < 1649172730 834114 :int-e!~noone@int-e.eu PRIVMSG #esolangs :What I have looks like this... http://paste.debian.net/1236899/ ...each symbol denotes a different bitgrid cell < 1649172755 691655 :int-e!~noone@int-e.eu PRIVMSG #esolangs :the output (unrouted) is produced by the * < 1649172975 345995 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I should probably make this a bit bigger < 1649173781 782090 :int-e!~noone@int-e.eu PRIVMSG #esolangs :hmm is there a script with a mirrored Z? < 1649173790 31687 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(like И is a mirrored N) < 1649173897 509851 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I guess '5' is an option. < 1649174051 276108 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Or S, duh. < 1649175393 292797 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1649175479 454401 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1649175643 419844 :tech_exorcist!13203@user/tech-exorcist/x-0447479 QUIT :Quit: updating < 1649175726 107161 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1649175756 121962 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1649176451 946957 :tech_exorcist!13203@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1649178396 824029 :razetime!~quassel@117.254.35.210 QUIT :Ping timeout: 240 seconds < 1649181930 903041 :int-e!~noone@int-e.eu PRIVMSG #esolangs :phew. http://paste.debian.net/1236909/ < 1649182191 101354 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Or, more usefully, https://gist.github.com/int-e/c1b40dbed8a39a20dfc1d94fc25226b2 (includes Haskell code to actually do something with that cell...) < 1649182366 192891 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Corbin: So I claim to have a GoL unit cell for that bitgrid thingy. < 1649182768 343672 :river!river@tilde.team/user/river PRIVMSG #esolangs :s < 1649182770 171425 :int-e!~noone@int-e.eu PRIVMSG #esolangs :only 5 hours for routing < 1649182775 58031 :int-e!~noone@int-e.eu PRIVMSG #esolangs ::/ < 1649182779 638308 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(so tedious) < 1649182910 689989 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The thing is... you'd expect the hard part to be the evaluation function (9 bits input, horrible circuit, blah)... but actually the circuit becomes very regular if you start with a sorting network for the 8 neighbours (the = stands for a comperator in the network) and after that it's just 3 more boolean operations. < 1649182941 569582 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And after that it's all about timing. < 1649183355 288285 :int-e!~noone@int-e.eu PRIVMSG #esolangs :maybe there's a simpler way... there's ~1M possible cell functions and I'm only using a dozen or so... < 1649184217 106363 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Ping timeout: 248 seconds < 1649184478 976470 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: Wow, nice work. While I couldn't replicate your construction, I'm convinced that Bitgrid (as we understand it) is Turing-complete. Very cool. < 1649184577 719425 :chibi!~chibi@2602:304:b1ae:e770:12cb:8413:2c39:ee4a JOIN #esolangs * :chibiningen < 1649184690 502332 :int-e!~noone@int-e.eu PRIVMSG #esolangs :well, given an infinite grid of them (with a periodic setup, in the case of that unit cell) < 1649186306 134085 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1649186306 134135 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1649186443 703299 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1649186596 935851 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1649188645 479217 :definitelya!~hexagon@host-87-21-71-85.retail.telecomitalia.it QUIT :Quit: h < 1649189891 139388 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1649189933 58401 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds < 1649190055 30237 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1649193799 974892 PRIVMSG #esolangs :14[[07Parse this sic14]]4 10 02https://esolangs.org/w/index.php?diff=94482&oldid=94460 5* 03Digital Hunter 5* (-18) 10/* Roman numerals */ shorter one < 1649193812 681763 :tech_exorcist!13203@user/tech-exorcist/x-0447479 QUIT :Quit: Disconnecting < 1649196434 512487 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq < 1649197329 404933 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :so what's this bitgrid thing? the wiki doesn't seem to tell < 1649197354 179454 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :`? bitgrid < 1649197357 301070 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bitgrid? ¯\(°​_o)/¯ < 1649197364 224272 :int-e!~noone@int-e.eu PRIVMSG #esolangs :http://bitgrid.blogspot.com/2005/03/bitgrid-in-25-words-or-less.html < 1649197422 591223 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :hmm < 1649197430 513029 :int-e!~noone@int-e.eu PRIVMSG #esolangs :As far as we can make out... the idea is that you have a grid of cells; on each cycle, each cell receives a bit from each of its four neighbours, and uses a lookup-table to compute outputs to those neighbours for the next cycle < 1649197430 581764 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 246 seconds < 1649197437 72690 :int-e!~noone@int-e.eu PRIVMSG #esolangs :each cell has its own lookup-tables < 1649197456 695282 :int-e!~noone@int-e.eu PRIVMSG #esolangs :so it's a bit FPGA like, but terribly inefficient when it comes to data transport < 1649197532 856063 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :yeah, it's hard to cross signals that way < 1649197553 64838 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Nah, you just make a cell that copies bits from one side to the opposite side < 1649197569 409017 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(each output has its own lookup-table; I wasn't clear about that) < 1649197569 632202 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :huh? < 1649197578 476989 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :oh, there are separate outputs? < 1649197579 541196 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :I see < 1649197583 628060 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :that's a bit better < 1649197652 309204 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So.. if you play around with this a bit you'll notice that the state is separated into two parts that never interact; if you color the cells in a checkerboard fashion, bits sent from white to black cells determine the bits sent from black to white cells on the next cycle, and vice versa < 1649197688 656469 :b_jonas!~x@catv-176-63-3-240.catv.fixed.vodafone.hu PRIVMSG #esolangs :yeah < 1649197711 436743 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So you can restrict the analysis to having bits sent from white to black cells on one cycle, and from black to white cells on another. Turn things by 45 degrees and you get something like https://int-e.eu/~bf3/tmp/bitgrid.png < 1649197763 534763 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(blue circles and red circles are the white and black cells; the grid can hold the bits. On even cycles, the red circles modify the 4 bits they touch; on odd cycles, the blue circles do the same.) < 1649197790 663913 :int-e!~noone@int-e.eu PRIVMSG #esolangs :That view is what I'm actually using for my unit cell. < 1649197856 716511 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq < 1649197968 875171 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's still weird, but not having two non-interacting worlds at the same time helps, I think. < 1649198177 567553 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Corbin: what did you mean by "replicate"? < 1649198338 734967 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: I mean that I tried to work it out for myself, got confused, and gave up. But I'm impressed by how far you got. < 1649198380 260626 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I almost ran out of unicode symbols :-P < 1649198552 942046 :int-e!~noone@int-e.eu PRIVMSG #esolangs :http://paste.debian.net/1236909/ (many of these are visual, operating on 2x2 square: X swaps opposite bits; ↺ rotates the square left, Z is a 4-cycle that follows the Z and then jumps back from the bottom right to the top left... S is the opposite. half-arrows move one bit on the side the hook is on. And so... I think that about covers it except for = (comparator), & (logical and), | (logical... < 1649198558 945817 :int-e!~noone@int-e.eu PRIVMSG #esolangs :...or) and * (not-and), with flow form left to right...) < 1649198604 792987 :int-e!~noone@int-e.eu PRIVMSG #esolangs :The main point of the gist was to have those things actually defined, https://gist.github.com/int-e/c1b40dbed8a39a20dfc1d94fc25226b2#file-bitgrid-hs-L7-L41 < 1649198715 31297 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(but I guess it won't make sense unless you also know how to visualize those functions) < 1649199348 166897 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1649199784 688250 :utoneq!~utoneq@user/utoneq QUIT :Ping timeout: 268 seconds < 1649201168 99704 :utoneq!~utoneq@user/utoneq JOIN #esolangs utoneq :utoneq