User contributions for Corbin

12 August 2025

• 16:4816:48, 12 August 2025 diff hist +31‎ Wouter van Oortmerssen ‎ Update links, add bluelinks. current
• 16:4216:42, 12 August 2025 diff hist +550‎ N Lobster ‎ Stub a WVO language that keeps re-appearing in my periphery. current
• 05:0405:04, 12 August 2025 diff hist +557‎ Talk:Obscure ‎ Good question! current
• 01:3001:30, 12 August 2025 diff hist +1,034‎ N Witsaff/Appendix ‎ Add a script that reproduces the non-trivial simulation-based result on the main page. current

11 August 2025

• 23:5823:58, 11 August 2025 diff hist +1,215‎ Witsaff ‎ →‎Semantics: Fully work the nastiest sort of example that can occur, or at least the nastiest example I've imagined. current
• 21:2321:23, 11 August 2025 diff hist +2,811‎ Witsaff ‎ →‎Semantics: Organize. Add subsections on stationary distributions and logic.
• 20:2420:24, 11 August 2025 diff hist +3,541‎ Witsaff ‎ →‎Semantics: Everything in my notes that I have re-proven, double-checked, or freshly derived.
• 01:0101:01, 11 August 2025 diff hist +623‎ User talk:Ais523 ‎ →‎About the new addition to Esolang:Policy: Give an opinion that nobody asked for.

10 August 2025

• 21:1921:19, 10 August 2025 diff hist +3,824‎ Witsaff ‎ Semantics. This is transposed from how I originally imagined it but I don't think it matters. I need to double-check some stuff before I finish this section, but it's mostly done.
• 19:5619:56, 10 August 2025 diff hist +3,861‎ Witsaff ‎ All of the syntax in my notes. Examples are cribbed from partial descriptions of Zelda 3, Metroid 3, and Chrono Trigger which I drafted in 2023 and given here to public domain.
• 19:0419:04, 10 August 2025 diff hist +3,810‎ N Witsaff ‎ Stub an old note. Trying to clean out my old folders.

9 August 2025

• 23:3323:33, 9 August 2025 diff hist +37‎ Computable ‎ →‎Via category theory: Fix up bad phrasing and overly-broad statement. current
• 23:1523:15, 9 August 2025 diff hist +1,431‎ Computable ‎ →‎Via category theory: And cap off with two versions of Rice's theorem. Very exciting.
• 22:1122:11, 9 August 2025 diff hist +3,450‎ Computable ‎ →‎Formalism: Split. The existing section is basically topos theory. The new section is Yanofsky's approach!
• 19:5819:58, 9 August 2025 diff hist +1,302‎ Computable ‎ This is such a sick mic drop. Also, add a history section to make it all read better.
• 19:3819:38, 9 August 2025 diff hist +4,309‎ Computable ‎ →‎Intuition: Split and give Church's version too.
• 17:5817:58, 9 August 2025 diff hist +72‎ m Computable ‎ →‎Intuition: Try harder to give intuition.
• 16:5916:59, 9 August 2025 diff hist +3,107‎ Computable ‎ Explain Turing's intuition. We're still missing Church's perspective.
• 16:1216:12, 9 August 2025 diff hist +370‎ Computable ‎ Clean up the intro.

6 August 2025

• 18:4518:45, 6 August 2025 diff hist +68‎ Combinatory logic ‎ →‎Table of combinators: Add W. current
• 03:1203:12, 6 August 2025 diff hist +436‎ Turing tarpit ‎ →‎Minimal combinator bases: Use theorems from combinatory logic to carefully circumscribe the possibility of a singleton basis. current
• 02:3802:38, 6 August 2025 diff hist +2,819‎ Combinatory logic ‎ Add a detailed section on completeness and related concepts.
• 01:5201:52, 6 August 2025 diff hist +696‎ Combinatory logic ‎ →‎Properties: Finish listing properties. What they have in common is some sort of obstruction to completeness.
• 01:2801:28, 6 August 2025 diff hist +1,899‎ Combinatory logic ‎ Put SKI and BCKW on the same ground as other systems in the literature.
• 00:1100:11, 6 August 2025 diff hist +367‎ Combinatory logic ‎ Shuffle headers to focus on systems. Also fill in a couple missing rows in the table.

5 August 2025

• 20:2120:21, 5 August 2025 diff hist +406‎ Combinatory logic ‎ →‎Properties: Add two more important properties.
• 20:0720:07, 5 August 2025 diff hist −169‎ m Combinatory logic ‎ →‎Table of combinators: Found most of the unsourced birds; they're in Smullyan, but not in the glossary.
• 19:2719:27, 5 August 2025 diff hist +308‎ Combinatory logic ‎ Cracked open my copy of Mockingbird and double-checked the bird names.
• 19:1119:11, 5 August 2025 diff hist +559‎ Combinatory logic ‎ →‎Non-primitives: Format the table.
• 18:5118:51, 5 August 2025 diff hist +175‎ Combinatory logic ‎ →‎Properties: Rank is an invariant.
• 06:1706:17, 5 August 2025 diff hist −42‎ m Combinatory logic ‎ →‎BCKW calculus: Don't spuriously re-define combinators. It's the same K combinator in both systems.
• 06:1406:14, 5 August 2025 diff hist +375‎ Combinatory logic ‎ →‎Combinators: Integrate above sections, hack out theorems, and remove some non-combinators documented at closed lambda term.
• 05:4805:48, 5 August 2025 diff hist +21‎ m Closed lambda term ‎ →‎Via lambda calculus: Make it clear that λx.c is not closed. current
• 05:4305:43, 5 August 2025 diff hist +989‎ Closed lambda term ‎ →‎Via lambda calculus: Hack out this section.
• 05:3405:34, 5 August 2025 diff hist −588‎ Iota ‎ Remove speculative/wrong stuff. Sorry about that! current
• 05:3005:30, 5 August 2025 diff hist +25‎ Lambda calculus ‎ →‎See also: Closed lambda terms. current
• 05:2905:29, 5 August 2025 diff hist 0‎ m Turing tarpit ‎ →‎Minimal closed lambda terms: Fix formatting.
• 05:2805:28, 5 August 2025 diff hist −589‎ Turing tarpit ‎ →‎Minimal combinator bases: Split into two sections. Iota is not a combinator, but it is a closed lambda term. Fix up refs too.
• 05:1405:14, 5 August 2025 diff hist +944‎ Combinatory logic ‎ Clean up example, move it to top, and add section on properties.

4 August 2025

• 20:0120:01, 4 August 2025 diff hist +209‎ Closed lambda term ‎ →‎Completeness: Spell out some of the shortest complete terms and add a recently-discovered term by Tromp & mtve.
• 19:1319:13, 4 August 2025 diff hist +525‎ Closed lambda term ‎ →‎Completeness: Copy everything from Turing tarpit that is relevant.
• 18:4918:49, 4 August 2025 diff hist +2,801‎ N Closed lambda term ‎ The parts that we all agree upon, I hope.
• 16:4616:46, 4 August 2025 diff hist +63‎ Turing tarpit ‎ Clean up references.

3 August 2025

• 18:5018:50, 3 August 2025 diff hist +634‎ Iota ‎ →‎Semantics: Hack out a justifiable single-combinator basis; unify grammar somewhat.
• 18:0518:05, 3 August 2025 diff hist +2,392‎ Turing tarpit ‎ Start structuring the list to reduce vanity tagging. Combinators are an easy first target.
• 16:3316:33, 3 August 2025 diff hist −42‎ Turing tarpit ‎ →‎Survey: Remove non-TC language.
• 16:3316:33, 3 August 2025 diff hist −22‎ (piggus) ‎ This is an output-only language, so not TC; fixing categories. A trivial brainfuck substitution would go in the other direction to inherit BF's TC-ness.

2 August 2025

• 14:1214:12, 2 August 2025 diff hist +479‎ CHR ‎ →‎Example: Copy another example from when statement and make the formatting match. current
• 13:5613:56, 2 August 2025 diff hist +2,239‎ CHR ‎ Words, references, example.
• 13:0913:09, 2 August 2025 diff hist +348‎ Timeline of esoteric programming languages ‎ Add APL. Trying to keep it dry. Also, awawa? current