User contributions for Corbin

5 October 2025

• 21:3221:32, 5 October 2025 diff hist +768‎ N Pola ‎ Stub for a fun restricted language: if you can implement a 3SAT solver in Pola then P=NP. current
• 21:0121:01, 5 October 2025 diff hist −31‎ LLvlN-mini ‎ Removing hallucinated category. current
• 20:5920:59, 5 October 2025 diff hist +12‎ m Quantum-LLvlN ‎ Fix links; Q♯ is a real language but it's not Q. Quipper's a real language too. current
• 20:5720:57, 5 October 2025 diff hist +491‎ N Talk:Quantum-LLvlN ‎ Sorry, this one ain't gonna work. Good luck implementing it! current
• 20:5220:52, 5 October 2025 diff hist −28‎ LLvlN-FLOAT ‎ Remove hallucinated category. current
• 20:5220:52, 5 October 2025 diff hist +478‎ N Talk:LLvlN-FLOAT ‎ Some options for improvement. current
• 20:4620:46, 5 October 2025 diff hist −68‎ LLvlN++ ‎ Remove hallucinated categories. Discuss at esolang:categorization first, please! current
• 20:3620:36, 5 October 2025 diff hist +3,739‎ Stack ‎ Demonstrate the two-stack zipper technique. This is well-known folklore. current
• 19:4619:46, 5 October 2025 diff hist +2,302‎ Stack ‎ →‎Operations: Explain stack effects and stack-effect notation. Also quickly prove that ROT can't be built from stack-shufflers that only touch two arguments at a time.
• 18:3418:34, 5 October 2025 diff hist −99‎ m Stack ‎ See also.
• 18:1918:19, 5 October 2025 diff hist +335‎ N Talk:LLvlN ‎ And this is why chatbots aren't helping y'all learn.
• 18:1818:18, 5 October 2025 diff hist −17‎ LLvlN ‎ Tag as AI-generated; Comet Browser is a Perplexity product. Also clarify the otherwise-incorrect TC claim. The instructions are very similar to 6502/8086-ish CPUs (because chatbots have no imagination) so plenty of existing code should port. Almost entirely unrelated to BF.

4 October 2025

• 15:5515:55, 4 October 2025 diff hist +29‎ N User:Vertical tab 'N ‎ Corbin moved page User:Vertical tab 'N to Vertical tab 'N: Program form (output-only challenge), not user. Heads up: user page once belonged to alt of ColorfulGalaxy. current Tag: New redirect
• 15:5515:55, 4 October 2025 diff hist 0‎ m Vertical tab 'N ‎ Corbin moved page User:Vertical tab 'N to Vertical tab 'N: Program form (output-only challenge), not user. Heads up: user page once belonged to alt of ColorfulGalaxy. current

3 October 2025

• 18:2618:26, 3 October 2025 diff hist −181‎ Satans Disciples GangLang $ ‎ Not TC. Not even obviously a language. In general, output-only systems aren't going to be TC. current
• 18:2518:25, 3 October 2025 diff hist +18‎ GangLang ‎ Tracked down the year from the reference implementation's commit history. current
• 18:2418:24, 3 October 2025 diff hist +24‎ GangLang ‎ A bit of cleanup for a joke language.
• 03:2503:25, 3 October 2025 diff hist +36‎ Incomplete BrainFuck ‎ Categories. current

2 October 2025

• 13:3013:30, 2 October 2025 diff hist +293‎ Esolang talk:Categorization ‎ →‎Turing incomplete category: Good news! current
• 13:2413:24, 2 October 2025 diff hist +178‎ N Talk:Incomplete BrainFuck ‎ I appreciate the effort but I'm not sure that it's quite that simple.

30 September 2025

• 16:4816:48, 30 September 2025 diff hist +918‎ Cammy ‎ →‎Implementation: Document kamis. current

25 September 2025

• 18:3118:31, 25 September 2025 diff hist +1,462‎ Cammy ‎ Many citations, including the whole bikeshed. Also many link cleanups.

24 September 2025

• 16:2816:28, 24 September 2025 diff hist +89‎ Brainfuck ‎ Restore bluelink dropped during recent redirect reconstruction. (Please reconsider before destroying disambiguations in the future, thanks.)
• 03:4603:46, 24 September 2025 diff hist +313‎ Haskell ‎ Give a proper stub to a ''very'' influential language. current Tag: Removed redirect

23 September 2025

• 20:3020:30, 23 September 2025 diff hist +146‎ Talk:BF (BestCoder) ‎ Disambiguation is okay. current

22 September 2025

• 19:2119:21, 22 September 2025 diff hist +251‎ User talk:ChuckEsoteric08 ‎ →‎BF disambiguation: new section current

21 September 2025

• 15:4015:40, 21 September 2025 diff hist +169‎ Cammy ‎ Add cite where I said that Unison and Dark were inspirations.

20 September 2025

• 19:5919:59, 20 September 2025 diff hist +569‎ Combinatory logic ‎ Clean up my earlier edit and strengthen the result.
• 17:3617:36, 20 September 2025 diff hist 0‎ m Combinatory logic ‎ Move references to the very end; this seems to be the emerging house style.
• 17:2717:27, 20 September 2025 diff hist +418‎ Combinatory logic ‎ →‎BCI calculus: Add a lemma mentioned by davidwg. Where might this have originated? It sounds like Smullyan.
• 16:2916:29, 20 September 2025 diff hist +210‎ Combinatory logic ‎ →‎Table of combinators: Quickly annotate the remaining linear combinators. A combinator is linear if it's expressible in BCI/BTI/GI and this turns out to be easy to check at a glance.
• 16:2416:24, 20 September 2025 diff hist +20‎ m Combinatory logic ‎ →‎Table of combinators: Bluelinks.

19 September 2025

• 19:4919:49, 19 September 2025 diff hist +29‎ m Setler v2 ‎ Tag as AI-generated. current

18 September 2025

• 02:5702:57, 18 September 2025 diff hist +2,855‎ Computable ‎ →‎Via Turing machines: Do the minimum required to accomodate Lucas' argument. I think that they argued it well, but I don't have access to Kleene 1952 to double-check. "Satisfactoriness" is quite the word. current

17 September 2025

• 18:3918:39, 17 September 2025 diff hist +906‎ N User talk:Zeroname ‎ Answering some questions.
• 18:3218:32, 17 September 2025 diff hist +469‎ Esolang talk:Policy ‎ →‎Multiple people per account: new section
• 15:5415:54, 17 September 2025 diff hist 0‎ m Il ‎ Fix typo in infobox. current
• 15:5315:53, 17 September 2025 diff hist +886‎ Talk:Il ‎ →‎WHO CAN WRITE SHORTEST INTERPRETER???: More aggressive dispatch-dict pattern and less exec() for a shorter program that is an expression instead of a compound statement.

30 August 2025

• 19:5219:52, 30 August 2025 diff hist +1,632‎ Laconic ‎ Capture the essentials of the history. Shamelessly using the same template as NQL in order to get into a Perlis-rut. current
• 19:2519:25, 30 August 2025 diff hist +3,242‎ Not-Quite-Laconic ‎ Somewhat unstub. NQL is more capable than this, but this will suffice to explain what is historically important. current

28 August 2025

• 14:5514:55, 28 August 2025 diff hist +126‎ N Talk:PureFun ‎ Tastes like RLHF.
• 14:5314:53, 28 August 2025 diff hist +750‎ Esolang talk:Categorization ‎ →‎"Nope. derivatives" VS "Constant languages": Too little too late.
• 00:3300:33, 28 August 2025 diff hist −18‎ Constant language ‎ Rice's theorem is basically not relevant since constant languages can't represent any interesting computations. Pointed out by ais523 on IRC.

27 August 2025

• 21:0621:06, 27 August 2025 diff hist +424‎ N Talk:Psychopaths ‎ Unusable for programming? Maybe. current
• 20:4620:46, 27 August 2025 diff hist +13‎ Arch is the best! without a quine ‎ Identify a QACL. current
• 20:4520:45, 27 August 2025 diff hist +114‎ Output (WarzokERNST135) ‎ Identify a CL. Add some categories. current
• 20:4320:43, 27 August 2025 diff hist −27‎ StupidBASIC ‎ Fix categories. current
• 20:4320:43, 27 August 2025 diff hist −27‎ Stupidc ‎ Fix categories. current
• 20:4220:42, 27 August 2025 diff hist −27‎ Language of Laughing ‎ Fix categories. current
• 20:4220:42, 27 August 2025 diff hist −41‎ Unmatched ( ‎No edit summary current