< 1636158224 92019 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 268 seconds < 1636158241 768885 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1636162402 575205 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1636162456 982153 :Guest3745674!~Guest3745@2605:a601:a976:6800:6d2e:aa50:cf7:23a3 JOIN #esolangs * :[https://web.libera.chat] Guest3745674 < 1636162744 421156 :Oshawott!~archenoth@2604:3d09:681:f00:fd31:5d52:fd09:995d JOIN #esolangs Archenoth :archenoth < 1636162812 775176 :feoh!~feoh@137.184.104.30 QUIT :Quit: Ping timeout (120 seconds) < 1636162830 686501 :feoh!~feoh@137.184.104.30 JOIN #esolangs feoh :Chris Patti < 1636162942 574549 :archenoth!~archenoth@2604:3d09:681:f00:d9c8:22e8:7bd:5ca5 QUIT :Ping timeout: 260 seconds < 1636163182 696144 :Guest3745674!~Guest3745@2605:a601:a976:6800:6d2e:aa50:cf7:23a3 QUIT :Quit: Client closed < 1636163255 395349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs : it also doesn't tell whether it's Turing-complete – it only says that from the BCW basis you can get any lambda term of a certain form, namely one with applications only on variables inside the lambdas, and with all bound variables used at least once <-- i think that must be BCWI. i got nerd sniped into thinking about what it's with _just_ BCW. < 1636163278 66272 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :oerjan: aren't those the same? < 1636163286 324195 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :like can't you get I from BCW? < 1636163290 650478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :nope. < 1636163295 989149 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :I see < 1636163305 623775 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :probably BCWI then < 1636163355 279051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :you can, i think, get a fixpoint-based almost-version that shuffles itself away: I' a b = a (I' b) < 1636163380 253302 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :yeah, it's BCWI or equivalently BCSI < 1636163399 276313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :without that, the best you can get is int-e's BCC x y z = x y z < 1636163437 930992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :and that's almost the general rule i found: you get any closed lambda expression in which any innermost expression contains at least two applications. < 1636163468 805934 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :that is reasonably close, I guess < 1636163478 670099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :you will note that all of B, C and W have that property, and you cannot get rid of it < 1636163479 292615 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :shoudln't impact TC-ness < 1636163941 383812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :indeed. you have perfect S: from int-e's S a b = W (B (C a) b) you can eliminate further to B W (B (C a)) b = B (B W) (B B C) a b < 1636164091 751099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :um *any closed lambda expression using all parameter variables at least once and ... < 1636164263 609086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :also, i suspect BCWI can implement underload's :()^~ , giving a way to do TC-ness without junk. < 1636164290 213866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(maybe * and a as well now i think about it) < 1636164314 876984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :(with a pair-based stack) < 1636164438 258983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :or one might implement some K-elimination similar to my underload method directly. < 1636164589 24960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :perhaps one could use B C C = \f x y -> f x y and C = \f x y -> f y x as booleans to distinguish the self-deletion and running modes < 1636164620 113041 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :and maybe manage with just B C W < 1636164729 552981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :although, what should the API for that be < 1636164785 729307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :...someone has to have done something like this for LC already > 1636166898 420798 PRIVMSG #esolangs :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=89386&oldid=89234 5* 03DigitalDetective47 5* (+2) 10/* Left-Right March */ Fixed header level < 1636168962 840115 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Although there are some different GUI widget set libraries some of which are portable, is there the interface which is independent from the implementation? (I could try to make up such a thing if there isn't one or if the existing ones are not good enough, I suppose.) < 1636170093 63223 :moony!moony@hellomouse/dev/moony NICK :cd < 1636172308 65601 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS < 1636175931 374724 :pikhq!sid394595@user/pikhq QUIT :Ping timeout: 245 seconds < 1636175975 688083 :j4cbo!sid186930@id-186930.helmsley.irccloud.com QUIT :Ping timeout: 264 seconds < 1636175984 70761 :earendel!uid498179@user/earendel QUIT :Ping timeout: 268 seconds < 1636176004 86509 :dnm!sid401311@id-401311.lymington.irccloud.com QUIT :Ping timeout: 260 seconds < 1636176022 894274 :yuu_!sid267332@id-267332.ilkley.irccloud.com QUIT :Ping timeout: 252 seconds < 1636176031 167401 :yuu_!sid267332@ilkley.irccloud.com JOIN #esolangs * :yuu < 1636176031 945500 :Argorok!sid195487@id-195487.hampstead.irccloud.com QUIT :Ping timeout: 260 seconds < 1636176032 5768 :aarchi!sid486183@id-486183.uxbridge.irccloud.com QUIT :Ping timeout: 260 seconds < 1636176055 688563 :mich181189!sid268336@londonhackspace/mich181189 QUIT :Ping timeout: 260 seconds < 1636176055 688613 :integral!sid296274@user/integral QUIT :Ping timeout: 260 seconds < 1636176086 759915 :mich181189!sid268336@id-268336.tinside.irccloud.com JOIN #esolangs * :Michael < 1636176087 9568 :mich181189!sid268336@id-268336.tinside.irccloud.com CHGHOST sid268336 :londonhackspace/mich181189 < 1636176091 637571 :pikhq!sid394595@user/pikhq JOIN #esolangs pikhq :Ada Worcester < 1636176121 333375 :dnm!sid401311@2a03:5180:f:2::6:1f9f JOIN #esolangs dnm :dnm < 1636176128 632187 :earendel!uid498179@2a03:5180:f:2::7:9a03 JOIN #esolangs * :AmoreFS < 1636176130 715816 :earendel!uid498179@2a03:5180:f:2::7:9a03 CHGHOST uid498179 :user/earendel < 1636176134 30915 :Argorok!sid195487@2a03:5180:f:4::2:fb9f JOIN #esolangs * :Argorok < 1636176134 455132 :integral!sid296274@user/integral JOIN #esolangs integral :bsmith < 1636176145 87316 :aarchi!sid486183@2a03:5180:f:5::7:6b27 JOIN #esolangs aarchi :aarchi < 1636176838 573757 :j4cbo!sid186930@id-186930.helmsley.irccloud.com JOIN #esolangs * :j4cbo < 1636180346 219326 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1636183027 433015 :Sgeo_!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1636183568 214323 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(I mean for example a common .h file so that the same API function calls are used but you can substitute a different implementation and it can work) < 1636185903 648593 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1636186110 650260 :hendursa1!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds < 1636186656 641132 :hendursaga!~weechat@user/hendursaga QUIT :Ping timeout: 276 seconds < 1636186766 645957 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1636189400 34730 :int-e!~noone@int-e.eu PRIVMSG #esolangs :oerjan: fwiw, the BCC was tromp's not mine < 1636189829 560906 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? bcc < 1636189832 561482 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :bcc? ¯\(°​_o)/¯ < 1636189836 362523 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? bbc < 1636189838 66774 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, villages in Norway, and inventors of all things. Taneb invented it. < 1636195150 837767 :FireFly!firefly@glowbum/gluehwuermchen/firefly QUIT :Quit: WeeChat 2.0.1 < 1636195171 950819 :FireFly!firefly@glowbum/gluehwuermchen/firefly JOIN #esolangs FireFly :firefly < 1636199148 17181 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :bcc.nl is a Dutch electronics & home appliance chain < 1636199577 301500 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1636202997 327420 :tech_exorcist_!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1636203154 666299 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Ping timeout: 260 seconds < 1636205846 289578 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1636205878 956143 :tech_exorcist_!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: afk, ttyl < 1636206889 15322 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :`? bbc < 1636206891 424130 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, villages in Norway, and inventors of all things. Taneb invented it. < 1636207221 198789 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`slashlearn bcc//The "Bcc:" field (where the "Bcc" means "Blind Carbon Copy") contains addresses of recipients of the message whose addresses are not to be revealed to other recipients of the message. < 1636207224 725996 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Learned 'bcc': The "Bcc:" field (where the "Bcc" means "Blind Carbon Copy") contains addresses of recipients of the message whose addresses are not to be revealed to other recipients of the message. < 1636209084 582536 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila < 1636209143 73421 :hendursaga!~weechat@user/hendursaga QUIT :Remote host closed the connection < 1636209185 639776 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1636210425 218832 :hendursaga!~weechat@user/hendursaga QUIT :Remote host closed the connection < 1636210457 638543 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1636210919 356269 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds < 1636213006 577156 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Ping timeout: 260 seconds < 1636213316 581307 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru JOIN #esolangs * :the chaotic arseniiv < 1636214087 357513 :Trieste!T@user/pilgrim JOIN #esolangs pilgrim :T < 1636214115 372880 :Trieste_!T@user/pilgrim QUIT :Ping timeout: 256 seconds < 1636215120 437280 :hendursaga!~weechat@user/hendursaga QUIT :Quit: hendursaga < 1636215145 129310 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1636215237 281212 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1636215448 878501 :earendel!uid498179@user/earendel QUIT :Quit: Connection closed for inactivity < 1636216630 714421 :Melvar!~melvar@dslb-088-072-174-184.088.072.pools.vodafone-ip.de PRIVMSG #esolangs :Amusing thing that happened a few days ago: Someone asked if a less readable way to write a simple conditional function in Haskell was more efficient, and someone responded that the two ways might well compile to the same thing. The latter person then went to actually check the Core for those two functions, and found that GHC replaced the second function with a reference to the first. < 1636216644 462830 :Melvar!~melvar@dslb-088-072-174-184.088.072.pools.vodafone-ip.de PRIVMSG #esolangs :So not only did they compile to the same thing, but the compiler noticed and deduplicated them. < 1636216774 907274 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Nice. < 1636218005 945246 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood < 1636218086 633249 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1636218527 152342 PRIVMSG #esolangs :14[[07User:Otesunki14]]4 N10 02https://esolangs.org/w/index.php?oldid=89387 5* 03Otesunki 5* (+83) 10initial commit > 1636218543 520721 PRIVMSG #esolangs :14[[07User:Otesunki14]]4 M10 02https://esolangs.org/w/index.php?diff=89388&oldid=89387 5* 03Otesunki 5* (+3) 10im dumb < 1636219410 573867 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN > 1636220032 19708 PRIVMSG #esolangs :14[[07Timers14]]4 M10 02https://esolangs.org/w/index.php?diff=89389&oldid=89377 5* 03Rphii 5* (+30) 10fix command list > 1636220380 473016 PRIVMSG #esolangs :14[[07Why Does This Towel Smell Different Each Time I Use It14]]4 10 02https://esolangs.org/w/index.php?diff=89390&oldid=88723 5* 03LarhoCherqi 5* (-86) 10Changed the interpreter link into a compiler link < 1636222740 250538 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esolangs :`? A < 1636222741 918559 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :A is one of seven villages in Norway. The BBC invented them by not understanding things on top of letters. < 1636223478 494209 :Melvar!~melvar@dslb-088-072-174-184.088.072.pools.vodafone-ip.de PRIVMSG #esolangs :`? Å < 1636223480 38935 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. < 1636223543 41703 :Melvar!~melvar@dslb-088-072-174-184.088.072.pools.vodafone-ip.de PRIVMSG #esolangs :`? Å < 1636223544 632344 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Å? ¯\(°​_o)/¯ < 1636223575 55801 :Melvar!~melvar@dslb-088-072-174-184.088.072.pools.vodafone-ip.de PRIVMSG #esolangs :I see no normalization is being done. < 1636223609 611802 :Melvar!~melvar@dslb-088-072-174-184.088.072.pools.vodafone-ip.de PRIVMSG #esolangs :(Second one is A + combining ring) > 1636225698 117368 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89391&oldid=89350 5* 03PixelatedStarfish 5* (+155) 10 > 1636225793 953595 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89392&oldid=89391 5* 03PixelatedStarfish 5* (+10) 10 > 1636225821 915694 PRIVMSG #esolangs :14[[07BrainSoup14]]4 10 02https://esolangs.org/w/index.php?diff=89393&oldid=89392 5* 03PixelatedStarfish 5* (-1) 10 < 1636226349 992149 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :Melvar: some normalization is done on wisdom names, just not that kind of normalization < 1636226365 320143 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :`? å < 1636226367 273633 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters. < 1636226376 53422 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :`? ä < 1636226377 778825 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​Ä is a Swedish geographical feature. < 1636226381 20825 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :`? ã < 1636226382 582864 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​ã? ¯\(°​_o)/¯ < 1636226481 991892 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :``` for x in à á â æ ð ñ õ ö ø ü þ ÿ; do \? "$x"; done < 1636226492 123083 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​à? ¯\(°​_o)/¯ \ á? ¯\(°​_o)/¯ \ â? ¯\(°​_o)/¯ \ æ? ¯\(°​_o)/¯ \ ð? ¯\(°​_o)/¯ \ ñ? ¯\(°​_o)/¯ \ õ? ¯\(°​_o)/¯ \ ö? ¯\(°​_o)/¯ \ ø is not going anywhere. \ ü is the ridiculously happy second derivative of the letter ‘u’ with respect to time. \ þ? ¯\(°​_o)/¯ \ ÿ? ¯\(°​_o)/¯ < 1636226528 173321 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :`? ő < 1636226529 784849 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​ő? ¯\(°​_o)/¯ < 1636228258 659444 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`cbt lowercase < 1636228259 725701 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​#!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/' < 1636228264 532583 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :That's a very particular lowercasing. < 1636228661 526186 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :interesting. why doesn't it do the A-Za-z part in the sed transliteration too? < 1636229005 956 :hendursaga!~weechat@user/hendursaga QUIT :Remote host closed the connection < 1636229028 640351 :hendursaga!~weechat@user/hendursaga JOIN #esolangs hendursaga :weechat < 1636229272 650077 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :``` cat /hackenv/bin/learn # does that use the same casefolding rule? < 1636229273 711215 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "$HACKENV/wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"$(echo-p "$HACKENV/wisdom/$topic")" \ echo "$verb '$topic': $1" < 1636229282 979342 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :``` cat /hackenv/bin/lowercase < 1636229284 586368 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :​#!/bin/bash \ print_args_or_input "$@" | tr A-Z a-z | LANG=en_NZ.UTF-8 sed 'y/ØÅÆŒÞÐÄÖÜÁÉÍÓÚÝŁ/øåæœþðäöüáéíóúýł/' < 1636231115 920328 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1636231158 639534 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1636232818 843997 :earendel!uid498179@user/earendel JOIN #esolangs earendel :AmoreFS < 1636235965 509645 :tech_exorcist!~tech_exor@user/tech-exorcist/x-0447479 QUIT :Quit: see you tomorrow < 1636236374 238768 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: you'd have to spell out all 26 letters < 1636236532 188928 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :whoa... the sed y statement doesn't do hyphenated ranges? < 1636236683 296581 :b_jonas!~x@catv-176-63-3-164.catv.broadband.hu PRIVMSG #esolangs :I see :( < 1636237533 257384 :Riviera!Riviera@user/riviera PRIVMSG #esolangs :nope only literal characters < 1636237983 685610 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1636238006 413342 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 245 seconds < 1636242323 577186 :arseniiv!~arseniiv@94.41.2.66.dynamic.ufanet.ru QUIT :Ping timeout: 264 seconds