User contributions for Corbin

14 October 2025

• 05:3005:30, 14 October 2025 diff hist −3‎ m Python ‎ Fix renamed category. current
• 05:0405:04, 14 October 2025 diff hist +819‎ Talk:Pointfree programming ‎ FP is tacit, yes. If you want an example of a more-tacit functional language, consider Cammy. current
• 04:5004:50, 14 October 2025 diff hist +498‎ Pointfree programming ‎ Started as formatting, ended up adding a paragraph about how BF is concatenative and pointfree. current
• 04:3704:37, 14 October 2025 diff hist +674‎ Esolang talk:Categorization ‎ →‎Function-level programming: new section current
• 02:0102:01, 14 October 2025 diff hist −1,305‎ FP trivia ‎ Big cleanup: refs, bluelinks, a bit of grammar, infobox, categories. current
• 01:5001:50, 14 October 2025 diff hist +350‎ m Pointfree programming ‎ →‎Functional languages: Yoinking and improving a cite. I'm using Dr. Cunha's preferred name from their GitHub [https://alcinocunha.github.io/ here]. I could have sworn that they had another paper from maybe 2007, book-length, on the topic; but I cannot find it. Also bluelink.
• 01:3501:35, 14 October 2025 diff hist +910‎ N FP ‎ Stub. Is it "whence" or "thence" in this mood? English is hard! current

13 October 2025

• 12:3412:34, 13 October 2025 diff hist +194‎ Ikiwekiwow ‎ →‎Input and Output: Decidable in linear time! It's just 2SAT. current

11 October 2025

• 19:4719:47, 11 October 2025 diff hist +2,007‎ N Talk:John Backus Turing Award Lecture ‎ I have a few concerns. I say this as the person that cited the same lecture for the blurb on the functional-paradigm category blurb.

10 October 2025

• 18:3118:31, 10 October 2025 diff hist +212‎ Talk:Language list ‎ →‎Please delete this page: new section

9 October 2025

• 17:2817:28, 9 October 2025 diff hist +70‎ Computable ‎ →‎Via category theory: Definition only works for CCCs as given. Also bluelink to CCC. current

8 October 2025

• 20:5820:58, 8 October 2025 diff hist +324‎ Esolang:Sandbox ‎ Clean the sandbox and bump the policy. current
• 20:5220:52, 8 October 2025 diff hist +620‎ Esolang talk:Policy ‎ →‎Sandbox policy: new section current
• 20:4820:48, 8 October 2025 diff hist +724‎ Esolang:Policy ‎ Tentative sandbox policy. This is an attempt at politely codifying themes that have been discussed multiple times on IRC. current
• 20:4320:43, 8 October 2025 diff hist +401‎ Esolang:Help ‎ →‎When to do stuff: Fans of Sandbox: Have you considered Show Preview? current
• 20:2920:29, 8 October 2025 diff hist +142‎ Esolang:Help ‎ →‎Where to test things out: Explain how to preview changes without submitting them.

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 LLvlN-Quantum ‎ Fix links; Q♯ is a real language but it's not Q. Quipper's a real language too.
• 20:5720:57, 5 October 2025 diff hist +491‎ N Talk:LLvlN-Quantum ‎ Sorry, this one ain't gonna work. Good luck implementing it!
• 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.
• 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!
• 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.

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.