User contributions for Corbin

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.
19:4119:41, 18 March 2025 diff hist +14‎ m Sammy ‎ →‎Syntax: Op is also allowed on functors, doing the obvious thing.
19:3519:35, 18 March 2025 diff hist +24‎ m Sammy ‎ →‎Syntax: Coproduct gives not just the category but also the injecting functors.
19:1919:19, 18 March 2025 diff hist +3,416‎ Sammy ‎ Document the kernel syntax.
17:4117:41, 18 March 2025 diff hist +620‎ N Sammy ‎ Stub for yet another category-theory language.

15:2915:29, 15 March 2025 diff hist +452‎ Talk:Pyline ‎ →‎exec?: Yes, and. current
15:2515:25, 15 March 2025 diff hist −20‎ m Pyline Classic ‎ →‎Brainfuck interpreter: It's now a group project. Your credit will still be preserved in the edit history. current

22:3822:38, 14 March 2025 diff hist +232‎ Talk:Game of Life ‎ So it's now a complete joke, right~ current
22:3722:37, 14 March 2025 diff hist +2,130‎ Game of Life ‎ →‎Complexity class: Something new, part three. This is a vast improvement on the "oh it's universal" rhetoric, I feel.
21:4821:48, 14 March 2025 diff hist +100‎ Game of Life ‎ Trying out something new, part two.
21:1521:15, 14 March 2025 diff hist +1,137‎ Game of Life ‎ Trying out something new, part one.

08:1608:16, 12 March 2025 diff hist +1,071‎ Computable ‎ As long as we're generalizing the intro, we're going to generalize the formalism too.
06:5506:55, 12 March 2025 diff hist +27‎ Elevated Parser ‎ Bluelinks and grammar. current
06:4706:47, 12 March 2025 diff hist +24‎ Lisp ‎ →‎Homoiconicity: Fix one bad paragraph. Also bluelink. current
06:2406:24, 12 March 2025 diff hist +772‎ Cammy ‎ →‎Syntax: Explain user-defined templates in terms of abstract bindings. current
05:5205:52, 12 March 2025 diff hist +411‎ Abstract syntax tree ‎ →‎Abstract binding trees: Sketch capture-avoiding substitution. Obviously an actual implementation has to do some bookkeeping, but the point is that it's generic over Herbrand universes. current
05:4005:40, 12 March 2025 diff hist +1,530‎ Abstract syntax tree ‎ Part 3.
04:1204:12, 12 March 2025 diff hist +1,661‎ Abstract syntax tree ‎ Part 2. As usual, I've read these references.
03:3403:34, 12 March 2025 diff hist +803‎ N Abstract syntax tree ‎ Part 1. As usual, I promise that I'm not using an LLM or plagiarizing WP.

22:4222:42, 8 March 2025 diff hist +192‎ Brain:D ‎ →‎Computational complexity: Don't remove a claim just because you don't grok it.
20:5620:56, 8 March 2025 diff hist +504‎ List of complexity classes ‎ →‎PSPACE: List out some specific useful examples for us. current
20:4220:42, 8 March 2025 diff hist +785‎ List of complexity classes ‎ →‎EXP: NP ranges over polynomial amounts of random bits, not exponential. Also, explain why P is a subclass of EXP with a couple examples.
20:1620:16, 8 March 2025 diff hist +4‎ m List of complexity classes ‎ →‎R: Bluelink.
20:1420:14, 8 March 2025 diff hist +1,528‎ Brain:D ‎ Compute the partition function.
19:1019:10, 8 March 2025 diff hist +184‎ Brain:D ‎ A second reason that this one isn't TC: it's trivial to recognize.
19:0619:06, 8 March 2025 diff hist +148‎ m Computable ‎ Not "simulated", but "recognized". Very important nuance.

17:2917:29, 3 March 2025 diff hist +89‎ m Weirdlang ‎ What an awful little ode to gatekeeping! Indicate that it's unrelated to the standard concept of weirdness in machines and compilers. current

23:4823:48, 2 March 2025 diff hist −23‎ m List of complexity classes ‎ →‎R: Bluelink, typo, phrasing when read out loud.
23:4623:46, 2 March 2025 diff hist +765‎ List of complexity classes ‎ Add BQP. This is the first bounded-probabilistic class, and so it's not worth setting up the big explanation about such classes.
23:2723:27, 2 March 2025 diff hist +544‎ Church-Turing thesis ‎ Fix up everything. That last paragraph had a wholly-bogus sentence again. current

05:5505:55, 18 February 2025 diff hist +13‎ m 10 1 ‎ It's a trivial BF substitution. current

18:0318:03, 22 January 2025 diff hist +198‎ Talk:Iterate ‎ It's very funny that I keep citing this theorem; I happen to hate it.

Navigation menu