00:03:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:20:11 -!- MDude has quit (Ping timeout: 256 seconds). 00:25:24 -!- MDude has joined. 00:39:45 Cale: Did I already ask you about monoidal categories with nontrivial scalars? 00:40:11 Other than modules. 01:00:28 -!- boily has quit (Quit: MASKED CHICKEN). 01:02:41 -!- variable has quit (Quit: /dev/null is full). 02:08:45 -!- imode has joined. 03:29:15 [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55650&oldid=55646 * Reddy Alice * (+614) 03:29:47 [[Annoying Alice 2D]] https://esolangs.org/w/index.php?diff=55651&oldid=55650 * Reddy Alice * (+35) 03:49:51 is there a proof that all thue rules can be reduced to rules with only 3 symbols on either side of the separator? 03:50:17 or even, just two symbols? 04:10:00 -!- doesthiswork has quit (Quit: Leaving.). 04:12:36 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 04:13:34 I think you could do with just two symbols and use a tape head approach. i.e left and right moves would be formulated as OT -> TN and TO -> NT respectively. 04:14:03 where 'O' is the old symbol under the tape head, and 'N' is the newly written symbol. 04:15:52 -!- Slereah_ has quit (Ping timeout: 260 seconds). 04:45:54 -!- variable has joined. 04:46:30 -!- variable has quit (Client Quit). 05:01:26 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:12:43 -!- variable has joined. 05:31:31 <\oren\> Is it a potential military threat that our prime minister has the power to make America's president go completely pineapples at will by saying something as innocuous as "we will not be pushed around"? 06:59:51 -!- imode has quit (Ping timeout: 265 seconds). 07:21:01 -!- woo has joined. 07:21:44 -!- woo has left. 07:29:27 -!- xkapastel has joined. 07:49:27 -!- Naergon has quit (Remote host closed the connection). 08:07:21 -!- ais523 has joined. 08:19:39 [[Special:Log/newusers]] create * Iamcalledbob * New user account 08:22:25 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=55652&oldid=55634 * Iamcalledbob * (+19) 08:22:40 [[=]] N https://esolangs.org/w/index.php?oldid=55653 * Iamcalledbob * (+418) Created page with "= commands: = if the thing being assigned is a place: assign place with value(dec)/place value. if the thing being assigned is a value: if the place value assigned r..." 08:26:07 -!- wob_jonas has joined. 08:27:08 I destroyed my mobile phone. But I only have myself to blame for it. Now I have to survive with this bad spare phone I bought as a backup in december, plus look around for what phone I should buy, and I guess a protective foil for the display of this one. 08:28:18 Darn, what's the name of this one, I need it to look up protective foil. 08:30:12 Ok, so first I have to copy my contact list to this phone. 08:33:43 -!- ais523 has quit (Quit: rebooting). 08:36:38 -!- ais523 has joined. 08:39:45 [[PUBERTY]] M https://esolangs.org/w/index.php?diff=55654&oldid=55633 * Izumariu * (+6) 09:16:05 [[Losescript]] N https://esolangs.org/w/index.php?oldid=55655 * Iamcalledbob * (+7665) Created page with "==Losescript== Losescript is a programming language that certainly makes you win in some golf contests(while if the questions change even if a bit, you will certainly lose). =..." 09:17:29 there is a lot of copy-and-paste on that page 09:17:51 but I think it's all from Esolang itself, thus not a copyvio 09:18:02 that said, it's been copied from the rendered version 09:29:17 -!- zzo38 has quit (Ping timeout: 256 seconds). 09:32:30 -!- shikhin has quit (Changing host). 09:32:30 -!- shikhin has joined. 09:37:18 [[Special:Log/newusers]] create * Derteckel * New user account 09:41:42 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=55656&oldid=55652 * Derteckel * (+159) /* Introductions */ 09:56:32 -!- ais523 has quit (Remote host closed the connection). 11:07:35 -!- arseniiv has joined. 11:46:24 [[`]] N https://esolangs.org/w/index.php?oldid=55657 * Iamcalledbob * (+1138) All about ` 12:27:19 -!- variable has quit (Quit: Found 1 in /dev/zero). 12:29:19 -!- variable has joined. 12:31:21 [[Special:Log/move]] move * Iamcalledbob * moved [[Language list]] to [[Category:`]]: I want people to see that there is another 1-instruction turing-taprit language. 12:31:21 [[Special:Log/move]] move * Iamcalledbob * moved [[Talk:Language list]] to [[Category talk:`]]: I want people to see that there is another 1-instruction turing-taprit language. 12:33:21 [[Special:Log/move]] move * Iamcalledbob * moved [[Main Page]] to [[%]] 12:33:21 [[Special:Log/move]] move * Iamcalledbob * moved [[Talk:Main Page]] to [[Talk:%]] 12:36:07 -!- AnotherTest has joined. 12:39:18 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 12:42:11 -!- ais523 has joined. 12:42:58 -!- AnotherTest has quit (Ping timeout: 256 seconds). 12:46:01 [[Special:Log/move]] move * Iamcalledbob * moved [[%]] to [[Bob's blog]] 12:46:01 [[Special:Log/move]] move * Iamcalledbob * moved [[Talk:%]] to [[Talk:Bob's blog]] 12:49:53 -!- wob_jonas has joined. 12:54:09 -!- SopaXorzTaker has joined. 12:56:56 [[Special:Log/move]] move * Ais523 * moved [[Bob's blog]] to [[Main Page]] 12:56:56 [[Special:Log/delete]] delete * Ais523 * deleted "[[Main Page]]": Deleted to make way for move from "[[Bob's blog]]" 12:57:29 [[Special:Log/protect]] protect * Ais523 * protected "[[Main Page [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves 12:57:47 [[Special:Log/move]] move * Ais523 * moved [[Talk:Bob's blog]] to [[Talk:Main Page]] 12:57:47 [[Special:Log/delete]] delete * Ais523 * deleted "[[Talk:Main Page]]": Deleted to make way for move from "[[Talk:Bob's blog]]" 12:58:11 [[Special:Log/protect]] protect * Ais523 * protected "[[Talk:Main Page [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves 12:58:48 [[Special:Log/move]] move_redir * Ais523 * moved [[Category:`]] to [[Language list]] over redirect 12:58:48 [[Special:Log/move]] move_redir * Ais523 * moved [[Category talk:`]] to [[Talk:Language list]] over redirect 12:58:48 [[Special:Log/delete]] delete_redir * Ais523 * Ais523 deleted redirect [[Language list]] by overwriting: Deleted to make way for move from "[[Category:`]]" 12:58:48 [[Special:Log/delete]] delete_redir * Ais523 * Ais523 deleted redirect [[Talk:Language list]] by overwriting: Deleted to make way for move from "[[Category talk:`]]" 12:59:00 -!- esowiki has joined. 12:59:11 [[Special:Log/protect]] protect * Ais523 * protected "[[Language list [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves 12:59:38 [[Special:Log/protect]] protect * Ais523 * protected "[[Talk:Language list [move=sysop] (indefinite)]]": high-risk pages need move-protection as regular users can't undo moves 13:00:32 -!- doesthiswork has joined. 13:01:15 [[Special:Log/delete]] delete * Ais523 * deleted "[[%]]": Vandalism 13:01:24 [[Special:Log/delete]] delete * Ais523 * deleted "[[Talk:%]]": Vandalism 13:04:52 any Esolang admins out there? I'm in the middle of an upgrade and someone starts doing pagemove vandalism :-( 13:05:17 I'm trying to send iamcalledbob a warning but because I'm in the middle of a release upgrade, programs are randomly stopping working, and that apparently includes my browser 13:05:20 so I haven't been able to send one yet 13:07:11 [[User talk:Iamcalledbob]] N https://esolangs.org/w/index.php?oldid=55678 * Ais523 * (+547) warning: pagemove vandalism 13:07:19 there we go 13:07:43 this is worth /one/ warning, but attempting that sort of vandalism in the future deserves a block, as it requires an admin to undo 13:08:48 -!- Cale_ has joined. 13:09:04 -!- xkapastel has quit (Quit: Connection closed for inactivity). 13:12:56 [[User talk:Iamcalledbob]] https://esolangs.org/w/index.php?diff=55679&oldid=55678 * Iamcalledbob * (+144) /* Please be careful with high-visibility pages */ 13:14:31 [[User talk:Iamcalledbob]] https://esolangs.org/w/index.php?diff=55680&oldid=55679 * Iamcalledbob * (+17) /* Please be careful with high-visibility pages */ 13:15:28 [[User talk:Iamcalledbob]] https://esolangs.org/w/index.php?diff=55681&oldid=55680 * Ais523 * (+484) how to edit pages 13:16:11 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 13:18:13 -!- wob_jonas has joined. 13:20:39 hi wob_jonas 13:27:14 [[`]] https://esolangs.org/w/index.php?diff=55682&oldid=55657 * B jonas * (+23) 13:27:49 hi ais523 13:28:01 yeah... those wiki edits were strange 13:28:09 wob_jonas: I decided to work on that M:tG thing again 13:28:16 oh! nice 13:28:18 I'm planning to write a whole site about it and have written two of the pages already 13:28:31 nice 13:28:40 in that case I'll have to read and comment on it 13:28:41 specifically, a) an explanation of the deck used from the tournament point of view, b) the series of actions needed to get into the right gamestate 13:28:44 although I'm going to change b) a bit 13:28:49 you could put it on the esolang wiki though 13:28:55 I think that wiki is suitable for this sort of thing 13:28:59 this is probably best as an independent mini-site 13:36:28 wob_jonas: nethack4.org/pastebin/b31dfab1-de3c-4c61-8402-07738b794487-maindeck.html.txt nethack4.org/pastebin/b31dfab1-de3c-4c61-8402-07738b794487-setup.html.txt (these are temporary links that won't stay up that long, and these are not the final versions of the files) 13:37:43 -!- oerjan has joined. 13:37:59 [[Language list]] https://esolangs.org/w/index.php?diff=55683&oldid=55676 * Iamcalledbob * (+8) 13:38:50 [[User talk:Iamcalledbob]] https://esolangs.org/w/index.php?diff=55684&oldid=55681 * Iamcalledbob * (+24) 13:40:03 [[Language list]] https://esolangs.org/w/index.php?diff=55685&oldid=55683 * Iamcalledbob * (+17) 13:41:46 * ais523 vaguely wonders how an attempt to add a language to the language list could end up with accidentally renaming the Main Page 13:41:55 I guess if it doesn't happen again, though, we're OK 13:42:09 (and I put move-protection on the pages in question because there's basically no good reason to rename them) 13:43:13 [[Joke language list]] https://esolangs.org/w/index.php?diff=55686&oldid=55632 * Iamcalledbob * (+77) 13:50:22 . o O ( and we all know elliott would have banned em already ) 13:50:48 well, those old enough to remember when elliott was here 13:51:00 yes, I prefer to give at least one warning first 13:51:20 still, not many people know that moving a page twice requires admin cleanup if the first move was in error 13:51:30 and most of the people who do are trolls or otherwise trying to cause trouble 13:51:37 so doing that on the Main Page, of all places, is a very suspicious thing to do 13:52:11 I guess we'll see how the user turns out 14:02:17 [[BF instruction minimalization]] https://esolangs.org/w/index.php?diff=55687&oldid=51404 * Iamcalledbob * (+459) /* Iamcalledbob's attempt */ 14:03:49 that is one of the bigger AEaaAP failures I've seen 14:04:25 e.g. merging [ and ] makes BF sub-TC as you can't do any control flow inside a loop 14:05:21 and memory-mapping which of the various instructions you have is pretty much unusable as you can't use those instructions to get back to the memory-map location 14:05:27 that latter thing is an interesting idea for an esolang, though 14:05:35 AEaaAP is not an acronym I can expand 14:05:46 [[BF instruction minimalization]] https://esolangs.org/w/index.php?diff=55688&oldid=55687 * Iamcalledbob * (-40) /* Iamcalledbob's attempt */ 14:06:10 Taneb: arbitrary effect at an arbitrary point 14:06:18 Ah, makes sense 14:06:27 `? AEaaAP 14:06:29 AEaaAP? ¯\(°​_o)/¯ 14:08:29 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=55689&oldid=55631 * Iamcalledbob * (+132) 14:08:31 `learn AEaaAP stands for "arbitrary effect at an arbitrary point". It's one of the traditional requirements for Turing-completeness 14:08:34 Learned 'aeaaap': AEaaAP stands for "arbitrary effect at an arbitrary point". It's one of the traditional requirements for Turing-completeness 14:09:03 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=55690&oldid=55689 * Iamcalledbob * (+23) /* ` */ 14:10:14 ais523: it's rather confusing that Recent Changes displays the Delete above the Move when doing it like that. 14:10:23 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=55691&oldid=55690 * Iamcalledbob * (+22) /* LOLCODE */ 14:10:35 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=55692&oldid=55691 * Iamcalledbob * (+1) /* Losescript */ 14:11:06 oerjan: yes, the newest delete was newer than the newest move 14:11:13 it can be less confusing to turn enhanced recent changes off 14:11:20 `slwd aeaaap//s,$,., 14:11:22 aeaaap//AEaaAP stands for "arbitrary effect at an arbitrary point". It's one of the traditional requirements for Turing-completeness. 14:12:11 ais523: um, i don't have enhanced recent changes. 14:12:22 oerjan: I think it's the default nowadays? 14:12:28 let me try without to compare 14:12:36 i'm saying it looks like you moved the page before deleting it. 14:12:43 (the target) 14:13:10 it's called "Group changes by page in recent changes and watchlist" nowadays; if I turn that off, the delete correctly shows as happening before the move 14:14:36 not for me, huh. 14:14:50 wait, no 14:14:51 not for me either 14:14:55 I was confusing the delete and the protect 14:15:22 It's been ages since I've made any esolangs 14:21:34 hmm, I wonder if I can argue that the I/D machine is a BF instruction minimalization? 14:21:39 I is just +, after all 14:21:50 and D doesn't look too out of place in a BF derivative 14:22:00 there's probably one that has it already :-P 14:23:02 . o O ( maybe all programming languages are actually BF derivatives ) 14:23:26 BF is not a BF derivative :-P 14:23:55 P'' probably isn't either, but that may not be a programming language 14:24:12 i hear Gödel investigated closed time loops so don't be too sure. 14:24:59 historically the I/D machine was a RAM0 derivative 14:25:12 I'm glad I was going around reading Wikipedia pages about obscure computational models :-) 14:25:34 (and RAM0 is 3 years older than BF) 14:25:47 P'' dates from 1964, though 14:26:02 I/D looks pretty neat 14:26:13 I'm going to have to check out the TC proof of it tonight 14:26:24 it's like three star programmer but a little easier 14:26:27 both to write in and to implement 14:26:47 the previous girl genius update is pretty ominous. i suspect the dupree shit is about to hit the fan. 14:26:55 although three star programmer is a little more powerful, in that it gives you more flexibility with how your programs work once you've figured out how to write them 14:27:11 (not today's) 14:27:55 [[Classical CT]] N https://esolangs.org/w/index.php?oldid=55693 * Iamcalledbob * (+552) Created page with "==Commands== This is an extension of [[CT]]. {class_name[function_name ...] [function_name ...] lots of other functions...} It defines a class with a lot of functions, which..." 14:30:29 today's update is also ominous, mind you. 14:30:57 (but not for a main character.) 14:31:56 ais523: do real british academics have nicknames like that twh 14:32:13 [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=55694&oldid=55183 * Iamcalledbob * (+32) /* Brevity */ 14:32:23 oerjan: like what? 14:32:41 tobber and sleestak 14:32:46 http://www.girlgeniusonline.com/comic.php 14:32:54 [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=55695&oldid=55694 * Iamcalledbob * (-32) /* Brevity */ 14:33:22 -!- ais523 has quit (Quit: sorry for my connection). 14:33:34 -!- ais523 has joined. 14:33:50 -!- Cale_ has quit (Quit: Leaving). 14:33:53 oerjan: I rarely hear nicknames used here; thus I don't konw what they are 14:34:08 *know 14:34:13 okay 14:40:10 [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=55696&oldid=55695 * Iamcalledbob * (+185) /* Purpose */ 14:42:10 [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=55697&oldid=55696 * Ais523 * (-3) /* Purpose */ cleanup; note that most low-level esolangs are /not/ intentionally hard to read, they just ended up that way because the concepts are so alien 14:42:43 The only academic I know with a nickname is Dr Chris "Crispy Bacon" Crispin-Bailey 14:43:28 does ais523 count as a nickname? 14:43:52 I guess in IRC nomenclature it is 14:43:54 ais523: you misspelled obfuscation hth 14:44:10 Although do people often refer to you as Alex "ais523" Smith? 14:44:33 [[Esoteric programming language]] M https://esolangs.org/w/index.php?diff=55698&oldid=55697 * Ais523 * (+0) /* Obfuscation */ fix typo in header 14:44:37 Taneb: not often 14:44:48 Speed Demos Archive probably would, although they'd leave the "Dr" off 14:46:23 * ais523 notes that the I/D machine compiles almost directly into Unreadable 14:47:33 hm right, internet nicknames would be it nowadays... 14:47:41 hmm, esolang idea I just had: a cross between BF and Subtractpocalypse; it's basically just + < - > with bignum cells, and attempting to decrement a cell below 0 restarts the program 14:47:56 you cannot obviously compile Subtractpocalypse into this but it's pretty close 14:49:17 and you can almost certainly remove < from it by having a finite-length tape that wraps (in fact, that probably makes it easier to program in rather than harder) 14:50:03 …and by merging commands to give +> and - you have a two-command language which is probably TC 14:50:38 [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=55699&oldid=55698 * Iamcalledbob * (+10) /* Purpose */ 14:51:12 does the current Subtractpocalypse TCness proof ever reduce two counters in the same command? if not then this /is/ TC 14:52:04 unfortunately it does, I don't think it /has/ to, though 14:52:43 oerjan: I do get called "Taneb" in person sometimes 14:52:50 Mostly people I know from CS at uni 14:53:06 Taneb: your nick's currently being shown in a color that's hard to read so I have to look at your comments to see who said them 14:53:23 ais523: I'm terribly sorry 14:53:25 when I saw that comment, I was hoping it had been said by someone other than Taneb :-) 14:53:36 :D that'd be something 14:53:53 (sorry for not typing those two comments at the same time, the first doesn't really make sense on its own, but I'm in the middle of a distro upgrade and it chose that moment to stop my keyboard working) 14:54:19 (it's OK) 14:54:37 this is an often-overlooked danger in using newline as a punctuation mark 14:59:41 i want to revert iamcalledbob's last edit but my intuition refuses. 15:00:05 or is it anxiety, whatever. 15:00:44 oh hm forgetting my email... 15:00:51 I don't agree with removing minimalism altogether 15:02:09 [[Esoteric programming language]] https://esolangs.org/w/index.php?diff=55700&oldid=55699 * Ais523 * (-10) Undo revision 55699 by Iamcalledbob; I disagree with many of these changes, e.g. minimalism and obfuscation are quite different in nature (languages are often reduced to few commands for reasons other than making them hard to read) 15:02:22 nor with merging it with obfuscation 15:03:36 anyway, the distro update has finished so I'm going to reboot, hopefully the computer still works :-D 15:03:44 whee 15:03:52 Good luck 15:03:56 -!- ais523 has quit (Quit: upgrade to a new Linux distribution finished, let's see if I can reboot into it). 15:08:52 -!- MDude has quit (Read error: No route to host). 15:10:45 -!- MDude has joined. 15:12:28 ...we've accidentally started using the worst chat client here 15:12:37 Bash comments in a shared tmux session 15:16:33 hmm, that's worse than "talk" :) 15:20:35 Instead of having nicks or whatever we just start with different amounts of whitespace 15:21:31 # it scales really well. 15:26:51 -!- ais523 has joined. 15:27:53 well, that didn't go so well 15:28:10 at least I managed to get a GUI desktop up, after about four tries 15:28:46 although I'm running MATE because my normal desktop environment is crashing on login 15:29:03 luckily this was already installed (I'm not sure how to connect to wifi from the terminal) 15:30:48 the other problem is that the mouse doesn't work on the login screen for some reason and my choice of login screen implementation apparently breaks when you try to change desktop environment with the keyboard 15:31:16 so I had to start a different one with the terminal… 15:32:13 * ais523 does an update, then will try again 15:46:24 -!- laerling has joined. 15:53:00 -!- AnotherTest has joined. 16:01:27 -!- oerjan has quit (Quit: Later). 16:01:51 OK, time to try again 16:01:58 -!- ais523 has quit (Quit: rebooting, hopefully it goes better this time…). 16:08:32 -!- AnotherTest has quit (Ping timeout: 255 seconds). 16:11:39 -!- ais523 has joined. 16:15:02 -!- ais523 has quit (Client Quit). 16:25:30 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 16:38:49 -!- doesthiswork has quit (Ping timeout: 256 seconds). 17:01:34 -!- MDude has quit (Ping timeout: 264 seconds). 17:04:51 -!- MDude has joined. 17:32:37 `olist 1124 17:32:37 olist 1124: shachaf oerjan Sgeo FireFly boily nortti b_jonas 17:35:33 -!- xkapastel has joined. 18:18:41 -!- SopaXorzTaker has quit (Remote host closed the connection). 18:57:38 -!- Vorpal has joined. 18:57:38 -!- Vorpal has quit (Changing host). 18:57:38 -!- Vorpal has joined. 19:04:53 -!- moony has changed nick to x86-64. 19:04:57 -!- x86-64 has changed nick to moonheart08. 19:04:59 -!- moonheart08 has changed nick to moony. 19:06:53 -!- Naergon has joined. 19:38:01 -!- imode has joined. 19:40:13 -!- erkin has joined. 19:48:33 -!- AnotherTest has joined. 20:04:16 -!- wob_jonas has joined. 20:07:31 [[Losescript]] https://esolangs.org/w/index.php?diff=55701&oldid=55655 * B jonas * (+24) 20:08:52 ais523: I'd just like to note that iamcalledbob also didn't follow the instructions specifically for avoiding spambot registrations: Introduce yourself says "write a short description (one or two sentences is enough) about what brings you to this wiki". 20:09:42 Nor the part about "At the end of that description, sign your name by writing in "~~~~" (without quotes)," 20:10:06 should have banned him immediately for clearly being a spambot 20:13:20 -!- AnotherTest has quit (Ping timeout: 255 seconds). 20:14:35 [[Losescript]] https://esolangs.org/w/index.php?diff=55702&oldid=55701 * B jonas * (+5) 20:32:33 " hmm, I wonder if I can argue that the I/D machine is a BF instruction minimalization? / and D doesn't look too out of place in a BF derivative / there's probably one that has it already :-P" : true. I think the \x7F command in Symbolic Brainfuck does that 20:34:48 wob_jonas: hmm, didn't feel like a bot. 20:35:10 int-e: yes. bots are smarter. 20:35:50 wob_jonas: why would a bot use an edit message that says "I want people to see that there is another 1-instruction turing-taprit language." 20:36:40 anyway, weird person... especially, since that move failed to do what they apparently wanted, why did they start moving other things around afterwards? 20:38:48 [[I/D machine]] https://esolangs.org/w/index.php?diff=55703&oldid=54537 * B jonas * (+322) can be seen as a brainfuck derivative (thanks for noticing, ais523) 20:40:00 the move didn't fail what they wanted. because of them spamming, several of us esolang wiki users are checking his edits for possible vandalism, so we noticed that yet another stupid language 20:40:48 it would be unnoticed in the noise of stupid languages on the wiki otherwise, which new users come and create 20:41:00 which is sad especially because it gets hard to find the actually interesting languages among them 20:47:09 Meh misguided and clueless is my assessment... don't get me wrong, this may be even *more* annoying than actual spam. 20:47:55 exactly. we delete spam, but we leave all the bad esolangs up there, and the wiki gets full of that 20:47:57 (And it can easily drift off into vandalism, hard to draw a clear line.) 20:48:11 I genuinely can't just browse the wiki to find random interesting esolangs 21:00:19 [[Small]] https://esolangs.org/w/index.php?diff=55704&oldid=55010 * Voltage2007 * (+482) Added compiler 21:16:55 -!- AnotherTest has joined. 21:27:01 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 21:37:31 -!- laerling has quit (Quit: Leaving). 21:37:35 -!- AnotherTest has quit (Ping timeout: 276 seconds). 21:44:26 I've seen people auto-generating things like rules for string rewriting systems. is there any literature on this? converting traditional imperative algorithms to rewrite relations? 21:48:08 I know many people have created things like BASIC to brainfuck compilers. 22:11:15 -!- iconmaster has joined. 22:11:19 -!- iconmaster has quit (Client Quit). 22:56:52 [[Brainpocalypse]] N https://esolangs.org/w/index.php?oldid=55705 * Ais523 * (+10304) new language! 22:57:17 [[Brainpocalypse]] M https://esolangs.org/w/index.php?diff=55706&oldid=55705 * Ais523 * (+18) /* Standard version */ class=wikitable 22:57:59 [[Language list]] https://esolangs.org/w/index.php?diff=55707&oldid=55685 * Ais523 * (+21) /* B */ +[[Brainpocalypse]] 22:58:25 [[User:Ais523]] https://esolangs.org/w/index.php?diff=55708&oldid=55337 * Ais523 * (+20) +[[Brainpocalypse]] 23:13:19 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 23:16:35 https://ptpb.pw/CHN2/text modeling a stack with a 3-symbol data alphabet. 23:17:06 this can probably be made shorter if I allowed just two symbols. it's pretty mechanical. I wonder if I can do head-juggling. 23:18:00 that ::= just feeld wrong to me. 23:18:06 same. 23:18:16 should be -> or something. 23:18:57 the benefit is you can have multiple stacks in tandem, doing work independently. exchanging things between instruction streams could probably happen. 23:19:34 (especially since I've actually worked with string rewriting systems (aka semi-Thue systems)) 23:20:21 in what context? 23:20:31 rewriting :P 23:20:55 it's an actual area of theoretical computer science. 23:21:12 I'm aware, just wondered what you've dealt with. 23:21:35 they're deceptively simple. 23:21:50 mostly confluence analysis (and mostly term rewriting systems, of which string rewriting is a special case) 23:23:01 I'd think the other way around, tbh. in the end you're performing substitution rules on trees represented as strings, which in many cases is nested parens or path-based representations. 23:23:22 nah, we're not :) 23:23:33 (our terms are trees, not strings) 23:23:46 change my view, because you are. :P 23:24:02 "we" did not encompass you, necessarily :) 23:24:52 in what world are strings a special case of terms? it's the other way around lmao. 23:25:37 in "our" world, strings are terms built exclusively from unary function symbols (and one constant for the empty string). 23:26:16 I admit that this is a bit strange. 23:26:46 you can take both views, I guess, depending on your vantage point, as terms admit a canonical representation that's stringy. 23:26:53 But it's much more strange to treat terms as strings, because that makes all operations on terms awkward. 23:27:03 (to my mind, ymmv, etc) 23:28:49 dyck languages are a good fit for representing terms imho, because they admit easy pattern matching based on depth. 23:28:53 i,i your mind may vary 23:29:34 I'm wondering whether colorForth and ALGOL had a reasonable idea making color/bold part of the syntax. 23:29:41 it does... it even shuts itself off for hours at a time! 23:30:35 (which, I think, is something I should have let it do about an hour ago, so good night) 23:30:58 night. 23:31:22 (but I was too busy with extracting bits from unfair dice... big waste of time :P) 23:34:58 int-e: if you've dealt with things like string rewriting, would you say that semi-thue systems are a special case of another class of string rewrite systems? 23:36:26 my reasoning is that any system higher than thue-like introduces variables, which are an abstraction and not required. 23:38:13 -!- doesthiswork has joined. 23:55:51 -!- tromp has quit.