User contributions for Corbin

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

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

28 April 2025

• 21:1221:12, 28 April 2025 diff hist −272‎ Cammy ‎ Remove awkward mention of Hagino CPL; instead, there's now a bluelink. current
• 21:0821:08, 28 April 2025 diff hist +1,116‎ N Hagino CPL ‎ Fine, let's stub this already. current
• 20:4520:45, 28 April 2025 diff hist +1,133‎ Cammy ‎ Break out some of the bibliography. I'm giving additional links to PDFs for all of these.
• 18:4218:42, 28 April 2025 diff hist +1,762‎ Cammy ‎ Sometimes the quickest way to climb a mountain is also the steepest. Add two-level type theory.
• 00:1700:17, 28 April 2025 diff hist +540‎ Talk:Computational class ‎ →‎Versus list of complexity classes: new section current

27 April 2025

• 15:5315:53, 27 April 2025 diff hist +279‎ N Talk:Atemlanguage ‎ More details? I don't want to unilaterally declare this a joke concept, but it seems to only be used for joke languages.
• 15:5115:51, 27 April 2025 diff hist +1,911‎ Metacompiler ‎ Cite the confusing art of partial evaluation. current

26 April 2025

• 14:0314:03, 26 April 2025 diff hist +1,197‎ N Talk:Functional calculus ‎ General-recursive terms don't denote functions. (Oh boy, Corbin's up on that hill again~) current

25 April 2025

• 21:1621:16, 25 April 2025 diff hist +12‎ m Concatenative calculus ‎ →‎See also

24 April 2025

• 18:1318:13, 24 April 2025 diff hist +28‎ Zaddy ‎ Oh hey, a category.
• 14:5014:50, 24 April 2025 diff hist +266‎ N Talk:Noise automata ‎ Is this actually a new concept or a new way of looking at an old concept?
• 14:4314:43, 24 April 2025 diff hist −20‎ m Noise automata ‎ →‎See also: Remove tracking data from video link.

23 April 2025

• 15:3515:35, 23 April 2025 diff hist −10‎ m Tmg ‎ →‎History: Bluelink. current
• 04:0604:06, 23 April 2025 diff hist +208‎ Metacompiler ‎ Add an excellent quote from Dr. Kay.

22 April 2025

• 18:3818:38, 22 April 2025 diff hist +1,703‎ Zaddy ‎ →‎Example: Add the classic BF-to-C program.

21 April 2025

• 20:0920:09, 21 April 2025 diff hist +2,533‎ Zaddy ‎ Unstub. This is still horrible-looking, but I'll hopefully get it to something half-readable soon.

19 April 2025

• 21:2421:24, 19 April 2025 diff hist +18‎ m Metacompiler ‎No edit summary
• 20:5120:51, 19 April 2025 diff hist +109‎ META II ‎ Bluelinks and expand intro.
• 20:4720:47, 19 April 2025 diff hist +761‎ META II ‎ Add a couple important quotes about parsing power. Also give the ACM ref for Long 2014, because it's a single-click operation on ACM's website now.
• 19:5119:51, 19 April 2025 diff hist +700‎ N Zaddy ‎ Stub the META II dialect I've been hacking on this week.

18 April 2025

• 21:1021:10, 18 April 2025 diff hist +532‎ Formal grammar ‎ Add references. Fun With Semirings is a great paper.
• 21:0021:00, 18 April 2025 diff hist +545‎ Formal grammar ‎ →‎Regular expressions: One second, I have citations for this, I promise. This might be better off on another page; WP has this material but scattered, and nLab doesn't have it at all.