User contributions for Corbin

26 June 2025

• 15:4415:44, 26 June 2025 diff hist −55‎ User:TheH3llMachine ‎ I'm clearing the redirect since it's a double now. This is purely to improve your user experience following Somebody Else's Move; if you *really* want your user page to be a redirect, you can do that. Tag: Blanking
• 15:4215:42, 26 June 2025 diff hist +47‎ N Esolang:XH311 Assembly (Inferno language) ‎ Corbin moved page Esolang:XH311 Assembly (Inferno language) to XH311 Assembly (Inferno language): Languages go in the main namespace; the Esolangs namespace is for wiki policy and standards. current Tag: New redirect
• 15:4215:42, 26 June 2025 diff hist 0‎ m XH311 Assembly (Inferno language) ‎ Corbin moved page Esolang:XH311 Assembly (Inferno language) to XH311 Assembly (Inferno language): Languages go in the main namespace; the Esolangs namespace is for wiki policy and standards. current

23 June 2025

• 22:0222:02, 23 June 2025 diff hist +226‎ Category:People ‎ Be bold: this category is for the main namespace, not the user namespace. current

22 June 2025

• 17:1217:12, 22 June 2025 diff hist −47‎ m Esolang:Categorization ‎ Undo revision 160176 by A() (talk): Undiscussed category. Nobody gets to skip the discussion. current Tag: Undo
• 17:1117:11, 22 June 2025 diff hist +312‎ User talk:A() ‎ →‎Creating categories without approval: new section current
• 04:4704:47, 22 June 2025 diff hist +406‎ N Talk:Huh programs ‎ Nope, not a new concept.

19 June 2025

• 04:5304:53, 19 June 2025 diff hist +273‎ N Category talk:Instruction list pointer ‎ Created page with "This category was created without discussion. As such, it might be deleted. Next time, please follow the esolang:policy and start a discussion on esolang talk:categorization first. Thanks! ~~~~" current
• 04:5204:52, 19 June 2025 diff hist −20‎ m Template:Deadlink ‎ Undo revision 159971 by BestCoder (talk) current Tag: Undo
• 04:5204:52, 19 June 2025 diff hist −217‎ Template:Stubnoinfo ‎ Remove several layers of vandalism. current
• 04:4704:47, 19 June 2025 diff hist −1‎ m Template:Stub ‎ Undo revision 159968 by BestCoder (talk): No, I thiink iit was fiine before. current Tag: Undo

13 June 2025

• 17:3717:37, 13 June 2025 diff hist +1,262‎ Zaddy ‎ Overview. Also, demonstrate character classes. current
• 07:1307:13, 13 June 2025 diff hist −385‎ Zaddy ‎ →‎E-matching: Use a more efficient algorithm.

9 June 2025

• 19:1219:12, 9 June 2025 diff hist −3,716‎ Zaddy ‎ Switch from CHR to something simpler. Also, Unicode support! Also, remove old stuff.

2 June 2025

• 17:2417:24, 2 June 2025 diff hist +132‎ N Talk:Plankalkül ‎ Created page with "This page was plagiarized from Wikipedia. Don't do that. ~~~~"
• 14:1314:13, 2 June 2025 diff hist +209‎ N Talk:Goto machine ‎ Created page with "This model sounds a lot like DFA. I'm not convinced that it's a new computational model. ~~~~"

1 June 2025

• 17:5817:58, 1 June 2025 diff hist +924‎ m General recursive function ‎ Proofread everything but the equations. Mention Rice's theorem for swag. Give topos theory a (skippable) section. current
• 17:2717:27, 1 June 2025 diff hist +33‎ m General recursive function ‎ →‎External resources: Fix reference formatting.
• 17:2717:27, 1 June 2025 diff hist +2,324‎ General recursive function ‎ →‎Relation to other models: Having trouble finding PDFs of references. Hyland's chapter is not public. I blame Robert Maxwell for the state of academic publishing.
• 16:3816:38, 1 June 2025 diff hist +1,119‎ General recursive function ‎ Be more precise. This edit is all about removing falsehoods and establishing common context.
• 16:0116:01, 1 June 2025 diff hist +113‎ General recursive function ‎ Add example languages. I could only find one offhand, but I bet that there are others.
• 15:5815:58, 1 June 2025 diff hist +332‎ General recursive function ‎ →‎Primitive recursive function: Explain PRF as an extension of PR.

30 May 2025

• 21:2921:29, 30 May 2025 diff hist +883‎ Talk:When statement ‎ Just keep rambling on. current
• 21:2021:20, 30 May 2025 diff hist +986‎ When statement ‎ Add a little section on Verilog. I think that this is right but I don't have a toolchain set up to verify. current
• 20:1220:12, 30 May 2025 diff hist +1,375‎ When statement ‎ →‎Actors and Messages: Be incredibly specific about ordering of events. Hopefully the example is simple enough to understand.
• 19:5319:53, 30 May 2025 diff hist +2,417‎ When statement ‎ Hey guys, did you know that in terms of constraint-handling and programming languages, CHR is the most compatible handler for languages? Not only is it in the logical-language group, which is mostly comprised of Prologs, CHR are an average of
• 19:2219:22, 30 May 2025 diff hist +2,518‎ When statement ‎ Okay, it's been nine months; let's fix this page up. First, actors.

29 May 2025

• 17:1217:12, 29 May 2025 diff hist +209‎ Zaddy ‎ →‎Constraint Handling Rules: Add reference. Also, turns out max/3 is best done as a query with gte/2 as a "builtin" Prolog rule.

28 May 2025

• 04:1204:12, 28 May 2025 diff hist −21‎ Zaddy ‎ →‎Constraint Handling Rules: Fix example programs; capitalization matters in Prolog-style syntax.

27 May 2025

• 19:3019:30, 27 May 2025 diff hist −10‎ Zaddy ‎ →‎Constraint Handling Rules: Bluelink; we have a page on-wiki!
• 19:2319:23, 27 May 2025 diff hist +93‎ Game of Life ‎ Okay, do just one more reference. Again, I think this improves readability.
• 19:1219:12, 27 May 2025 diff hist +212‎ Game of Life ‎ Use standard reference formatting, just a bit, to make this read more smoothly.
• 18:5818:58, 27 May 2025 diff hist +2,354‎ Zaddy ‎ I implemented CHR(Zaddy) over the weekend, I guess. The syntax works, but the semantics are still a little buggy.

26 May 2025

• 18:3818:38, 26 May 2025 diff hist +231‎ Zaddy ‎ →‎Examples: Provide a better BF compiler.
• 18:2918:29, 26 May 2025 diff hist +1,265‎ Zaddy ‎ →‎Tree algebras: Show how to make functors. The example code is directly from the reference implementation and is shared freely.

23 May 2025

• 21:4521:45, 23 May 2025 diff hist +222‎ Game of Life ‎ →‎History: Context for Gosper's 1970 construction, as related by Conway to Simon Peyton Jones.

16 May 2025

• 17:3817:38, 16 May 2025 diff hist +240‎ Monoid ‎ Put the category-theory gibberish at the bottom, out of the way. Most folks will only care about sets.
• 17:3217:32, 16 May 2025 diff hist +1,854‎ Monoid ‎ I see that leaving this half-finished was a mistake. Next time I will not start editing before bed.
• 04:0504:05, 16 May 2025 diff hist +1,148‎ Monoid ‎ →‎Free monoids: Stub.
• 03:4303:43, 16 May 2025 diff hist +792‎ N Monoid ‎ I have like twenty tabs open right now and I'm still probably gonna get something wrong. Here's an outline.
• 02:2402:24, 16 May 2025 diff hist +73‎ Black (Asai) ‎ Categories. current
• 01:5301:53, 16 May 2025 diff hist +650‎ N Black (Asai) ‎ Stub for what I think is the first proven-efficient infinite tower of metainterpreters in the literature.
• 01:4601:46, 16 May 2025 diff hist +331‎ Interpreter-modifying ‎ The concept goes back to the beginning of Lisp, but was not well-defined enough for efficient self-hosting prior to Black. current

12 May 2025

• 16:2616:26, 12 May 2025 diff hist +263‎ Interpreter-modifying ‎ Add some history. Sorry, you didn't invent this. Also, punctuation.
• 01:3301:33, 12 May 2025 diff hist +11‎ m Zephyr ASDL ‎ Also influenced Monte, unsurprisingly. current

7 May 2025

• 02:3402:34, 7 May 2025 diff hist +758‎ Esolang talk:Categorization ‎ →‎Languages designed to teach us how to implement compilers: new section
• 02:2702:27, 7 May 2025 diff hist +2‎ m Esolang talk:Categorization ‎ →‎Making Category:Accumulator-based official: Fix links.
• 02:2602:26, 7 May 2025 diff hist +369‎ N Monkey ‎ Created page with "{{stub}} {{infobox proglang |year=2016 |author=Thorsten Ball |class=Turing-complete |refimpl=Implement it yourself! }} '''Monkey''' is a pedagogical programming language designed to be implemented by students of compiler theory. It was introduced in the book [https://interpreterbook.com/ Writing an Interpreter in Go]. Category:2016 Category:Turing complete" current
• 02:2602:26, 7 May 2025 diff hist +378‎ N Lox ‎ Created page with "{{stub}} {{infobox proglang |year=2015 |author=Robert Nystrom |class=Turing-complete |refimpl=Implement it yourself! }} '''Lox''' is a pedagogical programming language designed to be implemented by students of compiler theory. It was introduced in the book [https://craftinginterpreters.com/contents.html Crafting Interpreters]. Category:2015 Category:Turing complete" current
• 02:2602:26, 7 May 2025 diff hist +395‎ N Tiger ‎ Created page with "{{stub}} {{infobox proglang |year=1997 |author=Andrew W. Appel |class=Turing-complete |refimpl=Implement it yourself! }} '''Tiger''' is a pedagogical programming language designed to be implemented by students of compiler theory. It was introduced in the book [https://www.cs.princeton.edu/~appel/modern/ Modern Compiler Implementation in Java]. Category:1997 Category:Turing complete" current