00:00:06 imode: a term rewriting metalanguage. Like thue for term rewriting languages. How clear is the page? 00:00:56 It was the result of an evolution of thoughts and I'm wondering how well I described it on the page 00:10:49 interesting. 00:11:02 have you seen my attempt at a term rewriting lang? 00:12:10 https://hatebin.com/bndqcbpthq 00:12:39 oh, that's a non-working ver. 00:12:57 https://hatebin.com/ierbsdhqph better. 00:14:28 it was enough that I was able to write quicksort in it. 00:14:35 [[There Once was an Esolang Named Fred]] https://esolangs.org/w/index.php?diff=72979&oldid=72807 * Baidicoot * (+1225) 00:15:44 https://git.imode.tech/?p=python/modal;a=blob;f=modal.py;hb=HEAD here's the interpreter that goes along with it. 00:30:10 imode: I was checking out the basic idea the other day. Will have to take a look at the interpretter when I'm in front of my computer. Bookmarking now. 01:02:53 cool. your solutions are probably more elegant. mine are dirty hacks. 01:17:05 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72980&oldid=72950 * UltimateProGrammer * (-290) Changed FizzBuzz Example and Added note about implementation 01:19:01 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72981&oldid=72980 * UltimateProGrammer * (+72) Added ascii implementation note 02:01:59 -!- Phantom_Hoover has joined. 02:11:24 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 02:30:39 -!- tromp has joined. 02:34:56 -!- tromp has quit (Ping timeout: 246 seconds). 02:58:19 -!- adu has quit (Quit: adu). 03:04:50 -!- adu has joined. 03:19:35 [[Symbols]] https://esolangs.org/w/index.php?diff=72982&oldid=70773 * Voltage2007 * (+527) 03:24:45 -!- tromp has joined. 03:29:27 -!- tromp has quit (Ping timeout: 260 seconds). 03:35:02 -!- ArthurStrong has quit (Quit: leaving). 03:40:50 [[1argasm]] https://esolangs.org/w/index.php?diff=72983&oldid=65081 * Voltage2007 * (+128) 04:18:56 -!- tromp has joined. 04:23:51 -!- tromp has quit (Ping timeout: 272 seconds). 05:13:03 -!- tromp has joined. 05:17:20 -!- tromp has quit (Ping timeout: 246 seconds). 05:52:55 Now I managed to get kerning and ligatures working (although ligatures other than =: are not yet tested, although I think Computer Modern fonts don't use other kind of ligatures and I don't know what fonts would use such ligatures). 06:07:04 -!- tromp has joined. 06:12:09 -!- tromp has quit (Ping timeout: 272 seconds). 06:22:15 -!- user24 has joined. 06:46:54 [[User:Zzo38/Untitled 4]] https://esolangs.org/w/index.php?diff=72984&oldid=72896 * Zzo38 * (+291) 06:54:04 -!- imode has quit (Ping timeout: 258 seconds). 07:01:14 -!- tromp has joined. 07:05:30 -!- tromp has quit (Ping timeout: 246 seconds). 07:06:26 -!- adu has quit (Quit: adu). 07:10:59 -!- tromp has joined. 07:20:48 -!- Sgeo has quit (Read error: Connection reset by peer). 07:29:50 [[Assemblei]] https://esolangs.org/w/index.php?diff=72985&oldid=69255 * Oklomsy * (+138) /* Interpreter */ 07:33:10 [[Assemblei]] https://esolangs.org/w/index.php?diff=72986&oldid=72985 * Oklomsy * (-57) 07:36:42 zzo38: I think there's a ?` ligature 07:37:04 and a -- ligature 07:37:31 -!- b_jonas has quit (Quit: leaving). 07:39:09 -!- rain1 has joined. 07:40:29 -!- cpressey has joined. 07:52:05 -!- LKoen has joined. 08:20:25 -!- TheLie has joined. 08:31:51 -!- Phantom_Hoover has joined. 08:51:53 -!- TheLie has quit (Ping timeout: 246 seconds). 09:39:08 > the Garden of Eden theorem, stating that a cellular automaton has a configuration with no predecessor if and only if it has two different asymptotic configurations which evolve to the same configuration 09:39:11 :1:12: error: parse error on input ‘of’ 09:39:12 is this hard to prove? 09:42:46 -!- sprocklem has quit (Ping timeout: 272 seconds). 09:43:07 -!- sprocklem has joined. 09:49:38 -!- sprocklem has quit (Ping timeout: 260 seconds). 09:50:37 -!- sprocklem has joined. 09:59:32 -!- sprocklem has quit (Ping timeout: 246 seconds). 10:03:21 rain1: it certainly sounds like it'd be hard to prove, but I don't really know. what's an "asymptotic configuration"? 10:05:08 i am not sure 10:05:19 i will try to find out 10:06:35 -!- sprocklem has joined. 10:06:58 i x,y are asymptotic if diff(x,y) is finite 10:07:30 diff(x,y) is the set of configurations where they do not agree at time t 10:07:50 so basically we are looking for two configurations which end up in the same state eventually 10:50:19 -!- Lord_of_Life_ has joined. 10:52:34 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 10:52:35 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:01:19 Oh, if and only if *the cellular automaton* has two different asymptotic configurations. I was misreading it slightly. 11:02:05 If two different configurations converge, then there exists a configuration to which no other configuration evolves 11:02:16 Still sounds hard to prove. 11:16:41 -!- ais523 has joined. 11:16:54 hi all again, does anybody know an example of an S-expression rewriting esolang? (analogous to Markov algorithm or Thue) ← Precognition, but it's unimplemented 11:17:11 it's fully designed though 11:25:44 -!- ais523 has quit (Remote host closed the connection). 11:26:57 -!- ais523 has joined. 11:58:53 .w preconition 12:00:32 -!- cpressey has quit (Quit: Lunch.). 12:59:01 -!- ais523 has quit (Quit: quit). 13:05:27 -!- sebbu has quit (Quit: reboot). 13:08:14 -!- cpressey has joined. 13:11:37 rain1: I think I understand it a little better thinking about the converse -- if there do not exist two converging configurations, then there does not exist a Garden of Eden either. It sounds like it's related to reversibility. 13:12:39 i see 13:13:01 being able to reverse all patterns would rule out a garden of eden 13:14:12 Yes, that'd be the "if" direction, still not sure how the "only if" direction goes though. 13:14:25 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=72987&oldid=72981 * PythonshellDebugwindow * (-6) /* Implementation */ 13:14:52 But tbh I'm not thinking very hard about it. It might in fact be easy to show once you get all the parts together. 13:19:57 [[Alphaprint]] M https://esolangs.org/w/index.php?diff=72988&oldid=72325 * PythonshellDebugwindow * (-2) /* Resources */ 13:28:50 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 13:31:20 -!- Phantom_Hoover has joined. 13:39:23 [[Trml]] https://esolangs.org/w/index.php?diff=72989&oldid=72975 * Orby * (+256) 13:57:19 [[Code is eso]] https://esolangs.org/w/index.php?diff=72990&oldid=67731 * DmilkaSTD * (-1289) Replaced content with "Getting remake." 14:00:19 [[Code is eso]] https://esolangs.org/w/index.php?diff=72991&oldid=72990 * DmilkaSTD * (-8) 14:02:19 [[Code is eso]] https://esolangs.org/w/index.php?diff=72992&oldid=72991 * DmilkaSTD * (+92) 14:14:12 -!- arseniiv_ has joined. 14:17:45 -!- arseniiv_ has changed nick to arseniiv. 14:18:37 @tell imode oh! Maybe that’s why I sensed I encountered something like that not long ago! 14:18:37 Consider it noted. 14:19:56 though IIRC it doesn’t work like a Markov algorithm would, having a specific order of rules very important to execution results 14:30:37 arseniiv: ah, you want non-deterministic tree-rewriting? (I mean: what Thue calls "non-deterministic") 14:31:52 (s/tree/term/ if you like) 14:35:25 cpressey: maybe non-deterministic is also an option! (MA, on the other hand, is deterministic.) Though right now I don’t want the language badly, that was just an option for writing a simple register machine implementation to add to my friend’s repo of various idiomatic implementations of the same machine with the same functionality in different languages. We also consider writing that machine in itself, but I’m lazy to begin. The 14:35:25 n I thought maybe I’ll be able to write the impl in MA, but that quickly proven itself *very* tarpit-y and I quitted 14:40:48 To be clear, I don't mean really non-deterministic, I mean, like Thue, you are given no guarantee of the order that the rewrites will happen (so if you want your program to have consistent behaviour, you need to code those guards into your program.) 14:42:09 Maybe you understood that 14:42:16 I can never tell with this word 14:42:27 I don't know enough about Markov algorithms to say 14:42:58 I tend to confuse it with "Markov chain" which I do tend to think of as something generated with a random factor 14:43:05 and thus not deterministic 14:43:36 At any rate, I don't think I've seen a term-rewriting version of Thue, which is basically what I was thnking of 14:47:41 cpressey: yeah yesterday I almost wrote “Markov chain” several times too when mentioning them in another place 14:47:43 -!- Arcorann has quit (Read error: Connection reset by peer). 15:00:10 [[LogicF---]] M https://esolangs.org/w/index.php?diff=72993&oldid=71066 * PythonshellDebugwindow * (+30) /* Infinite loop */ 15:07:42 [[Interfrac]] M https://esolangs.org/w/index.php?diff=72994&oldid=65924 * PythonshellDebugwindow * (+0) /* See also */ 15:08:39 [[Comefrom0x10]] M https://esolangs.org/w/index.php?diff=72995&oldid=70900 * PythonshellDebugwindow * (+0) 15:11:14 [[Category:Implemented]] M https://esolangs.org/w/index.php?diff=72996&oldid=7903 * PythonshellDebugwindow * (+1) 15:15:48 [[Ais523]] M https://esolangs.org/w/index.php?diff=72997&oldid=53460 * PythonshellDebugwindow * (+14) 15:40:12 [[Forbin]] M https://esolangs.org/w/index.php?diff=72998&oldid=72976 * PythonshellDebugwindow * (+271) 15:47:19 woah, I’ve came up with a datatype “a complex number z with |z| ≤ 1”. One can overflow on addition, but not multiplication, and maybe one also could use as literals only numbers of form exp(i t) with t from a fixed finite subset of reals 15:48:58 adding a special value ∞ to this type in lieu of IEEE 754 can be useful^W esoful, moreso if arithmetic is defined with it in a weird way 15:51:51 of course having a value of that type represented by a pair of regular IEEE 754 float64s is also quite eso in runtime behaviour (an expression may overflow suddenly when mathematically its value is in the disk) 16:01:46 -!- cpressey has quit (Quit: WeeChat 1.9.1). 16:05:17 arseniiv: It would probably be easier to represent it as a magnitude, angle pair 16:05:51 FreeFull: but not as eso! Though this way addition and subtraction would get weird rounding errors, I like it 16:06:17 Right, a + ib makes it easier to do addition 16:06:32 also I think ∞ should be printed and read as “FAR” 16:06:35 r*exp(i t) makes it easier to do multiplication 16:07:01 yeah 16:41:39 -!- ArthurStrong has joined. 16:48:38 -!- b_jonas has joined. 17:33:39 [[History (programming language)]] M https://esolangs.org/w/index.php?diff=72999&oldid=68209 * PythonshellDebugwindow * (+23) 17:35:26 [[TwoDucks]] M https://esolangs.org/w/index.php?diff=73000&oldid=56202 * PythonshellDebugwindow * (+27) /* Examples */ 17:43:08 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 17:46:20 -!- baidicoot has quit (Remote host closed the connection). 17:52:04 [[Prehistory of esoteric programming languages]] M https://esolangs.org/w/index.php?diff=73001&oldid=65258 * PythonshellDebugwindow * (+63) /* References */ 17:53:18 [[Timeline of esoteric programming languages]] M https://esolangs.org/w/index.php?diff=73002&oldid=63752 * PythonshellDebugwindow * (+0) /* 1993 */ 17:53:37 [[Timeline of esoteric programming languages]] M https://esolangs.org/w/index.php?diff=73003&oldid=73002 * PythonshellDebugwindow * (-8) /* 2003 */ rm redlinks 18:45:01 [[BFStack]] M https://esolangs.org/w/index.php?diff=73004&oldid=70657 * PythonshellDebugwindow * (+41) /* Computational class */ cats 18:47:37 [[BFStack]] M https://esolangs.org/w/index.php?diff=73005&oldid=73004 * PythonshellDebugwindow * (+189) 18:52:49 [[Code is eso]] M https://esolangs.org/w/index.php?diff=73006&oldid=72992 * PythonshellDebugwindow * (+31) 18:53:11 -!- tromp has quit (Remote host closed the connection). 18:57:05 C has setjmp/longjmp, and some other programming languages have try/catch blocks. But what I would want is setjmp/longjmp with cleanup blocks. 19:03:02 huh? 19:05:12 [[Ruby]] M https://esolangs.org/w/index.php?diff=73007&oldid=64847 * PythonshellDebugwindow * (-19) rm redcat 19:06:24 -!- imode has joined. 19:07:35 zzo38: you'll have to implement that yourself using exceptions then 19:08:23 Hmm, call-with-current-continuation and dynamic-wind together are a *little* bit like "setjmp/longjmp with cleanup blocks". 19:08:40 allo. 19:08:55 oh yeah, that scheme thing 19:09:00 you're righ 19:14:02 [[Ruby]] M https://esolangs.org/w/index.php?diff=73008&oldid=73007 * PythonshellDebugwindow * (-9) 19:15:34 [[Esolang:Categorization]] M https://esolangs.org/w/index.php?diff=73009&oldid=72711 * PythonshellDebugwindow * (+73) /* Miscellaneous */ 19:17:33 -!- llth has joined. 19:25:34 -!- tromp has joined. 19:33:26 [[5command]] M https://esolangs.org/w/index.php?diff=73010&oldid=65114 * PythonshellDebugwindow * (+0) /* Commands */ 19:34:02 [[5command]] M https://esolangs.org/w/index.php?diff=73011&oldid=73010 * PythonshellDebugwindow * (+57) /* See Also */ cats 19:34:28 [[5command]] M https://esolangs.org/w/index.php?diff=73012&oldid=73011 * PythonshellDebugwindow * (+25) /* See also */ 19:34:55 [[5command]] M https://esolangs.org/w/index.php?diff=73013&oldid=73012 * PythonshellDebugwindow * (+17) /* Interpreters */ 19:35:58 -!- tromp has quit (Remote host closed the connection). 19:38:34 -!- zseri has joined. 19:39:14 -!- llth has quit (Quit: Hello, 911? Yeah, it's caught in the window this time.). 19:40:11 I don't know if LLVM supports it. I read the document about exception handling, which mentions setjmp/longjmp, although I don't know what things are possible. 19:41:44 I also thought of using setjmp/longjmp where a function stores the previous value of the jump buffer in a local variable before calling setjmp, and then restores it when it is finished, but this won't work so well if you are calling an external library which calls back into your program if that external library needs cleanup. 19:59:03 [[Octo]] https://esolangs.org/w/index.php?diff=73014&oldid=71155 * Apollyon094 * (+520) 20:00:25 [[Octo]] https://esolangs.org/w/index.php?diff=73015&oldid=73014 * Apollyon094 * (-36) 20:04:12 Glulx has catch and throw, which is a bit like setjmp/longjmp, although the data needed to restore the position is allocated on the stack instead of in a separate variable (and in Glulx, the stack belongs to a separate address space). 20:04:14 [[Octo]] https://esolangs.org/w/index.php?diff=73016&oldid=73015 * Apollyon094 * (-147) 20:04:56 [[Octo]] https://esolangs.org/w/index.php?diff=73017&oldid=73016 * Apollyon094 * (-5) 20:14:40 -!- tromp has joined. 20:18:56 -!- tromp has quit (Ping timeout: 246 seconds). 20:24:18 -!- tromp has joined. 20:50:27 -!- sebbu has joined. 21:04:35 -!- rain1 has quit (Quit: leaving). 21:20:27 [[SpaghettiScript]] M https://esolangs.org/w/index.php?diff=73018&oldid=72987 * UltimateProGrammer * (+62) Updated hello world+added note about functions being made in functions 21:27:56 -!- ArthurSt1ong has joined. 21:28:03 -!- ArthurStrong has quit (Read error: Connection reset by peer). 21:37:10 -!- user24 has quit (Remote host closed the connection). 21:45:17 -!- TheLie has joined. 22:10:35 [[GUI4BF]] https://esolangs.org/w/index.php?diff=73019&oldid=44581 * DmilkaSTD * (+220) 22:11:38 [[GUI4BF]] https://esolangs.org/w/index.php?diff=73020&oldid=73019 * DmilkaSTD * (+4) 22:30:14 [[Pikobrain]] https://esolangs.org/w/index.php?diff=73021&oldid=70661 * DmilkaSTD * (+181) 22:31:37 [[Pikobrain]] https://esolangs.org/w/index.php?diff=73022&oldid=73021 * DmilkaSTD * (+34) 22:38:34 [[DeathScript]] https://esolangs.org/w/index.php?diff=73023&oldid=67022 * DmilkaSTD * (+17) 22:49:31 -!- Sgeo has joined. 22:53:12 -!- Lord_of_Life_ has joined. 22:53:44 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 22:54:35 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 22:55:23 -!- LKoen has quit (Quit: Leaving). 22:55:54 -!- xelxebar_ has quit (Quit: ZNC 1.7.2+deb3 - https://znc.in). 22:57:43 -!- xelxebar has joined. 23:10:15 -!- zseri has quit (Quit: zseri). 23:15:41 -!- TheLie has quit (Remote host closed the connection). 23:17:24 [[NICE]] https://esolangs.org/w/index.php?diff=73024&oldid=66192 * DmilkaSTD * (+4634) 23:21:00 -!- Arcorann has joined. 23:21:19 [[Brainmaker]] https://esolangs.org/w/index.php?diff=73025&oldid=46958 * DmilkaSTD * (+31) 23:22:29 [[Brainmaker]] https://esolangs.org/w/index.php?diff=73026&oldid=73025 * DmilkaSTD * (-3) 23:24:14 [[Brainmaker]] https://esolangs.org/w/index.php?diff=73027&oldid=73026 * DmilkaSTD * (+48) 23:28:04 [[User talk:Moon]] https://esolangs.org/w/index.php?diff=73028&oldid=66555 * DmilkaSTD * (+194) 23:29:13 [[User talk:Moon]] https://esolangs.org/w/index.php?diff=73029&oldid=73028 * DmilkaSTD * (-31) 23:37:29 [[1mpr0mp2]] https://esolangs.org/w/index.php?diff=73030&oldid=45662 * DmilkaSTD * (+10) 23:38:01 [[1mpr0mp2]] https://esolangs.org/w/index.php?diff=73031&oldid=73030 * DmilkaSTD * (+10) 23:43:19 [[BF-PDA]] https://esolangs.org/w/index.php?diff=73032&oldid=62331 * DmilkaSTD * (+14) 23:52:09 [[Snigl]] https://esolangs.org/w/index.php?diff=73033&oldid=66715 * DmilkaSTD * (+10) 23:59:22 [[Multiply]] https://esolangs.org/w/index.php?diff=73034&oldid=68200 * DmilkaSTD * (+91)