< 1548028802 762010 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in < 1548029040 693093 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection > 1548029206 124538 PRIVMSG #esoteric :14[[07L.H.O.O.Q.14]]4 M10 02https://esolangs.org/w/index.php?diff=59340&oldid=59336 5* 03Salpynx 5* (+28) 10/* Language goals */ < 1548030067 445383 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1548030965 4676 :LKoen!~LKoen@2a01cb0407597a00a9f341090cda9b99.ipv6.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1548031158 502704 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric > 1548032269 888220 PRIVMSG #esoteric :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=59341&oldid=59043 5* 03Cortex 5* (+14) 10 > 1548032287 296084 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=59342&oldid=58996 5* 03Cortex 5* (+14) 10lowercased the title < 1548035899 184595 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :zzo38: about CancelScript: in the light of the last trends of Esowiki activity, I feel there’s a need to extract another category weakscripts, in analogy with “Brainfuck derivatives” > 1548036044 937384 PRIVMSG #esoteric :14[[07Hexomnia14]]4 10 02https://esolangs.org/w/index.php?diff=59343&oldid=59334 5* 03Cortex 5* (+116) 10 < 1548036822 283085 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :also it’s unfair I have thought up a weakscript way earlier, and it was a statically typed one, namely a language with a singleton type, function types, and automatic type isomorphism calculation, so essentially just only one type and the one value, and the program is automatically that value and you don’t need to define anything and type inference is absolute. This typing is so complete and elegant that we don’t really need to ad < 1548036822 407416 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :d something as mundane as Turing-completeness; I named this thing Agua as a transparent nod to Agda and water (as in “water down”—can’t conclude something for English, but in Russian this can be used about a text and has negative connotations such as the text is too long but means not a lot, i. e. because of pseudophilosophical passages or clumsy legalese-like syntax), but it seems the time has gone < 1548036886 53919 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :I think singleton-typed weakscript is a really neat idea but I still have scraps of modesty to not flood it to the wiki :D < 1548037300 275422 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru QUIT :Ping timeout: 246 seconds < 1548037659 895169 :xkapastel!uid17782@gateway/web/irccloud.com/x-jlptewbdwoutppem QUIT :Quit: Connection closed for inactivity < 1548038459 305352 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :arseniiv: Stuff like CancelScript could also fit with joke language and unusable for programming, but maybe another such category is helpful I don't know. < 1548038636 977693 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1548038925 451746 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1548040804 403676 :salpynx!~Mutter@118.149.175.193 JOIN :#esoteric < 1548041062 901404 :salpynx!~Mutter@118.149.175.193 PRIVMSG #esoteric :FWIW, I'm seriously interested in properly classifying silly languages like `+`, `+-`, `HQ9+`, and `Deadfish`, which might be related to the class of weakscripts (which seems like a good category, if we can come up with a formal, as well as informal, definition.) < 1548041223 50857 :salpynx!~Mutter@118.149.175.193 QUIT :Quit: Mutter: www.mutterirc.com < 1548041268 944509 :salpynx!~Mutter@118.149.175.193 JOIN :#esoteric < 1548041328 15329 :salpynx!~Mutter@118.149.175.193 PRIVMSG #esoteric :I really like Deadfish, and `+` is a fundamental joke with value > 0 < 1548041723 326516 :salpynx!~Mutter@118.149.175.193 PRIVMSG #esoteric :I have been thinking recently that 'unusable for programming' is neither specific nor formal, and if any community is going to bother coming up with formal terminology to compare the lack-of-merit of two different weakscripts, it's the esolang community. < 1548041990 963402 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Some are incapable of anything at all, and some can do something but not much. < 1548041999 588808 :salpynx!~Mutter@118.149.175.193 QUIT :Quit: Mutter: www.mutterirc.com < 1548043336 171393 :uplime!~nchambers@learnprogramming/staff/nchambers NICK :nchambers < 1548043401 546733 :nchambers!~nchambers@learnprogramming/staff/nchambers NICK :uplime < 1548043957 229634 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1548044321 529941 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1548044414 802400 :MDead!~MDude@71.50.218.48 JOIN :#esoteric < 1548044531 656648 :MDude!~MDude@71.50.218.48 QUIT :Ping timeout: 268 seconds < 1548044790 659674 :MDead!~MDude@71.50.218.48 QUIT :Ping timeout: 268 seconds < 1548045155 958319 :sebbu3!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1548045319 400252 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1548045493 793276 :sebbu3!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 268 seconds < 1548045883 420602 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric > 1548049622 718790 PRIVMSG #esoteric :14[[07L.H.O.O.Q.14]]4 M10 02https://esolangs.org/w/index.php?diff=59344&oldid=59340 5* 03Salpynx 5* (+27) 10/* See also */ < 1548051983 165167 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1548052009 738617 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1548052968 137925 :esowiki!~esowiki@techne.zem.fi JOIN :#esoteric < 1548052980 876413 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1548053000 417211 :moony!moony@hellomouse/dev/moony JOIN :#esoteric < 1548054649 869478 :Gregor!~Gregor@2605:2700:0:17:a800:ff:fe3e:ad41 QUIT :Quit: Coyote finally caught me < 1548060426 588260 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1548060524 820860 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1548061216 936393 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric > 1548061885 421363 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=59345&oldid=59342 5* 03Oerjan 5* (-104) 10Note seems unnecessary now < 1548061976 340956 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is ambivalent about the brainfuck edit < 1548062258 681308 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1548062516 74417 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1548062516 910229 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I guess it's justified because Urban Müller wrote it in lower case: "This archive contains the following programs: bfc The compiler for the 'brainfuck' language (240 bytes!)" < 1548062535 267864 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1548062629 886592 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but iirc he never used it at the beginning of a sentence < 1548062642 991316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*iirc it's been said that < 1548062684 331114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and in general, words that vary depending on that get capitalized titles < 1548062728 710259 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And he always put it in quotes :P < 1548062741 750126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So let's rename the page... ...or maybe not. < 1548062747 872182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1548062824 849793 :uplime!~nchambers@learnprogramming/staff/nchambers QUIT :Quit: WeeChat 2.2 < 1548063731 790928 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I really love today's xkcd. It probably helps to have seen stuff like https://ambcrypto.com/bitcoin-btc-usd-technical-analysis-bulls-ride-the-prices-out-of-the-immediate-resistance-zone/ before, which I've always found highly amusing. < 1548063760 665125 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Especially the idea that this constitutes a "technical analysis". < 1548064134 174682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If the \rainbow{blockchain} people take all the technical analysis nonsense with them away from markets that matter, that'll be a positive thing, I guess < 1548065028 973690 :xkapastel!uid17782@gateway/web/irccloud.com/x-eersyaleplerctld JOIN :#esoteric < 1548067730 647977 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1548069420 301388 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later > 1548073217 952432 PRIVMSG #esoteric :14[[07CancelScript14]]4 10 02https://esolangs.org/w/index.php?diff=59346&oldid=59314 5* 03Bigmac 5* (+149) 10Add categories > 1548073324 976859 PRIVMSG #esoteric :14[[07CancelScript14]]4 10 02https://esolangs.org/w/index.php?diff=59347&oldid=59346 5* 03Bigmac 5* (-28) 10Not a joke language! < 1548074012 88757 :xkapastel!uid17782@gateway/web/irccloud.com/x-eersyaleplerctld QUIT :Quit: Connection closed for inactivity < 1548077153 596141 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru JOIN :#esoteric < 1548080076 996441 :xkapastel!uid17782@gateway/web/irccloud.com/x-wdrqhcootgtpocku JOIN :#esoteric < 1548081132 366825 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1548081822 325723 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1548081974 490135 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1548081976 426857 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1548088459 814261 :xkapastel!uid17782@gateway/web/irccloud.com/x-wdrqhcootgtpocku QUIT :Quit: Connection closed for inactivity < 1548089009 310402 :orin!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :why the hell are mac chargers designed to operate at temperatures on the brink of bursting into flame < 1548090338 339211 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection > 1548090592 397352 PRIVMSG #esoteric :14[[07User:Bigmac14]]4 10 02https://esolangs.org/w/index.php?diff=59348&oldid=59309 5* 03Bigmac 5* (+209) 10Add words < 1548091186 332146 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1548092058 28033 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1548092436 913949 :xkapastel!uid17782@gateway/web/irccloud.com/x-evlknesubhohlvdz JOIN :#esoteric < 1548092526 500600 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric > 1548092717 235135 PRIVMSG #esoteric :14[[07CancelScript14]]4 10 02https://esolangs.org/w/index.php?diff=59349&oldid=59347 5* 03Bigmac 5* (+305) 10/* Implementations */ Add reference and Zzo38's implementations > 1548092828 518714 PRIVMSG #esoteric :14[[07CancelScript14]]4 10 02https://esolangs.org/w/index.php?diff=59350&oldid=59349 5* 03Bigmac 5* (+0) 10Correct Capitalisation < 1548092958 475191 :imode!~imode@unaffiliated/imode JOIN :#esoteric > 1548093289 65989 PRIVMSG #esoteric :14[[07Talk:CancelScript14]]4 10 02https://esolangs.org/w/index.php?diff=59351&oldid=59330 5* 03Bigmac 5* (+153) 10 < 1548094573 418273 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1548094731 597480 :MDude!~MDude@71.50.218.48 JOIN :#esoteric < 1548094732 337353 :MDead!~MDude@71.50.218.48 JOIN :#esoteric < 1548094949 140786 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1548094949 221227 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1548094949 221344 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1548095108 264805 PRIVMSG #esoteric :14[[07Funciton14]]4 10 02https://esolangs.org/w/index.php?diff=59352&oldid=59226 5* 03Qpliu 5* (-11) 10/* External resources */ < 1548095294 212775 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu JOIN :#esoteric > 1548097036 674016 PRIVMSG #esoteric :14[[07CancelScript14]]4 10 02https://esolangs.org/w/index.php?diff=59353&oldid=59350 5* 03Bigmac 5* (+7) 10 < 1548099094 854315 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :my hon. and learned friend fungot, what do you think of the red supermoon? < 1548099095 138135 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :b_jonas: i was not there, there is a much wider, fnord area, after a bill receives its funding, which will no doubt that that is the future, < 1548099195 102952 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It was cloudy where we were. < 1548099214 533708 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(After an entirely clear day, of course.) > 1548099287 99135 PRIVMSG #esoteric :14[[07Iterating quine14]]4 10 02https://esolangs.org/w/index.php?diff=59354&oldid=8392 5* 03B jonas 5* (+106) 10/* External resources */ < 1548099363 959740 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :wait... so after the bill receives funding, you'll be able to see the eclipse from a larger area? is the bill about a project for speeding up the rotation of Earth? < 1548099525 631653 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, it's the future. < 1548099644 723629 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :fizzie: the eclipse was mostly visible here in Budapest, but I was sleeping so I didn't see it < 1548100612 507984 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I totally missed it. -_- < 1548101084 101488 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :I just realized I should have been included let bindings in the definition of Ⅎ, what functional language is it without them? < 1548101167 628748 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru PRIVMSG #esoteric :also when I tested it writing some code, I really missed let bindings already, but then for some reason have forgotten that < 1548101290 703493 :jeb!~jeb@cpe-70-114-230-252.austin.res.rr.com JOIN :#esoteric < 1548101451 597271 :arseniiv!~arseniiv@77.79.140.88.dynamic.ufanet.ru QUIT :Ping timeout: 250 seconds > 1548103474 948312 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=59355&oldid=59331 5* 03Cortex 5* (+32) 10 < 1548104885 4609 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :arseniiv: don't worry, I've made that mistake once or twice. https://code.jsoftware.com/wiki/Scripts/Scheme is a small interpreter that has lambdas but no built-in let, which is inconvenient. < 1548105098 723347 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :arseniiv: the Wikiplia core language also has no built-in let, only a lambda and a one-level case that deconstructs a top level builtin constructor, but I believe the higher level language implements let using the case primitive and the list primitive (building a temporary list and deconstructing it immediately). < 1548105214 134425 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :arseniiv: Olvasható (my esolang) sort of has a problem with this too. the theory is that it has a case that you can use to deconstruct as much or as little as you want, so you can use it as a simple let statement, but that's only the theory, in practice the compiler doesn't always compile such case statements to proper let statements. < 1548105250 410445 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :in particular, the SML backend always emits a case statements, never a let statement. this wouldn't be hard to fix though. < 1548105281 967796 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :Obviously the other interpreter I pointed to could also be fixed to handle let. < 1548106204 714532 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :graph rewriting automata are wild. < 1548106456 945273 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :the connection/disconnection rules are interesting. the process for generating new nodes/graphs is equivalent to subdivision: take a node and turn it into 3 nodes. every node has 3 neighbors. > 1548106668 226431 PRIVMSG #esoteric :14[[07Hexomnia14]]4 10 02https://esolangs.org/w/index.php?diff=59356&oldid=59343 5* 03Cortex 5* (+120) 10 < 1548106691 668153 :MDude!~MDude@71.50.218.48 QUIT :Ping timeout: 268 seconds < 1548106765 805083 :MDead!~MDude@71.50.218.48 QUIT :Ping timeout: 268 seconds < 1548107273 712005 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I don't like the formalism too much. it makes too many assumptions on the "background". there has to be some space that the rewriting is taking place within. > 1548107994 465351 PRIVMSG #esoteric :14[[07User talk:BMO14]]4 10 02https://esolangs.org/w/index.php?diff=59357&oldid=59339 5* 03Cheddarmonk 5* (+219) 10 < 1548108217 336178 :jeb!~jeb@cpe-70-114-230-252.austin.res.rr.com PRIVMSG #esoteric :does anyone know where i can find a fresh interpreter for snowflake? < 1548108357 321596 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :I think you can do lambda calculus as graph rewriting < 1548109866 662874 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :you can. > 1548110042 541996 PRIVMSG #esoteric :14[[0711CORTLANG14]]4 10 02https://esolangs.org/w/index.php?diff=59358&oldid=59300 5* 03Cortex 5* (+124) 10 < 1548110348 445831 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I'm partial to things with a fixed background, or formalisms that can either be tied to a fixed background or a dynamic one. < 1548110599 755120 :jeb!~jeb@cpe-70-114-230-252.austin.res.rr.com QUIT :Quit: Leaving < 1548111407 316035 :moony!moony@hellomouse/dev/moony NICK :ynoom < 1548111700 540954 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Quit: Qutting < 1548113077 223271 :b_jonas!~x@catv-176-63-13-191.catv.broadband.hu PRIVMSG #esoteric :`olist 1152 < 1548113078 528734 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :olist 1152: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1548114084 682320 :AnotherTest!~turingcom@ptr-82l26ze7mm4q737w3j4.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 250 seconds