< 1592956872 237116 :user24!~user24@2a02:810a:1440:7304:9585:1783:b4d:2d50 QUIT :Remote host closed the connection < 1592957205 336816 :clog!~nef@bespin.org JOIN :#esoteric < 1592957581 478080 :LKoen!~LKoen___@81.255.219.130 QUIT :Remote host closed the connection < 1592958641 212842 :clog!~nef@bespin.org QUIT :Ping timeout: 265 seconds > 1592959111 833237 PRIVMSG #esoteric :14[[07Rfghjy14]]4 M10 02https://esolangs.org/w/index.php?diff=74354&oldid=73457 5* 03PythonshellDebugwindow 5* (+63) 10 > 1592959154 997790 PRIVMSG #esoteric :14[[07Rfghjy14]]4 M10 02https://esolangs.org/w/index.php?diff=74355&oldid=74354 5* 03PythonshellDebugwindow 5* (+1) 10 < 1592960417 514641 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1592960437 421334 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1592960586 759519 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1592961899 392148 :spencer__!~rain1@unaffiliated/rain1 QUIT :Remote host closed the connection < 1592961989 304186 :spencer__!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1592961989 446868 :spencer__!~rain1@unaffiliated/rain1 QUIT :Remote host closed the connection < 1592962002 458677 :spencer__!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1592962346 81488 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1592962372 928559 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1592962527 189661 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1592962577 959809 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1592962852 966290 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1592962882 292058 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1592963368 237168 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1592963382 356169 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1592965214 533845 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1592965681 948410 :clog!~nef@bespin.org JOIN :#esoteric < 1592966085 134312 :APic!apic@apic.name JOIN :#esoteric < 1592967645 478110 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1592968168 586233 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: Hello Dear Very Confidential < 1592968168 731048 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: he's a reddit troll/ chatterbot? why?) < 1592968181 117414 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: close, it's a subject from a spam mail < 1592968181 338079 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: do you follow? map requires a list. the second fastest way to show your scifi fnord witness or mormon or something? though they < 1592968434 704191 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1592968660 119374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I tried for a while to figure out what "Observed:" means on that website. < 1592968692 653759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Eventually I looked at the German word, Beobachtet, and I guess it means a person who's "watching" your puzzle or something. < 1592968695 545208 :int-e!~noone@int-e.eu PRIVMSG #esoteric :huh, context? < 1592968709 713481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?chlang=en&id=0003NX < 1592968736 695823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Only because you were commenting on something related to that website's URLs the other day.) < 1592968947 193302 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1592968975 264883 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: This is more about grammar (-ing vs. -ed), isn't it? < 1592968991 600526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess so. < 1592969008 636611 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, I don't find "beobachtet" any clearer than the english translation < 1592969012 817931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At first I thought it was page views, and then I thought it was something like a person recording themselves solving a puzzle so you can be sure they weren't cheating, or something. < 1592969032 413393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway maybe it's just confusilating. < 1592969275 489271 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( they also translated "views" as "Ansichten" which I would usually interpret as "view" in the sense of a personal interpretation of something. < 1592969278 554231 :int-e!~noone@int-e.eu PRIVMSG #esoteric :) < 1592969282 649631 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(In the forum.) < 1592969334 950913 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I'm struggling to find a good word fort *that*. < 1592969344 563145 :int-e!~noone@int-e.eu PRIVMSG #esoteric :-t < 1592969406 400769 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I guess "Abrufe" is the established term, even though it's technical (focussing on requests rather than the fact that they're usually displayed somewhere) < 1592969484 654946 :spencer__!~rain1@unaffiliated/rain1 QUIT :Remote host closed the connection < 1592969504 949242 :spencer__!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1592969507 546196 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How should this library support a whole bunch of data types? < 1592969551 601338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Say int x; OPT_INT(&x), int64_t x; OPT_INT64(&x); and so on with UINT64, unsigned long, etc. < 1592969567 9825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it should take a scanf-style format string or something and let scanf do the work? < 1592969637 79645 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://logic-masters.de/Raetselportal/Suche/erweitert.php clarifies. It has the option to search for puzzles that are observed/watched ("beobachtet") by more than a given number of people. No clue what that does though... notify you of new solvers? < 1592969651 997995 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Obviously I will not register just to find out. < 1592969691 301232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It suppots all of < <= = >= = < 1592969693 758718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Very thorough. < 1592969711 601593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's good that they have both strict and nonstrict inequality, since the number of solvers is real. < 1592969798 900912 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm missing a negation < 1592969824 921744 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I also like that = is the default < 1592969850 439820 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should solve my puzzles and then register in order to rate it at 120% goodness points. < 1592969859 777057 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, "toroidal". Toroidal Hashiwokakero could be confusing. < 1592969859 893608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I imagine you're really into laboriously solving sudoku puzzles by hand. < 1592969897 70015 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No. < 1592969925 401791 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I find Sudokus hard in an unsatisfying way. There's too much information to track for my small brain; I'm more of a fan of visual patterns. < 1592970012 86048 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was secretly imagining something more along those lines. < 1592970072 608945 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I can't look at a Sudoku and just see all the 1s (or whatever digit); I have to painstakingly scan all squares to find them. < 1592970083 54552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh man. The actual way you're supposed to tell whether sscanf matched the entire input string is with %n? < 1592970085 125814 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And finding missing numbers is worse. < 1592970099 169878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So much for the scanf idea. < 1592970116 250732 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I believe so, yes. sscanf is a bit of a pain. < 1592970124 434921 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So much for that. < 1592970166 515875 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I should just support intmax_t and call it a day. < 1592970173 923584 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or: Support nothing and call it a day. < 1592970277 905853 :clog!~nef@bespin.org QUIT :Ping timeout: 264 seconds < 1592970285 863276 :clog!~nef@bespin.org JOIN :#esoteric < 1592971169 242301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Here's a problem: 7 people solved my puzzle, so I'm pretty sure it's solvable. But I (and a person who wrote up their reasoning) is stuck on how to make a particular inference. < 1592971176 41574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/is/am/ < 1592971189 966383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or something, that grammatical situation is obviously impossible to deal with correctly.) < 1592971211 271839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I want to submit the puzzle to be solved by people but I don't know what to do about this one step. < 1592971337 194728 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net JOIN :#esoteric < 1592971372 204351 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... just nope. < 1592971438 353533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My SAT solver tells me it's true, so who needs anything else? < 1592972157 816352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it guaranteed in Linux that getauxval(AT_EXECFN) will exist and have some string value? < 1592972526 449183 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: you may break tools like valgrind < 1592972556 806160 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(though by the looks of it, that sets AT_EXECFN, but to argv[0] rather than the full path?) < 1592972616 895740 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :AT_EXECFN is already a relative path. < 1592972638 518094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I want an alternative to argv[0] that's reliable, since argv[0] can just be a null pointer. < 1592972672 845477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :LD_SHOW_AUXV=1 valgrind sleep 1 2>/dev/null --> [...] AT_EXECFN: sleep [...] < 1592972725 425905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, it shows an absolute path without valgrind in that case, interesting. < 1592972729 124632 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Why does the Wikipedia article about printing registration have a "see also" link that links to the Japanese wikipedia? < 1592972756 82961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` cd /bin; LD_SHOW_AUXV=1 ./sleep 0 | grep EXECFN < 1592972756 869313 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :AT_EXECFN: ./sleep < 1592972760 844413 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` LD_SHOW_AUXV=1 sleep 0 | grep EXECFN < 1592972762 660443 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :AT_EXECFN: /bin/sleep < 1592972793 711825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess this is the first argument to execve. < 1592972854 682484 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or execvp? that might explain the lack of path lookup < 1592972872 362406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, in the non-valgrind case. < 1592972886 660494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's populated by the kernel so I imagine it's based on execve. < 1592973090 45 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it just me or did glibc printf use to be able to handle null %s and now it doesn't? < 1592973150 213126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :dunno? it does print (null) here < 1592973151 53898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cc #include \n int main() { printf("%s", (char *)0); } < 1592973152 250868 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​(null) < 1592973173 136469 :int-e!~noone@int-e.eu PRIVMSG #esoteric :uh < 1592973193 648979 :int-e!~noone@int-e.eu PRIVMSG #esoteric :scratch that, it actually segfaults < 1592973213 237149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It segfaults here too. < 1592973218 623718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess they changed it at one point. < 1592973264 172998 :int-e!~noone@int-e.eu PRIVMSG #esoteric :printf("%s %d\n", (char *)0, 42); works fine? < 1592973282 563015 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah. < 1592973284 828877 :int-e!~noone@int-e.eu PRIVMSG #esoteric :This is gcc. < 1592973298 704521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :gcc optimizes printf("%s\n", ...) to puts. < 1592973302 946330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aha! < 1592973320 756264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now that you mention it I think I've noticed this before a trillion years ago and forgot about it. < 1592973348 848203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good thing printfing a null pointer is undefined behavior so this is fine. < 1592975142 118906 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :https://www.wothke.ch/blaster/ < 1592976649 975711 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net QUIT :Ping timeout: 246 seconds < 1592976737 64666 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net JOIN :#esoteric < 1592981595 562324 :spencer__!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1592981631 516185 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1592982777 367134 :tromp!~tromp@2a02:a210:ca3:2800:c9eb:32ec:4d8:8f76 JOIN :#esoteric < 1592985046 333861 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1592985246 935995 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com JOIN :#esoteric < 1592985721 751135 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1592985743 512390 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1592986007 629360 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1592986022 507996 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric > 1592986364 247385 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74356&oldid=74283 5* 03Chris Pressey 5* (+586) 10It's not a Kleene algebra. It might still be a semiring. > 1592986797 844977 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74357&oldid=74356 5* 03Chris Pressey 5* (-230) 10Make raw markup nicer to read, partially < 1592987175 42721 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net PRIVMSG #esoteric :Integer factorization using regex (with backreferences) https://yurichev.com/news/20200624_factorize_regex/ < 1592987520 845198 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1592987536 470239 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1592987768 56568 :b_jonas!~x@catv-176-63-11-153.catv.broadband.hu QUIT :Quit: leaving < 1592987792 854812 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1592987810 934487 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric > 1592987827 691920 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74358&oldid=74357 5* 03Chris Pressey 5* (-431) 10More of making raw markup nicer to read < 1592988094 286686 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :brilliant > 1592988441 860145 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74359&oldid=74358 5* 03Chris Pressey 5* (+224) 10/* Algebraic properties */ Note how this will need to be fixed, even if only a semiring. Thanks to arseniiv for noticing. < 1592988460 749997 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :do it in thue. > 1592988580 463170 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74360&oldid=74359 5* 03Chris Pressey 5* (+30) 10/* Algebraic properties */ Formatting < 1592988595 689169 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :if you built a decently-sized tech stack on top of thue, hotswapping code would be a breeze. > 1592988754 105652 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74361&oldid=74360 5* 03Chris Pressey 5* (+44) 10/* Algebraic properties */ The single-asteration property is more than a conjecture; the TM example shows it. > 1592988916 106576 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74362&oldid=74361 5* 03Chris Pressey 5* (+88) 10/* Algebraic properties */ Clarify < 1592989853 46206 :nfd!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1592990026 941252 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Ping timeout: 246 seconds < 1592990220 942069 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1592990236 474247 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1592990499 404536 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1592990514 260433 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1592991140 505365 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1592991292 989529 :nfd!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Ping timeout: 256 seconds < 1592991394 539104 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1592992403 437827 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric < 1592993341 430314 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1592993835 418766 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1592995690 893232 :LKoen!~LKoen___@81.255.219.130 JOIN :#esoteric < 1592996827 135368 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1592996842 984784 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1592997097 864667 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1592997112 939045 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric > 1592997279 799603 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74363&oldid=74362 5* 03Chris Pressey 5* (+81) 10/* Algebraic properties */ Attempt to fix the situation by stipulating that 1 & 1 = 1. > 1592998015 635128 PRIVMSG #esoteric :14[[07Tandem14]]4 10 02https://esolangs.org/w/index.php?diff=74364&oldid=74363 5* 03Chris Pressey 5* (+216) 10/* Algebraic properties */ Add informal justification. > 1592998163 533586 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74365&oldid=74364 5* 03Chris Pressey 5* (+104) 10/* Notes on Asteration */ Diction and markup > 1592998219 671421 PRIVMSG #esoteric :14[[07Tandem14]]4 M10 02https://esolangs.org/w/index.php?diff=74366&oldid=74365 5* 03Chris Pressey 5* (+25) 10/* Notes on Asteration */ qualify < 1592998606 135389 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1592998734 538490 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1592998777 687464 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1592999148 916563 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :RX->Y & (Q0->1 | Q3->4) == (RX->Y | Q0->1) & (RX->Y | Q3-4), but L(RX->Y | Q0->1) is not disjoint with L(RX->Y | Q3-4) so this == 0 < 1592999171 46818 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :So this disjointness rule needs to be reformed in a fairly deep way < 1592999314 289931 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :It's like & induces something that is dual to the non-determinism that | induces < 1592999362 141629 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :Multiple options for rewriting -> non-determinism, versus conflicting options for rewriting -> impossibility < 1592999550 729365 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :(Q0->1 | Q0->2) versus (Q0->1 & Q0->2). We have to start looking at the RHS. We can't just use L(), we need to look at the set of redexes. < 1592999574 464339 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1592999610 542465 :arseniiv!~arseniiv@136.169.210.76 JOIN :#esoteric < 1592999655 523862 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :how did it end up tata, tada, data and dada all mean different things < 1592999786 958503 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: data is an ordinary noun, dada is some modern art style -- trust modern artists to come up with stupid names, tata is a road vehicle brand name -- those all want short snappy brand names that they can write on the vehicle in a way that's easy to read from afar < 1592999806 687076 :LKoen!~LKoen___@81.255.219.130 QUIT :Quit: Leaving < 1592999898 895054 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :tata is a road vehicle brand name -- those all want short snappy brand names that they can write on the vehicle in a way that's easy to read from afar => I meant the “bye” thing, didn’t know about this < 1592999920 890336 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1592999940 44965 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :(though mainly that question was for lambdabot; though I should have mentioned fungot in it to make a combo) < 1592999940 156001 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: i'll make some tc later... in a sense < 1592999987 992315 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :well, it's more complicated, obviously Tata is multiple things => https://en.wikipedia.org/wiki/Tata < 1593000052 718756 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :the trucks are just what it reminded me at first < 1593000287 598207 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :arseniiv: As you pointed out, the algebra in Tandem is broken. I'm going to try to fix it. Since you're the only person who's implemented it, I'd welcome your feedback on this. (I've updated the article but the small change I've made so far does not go far enough.) < 1593000335 465463 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :I could try to fix it by making a large change to the language, but that feels unfair to the existing implementation :) < 1593000368 278210 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :(The large change I have in mind also does not really fit with the name "Tandem" anymore.) < 1593000373 93777 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :shachaf: UI translations => there are graphical email+calendar programs where a UI label says "From:" before the sender of an email and also before the start time of a calendar event. And then the people who write UI localization tables have to figure out what to put there, or how to get their bug report to disunify or disambiguate those < 1593000373 604858 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :translatable texts through. < 1593000388 254221 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: would it mend if we consider lα → α making no change to l? < 1593000474 489341 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Luckily I haven't seen this for a while. Somehow for this job, I managed to acquire a desktop installation with no UI programs appearing in Hungarian. Not even MS Office, which is quite a miracle, because it's not as easy to change its UI language as for the rest of windows. < 1593000498 266952 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Of course for Firefox I have to figure out how to switch its UI back to English once every two years, because they keep changing it. < 1593000557 302956 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :Well, lα → α already doesn't make a change? (But it is considered to succeed in matching and replacing. Would it make sense to change it to be considered a failure?) < 1593000568 597735 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :(gtg lunch, will read log.) < 1593000570 299854 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Firefox current solution => https://superuser.com/questions/488141/h/572027#572027 < 1593000571 426021 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com QUIT :Quit: WeeChat 1.9.1 < 1593000687 816127 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Of course now I don't have a Hungarian spell-checker in MS Office, but that's a worthy sacrifice < 1593000932 81729 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :" It suppots all of < <= = >= =" equal twice? yes, that's very throrough < 1593001376 585369 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :http://ucsx.org/ <-- after all those discussions of how to extend Unicode a few days ago, I found someone who made a proposal on how to extend Unicode's space arbitrarily < 1593001378 710354 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Fixed. Now I even have a Hungarian spellchecker. < 1593001570 949924 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Arcorann: nice. also, oh yeah, "ISO 10646", that's what they call the unicode-related standard, probably as a pun on "ISO 646" < 1593001625 841618 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Quit: impomatic < 1593001640 295643 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593001836 231985 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Arcorann: thanks for the link. ais523: ^ < 1593001897 298187 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com QUIT :Client Quit < 1593001911 24788 :impomatic!~impomatic@host86-152-245-222.range86-152.btcentralplus.com JOIN :#esoteric < 1593003138 623516 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric : Well, lα → α already doesn't make a change? (But it is considered to succeed in matching and replacing. Would it make sense to change it to be considered a failure?) => I’d then separate matching success from the set of all changes made so this could both succeed and do no changes, but I’m afraid that too could be too much for algebraic properties, I hope it isn’t > 1593003143 456960 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74367&oldid=74353 5* 03PythonshellDebugwindow 5* (+1) 10/* Snippets */ > 1593003253 441268 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74368&oldid=74367 5* 03PythonshellDebugwindow 5* (+64) 10/* Commands */ > 1593003444 568381 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74369&oldid=74368 5* 03PythonshellDebugwindow 5* (+196) 10/* 110010000100110110010 */ > 1593003465 640146 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74370&oldid=74369 5* 03PythonshellDebugwindow 5* (+6) 10/* Memory */ < 1593003637 940563 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :now I think I nailed one of uncomfortable things about great many fonts: their glyph for ∞ is too small < 1593003686 71117 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :something with relative size almost like in TeX is more nice < 1593004040 811678 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Read error: Connection reset by peer < 1593004060 519208 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1593004093 21377 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I've added many things to asm2bf since the last time I was here < 1593004098 833151 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :` ls < 1593004099 570064 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​? Permission denied < 1593004101 95256 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`ls < 1593004101 964189 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :asmbf-1.2.7 \ banana.txt \ bfi \ compiled_brachylog.pl \ egel-master \ egel-scripts \ egel.zip \ eGtbSgN68aHU \ just \ karma \ le \ output.b \ paste \ program \ spline \ spout \ test \ test.sh < 1593004103 4367 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :is hack eso gone? < 1593004139 146253 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :no, just laggy as usual, ok < 1593004293 241603 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so, all in all, I added data labels, r5 and r6 are stable and tested, the codebase is 95% C, conditional pipelines, advanced conditional instructions (c[log op][rel op]), flag register, effective adresses, virtual instruction calls, constant preprocessor for redefining symbols, long instruction names, bit operations, snippet optimizations, error messages, bfi decimal flags, rewritten bfmake in Perl, effective adresss and stack based adressing. < 1593004293 473488 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I also added the incunabulum to the repository < 1593004309 975366 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com JOIN :#esoteric < 1593004327 712132 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :all in all - I think so far it's amazing < 1593004438 376341 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so for example a modern hello world looks like this: &string / txt "Hello World!" / @puts / movf r2, *string(r1, r0, 1) / cne r2, 0 / cout r2 / cadd r1, 1 / cjnz %puts / out 10 < 1593004482 523586 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I haven't been updating the esolangs wiki page for a very long time, because I'm writing a developers journal about asm2bf and I plan to include all the documentation in there < 1593004518 340370 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so you'll link that from the wiki article? < 1593004529 428910 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :yes < 1593004538 237904 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I plan on removing all the content and just linking to it < 1593004557 818590 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :because it has a lot of latex-specific stuff and a lot of figures, I think it's not feasible to store it on esolangs wiki < 1593004574 158085 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and, that may sound ridicously, but asm2bf is slowly becoming a non-esolang < 1593004659 647256 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :kspalaiologos: especially since you have an interpreter for it that skips the whole historically motivated brainfuck phase. you might just turn it to an ordinary interpreted toy language < 1593004684 344438 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I really like the architecture though < 1593004689 280549 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :(or compiled if you add an x86_64 backend too) < 1593004698 992602 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :brainfuck has helped me innovate assembly a bit, how stupid it may sound < 1593004739 459913 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :sadly no one is interested in abstracting brianfuck, so I'm a lone developer > 1593004923 884522 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74371&oldid=74370 5* 03PythonshellDebugwindow 5* (+126) 10/* Snippets */ < 1593005020 675192 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :kspalaiologos: sure, a lot of toy languages have motivations, even if it's not too recognizable from the toy language then < 1593005256 550519 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :eg. komalpsz was directly motivated by pre-written programs that I wanted to try to run, scan and geo were motivated by a programming course where I was supposed to write a parser as one of the requirements, olvashato was supposed to help write homework where we had to submit a solution for the same task implemented in two different languages, < 1593005257 105708 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Amicus is an educational language where the motivation was to define Hyperamicus, etc < 1593005340 481673 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric : I’d then separate matching success from the set of all changes made so this could both succeed and do no changes <= lα → α already does succeed and make no changes though? (when l contains α, I mean; if it contains something else, it fails to match and makes no changes (because failing to match never makes a change)) < 1593005414 613710 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :iow I think they're already seperate: you can match and change, match and not change, or not match and not change < 1593005645 456545 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :arseniiv: It may help to step back. My original intent was that the rules form a Kleene algebra. The meaning for & doesn't work for that (and seems deeply broken too). A simple solution would be to make R1 & R2 mean "Apply R1 then apply R2", i.e. sequencing. Then most of the problems go away. The main problems that remain are: (a) the language should no longer be called "Tandem", and (b) you might not want < 1593005647 797156 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :to alter your interpreter that much :) < 1593005709 881320 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :There is a partial solution to that too though: make a new language, with a different name, where it's a Kleene algebra, and leave Tandem close to as it currently is but fix it by some small patch somehow, so that it at least forms something sensible, like a semiring. > 1593005878 946507 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74372&oldid=74371 5* 03PythonshellDebugwindow 5* (+175) 10/* Memory */ < 1593005972 711187 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric : lα → α already does succeed and make no changes though? (when l contains α, I mean; if it contains something else, it fails to match and makes no changes (because failing to match never makes a change)) => yeah but my impl treats it as a change to make some part of the original definition work, I already forgot which one < 1593006085 728304 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :one alteration would be to compute world diffs after applying the rule (so lα → α effects would be nil) but determine if the application was succesful not based on whether the diff is empty or not < 1593006117 382228 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :I’m not sure what identities will survive this, though < 1593006188 965468 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :in a way, lα → α should be considered “blocking”, as it is in the current impl, but it won’t be so in this new one < 1593006241 154999 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :I used Maybe in my sketch to capture whether it matched or not (Nothing indicates there was no match) - I didn't design it with the idea that you could infer that status just looking at the result of the rewriting < 1593006283 734367 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :though one could maybe add another rule, lα, which succeeds iff stack[l] = α (and lα…, which succeeds if α is a prefix of stack[l]), then we nicely differentiate blocking rules lα → α and non-blocking rules lα < 1593006336 938896 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :yeah it seems your sketch is closer to what I originally intended, hm < 1593006366 122007 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :(lα and lα… wouldn’t replace anything in ether case) < 1593006714 473645 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Ping timeout: 240 seconds < 1593006806 708735 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric > 1593007125 768455 PRIVMSG #esoteric :14[[07Assembly language14]]4 M10 02https://esolangs.org/w/index.php?diff=74373&oldid=68199 5* 03PythonshellDebugwindow 5* (+57) 10 > 1593007293 523707 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74374&oldid=64376 5* 03PythonshellDebugwindow 5* (+32) 10 > 1593007524 196734 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74375&oldid=74374 5* 03PythonshellDebugwindow 5* (+0) 10/* Example */ cat > 1593007545 314393 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74376&oldid=74375 5* 03PythonshellDebugwindow 5* (+2) 10/* Tape Segment */ > 1593007560 333188 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74377&oldid=74376 5* 03PythonshellDebugwindow 5* (-2) 10/* Tape */ > 1593007578 807369 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74378&oldid=74377 5* 03PythonshellDebugwindow 5* (-12) 10/* Interrupt */ > 1593007592 915865 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74379&oldid=74378 5* 03PythonshellDebugwindow 5* (-15) 10/* Example */ rm redundant rags > 1593007609 349177 PRIVMSG #esoteric :14[[07TAPASM14]]4 M10 02https://esolangs.org/w/index.php?diff=74380&oldid=74379 5* 03PythonshellDebugwindow 5* (+1) 10/* Register */ > 1593008179 71393 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74381&oldid=74372 5* 03PythonshellDebugwindow 5* (+463) 10/* Examples */ < 1593009210 905373 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1593009795 972766 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :arseniiv: Would you have any objection if I wanted to change Ri & Rj to mean "Apply Ri and, if successful, then apply Rj"? & is no longer commutative, but (instead of imposing a disjointness condition) we can observe that *if* the sets of labels of Ri and Rj are disjoint, *then* Ri & Rj commutes. < 1593010056 247123 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1593010281 426165 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: no, that’s cool > 1593010460 788023 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74382&oldid=74381 5* 03PythonshellDebugwindow 5* (+11) 10/* Commands */ < 1593010762 54050 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection > 1593010927 103707 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=74383&oldid=74382 5* 03PythonshellDebugwindow 5* (-3594) 10/* 110010000100110110010 */ > 1593010965 50449 PRIVMSG #esoteric :14[[0711001000010011011001014]]4 N10 02https://esolangs.org/w/index.php?oldid=74384 5* 03PythonshellDebugwindow 5* (+3731) 10Created page with "'''110010000100110110010''' is an esolang by [[User:PythonshellDebugwindow]]. ==Memory== 110010000100110110010 uses data (initialized to an right-unbounded infinite tap..." > 1593010999 594821 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=74385&oldid=74325 5* 03PythonshellDebugwindow 5* (+31) 10/* Non-alphabetic */ + [[110010000100110110010]] > 1593011027 530617 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74386&oldid=74326 5* 03PythonshellDebugwindow 5* (+116) 10/* Languages */ < 1593011152 847225 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Read error: Connection reset by peer < 1593011198 924737 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1593011279 249272 :Frater_EST!~adrianbib@172.242.0.73 QUIT :Read error: Connection reset by peer > 1593011323 424872 PRIVMSG #esoteric :14[[07Asvi14]]4 M10 02https://esolangs.org/w/index.php?diff=74387&oldid=73196 5* 03PythonshellDebugwindow 5* (+46) 10/* Implementations */ cats < 1593011329 884597 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1593011375 900516 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1593011392 911129 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1593011698 943847 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Ping timeout: 246 seconds < 1593011788 863685 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1593011807 795676 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I really have no idea why my internet is so shit I reconnect every 30 minutes or so\ < 1593011815 817856 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Read error: Connection reset by peer < 1593011816 39329 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I wonder what does it say < 1593011820 957665 :FraterEST!~adrianbib@172.242.0.73 JOIN :#esoteric > 1593011948 221960 PRIVMSG #esoteric :14[[07Baba is program14]]4 M10 02https://esolangs.org/w/index.php?diff=74388&oldid=68939 5* 03PythonshellDebugwindow 5* (+83) 10 > 1593011965 105988 PRIVMSG #esoteric :14[[07Code is eso14]]4 M10 02https://esolangs.org/w/index.php?diff=74389&oldid=73006 5* 03PythonshellDebugwindow 5* (+100) 10 > 1593012068 128412 PRIVMSG #esoteric :14[[07CJam-Flavored Underload14]]4 M10 02https://esolangs.org/w/index.php?diff=74390&oldid=57119 5* 03PythonshellDebugwindow 5* (+29) 10/* Interpreter */ cat < 1593012079 87816 :FraterEST!~adrianbib@172.242.0.73 QUIT :Read error: Connection reset by peer < 1593012095 888104 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1593012110 809884 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com PRIVMSG #esoteric :arseniiv: thanks, it's surprisingly undisruptive (none of the example programs need to change, for instance) and seems to make it a lot cleaner. < 1593012119 797540 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1593012176 30716 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1593012508 67999 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :cpressey: okay I’ll make my impl compatible after a while then! > 1593012627 438895 PRIVMSG #esoteric :14[[07Three Star Programmer14]]4 M10 02https://esolangs.org/w/index.php?diff=74391&oldid=71623 5* 03PythonshellDebugwindow 5* (-2) 10/* Variants */ golf further < 1593012849 417811 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1593013161 898022 :Frater_EST!adrianbibl@172.242.0.73 JOIN :#esoteric < 1593013190 2139 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric > 1593013588 353370 PRIVMSG #esoteric :14[[07Syms14]]4 M10 02https://esolangs.org/w/index.php?diff=74392&oldid=51200 5* 03PythonshellDebugwindow 5* (+139) 10unpipe + link + catts > 1593013706 831498 PRIVMSG #esoteric :14[[07Category theory14]]4 M10 02https://esolangs.org/w/index.php?diff=74393&oldid=60667 5* 03PythonshellDebugwindow 5* (+6) 10/* Introduction */ > 1593013887 521867 PRIVMSG #esoteric :14[[07Bitdeque14]]4 M10 02https://esolangs.org/w/index.php?diff=74394&oldid=60911 5* 03PythonshellDebugwindow 5* (+160) 10/* Computational Class */ cats + links > 1593013897 978904 PRIVMSG #esoteric :14[[07Bitdeque14]]4 M10 02https://esolangs.org/w/index.php?diff=74395&oldid=74394 5* 03PythonshellDebugwindow 5* (+0) 10/* Computational Class */ < 1593013979 768871 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: Connection closed < 1593014301 949473 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1593014500 876516 :cpressey!~cpressey@79-72-200-113.dynamic.dsl.as9105.com QUIT :Quit: WeeChat 1.9.1 < 1593014712 651077 :Frater_EST!adrianbibl@172.242.0.73 PART :#esoteric < 1593015539 560474 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1593015758 547165 PRIVMSG #esoteric :14[[07Bigspace14]]4 M10 02https://esolangs.org/w/index.php?diff=74396&oldid=72256 5* 03PythonshellDebugwindow 5* (+135) 10 > 1593015872 275124 PRIVMSG #esoteric :14[[07Clusterfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74397&oldid=31016 5* 03PythonshellDebugwindow 5* (+9) 10/* Current (Unfinished) Implementation */ < 1593017598 323874 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1593017667 997578 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1593019195 567241 PRIVMSG #esoteric :14[[07Microjump14]]4 N10 02https://esolangs.org/w/index.php?oldid=74398 5* 03Emerald 5* (+134) 10Created page with "Microjump is a minimization of a [[Jumpmin|minimization]]. Details of current work are at [[Talk:Jumpmin]]. Extra help is appreciated." > 1593019286 191234 PRIVMSG #esoteric :14[[07Microjump14]]4 M10 02https://esolangs.org/w/index.php?diff=74399&oldid=74398 5* 03Emerald 5* (+19) 10 < 1593020222 867065 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1593020351 69788 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net QUIT :Ping timeout: 246 seconds < 1593022145 49086 :b_jonas!~x@catv-176-63-12-73.catv.broadband.hu JOIN :#esoteric > 1593022742 40094 PRIVMSG #esoteric :14[[07User:Hakerh400/What we could do if we could solve the halting problem14]]4 N10 02https://esolangs.org/w/index.php?oldid=74400 5* 03Hakerh400 5* (+11642) 10Created page with "In this article the author provides his opinion about the halting problem and what people could do if they find a way to solve in in finite time. == What is the halting probl..." > 1593022763 926826 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 M10 02https://esolangs.org/w/index.php?diff=74401&oldid=74053 5* 03Hakerh400 5* (+131) 10 > 1593022926 619680 PRIVMSG #esoteric :14[[07User:Hakerh400/What we could do if we could solve the halting problem14]]4 M10 02https://esolangs.org/w/index.php?diff=74402&oldid=74400 5* 03Hakerh400 5* (+2) 10 < 1593023185 915950 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :...summary of that... interesting page... so, to summarize, if we had a Haltino, literally any question expressable as a Turing machine could be solved via the same strategy as expressed by the hash thing, breaking all computable encryption. < 1593023225 87854 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :(so long as one at least knew enough about the plaintext to determine if some output is or is not likely the plaintext) < 1593023444 431877 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1593023501 879040 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1593023758 813646 PRIVMSG #esoteric :14[[07User:Hakerh400/What we could do if we could solve the halting problem14]]4 M10 02https://esolangs.org/w/index.php?diff=74403&oldid=74402 5* 03Hakerh400 5* (+1) 10 < 1593023834 993771 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Disconnected by services < 1593023840 273643 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1593024229 440105 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1593025851 354441 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Remote host closed the connection < 1593025875 411207 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric > 1593027424 393378 PRIVMSG #esoteric :14[[07User:DeybisMelendez14]]4 N10 02https://esolangs.org/w/index.php?oldid=74404 5* 03DeybisMelendez 5* (+14) 10Created page with "Creator of Ni." > 1593027587 685450 PRIVMSG #esoteric :14[[07Clusterfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74405&oldid=74397 5* 03PythonshellDebugwindow 5* (+26) 10 > 1593027628 35631 PRIVMSG #esoteric :14[[07NARchy14]]4 M10 02https://esolangs.org/w/index.php?diff=74406&oldid=73464 5* 03PythonshellDebugwindow 5* (+23) 10/* Plugins */ cat > 1593027671 179340 PRIVMSG #esoteric :14[[07No14]]4 M10 02https://esolangs.org/w/index.php?diff=74407&oldid=74190 5* 03PythonshellDebugwindow 5* (+0) 10/* External resources */ < 1593027944 725049 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving > 1593030848 863229 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 10 02https://esolangs.org/w/index.php?diff=74408&oldid=74278 5* 03Bigyihsuan 5* (+2) 10/* A note on GETIDX, SETIDX, GETLIM, SETLIM */ > 1593030891 682717 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 10 02https://esolangs.org/w/index.php?diff=74409&oldid=74408 5* 03Bigyihsuan 5* (+100) 10/* For-Loops */ > 1593030918 868465 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 M10 02https://esolangs.org/w/index.php?diff=74410&oldid=74409 5* 03Bigyihsuan 5* (-8) 10/* For-Loops */ > 1593031192 854136 PRIVMSG #esoteric :14[[07Ni14]]4 N10 02https://esolangs.org/w/index.php?oldid=74411 5* 03DeybisMelendez 5* (+2053) 10Created page with " Ni is an esoteric programming language influenced by Brainfuck. The name Ni comes from Nicaragua. Created by [[User:DeybisMelendez]]. == Language Overview == Ni operates wit..." > 1593032149 536264 PRIVMSG #esoteric :14[[07Ni14]]4 10 02https://esolangs.org/w/index.php?diff=74412&oldid=74411 5* 03DeybisMelendez 5* (-38) 10 > 1593032716 25364 PRIVMSG #esoteric :14[[07Ni14]]4 10 02https://esolangs.org/w/index.php?diff=74413&oldid=74412 5* 03DeybisMelendez 5* (-12) 10 < 1593032788 135452 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection > 1593032829 996313 PRIVMSG #esoteric :14[[07Ni14]]4 M10 02https://esolangs.org/w/index.php?diff=74414&oldid=74413 5* 03PythonshellDebugwindow 5* (+233) 10cats+! < 1593035681 543783 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving < 1593036842 501265 :arseniiv!~arseniiv@136.169.210.76 QUIT :Ping timeout: 258 seconds < 1593037396 825485 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu > 1593038858 447107 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=74415&oldid=74385 5* 03DeybisMelendez 5* (+9) 10/* N */ < 1593038954 488315 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1593039879 333991 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1593039912 359508 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Remote host closed the connection < 1593039939 362501 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1593041446 187483 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's kinda neat how actually small a brainfuck interpreter in thue is. like it's on par with a C implementation. > 1593041675 933255 PRIVMSG #esoteric :14[[07Ni14]]4 M10 02https://esolangs.org/w/index.php?diff=74416&oldid=74414 5* 03RocketRace 5* (+37) 10Update categorization < 1593041871 19108 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1593041987 197830 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds < 1593041987 343272 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life