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