< 1767657672 939075 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, it's a definition, so "unproven" doesn't really make sense as an adjective to apply to it < 1767657792 926546 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think I would make it precise as follows: you have two transformations, each of which consistently replaces a single character in the source code of one language with a sequence of characters in the source code of the other (one where the single characters are from one language, one where the single characters are from the other), and for any syntactically valid program in either language, compiling it into the other language using the appropriate < 1767657794 286897 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :transformation yields a program with the same halting-and-IO behaviour < 1767657917 740395 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I suspect that BF can be compiled into a two-symbol language under this definition, incidentally (but with the tape contents looking very different – there might not even be a tape in the other language) < 1767657984 828558 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, the definition of ST is fine, yes. I mean the various claims about Brainfuck. < 1767658001 600959 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Some of this should go to dedicated pages. Boolfuck seems like a common target. < 1767658338 720340 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh, there are a huge number of dubious/impossible claims about BF on the minimalization page < 1767658380 197238 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :to me, things like claims to combine [] into a single instruction are implausible and need very strong evidence to convince me < 1767658682 928993 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :if you don't insist on translating each character to the same string and you're willing to take an exponential program size hit then compiling to a two symbol language is easy enough. one symbol does >+ the other is just an interpreter that counts the number of 1 cells before the 0 cell at the start of the tape then interprets that as a program. > 1767658785 177750 PRIVMSG #esolangs :14[[07ASTLang14]]4 10 02https://esolangs.org/w/index.php?diff=172314&oldid=171995 5* 03NTMDev 5* (+238) 10 < 1767658882 437818 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: the challenge to me is entirely the "translate each character to the same string" problem < 1767658974 133546 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :actually, something that makes it much easier is that for the translate-into-BF direction, you can make the translation of both commands contain nested balanced loops, rather than one having to be opening-unbalanced and the other having to be closing-unbalanced < 1767659029 966272 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the idea is to make both commands compile into BF code that records the command, and then interprets as much of the program as it's seen, stopping when more program text is needed to continue the interpretation < 1767659040 913720 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :actually I think this solves the entire problem when using some sort of binary-encoded-BF > 1767659138 286969 PRIVMSG #esolangs :14[[07ASTLang (Fast Lookup)14]]4 N10 02https://esolangs.org/w/index.php?oldid=172315 5* 03NTMDev 5* (+169) 10Created page with "This is the faster, more efficient lookup table for ASTLang functions and their parameters. If you want a more detailed explanation for each function, go to [[ASTLang]]." < 1767659155 243032 :sorear!sid184231@id-184231.uxbridge.irccloud.com PRIVMSG #esolangs :Basically just macro-expressibility? > 1767659164 809716 PRIVMSG #esolangs :14[[07ASTLang14]]4 10 02https://esolangs.org/w/index.php?diff=172316&oldid=172314 5* 03NTMDev 5* (+41) 10/* Info */ > 1767659174 422749 PRIVMSG #esolangs :14[[07ASTLang14]]4 10 02https://esolangs.org/w/index.php?diff=172317&oldid=172316 5* 03NTMDev 5* (+1) 10/* Info */ < 1767659214 915868 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :ais523: I'm not convinced. how do you find the start of the interpreted program if you aren't allowed to add a prelude to the translated brainfuck program? < 1767659258 633267 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :oh I see, same way as what I said < 1767659264 37937 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: you can easily make the BF program (say) leave the tape pointer on a 1 at the end of each command, so it knows it's the first command if it sees a 0 there < 1767659281 288569 :b_jonas!~x@catv-80-98-84-202.catv.fixed.one.hu PRIVMSG #esolangs :yeah < 1767660676 805901 :scoofy!~scoofy@254C2799.nat.pool.telekom.hu QUIT :Ping timeout: 246 seconds < 1767661594 605175 :chloetax!~chloe@user/chloetax QUIT :Quit: Leaving < 1767661619 906993 :chloetax!~chloe@user/chloetax JOIN #esolangs chloetax :chloe < 1767661737 18720 :chloetax!~chloe@user/chloetax QUIT :Client Quit < 1767661757 445366 :chloetax!~chloe@user/chloetax JOIN #esolangs chloetax :chloe < 1767663541 242814 :chloetax!~chloe@user/chloetax QUIT :Quit: Leaving < 1767663614 943512 :chloetax!~chloe@user/chloetax JOIN #esolangs chloetax :chloe < 1767663620 992462 :chloetax!~chloe@user/chloetax QUIT :Client Quit < 1767663655 690415 :chloetax!~chloe@user/chloetax JOIN #esolangs chloetax :chloe < 1767666095 20806 :amby!~ambylastn@host-81-178-158-35.as13285.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement > 1767667176 325777 PRIVMSG #esolangs :14[[07Gur yvsr14]]4 10 02https://esolangs.org/w/index.php?diff=172318&oldid=172046 5* 03Placeholding 5* (+2) 10 < 1767668135 285910 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 240 seconds < 1767668339 61920 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1767668591 65657 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1767668592 80665 :ais523!~ais523@user/ais523 QUIT :Read error: Connection reset by peer < 1767668595 231505 :callforjudgement!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1767668611 285749 :callforjudgement!~ais523@user/ais523 NICK :ais523 < 1767668782 806496 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 246 seconds < 1767670340 529981 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1767674431 463840 PRIVMSG #esolangs :14[[07Flipscript14]]4 N10 02https://esolangs.org/w/index.php?oldid=172319 5* 03QuantumCalculator 5* (+6945) 10Created Page > 1767674662 404837 PRIVMSG #esolangs :14[[07Flipscript14]]4 10 02https://esolangs.org/w/index.php?diff=172320&oldid=172319 5* 03QuantumCalculator 5* (+2097) 10Added a brainfuck interpreter > 1767674709 508796 PRIVMSG #esolangs :14[[07Flipscript14]]4 M10 02https://esolangs.org/w/index.php?diff=172321&oldid=172320 5* 03QuantumCalculator 5* (+4) 10Linked to tc page > 1767674757 988752 PRIVMSG #esolangs :14[[07Flipscript14]]4 10 02https://esolangs.org/w/index.php?diff=172322&oldid=172321 5* 03QuantumCalculator 5* (+66) 10/* Overview */ > 1767674825 398895 PRIVMSG #esolangs :14[[07Flipscript14]]4 10 02https://esolangs.org/w/index.php?diff=172323&oldid=172322 5* 03QuantumCalculator 5* (+80) 10Categorized > 1767674912 614812 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=172324&oldid=172310 5* 03QuantumCalculator 5* (+17) 10Added flipscript > 1767675408 34942 PRIVMSG #esolangs :14[[07Flipscript14]]4 M10 02https://esolangs.org/w/index.php?diff=172325&oldid=172323 5* 03QuantumCalculator 5* (+0) 10math is hard < 1767675983 340081 :impomatic!~impomatic@2a00:23c7:5fc6:3201:395d:5c96:b2eb:8f95 QUIT :Ping timeout: 272 seconds < 1767682869 570334 :Sgeo_!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1767683038 351831 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :https://enclose.horse/ < 1767683252 457885 :somefan!~somefan@208.58.192.69 QUIT :Remote host closed the connection < 1767683862 789592 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 JOIN #esolangs * :Textual User < 1767686602 551913 :scoofy!~scoofy@254C2742.nat.pool.telekom.hu JOIN #esolangs * :realname > 1767690451 129354 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172326&oldid=172301 5* 03Yayimhere2(school) 5* (+12) 10/* Semantics */ > 1767690461 321270 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172327&oldid=172326 5* 03Yayimhere2(school) 5* (-20) 10/* Semantics */ > 1767690512 663210 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172328&oldid=172327 5* 03Yayimhere2(school) 5* (-264) 10/* Examples */ > 1767691141 25528 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=172329&oldid=172083 5* 03Yayimhere2(school) 5* (+1) 10/* Mint */ add space so its an actual code section > 1767691163 614638 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=172330&oldid=172329 5* 03Yayimhere2(school) 5* (+54) 10/* Basic Stack */ < 1767692436 339412 :Yayimhere!~Yayimhere@2a02:aa7:464e:d550:e0df:c61f:1ec:e12 JOIN #esolangs * :[https://web.libera.chat] Yayimhere < 1767692442 326862 :Yayimhere!~Yayimhere@2a02:aa7:464e:d550:e0df:c61f:1ec:e12 PRIVMSG #esolangs :i have returned < 1767692793 603756 :ehmry!~quassel@217.155.30.169 QUIT :Ping timeout: 260 seconds > 1767692832 728048 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172331&oldid=172328 5* 03Yayimhere2(school) 5* (+121) 10/* Semantics */ > 1767693061 516273 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172332&oldid=172331 5* 03Yayimhere2(school) 5* (+144) 10/* Examples */ > 1767693179 902077 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172333&oldid=172332 5* 03Yayimhere2(school) 5* (+80) 10/* Examples */ < 1767693306 216422 :ehmry!~quassel@217.155.30.169 JOIN #esolangs ehmry :Emery > 1767693318 500091 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172334&oldid=172333 5* 03Yayimhere2(school) 5* (-38) 10/* Examples */ > 1767693354 387125 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172335&oldid=172334 5* 03Yayimhere2(school) 5* (+2) 10/* Syntax */ > 1767693685 325052 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172336&oldid=172335 5* 03Yayimhere2(school) 5* (+51) 10/* Syntax */ > 1767694884 962838 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172337&oldid=172336 5* 03Yayimhere2(school) 5* (+130) 10/* Examples */ < 1767695236 276479 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1767695279 269738 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172338&oldid=172277 5* 03Yoyolin0409 5* (+1214) 10 > 1767696126 403916 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172339&oldid=172338 5* 03Yoyolin0409 5* (+802) 10 > 1767696145 506044 PRIVMSG #esolangs :14[[07Nope14]]4 M10 02https://esolangs.org/w/index.php?diff=172340&oldid=168235 5* 03Ractangle 5* (+755) 10 > 1767696203 593137 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172341&oldid=172339 5* 03Yoyolin0409 5* (-6) 10/* English */ > 1767696741 666462 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172342&oldid=172341 5* 03Yoyolin0409 5* (+198) 10/* English */ > 1767696761 210790 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172343&oldid=172342 5* 03Yoyolin0409 5* (+11) 10 > 1767696894 978284 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172344&oldid=172343 5* 03Yoyolin0409 5* (+2) 10/* Writing basic documents */ > 1767696988 854523 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03ATechPerson 5* 10New user account > 1767697227 716975 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=172345&oldid=172233 5* 03ATechPerson 5* (+253) 10introduction > 1767697244 834715 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=172346&oldid=172345 5* 03ATechPerson 5* (+94) 10sign > 1767697268 872033 PRIVMSG #esolangs :14[[07User:ATechPerson14]]4 N10 02https://esolangs.org/w/index.php?oldid=172347 5* 03ATechPerson 5* (+29) 10create page > 1767697332 442653 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172348&oldid=172344 5* 03Yoyolin0409 5* (+164) 10 < 1767697369 738099 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 JOIN #esolangs * :Textual User > 1767697414 404361 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172349&oldid=172348 5* 03Yoyolin0409 5* (+98) 10 > 1767697497 874580 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172350&oldid=172349 5* 03Yoyolin0409 5* (+48) 10 > 1767698076 508971 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172351&oldid=172350 5* 03Yoyolin0409 5* (+857) 10 > 1767698293 305367 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172352&oldid=172351 5* 03Yoyolin0409 5* (+515) 10 > 1767698484 191101 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172353&oldid=172352 5* 03Yoyolin0409 5* (+490) 10/* Hello, world! */ > 1767698902 505005 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172354&oldid=172353 5* 03Yoyolin0409 5* (-10) 10/* English */ > 1767699172 789365 PRIVMSG #esolangs :14[[07Standard Test Paper14]]4 10 02https://esolangs.org/w/index.php?diff=172355&oldid=172354 5* 03Yoyolin0409 5* (+251) 10 > 1767699329 471002 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=172356&oldid=171378 5* 03Yoyolin0409 5* (+10) 10 > 1767699395 436209 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=172357&oldid=172356 5* 03Yoyolin0409 5* (-1) 10/* See Also */ > 1767699451 10378 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=172358&oldid=172357 5* 03Yoyolin0409 5* (-2) 10 > 1767699988 997157 PRIVMSG #esolangs :14[[07Minecraft14]]4 10 02https://esolangs.org/w/index.php?diff=172359&oldid=171245 5* 03Yoyolin0409 5* (+2) 10/* Instruction list */ < 1767700873 339620 :Yayimhere!~Yayimhere@2a02:aa7:464e:d550:e0df:c61f:1ec:e12 QUIT :Ping timeout: 272 seconds < 1767701111 340196 :somefan!~somefan@208.58.192.69 JOIN #esolangs * :[https://web.libera.chat] somefan > 1767701314 39159 PRIVMSG #esolangs :14[[07Quineless I cannot understand that.14]]4 N10 02https://esolangs.org/w/index.php?oldid=172360 5* 03None1 5* (+536) 10Created page with "'''Quineless I cannot understand that.''' is [[I cannot understand that.]] but there's no (non-empty) [[quine]], it's invented by [[User:None1]]. ==Commands== Every ''line'' is a command which prints: I cannot understand that. I cannot underst > 1767701403 253417 PRIVMSG #esolangs :14[[07I cannot understand that.14]]4 10 02https://esolangs.org/w/index.php?diff=172361&oldid=171574 5* 03None1 5* (+55) 10 > 1767701460 637266 PRIVMSG #esolangs :14[[07Rpg14]]4 10 02https://esolangs.org/w/index.php?diff=172362&oldid=126997 5* 03Yoyolin0409 5* (+95) 10 > 1767701510 70605 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=172363&oldid=172324 5* 03None1 5* (-32) 10/* I */ > 1767701541 506583 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=172364&oldid=171876 5* 03None1 5* (+75) 10/* General languages */ > 1767701645 681526 PRIVMSG #esolangs :14[[07User:None114]]4 M10 02https://esolangs.org/w/index.php?diff=172365&oldid=171898 5* 03None1 5* (+49) 10/* My Esolangs */ > 1767702366 399642 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03River 5* 10New user account < 1767702977 347043 :Yayimhere!~Yayimhere@2a02:aa7:464e:d550:e0df:c61f:1ec:e12 JOIN #esolangs * :[https://web.libera.chat] Yayimhere > 1767703857 211925 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172366&oldid=172337 5* 03Yayimhere2(school) 5* (-1001) 10/* Aphasia */ < 1767703878 240113 :proklop!~proklop@176.118.170.234 JOIN #esolangs * :[https://web.libera.chat] proklop < 1767703908 673763 :proklop!~proklop@176.118.170.234 QUIT :Remote host closed the connection > 1767704258 241546 PRIVMSG #esolangs :14[[07Rpg14]]4 10 02https://esolangs.org/w/index.php?diff=172367&oldid=172362 5* 03Yoyolin0409 5* (+38) 10/* Truth machine */ > 1767704774 88274 PRIVMSG #esolangs :14[[07Rpg14]]4 10 02https://esolangs.org/w/index.php?diff=172368&oldid=172367 5* 03Yoyolin0409 5* (+1) 10/* Cat */ > 1767704900 940403 PRIVMSG #esolangs :14[[07Rpg14]]4 10 02https://esolangs.org/w/index.php?diff=172369&oldid=172368 5* 03Yoyolin0409 5* (+1) 10/* Cat */ > 1767705667 409602 PRIVMSG #esolangs :14[[07Brainless14]]4 10 02https://esolangs.org/w/index.php?diff=172370&oldid=106599 5* 03RikoMamaBala 5* (+1178) 10 > 1767707310 229104 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172371&oldid=172366 5* 03Yayimhere2(school) 5* (+1) 10/* Combinators */ > 1767708591 455600 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172372&oldid=172371 5* 03Yayimhere2(school) 5* (+71) 10/* Examples */ < 1767710006 261936 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1767711142 367912 PRIVMSG #esolangs :14[[07Unicode World14]]4 10 02https://esolangs.org/w/index.php?diff=172373&oldid=172020 5* 03Yoyolin0409 5* (+4) 10 < 1767711367 114961 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 JOIN #esolangs * :Textual User > 1767711991 627140 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dragoneater67 5* 10New user account > 1767712447 915993 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=172374&oldid=172346 5* 03Dragoneater67 5* (+205) 10/* Introductions */ > 1767712489 681513 PRIVMSG #esolangs :14[[07!lyriclydemoteestablishcommunism!14]]4 10 02https://esolangs.org/w/index.php?diff=172375&oldid=161277 5* 03Dragoneater67 5* (+25) 10/* "Examples" */ > 1767712732 297451 PRIVMSG #esolangs :14[[07!lyriclydemoteestablishcommunism!14]]4 10 02https://esolangs.org/w/index.php?diff=172376&oldid=172375 5* 03Dragoneater67 5* (+74) 10/* Implementations */ > 1767713776 407174 PRIVMSG #esolangs :14[[07User talk:Yayimhere2(school)14]]4 10 02https://esolangs.org/w/index.php?diff=172377&oldid=172269 5* 03 5* (+597) 10/* i always see you in the school account */ new section > 1767713889 141388 PRIVMSG #esolangs :14[[07User talk:Yayimhere2(school)14]]4 10 02https://esolangs.org/w/index.php?diff=172378&oldid=172377 5* 03Yayimhere2(school) 5* (+243) 10/* i always see you in the school account */ < 1767714279 443811 :amby!~ambylastn@host-81-178-158-35.as13285.net JOIN #esolangs amby :realname < 1767714745 785708 :Yayimhere!~Yayimhere@2a02:aa7:464e:d550:e0df:c61f:1ec:e12 QUIT :Quit: Client closed > 1767715781 90864 PRIVMSG #esolangs :14[[07User:Aadenboy/Countable14]]4 M10 02https://esolangs.org/w/index.php?diff=172379&oldid=172294 5* 03Aadenboy 5* (-12) 10 > 1767715791 633844 PRIVMSG #esolangs :14[[07User:Aadenboy/Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172380&oldid=172379 5* 03Aadenboy 5* (+10) 10Turing tarpt < 1767716107 206240 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1767716115 300525 PRIVMSG #esolangs :14[[07Apraxia14]]4 10 02https://esolangs.org/w/index.php?diff=172381&oldid=172372 5* 03Yayimhere2(school) 5* (-1) 10/* Examples */ > 1767716630 921985 PRIVMSG #esolangs :14[[07User:Aadenboy/Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172382&oldid=172380 5* 03Aadenboy 5* (+429) 10implement a subtraction algorithm > 1767716772 17406 PRIVMSG #esolangs :14[[07User:Aadenboy/Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172383&oldid=172382 5* 03Aadenboy 5* (+8) 10possible* Turing tarpit > 1767717339 245898 PRIVMSG #esolangs :14[[07User talk:Aadenboy/Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172384&oldid=172296 5* 03Aadenboy 5* (+337) 10minsky machine? > 1767717723 377751 PRIVMSG #esolangs :14[[07User talk:Aadenboy/Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172385&oldid=172384 5* 03Yayimhere2(school) 5* (+307) 10 > 1767720967 218143 PRIVMSG #esolangs :14[[07Talk:FOSMOL14]]4 N10 02https://esolangs.org/w/index.php?oldid=172386 5* 03Yayimhere2(school) 5* (+106) 10Created page with "Does this language allow "full" lambda calculus? can you pass lambdas to other lambdas an curry and so on?" < 1767721382 88390 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1767721860 307584 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 JOIN #esolangs * :Textual User > 1767722057 873763 PRIVMSG #esolangs :14[[07Talk:FOSMOL14]]4 10 02https://esolangs.org/w/index.php?diff=172387&oldid=172386 5* 03Aadenboy 5* (+279) 10 > 1767722077 245402 PRIVMSG #esolangs :14[[07Talk:FOSMOL14]]4 10 02https://esolangs.org/w/index.php?diff=172388&oldid=172387 5* 03Yayimhere2(school) 5* (+156) 10 > 1767722338 394248 PRIVMSG #esolangs :14[[07Talk:FOSMOL14]]4 10 02https://esolangs.org/w/index.php?diff=172389&oldid=172388 5* 03Aadenboy 5* (+289) 10 > 1767722372 561244 PRIVMSG #esolangs :14[[07RusLang14]]4 10 02https://esolangs.org/w/index.php?diff=172390&oldid=167116 5* 03Esoboring ideas 5* (+11) 10/* Childish dialect */ > 1767722389 731082 PRIVMSG #esolangs :14[[07RusLang14]]4 10 02https://esolangs.org/w/index.php?diff=172391&oldid=172390 5* 03Esoboring ideas 5* (-4) 10/* Childish dialect */ > 1767722391 586447 PRIVMSG #esolangs :14[[07Talk:FOSMOL14]]4 10 02https://esolangs.org/w/index.php?diff=172392&oldid=172389 5* 03Yayimhere2(school) 5* (+166) 10 > 1767722491 806516 PRIVMSG #esolangs :14[[07RusLang14]]4 10 02https://esolangs.org/w/index.php?diff=172393&oldid=172391 5* 03Esoboring ideas 5* (+21) 10/* To mention */ > 1767722588 446466 PRIVMSG #esolangs :14[[07Pythonable RusLang14]]4 10 02https://esolangs.org/w/index.php?diff=172394&oldid=167110 5* 03Esoboring ideas 5* (+29) 10/* The reduction */ > 1767722765 93763 PRIVMSG #esolangs :14[[07Pythonable RusLang14]]4 10 02https://esolangs.org/w/index.php?diff=172395&oldid=172394 5* 03Esoboring ideas 5* (+81) 10/* The reduction */ > 1767723626 348921 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 034A10LOAIH 5* 10New user account > 1767724316 23028 PRIVMSG #esolangs :14[[07Talk:FOSMOL14]]4 10 02https://esolangs.org/w/index.php?diff=172396&oldid=172392 5* 03Aadenboy 5* (+589) 10 > 1767726026 216420 PRIVMSG #esolangs :14[[07Backtick14]]4 M10 02https://esolangs.org/w/index.php?diff=172397&oldid=172222 5* 03Splot-dev 5* (+139) 10added interpreter link > 1767726050 989308 PRIVMSG #esolangs :14[[07Backtick14]]4 M10 02https://esolangs.org/w/index.php?diff=172398&oldid=172397 5* 03Splot-dev 5* (+37) 10fixed grammar > 1767726095 102921 PRIVMSG #esolangs :14[[07Backtick14]]4 M10 02https://esolangs.org/w/index.php?diff=172399&oldid=172398 5* 03Splot-dev 5* (+17) 10fixed link (wrong link) > 1767726121 99520 PRIVMSG #esolangs :14[[07Folat14]]4 N10 02https://esolangs.org/w/index.php?oldid=172400 5* 03Ytebbit 5* (+3182) 10Folat > 1767726198 93814 PRIVMSG #esolangs :14[[07Backtick14]]4 M10 02https://esolangs.org/w/index.php?diff=172401&oldid=172399 5* 03Splot-dev 5* (+108) 10added external link > 1767726206 772491 PRIVMSG #esolangs :14[[07DTM14]]4 M10 02https://esolangs.org/w/index.php?diff=172402&oldid=170773 5* 03Ytebbit 5* (+21) 10Folat redirect > 1767726394 359086 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=172403&oldid=172363 5* 03Ytebbit 5* (+12) 10/* F */ > 1767726690 250123 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03ConfluentDemiurge 5* 10New user account > 1767727115 976215 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=172404&oldid=172374 5* 03ConfluentDemiurge 5* (+202) 10/* Introductions */ > 1767727185 690127 PRIVMSG #esolangs :14[[07~ATH14]]4 10 02https://esolangs.org/w/index.php?diff=172405&oldid=156879 5* 03ConfluentDemiurge 5* (+0) 10/* Implementations */ < 1767727995 351439 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat < 1767728184 819272 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1767728233 940883 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 246 seconds < 1767728263 95831 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1767729186 525959 PRIVMSG #esolangs :14[[07User:Yayimhere14]]4 10 02https://esolangs.org/w/index.php?diff=172406&oldid=172125 5* 03Yayimhere2(school) 5* (+102) 10 < 1767731199 773600 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Quit: Client closed > 1767731249 432662 PRIVMSG #esolangs :14[[07Esolang:Candidates for deletion14]]4 10 02https://esolangs.org/w/index.php?diff=172407&oldid=170601 5* 03Frendoly 5* (+37) 10 > 1767733801 293206 PRIVMSG #esolangs :14[[07User talk:Aadenboy/Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172408&oldid=172385 5* 03Aadenboy 5* (+728) 10 > 1767733840 569377 PRIVMSG #esolangs :14[[07User talk:Aadenboy/Countable14]]4 M10 02https://esolangs.org/w/index.php?diff=172409&oldid=172408 5* 03Aadenboy 5* (-18) 10 < 1767734286 350787 :impomatic!~impomatic@2a00:23c7:5fc6:3201:8c44:2d83:745e:2755 JOIN #esolangs * :[https://web.libera.chat] impomatic < 1767734972 578072 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1767735108 129975 PRIVMSG #esolangs :14[[07Nope14]]4 M10 02https://esolangs.org/w/index.php?diff=172410&oldid=172340 5* 03Ractangle 5* (-11) 10 < 1767735121 672897 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 JOIN #esolangs * :Textual User < 1767735635 353004 :impomatic!~impomatic@2a00:23c7:5fc6:3201:8c44:2d83:745e:2755 QUIT :Quit: Client closed < 1767735736 779717 :APic!apic@apic.name PRIVMSG #esolangs :Good Night < 1767736045 562198 :scoofy!~scoofy@254C2742.nat.pool.telekom.hu QUIT :Ping timeout: 264 seconds > 1767736865 155584 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Aadenboy 5* 10moved [[02User:Aadenboy/Countable10]] to [[User:Countable]]: this is at a good position. become real! > 1767736865 205188 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Aadenboy 5* 10moved [[02User talk:Aadenboy/Countable10]] to [[User talk:Countable]]: this is at a good position. become real! > 1767736876 997568 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Aadenboy 5* 10moved [[02User:Countable10]] to [[Countable]]: that is the WRONG namespace > 1767736877 44355 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Aadenboy 5* 10moved [[02User talk:Countable10]] to [[Talk:Countable]]: that is the WRONG namespace > 1767736981 427182 PRIVMSG #esolangs :14[[07User talk:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=172419&oldid=171953 5* 03Aadenboy 5* (+425) 10/* speedy delete */ new section < 1767736990 262728 :pool8!~nathan@user/PoolloverNathan JOIN #esolangs PoolloverNathan :nathan < 1767737020 919948 :pool!~nathan@user/PoolloverNathan QUIT :Read error: Connection reset by peer < 1767737021 155551 :pool8!~nathan@user/PoolloverNathan NICK :pool > 1767737049 97006 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02User:Countable10]]": redirects created by mistake in an attempt to move a page (and there is no user with this username) > 1767737049 136914 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5* 10deleted "[[02User talk:Countable10]]": Deleted together with the associated page with reason: redirects created by mistake in an attempt to move a page (and there is no user with this username) > 1767737106 53280 PRIVMSG #esolangs :14[[07Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172420&oldid=172415 5* 03Aadenboy 5* (+166) 10categories + link to talk page for the moment > 1767737198 195186 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=172421&oldid=172403 5* 03Aadenboy 5* (+16) 10/* C */ add [[Countable]] > 1767737327 437067 PRIVMSG #esolangs :14[[07User:Aadenboy14]]4 10 02https://esolangs.org/w/index.php?diff=172422&oldid=172286 5* 03Aadenboy 5* (+267) 10add [[Countable]] > 1767737345 447279 PRIVMSG #esolangs :14[[07User:Aadenboy/randomuserpage14]]4 10 02https://esolangs.org/w/index.php?diff=172423&oldid=172146 5* 03Aadenboy 5* (-28) 10Undo revision [[Special:Diff/172146|172146]] by [[Special:Contributions/Aadenboy|Aadenboy]] ([[User talk:Aadenboy|talk]]) > 1767737362 203774 PRIVMSG #esolangs :14[[07User:Aadenboy/randomesolang14]]4 10 02https://esolangs.org/w/index.php?diff=172424&oldid=169947 5* 03Aadenboy 5* (+14) 10add [[Countable]] > 1767737789 403791 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=172425&oldid=172404 5* 03Profboady 5* (+338) 10Hi! I am Professor Mark Boady at Drexel. I added my introduction. > 1767738114 226649 PRIVMSG #esolangs :14[[07Countable14]]4 10 02https://esolangs.org/w/index.php?diff=172426&oldid=172420 5* 03Aadenboy 5* (+104) 10add interpreter < 1767738909 772655 :tromp!~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1767738913 798966 :svm!~msv@user/msv JOIN #esolangs msv :msv < 1767739040 1331 :msv!~msv@user/msv QUIT :Ping timeout: 240 seconds < 1767739084 525579 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Finally did something I've always wanted to do, namely reason out one of those multiplication-based bit twiddling things from first principles, rather than looking it up on a website: https://0x0.st/Pono.txt < 1767739086 416513 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :It may not be the best way to accomplish it, but at least it left me feeling accomplished. < 1767739344 829877 :lynndotpy60937!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn < 1767739465 562102 :lynndotpy6093!~rootcanal@134.122.123.70 QUIT :Ping timeout: 264 seconds < 1767739465 763781 :lynndotpy60937!~rootcanal@134.122.123.70 NICK :lynndotpy6093 > 1767739477 57749 PRIVMSG #esolangs :14[[07Rpg14]]4 10 02https://esolangs.org/w/index.php?diff=172427&oldid=172369 5* 03Yoyolin0409 5* (+1) 10/* Speak() */ < 1767739770 411361 :pool!~nathan@user/PoolloverNathan QUIT :Read error: Connection reset by peer < 1767739902 357604 :pool!~nathan@user/PoolloverNathan JOIN #esolangs PoolloverNathan :nathan < 1767740377 921263 :svm!~msv@user/msv QUIT :Remote host closed the connection < 1767740465 268542 :msv!~msv@user/msv JOIN #esolangs msv :msv < 1767740481 697369 :msv!~msv@user/msv QUIT :Remote host closed the connection < 1767740506 206826 :msv!~msv@user/msv JOIN #esolangs msv :msv > 1767740557 326852 PRIVMSG #esolangs :14[[07Everything Shop14]]4 N10 02https://esolangs.org/w/index.php?oldid=172428 5* 03Yoyolin0409 5* (+639) 10Created page with "'''Everything Shop''' is an esolang by [[User:yoyolin0409]]. Its distinctive feature is that all the instructions appear to be about buying things from a shop. ==Instructions== Purchase Integer assignment Purchase of the < < 1767741045 206888 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1767742046 766261 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :fizzie: ooh, it's a three-way mingle < 1767742097 171577 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :unfortunately, this is very unlikely to get optimized into PDEP by current compilers < 1767742105 292170 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :maybe if we had one specialised for INTERCAL-style bit-twiddling, it'd be able to figure it out < 1767742170 707083 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :Well, fortunately (?) the Go compiler isn't that good at optimizing things in the first place, so it likely wouldn't anyway. > 1767742202 668425 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=172429&oldid=172421 5* 03Buckets 5* (+10) 10/* M */ < 1767742222 307007 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :There was a proposal to add very PDEP- and PEXT-oriented functions to the "math/bits" stdlib package -- https://github.com/golang/go/issues/45455 -- but it got declined. :/ > 1767742226 21569 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=172430&oldid=172311 5* 03Buckets 5* (+9) 10 < 1767742405 172479 :fizzie!~irc@selene.zem.fi PRIVMSG #esolangs :(It's for a 3D Z-order curve for a thing that has 7/6/7-bit X/Y/Z coordinates.) < 1767743298 162944 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Rust's currently considering a proposal to add what's effectively PEXT/PDEP < 1767743316 372277 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think the libs-API team thought the functions themselves are fine but weren't sure what to call them < 1767743375 341796 :pool!~nathan@user/PoolloverNathan QUIT :Read error: Connection reset by peer < 1767743507 363471 :pool!~nathan@user/PoolloverNathan JOIN #esolangs PoolloverNathan :nathan