User contributions for Corbin
Jump to navigation
Jump to search
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.