< 1754352013 946406 :sprock!~sprock@user/sprock JOIN #esolangs sprock :maeve (she/her) < 1754352189 493614 :int-e!~noone@int-e.eu PRIVMSG #esolangs :ais523: I'm pretty sure that if I had assumed that it was a general desire I would've used "wants" instead of "wanted" :) < 1754352213 15549 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right – just wanted to make sure there wasn't a misunderstanding < 1754352247 833433 :int-e!~noone@int-e.eu PRIVMSG #esolangs :of course < 1754352494 475960 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: Wolfram does this where about what system? < 1754352506 958237 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: proving TCness of S < 1754352536 457780 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :doesn't combinator calculus have an order that is TC if any order is TC? < 1754352607 744930 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: so the issue here is that the TCness is expected to not be in the behaviour of the resulting terms, but rather the process of reducing htem < 1754352664 288738 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a good way to think about it is to think about the rewrite rule for S, S(x)(y)(z) → x(z)(y(z)), as the rule of a rewriting-based esolang rather than the implementation of a function < 1754352680 412148 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :oh, if it's S combinator only, that explains why you said the TCness is likely in non-halting programs < 1754352693 684054 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :…and "non-halting-based TCness" is allowed, although (as usual) hard to define < 1754352708 86729 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :certainly < 1754352748 404895 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I mean the first computers that I used didn't have a concept of halting, unless an external person turns off their power switch or unplugs them, so this seems obvious < 1754352786 68817 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :right, the usual definition of halting for such systems is the "tight infinite loop", i.e. an infinite loop that repeats the same sequence of states over and over again, making it obvious that the loop cannot be broken < 1754352807 794920 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but there are more complicated halting states too < 1754352849 857075 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my 2,3 Turing machine proof originally used "any of these specific locations on the tape are visited twice", although I eventually found a construction for which halting sent the tape head to the left of its starting point < 1754352900 236467 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :no, at least not in the case I'm talking about: those computers all have some form of output device, so instead of halting you'd look at whether they output something specific < 1754352912 400636 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :OK, that's another good definition < 1754352925 111322 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :you could even in theory connect the output device to the power supply < 1754352959 865382 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes, and all modern computers do that, but that was called "ATX motherboard and ATX-compatible power supply" and an innovation in my lifetime < 1754352963 76852 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think some early 386 computers had a way for the microprocessor to ask the keyboard controller to reset the microprocessor < 1754352973 56231 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :well the first implementation was called that < 1754352975 682664 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :in order to get back into real mode from protected mode < 1754352995 850217 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(although later people figured out that you could do it with an intentional triple fault instead) < 1754353005 102469 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: reset, yes, but in a way that the computer can keep some state across that, so it's not really a halt state < 1754353028 828556 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think it reset the entire state of the microprocessor, but the state you really care about is mostly in RAM which isn't reset the same way < 1754353048 241928 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :it erases some of the state, sure < 1754353085 185038 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :it may even erase state in a way that's inconvenient for practical programming < 1754353168 890141 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I doubt it's that much worse than a context switch < 1754353186 76947 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :which may be a feature by the way: there is an advantage to a computer like a Commodore-64 where if no extension cartridge is plugged in then you can make some data in memory survive, but the reset drops you into a BASIC prompt with no automatic way without user interaction to continue the previous program, so you can't make malware that survives intentional resets < 1754353198 436638 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :you might have to spill some of the MSRs and control registers, but in the 386 days I doubt there were all that many of them to spill (there are probably a lot more nowadays) < 1754353230 144739 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :it's not even just memory, it could be a casette tape or, if you have more money, floppy, but the point is that the computer doesn't automatically run a program from them after startup, it can just read them if you so ask < 1754353245 167675 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: I believe I found the list of languages in the settings and removed them all. (I checked now and the list is empty.) < 1754353262 393686 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I haven't used Firefox's translator yet, but I don't mind it asking me > 1754353264 500924 PRIVMSG #esolangs :14[[07Trifack14]]4 N10 02https://esolangs.org/w/index.php?oldid=162851 5* 03Shazun bhasfu 5* (+845) 10created page < 1754353301 171290 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: But I also disabled browser.translations.automaticallyPopup which I suspect I did by checking about:config. < 1754353322 187484 :int-e!~noone@int-e.eu PRIVMSG #esolangs :the important part is that it's turned off ;-) > 1754353370 900394 PRIVMSG #esolangs :14[[07User:Shazun bhasfu14]]4 10 02https://esolangs.org/w/index.php?diff=162852&oldid=160119 5* 03Shazun bhasfu 5* (+1427) 10 < 1754353417 582248 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: I sort of find it insulting, like it makes the assumption of websites of multinational companies that assumes that everyone speaks only one language, they want to see their website in that one language even if it's in a bad translation, and this language depends only on the country, so you have to lie to them that you want the website for "Serbia" or some such to get it to give you info in < 1754353423 588298 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :English but still tell you what they're selling in continental Europe < 1754353435 197748 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: for a few versions < 1754353447 752306 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: often I like to be able to read both the original and a machine translation < 1754353477 530593 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I don't read any non-English language nearly as well as you read English, but I know the basics of many of them < 1754353504 647936 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: I especially hate Ebay because it started to automatically translate the listings of all third-party sellers. it's one thing to make your website give badly translated info, but it's much more arrogant to translate listings and try to force buyers to buy something without being able to read what the seller offers to them < 1754353510 9060 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so the offer to translate is potentially useful for me, but only as an offer where I can say "yes this time" or "no this time" < 1754353513 631462 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I mean from a third-party seller < 1754353525 205665 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a *forced* translation would definitely be bad < 1754353530 533003 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: exactly < 1754353561 644547 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and Ebay seems to be doing that, or at least they're pushing the translation hard, I don't claim that there's no way to fool Ebay to give you the original listing < 1754353584 500061 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(my learning of foreign languages is almost entirely concerned with reading – I don't normally have a need to write or speak, and listening is more difficult than reading and subtitles are usually available for content that isn't in written form already) > 1754353694 481621 PRIVMSG #esolangs :14[[07Trifack14]]4 M10 02https://esolangs.org/w/index.php?diff=162853&oldid=162851 5* 03Shazun bhasfu 5* (+1) 10/* example programs */ < 1754353777 429911 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :that said, I hardly know any Hungarian despite having actually been to Hungary < 1754353814 769963 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :"húzni" and "tolni" were easy to deduce from context, but that's about the extent of what I picked up > 1754355072 177954 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=162854&oldid=162807 5* 03Pifrited 5* (+938) 10 < 1754355809 432095 :fruits4fruits!~f4fruits@user/fruits4fruits JOIN #esolangs fruits4fruits :realname < 1754355822 521874 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :so < 1754355856 98518 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :uh < 1754355870 867261 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :the time on my computer was wrong < 1754355896 155498 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs : and my computer started to not work properly < 1754355914 682681 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :and i had to fix the time < 1754355920 983982 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :on my computer < 1754355934 555592 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs : but it didnt fix it < 1754355962 789072 :fruits4fruits!~f4fruits@user/fruits4fruits PRIVMSG #esolangs :i had to do everything by myself to fix it < 1754356296 740189 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :fruits4fruits: Yeah, it's funny how a clock is easy to change, but timestamps can be indelible. < 1754356595 674217 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :
ACTION searches his box of blue cards for Regress (Mirrodin)
> 1754357854 467368 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=162855&oldid=162816 5* 03Hotcrystal0 5* (+152) 10 < 1754357866 552270 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Chewing through this combinator S paper. It's not easy. I'm on p9, telling myself that X/Y is read as "a slide of X onto Y" in order to cope. Might be dinner time. > 1754358832 244798 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=162856&oldid=162834 5* 03Hotcrystal0 5* (-214) 10 > 1754358855 495835 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=162857&oldid=162856 5* 03Hotcrystal0 5* (+0) 10 > 1754358927 337103 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=162858&oldid=162857 5* 03Hotcrystal0 5* (+106) 10 > 1754359144 228268 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=162859&oldid=162858 5* 03Hotcrystal0 5* (+65) 10 > 1754359156 524361 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=162860&oldid=162859 5* 03Hotcrystal0 5* (+10) 10 > 1754359413 133886 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=162861&oldid=162860 5* 03Hotcrystal0 5* (+52) 10 > 1754361540 159547 PRIVMSG #esolangs :14[[07User:I am islptng/Krotal-Tadopar14]]4 N10 02https://esolangs.org/w/index.php?oldid=162862 5* 03I am islptng 5* (+4043) 10linguifex is too unstable :( > 1754362089 380197 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162863&oldid=162830 5* 03Junkshipp 5* (-350) 10/* Calling functions */ > 1754362331 721230 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162864&oldid=162863 5* 03Junkshipp 5* (-16) 10/* Whitespace and comments */ > 1754362903 718596 PRIVMSG #esolangs :14[[07User:I am islptng/Krotal-Tadopar14]]4 10 02https://esolangs.org/w/index.php?diff=162865&oldid=162862 5* 03I am islptng 5* (+47) 10/* Core Words */ > 1754365192 397487 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162866&oldid=162864 5* 03Junkshipp 5* (+587) 10 > 1754365248 93956 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162867&oldid=162866 5* 03Junkshipp 5* (+0) 10/* Defining functions */ > 1754365260 438569 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162868&oldid=162867 5* 03Junkshipp 5* (+1) 10/* Defining functions */ > 1754367613 802548 PRIVMSG #esolangs :14[[07User:Pifrited/Idea14]]4 10 02https://esolangs.org/w/index.php?diff=162869&oldid=162378 5* 03Pifrited 5* (+30) 10 < 1754368275 408495 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Quit: ZNC 1.10.1 - https://znc.in > 1754370882 827722 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=162870&oldid=161736 5* 03Corbin 5* (+944) 10Clean up example, move it to top, and add section on properties. > 1754371707 435151 PRIVMSG #esolangs :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=162871&oldid=162844 5* 03Corbin 5* (-589) 10/* Minimal combinator bases */ Split into two sections. Iota is not a combinator, but it is a closed lambda term. Fix up refs too. > 1754371788 610922 PRIVMSG #esolangs :14[[07Turing tarpit14]]4 M10 02https://esolangs.org/w/index.php?diff=162872&oldid=162871 5* 03Corbin 5* (+0) 10/* Minimal closed lambda terms */ Fix formatting. > 1754371838 879247 PRIVMSG #esolangs :14[[07Lambda calculus14]]4 10 02https://esolangs.org/w/index.php?diff=162873&oldid=102882 5* 03Corbin 5* (+25) 10/* See also */ Closed lambda terms. > 1754372049 955888 PRIVMSG #esolangs :14[[07Iota14]]4 10 02https://esolangs.org/w/index.php?diff=162874&oldid=162823 5* 03Corbin 5* (-588) 10Remove speculative/wrong stuff. Sorry about that! > 1754372627 343620 PRIVMSG #esolangs :14[[07Closed lambda term14]]4 10 02https://esolangs.org/w/index.php?diff=162875&oldid=162848 5* 03Corbin 5* (+989) 10/* Via lambda calculus */ Hack out this section. > 1754372924 590693 PRIVMSG #esolangs :14[[07Closed lambda term14]]4 M10 02https://esolangs.org/w/index.php?diff=162876&oldid=162875 5* 03Corbin 5* (+21) 10/* Via lambda calculus */ Make it clear that x.c is not closed. > 1754374485 294353 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=162877&oldid=162870 5* 03Corbin 5* (+375) 10/* Combinators */ Integrate above sections, hack out theorems, and remove some non-combinators documented at [[closed lambda term]]. > 1754374652 938229 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 M10 02https://esolangs.org/w/index.php?diff=162878&oldid=162877 5* 03Corbin 5* (-42) 10/* BCKW calculus */ Don't spuriously re-define combinators. It's the same K combinator in both systems. < 1754374715 672887 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Okay, I'm nearly done. I *think* that I haven't accidentally deleted an entire section of related links, but I did shuffle some references. < 1754376369 159022 :nitrix!~nitrix@user/meow/nitrix QUIT :Ping timeout: 252 seconds < 1754376501 453394 :nitrix!~nitrix@user/meow/nitrix JOIN #esolangs nitrix :ZNC - https://znc.in < 1754378903 999812 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1754380523 556712 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1754381961 58230 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Hi < 1754382230 808006 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: nice, can you edit https://esolangs.org/wiki/Underload too? < 1754382478 905956 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: hmm, I should figure out a better phrasing for https://esolangs.org/wiki/Pointfree_programming because I think "based on tuples" is an inaccurate description for FP and Amicus. they are based on functions with arbitrary (but fixed at compile time) number of arguments. it's a hypothetical language with no currying, no upvalues, and single argument functions that can be said to be based on tuples, < 1754382484 914911 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :though I don't think such a thing exists in pure form and it probably shouldn't. < 1754382645 505644 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Amycus is an exception, because it actually has an apply builtin rather than a call builtin, it's broken in exactly that way < 1754382726 634850 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :although I may be saying something wrong about Amicus and Amycus here, I'll have to look more into this < 1754383072 461051 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :hmm no, FP is tuple-based too < 1754383090 827579 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I should look into this later < 1754390001 483610 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname < 1754390888 155781 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 JOIN #esolangs * :Textual User < 1754392876 958914 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1754392903 817292 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 276 seconds < 1754392955 952438 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1754394484 321487 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`unidecode 😃 < 1754394489 844501 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+1F603 SMILING FACE WITH OPEN MOUTH] < 1754394672 895488 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1754395431 606181 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`unidecode 😦 < 1754395435 495031 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​[U+1F626 FROWNING FACE WITH OPEN MOUTH] < 1754395470 957826 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :"Turn that smile off for a while." Or "make that smile full of guile." (Poetry less than graciously provided by Gemini.) < 1754395570 332853 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 JOIN #esolangs * :Textual User < 1754395596 68026 :int-e!~noone@int-e.eu PRIVMSG #esolangs :fizzie: somebody on Bluesky was asking what that emoji is supposed to convey. > 1754396310 614540 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162879&oldid=162868 5* 03Junkshipp 5* (+73) 10/* Defining functions */ > 1754399108 258267 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162880&oldid=162839 5* 03Hotcrystal0 5* (+957) 10 > 1754399838 15432 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162881&oldid=162879 5* 03Junkshipp 5* (+81) 10/* Deduction */ > 1754399878 39911 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162882&oldid=162881 5* 03Junkshipp 5* (-17) 10/* #tc - Transitivity and commutativity */ < 1754400418 869525 :b_jonas!~x@88.87.242.184 QUIT :Ping timeout: 240 seconds > 1754400652 164145 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162883&oldid=162880 5* 03Hotcrystal0 5* (+428) 10 < 1754402423 461265 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :ZNC - https://znc.in > 1754402826 732856 PRIVMSG #esolangs :14[[07User:Pifrited/PasteBin14]]4 10 02https://esolangs.org/w/index.php?diff=162884&oldid=162836 5* 03Pifrited 5* (+593) 10 > 1754403026 258256 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03ROHA 5* 10New user account < 1754403433 943425 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1754405411 954875 :fruits4fruits!~f4fruits@user/fruits4fruits QUIT :Read error: Connection reset by peer < 1754405687 810950 :DOS_User_webchat!~DOS_User_@21.red-81-33-48.dynamicip.rima-tde.net JOIN #esolangs * :[https://web.libera.chat] DOS_User_webchat < 1754405704 710249 :DOS_User_webchat!~DOS_User_@21.red-81-33-48.dynamicip.rima-tde.net CHGHOST ~DOS_User_ :user/DOS-User:11249 < 1754406635 914997 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 JOIN #esolangs * :Textual User < 1754407377 104047 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Remote host closed the connection > 1754409259 319053 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162885&oldid=162882 5* 03Junkshipp 5* (+1) 10/* Defining functions */ > 1754411715 710763 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162886&oldid=162883 5* 03Hotcrystal0 5* (+1687) 10 < 1754412516 729417 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: I don't know how we should say it, but there's an equivalence between multicategories (functions take and return multiple arguments) and monoidal-closed categories (functions take and return single arguments, tuples are values) so we have a choice about how to present them. < 1754412538 372640 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :e.g. Cammy's models are monoidal closed too. < 1754412711 760294 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat < 1754412840 768252 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I'll have to think about what to say for Underload, also Unlambda and Mlatu. TBH I think that the existing pages are decent enough; they aren't based on combinatory-logic combinators, but on a specific stack+contatenative paradigm for which we don't really have a good name. > 1754414033 999979 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162887&oldid=162886 5* 03Hotcrystal0 5* (+899) 10 > 1754414097 853578 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162888&oldid=162887 5* 03Hotcrystal0 5* (+3) 10 > 1754414526 284542 PRIVMSG #esolangs :14[[0799 bottles of zilliondollars14]]4 N10 02https://esolangs.org/w/index.php?oldid=162889 5* 03WarzokERNST135 5* (+533) 10Created page with "[[99 bottles of zilliondollars]] is an esolang made by [[WarzokERNST135]]. It was made to do 99 bottles of beer and many programs. ==Examples== ===[[99 bottles of beer]]=== zillion { encode(ispl).shark(#u!I$*~~"${$$}bottles of beer on the > 1754414555 328622 PRIVMSG #esolangs :14[[07User:WarzokERNST13514]]4 10 02https://esolangs.org/w/index.php?diff=162890&oldid=162827 5* 03WarzokERNST135 5* (+37) 10 < 1754414720 313222 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Remote host closed the connection < 1754415230 395523 :b_jonas!~x@88.87.242.184 JOIN #esolangs * :b_jonas > 1754416190 343208 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162891&oldid=162885 5* 03Junkshipp 5* (+251) 10 > 1754416228 903557 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162892&oldid=162891 5* 03Junkshipp 5* (+1) 10 > 1754419913 182971 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=162893&oldid=162878 5* 03Corbin 5* (+175) 10/* Properties */ Rank is an invariant. > 1754421116 307992 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=162894&oldid=162893 5* 03Corbin 5* (+559) 10/* Non-primitives */ Format the table. < 1754421435 757115 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat < 1754421874 374344 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: Do you have any sources on the non-Smullyan bird names? Several names are missing from their glossary, e.g. B2 and B3 as "Bunting" and "Becard". < 1754421940 78561 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Perhaps they're mentioned in the book and weren't in the glossary, in which case I can spend a few hours re-reading a classic. > 1754422067 722693 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=162895&oldid=162894 5* 03Corbin 5* (+308) 10Cracked open my copy of Mockingbird and double-checked the bird names. > 1754422109 208359 PRIVMSG #esolangs :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=162896&oldid=132131 5* 03Palaiologos 5* (-6) 10 < 1754422297 16255 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Yep, it's the latter case. For example, p104 of my 2000 paperpack printing names F* as the once-removed finch. < 1754422608 747049 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Ping timeout: 252 seconds < 1754423958 778804 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: I only have the bird book in translation. In theory I can try to look up if a bird is named, but not what it's named in the original, and I don't really care about the specific names of most birds. < 1754424056 616607 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :the list in the appendix doesn't have anything named B2 or B3. that doesn't guarantee that the main text doesn't mention those. > 1754424098 781358 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162897&oldid=162888 5* 03Hotcrystal0 5* (+919) 10 < 1754424238 314638 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I, K, KI, S, B, C, W are the important ones, for the rest use an expression made of those, or a lambda expression, or a Haskell name, or an unlambda name etc < 1754424341 253581 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(unlambda's d and c are probably not birds) < 1754424384 315349 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :cu > 1754424467 985159 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 M10 02https://esolangs.org/w/index.php?diff=162898&oldid=162895 5* 03Corbin 5* (-169) 10/* Table of combinators */ Found most of the unsourced birds; they're in Smullyan, but not in the glossary. < 1754424517 100241 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :b_jonas: No worries. I re-read the relevant sections. Most of the names not in the glossary are part of the big list of compositing operators in Bravura's forest. < 1754424541 552515 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I don't know what an omega or theta bird is though. < 1754424749 643312 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :if you mean Theta, that is listed in the appendex > 1754425213 716570 PRIVMSG #esolangs :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=162899&oldid=162797 5* 03Ractangle 5* (-258) 10/* Commands */ we really don't need more > 1754425317 580477 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=162900&oldid=162898 5* 03Corbin 5* (+406) 10/* Properties */ Add two more important properties. < 1754425366 708885 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, curious. This must be a difference between our copies. Mine says that θ x = x (θ x); and calls it "sage bird". That's normally the combinator we call Y, though. So I'm not sure what the θ symbol should be. > 1754425488 204312 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162901&oldid=162897 5* 03Hotcrystal0 5* (+1479) 10 < 1754425653 834882 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :korvo: yes, that is the definition given in the appendix > 1754425666 542448 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162902&oldid=162892 5* 03Junkshipp 5* (+21) 10/* Defining functions */ < 1754425679 778501 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so the symbol for it is Theta, the fancy name is sage bird < 1754425946 557660 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hm, okay. The definition given on the wiki is Y O, or Y (S I), which appears to have the same behavior as Y? Y (S I) x = S I (Y (S I)) x = I x (Y (S I) x) = x (Y (S I) x) < 1754425976 116865 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :But I don't see it in the big list of Turing bird expressions. Perhaps this is the cost of not eating lunch. < 1754426432 774258 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Quit: ZNC 1.10.1 - https://znc.in < 1754426499 504565 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1754426591 480312 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :ZNC - https://znc.in < 1754426832 878242 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 JOIN #esolangs * :Textual User > 1754427177 645436 PRIVMSG #esolangs :14[[07Definition14]]4 M10 02https://esolangs.org/w/index.php?diff=162903&oldid=162829 5* 03Ractangle 5* (+3) 10you can remove the question mark if you can call this as a subset > 1754428459 382709 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162904&oldid=162901 5* 03Hotcrystal0 5* (+2127) 10 < 1754429710 2794 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1754430207 513396 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 JOIN #esolangs * :Textual User < 1754431050 420364 :amadaluzia!~amadaluzi@user/amadaluzia QUIT :Ping timeout: 276 seconds < 1754431512 16354 :tromp!~textual@2001:1c00:3487:1b00:788c:1b3f:625a:cce3 QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1754431782 993006 :amadaluzia!~amadaluzi@user/amadaluzia JOIN #esolangs amadaluzia :ZNC - https://znc.in < 1754433184 760480 :DOS_User!~DOS_User@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User < 1754433718 2604 :DOS_User!~DOS_User@user/DOS-User:11249 QUIT :Remote host closed the connection < 1754433726 760332 :DOS_User!~DOS_User@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User < 1754434055 350628 :DOS_User!~DOS_User@user/DOS-User:11249 QUIT :Remote host closed the connection < 1754434077 759814 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat < 1754434509 922141 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1754436036 393589 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=162905&oldid=162904 5* 03Hotcrystal0 5* (+266) 10 < 1754437390 225134 :FreeFull!~freefull@79.186.59.71.ipv4.supernova.orange.pl QUIT : < 1754437539 441949 :FreeFull!~freefull@79.186.59.71.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull < 1754438036 17685 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.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