User contributions for Corbin

18:1318:13, 24 April 2025 diff hist +28‎ Zaddy ‎ Oh hey, a category. current
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.

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

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

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.

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.

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.
20:1920:19, 18 April 2025 diff hist +189‎ Talk:RuleLoader ‎ Leave a note, I guess. current
20:1720:17, 18 April 2025 diff hist +7‎ RuleLoader ‎ →‎Description: Hew closer to the docs and remove confusing parentheticals. current
20:0520:05, 18 April 2025 diff hist +186‎ META II ‎ →‎See also: More references!

20:5320:53, 16 April 2025 diff hist +1,995‎ N Metacompiler ‎ Stub a concept. This is actually fairly complete, though!

17:4017:40, 13 April 2025 diff hist +258‎ Tmg ‎ It's at least context-sensitive!
02:3702:37, 13 April 2025 diff hist +21‎ m META II ‎ One of two influences on one of Knuth's metacompilers.
02:3602:36, 13 April 2025 diff hist +2,241‎ N Tmg ‎ Stub an important historical language.

16:2316:23, 12 April 2025 diff hist +986‎ META II ‎ →‎Syntax: Explain how to use metasyntax.
16:1216:12, 12 April 2025 diff hist +414‎ N Talk:META II ‎ Explain the reconciliation I'm about to perform.
16:0716:07, 12 April 2025 diff hist +63‎ m META II ‎ →‎Syntax: Reformat for readability.
07:4907:49, 12 April 2025 diff hist +712‎ m META II ‎ Add a couple clarifying paragraphs that I'm sure won't confuse anybody~
07:3307:33, 12 April 2025 diff hist +1,618‎ N META II ‎ Stub for the original metacompiler.
07:0807:08, 12 April 2025 diff hist +1,179‎ N LPeg ‎ Stub for a parser.

19:5619:56, 11 April 2025 diff hist +1,493‎ Jot ‎ Cleanup, TC proof, links, get closer to Barker's wording. current
19:2119:21, 11 April 2025 diff hist +129‎ Iota ‎ Infobox, TC proof, cleanup. I read Stay 2005 but didn't find anything interesting. current

17:0417:04, 4 April 2025 diff hist +250‎ W110 ‎ Add another reference and rephrase for precision. current
16:5016:50, 4 April 2025 diff hist +624‎ W110 ‎ Fix credits and explain what was done. This is a notorious case of plagiarism where we should thoughtfully avoid crediting the plagiarist.
16:3816:38, 4 April 2025 diff hist −32‎ m User talk:ColorfulGalaxy's CA discoveries ‎ Remove non-main-namespace article from main-namespace category. current

20:1020:10, 2 April 2025 diff hist +96‎ m Turing tarpit ‎ Cite that claim about Böhm. current
20:0820:08, 2 April 2025 diff hist +2,504‎ Turing tarpit ‎ →‎History: Flesh out more history. There's still a narrative thread missing: *why* did the bubble burst?
18:4518:45, 2 April 2025 diff hist +507‎ Turing tarpit ‎ Cleanup intro, fix external links, do some NPOV, match style on other concept articles.
18:0718:07, 2 April 2025 diff hist +478‎ Talk:S and K Turing-completeness proof ‎No edit summary current
18:0218:02, 2 April 2025 diff hist +419‎ Unlambda ‎ Infobox proglang, fix opening sentence, give example of syntax, sketch TC proof via LC. current
17:4817:48, 2 April 2025 diff hist +907‎ Combinatory logic ‎ →‎SKI calculus: Spell out completeness. Anybody know who proved these? current

16:2316:23, 1 April 2025 diff hist +600‎ Cellular automaton ‎ Reframe popularity for the world outside GoL wiki: the most important CAs are in biology and physics. current
15:5315:53, 1 April 2025 diff hist +482‎ Talk:Cellular automaton ‎ →‎Do cellular automata really count as esolangs?: Yes. current

23:1623:16, 27 March 2025 diff hist +571‎ Sammy ‎ Still unusable, but implemented about as much as any other underspecified language. current
20:1220:12, 27 March 2025 diff hist +181‎ m Sammy ‎ →‎References: Cruttwell's encoding will be important.

20:0820:08, 26 March 2025 diff hist +1,818‎ N Pantagruel ‎ Stub a desirable specification language. current

19:3719:37, 23 March 2025 diff hist +30‎ Church numeral ‎ Fixed conventions and grammar. Gave it an out-loud test. current
19:1019:10, 23 March 2025 diff hist +2,462‎ Church numeral ‎ Had a thought, chatted on IRC, did some research. Consolidated sources somewhat.

16:4816:48, 20 March 2025 diff hist +154‎ Talk:BF is Plushie-complete ‎ See, this is what happens when we don't have joke categories.

21:0921:09, 19 March 2025 diff hist +312‎ N Talk:AGG ‎ Hi! More details, please. current
05:2705:27, 19 March 2025 diff hist +1,238‎ Sammy ‎ The core of Kolmogorov complexity for Sammy. The smorgasbord of inequalities will come later, after dinner.

20:2420:24, 18 March 2025 diff hist +276‎ m Sammy ‎ This isn't right. I need lunch.

Navigation menu