00:13:02 -!- FreeFull has quit (Ping timeout: 244 seconds).
00:39:01 -!- 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).
01:00:04 <esolangs> [[SICO]] M https://esolangs.org/w/index.php?diff=156698&oldid=110778 * Unl256 * (-9) /* External resources */
01:00:22 <esolangs> [[SICO]] M https://esolangs.org/w/index.php?diff=156699&oldid=156698 * Unl256 * (-7) /* Comparisons vs Subleq */
02:05:04 -!- op_4 has quit (Remote host closed the connection).
02:05:36 -!- op_4 has joined.
03:43:51 <esolangs> [[Double Helix]] https://esolangs.org/w/index.php?diff=156700&oldid=77732 * Stkptr * (+1980) /* Computation */
03:44:45 <esolangs> [[Double Helix]] M https://esolangs.org/w/index.php?diff=156701&oldid=156700 * Stkptr * (+29)
04:09:30 <esolangs> [[Brainfuck Encoded Concatenative Calculus]] M https://esolangs.org/w/index.php?diff=156702&oldid=124017 * Stkptr * (+4)
04:14:26 <esolangs> [[Ask-calculus]] https://esolangs.org/w/index.php?diff=156703&oldid=73242 * Stkptr * (+48)
04:15:29 <esolangs> [[Ask-calculus]] https://esolangs.org/w/index.php?diff=156704&oldid=156703 * Stkptr * (+11) /* See also */
04:22:50 <esolangs> [[Special:Log/newusers]] create * Aradiamegido * New user account
04:22:57 <esolangs> [[User:Stkptr]] https://esolangs.org/w/index.php?diff=156705&oldid=156683 * Stkptr * (+225)
04:24:32 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156706&oldid=156689 * Aradiamegido * (+143)
04:28:59 <esolangs> [[User:Stkptr]] https://esolangs.org/w/index.php?diff=156707&oldid=156705 * Stkptr * (+68)
04:33:17 <esolangs> [[MAIACORD]] N https://esolangs.org/w/index.php?oldid=156708 * Aradiamegido * (+344) Created page with "'''MAIACORD''' is a legitimate and esoteric programming language invented by Discord user Aradia Meigdo. The blank program will result in "MAIACORD" being printed to STDOUT, and any other program will fail. ==Examples== INPUT: <pre> </pre> STDOUT: <pre> MAIAC
04:39:51 <esolangs> [[User:Stkptr]] https://esolangs.org/w/index.php?diff=156709&oldid=156707 * Stkptr * (+117)
05:56:13 <esolangs> [[Category:Nope. derivatives]] M https://esolangs.org/w/index.php?diff=156710&oldid=115570 * Stkptr * (+29)
05:57:39 <esolangs> [[MAIACORD]] https://esolangs.org/w/index.php?diff=156711&oldid=156708 * Stkptr * (+112)
06:46:54 -!- tromp has joined.
06:47:33 -!- tromp has quit (Client Quit).
06:50:06 -!- tromp has joined.
07:21:48 -!- Lord_of_Life_ has joined.
07:22:49 -!- Lord_of_Life has quit (Ping timeout: 276 seconds).
07:23:13 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
07:24:17 -!- ais523 has quit (Quit: quit).
08:58:31 -!- Sgeo has quit (Read error: Connection reset by peer).
10:21:03 -!- amby has joined.
10:44:44 <esolangs> [[JSCall]] M https://esolangs.org/w/index.php?diff=156712&oldid=88465 * Hakerh400 * (+29)
11:17:50 <esolangs> [[Def run(t):]] https://esolangs.org/w/index.php?diff=156713&oldid=149358 * PkmnQ * (+26) /* Turing Completeness */ slight correction
11:50:44 <esolangs> [[Atemlanguage]] N https://esolangs.org/w/index.php?oldid=156714 * TenBillionPlusOne * (+754) Created page with "'''Atemlanguage''' is a concept invented by [[User:TenBillionPlusOne]] dual to the concept of [[metalanguage]]. Generally speaking, metalanguage of L is a language that has a program that takes an input and executes it as in L. However, ''atemlanguage'' o
11:57:16 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156715&oldid=155985 * TenBillionPlusOne * (+181)
11:59:30 <esolangs> [[Atemlanguage]] https://esolangs.org/w/index.php?diff=156716&oldid=156714 * TenBillionPlusOne * (+61)
12:24:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:39:01 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156717&oldid=156695 * Zhil * (-9)
12:48:04 <esolangs> [[Special:Log/newusers]] create * TBPO * New user account
12:52:24 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156718&oldid=156706 * TBPO * (+108)
12:53:55 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=156719&oldid=156718 * TBPO * (+3)
13:08:03 <esolangs> [[User:TBPO]] N https://esolangs.org/w/index.php?oldid=156720 * TBPO * (+36) Redirected page to [[User:TenBillionPlusOne]]
13:15:42 <esolangs> [[User talk:TBPO]] N https://esolangs.org/w/index.php?oldid=156721 * TBPO * (+383) Created page with "This user was created only to allow to shorten my username when I'm too lazy to write my full username. '''WARNING'''<br> After this edit I'll log out and never log in to this user again. If any edits are made after I'll leave this account, then this means that this
13:20:17 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156722&oldid=156715 * TenBillionPlusOne * (+90)
13:23:21 <esolangs> [[Atemlanguage]] https://esolangs.org/w/index.php?diff=156723&oldid=156716 * TenBillionPlusOne * (-11)
13:40:36 -!- tromp has joined.
14:06:47 -!- impomatic has joined.
14:23:06 <esolangs> [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=156724&oldid=156674 * PrySigneToFry * (+48)
14:33:25 <esolangs> [[Taurus]] https://esolangs.org/w/index.php?diff=156725&oldid=156603 * PrySigneToFry * (+7)
14:54:02 <esolangs> [[I/M Machine]] N https://esolangs.org/w/index.php?oldid=156726 * TenBillionPlusOne * (+2390) Created page with "'''I/M Machine''' is an esoteric programming language made by [[User:TBPO]]. ==Overview== The only memory I/M Machine uses is onle accumulator, which is set initially to 1. The program consists of natural numbers of natural numbers separated by whitespac
14:56:49 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156727&oldid=156722 * TenBillionPlusOne * (+63)
14:58:39 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156728&oldid=156726 * TenBillionPlusOne * (-1) /* Infinite I/M Machine */
15:03:15 <esolangs> [[BooleanFunge]] https://esolangs.org/w/index.php?diff=156729&oldid=155999 * TenBillionPlusOne * (-57)
15:09:34 -!- FreeFull has joined.
15:18:14 <esolangs> [[I/M Machine]] https://esolangs.org/w/index.php?diff=156730&oldid=156728 * TenBillionPlusOne * (+514)
15:20:30 -!- impomatic has quit (Ping timeout: 240 seconds).
15:24:40 <esolangs> [[Charred]] M https://esolangs.org/w/index.php?diff=156731&oldid=156420 * Gapples2 * (-6) BSM category -> FSA category
15:27:31 <esolangs> [[OISC]] https://esolangs.org/w/index.php?diff=156732&oldid=155426 * TenBillionPlusOne * (+117) /* List of OISCs */
15:29:20 <esolangs> [[OISC]] https://esolangs.org/w/index.php?diff=156733&oldid=156732 * TenBillionPlusOne * (-31) /* List of OISCs */
15:33:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:37:30 <esolangs> [[I/M Machine]] https://esolangs.org/w/index.php?diff=156734&oldid=156730 * TenBillionPlusOne * (+229)
15:38:34 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156735&oldid=156734 * TenBillionPlusOne * (+0) Fixed typo
15:41:20 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156736&oldid=156735 * TenBillionPlusOne * (+0) /* Relationship to InterpretMe */
15:43:14 <esolangs> [[Special:Log/upload]] upload * RainbowDash * uploaded "[[File:HORSElogo.png]]"
15:51:55 <esolangs> [[Metacompiler]] https://esolangs.org/w/index.php?diff=156738&oldid=156447 * Corbin * (+1911) Cite the confusing art of partial evaluation.
15:53:01 <esolangs> [[Talk:Atemlanguage]] N https://esolangs.org/w/index.php?oldid=156739 * Corbin * (+279) More details? I don't want to unilaterally declare this a joke concept, but it seems to only be used for joke languages.
15:57:01 <korvo> I think I need to add a .input section to Zaddy programs which declares an input string. I'm also thinking that I might need to allow multiple .syntax sections in one program.
15:57:39 <korvo> I realized that it's potentially *not bad* to have a parser which internally is a composition of multiple parsers, each emitting strings into the next. All of the asymptotic results about optimization should still apply.
15:58:24 <korvo> And maybe that suggests a more pure partial-evaluation strategy that allows for unconsumed/unused input to be "left over" in the residual program after compilation.
15:59:35 <korvo> What do other folks call "left overs"? It's a USA term for extra food not eaten at the end of a meal, and we use it to talk about unconsumed input in a variety of contexts. When writing network-protocol parsers, for example, there's often the "leftovers problem" of dealing with half-eaten packets.
16:02:16 <int-e> "leftover" is good. "remainder" sounds a bit more serious maybe
16:03:58 <korvo> https://ro-che.info/ccc/15 reminded of this riff on https://xkcd.com/224/
16:05:45 <korvo> There's always this sort of state in any parser. libc has a buffer of input chars. PEGs have infinite lookahead. Even LL(k) parsers have k chars in the buffer.
16:07:39 -!- tromp has joined.
16:09:15 <korvo> Also I'm regretting moving to RPython so quickly. The most interesting part of metacompilation is self-applicable specialization, which means that extraction to RPython should be a secondary function performed by a specialized compiler.
16:09:49 <korvo> And also specialization via taking multiple arguments. So a Zaddy program should have multiple .syntax sections to accept one syntax per argument.
16:18:34 <b_jonas> yes, but in particular the libc scanf parser is defined to require just one character of buffer: if you try to read "+foo" as a number with "%lg" format then the + is not consumed, but if you try to read "+3.2E+foo" then the "E+" are consumed so that scanf doesn't have to look ahead two characters, and similarly reading a numeric input that would cause overflow consumes all the digits because scanf
16:18:40 <b_jonas> isn't allowed to peek ahead so much as to tell if there'll be an overflow
16:20:46 <b_jonas> though oddly trying to read " 0xinvalid" doesn't consume anything, not even the spaces, I don't know what's up with that
16:23:53 <b_jonas> it probably does consume the spaces, just doesn't run the %n directive after the floating point parsing fails
16:32:21 <esolangs> [[Horse]] N https://esolangs.org/w/index.php?oldid=156740 * RainbowDash * (+4619) Created page with "{{infobox proglang |name=Horse |author=[[user:RainbowDash|RainbowDash]] |year=[[:Category:2025|2025]] |files=<code>.horse</code> }} [[File:HORSElogo.png|246px|thumb|alt=9 different colored horses in the style of a cave painting with the text "Horse" in the bottom left
16:33:58 <esolangs> [[Horse/Implementations]] N https://esolangs.org/w/index.php?oldid=156741 * RainbowDash * (+9875) Created page with "Python (ChatGPT wrote this, but it's tested) <pre> import re import sys import random class Statement: pass class IncrStmt(Statement): def __init__(self, target, amount): self.target = target self.amount = amount class DecrSt
16:35:34 <esolangs> [[Horse/Implementations]] M https://esolangs.org/w/index.php?diff=156742&oldid=156741 * RainbowDash * (+4)
16:36:14 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156743&oldid=156740 * RainbowDash * (+77)
16:37:46 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156744&oldid=156743 * RainbowDash * (+4)
16:39:54 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156745&oldid=156744 * RainbowDash * (+12)
16:47:44 <esolangs> [[Special:Log/upload]] overwrite * RainbowDash * uploaded a new version of "[[File:HORSElogo.png]]"
16:48:33 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156747&oldid=156745 * RainbowDash * (-26)
16:49:00 <esolangs> [[User:RainbowDash]] M https://esolangs.org/w/index.php?diff=156748&oldid=156636 * RainbowDash * (+14)
16:54:48 -!- chiselfuse has quit (Ping timeout: 264 seconds).
16:56:16 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156749&oldid=156747 * RainbowDash * (+300)
16:59:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:08:11 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156750&oldid=156717 * PkmnQ * (-83) /* Base Lengths */
17:21:18 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156751&oldid=156727 * TenBillionPlusOne * (-77)
17:21:51 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156752&oldid=156736 * TenBillionPlusOne * (+22)
17:24:56 <esolangs> [[I/M Machine]] https://esolangs.org/w/index.php?diff=156753&oldid=156752 * TenBillionPlusOne * (+307)
17:25:11 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156754&oldid=156753 * TenBillionPlusOne * (+1)
17:25:42 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156755&oldid=156754 * TenBillionPlusOne * (+0)
17:27:31 -!- impomatic has joined.
17:32:15 -!- tromp has joined.
17:39:23 <esolangs> [[Atemlanguage]] https://esolangs.org/w/index.php?diff=156756&oldid=156723 * TenBillionPlusOne * (+84)
17:41:03 <esolangs> [[I/M Machine]] M https://esolangs.org/w/index.php?diff=156757&oldid=156755 * TenBillionPlusOne * (-2) /* Overview */
17:43:13 -!- ais523 has joined.
17:43:47 <ais523> <korvo> What do other folks call "left overs"? ← in British English, "leftovers" (with no space and always plural), but I think it's mostly only ever used for remaining food
17:45:23 <esolangs> [[I/M Machine]] https://esolangs.org/w/index.php?diff=156758&oldid=156757 * TenBillionPlusOne * (+68) /* Example programs */
17:47:28 <esolangs> [[I/M Machine]] https://esolangs.org/w/index.php?diff=156759&oldid=156758 * TenBillionPlusOne * (+54)
17:48:53 <korvo> Does atemlanguage make sense to anybody else? I can't quite figure it out.
18:00:49 <esolangs> [[User talk:Quintopia]] N https://esolangs.org/w/index.php?oldid=156760 * TenBillionPlusOne * (+207) Created page with "==ResPlicate is the Best== Can you make more ResPlicate derivatives? I '''love''' that esolang and I'm a big fan! :) ~~~~"
18:04:56 <ais523> korvo: I think that what they're doing is to take an arbitrary executable, treat it as though it were a programming language interpreter, and attempt to determine what language it implements
18:05:56 <ais523> I am not sure whether or not that actually matches the description in the article
18:06:30 <korvo> Aha, that makes sense. So in some sense they have a fixed semantics (Thue, more or less?) and are searching for interesting languages over it.
18:07:14 <korvo> As opposed to the partial-evaluation dream of a fixed syntax (BNF, more or less?) which has a semantics that is both rich enough for self-application and simple enough to implement without losing sanity.
18:26:32 <esolangs> [[Talk:Half-Broken Car in Heavy Traffic]] https://esolangs.org/w/index.php?diff=156761&oldid=33667 * TenBillionPlusOne * (+155)
18:33:31 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156762&oldid=156751 * TenBillionPlusOne * (+365)
18:35:44 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156763&oldid=156762 * TenBillionPlusOne * (+53) /* My favs */
19:03:41 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156764&oldid=156763 * TenBillionPlusOne * (-54)
19:07:14 <esolangs> [[User:TenBillionPlusOne]] https://esolangs.org/w/index.php?diff=156765&oldid=156764 * TenBillionPlusOne * (+7)
19:10:07 <esolangs> [[BooleanFunge]] https://esolangs.org/w/index.php?diff=156766&oldid=156729 * TenBillionPlusOne * (+9)
19:11:13 -!- impomatic has quit (Quit: Client closed).
19:16:13 <esolangs> [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=156767&oldid=156219 * TenBillionPlusOne * (+130)
19:19:22 -!- chiselfuse has joined.
19:27:25 -!- Sgeo has joined.
19:35:41 <esolangs> [[User:Gapples2]] https://esolangs.org/w/index.php?diff=156768&oldid=94153 * Gapples2 * (+1400) user page revamp
19:50:51 -!- ais523 has quit (Ping timeout: 252 seconds).
20:10:23 <esolangs> [[Computational class]] https://esolangs.org/w/index.php?diff=156769&oldid=156694 * Stkptr * (+1520) /* Versus complexity */
20:11:46 -!- ais523 has joined.
21:18:42 <esolangs> [[User:I am islptng/My rate to the user I know]] https://esolangs.org/w/index.php?diff=156770&oldid=152793 * I am islptng * (-102)
21:27:29 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156771&oldid=156750 * Zhil * (+295) Added section on open challenges
21:27:55 <esolangs> [[Mlatu-6]] M https://esolangs.org/w/index.php?diff=156772&oldid=156771 * Zhil * (+0) Syntax
21:29:31 <esolangs> [[Mlatu-6]] M https://esolangs.org/w/index.php?diff=156773&oldid=156772 * Zhil * (+44) Improved readability
22:00:29 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156774&oldid=156773 * Zhil * (+120) The 3-combinator base seems unique
22:04:23 <esolangs> [[User:Stkptr/Sandbox]] N https://esolangs.org/w/index.php?oldid=156775 * Stkptr * (+423) Created page with "== [[Queuenanimous]] == We can represent several unary numbers in the queue by having ones be 10 and separators be 00. If a unary number is at the head of the queue, we can subtract one from it using <code>[]</code>, which pops off the 1, loops back, then pop
22:06:11 <esolangs> [[User:Stkptr/Sandbox]] https://esolangs.org/w/index.php?diff=156776&oldid=156775 * Stkptr * (+53)
22:07:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:07:58 <esolangs> [[Queuenanimous]] https://esolangs.org/w/index.php?diff=156777&oldid=156614 * Stkptr * (+52) /* Computational class */
22:53:03 <esolangs> [[User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF]] https://esolangs.org/w/index.php?diff=156778&oldid=156724 * Hotcrystal0 * (+66)
23:20:11 <esolangs> [[Jot]] M https://esolangs.org/w/index.php?diff=156779&oldid=155677 * Stkptr * (+3) The complexity class is "infinity" its computational class is turing complete
23:23:29 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156780&oldid=156749 * RainbowDash * (-41)
23:24:26 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156781&oldid=156780 * RainbowDash * (+27)
23:59:28 <esolangs> [[Jot]] M https://esolangs.org/w/index.php?diff=156782&oldid=156779 * Stkptr * (+0)