< 1721520060 913680 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: nice. make sure you test it well when you have the logic. < 1721520074 226036 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :how much of the logic do you have already? you say "central" is missing < 1721520161 271804 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 252 seconds > 1721520276 530049 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133668&oldid=133667 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+105) 10 > 1721520290 453604 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133669&oldid=133668 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+7) 10/* quirks */ > 1721520304 290780 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133670&oldid=133669 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+0) 10/* quirks */ < 1721520368 22707 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User > 1721522098 897256 PRIVMSG #esolangs :14[[07User:Gilbert189/Languages in concept14]]4 10 02https://esolangs.org/w/index.php?diff=133671&oldid=133425 5* 03Gilbert189 5* (+1883) 10/* Smalltalk-like version 2 */ < 1721522244 850771 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1721522273 612321 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Client Quit < 1721522276 585219 :amby!~ambylastn@2a00:23c5:ce05:7801:4a8c:6e6:7910:62f6 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 < 1721522777 438811 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1721522796 684923 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : Trying to decide whether FRACTRAN is an interesting Busy Beaver target or a distraction. Anybody worked with it before? ← it's basically a counter machine and I've worked with those a lot < 1721522827 937894 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but, Fractran programs generally only behave sensibly when written in factorized form (e.g. instead of 20/9, you would write 2²×5/3²) < 1721522860 346190 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I suspect The Waterfall Model is a bit more fundamental (because it compiles trivially into Fractran but not vice versa) < 1721522916 338242 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :both languages become TC off pretty small numbers of fractions/waterclocks (7), but at the expense of using large numbers in the triggers < 1721522992 926384 :ais523!~ais523@user/ais523 PRIVMSG #esolangs : Also, I noticed now that the Spiral Rise article links to the nonexistent article called Waterfall Construction Kit ← Waterfall Construction Kit is an esolang I designed to write one program – I then compiled the program by hand, and because I had written the program I needed, the language itself had neither a specification nor an implementation < 1721523002 203361 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: That makes sense. Well, my followup question applies to Waterfall just as well. What are the sizes of a Waterfall program? Is it the maximum starting clock and the width/height of the matrix? < 1721523004 744458 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I only designed just enough of the language to make the porgram work < 1721523022 921055 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: starting clock, trigger entry, matrix size (the matrix is always square) < 1721523066 860557 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :same thing happens with Fractran: starting value, numerator/denominator size, number of fractions (these directly correspond to the Waterfall concepts in my previous line) < 1721523182 259081 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Yeah, excellent. Between the two, it sounds like Waterfall would be the better pick for my Busy Beaver doc; I like nats more than rats, I guess. > 1721523271 513835 PRIVMSG #esolangs :14[[07$+-?14]]4 M10 02https://esolangs.org/w/index.php?diff=133672&oldid=133655 5* 03TheCanon2 5* (+197) 10Added Disan count < 1721523611 299104 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...I'm gonna have to write more than a few programs if I want this project to work. I indexed a lot of Brainfuck programs and did not find any that correspond to open maths problems in the right way. < 1721523641 74765 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :I did find a lot of Collatz implementations, which is good, but they're all cycle detectors for a single input. If I want it, I'll probably have to hack it myself. < 1721523750 66897 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: As long as you're nearby, I know you know tag systems well. It looks like their signature is (nat, set, set), so their size is presumably 3D and using the set cardinalities? < 1721523869 594982 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so tag systems are based around a skip distance, and a map from symbols to strings: the main relevant "size of the tag system" is based around the number of symbols and the lengths of the strings they map to < 1721523898 694481 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the skip distance doesn't seem to be a relevant indicator of complexity, in that you need longer strings to make a higher skip distance useful < 1721523926 814962 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it is probably easiest to fix it at 2; normally I write in 2-tag anyway < 1721524224 934387 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Hm. So where would complexity be smuggled? Is it string lengths or symbol count? < 1721524272 709333 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :either < 1721524283 943310 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :there are TC constructions for both low symbol count (5) and short strings (4) < 1721524316 294795 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but the strings are incredibly long when the symbol count is 5 (probably in the double- or triple-exponential range), and the short-string construction has 19 symbols > 1721524416 322170 PRIVMSG #esolangs :14[[07$+-?14]]4 M10 02https://esolangs.org/w/index.php?diff=133673&oldid=133672 5* 03TheCanon2 5* (+51) 10added info about the disan count < 1721525109 226145 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Okay, thanks. I'll have to think about this more, but it sounds like tag systems could offer another good gauge. < 1721525713 991048 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :korvo: so I haven't managed to implement the halting behaviour yet, but I managed to create the Hydra sequence in The Waterfall Model with 3 waterclocks: [[16,3, 3,3], [ 3,3, 0,6], [ 2,6, 3,0], [ 1,0,15,6]] < 1721525767 894977 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :the values of the first waterclock whenever the third becomes 2 for the first time in a while are 25 46 88 151 235 361 550 844 1285 … < 1721525796 692321 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :for each of those, add 38, divide by 21, and you get 3 4 6 9 13 19 28 42 63 … < 1721525871 176124 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :getting it to halt correctly could be awkward, thogh < 1721525872 704268 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :* though < 1721525986 789290 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :ais523: Oh wow, that's smaller than I would have expected. Very cool. < 1721526324 922152 :X-Scale!~X-Scale@31.22.160.71 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1721526524 724986 :ais523!~ais523@user/ais523 QUIT :Quit: sorry about my connection < 1721526538 391302 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1721526547 671360 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this has also made me realise that many simple variations on the Hydra rule (like changing the amount added to 3x when the input is of the form 2x+1) lead to the same sequence of parities, because you can use one rule ro simulate the other via appropriate translation and scaling > 1721526987 948271 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (N-S)14]]4 M10 02https://esolangs.org/w/index.php?diff=133674&oldid=131924 5* 03TheCanon2 5* (+821) 10Added Shinda Sakan < 1721527080 169777 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :a useful reference here is https://oeis.org/A061418 which has links to known results about the sequence in question – in particular it seems to have a closed form < 1721527143 769778 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :or, hmm, there's a constant factor which appears hard to calculate > 1721527250 114790 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (N-S)14]]4 M10 02https://esolangs.org/w/index.php?diff=133675&oldid=133674 5* 03TheCanon2 5* (+41) 10moved Shinda Sakana < 1721527504 817827 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection < 1721527533 972541 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 > 1721527564 742563 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (H-M)14]]4 M10 02https://esolangs.org/w/index.php?diff=133676&oldid=131514 5* 03TheCanon2 5* (+345) 10Added H > 1721527845 196733 PRIVMSG #esolangs :14[[07Hello world program in esoteric languages (nonalphabetic and A)14]]4 M10 02https://esolangs.org/w/index.php?diff=133677&oldid=131927 5* 03TheCanon2 5* (+359) 10Added $! and $+-? < 1721527852 559337 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :apparently Stephen Wolfram did an exhaustive search for nontrivial behaviour in small Minsky machines a while back, and found one that produces the Hydra sequence (although it never halts): https://www.wolframscience.com/nks/p100--register-machines/ < 1721528475 297257 :X-Scale!~X-Scale@31.22.160.71 QUIT :Quit: Client closed < 1721529099 344000 :impomatic!~impomatic@2a00:23c7:5fbd:8001:b13d:6bb3:5c3f:a57f QUIT :Ping timeout: 256 seconds < 1721529407 457585 :Everything!~Everythin@37.115.197.188 JOIN #esolangs * :Everything < 1721530696 912968 :X-Scale!~X-Scale@83.223.250.78 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1721531435 399567 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I don't like the new "gift" rule in Magic: the Gathering. I think better would be like "gift--draw a card", "gift--create a Food token", etc, instead. Also, I think it would be better to fix the rules that spell abilities can be used on permanent spells, instead of working differently for permanent spells and other spells. < 1721531856 253116 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :storm works the same way on permanent and non-permanent spells, doesn't it? < 1721531860 230061 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(although the copies resolve differently) < 1721531994 713591 :Everything!~Everythin@37.115.197.188 QUIT :Quit: leaving < 1721532049 964055 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat > 1721533524 700841 PRIVMSG #esolangs :14[[07User:TheCanon214]]4 M10 02https://esolangs.org/w/index.php?diff=133678&oldid=133491 5* 03TheCanon2 5* (+22) 10had a new idea < 1721533973 258063 :ais523!~ais523@user/ais523 QUIT :Quit: quit > 1721535198 707924 PRIVMSG #esolangs :14[[07W.W.E14]]4 N10 02https://esolangs.org/w/index.php?oldid=133679 5* 03TheCanon2 5* (+1152) 10Created page with "'''W.W.E''' (World's Worst Esolang) is a programming language created by [[User:TheCanon2]] that can only do [[Popular problem|popular problems]]. ==Commands== W.W.E programs are read in nibbles. W.W.E has 15 commands. {|class="wikitable" ! Opcode !! Symbol !! Action | > 1721536668 733868 PRIVMSG #esolangs :14[[07Talk:Brainfuck is not turing complete14]]4 10 02https://esolangs.org/w/index.php?diff=133680&oldid=133651 5* 03None1 5* (+178) 10 < 1721540971 968423 :X-Scale!~X-Scale@83.223.250.78 QUIT :Quit: Client closed < 1721544542 53811 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: "central" is just responsible for controlling the requested shape and the release of items after the shape and color select stage, and delivery to the hub. I've done that with a few buttons for testing. < 1721544680 64481 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So essentially this https://int-e.eu/~bf3/tree-mam/#hub < 1721544934 82913 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( The only air-gapped cloud devices I recognize are balloons, helicopters, and airplances. ) < 1721545954 442274 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1721546614 635711 PRIVMSG #esolangs :14[[07Talk:Chicken14]]4 10 02https://esolangs.org/w/index.php?diff=133681&oldid=114192 5* 03HammyHammerhead 5* (+51) 10/* Chicken. */ new section > 1721546633 536619 PRIVMSG #esolangs :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=133682&oldid=133576 5* 03Gggfr 5* (+341) 10/* Random Observations and Guesses */ > 1721546717 514766 PRIVMSG #esolangs :14[[07Talk:Not a brainfuck derivative14]]4 10 02https://esolangs.org/w/index.php?diff=133683&oldid=89057 5* 03HammyHammerhead 5* (+87) 10/* Note */ new section > 1721546746 941903 PRIVMSG #esolangs :14[[07Talk:Burn14]]4 10 02https://esolangs.org/w/index.php?diff=133684&oldid=133682 5* 03Gggfr 5* (+23) 10/* a tape */ > 1721547057 435968 PRIVMSG #esolangs :14[[07Talk:Bring to another14]]4 N10 02https://esolangs.org/w/index.php?oldid=133685 5* 03Gggfr 5* (+0) 10Created blank page < 1721547366 625098 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1721547437 558520 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse > 1721547936 55183 PRIVMSG #esolangs :14[[07()NEST()14]]4 10 02https://esolangs.org/w/index.php?diff=133686&oldid=133649 5* 03Gggfr 5* (+8) 10 > 1721547962 780301 PRIVMSG #esolangs :14[[07()NEST()14]]4 10 02https://esolangs.org/w/index.php?diff=133687&oldid=133686 5* 03Gggfr 5* (+2) 10/* examples */ > 1721547992 521145 PRIVMSG #esolangs :14[[07Looping counter14]]4 10 02https://esolangs.org/w/index.php?diff=133688&oldid=133652 5* 03Gggfr 5* (+12) 10/* ()NEST() */ > 1721548044 966369 PRIVMSG #esolangs :14[[07Looping counter14]]4 10 02https://esolangs.org/w/index.php?diff=133689&oldid=133688 5* 03Gggfr 5* (-1) 10/* REG.TYPE = STR TRUE */ > 1721548079 76309 PRIVMSG #esolangs :14[[07REG.TYPE = STR TRUE14]]4 10 02https://esolangs.org/w/index.php?diff=133690&oldid=133647 5* 03Gggfr 5* (-1) 10 > 1721548320 850469 PRIVMSG #esolangs :14[[07MetaGlow14]]4 10 02https://esolangs.org/w/index.php?diff=133691&oldid=72959 5* 03Gggfr 5* (+0) 10 < 1721548592 222617 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1721548629 184021 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds < 1721548674 403475 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1721549127 557647 PRIVMSG #esolangs :14[[07XUS14]]4 10 02https://esolangs.org/w/index.php?diff=133692&oldid=133595 5* 03Gggfr 5* (+18) 10/* examples */ > 1721549169 816575 PRIVMSG #esolangs :14[[07Looping counter14]]4 10 02https://esolangs.org/w/index.php?diff=133693&oldid=133689 5* 03Gggfr 5* (+107) 10 > 1721549461 250496 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Galvandi 5* 10New user account > 1721550482 4127 PRIVMSG #esolangs :14[[07Signle14]]4 N10 02https://esolangs.org/w/index.php?oldid=133694 5* 03Gggfr 5* (+900) 10Created page with "'''Signle''' is a esolang with only one function made by [[User:Yayimhere]]. The name comes from a typo of the word single cuz its a single function. == the function == There os a single function. The ! function. It tales input as a string. Lets say we pass it > 1721550585 715315 PRIVMSG #esolangs :14[[07Signle14]]4 10 02https://esolangs.org/w/index.php?diff=133695&oldid=133694 5* 03Gggfr 5* (+73) 10 < 1721551204 993689 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 260 seconds < 1721552833 396936 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1721553302 255239 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1721553563 594707 PRIVMSG #esolangs :14[[07Signle14]]4 10 02https://esolangs.org/w/index.php?diff=133696&oldid=133695 5* 03Gggfr 5* (+2) 10/* examples */ < 1721553802 13876 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1721553980 945372 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat < 1721554648 940273 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 245 seconds < 1721555076 661941 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1721555963 959092 :X-Scale!~X-Scale@31.22.160.73 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1721558288 992583 :amby!~ambylastn@2a00:23c5:ce05:7801:e6a2:e8a6:1625:c1a4 JOIN #esolangs * :realname < 1721559649 961396 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat < 1721559919 110725 :APic!apic@apic.name PRIVMSG #esolangs :Hi < 1721560250 526085 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Hi APic. What's up? < 1721560297 876477 :APic!apic@apic.name PRIVMSG #esolangs :cpressey: The Sky < 1721560300 776177 :APic!apic@apic.name PRIVMSG #esolangs :Aaaand the Ceiling < 1721560302 521398 :APic!apic@apic.name PRIVMSG #esolangs :😌 < 1721560305 388699 :APic!apic@apic.name PRIVMSG #esolangs :Hail Eris! 😇 < 1721560944 870460 :X-Scale!~X-Scale@31.22.160.73 QUIT :Quit: Client closed < 1721561949 965248 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 260 seconds > 1721562864 858795 PRIVMSG #esolangs :14[[07User:HammyHammerhead14]]4 10 02https://esolangs.org/w/index.php?diff=133697&oldid=133575 5* 03HammyHammerhead 5* (+33) 10Do I really have to put something here? > 1721562892 350491 PRIVMSG #esolangs :14[[07Talk:14]]4 10 02https://esolangs.org/w/index.php?diff=133698&oldid=133573 5* 03HammyHammerhead 5* (+49) 10/* hi */ new section > 1721562950 12941 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133699&oldid=133606 5* 03HammyHammerhead 5* (+4) 10User link > 1721563001 981205 PRIVMSG #esolangs :14[[07Talk:Assembly14]]4 N10 02https://esolangs.org/w/index.php?oldid=133700 5* 03PrySigneToFry 5* (+425) 10/* WIP */ new section > 1721563311 470864 PRIVMSG #esolangs :14[[07User:HammyHammerhead14]]4 10 02https://esolangs.org/w/index.php?diff=133701&oldid=133697 5* 03HammyHammerhead 5* (+2) 10/* My esolangs */ Added a bullet point < 1721563384 991444 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 260 seconds < 1721563520 880251 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User < 1721563621 685643 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1721564432 961239 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat < 1721564890 3551 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 260 seconds < 1721566305 911124 :X-Scale!~X-Scale@31.22.145.131 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale > 1721567116 155897 PRIVMSG #esolangs :14[[07Category talk:202414]]4 N10 02https://esolangs.org/w/index.php?oldid=133702 5* 03HammyHammerhead 5* (+0) 10Created blank page < 1721568051 960576 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1721568505 355407 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1721569049 347258 :X-Scale!~X-Scale@31.22.145.131 QUIT :Ping timeout: 256 seconds > 1721573369 517819 PRIVMSG #esolangs :14[[07W.W.E14]]4 10 02https://esolangs.org/w/index.php?diff=133703&oldid=133679 5* 03TheCanon2 5* (+2891) 10Completed the article > 1721574712 410865 PRIVMSG #esolangs :14[[07$+-?14]]4 M10 02https://esolangs.org/w/index.php?diff=133704&oldid=133673 5* 03TheCanon2 5* (+58) 10redid disan count < 1721575929 372400 :__monty__!~toonn@user/toonn QUIT :Ping timeout: 276 seconds < 1721576209 960507 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat < 1721576224 966776 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1721580391 453665 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1721580700 149846 PRIVMSG #esolangs :14[[07Looping counter14]]4 M10 02https://esolangs.org/w/index.php?diff=133705&oldid=133693 5* 03PythonshellDebugwindow 5* (+4) 10/* XUS */ Link < 1721581518 436628 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1721581794 991837 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 260 seconds < 1721582058 943849 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1721582090 537507 PRIVMSG #esolangs :14[[07User:HammyHammerhead14]]4 10 02https://esolangs.org/w/index.php?diff=133706&oldid=133701 5* 03HammyHammerhead 5* (+13) 10Added section > 1721582103 177901 PRIVMSG #esolangs :14[[07User:HammyHammerhead14]]4 10 02https://esolangs.org/w/index.php?diff=133707&oldid=133706 5* 03HammyHammerhead 5* (+3) 10Fixed error < 1721582287 64898 :Ae!Ae@linux.touz.org QUIT :Quit: Bye < 1721582374 204783 :Ae!Ae@linux.touz.org JOIN #esolangs * :Ae < 1721582637 582864 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1721583126 238962 PRIVMSG #esolangs :14[[07XUS14]]4 M10 02https://esolangs.org/w/index.php?diff=133708&oldid=133692 5* 03PythonshellDebugwindow 5* (+24) 10Category > 1721583232 28152 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=133709&oldid=133480 5* 03Unicodes 5* (+27) 10 > 1721583336 914857 PRIVMSG #esolangs :14[[07User:Unicodes14]]4 10 02https://esolangs.org/w/index.php?diff=133710&oldid=133415 5* 03Unicodes 5* (-354) 10/* self-repeat */ > 1721583533 757698 PRIVMSG #esolangs :14[[07()NEST()14]]4 10 02https://esolangs.org/w/index.php?diff=133711&oldid=133687 5* 03Gggfr 5* (+24) 10 > 1721583585 383501 PRIVMSG #esolangs :14[[07DQ14]]4 10 02https://esolangs.org/w/index.php?diff=133712&oldid=127953 5* 03Gggfr 5* (-5) 10/* esolang overview */ > 1721583651 236321 PRIVMSG #esolangs :14[[07Talk:DQ14]]4 N10 02https://esolangs.org/w/index.php?oldid=133713 5* 03Gggfr 5* (+144) 10Created page with "This begins to look like a [[Minsky machine]] the more i look at it -x-~~~~" > 1721583741 817338 PRIVMSG #esolangs :14[[07Talk:DQ14]]4 10 02https://esolangs.org/w/index.php?diff=133714&oldid=133713 5* 03Gggfr 5* (+49) 10 > 1721583761 536891 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=133715&oldid=133543 5* 03Unicodes 5* (+103) 10 > 1721583788 885783 PRIVMSG #esolangs :14[[07User talk:/w/wiki/index.php/Talk:index.php/Main page14]]4 10 02https://esolangs.org/w/index.php?diff=133716&oldid=133715 5* 03Unicodes 5* (+22) 10 > 1721583919 643923 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133717&oldid=133437 5* 03Unicodes 5* (+55) 10/* self-repeat */ > 1721584298 117615 PRIVMSG #esolangs :14[[07DQ14]]4 N10 02https://esolangs.org/w/index.php?oldid=133718 5* 03Gggfr 5* (+537) 10Created page with "'''DQ''' or NDQ is a extension of [[DQ]] that can simulate a [[minsky machine]]. Its also created by [[User:yayimhere]] === memory === memory is now stored in 2(!) stacks. These works like the registers === additions === These commands has been added {| class="wikitable" |+ Add > 1721584335 727350 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133719&oldid=133670 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+19) 10/* quirks */ > 1721584341 141373 PRIVMSG #esolangs :14[[07DQ14]]4 10 02https://esolangs.org/w/index.php?diff=133720&oldid=133718 5* 03Gggfr 5* (+9) 10 > 1721584536 810012 PRIVMSG #esolangs :14[[07User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff14]]4 10 02https://esolangs.org/w/index.php?diff=133721&oldid=132712 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+33) 10 < 1721584695 131594 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat > 1721584748 630607 PRIVMSG #esolangs :14[[07$+-?14]]4 M10 02https://esolangs.org/w/index.php?diff=133722&oldid=133704 5* 03TheCanon2 5* (+105) 10print the latin alphabet < 1721585136 301543 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :It's a trivial observation but if the only way to create a lambda term in your language is from an AST for a lambda term, then the lambda terms can be assumed to have their variables bound correctly, because your AST->lambda term translation phase is responsible for doing that correctly. < 1721585421 329453 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Now, I don't really know how that insight helps me, right now, but there it is. I suppose I need to be more concerned with whether the variable references in the AST make sense. Need to use something like Abstract Binding Trees instead. < 1721585590 621751 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :it's not immediately clear to me what incorrectly bound variables would be < 1721585699 85562 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 255 seconds < 1721585977 832878 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, this really just raises the binding problem up to the ABT. One still needs a way to designate where the new lambda's variable would go when filled in. < 1721586001 917090 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :So the lambda constructor must take *open* lambda terms and return *closed* terms. < 1721586041 336346 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And this means that you end up with two flavors of terms, open and closed, all through the AST. The ABT organizes all of this and provides a clean semantics for the substitution that the lambda constructor must perform. < 1721586087 299743 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Another way of putting this is that we can get UTT with, um, I guess a trivial open term, application of terms, and the standard ABT machinery. < 1721586110 945632 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :*ULC, sheesh. Spending too much time in ##dependent. < 1721586320 251811 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...Oh, since ABTs aren't easy to search for: an Abstract Binding Tree is like an AST, but it can have named open holes where other ASTs would go. It can be typed. It's kind of like lambda calculus on AST fragments. < 1721586359 756280 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :A closed ABT is just an AST. An open ABT, plus a map from its open names to ASTs, is also just an AST. < 1721586563 119900 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat < 1721586676 959615 :Thelie!~Thelie@2a03:9b40:237e:e600:89e7:6bc1:54f:170 JOIN #esolangs Thelie :Thelie < 1721586732 922009 :X-Scale!~X-Scale@83.223.250.78 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1721586902 378638 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1721587967 88196 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 255 seconds < 1721588117 485522 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1721588657 6695 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat < 1721588969 930900 :X-Scale26!~X-Scale@83.223.250.78 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1721589039 728621 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1721589143 345528 :X-Scale!~X-Scale@83.223.250.78 QUIT :Ping timeout: 256 seconds < 1721589468 59432 :X-Scale!~X-Scale@83.223.250.78 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale < 1721589599 992626 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 260 seconds < 1721589687 345069 :X-Scale26!~X-Scale@83.223.250.78 QUIT :Ping timeout: 256 seconds < 1721589863 545003 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1721590127 443547 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat < 1721591145 3168 :ais523!~ais523@user/ais523 QUIT :Quit: quit < 1721591428 104954 :DHeadshot!~DHeadshot@cpc82623-woki8-2-0-cust106.6-2.cable.virginm.net JOIN #esolangs DHeadshot :Deadly Headshot < 1721593737 632240 :X-Scale!~X-Scale@83.223.250.78 QUIT :Quit: Client closed > 1721593884 463706 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=133723&oldid=96946 5* 03TheCanon2 5* (+715) 10Added an implementation section since the implementation page doesn't exist > 1721594149 541010 PRIVMSG #esolangs :14[[07PTSL14]]4 M10 02https://esolangs.org/w/index.php?diff=133724&oldid=66874 5* 03PythonshellDebugwindow 5* (+99) 10Categories < 1721594523 756088 :Lymia!lymia@ayame.servers.aura.moe QUIT :Quit: zzzz <3 < 1721594599 516397 :Lymia!~lymia@ayame.servers.aura.moe JOIN #esolangs Lymia :Lymia Aluysia < 1721594688 461455 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 276 seconds < 1721594711 959903 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat > 1721594769 434119 PRIVMSG #esolangs :14[[077 bottles of tommyaweosme14]]4 10 02https://esolangs.org/w/index.php?diff=133725&oldid=129775 5* 03TheCanon2 5* (+363) 10Added Python implementation > 1721595249 747320 PRIVMSG #esolangs :14[[07User:Tommyaweosme/function14]]4 10 02https://esolangs.org/w/index.php?diff=133726&oldid=129770 5* 03TheCanon2 5* (+257) 10Added a section for implementations > 1721595638 842859 PRIVMSG #esolangs :14[[07User:Tommyaweosme/function14]]4 M10 02https://esolangs.org/w/index.php?diff=133727&oldid=133726 5* 03TheCanon2 5* (+198) 10Added other implementation > 1721595950 247468 PRIVMSG #esolangs :14[[07User:Tommyaweosme/constant14]]4 10 02https://esolangs.org/w/index.php?diff=133728&oldid=129772 5* 03TheCanon2 5* (+196) 10Added an Implementations section > 1721596060 702821 PRIVMSG #esolangs :14[[07Aweosme-complete14]]4 M10 02https://esolangs.org/w/index.php?diff=133729&oldid=130284 5* 03TheCanon2 5* (+69) 10info < 1721596371 874825 :Thelie!~Thelie@2a03:9b40:237e:e600:89e7:6bc1:54f:170 QUIT :Remote host closed the connection < 1721597654 669015 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1721598172 27329 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1721599183 625458 :DHeadshot!~DHeadshot@cpc82623-woki8-2-0-cust106.6-2.cable.virginm.net QUIT :Remote host closed the connection < 1721599196 299777 :salpynx!~salpynx@161.29.23.120 JOIN #esolangs salpynx :realname > 1721599404 41846 PRIVMSG #esolangs :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=133730&oldid=133523 5* 03TheCanon2 5* (+165) 10Added Sakana and $+-? to the list < 1721600033 316026 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity > 1721600423 163328 PRIVMSG #esolangs :14[[07Aweosme-complete14]]4 10 02https://esolangs.org/w/index.php?diff=133731&oldid=133729 5* 03Tommyaweosme 5* (-69) 10brainfuck, javascript, every turing-complete language with print capabilities, c++, conways game of life, befunge, and way way more. just python is a very wrong assumption > 1721600960 898730 PRIVMSG #esolangs :14[[07Brainfuck is not turing complete14]]4 10 02https://esolangs.org/w/index.php?diff=133732&oldid=132819 5* 03Tommyaweosme 5* (+35) 10now its not misleading. what do you want next? > 1721600985 641811 PRIVMSG #esolangs :14[[07Brainfuck is not turing complete14]]4 M10 02https://esolangs.org/w/index.php?diff=133733&oldid=133732 5* 03Tommyaweosme 5* (+1) 10newline spacing > 1721603728 835815 PRIVMSG #esolangs :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=133734&oldid=133730 5* 03TheCanon2 5* (+30) 10/* wsad */ Added W.W.E to the list in an unconventional way > 1721603974 33106 PRIVMSG #esolangs :14[[07Sakana14]]4 M10 02https://esolangs.org/w/index.php?diff=133735&oldid=133640 5* 03TheCanon2 5* (+72) 10Added categories > 1721605157 142872 PRIVMSG #esolangs :14[[07A+B Problem14]]4 M10 02https://esolangs.org/w/index.php?diff=133736&oldid=132564 5* 03TheCanon2 5* (+87) 10/* 1 */ Added $+-? to the list in an unconventional manner > 1721605269 614571 PRIVMSG #esolangs :14[[07A+B Problem14]]4 M10 02https://esolangs.org/w/index.php?diff=133737&oldid=133736 5* 03TheCanon2 5* (+78) 10/* Headache (lang that compiles to brainfuck) */ Added H with Line Below to the list in an unconventional manner (for my poor internet connection) < 1721605782 899814 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Quit: ZNC 1.8.2 - https://znc.in < 1721605930 118109 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron