User contributions for Corbin

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. current

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

5 May 2025

• 16:5516:55, 5 May 2025 diff hist +187‎ Talk:Forthrooms ‎ →‎Request: Not sure if this is what you were asking.

1 May 2025

• 23:2723:27, 1 May 2025 diff hist +545‎ Zaddy ‎ Zephyr ASDL's grammar is quite small, so I yoinked it.

30 April 2025

• 22:5122:51, 30 April 2025 diff hist +156‎ Zephyr ASDL ‎ Use standard reference formatting.
• 22:4622:46, 30 April 2025 diff hist +22‎ m Zephyr ASDL ‎ Influenced Zaddy.
• 17:3617:36, 30 April 2025 diff hist −46‎ Concatenative language ‎ Try a little harder. Still not a fan of this page. current
• 17:2117:21, 30 April 2025 diff hist +694‎ Esolang talk:Categorization ‎ →‎Monoids: We have more than a few such languages now!
• 17:1117:11, 30 April 2025 diff hist +139‎ Concatenative calculus ‎ This page really has to say "monoid" at some point. Fix opening paragraph, cite Von Thun, and fix up language list. I will propose a new language category.
• 17:0717:07, 30 April 2025 diff hist +458‎ Concatenative language ‎ Copy a listing from concatenative calculus.
• 06:3206:32, 30 April 2025 diff hist +216‎ m Zaddy ‎ →‎Binding-time Hoare logic: Fill out reference to The Book. The PDF is freely available.
• 06:2906:29, 30 April 2025 diff hist +465‎ Zaddy ‎ After multiple nights of struggle, I got packrat PEGs to work.

29 April 2025

• 23:0523:05, 29 April 2025 diff hist +35‎ m META II ‎ Long 2015 says that Schorre actually developed META II in 1962, two years before the 1964 paper came out, and gives some supporting timeline. Sounds plausible to me; Long 2015 was written in 2014, after all! current
• 17:5517:55, 29 April 2025 diff hist +430‎ Mlatu ‎ Properly bluelink our friends at catlangwiki, and also explain where the name comes from. .i u'i coi pendo .i xu do tavla? (Lojban's baseline is public domain, so quoting it is not a problem.)
• 17:4117:41, 29 April 2025 diff hist +491‎ User talk:Corbin ‎No edit summary current
• 17:3817:38, 29 April 2025 diff hist +31‎ 1 Billion Row Challenge ‎ Update links. The community leaderboard appears to be offline. current