< 1696205551 890449 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :You know how it's typical for ELF executables to put the ELF headers into a segment that gets loaded into memory? Is there also a convenient magic symbol for the address that's the start of the executable, the same way there's _etext / _edata / _end? < 1696205553 334090 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :I have a binary that wants to introspect its own headers, and it currently just `open`s /proc/self/exe, but it seems silly if they're already loaded. < 1696206473 137974 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :The extended context is, I'm embedding some resources in the binary that I don't want persistently loaded in memory, so I'm putting them in a special section that's not loaded into the process image, but instead at runtime mapping the relevant section of the file when needed. But this needs the file offset of the section. < 1696206723 961024 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I don't know much about it (or how to access them from a C code, how to program the linker to do such things, etc; it is probably documented but I have not read all of them) < 1696207211 994156 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :I guess it's possible the linker could even directly provide the file offset of the section as a symbol, but that'd probably require writing a custom linker script. < 1696207551 591310 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 258 seconds < 1696207701 916591 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1696210723 288501 :b_jonas!~x@89.134.29.167 QUIT :Ping timeout: 264 seconds > 1696212791 83747 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Paracompact633 5* 10New user account > 1696213076 410707 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=117326&oldid=117314 5* 03Paracompact633 5* (+217) 10/* Introductions */ Add introduction > 1696215505 748670 PRIVMSG #esolangs :14[[07Parenthesis Hell14]]4 10 02https://esolangs.org/w/index.php?diff=117327&oldid=70709 5* 03Paracompact633 5* (+343) 10/* Description */ Add explanation on how values work < 1696219526 615661 :CAT_S!apic@brezn3.muc.ccc.de QUIT :Ping timeout: 255 seconds < 1696220303 890307 :CAT_S!apic@brezn3.muc.ccc.de JOIN #esolangs CAT_S :A. Pic. - my name since YOLD 3149 > 1696222878 312671 PRIVMSG #esolangs :14[[07Eitherf*ck14]]4 M10 02https://esolangs.org/w/index.php?diff=117328&oldid=75781 5* 03PythonshellDebugwindow 5* (+47) 10Categories < 1696225602 586453 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Does any programming language have a scientific numeric type, that will keep track of the precision and sigfigs as well? < 1696228931 195866 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :zzo38: yes, e.g. Math::BigFloat in Perl < 1696228934 486236 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think "BigDecimal" is a common name < 1696229086 300138 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that said, I don't think it adapts the precision as arithmetic operations occur < 1696229126 251315 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so 1.00001 - 1.00002 is stil believed to be accurate to six significant figures, even though only about 0-1 significant figure is actually available < 1696229221 654376 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1696229511 111125 :Koen!~Koen@2a01:e34:ec7c:30:8dc8:156e:a258:819e JOIN #esolangs * :Koen > 1696229571 548872 PRIVMSG #esolangs :14[[07Talk:Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117329&oldid=117239 5* 03GUAqwq 5* (+105) 10/* Personal problem on the interpreter or on haskell */ > 1696231314 993282 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=117330&oldid=117323 5* 03Lilchiky 5* (+17) 10/* B */ > 1696231732 811180 PRIVMSG #esolangs :14[[07(SIASL)14]]4 M10 02https://esolangs.org/w/index.php?diff=117331&oldid=108168 5* 03K.avi 5* (+6) 10/* Meta instructions */ > 1696232923 32664 PRIVMSG #esolangs :14[[07Chicken14]]4 M10 02https://esolangs.org/w/index.php?diff=117332&oldid=117300 5* 03None1 5* (+16) 10/* NaN */ < 1696232984 528390 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1696235105 429214 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Ping timeout: 255 seconds < 1696235760 748798 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1696236545 255983 :sprout!~quassel@2a02-a448-3a80-1-1589-30f2-2d19-2ec7.fixed6.kpn.net QUIT :Ping timeout: 240 seconds > 1696236594 876330 PRIVMSG #esolangs :14[[07Dip14]]4 M10 02https://esolangs.org/w/index.php?diff=117333&oldid=117231 5* 03D 5* (+58) 10 > 1696236602 240681 PRIVMSG #esolangs :14[[07Dip14]]4 M10 02https://esolangs.org/w/index.php?diff=117334&oldid=117333 5* 03D 5* (-1) 10 < 1696236905 35786 :sprout!~quassel@2a02-a448-3a80-1-9caa-2abf-5a47-be39.fixed6.kpn.net JOIN #esolangs * :sprout > 1696237689 420377 PRIVMSG #esolangs :14[[07Dip14]]4 M10 02https://esolangs.org/w/index.php?diff=117335&oldid=117334 5* 03D 5* (+6) 10More descriptive intro > 1696237708 514370 PRIVMSG #esolangs :14[[07Dip14]]4 M10 02https://esolangs.org/w/index.php?diff=117336&oldid=117335 5* 03D 5* (+0) 10 < 1696239419 345665 :arseniiv!~arseniiv@188.64.15.98 JOIN #esolangs arseniiv :the chaotic arseniiv < 1696239659 785269 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1696244129 238454 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=117337&oldid=114874 5* 03GUAqwq 5* (+38) 10/* Ideas for Names */ < 1696247741 854531 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie < 1696251340 866458 :arseniiv!~arseniiv@188.64.15.98 QUIT :Ping timeout: 248 seconds < 1696251813 776927 :arseniiv!~arseniiv@188.64.15.98 JOIN #esolangs arseniiv :the chaotic arseniiv > 1696252986 646510 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117338&oldid=117234 5* 03GUAqwq 5* (-82) 10/* Binary numbers to integer */ > 1696253065 806237 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117339&oldid=117338 5* 03GUAqwq 5* (+30) 10/* Computational class */ > 1696253073 594706 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117340&oldid=117339 5* 03GUAqwq 5* (-2) 10/* Computational class */ > 1696253636 384354 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117341&oldid=117340 5* 03GUAqwq 5* (+99) 10/* Computational class */ now Transet is Turing Complete. Yeahhhhhhhhh > 1696253664 127829 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117342&oldid=117341 5* 03GUAqwq 5* (+1) 10/* Binary numbers to integer */ > 1696253831 611390 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117343&oldid=117342 5* 03GUAqwq 5* (+118) 10/* Binary numbers to integer */ > 1696253854 206167 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117344&oldid=117343 5* 03GUAqwq 5* (-28) 10/* Computational class */ > 1696253886 914280 PRIVMSG #esolangs :14[[07Bawkbawk14]]4 M10 02https://esolangs.org/w/index.php?diff=117345&oldid=117311 5* 03Lilchiky 5* (+465) 10adding minor help stuff > 1696253891 786577 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117346&oldid=117344 5* 03GUAqwq 5* (+0) 10/* Overview */ > 1696253912 382400 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117347&oldid=117346 5* 03GUAqwq 5* (+0) 10/* Overview */ > 1696253928 709612 PRIVMSG #esolangs :14[[07Bawkbawk14]]4 M10 02https://esolangs.org/w/index.php?diff=117348&oldid=117345 5* 03Lilchiky 5* (-2) 10small grammar mistake > 1696254036 497772 PRIVMSG #esolangs :14[[07Talk:Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117349&oldid=117329 5* 03GUAqwq 5* (+99) 10 > 1696254055 496723 PRIVMSG #esolangs :14[[07Talk:Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117350&oldid=117349 5* 03GUAqwq 5* (+9) 10/* Personal problem on the interpreter or on haskell */ > 1696254081 841284 PRIVMSG #esolangs :14[[07Bawkbawk14]]4 M10 02https://esolangs.org/w/index.php?diff=117351&oldid=117348 5* 03Lilchiky 5* (-10) 10forgot about the pentadecimal part > 1696254171 311618 PRIVMSG #esolangs :14[[07Bawkbawk14]]4 M10 02https://esolangs.org/w/index.php?diff=117352&oldid=117351 5* 03Lilchiky 5* (+0) 10no edits > 1696254260 251485 PRIVMSG #esolangs :14[[07Bawkbawk14]]4 M10 02https://esolangs.org/w/index.php?diff=117353&oldid=117352 5* 03Lilchiky 5* (+79) 10disclaimer > 1696254334 610027 PRIVMSG #esolangs :14[[07Bawkbawk14]]4 M10 02https://esolangs.org/w/index.php?diff=117354&oldid=117353 5* 03Lilchiky 5* (-68) 10oops no need for that > 1696258687 866755 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117355&oldid=117347 5* 03GUAqwq 5* (+244) 10Add Info Box < 1696258720 512602 :Lymia!lymia@ayame.servers.aura.moe QUIT :Quit: zzzz <3 < 1696258821 885003 :Lymia!lymia@ayame.servers.aura.moe JOIN #esolangs Lymia :Lymia Aluysia > 1696258825 41735 PRIVMSG #esolangs :14[[07Transet14]]4 10 02https://esolangs.org/w/index.php?diff=117356&oldid=117355 5* 03GUAqwq 5* (+6) 10 > 1696259077 470645 PRIVMSG #esolangs :14[[07Brainlove14]]4 M10 02https://esolangs.org/w/index.php?diff=117357&oldid=105199 5* 03PythonshellDebugwindow 5* (+29) 10Categories < 1696259090 955779 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Quit: Leaving. < 1696259148 73747 :Thelie!~Thelie@185.66.193.30 JOIN #esolangs * :Thelie < 1696259602 821422 :Thelie!~Thelie@185.66.193.30 QUIT :Quit: Leaving. < 1696260626 543746 :Thelie!~Thelie@2a03:2260:300c:400:d115:ecfe:1ef4:7596 JOIN #esolangs * :Thelie < 1696260928 770301 :Thelie!~Thelie@2a03:2260:300c:400:d115:ecfe:1ef4:7596 QUIT :Ping timeout: 272 seconds > 1696261126 512600 PRIVMSG #esolangs :14[[07Deadfish++14]]4 M10 02https://esolangs.org/w/index.php?diff=117358&oldid=117315 5* 03Europe2048 5* (+18) 10 < 1696261179 168293 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer < 1696262351 606674 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie < 1696263986 613852 :cpressey!~cpressey@host-2-102-82-207.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1696265993 504047 :cpressey!~cpressey@host-2-102-82-207.as13285.net QUIT :Quit: Client closed < 1696266361 615985 :cpressey!~cpressey@host-2-102-82-207.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1696266460 380013 :cpressey!~cpressey@host-2-102-82-207.as13285.net PRIVMSG #esolangs :Ha, I just accidentally posted something in #haskell that I meant to post in here. < 1696266481 990625 :cpressey!~cpressey@host-2-102-82-207.as13285.net PRIVMSG #esolangs :Something interesting I stumbled across recently, hadn't encountered before, might be of interest here: Augmenting a finite automaton with a single memory cell that holds an element of a given monoid or group: https://arxiv.org/abs/math/0601061v2 < 1696266501 352055 :cpressey!~cpressey@host-2-102-82-207.as13285.net QUIT :Client Quit < 1696267075 619499 :cpressey!~cpressey@host-89-240-119-146.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1696267077 976644 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Hmm, do you get more from two monoid/group memory cells rather than one (like you do from two integer cells)? < 1696267309 666789 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :I would imagine you could (often? sometimes?) use a single memory cell with the Cartesian product of the two monoids / groups. < 1696267318 193616 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :Then again, it's been a long day, my brain is guessing < 1696267753 200090 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :So for a finite automaton with some sort of cell containing an integer and some reasonable operations (increment/decrement/check for zero?), I vaguely remember that one gives you something weird, but two gives you something Turing-equivalent. < 1696267893 929991 :Koen!~Koen@2a01:e34:ec7c:30:8dc8:156e:a258:819e QUIT :Remote host closed the connection < 1696269684 393484 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Ping timeout: 240 seconds < 1696269903 684482 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :Yeah, it's something like, a counter can emulate a stack, so a 1-counter automaton can simulate a PDA and a 2-counter automaton can simulate an automaton with two stacks, i.e., a tape, i.e. a TM. < 1696269959 546941 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I don't think a 1-counter automaton can simulate a PDA. < 1696269980 862589 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I think you need two counters for a stack, with one scratch counter to do any operations on it. < 1696269982 504641 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :I'm not sure what carries over when you generalize from integers to these algebraic objects though.  The idea seems to be the automaton accepts only if the value returns to the identity element.  If you have e.g. a free monoid, that's basically never going to happen < 1696269998 406078 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :So you can do two stacks with four counters. But you can also simulate four counters with two counters. Something like that. < 1696271320 496724 :b_jonas!~x@89.134.28.172 JOIN #esolangs b_jonas :b_jonas < 1696271475 637042 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :cpressey: what operations do you have on that element? if you have an element that's a pair of integers, but you can only multiply it with a constant or compare to zero, then that probably won't let you make a two-counter machine. < 1696271644 698289 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :although it's possible that it might give you more power than a one-counter machine, because you could eg. recognize strings from {a,b,c,d} alphabet that has an equal number of a to b and equal number of c to d, which I think you can't do on a one-counter machine. if you have just one counter, you can't multiply it with primes so you can't do the encoding trick like with two counters. < 1696271658 625832 :cpressey!~cpressey@host-89-240-119-146.as13285.net QUIT :Ping timeout: 245 seconds < 1696271667 79150 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :I don't really know what you can recognize with one counter in fact < 1696272261 613944 :cpressey!~cpressey@host-89-240-119-146.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1696272304 770178 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :shachaf: you're right, I had to look it up again; you need 2 counters to simulate a stack.  So 4 counters can simulate a tape.  But (somehow) 2 counters can also simulate 4 counters so can simulate a tape. < 1696272655 545753 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I had started to read the linked PDF. < 1696272664 39129 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs * :Thelie < 1696272912 299228 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :fungot, how do you spell "antediluvian"? < 1696273016 268858 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :cpressey: yes, two counters (or, if you prefer, two stacks with just one possible symbol on the stack but an empty stack distinguishable) is Turing-complete, you just get another level of exponential slowdown compared to having three or more counters, see https://esolangs.org/wiki/Minsky_machine < 1696273205 630957 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :b_jonas: re "what operations do you have on that element" -- that element is a member of a monoid (or group).  The operation you get, is the monoid (or group) operation. < 1696273268 733088 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :cpressey: right, but you need some operation in how it can affect the automata, like the finite control part can compare the value to zero and go to a different state depending on whether it is, but it could be something more than that < 1696273304 76231 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :or it could be less, like the value is only accessable at the very end when the machine wants to halt, and forces the machine to fail to terminate if the value is nonzero < 1696274038 624899 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1696274158 612971 :cpressey!~cpressey@host-89-240-119-146.as13285.net QUIT :Ping timeout: 245 seconds < 1696274593 286633 :Koen!~Koen@2a01:e34:ec7c:30:18ab:51a0:d512:1d80 JOIN #esolangs * :Koen < 1696274679 612852 :cpressey!~cpressey@host-89-240-119-146.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1696274751 331185 :cpressey!~cpressey@host-89-240-119-146.as13285.net PRIVMSG #esolangs :b_jonas: How the element effects the automaton is, the automaton only accepts if the element is the identity element of the (monoid|group).  This is all pretty clearly described on the first page of the paper < 1696274820 553304 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I would think that the blind counter automata could accept e.g. ("xyz",0) if it originally accepted "xyz" according to the definition of "blind counter automata" in the document < 1696276300 438331 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :cpressey: oh, so you were reading a paper. ok. < 1696276326 991764 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :yeah, you linked to https://arxiv.org/abs/math/0601061v2 < 1696277540 146371 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1696278032 24767 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Ping timeout: 260 seconds < 1696278083 890750 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs * :Thelie > 1696278279 538986 PRIVMSG #esolangs :14[[07Talk:Nice14]]4 N10 02https://esolangs.org/w/index.php?oldid=117359 5* 03Europe2048 5* (+136) 10Created page with "An interepter for Nice may not be possible. --~~~~" < 1696278708 567070 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1696278734 647549 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :cpressey: in a stunning example of incredibly slow TCness constructions, my TCness proof for Netrunner uses two counters to simulate two counters < 1696278782 517763 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(using the normal "2 counters to simulate n counters" construction where one of the counters is a temporary, and the other stores products of primes Fractran-style < 1696278785 287776 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :) < 1696278810 621346 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so there's an extra exponential slowdown on top of the usual for two-counter machines < 1696278863 827360 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I did it that way because control flow around one of the counters is incredibly limited and I could only just about get a doubler, tripler, halver and thirder implemented in the space available < 1696278999 989884 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : shachaf: you're right, I had to look it up again; you need 2 counters to simulate a stack. So 4 counters can simulate a tape. But (somehow) 2 counters can also simulate 4 counters so can simulate a tape. ← to simulate a stack, you need 1 counter + 1 temporary; to simulate two stacks, you only need 2 counters + 1 temporary because they can share the temporary as long as you don't try to read from / write to both stacks at the same time < 1696279039 928539 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the temporary is needed to do multiplications/divisions, for much the same reason that you need a temporary to multiply/divide a cell in brainfuck < 1696279087 493420 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Isn't there a construction that uses 1 counter + 1 temporary for two stacks? < 1696279108 491626 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :shachaf: you can do it indirectly, but not directly < 1696279140 839384 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :by encoding two counters and a temporary into one of the counters, then using the other counter as a temporary to operate on it < 1696279927 488633 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :right, encoding as prime products, so your one counter is 2**a*3**b*5**c*... to encode a small number of counters (a,b,c,...), and you use the temporary to do multiplications and divisions (undoing the division if you find that it's not divisible) on the one real counter to simulate increment and decrement-zero-test on the simulated counters < 1696279986 936596 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :thus two levels of exponential slowdown to a two-counter Minsky machine, and three levels to ais523's netrunner proof < 1696280063 398460 :cpressey!~cpressey@host-89-240-119-146.as13285.net QUIT :Quit: Client closed < 1696280111 105358 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I suspect at least one of those levels is not essential to the Netrunner proof < 1696280319 870767 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Oh boy, I haven't seen this one before: https://knexator.itch.io/tres-undos < 1696280370 580206 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :shachaf: that is either the same or similar to another game that someone mentioned on this channel < 1696280445 826659 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :shachaf: https://logs.esolangs.org/libera-esolangs/2023-03.html#l2u < 1696280527 72290 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :so no, not the same game < 1696280579 727620 :b_jonas!~x@89.134.28.172 PRIVMSG #esolangs :but they do have some things in common < 1696281056 340074 :arseniiv!~arseniiv@188.64.15.98 QUIT :Quit: gone too far > 1696281056 654615 PRIVMSG #esolangs :14[[07Spiral Rise14]]4 10 02https://esolangs.org/w/index.php?diff=117360&oldid=95429 5* 03Ais523 5* (-4405) 10tag systems are Turing-complete with only 5 symbols, because you can compile any (without loss of generality) Spiral Rise program into a 5-symbol tag system > 1696281103 771154 PRIVMSG #esolangs :14[[07Spiral Rise14]]4 M10 02https://esolangs.org/w/index.php?diff=117361&oldid=117360 5* 03Ais523 5* (+15) 10/* 5-symbol tag system */ fix table formatting < 1696281150 949168 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I have not play game (it is not working on my computer), although, it does resemble other game I saw mentioned here before, which also I had seen some picture and guess its working, like it is based on undo some things but not others, I think. < 1696281167 844846 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I didn't expect tag systems to get quite *that* small – 19 seemed improvable-on but 5 is a big improvement from there > 1696281343 278449 PRIVMSG #esolangs :14[[07Spiral Rise14]]4 10 02https://esolangs.org/w/index.php?diff=117362&oldid=117361 5* 03Ais523 5* (+5564) 10restore the rest of the page, which accidentally got deleted (my browser crashed while I was making a previous edit, which may have caused the problem) < 1696281707 423185 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Remote host closed the connection < 1696281806 497413 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity > 1696283949 449348 PRIVMSG #esolangs :14[[07User:Theki/Dummy14]]4 10 02https://esolangs.org/w/index.php?diff=117363&oldid=107804 5* 03Theki 5* (+19) 10/* Data Types */ > 1696284294 386000 PRIVMSG #esolangs :14[[07Fish14]]4 10 02https://esolangs.org/w/index.php?diff=117364&oldid=108174 5* 03Theki 5* (+2) 10 < 1696285974 925295 :Koen!~Koen@2a01:e34:ec7c:30:18ab:51a0:d512:1d80 QUIT :Quit: Leaving... < 1696287162 441503 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1696287339 974203 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 255 seconds < 1696287369 163570 :moony3!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)