< 1586995379 353791 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :"If you dont know, Fractran is an esoteric programming language. That means it is extraordinary difficult to write any program in Fractran." < 1586995388 863114 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :I feel like it's immediately critical to disprove it. < 1586995399 441839 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :HQ9+ depending on program desired? < 1586995437 261185 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :Also it might say something not great about me that I instantly desired to nitpick the ascribed meaning of esoteric programming language < 1586995466 412502 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :https://malisper.me/building-fizzbuzz-fractran-bottom/ < 1586995501 782910 :arseniiv!~arseniiv@136.169.212.155 QUIT :Ping timeout: 264 seconds < 1586999318 577854 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1587002919 41536 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :The article about category theory on Wikipedia does not mention category of matrices, it look like to me. > 1587004646 697721 PRIVMSG #esoteric :14[[07Chicken14]]4 10 02https://esolangs.org/w/index.php?diff=71115&oldid=59475 5* 03Watermelon3D 5* (+107) 10 > 1587004711 105099 PRIVMSG #esoteric :14[[07Chicken14]]4 10 02https://esolangs.org/w/index.php?diff=71116&oldid=71115 5* 03Watermelon3D 5* (+2) 10 < 1587005014 895043 :preston!~preston@45.56.169.227 QUIT :Ping timeout: 256 seconds < 1587005741 834870 :Elderberry!bc4a4017@188.74.64.23 JOIN :#esoteric > 1587006284 831725 PRIVMSG #esoteric :14[[07Chicken14]]4 M10 02https://esolangs.org/w/index.php?diff=71117&oldid=71116 5* 03IFcoltransG 5* (+16) 10Swapped a few categories around < 1587006445 307660 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1587007656 834900 :Elderberry!bc4a4017@188.74.64.23 QUIT :Ping timeout: 240 seconds < 1587008314 445443 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1587009371 169122 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1587009498 984574 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Disconnected by services < 1587009505 493970 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1587010176 626515 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :in English, is there a rude or taboo word matching /^([klmnrst][aiu]|[aiu][klmnrst]){2}/i , including a misspelled word that could still be considered rude like "fukc", but other than "kaka"? I'm trying to make a human-typable encoding for something, but want to make sure it won't result in words that people may consider insulting. "kaka" doesn't matter because repeated syllables are not allowed. < 1587010193 330068 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :If there is, I can change those set of letters (while keeping the cardinality). < 1587010341 14331 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I don't know, but does PCRE have a way to specify that this repetition is not allowed? Also, do you need the set of letters to be same regardless of the order? < 1587010467 587613 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1587014177 849147 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric > 1587014464 382172 PRIVMSG #esoteric :14[[07Babalang14]]4 10 02https://esolangs.org/w/index.php?diff=71118&oldid=70908 5* 03RocketRace 5* (+56) 10Add external resources section > 1587014529 73111 PRIVMSG #esoteric :14[[07Babalang14]]4 M10 02https://esolangs.org/w/index.php?diff=71119&oldid=71118 5* 03RocketRace 5* (+54) 10Fix link formatting < 1587014760 240204 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca QUIT :Disconnected by services < 1587014765 460378 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca JOIN :#esoteric < 1587016884 101127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-loud < 1587016884 346459 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :spruit11 said 6d 10h 45m 19s ago: Could, or would, you be so kind to support an arxiv submission of a paper I wrote? < 1587016950 298311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :spruit11: i have never submitted to arxiv, and haven't had an academic position in nearly two decades, so i don't think i'm eligible. < 1587016974 609362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell spruit11 i have never submitted to arxiv, and haven't had an academic position in nearly two decades, so i don't think i'm eligible. < 1587016974 805946 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1587017088 478718 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving < 1587017533 827537 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1587017555 594464 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1587017627 802359 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587017929 783823 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds > 1587017938 886445 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03LorryWoodman 5* 10New user account < 1587017972 487651 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1587018247 129669 :iczero!iczero@hellomouse/dev/iczero QUIT :Excess Flood < 1587018280 356126 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric < 1587018396 831925 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric > 1587018517 276854 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=71120&oldid=71102 5* 03LorryWoodman 5* (+239) 10/* Introductions */ > 1587018669 167596 PRIVMSG #esoteric :14[[07Subleq14]]4 M10 02https://esolangs.org/w/index.php?diff=71121&oldid=67339 5* 03LorryWoodman 5* (+10) 10Correct TechTinkering URL < 1587018687 559489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : So, Agatha's being reminded of the waters of the Dyne in today's GG, right? <-- i thought so, i was basically expecting the next strips to suggest the Dyne _was_ the cause (assuming the true source of the Dyne is outside the time bubble, it can't flow through the castle's curse-extraction machinery anymore) < 1587018725 638078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but that was several strips ago, and nothing said < 1587018805 516951 :tromp!~tromp@2a02:a210:ca3:2800:8de3:9bdf:7ecd:91 QUIT :Read error: No route to host < 1587019014 337235 :kmc!~beehive@unaffiliated/kmcallister QUIT :Ping timeout: 240 seconds < 1587019057 84670 :kmc!~beehive@unaffiliated/kmcallister JOIN :#esoteric < 1587019672 838092 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :_what_ < 1587019869 390389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kspalaiologos: where? < 1587019906 809155 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :what is this message about < 1587020069 347255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which message < 1587020314 302085 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1587020798 833358 :A-ee!6555062e@101.85.6.46 JOIN :#esoteric < 1587020856 177102 :A-ee!6555062e@101.85.6.46 PRIVMSG #esoteric :Just like you can't fold a sheet of printing paper over 7 times. < 1587020885 814541 :A-ee!6555062e@101.85.6.46 PRIVMSG #esoteric :But by the time you get to that, you are obviously doing something wrong. :) < 1587020927 731023 :A-ee!6555062e@101.85.6.46 QUIT :Remote host closed the connection < 1587021126 16953 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1587021326 118383 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 265 seconds > 1587021605 319943 PRIVMSG #esoteric :14[[07FishScript14]]4 10 02https://esolangs.org/w/index.php?diff=71122&oldid=71114 5* 03Watermelon3D 5* (+48) 10/* Commands */ < 1587023212 839899 :tromp!~tromp@2a02:a210:ca3:2800:5cf9:29d7:fe8c:28bf JOIN :#esoteric < 1587023480 839728 :tromp!~tromp@2a02:a210:ca3:2800:5cf9:29d7:fe8c:28bf QUIT :Ping timeout: 246 seconds < 1587023655 74302 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1587024366 713591 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1587025330 251822 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1587025356 429690 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1587026931 533565 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :zzo38: I could write a regex that doesn't allow repetitions, but I wanted my question to be human-readable, so I didn't < 1587027102 138601 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :zzo38: same regardless the order: yes. this is for representing the moves in a board game, in a video game implementation. there's a board that is a square grid of size 7x3, a player chooses two distinct squares for their move. I want to label the columns and rows, and the players will represent that move towards my software by typing four letters. it's enough to always write the squares with the column < 1587027108 146882 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :consonant first and the row vowel after, < 1587027129 747911 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :and that's how I'll print moves, but I want the game to be easily usable without much of a learning curve, so I want to accept the other order too. < 1587027225 121314 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :so my current plan is to label the columns KLMNRST and the rows AIU, but I have a lot of freedom here < 1587027456 568034 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :`grep -E '^([klmnrst][aiu]|[aiu][klmnrst]){2}$' /usr/dict/words|grep na|head -1 < 1587027457 438490 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :grep: invalid option -- ' ' \ Usage: grep [OPTION]... PATTERNS [FILE]... \ Try 'grep --help' for more information. < 1587028224 427066 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1587028236 568632 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: is there any reason you can't use letter-digit pairs? < 1587028245 727608 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's the usual solution to this problem < 1587028281 358017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, I think most swearwords in English are consonant-heavy, but I think potentially offensive combinations are almost impossible to avoid because of all the languages they could be potentially offensive in < 1587028290 336516 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(it's not enough to just avoid /English/ swearwords) < 1587030198 686761 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1587030300 340215 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :ais523: I could use letter-digit pairs too, yes < 1587030340 800955 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 256 seconds < 1587030341 297394 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1587030427 572868 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :ais523: but some of the audience is fluent in leetspeak and replacing letters with digits, so even with digits you have to be careful. the move could spell K1K3 or something. < 1587030558 384756 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :I could even go with digits only, with 3456789 for the columns and 123 for the rows. < 1587030637 528495 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :surely you want 0 in there to avoid the duplicated 3? < 1587030665 716069 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :why? what's wrong with a duplicated 3? < 1587030843 22402 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :I could go with a boring ABCDEFG for columns and 123 for the rows. it works for chess so it can't be too offensive. < 1587030930 353188 :Phantom_Hoover!~phantomho@82.27.195.88 JOIN :#esoteric < 1587030930 431525 :Phantom_Hoover!~phantomho@82.27.195.88 QUIT :Changing host < 1587030930 431562 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1587030934 460687 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: you'd have an ambiguity if /two/ digits were duplicated; there's no ambiguity with one digit duplicated but it may be hard to mentally parse because you don't know what a 3 means without looking at the other one < 1587030987 823592 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :that's true. I plan to display the moves visually on the board, so mental parsing isn't too much of a problem, but it might still be better to avoid. < 1587030999 732656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and in chess you occasionally get ambiguites that need to be resolved as, say, Rcc3 and R3c3, a duplicated 3 would make that sort of ambiguity even more confusing to resolve < 1587031081 606007 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :in chess notation, yes. this isn't chess notation and there are no kings and rooks and bishops and knights. < 1587033011 380633 :Melvar!~melvar@dslb-178-007-125-076.178.007.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.7.1 < 1587033704 182158 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh fungot is here, rejoice < 1587033704 389201 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: my parser doesn't do character classes, so harder for anyone but him why shouldn't he do that < 1587034512 446509 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1587035363 702486 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1587035918 95231 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1587035934 843524 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 JOIN :#esoteric < 1587035970 296101 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1587036897 900968 :Frater_EST!~adrianbib@172.242.0.73 JOIN :#esoteric < 1587037214 90893 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1587038453 737325 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1587040142 19573 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :int-e: what output would you expect from print $ nf $ let lid = Abs (Var 0) in Abs (App (Var 0) (Abs lid)) `App` lid ? < 1587040175 225384 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :would you expect Nothing? < 1587040522 768511 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :or even simpler, from print $ nf $ App (Abs (App (Var 0) (Var 0))) (Abs (Var 0)) ? < 1587040614 832578 :Elderberry!bc4a4017@188.74.64.23 JOIN :#esoteric < 1587041353 701039 :Elderberry!bc4a4017@188.74.64.23 PRIVMSG #esoteric :Is the room usually active, or often dead? < 1587041558 411242 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :int-e: the problem is that simplify ends up doing the reduction that is later done by nf, and then nf seeing a repeating redex < 1587041604 979829 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :here's my debugging output for illustration: < 1587041609 331717 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :nf [] (\1 1) (\1) < 1587041609 369929 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :(\1 1) (\1) simplifies to \1 < 1587041609 442100 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :r = \1 case \1 1 of < 1587041611 340967 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :nf [\1] (\1) (\1) < 1587041613 385955 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :(\1) (\1) simplifies to \1 < 1587041615 345681 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :r = \1 case \1 of < 1587041617 331209 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :repeating redex \1 < 1587041619 324272 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :Nothing < 1587041716 365893 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net JOIN :#esoteric < 1587041822 569764 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net PRIVMSG #esoteric :hey guys, for anyone who has an interest in FRACTRAN, I made a really fast FRACTRAN interpreter < 1587041849 945794 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net PRIVMSG #esoteric :it should make more classes of programs runnable than previously was possible < 1587041853 909198 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net PRIVMSG #esoteric :https://pimlu.github.io/fractran/ < 1587041903 246908 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I would not expect it to terminate on infinite terms, precisely because simplification is pretty eager < 1587041936 859217 :Elderberry!bc4a4017@188.74.64.23 QUIT :Ping timeout: 240 seconds < 1587041942 456999 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :it mistakes a term with normal form for one without < 1587041945 414558 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION thinks
< 1587041975 158749 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :i'm gonna try to do the simplification at start of nf, before the case analysis < 1587041976 219065 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hrm < 1587042008 484580 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I just should not IRC before waking up. < 1587042023 495899 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(never mind that it's the middle of the afternoon) < 1587042045 313798 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :that seems to work better < 1587042060 219081 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :enjoy your coffee:-) < 1587042060 981125 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1587042171 330349 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So what you're saying is that I have a bug. < 1587042174 977304 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Good to know. < 1587042271 335068 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :yes. my bugfix produces lots more TODOs < 1587042280 315133 :int-e!~noone@int-e.eu PRIVMSG #esoteric :probably connected to simplifying redexrs before adding them to the list of seen redexes. < 1587042286 803761 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1587042347 481950 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net PRIVMSG #esoteric :ahhh man the font is messed up in the help menu. no such thing as releasing without bugs < 1587042559 618928 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1587042649 19127 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: I undid the offending change (which I never intended to commit in the first place... but it happened and I thought the code was kind of okay at that point) < 1587042673 85023 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the dangers of commit -a < 1587043027 46287 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net PRIVMSG #esoteric :okay, should be fixed now. anyway, the fast interpreter uses big integers for the register values < 1587043037 365029 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net PRIVMSG #esoteric :(and can actually run for example, 2^100 iterations of some programs) < 1587043370 946570 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: reverted the corresponding list in BB.txt as well < 1587043546 500529 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: Sorry about that. I had played with the code one very late evening and ended up with something I no longer understood. < 1587043627 610729 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I had no intention of committing it so I thought that was fine. < 1587043815 248408 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1587043839 684181 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :the revert doesn't support B^V = W^V B^V anymore? < 1587044221 347041 :preston!~preston@45.56.169.227 JOIN :#esoteric < 1587044229 46861 :arseniiv!~arseniiv@95.105.14.22.dynamic.ufanet.ru JOIN :#esoteric < 1587044275 666142 :arseniiv!~arseniiv@95.105.14.22.dynamic.ufanet.ru PRIVMSG #esoteric :esopriveteric > 1587044341 213699 PRIVMSG #esoteric :14[[07TheSingularity14]]4 M10 02https://esolangs.org/w/index.php?diff=71123&oldid=65722 5* 03PythonshellDebugwindow 5* (-6) 10/* Conditional statements */ > 1587044530 606810 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Elderberry 5* 10New user account < 1587044564 647153 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :int-e: your current BBx bombs with a BBx: BBx.lhs:(25,3)-(27,29): Non-exhaustive patterns in function size < 1587044603 331978 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :everytime I see a word elderberry, I automatically think of Monthy Python's "your mother was a hamster and your father smells of elderberries" < 1587044879 817490 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Fetchez la vache! < 1587044892 274202 :Melvar!~melvar@dslb-178-007-125-076.178.007.pools.vodafone-ip.de JOIN :#esoteric > 1587045309 874564 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=71124&oldid=71120 5* 03Elderberry 5* (+273) 10 < 1587046751 837752 :Elderberry!bc4a4017@188.74.64.23 JOIN :#esoteric < 1587046930 170459 :Elderberry!bc4a4017@188.74.64.23 QUIT :Remote host closed the connection < 1587047434 256860 :pimlu!617e7abf@97-126-122-191.tukw.qwest.net QUIT :Remote host closed the connection < 1587047888 830010 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1587050270 98974 PRIVMSG #esoteric :14[[07Talk:FishScript14]]4 N10 02https://esolangs.org/w/index.php?oldid=71125 5* 03Willicoder 5* (+156) 10Created page with "What does "doubles the fish in front of it" mean? (with the tilde) ~~~~" > 1587051336 651103 PRIVMSG #esoteric :14[[07Asm2bf14]]4 M10 02https://esolangs.org/w/index.php?diff=71126&oldid=70992 5* 03Palaiologos 5* (+79) 10newest instruction format < 1587052476 435566 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit > 1587053154 603823 PRIVMSG #esoteric :14[[07Talk:FishScript14]]4 M10 02https://esolangs.org/w/index.php?diff=71127&oldid=71125 5* 03PythonshellDebugwindow 5* (+441) 10 < 1587053240 902171 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1587053638 789835 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Remote host closed the connection < 1587053658 138492 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1587054691 529377 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: there is no BBx.lhs < 1587054720 300200 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: or, if there is, it's yours, not mine. < 1587054983 556552 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :int-e: i had one, but renamed it. and now when i do ghc --make BBx.hs, it somehow compiles my other program and calls it ./BBx < 1587055064 855058 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :sorry for false alarm < 1587055332 361309 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: maybe it's a timestamp problem? BBx.hs older than BBx.hi and BBx.o... < 1587055476 47016 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's a possibility at least... which is kind of funny because nowadays, the recompilation check is intelligent enough to catch changes in optimization flags. < 1587055498 466938 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But apparently the source file name is not on the list of criteria :) > 1587055535 403219 PRIVMSG #esoteric :14[[07Talk:2KWLang14]]4 M10 02https://esolangs.org/w/index.php?diff=71128&oldid=71045 5* 03PythonshellDebugwindow 5* (-12) 10better wiki style > 1587055559 726481 PRIVMSG #esoteric :14[[07Talk:FishScript14]]4 10 02https://esolangs.org/w/index.php?diff=71129&oldid=71127 5* 03Willicoder 5* (+160) 10 < 1587055588 321581 :Frater_EST!~adrianbib@172.242.0.73 PART :#esoteric < 1587056355 775550 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tromp: And right, the revert dropped all changes, including the (sound) extension to W. < 1587056399 560352 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm not in a good mindset to think about this, so I just reverted to a known safe version. < 1587057243 649850 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :I'm happy, I may have found a deterministic reproduction of the frequent crashes of the software we use at work. Tomorrow I'll have to work to reduce it to as small as I can. < 1587057303 493257 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :what beam was that? < 1587057316 186630 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :sorry, wrong channel for the last line < 1587057546 293363 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: what beam was that? < 1587057546 532543 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i think i'd prefer a way of thinking. be careful though... scheme is killin' me here!! < 1587057571 727689 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that one was pretty good. < 1587057583 13209 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`grwp scheme < 1587057585 314431 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :boily:“Sane Mapoleon” boily is monetizing a brotherhood scheme with the Guardian of Lachine. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, a thwack doctor, a Quintopial antipodist, and a renowned Capitalist who helps keep the world kafkaesque. \ ciol:ciol is a language designed by moon_, it started as a scheme to annoy colleagues by making a programming < 1587057653 329382 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`2 grwp scheme < 1587057654 727147 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2/3:ing language that has insults as commands. \ cipation:A cipation is an evil scheme that only works if no one is prepared for it. \ keming:Keming is a text compression scheme popular in Word processors. \ madbr:madbr alternates between making sense, and being logical. He doesn't monetize the brotherhood scheme. \ oregon:Oregon is the home of Oregano. Gregor used to take care of the color scheme, but then he left. \ taah:TaAH (Terrible and A < 1587057658 452346 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`n < 1587057659 399110 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :3/3:d-Hoc) is the naming scheme used for HackEso commands. It is highly acronymous and portmantic. < 1587057694 405509 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1587057790 131236 PRIVMSG #esoteric :14[[07AT14]]4 10 02https://esolangs.org/w/index.php?diff=71130&oldid=70100 5* 03Hakerh400 5* (+52) 10Add pronunciation > 1587057959 793209 PRIVMSG #esoteric :14[[07AT14]]4 M10 02https://esolangs.org/w/index.php?diff=71131&oldid=71130 5* 03Hakerh400 5* (-2) 10 > 1587058007 274753 PRIVMSG #esoteric :14[[07AT14]]4 M10 02https://esolangs.org/w/index.php?diff=71132&oldid=71131 5* 03Hakerh400 5* (+16) 10 < 1587059117 645327 :MDead!~MDude@74.5.130.30 JOIN :#esoteric < 1587059119 477251 :MDude!~MDude@74.5.130.30 QUIT :Ping timeout: 258 seconds < 1587059124 987259 :MDead!~MDude@74.5.130.30 NICK :MDude < 1587059171 896546 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :@tell oerjan oh. bummer. < 1587059172 174341 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1587059509 253745 :preston!~preston@45.56.169.227 QUIT :Ping timeout: 250 seconds < 1587059739 930189 :orbitaldecay!~orbitalde@2604:2dc0:100:419:: QUIT :Remote host closed the connection < 1587060356 925074 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm. How unfortunate. < 1587060362 719315 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Now what? < 1587060465 249888 :int-e!~noone@int-e.eu PRIVMSG #esoteric :what now? < 1587061160 485674 :arseniiv!~arseniiv@95.105.14.22.dynamic.ufanet.ru PRIVMSG #esoteric :there is a Rihanna song with this name < 1587061184 353374 :arseniiv!~arseniiv@95.105.14.22.dynamic.ufanet.ru PRIVMSG #esoteric :what no-o-o-ow < 1587061370 255624 :rain1!~debian@unaffiliated/rain1 PRIVMSG #esoteric :hllo < 1587061573 884514 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I wanted to submit some thingy I wrote to arxiv and need an endorser. But who? < 1587061589 709414 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Apparently not oerjan. Bummer. < 1587061614 971806 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Maybe try viXra if you cannot post on arXiv, I suppose. < 1587061659 130890 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Have a look. < 1587061723 969009 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmm. I'ld rather not, I guess. < 1587061731 144494 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Bit of a bad rep. > 1587061741 862422 PRIVMSG #esoteric :14[[07FishScript14]]4 M10 02https://esolangs.org/w/index.php?diff=71133&oldid=71122 5* 03PythonshellDebugwindow 5* (+125) 10/* Interpreters */ Added Willicoder's repo < 1587061998 853231 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 256 seconds < 1587062000 439202 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I don't konw if there is any prohibition against posting on viXra and then later post on arXiv too once you have an endorser. < 1587062115 348510 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :O, I looked at the instructions and it says it is OK, apparently. < 1587062158 749154 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah, but it doesn't make sense to me. > 1587062166 201715 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Test14]]4 M10 02https://esolangs.org/w/index.php?diff=71134&oldid=71061 5* 03PythonshellDebugwindow 5* (+59) 10Removed redirect to [[User:PythonshellDebugwindow/(Unnamed language)]] < 1587062187 800790 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I mean, I can post it on Facebook too. > 1587062217 162983 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Test14]]4 M10 02https://esolangs.org/w/index.php?diff=71135&oldid=71134 5* 03PythonshellDebugwindow 5* (+164) 10 < 1587062219 590221 :b_jonas!~x@catv-176-63-12-50.catv.broadband.hu PRIVMSG #esoteric :ooh! post it on facebook < 1587062245 799859 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh, well. I already did. < 1587062260 67045 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But then, there's nobody there who would really care. < 1587062264 464596 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Hmpf. < 1587062324 738350 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Dunno. < 1587062376 708939 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :What is the document about? < 1587062420 189977 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :It's a bit of a lowbrow document about how my language, Egel, evaluates stuff. < 1587062435 184654 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Lemme give the link. < 1587062468 694965 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :https://github.com/egel-lang/egel-tex/blob/master/semantics/semantics.pdf < 1587062498 759655 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I see nothing about subset of PDF to use, except that it should not embed executable files, but I think that they should be limited to a better subset, because many of the features of PDF is no good. < 1587062551 519192 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Uh? > 1587062606 572615 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow/Sandbox14]]4 M10 02https://esolangs.org/w/index.php?diff=71136&oldid=71112 5* 03PythonshellDebugwindow 5* (+416) 10 < 1587062827 864533 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1587063101 900826 :arseniiv!~arseniiv@95.105.14.22.dynamic.ufanet.ru PRIVMSG #esoteric :spruit11: wish you luck :) < 1587063166 940987 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I need an endorser, not luck! < 1587063174 574748 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :But thanks, anyway. < 1587063386 946349 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving > 1587064027 558535 PRIVMSG #esoteric :14[[07Indent14]]4 M10 02https://esolangs.org/w/index.php?diff=71137&oldid=70993 5* 03PythonshellDebugwindow 5* (-2) 10/* Int literals */ < 1587064037 99041 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Maybe I'll ask in #proglangdesign? < 1587064044 720189 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Let's try that. > 1587064048 129770 PRIVMSG #esoteric :14[[07Indent14]]4 M10 02https://esolangs.org/w/index.php?diff=71138&oldid=71137 5* 03PythonshellDebugwindow 5* (+15) 10/* Examples */ > 1587064111 950962 PRIVMSG #esoteric :14[[07Indent14]]4 M10 02https://esolangs.org/w/index.php?diff=71139&oldid=71138 5* 03PythonshellDebugwindow 5* (+17) 10/* Functions */ > 1587064123 442554 PRIVMSG #esoteric :14[[07Indent14]]4 M10 02https://esolangs.org/w/index.php?diff=71140&oldid=71139 5* 03PythonshellDebugwindow 5* (-8) 10/* Examples */ > 1587064217 247543 PRIVMSG #esoteric :14[[07Indent14]]4 M10 02https://esolangs.org/w/index.php?diff=71141&oldid=71140 5* 03PythonshellDebugwindow 5* (+118) 10/* Variables */ < 1587064374 837001 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 256 seconds > 1587064505 971836 PRIVMSG #esoteric :14[[07String14]]4 M10 02https://esolangs.org/w/index.php?diff=71142&oldid=66282 5* 03PythonshellDebugwindow 5* (-30) 10Fixed links > 1587064814 187860 PRIVMSG #esoteric :14[[07String-rewriting paradigm14]]4 M10 02https://esolangs.org/w/index.php?diff=71143&oldid=56716 5* 03PythonshellDebugwindow 5* (+1) 10fixed link; should this not be a concept article? > 1587065134 910753 PRIVMSG #esoteric :14[[07String rewriting paradigm14]]4 M10 02https://esolangs.org/w/index.php?diff=71144&oldid=68285 5* 03PythonshellDebugwindow 5* (+79) 10template + cats > 1587065144 245697 PRIVMSG #esoteric :14[[07String rewriting paradigm14]]4 M10 02https://esolangs.org/w/index.php?diff=71145&oldid=71144 5* 03PythonshellDebugwindow 5* (+0) 10template fix > 1587065497 340925 PRIVMSG #esoteric :14[[07String-rewriting paradigm14]]4 M10 02https://esolangs.org/w/index.php?diff=71146&oldid=71143 5* 03PythonshellDebugwindow 5* (+128) 10 > 1587065545 705241 PRIVMSG #esoteric :14[[07String-rewriting paradigm14]]4 M10 02https://esolangs.org/w/index.php?diff=71147&oldid=71146 5* 03PythonshellDebugwindow 5* (+22) 10/* Examples */ > 1587065573 931634 PRIVMSG #esoteric :14[[07User:Willicoder14]]4 N10 02https://esolangs.org/w/index.php?oldid=71148 5* 03Willicoder 5* (+188) 10Created page with "Hi! I'm Willicoder and I love to code! I made an interpreter for [[FishScript]], and I might make an esolang someday. If you want to contact me, use User_talk:Willicoder|my..." < 1587066700 729909 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1587067129 256629 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1587069638 805371 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1587069943 576237 PRIVMSG #esoteric :14[[07Strvar14]]4 N10 02https://esolangs.org/w/index.php?oldid=71149 5* 03PythonshellDebugwindow 5* (+1838) 10Created page with "'''Strvar''' is an esolang by [[User:PythonshellDebugwindow]] based on [[string]] [[rewriting]]. ==Syntax== Every line in a Strvar program is either a variable definition or..." > 1587070007 310651 PRIVMSG #esoteric :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=71150&oldid=71077 5* 03PythonshellDebugwindow 5* (+202) 10/* Strvar */ < 1587070028 871529 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1587070170 180521 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=71151&oldid=70960 5* 03PythonshellDebugwindow 5* (+13) 10/* Languages */ > 1587070212 30099 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=71152&oldid=71100 5* 03PythonshellDebugwindow 5* (+13) 10/* S */ < 1587071751 433497 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :What is the most number of pieces to give check at once in xiangqi? I made up a quadruple check. < 1587072012 277844 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :proc lambda {arguments body args} { < 1587072012 457584 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric : return [list ::apply [list $arguments $body] {*}$args] < 1587072012 496059 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :} < 1587072035 533721 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :What programming language is it? < 1587072042 750436 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net PRIVMSG #esoteric :Tcl < 1587072724 306802 :preston!~preston@45.56.169.228 JOIN :#esoteric < 1587073402 9332 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1587073462 850991 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1587073574 301853 :preston!~preston@45.56.169.228 QUIT :Ping timeout: 240 seconds < 1587073586 646417 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1587073586 780687 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1587076335 91551 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :int-e: my current BB.lhs has only 1 TODO at 32, 2 at 33 and 34 each < 1587076394 560181 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :using generalized W rule, triple loop detection, and argument reduction on strict functions < 1587076426 975439 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :also found no slowdown of lists instead of S.Set < 1587076477 34181 :tromp!~tromp@2a02:a210:ca3:2800:91cd:1330:4171:a115 PRIVMSG #esoteric :will try 35 tomorrow, after dental visit < 1587079250 909611 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 240 seconds