00:03:15 -!- mtm has quit (Ping timeout: 264 seconds).
00:03:37 <esolangs> [[Satarcrimp]] https://esolangs.org/w/index.php?diff=132627&oldid=125355 * PrySigneToFry * (+274)
00:05:28 -!- mtm has joined.
00:34:12 <esolangs> [[Infinite commands???]] https://esolangs.org/w/index.php?diff=132628&oldid=132616 * Tommyaweosme * (+44)
00:37:12 -!- mtm has quit (Ping timeout: 268 seconds).
00:39:15 -!- mtm has joined.
00:39:57 <esolangs> [[User talk:Unname4798]] N https://esolangs.org/w/index.php?oldid=132629 * Tommyaweosme * (+170) Created page with "yoy you made an account on the esowiki! !! ! !:D ~~~~"
01:51:07 -!- 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).
02:21:11 -!- Koen has quit (Quit: Leaving...).
02:47:42 <esolangs> [[Txet]] N https://esolangs.org/w/index.php?oldid=132630 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+3348) Created page with "'''Txet''' is a programming language that was made by [[Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] and has 2 forms of memory, a 1d tape where each cell has a one-character name, and an a
02:47:56 <esolangs> [[Txet]] https://esolangs.org/w/index.php?diff=132631&oldid=132630 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+5)
03:02:15 -!- X-Scale has joined.
03:28:38 -!- earend1 has joined.
03:55:37 <esolangs> [[User:Unname4798]] N https://esolangs.org/w/index.php?oldid=132632 * Unname4798 * (+74) Created page with "== My esolangs == [[Deadfsh]] - [[Deadfish]] without the increment command"
04:00:18 <esolangs> [[Deadfsh]] N https://esolangs.org/w/index.php?oldid=132633 * Unname4798 * (+392) Created page with "Deadfsh is an esolang like [[Deadfish]], but there is no increment command. == Commands == d - decrement s - square o - output == Interpreter == var input = "ddso"; var number = 0; for (var i = 0; i < input.length; i++) { if (input[i] = d) { number -= 1;
04:01:17 <esolangs> [[Deadfsh]] https://esolangs.org/w/index.php?diff=132634&oldid=132633 * Unname4798 * (+38) author
04:02:04 <esolangs> [[Deadfsh]] https://esolangs.org/w/index.php?diff=132635&oldid=132634 * Unname4798 * (+46) examples
04:02:18 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132636&oldid=132635 * Unname4798 * (+1)
04:02:35 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132637&oldid=132636 * Unname4798 * (+1)
04:05:47 <esolangs> [[Deadfsh]] https://esolangs.org/w/index.php?diff=132638&oldid=132637 * Unname4798 * (+81) categories
04:07:55 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132639&oldid=132638 * Unname4798 * (+4)
04:09:03 <esolangs> [[User:XKCD Random Number]] https://esolangs.org/w/index.php?diff=132640&oldid=131772 * Unname4798 * (+26) /* Deadfish */
04:17:18 <esolangs> [[User talk:Unname4798]] https://esolangs.org/w/index.php?diff=132641&oldid=132629 * Unname4798 * (+15) sorted by grade
04:27:11 <esolangs> [[Deadfsh]] https://esolangs.org/w/index.php?diff=132642&oldid=132639 * Unname4798 * (+163) variants
04:27:42 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132643&oldid=132642 * Unname4798 * (+5)
04:28:21 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132644&oldid=132643 * Unname4798 * (+1)
04:31:07 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132645&oldid=132644 * Unname4798 * (+1)
04:32:16 <esolangs> [[Deadfsh]] M https://esolangs.org/w/index.php?diff=132646&oldid=132645 * Unname4798 * (+6)
04:51:08 -!- salpynx has quit (Remote host closed the connection).
05:22:33 -!- X-Scale has quit (Quit: Client closed).
05:30:43 -!- tromp has joined.
05:52:06 -!- earend1 has quit (Quit: Lost terminal).
06:06:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
06:08:13 -!- tromp has joined.
06:26:50 -!- Sgeo has quit (Read error: Connection reset by peer).
06:34:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
06:49:18 <esolangs> [[Esolang talk:Categorization]] https://esolangs.org/w/index.php?diff=132647&oldid=132623 * Ais523 * (+1217) /* Categories for type systems */ my views
06:50:37 -!- dawids has joined.
06:50:47 -!- dawids has quit (Remote host closed the connection).
06:55:35 <esolangs> [[Esolang talk:Categorization]] https://esolangs.org/w/index.php?diff=132648&oldid=132647 * Ais523 * (+1503) /* Should we make a category of speedlangs? */ why this is so hard to define
07:01:48 <esolangs> [[Special:Log/newusers]] create * CadenC * New user account
07:07:05 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=132649&oldid=132604 * CadenC * (+208) /* Introductions */
07:28:35 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=132650&oldid=132613 * LilGalaxy * (+10)
07:32:37 <esolangs> [[Da0]] N https://esolangs.org/w/index.php?oldid=132651 * LilGalaxy * (+2525) Created page with "== Da0 == Da0 is an advanced computational framework designed for parallel processing, data management, and complex algorithmic operations. It integrates classical computing elements with parallel processing capabilities, utilizing a unique syntax and structure. === Fun
07:40:03 <esolangs> [[Special:Log/upload]] upload * LilGalaxy * uploaded "[[File:Da0 Terminal.png]]"
07:42:16 <esolangs> [[Da0]] https://esolangs.org/w/index.php?diff=132653&oldid=132651 * LilGalaxy * (+3485)
07:46:08 <esolangs> [[Da0]] https://esolangs.org/w/index.php?diff=132654&oldid=132653 * LilGalaxy * (+1328)
07:49:31 <esolangs> [[Da0]] https://esolangs.org/w/index.php?diff=132655&oldid=132654 * LilGalaxy * (+10723)
07:50:21 <esolangs> [[EHTML]] N https://esolangs.org/w/index.php?oldid=132656 * CadenC * (+3509) Created page with "== EHTML == EHTML is a programming language that is very syntactically similar to HTML. It was created because HTML is not a programming language, despite what people unfamiliar with programming languages might think. === Language overview === The language's statements ar
07:57:21 -!- cpressey has joined.
07:59:22 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132657&oldid=132656 * CadenC * (+3681)
07:59:39 -!- earend1 has joined.
08:00:37 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132658&oldid=132657 * CadenC * (+37)
08:03:14 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=132659&oldid=132650 * CadenC * (+12) /* E */
08:08:52 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132660&oldid=132658 * CadenC * (+60)
08:09:57 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132661&oldid=132660 * CadenC * (-12)
08:12:20 -!- cpressey has quit (Quit: WeeChat 4.3.0).
08:34:26 -!- earend1 has quit (Quit: leaving).
09:10:44 -!- Koen has joined.
09:11:36 -!- amby has joined.
09:33:39 -!- cpressey has joined.
09:39:02 <cpressey> Hello. Suppose I have a leftmost-innermost term rewriting system, and I have implemented it thusly: 1. from the root term, find the leftmost, innermost subterm that can be rewritten (call it s). 2. if s exists, rewrite it and go to step 1; otherwise, terminate.
09:39:50 <cpressey> Now, it feels like there should be a more efficient way to do this, where we do not need to return all the way back to the root term on every iteration.
09:41:05 <esolangs> [[User talk:None1]] M https://esolangs.org/w/index.php?diff=132662&oldid=132511 * None1 * (+0) /* I'm really going to die by laughing */
09:44:18 <cpressey> Actually, I'm sure there is, I think it's more a matter of, (a) I can't clearly see how you would go about proving it, (b) in the grand scheme of things it's probably not an optimization worth doing.
10:02:09 -!- tromp has joined.
10:04:17 <cpressey> "An optimization worth doing" would be automatically deriving an equivalent imperative program (or even a functional one) from the rewrite rules. But if that were easy to do, the world would look very different, I reckon
10:14:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:31:39 -!- wib_jonas has joined.
10:31:57 <wib_jonas> cpressey: is this the ICFP 2024 language, and if so, do you want to support the mutable bindings?
10:32:33 <cpressey> To the best of my knowledge this is not the ICFP 2024 language
10:33:32 <wib_jonas> That one is lazy lambda calculus with some weird variant where if a lambda uses a variable multiple times then it will evaluate whatever was passed to the argument multiple times.
10:34:46 <wib_jonas> Anyway, as for your question. When you rewrite a term, can that have a side effect that changes which parts can be evaluated even far from that term, or does it only affect evaluatable terms near itself because it gets replaced?
10:35:13 <int-e> Doesn't sound weird though... that's what you get with left-most outermost reduction in the term model.
10:35:13 <wib_jonas> int-e: yeah, my problem is that I'm not sure if you can even do proper calculations in this ICFP 2024 thing without the runtime blowing up
10:35:21 <int-e> I haven't looked at the contest.
10:35:42 <wib_jonas> int-e: as a mathematical model, sure, but for actual computation it sounds strange. why not just evaluate every term only once?
10:36:10 <wib_jonas> also it doesn't actually have a mutable binding extension, I confused it with the earlier GCC language (from an earlier ICFP contest) which does have such an extension
10:37:40 <wib_jonas> cpressey: I have never really thought about this in general. I considered some languages as term-rewriting, like J or Underload or Unlambda or Consumer Society, but in those cases I know enough about special properties of the language that I know how to evaluate it using those
10:38:12 <wib_jonas> A lot of the term rewriting languages have special rules for what order they evaluate everything
10:45:30 <int-e> wib_jonas: I'd imagine that a driving factor here is ease of specification.
10:45:43 <wib_jonas> Of course some esoteric languages might deliberately be harder to evaluate because you have to search for some very general pattern, as opposed to practical languages
10:46:03 <esolangs> [[Esolang talk:Categorization]] M https://esolangs.org/w/index.php?diff=132663&oldid=132648 * None1 * (+133) /* Categories for type systems */
10:46:31 -!- fizzie has quit (Server closed connection).
10:47:10 -!- fizzie has joined.
10:47:12 <wib_jonas> "The most prevalent ICFP messaging software, Macroware Insight, evaluates ICFP messages using a call-by-name strategy. This means that the binary application operator is non-strict; the second argument is substituted in the place of the binding variable (using capture-avoiding substitution). If an argument is not used in the body of the lambda
10:47:12 <wib_jonas> abstraction, such as v3 in the above example, it is never evaluated. When a variable is used several times, the expression is evaluated multiple times."
10:47:53 <int-e> Hmm and maybe it leaves more room for fruitful optimization on the submission side?
10:48:04 <wib_jonas> "As communication with Earth is complicated, the Cult seems to have put some restrictions on their Macroware Insight software. Specifically, message processing is aborted when exceeding 10_000_000 beta reductions. Built-in operators are strict (except for B$, of course) and do not count towards the limit of beta reductions. Contestants' messages
10:48:04 <wib_jonas> therefore must stay within these limits."
10:48:17 <int-e> Yeah I found that.
10:48:18 <wib_jonas> int-e: ^ evaluating multiple times batters because of that limit on beta reduction
10:48:21 <wib_jonas> https://icfpcontest2024.github.io/icfp.html
10:48:45 <int-e> b... matters I guess
10:48:47 <wib_jonas> yes, I think if you're evaluating terms then you can evaluate arguments only once
10:49:03 -!- X-Scale has joined.
10:49:45 <int-e> it's a choice *shrugs*
10:50:18 <int-e> it also says "beta reduction" so does arithmetic even count?
10:51:10 <wib_jonas> no: Built-in operators are strict (except for B$, of course) and do not count towards the limit of beta reductions.
10:51:58 <wib_jonas> I wonder if there's a reasonable way to compile any program efficiently to this weird repeated argument evaluation thing
10:52:53 <int-e> just do all your computation on strings
10:53:18 <wib_jonas> Maybe... I don't know if you can make that work
10:53:40 <wib_jonas> because even then you'll have to access the same string multiple times
10:53:51 -!- wib_jonas has quit (Quit: Client closed).
10:54:10 <int-e> it should give you something close enough to a RAM model
10:58:57 -!- tromp has joined.
11:01:39 <cpressey> In my thing, rewriting a subterm is referentially transparent. The contest thing sounds like it's some kind of cache design problem, where you want to memoize the reductions to prevent redundant recomputations, but also throw out the memo when its dependencies change
11:11:05 -!- X-Scale has quit (Ping timeout: 250 seconds).
11:13:56 -!- tromp has quit (Read error: Connection reset by peer).
11:19:45 -!- cpressey has quit (Ping timeout: 272 seconds).
11:24:10 <esolangs> [[Talk:Jail system makes no sense]] https://esolangs.org/w/index.php?diff=132664&oldid=132570 * None1 * (+174) /* Deletion? */
11:28:30 -!- cpressey has joined.
11:33:31 <esolangs> [[ErrorFull]] https://esolangs.org/w/index.php?diff=132665&oldid=132509 * None1 * (+80)
11:37:05 <esolangs> [[Violation]] M https://esolangs.org/w/index.php?diff=132666&oldid=114918 * None1 * (+29) /* See also */ missed one
11:48:07 <esolangs> [[Coolbeans]] https://esolangs.org/w/index.php?diff=132667&oldid=130296 * Unname4798 * (+1001)
11:50:32 <esolangs> [[Coolbeans]] https://esolangs.org/w/index.php?diff=132668&oldid=132667 * Unname4798 * (+51)
11:54:32 <cpressey> For my thing, I didn't even mean to end up at term rewriting again. The paths just kind of led there.
11:56:29 <esolangs> [[ReadArticle]] https://esolangs.org/w/index.php?diff=132669&oldid=116572 * Unname4798 * (+38) self interpreter
12:02:07 -!- X-Scale has joined.
12:03:35 -!- mtm has quit (Ping timeout: 264 seconds).
12:04:10 -!- cpressey has quit (Ping timeout: 268 seconds).
12:05:56 -!- mtm has joined.
12:08:18 <b_jonas> int-e: I think if you have a string that you compute somehow, and you want to use it twice, there's no other way than to pass it to a lambda as argument (possibly indirectly, wrapped in other lambdas), and then use that argument twice. and then whatever you passed as argument will be evaluated twice. and since this is a pure functional language, that argument has to repeat the whole computation when
12:08:24 <b_jonas> evaluated, it can't just load from a slot because the only slots are function arguments. maybe there's a way around this, but I don't see what. I don't think you can do anything useful if you don't use the string twice.
12:11:19 -!- X-Scale has quit (Ping timeout: 250 seconds).
12:12:45 <esolangs> [[Esolang talk:Categorization]] https://esolangs.org/w/index.php?diff=132670&oldid=132663 * Ais523 * (+186) /* Categories for type systems */ most esolangs don't have variables in the traditional sense
12:22:58 <esolangs> [[Main Page]] https://esolangs.org/w/index.php?diff=132671&oldid=132082 * Ais523 * (+5) apparently we got sufficiently good at stopping spam that "most" not longer accurately describes the proportion of users that are spambots
12:28:41 <esolangs> [[BIX Queue Subset]] M https://esolangs.org/w/index.php?diff=132672&oldid=117112 * Ais523 * (+1) /* Core BIX Queue Subset */ fix typo
12:30:14 -!- ^[ has quit (Ping timeout: 252 seconds).
12:32:40 -!- X-Scale has joined.
12:37:48 <int-e> b_jonas: but as long as your arguments are free of beta-redexes reusing them does not incur any cost
13:05:55 -!- X-Scale has quit (Ping timeout: 250 seconds).
13:06:04 -!- cpressey has joined.
13:07:46 -!- ^[ has joined.
13:09:28 <int-e> b_jonas: so for example, (\f. f f) (\f a b n. if n == 0 then a else f f b (a+b) (n-1)) 0 1 40 will evaluate to 102334155 in just 161 beta steps.
13:11:04 <int-e> And sure, it's millions of additions if you evaluate it naively but those are free in the cost model. Also, you can reasonably avoid that by evaluating beta-redex free values eagerly, without changing cost or semantics
13:14:12 <esolangs> [[(*)]] https://esolangs.org/w/index.php?diff=132673&oldid=132549 * Gggfr * (+0)
13:36:10 -!- Koen has quit (Ping timeout: 256 seconds).
13:37:11 -!- ^[ has quit (Ping timeout: 260 seconds).
13:38:47 -!- Koen has joined.
13:54:44 -!- mtm has quit (Read error: Connection reset by peer).
13:55:23 -!- mtm has joined.
14:16:16 -!- drakonis has quit (Server closed connection).
14:16:41 -!- drakonis has joined.
14:54:57 <esolangs> [[List of ideas]] https://esolangs.org/w/index.php?diff=132674&oldid=132190 * Hakerh400 * (-63) Actually, it is not known whether RSA cryptanalysis is in P or NP
15:24:10 <esolangs> [[Cantor]] https://esolangs.org/w/index.php?diff=132675&oldid=132582 * Joe * (+136)
15:27:31 <esolangs> [[Cantor]] https://esolangs.org/w/index.php?diff=132676&oldid=132675 * Joe * (+88)
16:08:58 <cpressey> Sufficiently-abstract-notion-of-term sufficiently-abstraction-notion-of-rewriting sufficiently-abstract-notion-of-system
16:09:55 <int-e> speaking-in-riddles
16:19:06 <cpressey> I should probably just go and write the code instead of being obtuse as a substitute for articulating my thoughts in English
16:26:17 <esolangs> [[EHTML]] M https://esolangs.org/w/index.php?diff=132677&oldid=132661 * PythonshellDebugwindow * (+23) Category
16:33:56 <esolangs> [[Fortuludmium]] N https://esolangs.org/w/index.php?oldid=132678 * Ractangle * (+1184) Created page with "{{Stub}} '''Fortuludmium''' is a esolang where it uses Fortuludmium syntax ('''Fortuludmium langauge''' (or '''Fortuludmium syntax''') is a type of esolangs where there are two structures. Line numbers in code and mostly small instruction set) ==Commands== {| cla
16:33:59 <esolangs> [[Da0]] M https://esolangs.org/w/index.php?diff=132679&oldid=132655 * PythonshellDebugwindow * (+60) Categories
16:34:20 <esolangs> [[Fortuludmium]] https://esolangs.org/w/index.php?diff=132680&oldid=132678 * Ractangle * (+23)
16:35:31 -!- cpressey has quit (Ping timeout: 246 seconds).
16:37:12 <esolangs> [[Esolang talk:Categorization]] https://esolangs.org/w/index.php?diff=132681&oldid=132670 * Ractangle * (+57) /* Should we make a category of speedlangs? */
16:37:23 <esolangs> [[Esolang talk:Categorization]] https://esolangs.org/w/index.php?diff=132682&oldid=132681 * Ractangle * (+117) /* Should we make a category of speedlangs? */
16:39:06 <esolangs> [[Fortuludmium]] https://esolangs.org/w/index.php?diff=132683&oldid=132680 * Ractangle * (+19)
16:39:23 <esolangs> [[Fortuludmium]] https://esolangs.org/w/index.php?diff=132684&oldid=132683 * Ractangle * (+11) /* Commands */
17:06:07 <esolangs> [[Special:Log/newusers]] create * TheCanon2 * New user account
17:10:16 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132685&oldid=132677 * Ractangle * (+136)
17:20:07 <esolangs> [[Whitespace]] https://esolangs.org/w/index.php?diff=132686&oldid=130850 * Zip * (+111) Corrected I/O section
17:23:27 <b_jonas> int-e: I see. So you have to set up your loop in such a way that you have an if dispatch outside and the tail recursive calls inside, and then the parameters that you pass recursively have no function applications and so no cost in the cost model. You have to avoid passing the function calls themselves in the argument. Interesting. That might indeed work with the strings too.
17:24:20 <b_jonas> It does seem to me like an interesting restriction on how you have to write the program, and is new to me.
17:24:23 <int-e> b_jonas: it's a bit sad of course because you abandon all functional programming
17:24:54 <int-e> this fragment is essentially a single while loop with finite control inside
17:24:56 <b_jonas> I wonder if such a restriction is known from somewhere before this ICFP.
17:26:08 <esolangs> [[Hello world program in esoteric languages (D-G)]] https://esolangs.org/w/index.php?diff=132687&oldid=131586 * CadenC * (+122) Added EHTML
17:26:20 <b_jonas> I think you can use either bignum integers or strings this way.
17:27:23 <b_jonas> Also that this is possible explains why they say "there seem to also be some (unknown) limits on memory usage and total runtime": since you can write programs this way, you can make an exponentially long string or bignum with just a linear number of beta-reductions.
17:27:54 <esolangs> [[User:CadenC]] N https://esolangs.org/w/index.php?oldid=132688 * CadenC * (+82) Created page with "Hey, I'm Caden, and I enjoy programming things for fun. == Esolangs == [[EHTML]]"
17:29:02 <b_jonas> I wonder if they have an esoteric bignum library that does arithmetic on base 94 integers just so that the string-to-int and int-to-string conversions are efficient.
17:29:07 <int-e> you can square 3 a million times anbd get 3^(2^1000000) which will blow up any contemporary hardware :P
17:29:10 <b_jonas> You could probably modify a decimal bigint library to do that.
17:29:55 <b_jonas> But it would be much simpler to just use an ordinary binary bigint library and use its (less efficient) radix conversion routines.
17:30:42 <b_jonas> They published the source code of their server very soon when the contest ended, which is nice, but I haven't looked at it yet.
17:31:35 <b_jonas> I should write something about this to https://esolangs.org/wiki/ICFP later but I'm lazy right now.
17:33:57 <int-e> > ord '/' * 94 + ord '6' - 33*95
17:39:13 <int-e> `` tr '!-~' 'a-zA-Z0-9!-/:-@[-`|~ \n' <<<'B%,,/}Q/2,$_'
17:39:13 -!- Koen has quit (Ping timeout: 256 seconds).
17:44:35 -!- cpressey has joined.
17:54:37 -!- cpressey has quit (Ping timeout: 246 seconds).
18:13:40 -!- Koen has joined.
18:21:32 -!- Lord_of_Life_ has joined.
18:21:46 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
18:24:26 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:31:28 -!- Noisytoot has quit (Excess Flood).
18:35:02 -!- Noisytoot has joined.
18:40:12 -!- m5zs7k has quit (Quit: m5zs7k).
18:40:34 -!- m5zs7k has joined.
19:17:17 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=132689&oldid=132649 * TheCanon2 * (+276) New addition.
19:18:29 -!- cpressey has joined.
19:21:48 <esolangs> [[Sakana]] N https://esolangs.org/w/index.php?oldid=132690 * TheCanon2 * (+2889) This is an article for my new programming language Sakana.
19:26:04 <cpressey> "Sufficiently-abstract-notion-of-rewriting": instead of concrete rewrite rules ((Term, Term)) we have "rewriter functions" (Term -> Maybe Term), and of course a function that, given a concrete rewrite rule, returns a rewriter function.
19:26:52 <cpressey> This opens up having rewriter functions that are more powerful than what you can define with a concrete rewrite rule.
19:27:27 -!- X-Scale has joined.
19:29:02 <cpressey> "Sufficiently-abstract-notion-of-term" turns out to be less useful I think, but instead of concretely defined Terms, you have Term be a typeclass, and expose an interface for doing the things you need to do with terms, in term rewriting.
19:31:05 <esolangs> [[SPIKE]] https://esolangs.org/w/index.php?diff=132691&oldid=131923 * Ractangle * (-83) /* > errors in SPIKE */
19:31:54 <int-e> . o O ( https://github.com/haskell-rewriting/term-rewriting/blob/master/src/Data/Rewriting/Rules/Rewrite.hs#L41 )
19:33:51 <int-e> cpressey: rewriting people study "abstract rewriting systems" which are simply relations
19:34:13 -!- user3456 has quit (Read error: Connection reset by peer).
19:36:34 -!- user3456 has joined.
19:37:02 <cpressey> int-e: yes, but ARS'es are far more abstract than I want or need here
19:39:44 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132692&oldid=132685 * CadenC * (+27) Gave myself credit
19:46:06 <cpressey> My present need for a "rewriter function" is for a rewrite rule that implements beta-reduction, with the capture-avoiding substitution and all that. I gather than even this is fairly old-hat.
19:50:09 <esolangs> [[Sakana]] https://esolangs.org/w/index.php?diff=132693&oldid=132690 * TheCanon2 * (+448) Added more information about how certain functions work, and described the Deadfish interpreter.
19:52:05 <esolangs> [[Sakana]] M https://esolangs.org/w/index.php?diff=132694&oldid=132693 * TheCanon2 * (+1) Fixed a formatting issue.
19:55:17 -!- Noisytoot has quit (Quit: ZNC 1.8.2 - https://znc.in).
19:55:37 -!- Noisytoot has joined.
19:58:53 -!- X-Scale has quit (Ping timeout: 250 seconds).
20:00:59 -!- tromp has joined.
20:17:05 <esolangs> [[User:Tommyaweosme/bookshelf]] N https://esolangs.org/w/index.php?oldid=132695 * Tommyaweosme * (+445) Created page with "like tompw did over on evilwiki, today i will be calculating how many shelves esowiki would need to store its info physically. every one of the 5538 pages on esowiki takes approximately 3 physical paper pages. that means esowiki takes 16614 phys
20:19:09 <esolangs> [[Talk:Copyright makes no sense]] https://esolangs.org/w/index.php?diff=132696&oldid=110099 * Tommyaweosme * (+270)
20:19:36 <esolangs> [[User:Tommyaweosme]] https://esolangs.org/w/index.php?diff=132697&oldid=132611 * Tommyaweosme * (+103)
20:27:11 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132698&oldid=132692 * CadenC * (+1737) Added FizzBuzz example
20:28:13 -!- cpressey has quit (Ping timeout: 256 seconds).
20:32:30 <esolangs> [[Q47]] M https://esolangs.org/w/index.php?diff=132699&oldid=132610 * PythonshellDebugwindow * (+106) Categories
20:35:05 <esolangs> [[Fortuludmium]] https://esolangs.org/w/index.php?diff=132700&oldid=132684 * Ractangle * (+62)
20:36:06 <esolangs> [[Fortuludmium]] https://esolangs.org/w/index.php?diff=132701&oldid=132700 * Ractangle * (+3) /* Hello, world! */
20:49:13 <esolangs> [[User:Tommyaweosme]] https://esolangs.org/w/index.php?diff=132702&oldid=132697 * Tommyaweosme * (+43)
20:50:29 <esolangs> [[Tol]] https://esolangs.org/w/index.php?diff=132703&oldid=131438 * Tommyaweosme * (+29)
20:51:16 -!- X-Scale has joined.
21:01:23 <esolangs> [[MinusGreater]] N https://esolangs.org/w/index.php?oldid=132704 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+496) Created page with "{{wrongtitle|title=->}} MinusGreater is a lang made by [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]]. its like [[Thue]] but in the order you set it to. also <code>::=</code> i
21:02:01 <esolangs> [[MinusGreater]] https://esolangs.org/w/index.php?diff=132705&oldid=132704 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+279)
21:02:18 <esolangs> [[MinusGreater]] https://esolangs.org/w/index.php?diff=132706&oldid=132705 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+9)
21:02:51 <esolangs> [[MinusGreater]] https://esolangs.org/w/index.php?diff=132707&oldid=132706 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+12)
21:06:28 <esolangs> [[MinusGreater]] https://esolangs.org/w/index.php?diff=132708&oldid=132707 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+140)
21:06:55 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=132709&oldid=132259 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+31)
21:07:01 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=132710&oldid=132709 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+1)
21:07:11 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=132711&oldid=132710 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+0)
21:07:18 <esolangs> [[User:Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff]] https://esolangs.org/w/index.php?diff=132712&oldid=132711 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (-1)
21:12:23 <esolangs> [[User:TheCanon2]] N https://esolangs.org/w/index.php?oldid=132713 * TheCanon2 * (+193) Creating my user page.
21:17:14 <esolangs> [[Txet]] https://esolangs.org/w/index.php?diff=132714&oldid=132631 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+85)
21:24:20 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:49:37 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=132715&oldid=132659 * TheCanon2 * (+13) /* S */ Added Sakana to the list.
21:54:43 -!- Sgeo has joined.
22:02:24 -!- cpressey has joined.
22:06:31 -!- tromp has joined.
22:29:35 <esolangs> [[Sakana]] https://esolangs.org/w/index.php?diff=132716&oldid=132694 * TheCanon2 * (+139) Added a few more reference programs.
22:30:36 -!- cpressey has quit (Quit: WeeChat 4.3.0).
22:32:43 <esolangs> [[Sakana]] M https://esolangs.org/w/index.php?diff=132717&oldid=132716 * TheCanon2 * (+3) /* Kon'nichiwa sekai */ (Hopefully) fixed a punctuation error.
22:41:48 -!- Noisytoot has quit (Ping timeout: 268 seconds).
22:46:30 <esolangs> [[Brainword]] N https://esolangs.org/w/index.php?oldid=132718 * Timothytomato * (+2113) created a stupid esolang
22:49:08 <esolangs> [[Brainword]] https://esolangs.org/w/index.php?diff=132719&oldid=132718 * Timothytomato * (+147) added stuff
22:49:24 <esolangs> [[EHTML]] https://esolangs.org/w/index.php?diff=132720&oldid=132698 * CadenC * (+91) Described type-of
22:51:58 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=132721&oldid=132170 * Timothytomato * (+16) added brainword (made by me)
23:04:58 <esolangs> [[Brainword]] https://esolangs.org/w/index.php?diff=132722&oldid=132719 * Timothytomato * (+136) added ZE BOX
23:07:01 -!- Noisytoot has joined.
23:16:47 -!- Noisytoot has quit (Excess Flood).
23:21:05 -!- X-Scale14 has joined.
23:21:12 -!- 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).
23:22:33 -!- Noisytoot has joined.
23:23:51 -!- X-Scale has quit (Ping timeout: 250 seconds).
23:25:42 <esolangs> [[Sakana]] https://esolangs.org/w/index.php?diff=132723&oldid=132717 * TheCanon2 * (+461) Added two more example programs
23:26:25 <esolangs> [[Sakana]] M https://esolangs.org/w/index.php?diff=132724&oldid=132723 * TheCanon2 * (+3) /* Print all* natural numbers */ Fixed a capitalisation error.
23:30:21 -!- chiselfuse has quit (Write error: Connection reset by peer).
23:30:42 -!- chiselfuse has joined.
23:32:19 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:42:45 <esolangs> [[Deadfish/Implementations (M-Z)]] https://esolangs.org/w/index.php?diff=132725&oldid=131930 * TheCanon2 * (+70)
23:54:21 -!- Koen has quit (Quit: Leaving...).
23:55:19 -!- Noisytoot has quit (Ping timeout: 272 seconds).