←2025-04-27 2025-04-28 2025-04-29→ ↑2025 ↑all
00:07:41 <esolangs> [[Caca]] https://esolangs.org/w/index.php?diff=156783&oldid=147995 * Mari * (+23)
00:17:34 <esolangs> [[Talk:Computational class]] https://esolangs.org/w/index.php?diff=156784&oldid=59972 * Corbin * (+540) /* Versus list of complexity classes */ new section
00:43:05 -!- 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:24:26 <esolangs> [[Horse]] https://esolangs.org/w/index.php?diff=156785&oldid=156781 * RainbowDash * (+788) Complete Rewrite
01:24:40 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156786&oldid=156785 * RainbowDash * (-1) /* Overview */
01:25:32 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156787&oldid=156786 * RainbowDash * (+16) /* Available Commands */
01:55:06 <esolangs> [[Special:Log/upload]] overwrite * RainbowDash * uploaded a new version of "[[File:HORSElogo.png]]"
02:20:53 <esolangs> [[Jot]] https://esolangs.org/w/index.php?diff=156789&oldid=156782 * Stkptr * (+811)
02:41:25 <esolangs> [[Special:Log/upload]] upload * RainbowDash * uploaded "[[File:Headerimage.png]]"
02:42:39 <esolangs> [[Horse]] https://esolangs.org/w/index.php?diff=156791&oldid=156787 * RainbowDash * (+33) header image test
02:43:17 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156792&oldid=156791 * RainbowDash * (+0) test
02:55:18 <esolangs> [[Special:Log/upload]] overwrite * RainbowDash * uploaded a new version of "[[File:Headerimage.png]]"
02:55:46 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156794&oldid=156792 * RainbowDash * (+0)
02:56:28 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156795&oldid=156794 * RainbowDash * (+0) moreheaderwork
02:56:41 <esolangs> [[Horse]] M https://esolangs.org/w/index.php?diff=156796&oldid=156795 * RainbowDash * (+1) agaaa
02:56:44 <esolangs> [[Special:Log/delete]] delete * Ais523 * deleted "[[File:Headerimage.png]]": offtopic, also likely to be a copyright violation
02:57:08 <esolangs> [[Horse]] https://esolangs.org/w/index.php?diff=156797&oldid=156796 * Ais523 * (-36) remove deleted image
02:57:40 -!- ais523 has quit (Quit: quit).
03:03:19 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=156798&oldid=156456 * RainbowDash * (+405) /* Deleted image file */ new section
04:17:45 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
04:18:23 -!- GregorR has joined.
05:48:09 <APic> Hi
05:51:00 <korvo> Hey.
05:58:16 <esolangs> [[Computational class]] https://esolangs.org/w/index.php?diff=156799&oldid=156769 * Stkptr * (-1017) /* Versus complexity */
06:05:01 -!- Sgeo has quit (Read error: Connection reset by peer).
06:10:30 <korvo> Ugh, people keep writing ChatGPT-flavored edits. We're gonna end up with hallucinated concepts.
06:27:09 -!- tromp has joined.
06:55:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
07:12:22 -!- tromp has joined.
07:21:42 -!- Lord_of_Life_ has joined.
07:22:34 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
07:23:05 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
07:27:29 <esolangs> [[Talk:Atemlanguage]] https://esolangs.org/w/index.php?diff=156800&oldid=156739 * TenBillionPlusOne * (+518)
07:27:50 <esolangs> [[Talk:Atemlanguage]] M https://esolangs.org/w/index.php?diff=156801&oldid=156800 * TenBillionPlusOne * (-1)
07:37:54 -!- xelxebar has quit (Ping timeout: 248 seconds).
07:39:38 <esolangs> [[User talk:Xyzzy]] https://esolangs.org/w/index.php?diff=156802&oldid=156653 * Xyzzy * (+189)
07:45:32 -!- xelxebar has joined.
07:47:45 -!- Noisytoot has quit (Excess Flood).
07:48:12 -!- Noisytoot has joined.
08:01:19 <b_jonas> korvo: yes, but a language claimed to be Turing-complete without mentioning how looping works, or an interpreter that doesn't work, they're hardly new to this wiki, we have lots of low-quality edits from many years ago like that
08:02:07 <korvo> b_jonas: That's fair.
08:02:27 <esolangs> [[Special:Log/newusers]] create * Somebody142857 * New user account
08:05:34 <b_jonas> though this particular non-working interpreter has much longer source code than the previous non-working interpreters. and the part that annoys me is not the non-working parts, like calling the Case function with a missing invocant, but the parts that actually work, namely the regexp that extracts bracketed statements and silently ignores everything else.
08:06:46 <b_jonas> that is for https://esolangs.org/wiki/Horse/Implementations
08:11:49 <b_jonas> ok, I take that back, the parts that don't work also annoy me
08:14:29 <b_jonas> specifically how it never actually tries to execute the increment and decrement statements, just collects them into a local array called signals and then mostly ignores them
08:16:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:28:57 <b_jonas> ok, so I think there's a global loop, and the interpreter suggests that a conditional skips the whole angle bracketed body of statements when it's false ( https://esolangs.org/wiki/Horse was unclear on how that works), which would actually make this Turing-complete because you can implement finite control and make each body run only in one state plus increment/decrement/zero-test counter registers
08:32:08 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156803&oldid=156719 * Somebody142857 * (+281)
08:44:12 -!- tromp has joined.
08:54:48 <b_jonas> ok, I was wrong. signals isn't ignored, though the contents of its elements is, and it does execute the increment and decrement statements, it just loops through them twice completely separately, once to check for collisions using the signals dict, and once to execute them.
09:06:47 <esolangs> [[User talk:KapitanGamer]] N https://esolangs.org/w/index.php?oldid=156804 * I am islptng * (+41) Redirected page to [[User talk:TenBillionPlusOne]]
09:10:20 <korvo> I need sleep, but in the morning, I'll document two-level syntax for Cammy. I have a self-applicable specializer, I think, although it currently doesn't actually do much optimization.
09:11:13 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=156805&oldid=156803 * Somebody142857 * (+5)
09:12:00 <esolangs> [[User talk:ZCX islptng]] https://esolangs.org/w/index.php?diff=156806&oldid=149611 * I am islptng * (+303)
10:13:23 <esolangs> [[Talk:Mlatu-6]] N https://esolangs.org/w/index.php?oldid=156807 * PkmnQ * (+316) Created page with "This seems to be a proper 2-combinator base of length 6: <pre> ? = ~,>+ (B)(A) -- ((AB))((AB)) ! = -< (B)(A) -- B < = ()! [for convenience, U is an abbreviation for (())?!<!] > = ()?U - = >U ~ = >(>)?U<<>?U<< + = ()?<~< , = ~?U< </pre> -~~~~"
10:19:17 -!- tromp has quit (Read error: Connection reset by peer).
10:27:22 -!- wib_jonas has joined.
10:27:37 <wib_jonas> what I said about `Case` in the interpreter program was wrong too
10:28:11 <wib_jonas> also, what the heck, since when does the esowiki have page revisions where the content is hidden but the metadata isn't? did it always work that way?
10:30:33 <wib_jonas> in particular, "https://esolangs.org/w/index.php?title=Esolang:Introduce_yourself&action=history&offset=20250201231246%7C151159" shows the date and user (but no link to contents nor summary) for some hidden revisions
10:49:21 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=156808&oldid=156805 * Somebody142857 * (+0)
11:03:39 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=156809&oldid=156798 * Ais523 * (+336) /* Deleted image file */ why decorative images are offtopic
11:04:56 -!- ais523 has joined.
11:05:14 <ais523> <wib_jonas> also, what the heck, since when does the esowiki have page revisions where the content is hidden but the metadata isn't? did it always work that way? ← I did that to stop the AI scrapers trying to scrape every revision of the page individually
11:05:24 <ais523> it was causing performance problems for the wiki
11:05:38 <ais523> because they were also trying to scrape all the pairs of diffs between them, too
11:06:07 <wib_jonas> ah
11:18:33 <wib_jonas> ok, so I can list the revision ids with the API like https://esolangs.org/w/api.php?action=query&prop=revisions&pageids=10933&rvslots=*&rvlimit=500&rvprop=ids|flags|timestamp|user|userid|sha1|contentmodel|tags|roles
11:19:10 <wib_jonas> so a sufficiently motivated user could still try to query diffs for every pair (and fail to get them because the revisions are hidden)
11:27:56 <wib_jonas> ok, now this is strange. the above query returns what it claims are sha1 checksums for non-hidden revisions, but doesn't show them for hidden revisions. but Special:Export shows claimed sha1 checksums even for the hidden revisions. I don't know if these are the same checksums for the same thing, I'll have to look, but this might be a data leak
11:27:57 <wib_jonas> about these semi-hidden revisions
11:31:14 <esolangs> [[User:Somebody142857/Sandbox]] N https://esolangs.org/w/index.php?oldid=156810 * Somebody142857 * (+1064) Created page with "{| class="wikitable" |+ Caption text |- ! Syntax !! What it does |- | <code>N(number)</code> || Creates number in D notation. |- | <code>B(name, value)</code> || Creates a new variable with name <code>name</code> and value <code>value</code>.
11:42:06 <wib_jonas> I don't understand how the sha1 values are encoded in the output of Special:Export
11:45:39 <esolangs> [[Tessenbly]] N https://esolangs.org/w/index.php?oldid=156811 * Somebody142857 * (+1551) Created page with "Tessenbly, or TSNBULIE, is an [[esoteric programming language]] made by [[User:Somebody142857]]. ==Instructions== {| class="wikitable" |+ Caption text |- ! Symbol !! What it does |- | <code>N(number)</code> || Creates number in D notation. |- | <code>B(name,
12:11:23 <wib_jonas> ais523: hold on, weren't the pairwise diffs blocked by a filter that matches the unnatural order of the query parameters?
12:19:16 -!- gry has joined.
12:33:32 <ais523> wib_jonas: we've tried more than one thing to stop the scrapers
12:33:42 <ais523> (there may even be multiple scrapers involved)
12:44:43 -!- wib_jonas has quit (Quit: Client closed).
12:46:17 -!- wib_jonas has joined.
12:56:10 -!- visilii has quit (Ping timeout: 272 seconds).
12:56:11 <esolangs> [[Tessenbly]] https://esolangs.org/w/index.php?diff=156812&oldid=156811 * Somebody142857 * (+649)
12:56:22 <esolangs> [[Tessenbly]] https://esolangs.org/w/index.php?diff=156813&oldid=156812 * Somebody142857 * (-44) /* Hello World */
13:03:32 <wib_jonas> the escaped sha1 checksums in the export are 31 characters long, every character is an ascii digit or ascii lowercase letter, each of those 36 characters can occur, but "u" to "z" don't occur in the first position. that seems to be the right entropy for a 160-bit sha1 checksum, let's see if I can decode them to match the checksums that are found
13:03:33 <wib_jonas> the API query
13:08:07 -!- irsissy has joined.
13:08:09 <irsissy> http://thereisnogenoci.de/
13:08:27 -!- ChanServ has set channel mode: +q *!*@p4fe0740d.dip0.t-ipconnect.de.
13:08:32 -!- ChanServ has set channel mode: +o int-e.
13:08:43 -!- int-e has set channel mode: +b-q *!*@p4fe0740d.dip0.t-ipconnect.de *!*@p4fe0740d.dip0.t-ipconnect.de.
13:08:46 -!- int-e has kicked irsissy irsissy.
13:08:52 -!- int-e has set channel mode: -o int-e.
13:13:58 <esolangs> [[UBLANG]] https://esolangs.org/w/index.php?diff=156814&oldid=120683 * Gapples2 * (+190) psa cc
13:16:21 -!- chiselfuse has quit (Remote host closed the connection).
13:16:35 -!- chiselfuse has joined.
13:22:00 <wib_jonas> yes, I got a match for at least one revision: if you decode the 31-character escaped sha1 string from the export from big endian base 36 and encode it as big endian hex, you get an sha1 string from the api revision list
13:23:58 -!- ais523 has quit (Ping timeout: 276 seconds).
13:26:10 <wib_jonas> also there are identical checksums for some pairs of hidden revisions in the export
13:26:35 <wib_jonas> I haven't verified whether the checksums in the api are indeed checksums of the text content as the documentation promises though
13:32:44 -!- ais523 has joined.
13:55:25 <gry> ais523: hi. have you tried cloudflare or something similar? and, what about allowing only logged in users to see page history? https://m.mediawiki.org/wiki/Extension:Lockdown can do it
13:56:14 <wib_jonas> fizzie: ping
13:58:35 <ais523> gry: I don't run the wiki
13:58:39 <ais523> just admin it
13:58:55 <gry> ais523: who runs the wiki?
13:58:59 <ais523> fizzie
13:59:15 <ais523> I am not sure whether or not we have a scraper problem at the moment – if we can do we can look into further countermeasures
13:59:15 <gry> fizzie: hi. have you tried cloudflare or something similar? and, what about allowing only logged in users to see page history? https://m.mediawiki.org/wiki/Extension:Lockdown can do it
13:59:48 <esolangs> [[Tessenbly]] https://esolangs.org/w/index.php?diff=156815&oldid=156813 * Somebody142857 * (+427)
13:59:50 <gry> bbiab
14:00:01 <wib_jonas> gry: fizzie manages the host, ais523 is the most active in daily admin actions
14:01:26 -!- wib_jonas has quit (Quit: Client closed).
14:01:48 -!- wib_jonas has joined.
14:06:33 -!- impomatic has joined.
14:11:47 <gry> wib_jonas: i had a host owner die in 2020. i recommend having a group of at least two. a bit of a random note.
14:12:16 <gry> lost the whole server. backups were anecdotal.
14:14:54 <wib_jonas> gry: I think some people have downloaded a dump of the public data of the wiki, so only the non-public data like passwords and hidden revisions would be lost, and possibly the uploaded files
14:15:28 <gry> right
14:19:07 -!- impomatic has quit (Quit: Client closed).
14:26:17 <esolangs> [[Tessenbly]] https://esolangs.org/w/index.php?diff=156816&oldid=156815 * Somebody142857 * (+208)
14:56:55 <wib_jonas> about the abovementioned downloadable dump of public data on the wiki, info is at https://esolangs.org/wiki/Esolang:Wiki_dumps
14:57:05 <esolangs> [[Special:Log/newusers]] create * Pericles * New user account
15:01:43 <esolangs> [[Special:Log/newusers]] create * Gracen * New user account
15:02:22 -!- wib_jonas has quit (Quit: wib_jonas).
15:07:51 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156817&oldid=156808 * Pericles * (+141)
15:13:20 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156818&oldid=156774 * Zhil * (+240) Added names to the 3-combinator base combinators
15:17:30 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156819&oldid=156817 * Gracen * (+241) /* Introductions */ introduce myself
15:17:52 <esolangs> [[User:Gracen/vector-2022.css]] N https://esolangs.org/w/index.php?oldid=156820 * Gracen * (+218) copy custom vector-2022 style from Wikipedia
15:18:13 <esolangs> [[User:Gracen/vector-2022.css]] https://esolangs.org/w/index.php?diff=156821&oldid=156820 * Gracen * (+0) make font size smaller
15:26:25 <esolangs> [[Rewind]] N https://esolangs.org/w/index.php?oldid=156822 * JIT * (+743) Created page with "[[Reverse]] was taken, so I did Rewind Rewind is an esolang by [[User:JIT]] ''"What if you can just reverse lines of the code?"'' {| class="wikitable" |+ :) |- ! commands !! what they do |- | +n || +n |- | -n || -n |- | change NAME || change to a new variable NAME |- | rew
15:27:32 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=156823&oldid=156685 * JIT * (+13)
15:37:36 <fizzie> I did want to restrict history/diffs to logged-in users only, but couldn't find an obvious way to do it. Looks like that extension would be a way to do it. I may try to install it the next time I do a MediaWiki upgrade.
15:39:03 -!- craigo has joined.
15:39:10 <fizzie> Haven't thought about Cloudflare and such. At least the last couple times of problematic scraping, pretty much every URL was unique, and I'm not sure how much Cloudflare would really do about that.
15:40:13 <int-e> hmm. that'll be inconvenient in connection with the esolangs bot
15:41:52 <fizzie> Yeah, I'm mostly not logged in either when I look at those links.
15:42:19 <fizzie> I might still install the extension though, so I can at least enable it temporarily when there's trouble.
15:42:36 <int-e> but if it's necessary to reduce the server load... tough luck I guess :-(
15:43:18 <korvo> gry: FWIW CloudFlare is usually not a solution as much as a new problem. There can be cases when it's a decent call, like when their Argo product applies, but in those cases I'd usually recommend an off-the-shelf community VPN.
15:43:56 <korvo> Similarly, there are packages like Anubis which are trendy right now but don't necessarily solve the problem.
15:44:54 <int-e> I hate that CDNs actually have an advantage when it comes to blocking scrapers too... simply because they can aggregate information across a multitude of websites.
15:45:20 <fizzie> CPU load on the server has been okay now, though looks like there was again an episode around Friday-Saturday that I guess wasn't caught by the ad-hoc filtering rules that we had around CGI parameter order.
15:45:58 <int-e> CF in particular is often obnoxious, presenting me with captchas or obfuscating "email addresses" (half of the time they're just code snippets)
15:46:26 <int-e> The Internet is a terrible place full of bad actors small and big ;-)
15:49:16 <fizzie> I am using one of those big providers' free-tier plan for the wiki emails, though, because the email ecosystem is just...
16:34:03 <esolangs> [[Bitforth]] N https://esolangs.org/w/index.php?oldid=156824 * Pericles * (+2772) Created page with "'''Bitforth''' is an ultra-minimal subset of [[Forth]] that achieves Turing completeness using only: * A data stack and a call stack * Integer literals (0, 1, -1) * Colon definitions with calls/returns (including recursion) * Multi-way branches (<code>CASE ... OF ...
16:39:04 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=156825&oldid=156823 * Pericles * (+15)
16:43:32 <esolangs> [[Stacks of Queues]] https://esolangs.org/w/index.php?diff=156826&oldid=94179 * Stkptr * (+1949) Turing complete
16:43:51 <esolangs> [[Stacks of Queues]] M https://esolangs.org/w/index.php?diff=156827&oldid=156826 * Stkptr * (-1) /* Computational Class */
16:44:49 <esolangs> [[Stacks of Queues]] M https://esolangs.org/w/index.php?diff=156828&oldid=156827 * Stkptr * (+0) /* Computational Class */
16:46:45 <b_jonas> is it just me or is it weird that this radix converts a whole 160 bit long bigint?
16:53:52 <b_jonas> fizzie: not caught by the rule for parameter ordering, thank you
16:55:21 <esolangs> [[Talk:Atemlanguage]] https://esolangs.org/w/index.php?diff=156829&oldid=156801 * Stkptr * (+914)
16:57:04 <esolangs> [[Special:Log/newusers]] create * JORE * New user account
17:06:23 <esolangs> [[Bitforth]] https://esolangs.org/w/index.php?diff=156830&oldid=156824 * Stkptr * (+141)
17:14:54 <int-e> b_jonas: eh it's a principled approach to save some characters compared to hex strings
17:17:06 <int-e> it probably ends up doing this (after sha1_file) for most Linux systems: https://github.com/wikimedia/base-convert/blob/master/src/Functions.php#L76
17:17:52 <int-e> (with bases 16 and 36)
17:18:28 <int-e> And "probably" is to allow for systems that do not have GMP.
17:26:07 <b_jonas> int-e: hehe, that gets even more silly with how $baseChars has single digit conversion in both directions in the same dict -- though it's only for the unlikely fallback case
17:30:24 <esolangs> [[User talk:Gapples2]] https://esolangs.org/w/index.php?diff=156831&oldid=100234 * Stkptr * (+444) /* Congratulations, and thanks */ new section
17:38:09 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=156832&oldid=156819 * JORE * (+134) /* Introductions */
17:38:33 <esolangs> [[Assembely]] N https://esolangs.org/w/index.php?oldid=156833 * JORE * (+2129) Created page with "== Assembely == This is a fun modification of '''AMD64''' assembly language to look quirky. "Assembely" is a typo of "Assembly" word. === MOV Operation === This operation allows to change a register, which can used as a flag. Syntax: '''MOV''' x, y Operation: R'''x''
17:45:54 <esolangs> [[Assembely]] https://esolangs.org/w/index.php?diff=156834&oldid=156833 * JORE * (+148)
17:46:13 <zzo38> Restricting to logged-in users only would be something to do I think. However, I think Cloudflare has problems and should not be used
17:51:08 <esolangs> [[Pit]] https://esolangs.org/w/index.php?diff=156835&oldid=94836 * Gapples2 * (+979) tc proof
18:11:38 <b_jonas> int-e: kind of, as in it's a format optimized for readers being able to guess the exact encoding. but this is in an xml dump that contain the full text of every revision of the page in the xml, and the sha1 checksum is repeated twice for every revision, so it's a very particular microoptimization if you want to save some characters this way
18:12:22 -!- impomatic has joined.
18:12:37 <b_jonas> it's like someone tried to use it as a key into a database and wanted to save space in that column, but couldn't quite figure out how to make the database column use case-sensitive comparisons, or how to store arbitrary binary data
18:13:16 <b_jonas> which is funny because mediawiki has case-sensitive titles stored in presumably the same database
18:13:23 <b_jonas> page titles
18:15:02 <int-e> b_jonas: funnily enough, at least one of those XML dump fields i actually named sha1base36... but most aren't: https://www.mediawiki.org/wiki/API:Filearchive look for fasha1base36
18:16:34 <int-e> they also have some hash-addressable stuff in there (glimpsed in passing, don't know any details)
18:17:24 <b_jonas> I know mediawiki can find file uploads by some kind of checksum, it can warn you about an exact dupe when you try to upload a file
18:18:12 <b_jonas> I know because I tried to upload files of which some were duplicates
18:20:02 <b_jonas> anyway, this means mediawiki uses base36 radix converted sha1 checksums elsewhere as well
18:22:46 <b_jonas> yeah, https://www.mediawiki.org/w/api.php?action=help&modules=query%2Ballimages can search files by sha1
18:22:48 <int-e> > logBase 36 2 * 160
18:22:49 <lambdabot> 30.948224578763327
18:22:57 <b_jonas> in base36 too
18:23:41 <int-e> > 31/40
18:23:42 <lambdabot> 0.775
18:24:36 <int-e> > 48/32 -- hmm maybe this is what it is with 0-byte and 8-byte alignment
18:24:38 <lambdabot> 1.5
18:25:18 <int-e> (I'm speculating whether this leads to substantial memory savings somehow... it might!)
18:28:03 <b_jonas> maybe it uses this character set so it can be used for filenames on a case insensitive file systems
18:29:15 <int-e> > 36 ** 0.948224578763327
18:29:17 <lambdabot> 29.903655663246074
18:29:34 <int-e> pretty close to an integer too, neat
18:29:39 <b_jonas> yes
18:42:50 <esolangs> [[Cammy]] https://esolangs.org/w/index.php?diff=156836&oldid=153808 * Corbin * (+1762) Sometimes the quickest way to climb a mountain is also the steepest. Add two-level type theory.
18:43:30 <korvo> So the bad news is that I was up until 4AM last night. The good news is that I apparently figured out partial evaluation for Cammy.
18:47:17 -!- impomatic has quit (Quit: Client closed).
18:47:48 -!- visilii has joined.
18:52:31 <esolangs> [[Lengthwise]] https://esolangs.org/w/index.php?diff=156837&oldid=99053 * Gapples2 * (+116) fsa proof i think
19:17:38 <esolangs> [[Talk:Atemlanguage]] https://esolangs.org/w/index.php?diff=156838&oldid=156829 * TenBillionPlusOne * (+967) Explanation
19:19:09 <esolangs> [[Talk:Atemlanguage]] M https://esolangs.org/w/index.php?diff=156839&oldid=156838 * TenBillionPlusOne * (-3)
19:21:43 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156840&oldid=156818 * Stkptr * (+896)
19:24:08 <esolangs> [[Mechanicum]] N https://esolangs.org/w/index.php?oldid=156841 * Bellawawa * (+2806) Created page with "'''Mechanicum''' is an esoteric programming language inspired by Warhammer 40K's Adeptus Mechanicus faction, loosely inspired by [[Shakespeare]] and [[Olympus]]. This was made for a uni project as an exercise in learning how to make an interpreter, and is thus so
19:25:34 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=156842&oldid=156825 * Bellawawa * (+17) /* M */
19:27:34 -!- GregorR has quit (Quit: Ping timeout (120 seconds)).
19:28:21 <esolangs> [[Mechanicum]] https://esolangs.org/w/index.php?diff=156843&oldid=156841 * Stkptr * (+76)
19:28:52 -!- GregorR has joined.
19:34:25 -!- tromp has joined.
19:41:11 <esolangs> [[Talk:IRPT]] https://esolangs.org/w/index.php?diff=156844&oldid=131679 * TenBillionPlusOne * (+94)
19:55:56 <esolangs> [[8 bits, 6 bytes]] M https://esolangs.org/w/index.php?diff=156845&oldid=154422 * Darkloyd255 * (+9) Language kinda sucks. C'mon, add more content!
20:00:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:01:51 -!- tromp has joined.
20:04:53 -!- amby has joined.
20:07:09 <esolangs> [[Stackowey]] https://esolangs.org/w/index.php?diff=156846&oldid=155793 * Lampe2020 * (-31) /* Syntax */ Remove overspecification - that was an implementation detail that slipped through into the language definition, oops :)
20:08:05 <esolangs> [[Stackowey]] https://esolangs.org/w/index.php?diff=156847&oldid=156846 * Lampe2020 * (-14) /* Syntax */ Remove superfluous "Note"
20:29:24 <esolangs> [[Lengthwise]] https://esolangs.org/w/index.php?diff=156848&oldid=156837 * Hotcrystal0 * (-3) Fixes
20:29:40 <esolangs> [[Lengthwise]] M https://esolangs.org/w/index.php?diff=156849&oldid=156848 * Hotcrystal0 * (+1)
20:41:59 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=156850&oldid=156842 * Buckets * (+72)
20:42:24 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=156851&oldid=156686 * Buckets * (+71)
20:42:37 <esolangs> [[NEH]] N https://esolangs.org/w/index.php?oldid=156852 * Buckets * (+2623) Created page with "{{wrongtitle|title=NE<span style="background-color:Default;color:Blue;">H</span>}} NE<span style="background-color:Default;color:Blue;">H</span> is An esoteric programming language created by [[User:Buckets]] in 2021. Use , , , , , , , , , & for walls. {| class="wikitabl
20:45:35 <esolangs> [[Cammy]] https://esolangs.org/w/index.php?diff=156853&oldid=156836 * Corbin * (+1133) Break out some of the bibliography. I'm giving additional links to PDFs for all of these.
20:59:21 <esolangs> [[Mlatu-6]] https://esolangs.org/w/index.php?diff=156854&oldid=156840 * Zhil * (+251) Major rewrite of semantics
21:01:32 <esolangs> [[Mlatu-6]] M https://esolangs.org/w/index.php?diff=156855&oldid=156854 * Zhil * (+0)
21:05:38 -!- m5zs7k has quit (Ping timeout: 252 seconds).
21:08:08 -!- m5zs7k has joined.
21:08:36 <esolangs> [[Hagino CPL]] N https://esolangs.org/w/index.php?oldid=156856 * Corbin * (+1116) Fine, let's stub this already.
21:10:41 <esolangs> [[Spacefish]] https://esolangs.org/w/index.php?diff=156857&oldid=37947 * Gapples2 * (+987) tc
21:12:00 <esolangs> [[Cammy]] https://esolangs.org/w/index.php?diff=156858&oldid=156853 * Corbin * (-272) Remove awkward mention of Hagino CPL; instead, there's now a bluelink.
21:25:28 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:50:47 <esolangs> [[Braincrypt]] M https://esolangs.org/w/index.php?diff=156859&oldid=156688 * Buckets * (+0)
22:38:56 -!- craigo has quit (Quit: Leaving).
22:51:25 -!- Sgeo has joined.
23:57:49 -!- 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).
←2025-04-27 2025-04-28 2025-04-29→ ↑2025 ↑all