< 1790986884 130149 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 253 seconds < 1790986987 175039 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1790988796 303953 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :ChimeraAnova < 1790990349 199483 :FreeFull!~freefull@user/FreeFull QUIT :Ping timeout: 260 seconds < 1790990423 146570 :FreeFull!~freefull@user/FreeFull JOIN #esolangs FreeFull :FreeFull > 1790990619 160009 PRIVMSG #esolangs :14[[07Talk:Mirrors14]]4 10 02https://esolangs.org/w/index.php?diff=196986&oldid=196946 5* 03None1 5* (+372) 10My only concern > 1790991459 880929 PRIVMSG #esolangs :14[[07User talk:Raiseafloppafan774114]]4 10 02https://esolangs.org/w/index.php?diff=196987&oldid=195963 5* 03A random guy 5* (+354) 10/* Can NANDlang, or maybe as a extension, NANDlang+ become implemented? */ new section > 1790991555 561691 PRIVMSG #esolangs :14[[07User talk:Raiseafloppafan774114]]4 10 02https://esolangs.org/w/index.php?diff=196988&oldid=196987 5* 03A random guy 5* (+0) 10 < 1790991884 96519 :aadenboy!~kvirc@172.56.109.176 JOIN #esolangs * :1it's pronounced ey-den-boi < 1790991904 368955 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :hmm, the logs are giving a 402 error < 1790991907 705000 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :502* < 1790992115 5767 :lynndotpy6093627!~rootcanal@134.122.123.70 QUIT :Quit: bye bye > 1790992493 587222 PRIVMSG #esolangs :14[[07Layered Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=196989&oldid=196964 5* 03Cordership 5* (+131) 10/* Example */ > 1790992513 239365 PRIVMSG #esolangs :14[[07Layered Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=196990&oldid=196989 5* 03Cordership 5* (+1) 10/* Implementations */ > 1790992528 444566 PRIVMSG #esolangs :14[[07Layered Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=196991&oldid=196990 5* 03Cordership 5* (-19) 10/* Implementations */ > 1790992960 294238 PRIVMSG #esolangs :14[[07User talk:PkmnQ/Golf14]]4 10 02https://esolangs.org/w/index.php?diff=196992&oldid=196972 5* 03PkmnQ 5* (+213) 10 > 1790993084 237020 PRIVMSG #esolangs :14[[07User:PkmnQ/Golf14]]4 10 02https://esolangs.org/w/index.php?diff=196993&oldid=196970 5* 03PkmnQ 5* (+47) 10 > 1790993732 529771 PRIVMSG #esolangs :14[[07Talk:Layered Deadfish14]]4 N10 02https://esolangs.org/w/index.php?oldid=196994 5* 03Cordership 5* (+286) 10Created page with "so I created this language because yall told me not dead fish was too similar to the original deadfish also I made the interpreter in python ~~~~" < 1790993745 63298 :PkmnQ!~PkmnQ@user/PkmnQ JOIN #esolangs PkmnQ :realname < 1790995333 256403 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her) < 1790996101 421856 :PkmnQ!~PkmnQ@user/PkmnQ QUIT :Read error: Connection reset by peer < 1790996486 75928 :PkmnQ!~PkmnQ@user/PkmnQ JOIN #esolangs PkmnQ :realname < 1790996689 208874 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1790997481 153914 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 QUIT :Remote host closed the connection < 1790997570 103606 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :ChimeraAnova > 1790997606 114451 PRIVMSG #esolangs :14[[07User:PkmnQ/Golf14]]4 10 02https://esolangs.org/w/index.php?diff=196995&oldid=196993 5* 03PkmnQ 5* (+157) 10Brain-Flak is a weird case, but I'm forcing it into this table any way I can < 1790997820 746512 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :hello ChimeraAnova > 1790997943 112310 PRIVMSG #esolangs :14[[07Simpl14]]4 10 02https://esolangs.org/w/index.php?diff=196996&oldid=196723 5* 03Cordership 5* (+54) 10/* Codegolfing */ < 1790998021 208061 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Hello aadenboy > 1790998088 750629 PRIVMSG #esolangs :14[[07ORK14]]4 10 02https://esolangs.org/w/index.php?diff=196997&oldid=190326 5* 03None1 5* (+5687) 10/* Examples */ < 1790998124 375651 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :hm, I wonder how the home prime trick works in other languages < 1790998127 889415 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :bases* > 1790998139 345473 PRIVMSG #esolangs :14[[07Deadfish/Implementations (M-Z)14]]4 10 02https://esolangs.org/w/index.php?diff=196998&oldid=168613 5* 03None1 5* (+1987) 10/* OOLANG */ < 1790998198 833883 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`factor 4 < 1790998204 202699 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :4: 2 2 < 1790998206 974957 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`factor 22 < 1790998209 254983 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :22: 2 11 < 1790998218 209054 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :2a -> 35 < 1790998220 172436 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`factor 35 < 1790998222 692917 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :35: 5 7 < 1790998231 907622 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :... < 1790998235 33593 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :no I messed up on step 1 < 1790998264 622104 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :22_12 is 26_10 < 1790998267 168860 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`factor 26 < 1790998269 615619 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :26: 2 13 < 1790998286 253558 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :base 12? < 1790998294 252432 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :base 12 as an example yeah < 1790998332 728623 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :13_10 = 11_12, 211_12 = 301_10 < 1790998342 131021 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`factor 301 < 1790998344 846356 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :301: 7 43 < 1790998357 955134 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :no way can I do this in my head haha < 1790998379 415040 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`` cat /hackeso/bin/factorchain.lua < 1790998382 209424 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :cat: /hackeso/bin/factorchain.lua: No such file or directory < 1790998393 238041 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`` cat /hackenv/bin/factorchain.lua < 1790998395 446031 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :assert(arg[1],"No number provided")t=0 n=arg[1]c=n repeat f=io.popen("factor "..n:gsub("%s",""))n=f:read("*a"):match(".- (.+)")t=t+1 c=c.." -> "..n:gsub("%s","")until not n:match(" ")print(t.." factorizations: "..(#c+#(""..t)<256 and c or c:gsub(">.+>", "> ... ->"))) < 1790998633 595974 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :searching and ended up finding this amazing reddit post title: "are numbers prime across bases?" < 1790998705 62788 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :the concept of bases is great but I think obscures various things. like my thought is that it would be better perceptually to imagine numbers as sort of. amorphous things without any single base < 1790998720 75566 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :You mean separate the value of the number from its representation? < 1790998724 949303 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :yeah < 1790998743 932662 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Like how III = 3 = 10 (base 3) = 11 (base 2), it's always 3 < 1790998745 429934 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :I like imagining them as points on a line, or that's the best my synesthesia can visualize it as < 1790998764 933874 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :unary would be the best base for that tbh < 1790998773 270711 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :*** < 1790998776 809685 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :at least for integers < 1790998789 750339 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :natural numbers* > 1790998813 55895 PRIVMSG #esolangs :14[[07EsoInterpreters14]]4 10 02https://esolangs.org/w/index.php?diff=196999&oldid=193017 5* 03None1 5* (+27) 10/* Main table */ Add Deadfish in ORK < 1790998814 682864 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Speaking of unary, I wonder if people have tried making unary rationals like ***/** < 1790998851 429776 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :ChimeraAnova: https://github.com/aadenboy/Quanta/blob/main/parser.lua#L120-123 < 1790998871 543209 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :(thing:sub(1, 1) == "-" and -1 or 1) * #thing:match("0i(1+)") + 1 / (#(thing:match("%.(1+)$") or "") + 1) < 1790999253 170732 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :hm, misinterpreted what you meant < 1790999261 733204 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :floats aren't rationals :P > 1790999294 521745 PRIVMSG #esolangs :14[[07Hexafunge14]]4 10 02https://esolangs.org/w/index.php?diff=197000&oldid=196948 5* 03Cordership 5* (+543) 10/* 4-function calculator */ > 1790999475 427007 PRIVMSG #esolangs :14[[074-function calculator14]]4 10 02https://esolangs.org/w/index.php?diff=197001&oldid=196719 5* 03Aadenboy 5* (+34) 10 > 1790999493 71295 PRIVMSG #esolangs :14[[07Basic calculator14]]4 N10 02https://esolangs.org/w/index.php?oldid=197002 5* 03Aadenboy 5* (+35) 10Redirected page to [[4-function calculator]] > 1790999500 903680 PRIVMSG #esolangs :14[[07Simple calculator14]]4 N10 02https://esolangs.org/w/index.php?oldid=197003 5* 03Aadenboy 5* (+35) 10Redirected page to [[4-function calculator]] > 1790999517 505122 PRIVMSG #esolangs :14[[07Calculator14]]4 10 02https://esolangs.org/w/index.php?diff=197004&oldid=181083 5* 03Aadenboy 5* (-1) 10 > 1790999600 311419 PRIVMSG #esolangs :14[[07Hexafunge14]]4 10 02https://esolangs.org/w/index.php?diff=197005&oldid=197000 5* 03Cordership 5* (+189) 10 > 1791000293 889964 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=197006&oldid=196042 5* 03Cordership 5* (-7) 10/* Simpl */ < 1791000295 813350 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`unidecode c/o < 1791000298 616772 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+0063 LATIN SMALL LETTER C] [U+002F SOLIDUS] [U+006F LATIN SMALL LETTER O] < 1791000306 868032 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :? > 1791000494 5319 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=197007&oldid=194612 5* 03Cordership 5* (+746) 10/* GotoScript */ > 1791000506 419873 PRIVMSG #esolangs :14[[07FizzBuzz14]]4 10 02https://esolangs.org/w/index.php?diff=197008&oldid=197007 5* 03Cordership 5* (+5) 10/* Hexafunge */ > 1791000661 945035 PRIVMSG #esolangs :14[[07FizzLang14]]4 10 02https://esolangs.org/w/index.php?diff=197009&oldid=186836 5* 03Cordership 5* (+148) 10/* Examples */ < 1791000727 610971 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :FizzBuzz doesn't require the use of modulo, right? < 1791000763 640539 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :well, alternatives lead to it < 1791000955 344604 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`lua -e i=0print(("n Fizz n n Buzz Fizz n n Fizz Buzz n Fizz n n FizzBuzz "):repeat(7):gsub("n",load'i=i+1 return i')) < 1791000957 626781 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :lua: (command line):1: expected near 'repeat' < 1791000966 589681 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`lua -e i=0 print(("n Fizz n n Buzz Fizz n n Fizz Buzz n Fizz n n FizzBuzz "):rep(7):gsub("n",load'i=i+1 return i')) < 1791000968 786107 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1 Fizz 2 3 Buzz Fizz 4 5 Fizz Buzz 6 Fizz 7 8 FizzBuzz 9 Fizz 10 11 Buzz Fizz 12 13 Fizz Buzz 14 Fizz 15 16 FizzBuzz 17 Fizz 18 19 Buzz Fizz 20 21 Fizz Buzz 22 Fizz 23 24 FizzBuzz 25 Fizz 26 27 Buzz Fizz 28 29 Fizz Buzz 30 Fizz 31 32 FizzBuzz 33 Fizz 34 35 Buzz Fizz 36 37 Fizz Buzz 38 Fizz 39 40 FizzBuzz 41 Fizz 42 43 Buzz Fizz 44 45 Fizz Buzz 46 Fizz 47 48 FizzBuzz 49 Fizz 50 51 Buzz Fizz 52 53 Fizz Buzz 54 Fizz 55 56 FizzBuzz 56 < 1791001018 331488 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`lua -e i=0 print(("n n Fizz n Buzz Fizz n n Fizz Buzz n Fizz n n FizzBuzz "):rep(7):gsub("%S",load'i=i+1 return ...=="n"and i or ...')) < 1791001020 513255 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1 2 Fizz 7 Buzz Fizz 16 17 Fizz Buzz 26 Fizz 31 32 FizzBuzz 41 42 Fizz 47 Buzz Fizz 56 57 Fizz Buzz 66 Fizz 71 72 FizzBuzz 81 82 Fizz 87 Buzz Fizz 96 97 Fizz Buzz 106 Fizz 111 112 FizzBuzz 121 122 Fizz 127 Buzz Fizz 136 137 Fizz Buzz 146 Fizz 151 152 FizzBuzz 161 162 Fizz 167 Buzz Fizz 176 177 Fizz Buzz 186 Fizz 191 192 FizzBuzz 201 202 Fizz 207 Buzz Fizz 216 217 Fizz Buzz 226 Fizz 231 232 FizzBuzz 241 242 Fizz 247 Buzz Fizz 256 257 Fizz Buzz 266 Fizz 271 < 1791001027 543673 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`lua -e i=0 print(("n n Fizz n Buzz Fizz n n Fizz Buzz n Fizz n n FizzBuzz "):rep(7):gsub("%S+",load'i=i+1 return ...=="n"and i or ...')) < 1791001029 844825 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :1 2 Fizz 4 Buzz Fizz 7 8 Fizz Buzz 11 Fizz 13 14 FizzBuzz 16 17 Fizz 19 Buzz Fizz 22 23 Fizz Buzz 26 Fizz 28 29 FizzBuzz 31 32 Fizz 34 Buzz Fizz 37 38 Fizz Buzz 41 Fizz 43 44 FizzBuzz 46 47 Fizz 49 Buzz Fizz 52 53 Fizz Buzz 56 Fizz 58 59 FizzBuzz 61 62 Fizz 64 Buzz Fizz 67 68 Fizz Buzz 71 Fizz 73 74 FizzBuzz 76 77 Fizz 79 Buzz Fizz 82 83 Fizz Buzz 86 Fizz 88 89 FizzBuzz 91 92 Fizz 94 Buzz Fizz 97 98 Fizz Buzz 101 Fizz 103 104 FizzBuzz 105 > 1791001958 118124 PRIVMSG #esolangs :14[[07N-Type14]]4 10 02https://esolangs.org/w/index.php?diff=197010&oldid=176831 5* 03Yayimhere2(school) 5* (-80) 10/* Example */ > 1791002020 766255 PRIVMSG #esolangs :14[[07N-Type14]]4 10 02https://esolangs.org/w/index.php?diff=197011&oldid=197010 5* 03Yayimhere2(school) 5* (+0) 10/* Memory */ > 1791002668 431987 PRIVMSG #esolangs :14[[07N-Type14]]4 10 02https://esolangs.org/w/index.php?diff=197012&oldid=197011 5* 03Yayimhere2(school) 5* (+6) 10/* Types */ > 1791002700 342598 PRIVMSG #esolangs :14[[07N-Type14]]4 10 02https://esolangs.org/w/index.php?diff=197013&oldid=197012 5* 03Yayimhere2(school) 5* (-1) 10/* Builtin functions/primitives */ > 1791002892 864490 PRIVMSG #esolangs :14[[07BFFuck/3.x plans14]]4 M10 02https://esolangs.org/w/index.php?diff=197014&oldid=196259 5* 03None1 5* (-33) 10/* Features */ Revision: 1. Move Bitwise operations to standard library (since they're unimplemented in brainfuck algorithms) and replace with logic operations. 2. Add math library to plan 3. Remove raw brainfuck code injection (because to my surprise it was already impl > 1791002906 823468 PRIVMSG #esolangs :14[[07BFFuck/3.x plans14]]4 M10 02https://esolangs.org/w/index.php?diff=197015&oldid=197014 5* 03None1 5* (+2) 10/* Standard library */ > 1791003113 96786 PRIVMSG #esolangs :14[[07BFFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=197016&oldid=196219 5* 03None1 5* (+37) 10/* Syntax */ Document raw brainfuck code injection > 1791003512 960698 PRIVMSG #esolangs :14[[07BFFuck/3.x plans14]]4 10 02https://esolangs.org/w/index.php?diff=197017&oldid=197015 5* 03None1 5* (+75) 10/* Features */ > 1791003714 330169 PRIVMSG #esolangs :14[[07BFFuck/3.x plans14]]4 M10 02https://esolangs.org/w/index.php?diff=197018&oldid=197017 5* 03None1 5* (+355) 10 < 1791003968 670878 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs : hmm, the logs are giving a [502] error <- fizzie: I should probably ping you about this, < 1791004102 63172 :yayimheretoo!~yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] yayimheretoo < 1791004109 957931 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hi! < 1791004125 864114 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :just finished reading Ais523's pirating blog post which was cool. < 1791004157 7632 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :hello yayimheretoo < 1791004170 248925 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :ais523 has a blog? < 1791004173 328785 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hi aadenboy :] < 1791004208 891321 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thye way libera renders emojis is horrible < 1791004223 434320 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :why in hell did autocorrect turn the into thye???? > 1791004235 975164 PRIVMSG #esolangs :14[[07Simpl14]]4 10 02https://esolangs.org/w/index.php?diff=197019&oldid=196996 5* 03Cordership 5* (+97) 10/* Cheating narcissist */ < 1791004236 968827 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :frequent usage perhaps > 1791004272 27975 PRIVMSG #esolangs :14[[07Simpl14]]4 10 02https://esolangs.org/w/index.php?diff=197020&oldid=197019 5* 03Cordership 5* (+8) 10/* Codegolfing */ < 1791004294 103746 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :aadenboy: probably- but im surprised it would replace a correct with with an incorrect one. < 1791004529 265524 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I atleast know its never done it before < 1791005391 939759 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :goodnight < 1791005406 85035 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :cya < 1791006236 94000 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net JOIN #esolangs * :[https://web.libera.chat] MarkFan8901 < 1791006278 600648 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we wonder if its possible to make a 'naive' c interpreter which goes character by character < 1791006287 108132 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and doesnt do any lexing or parsing whatsoever < 1791006404 318163 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :sounds interesting! < 1791006428 254540 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh hi yayimheretoo < 1791006451 151697 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and hi to u MarkFan8901 < 1791006458 378842 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayay < 1791006465 392930 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791006490 122619 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :could be an interesting concept but I personally dont know any C so im probably irrelevant to the discussion < 1791006528 272804 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :nah this could go for any language which doesnt have one-command-per-character syntax < 1791006533 560053 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :true true < 1791006541 227434 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :python me here python me there < 1791006550 717689 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: is it allowed to assume that the program will always be valid (i.e. no unmatched brackets) or is it required to check along with interpreting? < 1791006560 72410 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i. cant. wait. to  learn ocaml lol < 1791006561 314899 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :its required to check < 1791006584 150710 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :imagine a c interpreter written like a brainfuck interpreter, where the main loop is a switch case between all characters < 1791006591 478415 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :imagine all the spaghetti < 1791006600 724608 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: we've had a few whiffs of ocaml < 1791006603 240294 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it seems like a cool language < 1791006649 45201 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: everything ive heard of it I like. < 1791006659 765672 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :could you recap for us real quick < 1791006665 730056 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it has straight up a language creation feature TMI < 1791006672 373399 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wha < 1791006678 87110 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like racket? < 1791006679 841053 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or different < 1791006683 640097 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :TMI as in Too My Info < 1791006695 640337 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :T(w)o My Info < 1791006698 750966 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: hopefully im remembering the correct language but I think yea > 1791006703 372264 PRIVMSG #esolangs :14[[07HQ9+14]]4 10 02https://esolangs.org/w/index.php?diff=197021&oldid=195451 5* 03Cordership 5* (+850) 10 < 1791006712 69244 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :huh < 1791006718 141857 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :shit wrong language lol < 1791006718 442313 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :thats a little less cool but understandable < 1791006722 85582 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wait wha < 1791006738 876905 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :MarkFan8901: we say that cuz we dont like how you build languages in racket < 1791006753 550266 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :no yes it was racket < 1791006758 384116 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oki oki > 1791006773 470755 PRIVMSG #esolangs :14[[07HQ9+14]]4 10 02https://esolangs.org/w/index.php?diff=197022&oldid=197021 5* 03Cordership 5* (+19) 10/* Implementations */ < 1791006791 819083 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :idk why bbut I get those confused in my head < 1791006829 215008 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :MarkFan8901: its just a lex/yacc workflow, which restricts you to traditional grammars and concepts of how semantics relate to syntax < 1791006837 860270 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: what other language are you talking about < 1791006843 575177 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or do you just mean ocaml/racket < 1791006858 802582 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I meant racket bbut confused it with Ocaml, lol < 1791006863 925106 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oki oki < 1791006868 228893 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 246 seconds < 1791006876 58973 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Ping timeout: 251 seconds < 1791006877 155922 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ive also tried prolog but never got far < 1791006884 955924 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yea prolog seems quite funky < 1791006894 104674 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but I liked it < 1791006896 684970 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like the nixos of programming languages < 1791006925 625593 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :MarkFan8901: thinking about it this is actually one of ralseis goals < 1791006965 172919 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :to be able to implement incredibly weird languages by being so damn flexible and easy < 1791007004 796372 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ralsei? < 1791007012 607719 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :is this a project you have created? < 1791007021 726036 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791007026 728387 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :thats our main esolang project rn < 1791007029 235115 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 QUIT :Ping timeout: 245 seconds < 1791007031 545148 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh cool!!! < 1791007042 86037 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :ChimeraAnova < 1791007055 279844 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we actually need to work on it again soon < 1791007084 580580 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :please do so! < 1791007091 11792 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye we will < 1791007100 552387 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i have a GPL i was working on < 1791007102 535028 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :last we were implementing it we had a bug where it seemed like one of the commands would just get eaten by the program and not have its intended effect < 1791007106 561993 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i rlly liked it but never got far < 1791007109 276099 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and we just stopped < 1791007115 811096 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: oh weird lmao < 1791007117 970203 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: thats really cool < 1791007131 824150 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: thanks!!!! I dunno how General it is < 1791007137 386482 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but its the language I'd wanna use < 1791007154 503153 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually that might beg the question of what 'general' means < 1791007174 44571 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :truly. I think its generally what people think about as useful for many things < 1791007178 276794 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it seems like ppl think it means gener*ic* < 1791007186 298037 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats true lmao < 1791007204 189032 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :but the core goal of general languages are simply ones which can be applied to a wide range of problems < 1791007213 866140 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yea < 1791007225 977612 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which could be very interesting to think about if you actually take that idea seriously and examine it up close < 1791007241 14481 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and like try to Solve for what such a language would look like < 1791007258 64522 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :in that case I guess this probably is pretty general. but it isn't made to do things like concurrency or web accses, but those could be library'ed < 1791007268 575312 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :on the topic of solving for a language... < 1791007300 479426 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :have you heard of FWOTD? < 1791007306 164549 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791007325 221040 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :nice < 1791007326 181940 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we think the concept is cool but the language itself is too undescriptive to really be interesting in our opinion < 1791007326 337546 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791007363 646507 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also technically you actually describe a whole *class* of languages which have the properties you lay out whenever you do that < 1791007364 273840 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: undescriptive? < 1791007372 813402 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: vague < 1791007375 813945 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :thats the word we were looking for < 1791007379 38567 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ah ok < 1791007404 523778 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: on the second thing you said, that was intentional and known when it was made < 1791007411 990496 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791007460 594655 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i do kinda want to re-do a constraint language again. I personally like FWOTD and find it interesting but I have other constraints I'd want to try < 1791007473 707470 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perhaps [[Category:Constraint Language]] should be a thing < 1791007477 877830 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :its a cool idea < 1791007490 365661 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yea. < 1791007502 265653 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I mean if you up I'd love to collab on one < 1791007509 169712 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perchance < 1791007539 473925 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :something we would wanna try is building the constraints off an automaton, but then dressing them up in typical programming language terms for the final rules < 1791007549 920915 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and see how people would try and implement it < 1791007580 688927 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :automaton? < 1791007590 915016 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im curious on this use of the wordd < 1791007598 116388 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :stuff like the game of life < 1791007600 244115 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or gears < 1791007602 415292 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or particle physics < 1791007607 32715 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ah yea ok. < 1791007634 313166 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so like a constant looping process applied to some predetermined memory < 1791007656 46820 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :nono, like < 1791007683 416863 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :imagine describing the properties of the automaton with that form of execution implicit < 1791007693 864586 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :then deliberately taking that out in the rules themselves < 1791007706 805418 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :what I said was the definition of an automaton:) < 1791007709 952149 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ah < 1791007724 833521 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes that is what we're talking about < 1791007733 86991 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :great! < 1791007740 136571 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :mutual understanding! < 1791007752 161795 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :but imagine trying to get the behavior of an automaton in the semantics of a language Without that process < 1791007782 384458 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats quite cool < 1791007786 653192 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791007788 662400 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :thank u < 1791007796 462708 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :no problemos < 1791007811 112442 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh perhaps said automaton would be the 'solution' to the constraints < 1791007857 937688 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I think these kinds of problems are more interesting when theres a family of languages in which the constraints apply < 1791007861 327265 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes < 1791007879 271199 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :esppecially in a social sense < 1791007888 433065 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :having an actual set Solution would go against the spirit of constraint langs, but it would be really cool to see what the constrains were based off anyways < 1791007899 718263 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also yes thinking about this in a social sense is very helpful < 1791007925 181120 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :the manifesto of constraint langs < 1791007945 810815 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :The Constraintist Manifesto < 1791007951 971982 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :could be its whole own thing seperate from esolangs to be fair < 1791007958 701313 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: lmao < 1791007981 855576 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: yea its a pretty general kind of puzzle < 1791007988 499235 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that here is being applied to esolangs < 1791008078 129746 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :building a constraint language off of an existing language is interesting bcuz on one hand, it kinda goes against the spirit(as you mentioned) but also makes the rules less arbitrary < 1791008098 722121 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :nono its only against the spirit if you say its The solution < 1791008106 643850 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh yea true < 1791008124 329258 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but if you build off a single e language you still have to make sure theres other results < 1791008128 616693 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :is what I meant < 1791008133 786928 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes < 1791008150 973224 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that ties directly into the rules being less arbitrary < 1791008178 660180 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes. < 1791008182 886994 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :since you can quantify your intent and design around it < 1791008207 153059 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like in our idea of making people fit automaton behavior in the semantics of a typical language < 1791008241 81809 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :theres also kinda the question of how precise constraints have to be. < 1791008247 309552 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :enough to be fun < 1791008256 792486 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :true words < 1791008257 886098 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791008290 116155 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca QUIT :Ping timeout: 261 seconds < 1791008292 189087 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :theres also a distinction between precise and clear < 1791008298 966533 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes < 1791008303 866727 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we think the rules should always be clear, but the precision can vary < 1791008334 106879 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :time to write a constraint language again < 1791008339 988330 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hew yea < 1791008356 140869 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also time to get back to working on ralsei < 1791008361 134008 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fungot celebrate < 1791008361 297358 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :MarkFan8901: we were talking about sml, why does ( list ( quote expression)), right < 1791008367 541747 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791008372 88178 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but yea ill be back < 1791008375 542811 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okik < 1791008394 990351 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :well ill probably stay to ramble about my ideas but I'll be off for some amount of time to get a concept at all < 1791008439 319455 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okik (2) < 1791008511 786558 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :I don't know what was up with the logs, it'd died with a segfaul seven times in a row last night, then it hit its restart limit, but when I started it back up now it didn't die and seems to be working. :shrug: < 1791008526 292350 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :damn < 1791008527 590021 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh its back up dow < 1791008528 871456 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :now* < 1791008532 790385 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :very strange < 1791009505 289575 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :MPCitH is when you read a book < 1791009519 194183 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :( < 1791010142 327950 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hmmm, i kinda want to build a constraint language off of N-type < 1791010429 467039 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :one rule, would be a transformation F onto a value X, and separately onto Y, must transform into the same value, iff X and Y share a property(beyond their individual value), unless the transformation is not defined specifically for the property thats shared by X and Y, in which their results may not be equal, unless X = Y. < 1791010506 52768 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :another rule is much simpler, every value X must be able to be interpreted as a transformation from a value A to a value B. < 1791010660 60798 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :a third is: Every transformation must be readable as a value. < 1791010768 705762 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :a fourth: Every value/transformation when initially defined(by the program, this does not apply to built in values) must be defined either as a transformation or a value, and its value or transformation interpretation must be derived, not defined. < 1791010956 930359 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: what do you think of this? < 1791010964 235649 :sprock!~sprock@user/sprock QUIT :Ping timeout: 260 seconds < 1791011072 441644 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Also: There exists a number of transformations which create other transformations < 1791011072 941604 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :And last: There exists a property universal to every value/transformation > 1791012151 741139 PRIVMSG #esolangs :14[[07Whitespace14]]4 M10 02https://esolangs.org/w/index.php?diff=197023&oldid=160586 5* 03Qazwsxplm 5* (-956) 10Symbolization < 1791012218 89888 :de67!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :de67 > 1791012262 557451 PRIVMSG #esolangs :14[[07User talk:Raiseafloppafan774114]]4 10 02https://esolangs.org/w/index.php?diff=197024&oldid=196988 5* 03Dragoneater67 5* (+171) 10/* Can NANDlang, or maybe as a extension, NANDlang+ become implemented? */ > 1791012396 196614 PRIVMSG #esolangs :14[[07Whitespace14]]4 M10 02https://esolangs.org/w/index.php?diff=197025&oldid=197023 5* 03Qazwsxplm 5* (+0) 10TAB = Horizontal Tabulation (HT) < 1791012499 176296 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hi de67! < 1791012506 330240 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hi yayimheretoo < 1791012522 360090 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: s'how ya doin? < 1791012526 659801 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :gud < 1791012548 441402 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :what abt you? < 1791012552 26282 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net QUIT :Quit: Client closed < 1791012580 324821 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im great! < 1791012592 186315 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :had quite the interesting convo with the person who just left < 1791012607 763010 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :damn < 1791012611 873123 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :need to check logs then < 1791012638 3413 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :is it MarkFan8901? < 1791012641 199478 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :about constraint based languages and stuff < 1791012646 458569 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and yes it was the fan < 1791012672 74486 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :if you see me say Ocaml start there < 1791012776 766594 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :a lot of 2d rsolangs popped up recently < 1791012802 647903 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :this is quite similar to how a lot of markup esolangs were created in late august < 1791012830 341705 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :huh, interesting > 1791012848 102297 PRIVMSG #esolangs :14[[07User:Blashyrkh/Golf14]]4 10 02https://esolangs.org/w/index.php?diff=197026&oldid=196984 5* 03Blashyrkh 5* (+99) 10Add [[Brain-Flak]] and [[GolferNightmare]] to the table. The latter looks promising, and PkmnQ is fond of the former < 1791012891 914404 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hm, the bases thing is interesting < 1791012907 79139 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :it just proves that base 1 is the best < 1791012917 415227 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :bases? < 1791012940 459361 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :base n prime concatenation thing? < 1791012951 106174 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yuh < 1791012960 692978 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ah ok < 1791012962 841489 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hm < 1791012975 197958 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :how would factorchain for base1 work? < 1791013054 315454 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :lemme trace 30: 111111111111111111111111111111 1111111111 1111111 < 1791013062 407082 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hm < 1791013081 44076 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :its actually just summing the factors < 1791013092 113376 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :so i think its guaranteed to keep going down < 1791013132 962639 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :since if a and b are natural numbers than ab ≥ a+b < 1791013209 915622 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :well that's boring < 1791013243 795492 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :kinda < 1791013251 395988 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :you can only search for primes less than n < 1791013271 527306 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :it kinda is < 1791013276 394581 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :but its less arbitrary < 1791013281 586018 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i think < 1791013303 116168 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :cuz when you think of it, any base other than base1 is quite arbitrary < 1791013389 70686 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net JOIN #esolangs * :[https://web.libera.chat] MarkFan8901 < 1791013390 647114 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wah < 1791013394 446080 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :our client quit automatically < 1791013396 392700 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :reading up on logs < 1791013431 730420 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hi MarkFan8901 < 1791013436 163620 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hi < 1791013563 622097 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: we're trying to understand the rules you put down rn > 1791013572 529464 PRIVMSG #esolangs :14[[07Cat (Language)14]]4 M10 02https://esolangs.org/w/index.php?diff=197027&oldid=138272 5* 03Qazwsxplm 5* (+6) 10 < 1791013597 850899 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :firstly, all values are valid transformations (we'll call them functions from here on out) < 1791013664 146093 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :secondly, functions which work off a certain property must return the same result for two values which share said property < 1791013682 32646 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :i.e. f(x) = f(y) if x and y share the property f works with < 1791013745 787029 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :thirdly, functions which dont work off a certain property must have different results for different values < 1791013758 151778 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :i.e. f(x) =/= f(y) if x =/= y < 1791013810 495695 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fourth, all values and functions are defined at the start of the program, but not directly < 1791013821 425356 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :they have to be derived from something < 1791013827 622297 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :(might need clarification) < 1791013836 260512 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: ill read all yo messages in a sec but I acknowledge! < 1791013841 263477 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okik < 1791013849 665875 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I used transformations to just be a bit more general < 1791013870 831574 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :using the word function makes some things obvious < 1791013879 246189 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes < 1791013907 459873 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like the fact all values are transformations and vice versa tells us this is a lambda calculus of some sort < 1791013941 735268 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also the fact that all values and functions are defined at the start of the program feels typical for programming in lambdas < 1791013961 90917 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :the derived thing is somewhat interesting though < 1791013990 71775 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yep!! again, just wanted to be as general as possible. also, they dont have to be defined at the start of the program, could be anywhere. its just that you have to define it as either a value or a function, and the "other side" must be derived < 1791014000 141552 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ohhhh < 1791014021 51724 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we thought the definitions of each had to be derived from the rules you put down < 1791014026 345047 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so you couldnt just directly define a value or function < 1791014040 457858 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yeah that collapses it way further down into lambda calculus < 1791014054 404275 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :also, this doesn't mean it has to be possible to define as a value, or possible to define as a function. you could further restrict it to just do one. N-type does this, you can only define its function form lol. < 1791014059 725218 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :MarkFan8901: btw, there was some discussion around fwotd back in april < 1791014068 426692 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but yes its very close to LC < 1791014073 823492 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :my functional ass < 1791014076 839028 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :in here or on the talk page for fwotd < 1791014081 933431 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :in here < 1791014082 605857 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :irc < 1791014087 682151 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hmh < 1791014097 871337 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :also, fungot, do YOU have a functional ass? < 1791014097 974980 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :yayimheretoo: good enough. kiddy grade on the other < 1791014105 509032 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :wow ok < 1791014124 898217 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :im nonfunctional < 1791014126 674641 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we have a dysfunctional ass :( /j < 1791014131 369331 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ack why does it turn to emojis < 1791014149 257198 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: imperative ass < 1791014154 875994 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :MarkFan8901: cuz you use the stupid web client < 1791014157 246198 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :general recursive ass < 1791014160 794770 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: fair < 1791014191 972264 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: yuh, i do a lot of imperative things cuz its very simple < 1791014193 529994 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hm we wonder what a language with a general recursive paradigm would look like < 1791014197 829913 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :NL complexity ass < 1791014198 314313 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :you do this then do that < 1791014211 265671 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yep < 1791014220 638321 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it makes sense < 1791014224 180490 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i ddo too < 1791014261 292256 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :MarkFan8901: as in like, one which tried to make generalizations over them and make it usable for general programming < 1791014268 118365 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like what haskell does with lambda calculus < 1791014280 571541 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :that seems cool < 1791014282 578845 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or what (arguably) algol-likes do with turing machines < 1791014286 339499 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791014288 644761 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually hold on < 1791014303 291886 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :are there any languages which generalize over how specifically turing machines work? < 1791014313 968236 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :imma Haskell yo ass *makes you a GPL based off of your simple structure* < 1791014322 769438 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hm, could declarative paradigm be generalized? < 1791014323 711291 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like not machines with ram and registers like with normal computers < 1791014324 239887 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :actually, now i'm wondering if https://esolanging.wiki/wiki/User:PkmnQ/Reinterpretable would count as a (user-edited) constraintlang < 1791014342 916200 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :de67: would Prolog count? < 1791014344 569922 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :PkmnQ: probably < 1791014349 416555 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: thats already haskell < 1791014355 247750 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and arguably combinators < 1791014357 952514 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :PkmnQ: hmmmm < 1791014359 754620 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :YES < 1791014363 924063 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :isnt haskell functional? < 1791014367 790711 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791014370 875653 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :but its also declarative < 1791014375 128837 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually hold on < 1791014383 781587 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :the constraints are the programs, and it slowly gets more restricted by user edits < 1791014385 626360 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :what do u mean precisely by declarative < 1791014399 826476 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Burn is a... constraint language? < 1791014413 195829 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :MarkFan8901: i think theres a edolang wiki page abt it < 1791014414 889035 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh burn is an accidental constraint language < 1791014416 961718 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :lemme search it up < 1791014425 279893 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: yes < 1791014436 858989 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :https://esolangs.org/wiki/Declarative_paradigm < 1791014443 888690 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :finally the people dont have to fake forgetting something < 1791014446 696358 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791014455 178848 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: yeah the reason i haven't looked into the increasing possibility more is because i'm fairly sure i'm gonna be stumbling onto a family of CAs rather than just one < 1791014487 239984 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :btw < 1791014491 672037 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wait what are you referring to < 1791014495 725675 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :sry we are a little dump < 1791014499 694733 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: how do you even forget an esolang? < 1791014521 296689 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :PkmnQ: holy shit I just forgot it's YOU who did the FWOTD! thanks! < 1791014526 817045 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: skill issue < 1791014529 3673 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :MarkFan8901: to the paradigm?? < 1791014533 742437 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: this is a completely different definition of declarative than what we had in mind < 1791014537 951033 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hm < 1791014542 140687 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im very funny as you can see < 1791014558 309389 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: wait wait sry < 1791014561 608455 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we were scrolled up < 1791014570 822606 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we were responding to PkmnQ < 1791014580 297699 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :with the 'what are you referring to' < 1791014583 569154 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :im confused on whats going on, there are multiple ongoing conversations in one channel < 1791014585 277770 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: oh well for Burn I mostly considered the possibility that cells only ever decrease < 1791014592 789566 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: Yea < 1791014600 933336 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: happens, sadly < 1791014608 35255 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :what happens? < 1791014608 305664 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hold on lets disambiguate < 1791014624 739279 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: multi-conversation in the single channel < 1791014626 760747 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :PkmnQ: what increasing possibility are you referring to < 1791014634 337970 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimhere: btw, what did you intend to mean by skill issue? < 1791014655 719320 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: "how do you even forget an esolang" "skill issue" < 1791014656 541564 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :MarkFan8901: i think hes referring to burn < 1791014656 604987 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Hi < 1791014659 905098 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :again, very funny < 1791014661 40913 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hi apic < 1791014662 456249 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :MarkFan8901: well one of the speculated pieces of information for Burn is "I think the irreversibility was implemented via requiring each colour channel of each cell to only ever decrease (or maybe only ever increase, but decreasing seems more likely)." < 1791014667 615696 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Yo de67 😌 < 1791014667 675060 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Hi APic, welcome to hell < 1791014671 593089 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791014680 864886 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: does that mean bad memory? or just forgetting to save a file with all your notes? < 1791014684 178973 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :PkmnQ: OH < 1791014686 365702 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okay okay < 1791014702 739156 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: it was a joke sorry lol < 1791014710 489805 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im my case I just dont write shit down < 1791014714 162067 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :i went with decreasing since it was a lot more constrained than increasing, if i ever get to investigate increasing i think there'll be a whole family of possible Burns rather than one < 1791014740 476158 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: thats why i oftentimes write txt files with all the notes on them, and then delete them once i get everything sorted out < 1791014760 983837 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :PkmnQ: okay we see what you mean now < 1791014767 553535 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: yea that makes sense. I just change it so often in my head a textfile is bothersome cuz I have to update all the time < 1791014771 298979 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :increasing burn has the possibility of becoming a constraint lang < 1791014805 361963 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :alr < 1791014808 940428 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i gtg < 1791014810 536160 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Remote host closed the connection < 1791014812 236711 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :aw < 1791014822 739065 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :made great convo! < 1791014839 776344 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :: the issue with making a language out of that definition of declarative programming is that at some point you need to quantify the programmers intent < 1791014849 483946 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which. isnt possible without some sort of artificial intelligence < 1791014859 640784 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or with some degree of imperativity < 1791014985 718278 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like, the optimal declarative language would look something like `fac(n) {0 -> 1, 1 -> 1, 2 -> 2, 3 -> 6, 4 -> 24, 5 -> 120, 6 -> 720, ...}` < 1791015016 773969 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :zero control over how the function actually works internally, just what its supposed to do < 1791015054 172365 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :even with our example, at some point you would have to put those functions together to make the program < 1791015071 439253 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which would be controlling the flow of the program < 1791015073 339877 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which would be imperative < 1791015077 115528 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: do it like Prolog does it < 1791015085 965622 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :let the user input what they want < 1791015155 522204 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually prolog does seem like a kind of good stepping stone for making such a language like that < 1791015180 121153 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :cuz its rules *are* defining your intent, in a pretty pure sense < 1791015189 5692 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :if your intent can be written out logically, at least < 1791015201 823869 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it also works cuz logic solvers Are a kind of ai < 1791015245 373205 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :since they can formalize human knowledge and automate it < 1791015264 406008 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :'human knowledge' here being the part of our brains that do logic < 1791015422 161076 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually scratch our original example, the optimal declarative language would just be plain natural language < 1791015480 506488 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perhaps llms can work as (shitty) transpilers between natural language and programming languages < 1791015504 914015 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :heard of vibe coding /j < 1791015524 368269 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes this is what vibe coding is < 1791015541 17536 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so To avoid this logical extreme we have a different definition of declarative < 1791015549 915910 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which also seems to fit a lot of languages which get called declarative too < 1791015592 667846 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :instead, having a declarative paradigm means that you can deduce what a program in your language is just by specifying your intent more and more < 1791015638 559719 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we've brought this up before but there's a pretty simple paper about the theoretical combinator J, where JJ -> K and J(JJ) -> S < 1791015683 175820 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and it does this by deducing what the properties of such a combinator would be < 1791015699 14273 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :until the actual combinator just plops right into their hand < 1791015699 870758 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :also theres more N-type rules: < 1791015700 370590 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1. Every Property has a corresponding value/transform, and every value/transform has a corresponding property. For ease of use, P(X) is the property which corresponds to X. < 1791015700 887148 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :2. There must exist the following builtin values/transforms: < 1791015701 370747 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :A value/transform M which turns values of the universal property into itself. < 1791015701 870526 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :A value/transform l which takes in a value X and creates a transform which transform everything with the property P(X) into X. < 1791015702 373703 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :A value/transform which takes in a value X, and creates a transform which makes values of P(M) into l(X) < 1791015702 871406 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :3. There exists transforms U which turn a value/transform into a transform F, where U never calls any values C that are equal to F. < 1791015703 370334 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :4. the above transforms act upon every property which has a single value(i.e the property which refers to the value that represents that property) < 1791015731 547267 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: great < 1791015745 622997 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye its a really cool paper < 1791015754 311718 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :even though its really short and simple < 1791015767 664770 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i wanna read it! < 1791015772 487699 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we realized that that same thing is actually kind of what type programming is like in haskell < 1791015821 174728 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :you interrogate what you wanna implement really hard until the program just naturally falls out from it < 1791015839 955171 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats great < 1791015864 376352 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :maybe theres a way you can do that to a set of constraints for a constraint language < 1791015885 104193 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :funny how those are kinda similair < 1791015888 624483 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye thats how solving for constraints feel < 1791015896 478240 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually wait arent they just the same thing < 1791015905 529824 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :solving for that combinator J was a constraint problem < 1791015915 78273 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :where the constraints are that JJ -> K and J(JJ) -> S < 1791015927 465050 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :were js sobbing for langs and not combinators < 1791015939 93619 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791015940 173371 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :funny how that connects thats satisfying < 1791015945 959459 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes < 1791015951 770202 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we love making connections like that < 1791015969 468803 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :me too! < 1791015970 12138 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :anyways we're gonna filter the rules you typed through our brain rq < 1791015975 748292 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :cool cool < 1791016138 201116 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :just remembered https://esolangs.org/wiki/Tableaux < 1791016149 102182 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh that monster < 1791016584 501814 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :1. every type has a function, and every function has a type. x' swaps a type/function x to its corresponding function/type respectively < 1791016585 2289 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :2. there's a universal property (not sure what that means tho) < 1791016585 501189 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :3. there's a built in identity function M for the universal property < 1791016586 1462 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :4. there's a built in function I(x) which makes a function λ where x -> x'' < 1791016586 501278 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :5. there's a built in function *(x) which makes a function λ where M' -> I(x) < 1791016587 2617 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :6. there's a built in function U which (ok we dont know what this does) < 1791016596 455263 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :U needs more clarification < 1791016630 586491 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :did I swap property out with type god dammit < 1791016649 344066 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :nah we did < 1791016657 634074 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :AH ok:) < 1791016677 291437 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :what is the universal property < 1791016679 817531 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so let me explain the last one better < 1791016681 859608 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :does that mean the property every value has < 1791016687 636885 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes < 1791016691 416424 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that should be clarified < 1791016770 430723 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :theres a number of transforms (let just call one U). U(x) returns some function λ based on x. When U is executed, it never calls any function F thats equal to λ. < 1791016782 415667 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I and * are transforms U < 1791016786 734404 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*like U < 1791016855 480798 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*l and * < 1791016855 716280 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so when U is executed, it doesnt call λ < 1791016860 398596 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or anything equivalent to it < 1791016909 589843 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :no, whenever U returns λ, we assume U never called a function λ. Basically, it's a kinda roundabout way to explain that U is never a constant function < 1791016940 707484 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ahh okay < 1791016944 146836 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and also, the rule I said earlier, thaat if X and Y share a property and F acts on that property, then F(X) = F(Y)? well with U... < 1791016969 134584 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :U always acts on the property thats unique to that single value, so if U(X) = U(Y), X should equal Y < 1791016972 914854 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :let me double check tho < 1791017018 580189 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :esolangs.org has been so slow recently lol < 1791017082 776882 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so U only works on the types of functions < 1791017093 365164 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also question, what does P(M) mean < 1791017102 98205 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :does the universal type also correspond to some function < 1791017120 726182 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :nono, U's result is just never set to be equal because X and Y share a property. < 1791017134 706426 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :The result could be equal for other reasons, but never because of property < 1791017144 858254 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ah ok < 1791017150 807167 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it still obeys the property law though, because every object has a property unique to it < 1791017153 715170 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so it does NOT work on property < 1791017170 147535 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: in practice no < 1791017182 511679 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :P(M) is the property holding only M < 1791017195 339432 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh wait < 1791017202 759814 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :right we forgot M is a function < 1791017207 336080 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fsr we thought it meant the universal type < 1791017214 836754 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :v is the universal type:) < 1791017339 47336 :de67!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :de67 < 1791017345 786077 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :this is very confusing llmao. cant wait to write it down and try to find a solution myself < 1791017362 285979 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hi guys im back < 1791017363 645765 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ack < 1791017369 676569 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im thinking smth Thue like( theres a reason I said transform and not just function;) ) < 1791017375 700688 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: hi! :) < 1791017377 683023 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :whats going on < 1791017377 839868 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oo < 1791017380 105074 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also hi de67 < 1791017386 396179 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: more constrainnts < 1791017387 321650 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we're talking about yayimheretoos new constraint language < 1791017392 176632 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :oh damn < 1791017397 899725 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also we got out the thoughts we wanted to on the declarative thingy we were talking about earlier < 1791017400 977770 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it was right after you left < 1791017402 952344 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :thats cool < 1791017414 184890 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :u should read it....................................................................................... < 1791017419 867494 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :turns out constraint languages and declarative paradigms are the same /j < 1791017432 458385 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :True... < 1791017474 955279 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :fucking, just < 1791017479 217471 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :grea < 1791017489 796714 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :did your progress get deleted < 1791017492 399821 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :is esolangs.org down? < 1791017504 824405 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh its slow < 1791017507 476388 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :(we're checking rn) < 1791017508 231968 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: no I was just joking on the connection < 1791017511 392049 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh oki < 1791017511 776289 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: no < 1791017528 947421 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but sometimes it renders in raw text without any CSS or anything < 1791017538 241550 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :oh so its under heavy load < 1791017540 786639 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hm < 1791017546 341569 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :lemme check esolanging wiki too < 1791017547 646595 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yeaa < 1791017570 948797 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :wow esolanging wiki is healthy < 1791017572 595956 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :somehow < 1791017580 587161 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :great job! < 1791017594 502169 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :sounds like a great home for constraint languages tbh < 1791017629 834501 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: i actually did nothing server side for past few days, i guess stupid ai crawlers didnt find my wiki yet < 1791017647 319440 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: lets hope they stay blind < 1791017667 64058 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :was about to do a blind leading blind reference but it didn't fit > 1791017671 232088 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03BlueHaunter 5* 10New user account < 1791017708 218951 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: there are some companies and orgs that are scanning the entire ipv4 address space for new sevrers < 1791017717 763051 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :1. each function is of the universal type < 1791017718 262886 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :2. each unique function has a unique type, and vice versa. (notation: x' swaps a type/function x to its corresponding function/type) < 1791017718 763797 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :3. there's a built in identity function M for functions of the universal property < 1791017719 263986 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :4. there's a built in function I(x) which makes a function λ where x -> x'' < 1791017719 762707 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :5. there's a built in function *(x) which makes a function λ where M' -> I(x) < 1791017719 845725 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :so idk whats stopping them < 1791017720 264054 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :6. there's a built in function U which makes a function λ where λ wasn't called by U < 1791017720 664455 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: jeeez man < 1791017731 948636 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :its alsp indexed on google < 1791017741 341873 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :if you search esolanging wiki on google youll find it < 1791017760 776659 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :the cralwer protection measures are almost the same as in esolang wiki < 1791017769 149388 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: theres still sum misunderstandings let me reword a bit so it makes sense < 1791017770 260354 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :this is why sneaker net stays on top < 1791017775 581837 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: oki < 1791017892 340969 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1. Every function is of the type v, the universal type. < 1791017892 840645 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :2. each function has a corresponding type and each type has a corresponding function(x' saps between type and function) < 1791017893 340844 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :3. theres a builtin function M for v(i.e every value with the type v will come out with the same value), where the result is M < 1791017897 851127 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :theres more gimme a sec < 1791017937 801004 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :4. theres a builtin I(x) which produces a function λ where it takes a value of type x' and produces x < 1791018008 649754 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :your current 1 and 2 kind of conflict < 1791018030 313914 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :since it says every function has *a* type, implying singular, but they already have the universal type < 1791018047 560289 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which would defeat the point of types < 1791018062 791898 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :a value can have multiple types < 1791018070 3684 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ahhhh okay < 1791018108 559600 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :5. theres a builtin *(x) which makes a function λ which turns values of M' into I(x) < 1791018269 762308 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perhaps U is too complicated in its current state < 1791018274 990895 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ur taking quite a bit of time trying to put it intuitively < 1791018327 866038 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :im scared < 1791018339 916640 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :there are so many functions < 1791018343 133004 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe just saying U isnt a constant function would be better < 1791018347 557889 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also ya fair de67 < 1791018355 936701 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :markfan8901 yep. its hard to abstract for whatever reasoon < 1791018365 374842 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im also just getting distracted lol < 1791018369 825268 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fair < 1791018430 900387 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :6. (pretty much forget everything I said about it before lol) theres a CLASS(distinct from type, its not smth the program reads, its not a property). It takes in a value X, and creates a function where somewhere in its definition, a value is replaced with X. Even though the functions in this CLASS practically ignore type, technically under the < 1791018431 382333 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hood, they rely on the type which is singular for X. < 1791018436 167738 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :now whats the type thats singular for X? < 1791018445 373901 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :its basically just a type which holds ONLY X. < 1791018496 671474 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe classes should be defined beforehand < 1791018585 71105 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Class: A class is a set of functions/values, that is literally jsut used to describe the rules. its not actually used by the program as a value or anything like that < 1791018637 331834 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe this could be defined with a function that returns a function that returns a function < 1791018665 140872 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but classes aren't rlly formal < 1791018671 532137 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im just saying SOME functions act like this < 1791018673 321708 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :SOME of them < 1791018689 776607 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which is Weird < 1791018698 359573 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe you should try splitting this into multiple rules < 1791018737 299251 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Markfan8901: it is, because for whatever reason its rlly hard to abstract and I DONT KNOW WHY! < 1791018741 487433 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmaooo < 1791018819 346007 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :idk how to split it though < 1791018854 108814 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe have one function which deals with the class shenanigans, then define U with it < 1791018875 672757 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791018880 174103 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ill think about it and be back < 1791018884 621512 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okik < 1791018886 418710 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :btw if you want to see whats being abstracted < 1791018895 559066 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :nah we wanna do this spoiler free < 1791018900 414614 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :great < 1791018905 169050 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :holy shit tho < 1791018918 445420 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ok lets set up some notation < 1791018930 539444 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1(X) is the type which holds ONLY X < 1791019068 381423 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hmmmmm < 1791019104 566392 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wait okay < 1791019109 177690 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :A is *some*(i.e a random one not anything specific) "template" for a function. This means it had somewhere where a value is missing < 1791019130 668726 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so its beta reducible < 1791019139 301092 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :now in this class of functions, every function F takes in a value X, and inserts it into A, and returns the result of x in A < 1791019145 313455 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :now why is 1(X) relevant? < 1791019155 933983 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ya why cant you just do X < 1791019216 961813 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :well, every function operators "for" some amount of types, and If X and Y both are in one of those types the function operators "for" F(X) would be equal to F(Y). However, every function in this class acts for every single 1(X) of every single X, so it remains unique across types < 1791019222 951158 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :without breaking the other rules > 1791019233 255810 PRIVMSG #esolangs :14[[07Dolfins grace14]]4 10 02https://esolangs.org/w/index.php?diff=197028&oldid=196618 5* 03Cordership 5* (+27) 10/* commands */ < 1791019256 804106 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh so 1(X) is a workaround to not break the other constraints < 1791019262 438839 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that sounds like a problem < 1791019299 34045 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes it is < 1791019301 470577 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791019312 793706 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :well I dunno if its a problem but it is a workaround to preserve uniqueness < 1791019326 250128 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yeah which is very unelegant < 1791019328 364559 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and not fun to solve for < 1791019336 317950 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :theres not many other ways to do it < 1791019347 598668 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe you could just change how the function works < 1791019348 335320 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :other than to define this class as a whole different like system of functions > 1791019363 768194 PRIVMSG #esolangs :14[[07Dolfins grace14]]4 10 02https://esolangs.org/w/index.php?diff=197029&oldid=197028 5* 03Cordership 5* (+19) 10 < 1791019364 600074 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so that you *could* implement U in it < 1791019367 148422 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :but dont have to < 1791019379 624160 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: then it stops being connected to the original language to a large extent < 1791019391 369615 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hm < 1791019399 103105 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that implies the rest of the constraints are filler < 1791019399 189463 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :also U isn't a builtin I ws using it to represent some arbitrary function in the class > 1791019406 487265 PRIVMSG #esolangs :14[[07Dolfins grace14]]4 10 02https://esolangs.org/w/index.php?diff=197030&oldid=197029 5* 03Cordership 5* (-18) 10/* commands */ < 1791019421 465322 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: not really they set up a heavy part of how the language operates < 1791019431 8585 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hmh < 1791019444 345387 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :its just if this class of functions disappear then one half of the language is gone < 1791019456 29804 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :because most of the rules govern BOTH kinds of functions > 1791019460 769705 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=197031&oldid=196985 5* 03BlueHaunter 5* (+142) 10 < 1791019463 619557 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but, this class we just defined right? < 1791019472 906451 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :is an exception < 1791019473 130749 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*, and I are both inside of it < 1791019498 504616 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :see? < 1791019509 492458 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so they implement "cleanly" in a way < 1791019518 772572 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :what if you work backwards from the class < 1791019525 795574 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yea thats true < 1791019527 631515 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :like, define the class first in the constraints, then the rest of the language < 1791019544 249777 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I mean the rule that the functions have to like base uniqueness of of types right? < 1791019553 231024 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :that could just be constrained to one part of the language < 1791019587 632573 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that implies multiple 'parts' of the language < 1791019612 509154 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :part class whatever < 1791019634 665143 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which would supercede the current definition which speaks in terms of fundamentals < 1791019650 232701 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :its only one rule which would be superceded < 1791019659 526721 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :maybe two, not much < 1791019678 694574 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :sry we werent clear < 1791019691 948709 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we meant it would supercede the attitude the current constraints have right now < 1791019707 558396 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :which speak on the other 'part' of the language as if its the only one > 1791019793 133513 PRIVMSG #esolangs :14[[07Ceremonial14]]4 N10 02https://esolangs.org/w/index.php?oldid=197032 5* 03BlueHaunter 5* (+9453) 10Ceremonial 4 ("ABYSS" edition) is a ritualistic, Turing-complete esolang that features letter-balance constraints, politeness quotas (pls), depth-based scope rules, triple checksums, ternary numbers, dynamic mood shifts, memory decay, and a Tkinter graphics engine. < 1791019844 3087 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ok we can replace that rule we would have to change: < 1791019844 502966 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1. Every function must either define uniqueness input to input, or type to type. < 1791019845 2933 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :This means a function F which od the first, F(X) = F(Y) iff X = Y. < 1791019845 502825 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :And every function G which does the second, F(X) = F(Y) iff X and Y are both in the same type. < 1791019860 271113 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :now we can put this more elegant, if we just say ≈ is "they have equal types" < 1791019888 52629 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh you can put that even more elegantly < 1791019900 216900 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :1. every function must either work on value or type < 1791019906 784262 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1. Every function must either define uniqueness input to input, or type to type. < 1791019907 284910 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :This means a function F which od the first, F(X) = F(Y) iff X = Y. < 1791019907 785269 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :And every function G which does the second, F(X) = F(Y) iff X ≈ Y > 1791020041 234822 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=197033&oldid=197031 5* 03BlueHaunter 5* (+41) 10 < 1791020061 834305 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but MarkFan8901: yes thats very elegant < 1791020068 139590 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yay thank u < 1791020068 760316 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :its not super formal but yea < 1791020095 57176 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1. Every function determines its output either based on the inputted value, or the inputted values type < 1791020096 705887 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i guess < 1791020153 471599 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :1. for all functions f(x), f either works on x or x' < 1791020161 636114 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :YEP! < 1791020165 6654 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats it < 1791020187 564974 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and to pose it in the style I was before: < 1791020188 64508 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :1. Every transform works either on X or X' < 1791020192 403179 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :slightly different < 1791020227 436607 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :THIS IS IT < 1791020227 933023 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ITS DONE < 1791020232 792866 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I CAN DIE NOW < 1791020234 280164 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmmao < 1791020249 979251 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :Hooh < 1791020261 151076 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i literally can't think of more rules < 1791020282 975245 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :now its *your* turn /j < 1791020299 154446 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okay actually wait < 1791020299 914838 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hold on < 1791020306 195403 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :describe how U works with this newfound terminology < 1791020316 218974 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ignore U < 1791020318 328710 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :never existed < 1791020322 453617 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wtf... < 1791020324 105757 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :that was a miscommunication < 1791020327 547135 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :accident < 1791020329 386381 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :didnt you say that was like half the language < 1791020329 608874 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im sorry < 1791020349 856679 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :U was meant to represent every function that acted like that, like I(x) or *(x) < 1791020359 467334 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and the others which act on X and not P(X) < 1791020364 766119 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ahh < 1791020369 735376 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i was stupid < 1791020370 790536 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791020372 363268 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :its oki < 1791020383 221548 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :this is actually a very good learning point though < 1791020391 302696 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :both for designing and solving constraint langs < 1791020395 471574 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yea!! < 1791020410 152629 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :first time its rlly been done with the intent of being a constraintlang < 1791020414 962772 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791020415 760027 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :to our knowledge < 1791020424 504697 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we're doing important work here < 1791020430 556301 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yea!! < 1791020436 149293 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :never done that beforeeee < 1791020458 176824 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :constraintlang is a bad name I think. Conlang doesn't work thoigh < 1791020471 29208 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :constraint VS Restrictiv? < 1791020474 826020 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wait how come constraint lang is a bad name < 1791020474 873544 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*restrict < 1791020482 938328 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :its just very long I think < 1791020491 978657 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it would be nive with an additional term thats shorted < 1791020500 861229 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :(additional, not replacement) < 1791020501 152327 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perchance < 1791020503 929468 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we think its a fine name though < 1791020507 692575 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :like Esoteric Language VS Esolang < 1791020509 349325 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it has as many syllables as esolang < 1791020520 370031 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :damn lmaa < 1791020522 425683 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*lmao < 1791020543 118824 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :rulelang maybe? < 1791020546 958563 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe 'lang' isnt very apt here < 1791020551 76735 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :since it defines a class of languages < 1791020552 462048 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :not really < 1791020555 457768 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :OH wait hold on < 1791020562 700565 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oooou < 1791020564 503042 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perhaps something could be done with set construction < 1791020574 480190 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :huh yea < 1791020600 399085 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so actually set construction = constraint lang = declarative paradigm < 1791020607 494570 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :(thai a jokelol) < 1791020614 556244 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :no but like actually < 1791020628 689415 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :you do realize constraint programming is a delcarative paradigm right < 1791020634 850786 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes yes < 1791020639 344306 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :as we say in denmark < 1791020640 941391 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :jaja even < 1791020665 64644 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :reminds us of that one meme < 1791020686 599958 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :where its like "jajaja (spanish laughter)" "h*" "oh sorry, jhjhjh" < 1791020700 179318 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791020749 715186 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :: since the constraints could be considered the set constructors for the set of all languages that fit t < 1791020753 760430 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it* < 1791020771 911877 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :preddi much yea < 1791020796 260550 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats an interesting connection too between a logic solver(as in PROLOG) and a set constructor(AS in a constraintlang) < 1791020813 730277 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yee > 1791021012 728831 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03BlueHaunter 5* 10uploaded "[[02File:Ceremonialicon.png10]]": the icon for ceremonial < 1791021021 428406 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hm what if we put all the constraints together now < 1791021043 222436 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ill do that < 1791021044 559751 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we elect to have one that says smth like "there exists 'entities' which are both values and transformations" < 1791021054 56524 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so you dont have to say values/tranformations all the time < 1791021059 871268 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :go through the logs and all < 1791021065 236436 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan9801: THANKS < 1791021070 347172 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :np np < 1791021071 753177 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats GREAT! < 1791021076 650880 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :excitement ensues > 1791021087 943053 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197035&oldid=197032 5* 03BlueHaunter 5* (+74) 10 < 1791021105 663293 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ok but, I wonder how you can translate LANGUAGE constraints to say, LOGIC constraints < 1791021115 842633 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :into the "normal" declarative domain < 1791021134 258700 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh we were actually thinking about putting all the rules you put in fancy formal logic notation < 1791021145 116542 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and also. constraint languages could be described by aa Meta-declarative language < 1791021150 290639 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: that would be nice < 1791021159 331409 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ill try! < 1791021171 675305 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im just not great with classical logic < 1791021184 227870 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wawa we dont mean we wanted you to do that < 1791021205 394737 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ah ok < 1791021208 298281 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :you want to? < 1791021210 244243 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791021220 499996 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i dont wanna set you to too much work over my little stupids < 1791021239 99675 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ya we'll only do the notation for the ones which we can do elegantly < 1791021244 728417 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ok col < 1791021258 832481 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :also funny thing is a constraint language is just a very very ambiguous language < 1791021267 45681 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :True... < 1791021277 989445 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :its like ambiguous syntax but semantics instead < 1791021278 92309 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so ambigous you could create whole different LANGUAGES by reading the statements differently > 1791021285 298100 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197036&oldid=197035 5* 03BlueHaunter 5* (-309) 10Ceremonial 4 ("ABYSS" edition) is a ritualistic, Turing-complete esolang that features letter-balance constraints, politeness quotas (pls), depth-based scope rules, triple checksums, ternary numbers, dynamic mood shifts, memory decay, and a Tkinter graphics engine. < 1791021305 580008 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :or in this case, filling in specific stuff in the ambiguous "holes" of the lang < 1791021312 657817 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye > 1791021327 801192 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197037&oldid=197036 5* 03Raiseafloppafan7741 5* (+138) 10meow (ha get it because categorization -> cat and cats meow? not funny didn't laugh) also hey graphical output! < 1791021383 758692 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :"its like ambiguous syntax but semantics instead".... now im thinking, if those are equivalent, a syntax acts as a whole language, if complex enough? < 1791021391 940192 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :this is kinda sketchy but maybe? < 1791021403 198682 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes < 1791021404 563793 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it does < 1791021428 973689 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :grammars are programming languages which turn a string of tokens into a corresponding tree < 1791021442 771361 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh yea I forgot < 1791021447 74790 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so... < 1791021458 219457 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :most language syntax is context sensitive < 1791021460 804376 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :making them pda-complete < 1791021473 648496 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :if you made a language whose syntax was unrestricted, that would make it turing complete < 1791021474 964294 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :constraint languages = ambiguous grammars = set construction = declarative paradigm < 1791021492 106019 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*thats weird* < 1791021502 234553 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yee < 1791021533 961823 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :the only thin here is the =. We could try, some day, at some point, to try and find the translation between the thingd < 1791021536 434411 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :the general theme of "find solutions from vague rules" has tons of reach in computer science < 1791021537 372360 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*things < 1791021545 983717 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: thats also true < 1791021572 963648 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I wonder if theres a connection here to the "logic system = type system" < 1791021576 902277 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we'd say constraint languages, ambiguous grammars, and set construction are all examples of declarative programming < 1791021585 298743 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats true < 1791021596 947453 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: that feels like it already exists > 1791021607 691474 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197038&oldid=197037 5* 03Dragoneater67 5* (+29) 10/* Printing hello world in Ceremonial */ tag slop < 1791021607 832200 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :but if it doesnt, we think a good place to start would be with modal logic < 1791021632 280349 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hold on brb we're gonna pe < 1791021637 766617 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :no type system = logic exists, but, does constraint language = type system or smth like that exist < 1791021648 460385 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :cya MarKFan8901! < 1791021787 555249 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :back < 1791021795 226094 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hi! < 1791021807 332421 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: it would probably imply a type system in the metalanguage describing it > 1791021829 71552 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197039&oldid=197038 5* 03BlueHaunter 5* (+57) 10Ceremonial 4 ("ABYSS" edition) is a ritualistic, Turing-complete esolang that features letter-balance constraints, politeness quotas (pls), depth-based scope rules, triple checksums, ternary numbers, dynamic mood shifts, memory decay, and a Tkinter graphics engine. < 1791021850 904631 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Markfan8901: prolly > 1791021860 259035 PRIVMSG #esolangs :14[[07User:Blashyrkh/Golf/Code14]]4 10 02https://esolangs.org/w/index.php?diff=197040&oldid=196983 5* 03Blashyrkh 5* (+2982) 10/* Lazy K */ 2523 bytes [[Quine]] < 1791021860 357971 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :Also we feel like that meta-declarative language could just be defined via algebraic constraints < 1791021866 751262 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :probably > 1791021883 467639 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197041&oldid=197039 5* 03Dragoneater67 5* (-57) 10Undo revision [[Special:Diff/197039|197039]] by [[Special:Contributions/BlueHaunter|BlueHaunter]] ([[User talk:BlueHaunter|talk]]) the page was obviously writren by an llm < 1791021891 827711 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :perhaps it would be a language which abstracts over algebra < 1791021912 898241 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :also, weird language thing, we've been using the term constraint language to refer to te thing rules themselves- whats the resulting language called? a solved language? < 1791021914 352338 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hmmm < 1791021923 881381 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :like the "denynom" almost < 1791021930 555828 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :the constrained language < 1791021938 726170 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :the solution language < 1791021943 744700 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yea < 1791021957 289465 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye solution language sounds like the best term < 1791021958 598419 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :the solution or solved language provides more clear distinction < 1791021979 44868 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we prefer solution cuz solved sounds like the language itself was solved < 1791021983 387312 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and not the constraints < 1791022004 221002 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i also prefer solution > 1791022008 528498 PRIVMSG #esolangs :14[[07User:Blashyrkh/Golf14]]4 10 02https://esolangs.org/w/index.php?diff=197042&oldid=197026 5* 03Blashyrkh 5* (+38) 10Shorter [[Quine]] @ [[Lazy K]] (2644 > 2523) < 1791022033 238197 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :nice < 1791022033 572837 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :: like how haskell abstracts over lambda calculus < 1791022047 312526 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67 and Markfan8901: yep < 1791022061 772596 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we wonder if such a language could be made turing complete to define uncomputable languages < 1791022083 9627 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe some weird arithmetical hierarchy shenanigans could be roped into this < 1791022116 13895 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :just everything in one < 1791022117 104299 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791022126 91147 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :Yea fuck it the whole smorgasboard > 1791022131 66801 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197043&oldid=197041 5* 03BlueHaunter 5* (-851) 10Ceremonial 4 ("ABYSS" edition) is a ritualistic, Turing-complete esolang that features letter-balance constraints, politeness quotas (pls), depth-based scope rules, triple checksums, ternary numbers, dynamic mood shifts, memory decay, and a Tkinter graphics engine. > 1791022139 837432 PRIVMSG #esolangs :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=197044&oldid=196243 5* 03Blashyrkh 5* (-233) 10/* Lazy K */ Shorter version (2644 > 2523) > 1791022210 878919 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197045&oldid=197043 5* 03BlueHaunter 5* (+4) 10 < 1791022229 391963 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :man this is fun < 1791022236 927968 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yes < 1791022241 639177 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :like its rare I'll have SO much fun messing with esolang stuff < 1791022253 248720 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :to think this discussion spawned of fucking FWOTD < 1791022268 811752 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :sign that you can grow your esolanging skills > 1791022288 73902 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197046&oldid=197045 5* 03Dragoneater67 5* (-46) 10 < 1791022300 626369 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :its not that I dont have fun, its just more fun with other people < 1791022307 958606 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ah < 1791022309 441432 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791022314 349959 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs ::3 < 1791022319 233323 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791022319 666010 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :MarkFan8901: something weird about it, when we stop judging languages for being low effort we suddenly see way more things that can be done with any ideas put in front of us < 1791022333 827448 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: yea < 1791022334 911229 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :theres a whole discussion between us and ais and someone else talking about fucking constant languages of all things < 1791022342 334036 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh huh < 1791022348 762409 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but yea its true < 1791022353 735073 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :supposedly the epitome of low effort got us talking about like, cyclic quines < 1791022365 344794 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :a program a which outputs program b, which outputs program a again < 1791022368 561527 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I think part of it might be what seems simple to humans isn't simple to a machine? > 1791022373 214585 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197047&oldid=197046 5* 03BlueHaunter 5* (-5) 10 > 1791022378 486695 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197048&oldid=197047 5* 03Raiseafloppafan7741 5* (+138) 10recategorize < 1791022379 758459 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: oh yea I know Quines:) < 1791022393 817515 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :is [[Quines:)]] an esolang > 1791022402 547725 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197049&oldid=197048 5* 03Raiseafloppafan7741 5* (+5) 10link to your userpage unless you have your own mainspace page < 1791022406 858741 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :should be < 1791022416 992485 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but I know of cyclic quines < 1791022417 225193 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: ye that feels like a big part of it < 1791022430 189368 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Markfan8901: humans are weird uknow < 1791022431 167707 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791022433 911196 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :translating your own thoughts and feelings into such a different system is weird and satisfying when you do it right < 1791022441 733867 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :knowledge expansion > 1791022445 196421 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197050&oldid=197049 5* 03BlueHaunter 5* (+12) 10 < 1791022445 269276 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :truly truly < 1791022451 173332 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :actually yknow what would be funny < 1791022458 81480 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ooo < 1791022476 296768 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :an esolang based off a third system which is distinct from human thought and computer languages < 1791022495 32395 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so you would have to put considerable work to describe it in either < 1791022508 508310 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :heh the concept of 'implementing' an idea in language < 1791022520 92335 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao. yea thats cool < 1791022527 413115 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :reminds me of some informal maths I was doing > 1791022536 88853 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197051&oldid=197050 5* 03Dragoneater67 5* (+46) 10 < 1791022545 630279 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :not that relevant though < 1791022589 339073 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :uh we forgor our train of thought < 1791022595 390216 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791022599 164376 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :what if you type out the new constraints for that language again < 1791022601 873803 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :train crash < 1791022604 930491 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :with the newfound knowledge < 1791022612 786308 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: I will late < 1791022615 205942 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :but rn < 1791022617 57533 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im dead < 1791022620 476838 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :okik < 1791022634 873281 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :does that mean ur going to bed < 1791022636 424700 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I played my first music gig yesterday and know I ave done quite a bit of thinking on top of that, I need to chill out lol < 1791022643 692342 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh hel yea < 1791022648 222256 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yeah you should get some rest < 1791022659 783577 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im not going to bed lol its 12.17 ! < 1791022670 133735 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fungot kill her fnord < 1791022670 279742 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :MarkFan8901: which means i disclaim all interest in controlling what people do unless they bother me < 1791022686 298899 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :also huh < 1791022691 427365 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fsr we assumed you were in the same time zone as us < 1791022692 944551 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :why does that fit in weirdly perfectly < 1791022695 403589 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :rn its 3am for us < 1791022699 163489 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :damn < 1791022702 896057 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im in Denmark so idk < 1791022706 805075 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yea ur not < 1791022718 227503 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :im not in Denmark? < 1791022722 669218 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*teleports* < 1791022725 312304 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lmao < 1791022727 713055 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :AH < 1791022745 693177 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh? < 1791022758 823447 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we were gonna continue that but we hesitated < 1791022763 421690 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :here's what the bit would have been: < 1791022766 36288 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :AH < 1791022771 100063 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :(you teleported into our room) < 1791022779 958408 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ah < 1791022787 693673 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :*shoots you* < 1791022789 866959 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :This is america. < 1791022791 110994 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats made me giigle < 1791022794 612020 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :ujhjj < 1791022796 250685 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :and THAT < 1791022798 902640 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hwat just happen < 1791022801 456565 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :made my laugh the fuck off < 1791022807 282266 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :theres tons of spam in #esolanging < 1791022816 545536 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :my bad < 1791022821 348432 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :and theres murder going on in here < 1791022821 421730 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :sorry < 1791022829 527755 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :what murder < 1791022831 132746 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :ChimeraAnova: its ok < 1791022838 725895 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo got murdered in america < 1791022856 816382 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :holy shit makes so much se < 1791022857 253693 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :it was self defense actually /tongueincheek < 1791022861 859463 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :dammit < 1791022875 136490 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Oh I see now < 1791022877 482370 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :pressed enter not delete < 1791022892 121508 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fungot: how much se do you make on average < 1791022892 223977 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :MarkFan8901: users other than me has a copy of scheme.cgi and call it < 1791022895 245436 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :Markfan has their tounge so far inside their cheeck < 1791022914 40282 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :fungot: ok i guess < 1791022914 130981 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :yayimheretoo: yes ok for larceny fnord from fnord < 1791022923 252191 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :fungot: esolang < 1791022923 355839 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :MarkFan8901: no. my mom's not here silly. and she's scared of snow. < 1791022936 169854 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that just seems like one big token < 1791022944 802034 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :fungor's mom is scared of snow? < 1791022960 579272 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I mean fungot's mom is probably esolangs to be fair < 1791022960 632292 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :yayimheretoo: even nome. nome thinks it is < 1791022962 598722 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :fun got has a mom? < 1791022964 178184 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :btw < 1791022967 901318 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :esolangs: rawr :3 xd rawrr *nuzzles u* >w< > 1791022974 800402 PRIVMSG #esolangs :MarkFan8901: The script would replace 'rawr' with 'a:3', 'xd' with 'f', 'rawrr' with 'a:3', '*nuzzles' with 'l', 'u*' with 't', and '>w<' with ' '. The resulting batch file would contain the modified text, effectively replacing the specified words and emotes with their corresponding replacements. The script then executes this modified batch file, which displays... > 1791022974 800751 PRIVMSG #esolangs :the output. < 1791022975 380304 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :wow < 1791022976 495279 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :what should we do regarding thue? < 1791022979 678013 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :damn it < 1791022983 731654 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: wym < 1791022985 740120 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :its been featyred for years now < 1791022989 407804 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :featured* < 1791022990 820326 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :oh right < 1791022991 46897 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :oh yea < 1791022995 684831 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ummmmmmmmmm, < 1791022999 534282 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :hm what are some other good candidates < 1791023005 50941 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :de67: i think i've seen three different attempts at replacing it < 1791023008 534136 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :the second the constraint language is done, it goes up there /j < 1791023009 542419 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :none have come to fruition < 1791023012 906041 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :TURE....... > 1791023014 65734 PRIVMSG #esolangs :14[[07User:Blashyrkh/Golf/Code14]]4 10 02https://esolangs.org/w/index.php?diff=197052&oldid=197040 5* 03Blashyrkh 5* (+359) 10/* 2523 bytes */ Few more info < 1791023020 289724 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :fungot: define TURE < 1791023020 458286 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :yayimheretoo: you mean he? :) what implementation do you use escaped symbols instead of strings. < 1791023029 350930 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :HE..... < 1791023031 198812 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791023042 298845 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i think that we should all go to [[Esolang talk: Featured languages]] and express our opinions < 1791023049 350378 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :anyway as for candidates < 1791023049 953737 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :https://esolangs.org/wiki/Esolang:Featured_languages/Candidates < 1791023053 749823 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :there's a list < 1791023074 172427 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :wait has befunge not been a featured language yet? < 1791023088 35747 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :seems like it < 1791023091 424956 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :apparently not < 1791023093 490648 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :goddamn it hasnt < 1791023094 408289 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :"Languages with more novel concepts and themes are given preference. That is, languages with obscure paradigms are given preference to those that have many siblings and, for example, two stack-based languages are unlikely to be featured consecutively." this requirement applies to constraint languages < 1791023100 476038 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :that should 100% take featured language < 1791023108 228439 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :thats true thats so true < 1791023116 282810 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :truer words not been spoken < 1791023144 810497 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ya like < 1791023156 952642 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :brainfuck, malbolge, and deadfish are all esolang greatest hits < 1791023160 576890 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so is befunge < 1791023192 425829 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :id rather have something obscure featured < 1791023195 758045 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :The fact that Befunge hasn't been featured is hard to believe since it was (one of) the first 2d languages < 1791023202 255111 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :And it's kinda befuddling the first time < 1791023202 981241 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :something like [[Three Star Programmer]] < 1791023212 12722 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :its like literally one of the og esolangs < 1791023223 867600 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: perchance < 1791023247 815237 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :maybe there should be like a stack of featured languages to come up < 1791023258 497734 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :so we dont run out and have some huge gap like this for so long < 1791023263 452326 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :true < 1791023268 764508 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :PANCAKES < 1791023277 463263 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ugh we want pancakes now < 1791023280 838363 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :me too < 1791023293 122783 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo do that teleporting thing again < 1791023295 676537 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we'll make some for you < 1791023314 811343 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :hmm i wonder if i should keep my nomination on FALSE or try and find something else < 1791023319 801756 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :MarkFan8901: sounds like something a serial killer would say < 1791023326 122069 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: wtf.... < 1791023330 69372 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :dont judge a book by its cover < 1791023341 299480 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: it only works if im told im in another timezones < 1791023344 279852 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :(has a shirt that says "SERIAL KILLER" on it) < 1791023357 274857 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :so is the cook 12.29 < 1791023361 204974 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :where I am? < 1791023368 652321 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :well I dunno about the cook ut the CLOCK < 1791023368 929831 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :its at 3:29 actually < 1791023372 261735 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :BOOM < 1791023375 369474 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :GIMME PANCAKES < 1791023379 252463 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :*shoots you* < 1791023380 684453 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :This is america. < 1791023387 308545 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1791023395 848389 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i havent made esolangs in a long time (3 days) < 1791023405 396005 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :joke so good it killed the audience < 1791023416 226962 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: esolang junkie < 1791023419 721316 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :every time I die I just am in 12.30 agaiin < 1791023429 509444 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i just realize < 1791023438 271250 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :youre timezone is gmt+2 < 1791023449 926811 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :mine? < 1791023453 579731 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yes < 1791023462 552250 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :nah its gmt+3 (teleports) < 1791023482 21712 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :yayimheretoo, de67, MarkFan8901: how many of you know of Brain-Flak? i used to think it was well-known but i'm realizing i don't actually know < 1791023493 646994 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :ive heard of it < 1791023495 356117 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :might have heard of it once < 1791023502 835807 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :but it got lost in the sea of brain farces < 1791023505 338130 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :PkmnQ: tried to read its article but yes < 1791023510 57683 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :*just < 1791023512 615192 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :oh ywa < 1791023514 634129 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I couldn't man < 1791023515 894646 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i know it < 1791023543 356390 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :how much do you know about it? i'm considering possibly replacing my nomination of FALSE with it < 1791023559 327800 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we basically know next to nothing about it < 1791023562 497477 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :PkmnQ: i know that it exists < 1791023562 701680 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we are just reading up on it < 1791023597 250003 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :nothing lol > 1791023602 222906 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197053&oldid=197051 5* 03BlueHaunter 5* (+0) 10 < 1791023604 740192 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :its quite interesting that 3 of ais523's esolangs are currently nominated > 1791023609 751676 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03JustSomeDude 5* 10New user account < 1791023627 783555 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yea ais consistently makes high quality langs < 1791023631 364336 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and has made lots of them < 1791023646 856470 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hm < 1791023661 435982 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :maybe i should get better at consistency < 1791023674 96264 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :cuz currently the quality of what i make varies < 1791023686 605211 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ye < 1791023687 616723 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :its 2 crappy esolangs per 1 good esolang or so < 1791023731 221265 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ais is also just like straight up a mathematician sooooo < 1791023741 912023 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :ye < 1791023761 732632 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :and also toys heavily with video game stuff < 1791023767 965258 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i think ais523 sometimes goes by the name Alex Smith < 1791023769 478580 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we actually saw his name in a video about smb3 arbitrary code execution < 1791023773 281823 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :atleast on nethack4.org < 1791023790 258932 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: I think its his real name < 1791023797 986219 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yea it makes sense < 1791023805 151051 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: might be a pseduonym < 1791023807 872421 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :who knows < 1791023807 924048 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :he just has knowledge of other programming stuff than esolanging < 1791023812 721721 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: idk < 1791023819 844381 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :yayimheretoo: maybe thats why hes so good < 1791023820 153605 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it was used on NKS atleast lol < 1791023829 955702 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :he has more points of reference for ideas < 1791023832 487069 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :MarkFan8901: I think so < 1791023844 233232 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :or more accurately, he lets himself use more points of references < 1791023853 77714 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes < 1791023855 556290 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :most of the people on this wiki have a life outside of esolanging < 1791023860 252203 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :all* < 1791023880 53930 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :yes, but a programming one specifically? < 1791023888 987194 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :ya that makes for a good combo < 1791023912 167009 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :why would a non programmer be here? < 1791023913 131609 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :however we think perhaps thats not necessary to achieve ais' creativity < 1791023932 531566 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :iirc keymarker is not a programmer < 1791023933 71824 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: idk why im here man < 1791023933 489669 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :de67: ask Bone1 #BoomShotsFired /j < 1791023935 773046 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :None1* < 1791023936 274312 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :shit < 1791023937 788411 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :the jokes ruined < 1791023939 844577 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :hes still good at esolanging > 1791023944 117997 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=197054&oldid=197033 5* 03JustSomeDude 5* (+252) 10/* Introductions */ < 1791023958 864367 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :who tf is Bone1 < 1791023963 63707 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we meant None1 < 1791023979 502234 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :ikik < 1791023979 880360 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :we think we're gonna go to bed < 1791023982 181017 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net PRIVMSG #esolangs :cya < 1791023983 994535 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :cya < 1791023989 162869 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :bbye then MarkFan8901!!! < 1791023993 944086 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it was very fun to speak < 1791023994 863629 :MarkFan8901!~MarkFan89@c-71-63-140-97.hsd1.or.comcast.net QUIT :Quit: Client closed < 1791024004 18679 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :yayimheretoo: none of us spoke < 1791024016 366236 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :idk man < 1791024016 478413 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :to converse via text messages? < 1791024022 316896 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :we were all just clicking buttons to compose sentences out of glyphs < 1791024042 419938 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :and sending them using radio waves < 1791024042 482636 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :imma leave now im fuckin tired and dry < 1791024045 551418 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :cya < 1791024060 979014 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :bye:] < 1791024067 76441 :yayimheretoo!~yayimhere@94.147.203.75 QUIT :Quit: Client closed < 1791024134 929089 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :hmm bad timing but I just now remembered Incident < 1791024199 458647 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :what incident? < 1791024204 583660 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :oh is that an esolang? < 1791024281 258224 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :something about it seems novel enough to be featured, I don't think I understand it well enough to be able to write the paragraph for it though, so I'll stick with Brain-Flak as my nomination for now < 1791024394 555041 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :oh < 1791024404 663530 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :incident is that pattern based esolang < 1791024414 372008 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :it looka cool atleast < 1791024440 668512 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :i kinda like pattern based esolangs < 1791024456 728710 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :but imagine how cool a pattern based metalanguage would be < 1791024483 204693 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :itd be even cooler if the source code was nontextual < 1791024521 265275 :PkmnQ!~PkmnQ@user/PkmnQ PRIVMSG #esolangs :yeah the pattern-based thing is pretty novel on its own, but even beyond that it's interesting to me even only considering the semantics without the syntax > 1791024794 618303 PRIVMSG #esolangs :14[[07User:JustSomeDude14]]4 N10 02https://esolangs.org/w/index.php?oldid=197055 5* 03JustSomeDude 5* (+23) 10Created page with "JustSomeDude user page." < 1791025146 934628 :Everything!~Everythin@212.90.60.10 JOIN #esolangs Everything :Everything > 1791025686 502805 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197056&oldid=197053 5* 03BlueHaunter 5* (-12) 10 > 1791025874 349881 PRIVMSG #esolangs :14[[07Oceanfunge14]]4 10 02https://esolangs.org/w/index.php?diff=197057&oldid=196718 5* 03Cordership 5* (+0) 10/* Syntax */ > 1791026114 990441 PRIVMSG #esolangs :14[[072D BF14]]4 10 02https://esolangs.org/w/index.php?diff=197058&oldid=194996 5* 03Cordership 5* (+14) 10 < 1791028147 232767 :yayimheretoo!~yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] yayimheretoo < 1791028171 480704 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hi again < 1791028321 48760 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Ping timeout: 244 seconds < 1791028386 543982 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :dragoneater died in a horrible car crash > 1791029144 242725 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197059&oldid=197056 5* 03BlueHaunter 5* (+95) 10 > 1791029285 370363 PRIVMSG #esolangs :14[[07Minez14]]4 M10 02https://esolangs.org/w/index.php?diff=197060&oldid=195866 5* 03 5* (+0) 10Broken category fixed. < 1791029377 24580 :de67!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :de67 > 1791029967 473343 PRIVMSG #esolangs :14[[07CRAZYLANG14]]4 10 02https://esolangs.org/w/index.php?diff=197061&oldid=192845 5* 03GraysonLaux 5* (+104) 10 < 1791030472 628465 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :^echo xx-90-6202 no deusne soahc neht dna "kramose" dias enoemoS < 1791030472 706697 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :xx-90-6202 no deusne soahc neht dna "kramose" dias enoemoS xx-90-6202 no deusne soahc neht dna "kramose" dias enoemoS < 1791030727 726829 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :??? < 1791030745 589823 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :oh < 1791030757 960301 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :this is #esolangs btw < 1791030787 954409 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :lol < 1791031673 780415 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :HackEso: P'' magnet > 1791032195 549863 PRIVMSG #esolangs :14[[07Ceremonial14]]4 10 02https://esolangs.org/w/index.php?diff=197062&oldid=197059 5* 03BlueHaunter 5* (+25406) 10 < 1791032311 938352 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :wtf < 1791032319 516660 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :??? < 1791032375 42656 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Ohh < 1791032402 16489 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :25406 bytes for syntax highlighting span tags is insane tbh > 1791032407 718279 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197063&oldid=197062 5* 03Dragoneater67 5* (+2) 10/* Printing hello world in Ceremonial */ > 1791032427 337863 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197064&oldid=197063 5* 03Dragoneater67 5* (+5) 10/* Drawing a Shape in Ceremonial (graphics test + drawing a window) */ < 1791032434 488089 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Syntax highlighting is mesmerizing tho so I think there should be an HTML syntax highlighting golfing tool < 1791032448 426522 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Remote host closed the connection < 1791032468 83183 :de67!~de67@user/de67 JOIN #esolangs de67 :de67 < 1791032472 107991 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :Syntax highlighting killed you < 1791032472 614394 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :vm < 1791032474 140109 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :vnvm < 1791032474 714491 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 PRIVMSG #esolangs :nvm > 1791032642 213588 PRIVMSG #esolangs :14[[07User:PkmnQ/Golf14]]4 M10 02https://esolangs.org/w/index.php?diff=197065&oldid=196995 5* 03PkmnQ 5* (+179) 10 > 1791033076 358552 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197066&oldid=197064 5* 03BlueHaunter 5* (-7) 10 > 1791033184 725786 PRIVMSG #esolangs :14[[07Dianoia14]]4 M10 02https://esolangs.org/w/index.php?diff=197067&oldid=184195 5* 03 5* (+0) 10Broken link fixed. > 1791033365 548462 PRIVMSG #esolangs :14[[07Push-down automaton14]]4 10 02https://esolangs.org/w/index.php?diff=197068&oldid=21146 5* 03 5* (+21) 10Broken link fixed. > 1791033459 286144 PRIVMSG #esolangs :14[[07Assembly++14]]4 M10 02https://esolangs.org/w/index.php?diff=197069&oldid=192453 5* 03 5* (+0) 10Broken category fixed. < 1791033970 117731 :ChimeraAnovaTest!~ChimeraAn@2001:4450:493b:cb00:a541:c68f:828a:ede9 JOIN #esolangs * :[https://web.libera.chat] ChimeraAnovaTest > 1791034800 212561 PRIVMSG #esolangs :14[[07User:Blashyrkh/Golf/Code14]]4 10 02https://esolangs.org/w/index.php?diff=197070&oldid=197052 5* 03Blashyrkh 5* (+347) 10/* Lazy K Quine */ Improve explanation > 1791035590 871804 PRIVMSG #esolangs :14[[07User talk:Raiseafloppafan774114]]4 10 02https://esolangs.org/w/index.php?diff=197071&oldid=197024 5* 03A random guy 5* (+358) 10 > 1791036008 769575 PRIVMSG #esolangs :14[[07User:A random guy14]]4 10 02https://esolangs.org/w/index.php?diff=197072&oldid=195923 5* 03A random guy 5* (+222) 10 > 1791036055 821837 PRIVMSG #esolangs :14[[07User:A random guy14]]4 10 02https://esolangs.org/w/index.php?diff=197073&oldid=197072 5* 03A random guy 5* (+12) 10 > 1791036138 182302 PRIVMSG #esolangs :14[[07User:A random guy14]]4 10 02https://esolangs.org/w/index.php?diff=197074&oldid=197073 5* 03A random guy 5* (+62) 10 < 1791037027 801858 :yayimheretoo!~yayimhere@94.147.203.75 QUIT :Quit: Client closed > 1791037206 415574 PRIVMSG #esolangs :14[[07User talk:Raiseafloppafan774114]]4 10 02https://esolangs.org/w/index.php?diff=197075&oldid=197071 5* 03Dragoneater67 5* (+207) 10/* Can NANDlang, or maybe as a extension, NANDlang+ become implemented? */ < 1791037708 96768 :amby!~ambylastn@46.162.147.147.dyn.plus.net JOIN #esolangs amby :realname < 1791038071 260818 :de67!~de67@user/de67 PRIVMSG #esolangs :hi amby > 1791038268 608673 PRIVMSG #esolangs :14[[07Ceremonial14]]4 M10 02https://esolangs.org/w/index.php?diff=197076&oldid=197066 5* 03Dragoneater67 5* (+7) 10Undo revision [[Special:Diff/197066|197066]] by [[Special:Contributions/BlueHaunter|BlueHaunter]] ([[User talk:BlueHaunter|talk]]) undo vandalism < 1791038436 221013 :inhahe!~inhahe@user/inhahe JOIN #esolangs inhahe :exalumen.blog - iyaelsorai.wordpress.com < 1791038763 94516 :inhahe!~inhahe@user/inhahe QUIT :Read error: Connection reset by peer < 1791039122 56184 :yayimheretoo!~yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] yayimheretoo < 1791039196 31253 :inhahe!~inhahe@user/inhahe JOIN #esolangs inhahe :exalumen.blog - iyaelsorai.wordpress.com < 1791039533 495543 :inhahe!~inhahe@user/inhahe QUIT :Read error: Connection reset by peer < 1791040118 183612 :inhahe!~inhahe@user/inhahe JOIN #esolangs inhahe :exalumen.blog - iyaelsorai.wordpress.com > 1791040409 764943 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 N10 02https://esolangs.org/w/index.php?oldid=197077 5* 03Yayimhere2(school) 5* (+4120) 10Created page with "'''Bitch, Ienai!''' is arguably a single language, but also a family of languages, created by [[User:Yayimhere]] with assistance from [[User:MarkFan8901]]. How does this make any sense? Well, this is because it is a constraint language. A constraint lan > 1791040422 939286 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 10 02https://esolangs.org/w/index.php?diff=197078&oldid=197077 5* 03Yayimhere2(school) 5* (+0) 10 < 1791040474 211273 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :hey PkmnQ, you seemed interested in my and Markfan's convo, and the resulting constraint language was just documented. would you wanna give it a try and solve it? < 1791040481 233511 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :this is it, btw: https://esolangs.org/wiki/Bitch,_Ienai! < 1791040600 373926 :de67!~de67@user/de67 PRIVMSG #esolangs :id flag the page as ai slop due to the excessive use of bolding and and bullet points, but i doubt that youd use an llm to write a wikipage < 1791040632 720070 :de67!~de67@user/de67 PRIVMSG #esolangs :oh and also some of your writing quirks tell me that it was you who wrote the page < 1791040650 641958 :inhahe!~inhahe@user/inhahe PRIVMSG #esolangs :i've heard llms are bad at wiki format < 1791040661 838045 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :it aint llm I can tell ya that < 1791040676 715189 :de67!~de67@user/de67 PRIVMSG #esolangs :the most obvious being the fact that you never put spaces before the opening parantheses < 1791040693 320635 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :the bolding, if you notice, is on the same words every time, because its to make clear its this pages specific definition of those words < 1791040701 804072 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :de67: lol yep < 1791040709 357491 :de67!~de67@user/de67 PRIVMSG #esolangs :the second most obvious, which requires carefuly reading the page, is the fact thats its a bit informal < 1791040721 497577 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :ofc. < 1791040729 205758 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :to an extent thats bad? < 1791040742 597679 :de67!~de67@user/de67 PRIVMSG #esolangs :not really < 1791040756 642050 :de67!~de67@user/de67 PRIVMSG #esolangs :it at least gets the point across < 1791040757 324320 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :great! > 1791041060 269550 PRIVMSG #esolangs :14[[07Esolang talk:Featured languages14]]4 10 02https://esolangs.org/w/index.php?diff=197079&oldid=184280 5* 03Dragoneater67 5* (+732) 10/* Thue has been featured for 7+ years */ new section < 1791041114 44726 :de67!~de67@user/de67 PRIVMSG #esolangs :hopefully THIS will result in the end of thue's dictatorship < 1791041197 417799 :de67!~de67@user/de67 PRIVMSG #esolangs :i think that esolanging wiki page should have etymology section < 1791041245 319940 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :iterate should be the next featured language :) (EXTREMELY BIASED) < 1791041261 785714 :de67!~de67@user/de67 PRIVMSG #esolangs :aadenboy: watch me do something < 1791041286 287507 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :in a fit of ego and slef appreciation I nominate All of my GOod esolangs for featured. Since I am so goated < 1791041294 375898 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :also good morning < 1791041300 82252 :de67!~de67@user/de67 PRIVMSG #esolangs :good morning aadenboy < 1791041317 478624 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :good morning aadenboy!!! < 1791041323 316503 :de67!~de67@user/de67 PRIVMSG #esolangs :i have awesome life advice for you: dont wait for your next esolang < 1791041325 865243 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :on the topic of submitting ones own language for smth < 1791041336 430100 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :de67: ? < 1791041339 140315 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :I MADE A THING. YOU MIGHT BE INTERESTED! lol < 1791041341 852549 :de67!~de67@user/de67 PRIVMSG #esolangs :thats what happened to me < 1791041350 484852 :de67!~de67@user/de67 PRIVMSG #esolangs :i created a subpage called miracle < 1791041365 603392 :de67!~de67@user/de67 PRIVMSG #esolangs :i waited for a good idea to spawn in my mind < 1791041377 92461 :de67!~de67@user/de67 PRIVMSG #esolangs :i quitting esolanging < 1791041384 559724 :de67!~de67@user/de67 PRIVMSG #esolangs :for a month or so < 1791041404 746922 :de67!~de67@user/de67 PRIVMSG #esolangs :and then returned < 1791041422 652755 :de67!~de67@user/de67 PRIVMSG #esolangs :moral of the story: uuuh < 1791041424 648776 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :my subpages are mostly braindumps < 1791041434 525751 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :it is a graveyard of ideas! < 1791041437 580005 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :mostly < 1791041439 145319 :de67!~de67@user/de67 PRIVMSG #esolangs :aadenboy: you could say, [[brainfart]]s < 1791041455 311784 :de67!~de67@user/de67 PRIVMSG #esolangs :get it? im advertising my own esolang! < 1791041459 929211 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :genius < 1791041469 514631 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :de67: [[Mhm!]] I do! < 1791041477 913582 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :i was about to too but it probably didn't grab enough attention for me to actually do it < 1791041496 970209 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :about drafts, I think [[User:Aadenboy/ɻ]] has potential < 1791041505 240771 :de67!~de67@user/de67 PRIVMSG #esolangs :we dont share timezones, so a lot of my activity on this irc channel could be described as a [[soliloquy]] < 1791041514 983442 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :aadenboy lemme see < 1791041553 489880 :de67!~de67@user/de67 PRIVMSG #esolangs :looks cool, too bad i skimmed through the page and understood nothing < 1791041663 304930 :de67!~de67@user/de67 PRIVMSG #esolangs :ok < 1791041667 432314 :de67!~de67@user/de67 PRIVMSG #esolangs :i think i understood it < 1791041671 139242 :de67!~de67@user/de67 PRIVMSG #esolangs :it seems interesting < 1791041693 303704 :de67!~de67@user/de67 PRIVMSG #esolangs :it might be able to do stuff similarly to nopfunge and friends < 1791041715 391130 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :I thought "friends" was the name of an esolang lmao < 1791041729 51375 :de67!~de67@user/de67 PRIVMSG #esolangs :no < 1791041746 582975 :de67!~de67@user/de67 PRIVMSG #esolangs :nopfunge and friends refers to nopfunge and esolangs similar to nopfunge < 1791041754 434396 :de67!~de67@user/de67 PRIVMSG #esolangs :like nopfunge solid and yoctofunge < 1791042598 852082 :yayimheretoo!~yayimhere@94.147.203.75 QUIT :Quit: Client closed < 1791042618 167395 :yayimheretoo!~yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] yayimheretoo < 1791043530 754472 :ChimeraAnovaTest!~ChimeraAn@2001:4450:493b:cb00:a541:c68f:828a:ede9 QUIT :Quit: Client closed < 1791043537 258285 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 QUIT :Read error: Connection reset by peer < 1791044066 69611 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :ChimeraAnova < 1791044454 117235 :yayimheretoo!~yayimhere@94.147.203.75 QUIT :Ping timeout: 262 seconds < 1791044661 533561 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 QUIT :Read error: Connection reset by peer < 1791044874 58047 :yayimheretoo!~yayimhere@94.147.203.75 JOIN #esolangs * :[https://web.libera.chat] yayimheretoo < 1791045174 85605 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 JOIN #esolangs raiseafloppafan7 :ChimeraAnova < 1791046208 29766 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`base < 1791046211 661889 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :base? No such file or directory < 1791046310 110823 :de88!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] de67 < 1791046375 136257 :de67!~de67@user/de67 QUIT :Ping timeout: 258 seconds < 1791046388 746826 :de88!~de67@95.57.13.159.dynamic.telecom.kz NICK :de67 < 1791046638 528406 :inhahe!~inhahe@user/inhahe QUIT :Quit: Bouncer shutting down < 1791046833 288089 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Quit: Client closed < 1791046843 67031 :de67!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] de67 < 1791046845 718108 :Everything!~Everythin@212.90.60.10 QUIT :Quit: leaving < 1791046903 323048 :yayimheretoo!~yayimhere@94.147.203.75 PRIVMSG #esolangs :holy hell < 1791046923 782791 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :were all gonna die < 1791047214 121998 :^[!~user@user//x-8473491 QUIT :Ping timeout: 255 seconds < 1791047417 836080 :PkmnQ!~PkmnQ@user/PkmnQ QUIT :Quit: Leaving < 1791047625 117024 :ChimeraAnova!~raiseaflo@user/raiseafloppafan7 QUIT :Read error: Connection reset by peer < 1791047627 97835 :de98!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] de67 > 1791047818 83124 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Myepicuse012940 5* 10New user account < 1791047842 190151 :de98!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :thats quite a random username < 1791047895 116666 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Ping timeout: 268 seconds < 1791047906 851899 :yayimheretoo!~yayimhere@94.147.203.75 QUIT :Quit: Client closed < 1791047911 513978 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user < 1791047932 587766 :de98!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Quit: Client closed < 1791047942 111461 :de67!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :[https://web.libera.chat] de67 < 1791047972 341773 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Client Quit < 1791048002 82436 :de67!~de67@95.57.13.159.dynamic.telecom.kz JOIN #esolangs * :de67 > 1791048047 805145 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=197080&oldid=197054 5* 03Myepicuse012940 5* (+178) 10i added me < 1791048070 295909 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :correct grammar! < 1791049465 946974 :de67!~de67@95.57.13.159.dynamic.telecom.kz PRIVMSG #esolangs :alr bye guys < 1791049467 311897 :de67!~de67@95.57.13.159.dynamic.telecom.kz QUIT :Remote host closed the connection > 1791049675 48652 PRIVMSG #esolangs :14[[07Brainfuck NEVER CLEAR14]]4 N10 02https://esolangs.org/w/index.php?oldid=197081 5* 03Myepicuse012940 5* (+1995) 10makes a page > 1791049708 781346 PRIVMSG #esolangs :14[[07Brainfuck NEVER CLEAR14]]4 10 02https://esolangs.org/w/index.php?diff=197082&oldid=197081 5* 03Myepicuse012940 5* (-112) 10 > 1791049881 642873 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=197083&oldid=196924 5* 03Myepicuse012940 5* (+28) 10added brainfuck never clear < 1791050178 338273 :sftp!~sftp@user/sftp QUIT :Quit: leaving > 1791050506 168818 PRIVMSG #esolangs :14[[07Brainfuck NEVER CLEAR14]]4 10 02https://esolangs.org/w/index.php?diff=197084&oldid=197082 5* 03Dragoneater67 5* (-240) 10/* Computational Class */ > 1791050516 196541 PRIVMSG #esolangs :14[[07Brainfuck NEVER CLEAR14]]4 M10 02https://esolangs.org/w/index.php?diff=197085&oldid=197084 5* 03Dragoneater67 5* (+2) 10/* Computational Class */ < 1791051281 79882 :sftp!~sftp@79.174.36.182 JOIN #esolangs * :sftp < 1791051281 158670 :sftp!~sftp@79.174.36.182 CHGHOST ~sftp :user/sftp < 1791052559 468902 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine < 1791052642 78894 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1791052671 60800 :dbohdan!~dbohdan@user/dbohdan QUIT :Ping timeout: 254 seconds < 1791052821 544917 :dbohdan!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in < 1791053440 46538 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 < 1791053583 418970 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca PRIVMSG #esolangs :The canonical order of a set of integers in DER will be the ordinary order if there are no negative integers, but if some are negative then the order is a bit more mixed up. < 1791053700 25593 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca PRIVMSG #esolangs :Before each number which is half of a power of 256, there will be the negative numbers, negative of the half of the power of 256, and then increasing up to whatever number was already included in this order. > 1791053811 552503 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Aadenboy 5* 10uploaded "[[02File:Esobug.png10]]": Bug [[Esolang:Trilime|trilime]] > 1791053853 134194 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=197087&oldid=196747 5* 03Aadenboy 5* (+45) 10figured I should Perhaps upload it < 1791053868 483891 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca PRIVMSG #esolangs :The canonical order of a set of bit strings is by (7 XOR ((Length in bits) - 1)), and then the ordinary order for bit strings with the same length than each other. > 1791053892 996661 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 M10 02https://esolangs.org/w/index.php?diff=197088&oldid=197087 5* 03Aadenboy 5* (+0) 10hm < 1791054825 172967 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1791055101 99087 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 QUIT :Quit: Leaving. > 1791056399 860489 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 10 02https://esolangs.org/w/index.php?diff=197089&oldid=197078 5* 03MarkFan8901 5* (-489) 10rewrite first paragraph to be more concise + remove mention of the 'base' solution (it should be on a subpage to avoid spoilers) > 1791056535 255231 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 M10 02https://esolangs.org/w/index.php?diff=197090&oldid=197089 5* 03MarkFan8901 5* (+1) 10 < 1791057235 56655 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1791057254 422250 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I was reading a discussion (as part of the design of a serious language) about how 0-bit signed integers should behave < 1791057296 801057 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :after thinking about it for a while, it turns out that to be consistent with signed integers of other bitwidths, the value of a 0-bit signed integer should be -0.5 (which has its own problems due to not being traditionally considered an integer) < 1791057309 112400 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(0-bit unsigned integers are fine, they have the value 0 as expected) < 1791057632 347129 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :since all bits set would be the negative of half of the maximum value unsigned? that doesn't make sense in words actually but I assume that's related to how that number is found < 1791057648 204755 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :2^0 = 1 < 1791057681 670991 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the clearest argument to me is that for all other widths of signed integers, if you average all the possible values, the average is -0.5 < 1791057689 827573 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so that should also be true in the case where there's only one value < 1791057787 734844 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but you can also figure it out using formulas like "the maximum is 2**(n-1)-1 and the minimum is -2**(n-1)" which causes both the maximum and minimum to be -0.5 < 1791057907 113714 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :I wonder why 0-bit signed ints were being discussed < 1791058011 452896 :int-e!~noone@int-e.eu PRIVMSG #esolangs :or maybe disallow signed 0-bit numbers because there is no sign bit > 1791058016 418062 PRIVMSG #esolangs :14[[07SLOW ACV MAMMALIAN14]]4 10 02https://esolangs.org/w/index.php?diff=197091&oldid=188639 5* 03Bangyen 5* (-104) 10/* Examples */ Add a short H example and remove prose annotations from runnable Hello World code < 1791058066 797500 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and then there are also one-s complement and sign magnitude options which average to 0 > 1791058115 131916 PRIVMSG #esolangs :14[[07SLOW ACV MAMMALIAN14]]4 M10 02https://esolangs.org/w/index.php?diff=197092&oldid=197091 5* 03Bangyen 5* (-872) 10 > 1791058393 330712 PRIVMSG #esolangs :14[[07Talk:Bitch, Ienai!14]]4 N10 02https://esolangs.org/w/index.php?oldid=197093 5* 03MarkFan8901 5* (+296) 10/* Bitch, Ienai!/Solution */ new section < 1791058423 218983 :Melvar!~melvar@dslb-088-077-042-245.088.077.pools.vodafone-ip.de QUIT :Ping timeout: 269 seconds < 1791058507 972718 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 JOIN #esolangs joast :joast > 1791058658 173381 PRIVMSG #esolangs :14[[07SLOW ACV MAMMALIAN14]]4 M10 02https://esolangs.org/w/index.php?diff=197094&oldid=197092 5* 03Bangyen 5* (-28) 10/* Print H */ Quote literal output in heading and remove redundant sentence < 1791059250 85619 :Melvar!~melvar@dslb-088-077-046-173.088.077.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1791059481 18915 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :aadenboy: well, the language allowed both signed and unsigned integers with other numbers of bits < 1791059501 801640 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :and possibly didn't realise that the minimum widths for signed and unsinged integers before the pattern breaks down are different < 1791059559 460917 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :int-e: and two's-complement with a sentinel value rather than an asymmetric range (in which case a 0-bit signed integer makes sense but has only the sentinel value, no actual values) < 1791059665 99497 :int-e!~noone@int-e.eu PRIVMSG #esolangs :FWIW, "unsinged" is one of my favorite typos < 1791059802 581549 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I like it too (but it wasn't intentional) < 1791059840 128879 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I also like "rouge" for "rogue", which seems to be something like >50% in people who aren't used to typing "rogue" regularly (oddly, I have the opposite problem, using "rogue" on a regular basis I find I need extra concentration to type "rouge") > 1791064398 972297 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 10 02https://esolangs.org/w/index.php?diff=197095&oldid=197090 5* 03MarkFan8901 5* (-25) 10more rewording > 1791064420 373443 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 M10 02https://esolangs.org/w/index.php?diff=197096&oldid=197095 5* 03MarkFan8901 5* (+1) 10 > 1791064506 177514 PRIVMSG #esolangs :14[[07Talk:Bitch, Ienai!14]]4 M10 02https://esolangs.org/w/index.php?diff=197097&oldid=197093 5* 03MarkFan8901 5* (+3) 10 > 1791064562 10351 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Ayaandh 5* 10New user account > 1791064652 515388 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 M10 02https://esolangs.org/w/index.php?diff=197098&oldid=197096 5* 03MarkFan8901 5* (-15) 10more rewording top paragraph > 1791064729 788346 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 M10 02https://esolangs.org/w/index.php?diff=197099&oldid=197098 5* 03MarkFan8901 5* (-2) 10 > 1791064872 66696 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 10 02https://esolangs.org/w/index.php?diff=197100&oldid=197099 5* 03MarkFan8901 5* (-7) 10 > 1791064885 393584 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 10 02https://esolangs.org/w/index.php?diff=197101&oldid=197100 5* 03MarkFan8901 5* (+1) 10 > 1791065251 472716 PRIVMSG #esolangs :14[[07Bitch, Ienai!14]]4 10 02https://esolangs.org/w/index.php?diff=197102&oldid=197101 5* 03MarkFan8901 5* (-9) 10 < 1791065692 379654 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :c < 1791065694 131518 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :u < 1791066732 793678 :FreeFull!~freefull@user/FreeFull PRIVMSG #esolangs :Rogue rouges and rouge rogues < 1791067067 360157 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :throws me off that the IPA symbol for voiced velar plosive is /ɡ/ (U+0261) since the tail is open < 1791067074 197055 :aadenboy!~kvirc@172.56.109.176 PRIVMSG #esolangs :`unidecode gɡ < 1791067078 939387 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+0067 LATIN SMALL LETTER G] [U+0261 LATIN SMALL LETTER SCRIPT G] < 1791068837 695030 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca PRIVMSG #esolangs :I had also thought about 0-bit signed integers, and also thought of -0.5 but that is not a integer and a 0-bit signed integer is presumably not valid. ASN.1 says that a 0-bit integer value (represented as 2U<> in TER) is not valid, presumably for the same reason that I had thought of and you had mentioned also. < 1791068932 332718 :zzo38!~zzo38@host-24-207-46-238.public.eastlink.ca PRIVMSG #esolangs :(If it were valid, it would come before all positive and negative integers in the canonical order that I mentioned)