00:01:00 int-e: nice. make sure you test it well when you have the logic. 00:01:14 how much of the logic do you have already? you say "central" is missing 00:02:41 -!- mtm has quit (Ping timeout: 252 seconds). 00:04:36 [[]] https://esolangs.org/w/index.php?diff=133668&oldid=133667 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+105) 00:04:50 [[]] https://esolangs.org/w/index.php?diff=133669&oldid=133668 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+7) /* quirks */ 00:05:04 [[]] https://esolangs.org/w/index.php?diff=133670&oldid=133669 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+0) /* quirks */ 00:06:08 -!- mtm has joined. 00:34:58 [[User:Gilbert189/Languages in concept]] https://esolangs.org/w/index.php?diff=133671&oldid=133425 * Gilbert189 * (+1883) /* Smalltalk-like version 2 */ 00:37:24 -!- tromp has joined. 00:37:53 -!- tromp has quit (Client Quit). 00:37:56 -!- amby has 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). 00:46:17 -!- ais523 has joined. 00:46:36 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 00:47:07 but, Fractran programs generally only behave sensibly when written in factorized form (e.g. instead of 20/9, you would write 2²×5/3²) 00:47:40 I suspect The Waterfall Model is a bit more fundamental (because it compiles trivially into Fractran but not vice versa) 00:48:36 both languages become TC off pretty small numbers of fractions/waterclocks (7), but at the expense of using large numbers in the triggers 00:49:52 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 00:50:02 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? 00:50:04 I only designed just enough of the language to make the porgram work 00:50:22 korvo: starting clock, trigger entry, matrix size (the matrix is always square) 00:51:06 same thing happens with Fractran: starting value, numerator/denominator size, number of fractions (these directly correspond to the Waterfall concepts in my previous line) 00:53:02 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. 00:54:31 [[$+-?]] M https://esolangs.org/w/index.php?diff=133672&oldid=133655 * TheCanon2 * (+197) Added Disan count 01:00:11 ...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. 01:00:41 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. 01:02:30 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? 01:04:29 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 01:04:58 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 01:05:26 it is probably easiest to fix it at 2; normally I write in 2-tag anyway 01:10:24 Hm. So where would complexity be smuggled? Is it string lengths or symbol count? 01:11:12 either 01:11:23 there are TC constructions for both low symbol count (5) and short strings (4) 01:11:56 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 01:13:36 [[$+-?]] M https://esolangs.org/w/index.php?diff=133673&oldid=133672 * TheCanon2 * (+51) added info about the disan count 01:25:09 Okay, thanks. I'll have to think about this more, but it sounds like tag systems could offer another good gauge. 01:35:13 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]] 01:36:07 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 … 01:36:36 for each of those, add 38, divide by 21, and you get 3 4 6 9 13 19 28 42 63 … 01:37:51 getting it to halt correctly could be awkward, thogh 01:37:52 * though 01:39:46 ais523: Oh wow, that's smaller than I would have expected. Very cool. 01:45:24 -!- X-Scale has joined. 01:48:44 -!- ais523 has quit (Quit: sorry about my connection). 01:48:58 -!- ais523 has joined. 01:49:07 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 01:56:27 [[Hello world program in esoteric languages (N-S)]] M https://esolangs.org/w/index.php?diff=133674&oldid=131924 * TheCanon2 * (+821) Added Shinda Sakan 01:58:00 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 01:59:03 or, hmm, there's a constant factor which appears hard to calculate 02:00:50 [[Hello world program in esoteric languages (N-S)]] M https://esolangs.org/w/index.php?diff=133675&oldid=133674 * TheCanon2 * (+41) moved Shinda Sakana 02:05:04 -!- op_4 has quit (Remote host closed the connection). 02:05:33 -!- op_4 has joined. 02:06:04 [[Hello world program in esoteric languages (H-M)]] M https://esolangs.org/w/index.php?diff=133676&oldid=131514 * TheCanon2 * (+345) Added H 02:10:45 [[Hello world program in esoteric languages (nonalphabetic and A)]] M https://esolangs.org/w/index.php?diff=133677&oldid=131927 * TheCanon2 * (+359) Added $! and $+-? 02:10:52 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/ 02:21:15 -!- X-Scale has quit (Quit: Client closed). 02:31:39 -!- impomatic has quit (Ping timeout: 256 seconds). 02:36:47 -!- Everything has joined. 02:58:16 -!- X-Scale has joined. 03:10:35 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. 03:17:36 storm works the same way on permanent and non-permanent spells, doesn't it? 03:17:40 (although the copies resolve differently) 03:19:54 -!- Everything has quit (Quit: leaving). 03:20:49 -!- cpressey has joined. 03:45:24 [[User:TheCanon2]] M https://esolangs.org/w/index.php?diff=133678&oldid=133491 * TheCanon2 * (+22) had a new idea 03:52:53 -!- ais523 has quit (Quit: quit). 04:13:18 [[W.W.E]] N https://esolangs.org/w/index.php?oldid=133679 * TheCanon2 * (+1152) Created 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 | 04:37:48 [[Talk:Brainfuck is not turing complete]] https://esolangs.org/w/index.php?diff=133680&oldid=133651 * None1 * (+178) 05:49:31 -!- X-Scale has quit (Quit: Client closed). 06:49:02 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. 06:51:20 So essentially this https://int-e.eu/~bf3/tree-mam/#hub 06:55:34 . o O ( The only air-gapped cloud devices I recognize are balloons, helicopters, and airplances. ) 07:12:34 -!- tromp has joined. 07:23:34 [[Talk:Chicken]] https://esolangs.org/w/index.php?diff=133681&oldid=114192 * HammyHammerhead * (+51) /* Chicken. */ new section 07:23:53 [[Talk:Burn]] https://esolangs.org/w/index.php?diff=133682&oldid=133576 * Gggfr * (+341) /* Random Observations and Guesses */ 07:25:17 [[Talk:Not a brainfuck derivative]] https://esolangs.org/w/index.php?diff=133683&oldid=89057 * HammyHammerhead * (+87) /* Note */ new section 07:25:46 [[Talk:Burn]] https://esolangs.org/w/index.php?diff=133684&oldid=133682 * Gggfr * (+23) /* a tape */ 07:30:57 [[Talk:Bring to another]] N https://esolangs.org/w/index.php?oldid=133685 * Gggfr * (+0) Created blank page 07:36:06 -!- chiselfuse has quit (Remote host closed the connection). 07:37:17 -!- chiselfuse has joined. 07:45:36 [[()NEST()]] https://esolangs.org/w/index.php?diff=133686&oldid=133649 * Gggfr * (+8) 07:46:02 [[()NEST()]] https://esolangs.org/w/index.php?diff=133687&oldid=133686 * Gggfr * (+2) /* examples */ 07:46:32 [[Looping counter]] https://esolangs.org/w/index.php?diff=133688&oldid=133652 * Gggfr * (+12) /* ()NEST() */ 07:47:24 [[Looping counter]] https://esolangs.org/w/index.php?diff=133689&oldid=133688 * Gggfr * (-1) /* REG.TYPE = STR TRUE */ 07:47:59 [[REG.TYPE = STR TRUE]] https://esolangs.org/w/index.php?diff=133690&oldid=133647 * Gggfr * (-1) 07:52:00 [[MetaGlow]] https://esolangs.org/w/index.php?diff=133691&oldid=72959 * Gggfr * (+0) 07:56:32 -!- Lord_of_Life_ has joined. 07:57:09 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 07:57:54 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 08:05:27 [[XUS]] https://esolangs.org/w/index.php?diff=133692&oldid=133595 * Gggfr * (+18) /* examples */ 08:06:09 [[Looping counter]] https://esolangs.org/w/index.php?diff=133693&oldid=133689 * Gggfr * (+107) 08:11:01 [[Special:Log/newusers]] create * Galvandi * New user account 08:28:02 [[Signle]] N https://esolangs.org/w/index.php?oldid=133694 * Gggfr * (+900) Created 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 08:29:45 [[Signle]] https://esolangs.org/w/index.php?diff=133695&oldid=133694 * Gggfr * (+73) 08:40:04 -!- cpressey has quit (Ping timeout: 260 seconds). 09:07:13 -!- __monty__ has joined. 09:15:02 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:19:23 [[Signle]] https://esolangs.org/w/index.php?diff=133696&oldid=133695 * Gggfr * (+2) /* examples */ 09:23:22 -!- tromp has joined. 09:26:20 -!- cpressey has joined. 09:37:28 -!- cpressey has quit (Ping timeout: 245 seconds). 09:44:36 -!- Sgeo has quit (Read error: Connection reset by peer). 09:59:23 -!- X-Scale has joined. 10:38:08 -!- amby has joined. 11:00:49 -!- cpressey has joined. 11:05:19 Hi 11:10:50 Hi APic. What's up? 11:11:37 cpressey: The Sky 11:11:40 Aaaand the Ceiling 11:11:42 😌 11:11:45 Hail Eris! 😇 11:22:24 -!- X-Scale has quit (Quit: Client closed). 11:39:09 -!- cpressey has quit (Ping timeout: 260 seconds). 11:54:24 [[User:HammyHammerhead]] https://esolangs.org/w/index.php?diff=133697&oldid=133575 * HammyHammerhead * (+33) Do I really have to put something here? 11:54:52 [[Talk:]] https://esolangs.org/w/index.php?diff=133698&oldid=133573 * HammyHammerhead * (+49) /* hi */ new section 11:55:50 [[]] https://esolangs.org/w/index.php?diff=133699&oldid=133606 * HammyHammerhead * (+4) User link 11:56:41 [[Talk:Assembly]] N https://esolangs.org/w/index.php?oldid=133700 * PrySigneToFry * (+425) /* WIP */ new section 12:01:51 [[User:HammyHammerhead]] https://esolangs.org/w/index.php?diff=133701&oldid=133697 * HammyHammerhead * (+2) /* My esolangs */ Added a bullet point 12:03:04 -!- mtm has quit (Ping timeout: 260 seconds). 12:05:20 -!- mtm has joined. 12:07:01 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 12:20:32 -!- cpressey has joined. 12:28:10 -!- cpressey has quit (Ping timeout: 260 seconds). 12:51:45 -!- X-Scale has joined. 13:05:16 [[Category talk:2024]] N https://esolangs.org/w/index.php?oldid=133702 * HammyHammerhead * (+0) Created blank page 13:20:51 -!- ais523 has joined. 13:28:25 -!- tromp has joined. 13:37:29 -!- X-Scale has quit (Ping timeout: 256 seconds). 14:49:29 [[W.W.E]] https://esolangs.org/w/index.php?diff=133703&oldid=133679 * TheCanon2 * (+2891) Completed the article 15:11:52 [[$+-?]] M https://esolangs.org/w/index.php?diff=133704&oldid=133673 * TheCanon2 * (+58) redid disan count 15:32:09 -!- __monty__ has quit (Ping timeout: 276 seconds). 15:36:49 -!- cpressey has joined. 15:37:04 -!- __monty__ has joined. 16:46:31 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:51:40 [[Looping counter]] M https://esolangs.org/w/index.php?diff=133705&oldid=133693 * PythonshellDebugwindow * (+4) /* XUS */ Link 17:05:18 -!- tromp has joined. 17:09:54 -!- cpressey has quit (Ping timeout: 260 seconds). 17:14:18 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 17:14:50 [[User:HammyHammerhead]] https://esolangs.org/w/index.php?diff=133706&oldid=133701 * HammyHammerhead * (+13) Added section 17:15:03 [[User:HammyHammerhead]] https://esolangs.org/w/index.php?diff=133707&oldid=133706 * HammyHammerhead * (+3) Fixed error 17:18:07 -!- Ae has quit (Quit: Bye). 17:19:34 -!- Ae has joined. 17:23:57 -!- tromp has joined. 17:32:06 [[XUS]] M https://esolangs.org/w/index.php?diff=133708&oldid=133692 * PythonshellDebugwindow * (+24) Category 17:33:52 [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=133709&oldid=133480 * Unicodes * (+27) 17:35:36 [[User:Unicodes]] https://esolangs.org/w/index.php?diff=133710&oldid=133415 * Unicodes * (-354) /* self-repeat */ 17:38:53 [[()NEST()]] https://esolangs.org/w/index.php?diff=133711&oldid=133687 * Gggfr * (+24) 17:39:45 [[DQ]] https://esolangs.org/w/index.php?diff=133712&oldid=127953 * Gggfr * (-5) /* esolang overview */ 17:40:51 [[Talk:DQ]] N https://esolangs.org/w/index.php?oldid=133713 * Gggfr * (+144) Created page with "This begins to look like a [[Minsky machine]] the more i look at it -x-~~~~" 17:42:21 [[Talk:DQ]] https://esolangs.org/w/index.php?diff=133714&oldid=133713 * Gggfr * (+49) 17:42:41 [[User talk:/w/wiki/index.php/Talk:index.php/Main page]] https://esolangs.org/w/index.php?diff=133715&oldid=133543 * Unicodes * (+103) 17:43:08 [[User talk:/w/wiki/index.php/Talk:index.php/Main page]] https://esolangs.org/w/index.php?diff=133716&oldid=133715 * Unicodes * (+22) 17:45:19 [[]] https://esolangs.org/w/index.php?diff=133717&oldid=133437 * Unicodes * (+55) /* self-repeat */ 17:51:38 [[DQ]] N https://esolangs.org/w/index.php?oldid=133718 * Gggfr * (+537) Created 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 17:52:15 [[]] https://esolangs.org/w/index.php?diff=133719&oldid=133670 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+19) /* quirks */ 17:52:21 [[DQ]] https://esolangs.org/w/index.php?diff=133720&oldid=133718 * Gggfr * (+9) 17:55:36 [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=133721&oldid=132712 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+33) 17:58:15 -!- cpressey has joined. 17:59:08 [[$+-?]] M https://esolangs.org/w/index.php?diff=133722&oldid=133704 * TheCanon2 * (+105) print the latin alphabet 18:05:36 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. 18:10:21 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. 18:13:10 it's not immediately clear to me what incorrectly bound variables would be 18:14:59 -!- cpressey has quit (Ping timeout: 255 seconds). 18:19:37 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. 18:20:01 So the lambda constructor must take *open* lambda terms and return *closed* terms. 18:20:41 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. 18:21:27 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. 18:21:50 *ULC, sheesh. Spending too much time in ##dependent. 18:25:20 ...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. 18:25:59 A closed ABT is just an AST. An open ABT, plus a map from its open names to ASTs, is also just an AST. 18:29:23 -!- cpressey has joined. 18:31:16 -!- Thelie has joined. 18:32:12 -!- X-Scale has joined. 18:35:02 -!- Sgeo has joined. 18:52:47 -!- cpressey has quit (Ping timeout: 255 seconds). 18:55:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 19:04:17 -!- cpressey has joined. 19:09:29 -!- X-Scale26 has joined. 19:10:39 -!- tromp has joined. 19:12:23 -!- X-Scale has quit (Ping timeout: 256 seconds). 19:17:48 -!- X-Scale has joined. 19:19:59 -!- cpressey has quit (Ping timeout: 260 seconds). 19:21:27 -!- X-Scale26 has quit (Ping timeout: 256 seconds). 19:24:23 -!- SGautam has joined. 19:28:47 -!- cpressey has joined. 19:45:45 -!- ais523 has quit (Quit: quit). 19:50:28 -!- DHeadshot has joined. 20:28:57 -!- X-Scale has quit (Quit: Client closed). 20:31:24 [[]] https://esolangs.org/w/index.php?diff=133723&oldid=96946 * TheCanon2 * (+715) Added an implementation section since the implementation page doesn't exist 20:35:49 [[PTSL]] M https://esolangs.org/w/index.php?diff=133724&oldid=66874 * PythonshellDebugwindow * (+99) Categories 20:42:03 -!- Lymia has quit (Quit: zzzz <3). 20:43:19 -!- Lymia has joined. 20:44:48 -!- cpressey has quit (Ping timeout: 276 seconds). 20:45:11 -!- cpressey has joined. 20:46:09 [[7 bottles of tommyaweosme]] https://esolangs.org/w/index.php?diff=133725&oldid=129775 * TheCanon2 * (+363) Added Python implementation 20:54:09 [[User:Tommyaweosme/function]] https://esolangs.org/w/index.php?diff=133726&oldid=129770 * TheCanon2 * (+257) Added a section for implementations 21:00:38 [[User:Tommyaweosme/function]] M https://esolangs.org/w/index.php?diff=133727&oldid=133726 * TheCanon2 * (+198) Added other implementation 21:05:50 [[User:Tommyaweosme/constant]] https://esolangs.org/w/index.php?diff=133728&oldid=129772 * TheCanon2 * (+196) Added an Implementations section 21:07:40 [[Aweosme-complete]] M https://esolangs.org/w/index.php?diff=133729&oldid=130284 * TheCanon2 * (+69) info 21:12:51 -!- Thelie has quit (Remote host closed the connection). 21:34:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:42:52 -!- __monty__ has quit (Quit: leaving). 21:59:43 -!- DHeadshot has quit (Remote host closed the connection). 21:59:56 -!- salpynx has joined. 22:03:24 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=133730&oldid=133523 * TheCanon2 * (+165) Added Sakana and $+-? to the list 22:13:53 -!- SGautam has quit (Quit: Connection closed for inactivity). 22:20:23 [[Aweosme-complete]] https://esolangs.org/w/index.php?diff=133731&oldid=133729 * Tommyaweosme * (-69) brainfuck, 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 22:29:20 [[Brainfuck is not turing complete]] https://esolangs.org/w/index.php?diff=133732&oldid=132819 * Tommyaweosme * (+35) now its not misleading. what do you want next? 22:29:45 [[Brainfuck is not turing complete]] M https://esolangs.org/w/index.php?diff=133733&oldid=133732 * Tommyaweosme * (+1) newline spacing 23:15:28 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=133734&oldid=133730 * TheCanon2 * (+30) /* wsad */ Added W.W.E to the list in an unconventional way 23:19:34 [[Sakana]] M https://esolangs.org/w/index.php?diff=133735&oldid=133640 * TheCanon2 * (+72) Added categories 23:39:17 [[A+B Problem]] M https://esolangs.org/w/index.php?diff=133736&oldid=132564 * TheCanon2 * (+87) /* 1 */ Added $+-? to the list in an unconventional manner 23:41:09 [[A+B Problem]] M https://esolangs.org/w/index.php?diff=133737&oldid=133736 * TheCanon2 * (+78) /* Headache (lang that compiles to brainfuck) */ Added H with Line Below to the list in an unconventional manner (for my poor internet connection) 23:49:42 -!- Noisytoot has quit (Quit: ZNC 1.8.2 - https://znc.in). 23:52:10 -!- Noisytoot has joined.