00:19:57 Antebrationist: cool! i'll check it out! 00:20:25 Is salpynx around? 00:23:30 While I'm pinging everyone, int-e I had a thought today about treating reversible bitfuck as a group, which reduces the picofuck problem to that of finding a generating set of order 2 00:23:48 Do you think that makes sense? 00:38:16 I thinki it is worth trying it, I suppose. 00:38:16 I don't know if that will work or not, but you can try. 00:38:16 Yeah, I'm planning on it 00:38:17 OK 00:38:17 Looking for algorithms to find the minimal generating set of a group 00:38:31 Gets tricky for infinite groups 00:39:53 Yes, I would suppose so. 00:40:48 -!- adu has joined. 01:06:20 -!- LKoen has quit (Remote host closed the connection). 01:26:39 -!- Antebrationist has quit (Remote host closed the connection). 01:36:33 -!- adu has quit (Quit: adu). 01:48:04 [[User:RocketRace]] N https://esolangs.org/w/index.php?oldid=72179 * RocketRace * (+181) Short summary. 01:49:28 [[User:RocketRace]] M https://esolangs.org/w/index.php?diff=72180&oldid=72179 * RocketRace * (+84) Discord 02:02:05 -!- Phantom_Hoover has joined. 02:03:03 -!- salpynx has joined. 02:03:22 hi 02:05:45 Hello 02:06:06 orbitaldecay: rain1 shared a link here to Dehn functions, which got me investigating groups too 02:07:00 hah, I misread timestamps on the logs, I thought orbitaldecay was just here 02:16:32 I have a qn.: if <*,{,}|∅> is the free group on the nanofuck alphabet, how would you define the group of syntactically valid nanofuck using similar notation <*,{,}|R> where the relations R represent the CFG S → SS | ε | * | {S} ? 02:17:27 Does this even make sense, or am I mixing oil and water? 02:18:29 [[Psyche]] N https://esolangs.org/w/index.php?oldid=72181 * IFcoltransG * (+513) I will not apologise. 02:19:53 [[Language list]] https://esolangs.org/w/index.php?diff=72182&oldid=72113 * IFcoltransG * (+13) /* P */ + Psyche, a mapping of SKI onto the Freudian trichotomy of the mind. 02:21:14 [[User:IFcoltransG]] https://esolangs.org/w/index.php?diff=72183&oldid=70727 * IFcoltransG * (+136) /* Published Esoteric Languages */ + Psyche 02:22:11 [[User:Salpynx/Simple translation conjecture]] M https://esolangs.org/w/index.php?diff=72184&oldid=72177 * Salpynx * (-1) typo 02:26:55 -!- adu has joined. 03:02:23 I suppose I understand the last part at least. 03:38:16 -!- tromp has joined. 03:38:42 -!- tromp has quit (Ping timeout: 260 seconds). 03:45:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 04:04:19 -!- adu has quit (Quit: adu). 04:24:28 [[User:Salpynx/Simple translation conjecture]] https://esolangs.org/w/index.php?diff=72185&oldid=72184 * Salpynx * (+2903) at this point I just want to make a time-cube joke at my own expense... this all needs filtering down and editing 04:29:48 Is there a kind of picture compression for multiple versions of a picture at different resolutions? 04:49:03 [[User:Salpynx/Simple translation conjecture]] https://esolangs.org/w/index.php?diff=72186&oldid=72185 * Salpynx * (+387) /* Conclusion WRT 's significance for simple translations */ summing up attempt 05:02:51 nice... got an interpreter off the ground. 05:02:57 woop woop. 05:03:11 MS .ico and Amiga icon files come to mind as containers for multiple images, but that's not compression. Googling "multiresolution compression" returns summaries of inaccessible academic papers that cover the idea in theory 05:06:44 I think I'm wrong about Amiga icons being multi-res 05:13:04 -!- salpynx has quit (Remote host closed the connection). 05:16:55 -!- tromp has joined. 05:22:17 -!- tromp has quit (Ping timeout: 272 seconds). 05:54:31 woop woop. 06:11:20 -!- tromp has joined. 06:15:27 -!- tromp has quit (Ping timeout: 240 seconds). 07:05:27 -!- tromp has joined. 07:07:48 -!- imode has quit (Ping timeout: 258 seconds). 07:10:06 -!- tromp has quit (Ping timeout: 265 seconds). 07:22:56 -!- tromp has joined. 07:43:57 [[Truth-machine]] https://esolangs.org/w/index.php?diff=72187&oldid=71663 * YamTokTpaFa * (+333) [[INTERCAL|INTERCAL-72]] 08:07:33 -!- LKoen has joined. 08:14:32 -!- rain1 has joined. 08:36:08 -!- opticnerve has joined. 08:38:36 -!- zzo38 has quit (Ping timeout: 256 seconds). 09:08:35 -!- tromp has quit (Remote host closed the connection). 09:09:08 -!- tromp has joined. 09:25:13 -!- ArthurStrong has joined. 09:29:11 -!- Lord_of_Life_ has joined. 09:30:24 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 09:30:31 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 10:03:15 -!- tromp has quit (Remote host closed the connection). 10:03:24 [[Casino]] https://esolangs.org/w/index.php?diff=72188&oldid=72168 * Ais523 * (+106) /* Language Overview */ fix spec to match impl; the spec couldn't possibly be correct because its "RNG" alternated between two different values, I think the author confused the seeding operation with the next-integer operation 10:10:05 [[Dig]] https://esolangs.org/w/index.php?diff=72189&oldid=72140 * Emerald * (+67) /* Underground */ 10:14:23 -!- rain1 has quit (Ping timeout: 260 seconds). 10:19:54 -!- opticnerve has quit (Quit: bye). 10:20:18 -!- tromp has joined. 10:20:47 [[Casino]] https://esolangs.org/w/index.php?diff=72190&oldid=72188 * Ais523 * (+2382) TC with bignum cells 10:37:48 -!- arseniiv has joined. 10:51:42 -!- rain1 has joined. 10:58:52 -!- arseniiv_ has joined. 11:01:13 -!- arseniiv has quit (Ping timeout: 246 seconds). 11:17:35 [[Eniuq]] https://esolangs.org/w/index.php?diff=72191&oldid=56986 * LegionMammal978 * (+42) fixed link 11:50:42 [[User talk:InfiniteDonuts]] https://esolangs.org/w/index.php?diff=72192&oldid=72176 * InfiniteDonuts * (+71) 11:57:03 -!- sprocklem has quit (Ping timeout: 260 seconds). 11:57:21 -!- sprocklem has joined. 11:58:48 salpynx: I think that we can just work with <*,{,}|∅> because unmatched parentheses can always be given a meaning rather than it being syntactically invalid 11:58:55 [[CLC-INTERCAL]] M https://esolangs.org/w/index.php?diff=72193&oldid=20042 * PythonshellDebugwindow * (+0) 12:03:13 [[Aeolbonn]] M https://esolangs.org/w/index.php?diff=72194&oldid=68989 * PythonshellDebugwindow * (+29) /* External resources */ it says in the description 12:07:39 -!- atslash has joined. 12:31:41 [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=72195&oldid=71904 * Orby * (+122) 12:33:00 [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=72196&oldid=72195 * Orby * (+114) /* Group formulation */ Adding links 12:36:15 hiellow 12:36:19 -!- arseniiv_ has changed nick to arseniiv. 12:38:27 Okay, I think reversible bitfuck has the group presentation and the PF problem can be reduced to the question, what is the rank of ? 12:39:03 If we reformulate rbf s.t. unmatched parentheses have some simple meaning 12:56:54 [[Simple translation]] https://esolangs.org/w/index.php?diff=72197&oldid=71885 * Orby * (+278) /* Minimization */ 12:58:05 [[Simple translation]] https://esolangs.org/w/index.php?diff=72198&oldid=72197 * Orby * (+58) /* Minimization */ 13:05:37 -!- adu has joined. 13:06:12 [[Infinite Goto]] M https://esolangs.org/w/index.php?diff=72199&oldid=70443 * PythonshellDebugwindow * (+8) /* Syntax */ 13:28:12 orbitaldecay: woah how did this connection with group theor come about? 13:28:54 I was just thinking about how rbf is basically a group and that the minimization problem is essentially asking what the rank of that group is 13:29:11 in a more general setting, the minimization problem is asking what the rank of a monoid is 13:29:14 that is super interesting 13:29:20 I have been learning about group theory 13:29:43 -!- opticnerve has joined. 13:29:43 bonus 13:30:58 another bonus from thinking of rbf as a group is that we know rbf is non-abelian, so rank() > 1 13:31:04 so if PF exists, it is minimal 13:31:28 https://en.wikipedia.org/wiki/Higman%27s_embedding_theorem 13:32:02 https://en.wikipedia.org/wiki/Presentation_of_a_group#Novikov%E2%80%93Boone_theorem 13:33:31 reading the same pages 13:33:45 https://en.wikipedia.org/wiki/Group_representation is interesting too 13:34:16 i want to think about this but im a bit preoccupied 13:34:32 i think the full group presentation would include a very complex set of relations 13:34:46 fully explaining how every command interacts with each other 13:35:14 this connection could be very fruitful though, group homomorphism preserve a bunch of things 13:35:37 so if any one of these things can be calculated for NF and PF and are different this would prove they cannot be simply translated 13:35:55 we can always start with a less structured presentation and add structure as required 13:36:34 basically captures rbf. There are some other things that boil down to the identity like (+) etc. but it's not important if they're missed 13:36:47 im sure you are right but i don't yet understand that idea 13:37:13 maybe I'm right, maybe I'm wrong haha 13:37:28 at the end of the day, we will know if we've found pf because the translation will work 13:38:08 you just made me realize something important 13:38:15 ? 13:38:25 if reversible languages are groups, maybe that's why semigroups are used to study turing machines 13:38:58 yep 13:43:02 [[Esolang:Sandbox]] M https://esolangs.org/w/index.php?diff=72200&oldid=71983 * PythonshellDebugwindow * (+25) 13:47:06 -!- zseri has joined. 14:18:31 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72201&oldid=72198 * Orby * (-1) /* Minimization */ 14:34:05 [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=72202&oldid=72196 * Orby * (+161) /* Group formulation */ 14:34:35 [[Talk:Picofuck]] https://esolangs.org/w/index.php?diff=72203&oldid=72202 * Orby * (+7) /* Group formulation */ 14:35:01 [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=72204&oldid=72203 * Orby * (+1) /* Group formulation */ 14:44:42 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72205&oldid=72201 * Orby * (+5) /* Minimization */ 14:48:42 [[Talk:Picofuck]] M https://esolangs.org/w/index.php?diff=72206&oldid=72204 * Orby * (+19) /* Group formulation */ 15:10:37 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72207&oldid=72205 * Orby * (+2) /* Minimization */ 15:11:14 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72208&oldid=72207 * Orby * (+35) /* Minimization */ 15:42:45 [[Simple translation]] https://esolangs.org/w/index.php?diff=72209&oldid=72208 * Orby * (+733) 15:44:01 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72210&oldid=72209 * Orby * (+22) /* Thinking in terms of monoids */ 15:48:19 [[Simple translation]] https://esolangs.org/w/index.php?diff=72211&oldid=72210 * Orby * (+72) /* Thinking in terms of monoids */ 15:50:44 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72212&oldid=72211 * Orby * (+14) /* Minimization */ 16:01:53 I just unironically sorted a table on seven key fields. And I think none of the seven are redundant. 16:03:12 Admittedly it's an outer merge result, and the seventh key discriminates only the two rows from the right join part. 16:03:30 s/outer merge/outer join/ 16:06:59 and then the first table of that outer join is also a left join, which accounts for one more sort key 16:22:16 [[Simple translation]] https://esolangs.org/w/index.php?diff=72213&oldid=72212 * Orby * (+133) /* Thinking in terms of monoids */ 16:22:35 -!- diverger has joined. 16:22:42 -!- ornxka has quit (Quit: No Ping reply in 180 seconds.). 16:23:50 -!- ornxka has joined. 16:24:16 -!- divergence has quit (Ping timeout: 246 seconds). 16:28:54 [[Esofun]] N https://esolangs.org/w/index.php?oldid=72214 * Palaiologos * (+9526) Initial specification draft 16:29:19 -!- kspalaiologos has joined. 16:29:36 I'm working on my first (decent) esoteric language 16:29:57 any opinions on the draft? esowiki bot should have mentioned it above 16:32:18 -!- rain1 has quit (Quit: Lost terminal). 16:38:28 [[Esofun]] M https://esolangs.org/w/index.php?diff=72215&oldid=72214 * Palaiologos * (+0) 4.1.a refers to integers, not nil 16:43:19 [[User:Nobody]] M https://esolangs.org/w/index.php?diff=72216&oldid=56536 * Nobody * (+25) 16:46:46 [[Simple translation]] https://esolangs.org/w/index.php?diff=72217&oldid=72213 * Orby * (+1303) /* Thinking in terms of monoids */ 16:47:08 kspalaiologos: doesn't asmbf count? 16:47:20 uhm, I forgot about t his one 16:47:29 but it's a kinda compiler of some sort to brainfuck 16:47:34 and the abstraction isn't really this creative 16:47:38 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72218&oldid=72217 * Orby * (+2) /* Rank of monoid */ 16:48:50 I think it counts, unless you used it for production to write programs for a casino or something 16:49:45 -!- adu has quit (Quit: adu). 16:50:08 but don't worry, for many people, the first esolang they create is a toy language that's much more silly than asmbf 16:50:17 lol 16:50:28 but, asm2bf wasn't meant to be this silly lol 16:52:02 `? casino 16:52:07 casino? ¯\(°​_o)/¯ 16:52:36 didn't this shrug face change? 16:52:43 I swear it used to be different before 16:54:58 for me it's the either the unfinished toy language geo that I made for a univ course (you can tell it's unfinished: the name is geo becauase I wanted to add some geometry-related stuff like vector operations), or the really horribly unusable broken komalpsz language which may or may not be esoteric 16:55:34 -!- gnu-nobody has joined. 16:56:26 Hey 16:57:04 greets 16:58:21 [[Simple translation]] https://esolangs.org/w/index.php?diff=72219&oldid=72218 * Orby * (+489) 17:04:05 [[BF instruction minimalization]] M https://esolangs.org/w/index.php?diff=72220&oldid=68790 * Orby * (+371) /* Formalizing requirements */ 17:05:13 I should probably make a wiki article about komalpsz, just as a bad example you shoud avoid 17:06:32 why do you consider it bad 17:07:43 -!- gnu-nobody has quit (Ping timeout: 258 seconds). 17:09:44 kspalaiologos: ask me again later if I don't get Back to that 17:09:52 uhm, sure 17:10:13 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72221&oldid=72219 * Orby * (+24) /* Thinking in terms of monoids */ No longer overloading A for everything 17:11:28 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72222&oldid=72221 * Orby * (+0) /* Rank of monoid */ 17:14:27 -!- rain1 has joined. 17:15:05 Hey rain1, check out the simple translation page 17:15:05 [[Talk:Dig]] https://esolangs.org/w/index.php?diff=72223&oldid=72167 * Emerald * (+140) Regret 17:15:08 full of new goodies 17:24:27 -!- kspalaiologos has quit (Ping timeout: 256 seconds). 17:25:48 -!- kspalaiologos has joined. 17:27:02 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72224&oldid=72222 * Orby * (+0) /* Rank of monoid */ 17:30:39 -!- zzo38 has joined. 17:35:14 any opinions on the draft? esowiki bot should have mentioned it above => please forgive me but I think the description is even harder to wrap one’s head about than with descriptions of my esolangs :) though I can definitely see a couple of alike typos in 8.1.b…8.1.j (7.1.a, 7.1.b are mentioned but probably 8.1.a, 8.1.b should be there instead) 17:35:46 I’d say a couple of examples would make the deal way easier 17:35:53 ah yes I forgot 17:36:10 (I’m myself bad with examples BTW) 17:36:11 [[Esofun]] https://esolangs.org/w/index.php?diff=72225&oldid=72215 * Palaiologos * (+0) 17:36:27 the spec is confusing 17:36:31 and the language isn't inished yet 17:36:40 kspalaiologos: also, voyad is a cool word, thanks 17:36:47 there are at least 30 ways a `+' operator can behave 17:36:51 depending on the current context 17:36:56 oh 17:37:15 ultimately this language will be harder than Malbolge, but also way cleaner 17:37:20 and way more advanced 17:37:55 (you wrote you’d like to break another unprogrammable language, do you make this one so that there would be something new to break?) 17:37:58 oh! 17:38:14 while I wrote the question you’ve already answered it 17:38:16 yeah, obviously :d 17:38:32 and I'd love to see bigger programs in it 17:38:43 but I doubt someone would decide to take his time trying to work out... this 17:39:33 hm how hard it is to design such a language?.. If that’s not too hard, I’d try to make something and see how fast you’re going to crack it, it might be fun 17:40:28 though making the language cleaner would make the task harder 17:40:38 hah, well, you need to actually ensure that the draft is consistent 17:41:12 if it's not consistent and there is a slight chance some behavior is inconsistent, then I'm most probably not touching it 17:41:29 also I already put a lot of work into the draft lol 17:41:33 for now I try to write some parsing stuff in Python but later maybe I’ll try a thing or other 17:41:36 I've been writing it and pondering for around 2 hours 17:41:54 oh and I forgot about something 17:42:00 why isn't there my Malbolge self interpreter linked on my user page 17:42:24 if it's not consistent and there is a slight chance some behavior is inconsistent, then I'm most probably not touching it => yeah I like my descriptions be consistent. They should clearly define if something does something or is it an UB if it’s chosen so 17:43:31 [[User:Palaiologos]] M https://esolangs.org/w/index.php?diff=72226&oldid=70870 * Palaiologos * (+126) 17:43:42 anyway have a good time with this language. I’ll maybe try to understand a later draft 17:44:27 lol, thanks 17:44:33 -!- gnu-nobody has joined. 17:44:39 but the draft in my predictions will grow massively 17:44:56 just the list of adverbs or verbs for instance - there can be up to 512 of them 17:45:03 and if I want to make my language fullfill the design goals 17:45:12 it seems that i missed some discussion regarding palaiologos' lang 17:45:25 I have to design 256 monadic, 256 niladic, 256 voyadic, 256 dyadic verbs and 256 adverbs 17:45:47 and none of them should be no-ops? 17:46:02 I plan on adding one eaisly accessible no-op 17:47:22 my ideas include adding a verb related to generating stuff with mersenne twister (lmao) 17:47:30 packing data, primitive compression 17:47:47 the real hell will be implementing all of this, lol 17:48:10 but with a draft it's always more enjoyable 17:52:44 -!- kspalaiologos has quit (Quit: Leaving). 17:53:02 -!- kspalaiologos has joined. 18:08:38 -!- imode has joined. 18:11:36 -!- zzo38 has quit (Remote host closed the connection). 18:13:42 [[Simple translation]] M https://esolangs.org/w/index.php?diff=72227&oldid=72224 * Orby * (+166) 18:13:52 -!- zzo38 has joined. 18:23:28 [[User:DmilkaSTD]] https://esolangs.org/w/index.php?diff=72228&oldid=69536 * DmilkaSTD * (-1264) Replaced content with "==Favorite Esolang== I have many esolangs that I really like, probably my favorite is False and BitBitJump." 18:47:01 [[User:Palaiologos]] M https://esolangs.org/w/index.php?diff=72229&oldid=72226 * Palaiologos * (+79) 18:54:25 [[Esofun]] https://esolangs.org/w/index.php?diff=72230&oldid=72225 * Palaiologos * (+2353) div/mul operators 19:08:07 -!- rain1 has quit (Quit: Lost terminal). 19:10:29 palaiologos this thing is looking well currently 19:12:17 [[Artemis]] N https://esolangs.org/w/index.php?oldid=72231 * Orby * (+2319) Creating Artemis 19:13:48 [[Asvi]] https://esolangs.org/w/index.php?diff=72232&oldid=72017 * DmilkaSTD * (+146) 19:14:16 [[Artemis]] https://esolangs.org/w/index.php?diff=72233&oldid=72231 * Orby * (+11) /* Defining procedures */ 19:25:18 -!- zseri has quit (Remote host closed the connection). 19:26:14 [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=72234&oldid=71147 * PythonshellDebugwindow * (+35) 19:26:29 -!- zseri has joined. 19:26:33 [[String rewriting paradigm]] M https://esolangs.org/w/index.php?diff=72235&oldid=71145 * PythonshellDebugwindow * (+35) 19:29:47 -!- tromp has quit (Remote host closed the connection). 19:36:00 [[Artemis]] M https://esolangs.org/w/index.php?diff=72236&oldid=72233 * Orby * (+129) /* Definition */ 19:39:12 [[User talk:Hppavilion1]] https://esolangs.org/w/index.php?diff=72237&oldid=50569 * PythonshellDebugwindow * (+52) unsigned 19:39:47 [[User:Orby]] https://esolangs.org/w/index.php?diff=72238&oldid=71752 * Orby * (+68) 19:41:59 [[Asvi]] https://esolangs.org/w/index.php?diff=72239&oldid=72232 * DmilkaSTD * (+518) 19:42:28 [[Artemis]] M https://esolangs.org/w/index.php?diff=72240&oldid=72236 * Orby * (+1) /* Relationship to &brainfuck */ 19:43:00 [[Artemis]] https://esolangs.org/w/index.php?diff=72241&oldid=72240 * Orby * (+41) 19:44:09 [[Artemis]] https://esolangs.org/w/index.php?diff=72242&oldid=72241 * Orby * (-31) 19:44:34 [[Artemis]] M https://esolangs.org/w/index.php?diff=72243&oldid=72242 * Orby * (+0) /* Defining procedures */ 19:51:57 [[Artemis]] M https://esolangs.org/w/index.php?diff=72244&oldid=72243 * Orby * (+21) /* Defining procedures */ 19:54:04 -!- gnu-nobody has quit (Ping timeout: 256 seconds). 20:00:13 -!- kspalaiologos has quit (Quit: Leaving). 20:01:05 -!- tromp has joined. 20:06:07 -!- tromp has quit (Ping timeout: 260 seconds). 20:24:14 [[-]] N https://esolangs.org/w/index.php?oldid=72245 * PythonshellDebugwindow * (+1418) Created page with "'''-''' is an esolang by [[User:PythonshellDebugwindow]]. It uses only two characters, and -. ==Memory== - has four wrapping unsigned 8-bit cells, each of which sta..." 20:25:34 -!- tromp has joined. 20:26:03 [[-]] M https://esolangs.org/w/index.php?diff=72246&oldid=72245 * PythonshellDebugwindow * (+229) /* Interpreter */ 20:26:18 [[-]] M https://esolangs.org/w/index.php?diff=72247&oldid=72246 * PythonshellDebugwindow * (+1) /* Interpreter */ 20:27:35 [[Language list]] M https://esolangs.org/w/index.php?diff=72248&oldid=72182 * PythonshellDebugwindow * (+26) /* Non-alphabetic */ + [[-]] and [[--Unless]] 20:28:13 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=72249&oldid=71989 * PythonshellDebugwindow * (+65) /* Languages */ 20:54:39 -!- opticnerve has quit (Ping timeout: 260 seconds). 21:29:41 -!- Lord_of_Life_ has joined. 21:31:22 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 21:32:30 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 21:44:03 -!- salpynx has joined. 22:05:52 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 22:06:28 -!- Lord_of_Life has joined. 22:47:19 [[Special:Log/newusers]] create * OpenByte * New user account 22:56:40 -!- tromp has quit (Remote host closed the connection). 23:02:56 -!- tromp has joined. 23:08:59 salpynx: you there? 23:09:10 [[Talk:Simple translation]] https://esolangs.org/w/index.php?diff=72250&oldid=71834 * Salpynx * (+3579) Explanation of deferred parsing tricks WRT simple-translations 23:09:52 orbitaldecay: yes, just finished typing up my latest thoughts on my ST tricks -- hopefully they make some kind of sense! 23:10:18 cool! reading now. I also made a lot of progress today as recorded on the simple translation page. 23:15:03 Okay, interesting. Need some time to digest that. I realized today that, for concatenative languages like bf-alikes, the minimization problem is essentially determining the rank of the monoid which is formed by the language 23:15:28 on which a lot of work has been done 23:15:45 in the special case of rbf, that monoid is actually a group, and finding the rank of a group is even easier 23:17:33 I need to keep reading up on groups -- I may have overlooked the significance of the 'reversible' part of RBF when it comes to groups too. I think you implied that it was significant? 23:18:16 Groups are pretty straightforward to understand. It's a set with a binary operator that is associative, there's an identity, and every element has an inverse 23:19:20 In the case of rbf, the binary operator is concatenation, the empty string is the identity, and the inverses go *: self inverse, >:<, (:) 23:20:02 that doesn't totally nail it because there's more structure than that, but the rbf monoid is a quotient of that group 23:20:31 the rank is just the cardinality of the smallest generating set, i.e. the smallest set of operators that can be combined to form any program 23:20:50 rank is obviously <= 3 due to nanofuck 23:21:36 right, I hadn't focused on determining the specific inverses, that helps. 23:22:06 yeah, once you identify the inverses then the simple translation problem can be viewed as a problem of group presentation 23:22:23 https://en.wikipedia.org/wiki/Presentation_of_a_group 23:23:23 so, rank() >= rank(rbf) basically 23:23:53 unfortunately rank() = 3, so it doesn't actually tighten the bound from what we already know 23:24:19 That was where I stalled, applying what I understood about groups specifically to the RBF and PF examples. I got the free group structure, but wasn't sure if we needed more detail in the relations 23:24:48 more generally, simple translations of concatenative languages can be viewed as a problem of monoid presentation (a monoid is just a group that doesn't necessarily have inverses) 23:25:19 the a^2 = e relation doesn't actually help, but it is true (a = *) 23:28:18 https://en.wikipedia.org/wiki/Presentation_of_a_monoid is a gold mine 23:28:20 I think I can put the investigation of simple-translation tricks behind me now. I feel like I understand why if PF is possible using 0 as a self-interpreter that is not as interesting a result as a more direct translation which you are aiming for. Now that I can separate the two approaches, it should be possible to prove whether a direct 23:28:20 translation or not. 23:28:38 is possible 23:29:16 yes, I think I have also made progress. I realize now that what I was trying to capture with the definition of a simple translation is really just the problem of determining the rank of the monoid of a concatenative language 23:30:02 which appears to be subtly different than the approach you've taken 23:30:18 but, I'm satisfied with that framing of the problem 23:30:22 thanks for your help 23:30:46 This group theory approach is interesting, and I'll try to catch up. I was reading a lot based on the link rain1 posted 23:31:31 I had assumed it was meant as a direct pointer to us looking into simple-translations because it seemed to fit so well, and was literally why I started on the group path the other day 23:31:47 yeah, the crucial thing is understanding that a concatenative language is a monoid, and a reversible concatenative language is a group. Both of which have presentations, which are essentially what we are working with. 23:32:19 rain1: I'm not so sure you meant that Dehn fn link for us, and it was just something interesting you had been reading? :) Either way, thanks for the link! 23:32:47 I took a couple courses in group theory in school. I have forgotten pretty much everything except the definition and the elementary results, but there is a lot of rich structure. 23:32:57 -!- LKoen has quit (Remote host closed the connection). 23:33:35 https://math.stackexchange.com/questions/3672804/minimal-generator-of-group?noredirect=1#comment7547744_3672804 23:33:39 last link ;) 23:34:50 But that stuff is really only applicable to concatenative languages. It just so happens that a lot of esolangs are concatenative. 23:35:07 I'm teaching myself as I go. It's something I have wanted to learn more about for some time, but I find I need a concrete project or problem I care about to apply the new knowledge to before I can get or retain it 23:35:49 I've actually been looking for an application of group theory to esolangs for a while, so it's kind of ironic that I found out it's been hiding under my nose for years. 23:37:02 -!- tromp has quit (Remote host closed the connection). 23:37:40 -!- arseniiv has quit (Ping timeout: 272 seconds). 23:37:45 yes, the concatenative aspect was something I thought was significant in my messy notes page on the wiki early on, I was struggling to articulate it and suspected my definition of concatenative was non-standard. I'm glad the concepts are coming together 23:38:12 me too. it's exciting. this has opened up a whole new world of ideas to me. 23:38:40 -!- rodgort has quit (Quit: Leaving). 23:39:11 the thing I didn't get for the longest time, is that you can think about the strings of the language as the elements of the group and not worry about the semantics at all, that's how you can view rbf as a group and things like ( and ) as elements 23:39:55 I had tried to model bf +, -, <, > with linear operators before, but always got hung up when it came to the loop constructs 23:40:32 anyway, yeah I'm stoked 23:41:01 I'm looking for more concatenative programming languages. It appears most of them are stack based (for some reason), but bf is sort of accidentally concatenative 23:41:08 and I think a lot of esolangs fall into this category 23:42:48 I found that the majority of my efforts in esolangs were tending towards silly encodings, which at one level I knew were somewhat trivial, but there was a kernel of something I really wanted to understand. My latest efforts have been in trying to program using Godel numbers and mathematical functions to join them,;I think a stronger understanding 23:42:48 of group theory will help me there 23:43:21 how hip are you to lambda calculus? 23:43:25 There's something about the simple-translation concept that resonated with me there, but I'm still trying to put it all together 23:44:05 it so happens that unlambda also has a nice monoid structure 23:46:22 bbl 23:46:34 I have really wanted to work more with Iota / Jot / and Zot (so I could use non-bf based Godel numbers), but I was struggling to program anything directly using lamdba calculus. Unlambda seemed the obvious gateway to those, but I haven't tried coding anything substantial in it yet 23:50:02 I diverted from picking up low level lambda calculus style languages and have been playing with Bitwise Cyclic-tag, specifically implementing an purely arithmetic version, and trying to figure out how to program usefully in it. 23:50:41 ... then simple-translations distracted me