User contributions for Corbin

17:5917:59, 23 July 2025 diff hist −869‎ S and K Turing-completeness proof ‎ Replace page with something more directly convincing. Note that I have not actually proven this correct, only typed it into a textbox.
16:3616:36, 23 July 2025 diff hist +290‎ Combinatory logic ‎ Clean up bluelink to TC proofs. current

19:2019:20, 13 July 2025 diff hist +72‎ m Zaddy ‎ →‎E-matching: Bluelink. current
06:2106:21, 13 July 2025 diff hist +3‎ Python ‎ More specific categorization. current
00:0000:00, 13 July 2025 diff hist +308‎ Cammy ‎ Cite Gonzalez 2014 and Morte. current

23:4323:43, 12 July 2025 diff hist +97‎ N Gabriella Gonzalez ‎ Stub. current
23:4223:42, 12 July 2025 diff hist +318‎ N Morte ‎ Stub. current
16:4416:44, 12 July 2025 diff hist −29‎ Esolang:Featured languages ‎ Undo revision 161210 by Zaydiscool777 (talk): Several pages are in consideration for featured language; ask on IRC or talk page for details. current Tag: Undo

17:2017:20, 5 July 2025 diff hist +671‎ Category theory ‎ Clean up a couple of the references. current
17:1117:11, 5 July 2025 diff hist +50‎ m Category theory ‎ List related languages.
17:0217:02, 5 July 2025 diff hist +2,124‎ N Inigo ‎ Stub for one of my darlings. current
16:2916:29, 5 July 2025 diff hist +489‎ Category:Total ‎ Rewrite the blurb. Nope. is not self-interpreting; it's uniquely isomorphic to the universal language and so trivializes out. current
16:1916:19, 5 July 2025 diff hist +19‎ m Cammy ‎ Cammy is total.

04:2004:20, 4 July 2025 diff hist +318‎ Zaddy ‎ I suppose it's a real proglang now, comparable to Prolog or SQL.

20:2520:25, 2 July 2025 diff hist +1,696‎ Zaddy ‎ →‎Examples: BF to C has never been so...verbose... Ugh. 71 lines. I need to seek Wirth's principle.
20:1020:10, 2 July 2025 diff hist +2,068‎ Zaddy ‎ Explain how the new syntax works. Functors are gone; it's all rewrite rules now!

17:1817:18, 29 June 2025 diff hist +56‎ m Bunnicula ‎ →‎Name origin: The book has a full title! TIL.
17:1317:13, 29 June 2025 diff hist +150‎ m Bunnicula ‎ →‎Name origin: I read this book as a child! I would still recommend it today.

15:4415:44, 26 June 2025 diff hist −55‎ User:TheH3llMachine ‎ I'm clearing the redirect since it's a double now. This is purely to improve your user experience following Somebody Else's Move; if you *really* want your user page to be a redirect, you can do that. Tag: Blanking
15:4215:42, 26 June 2025 diff hist +47‎ N Esolang:XH311 Assembly (Inferno language) ‎ Corbin moved page Esolang:XH311 Assembly (Inferno language) to XH311 Assembly (Inferno language): Languages go in the main namespace; the Esolangs namespace is for wiki policy and standards. current Tag: New redirect
15:4215:42, 26 June 2025 diff hist 0‎ m XH311 Assembly (Inferno language) ‎ Corbin moved page Esolang:XH311 Assembly (Inferno language) to XH311 Assembly (Inferno language): Languages go in the main namespace; the Esolangs namespace is for wiki policy and standards. current

22:0222:02, 23 June 2025 diff hist +226‎ Category:People ‎ Be bold: this category is for the main namespace, not the user namespace. current

17:1217:12, 22 June 2025 diff hist −47‎ m Esolang:Categorization ‎ Undo revision 160176 by A() (talk): Undiscussed category. Nobody gets to skip the discussion. current Tag: Undo
17:1117:11, 22 June 2025 diff hist +312‎ User talk:A() ‎ →‎Creating categories without approval: new section current
04:4704:47, 22 June 2025 diff hist +406‎ N Talk:Huh programs ‎ Nope, not a new concept.

04:5304:53, 19 June 2025 diff hist +273‎ N Category talk:Instruction list pointer ‎ Created page with "This category was created without discussion. As such, it might be deleted. Next time, please follow the esolang:policy and start a discussion on esolang talk:categorization first. Thanks! ~~~~" current
04:5204:52, 19 June 2025 diff hist −20‎ m Template:Deadlink ‎ Undo revision 159971 by BestCoder (talk) current Tag: Undo
04:5204:52, 19 June 2025 diff hist −217‎ Template:Stubnoinfo ‎ Remove several layers of vandalism.
04:4704:47, 19 June 2025 diff hist −1‎ m Template:Stub ‎ Undo revision 159968 by BestCoder (talk): No, I thiink iit was fiine before. current Tag: Undo

17:3717:37, 13 June 2025 diff hist +1,262‎ Zaddy ‎ Overview. Also, demonstrate character classes.
07:1307:13, 13 June 2025 diff hist −385‎ Zaddy ‎ →‎E-matching: Use a more efficient algorithm.

19:1219:12, 9 June 2025 diff hist −3,716‎ Zaddy ‎ Switch from CHR to something simpler. Also, Unicode support! Also, remove old stuff.

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. ~~~~"

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.

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

Navigation menu