User contributions for Corbin

19:3219:32, 23 December 2024 diff hist +357‎ Hashell ‎ Add some combinators. current

19:1319:13, 18 December 2024 diff hist +502‎ Timeline of esoteric programming languages ‎ Repetition is a literary device in which a phrase is repeated, often with minor variations, to emphasize an underlying theme. current
19:0619:06, 18 December 2024 diff hist +43‎ m Timeline of esoteric programming languages ‎ →‎1970: Hmm... Timeline? Also bluelink.
19:0319:03, 18 December 2024 diff hist +65‎ m Timeline of esoteric programming languages ‎ →‎1964: Fix sentence? These paragraphs tasted a little jank for some reason.

19:5019:50, 17 December 2024 diff hist +125‎ Church numeral ‎ Explicitly link to the alternatives, as it seems like Church numerals are widespread enough to mistakenly appear as ''the'' choice when they are only one possibility.
19:4019:40, 17 December 2024 diff hist +365‎ Parigot numeral ‎ Grammar and more words. I may have the recursion schemes backward, in which case these would be anamorphisms and apomorphisms respectively.

08:0308:03, 13 December 2024 diff hist +986‎ Simple translation ‎ →‎Thinking in terms of monoids: Bluelink locally, grammar, rephrasing, ensuring that the proofs read cleanly. current
07:1207:12, 13 December 2024 diff hist +776‎ Simple translation ‎ →‎Formal definition: Use category theory to quickly formalize the idea that semantics are preserved by STs.

18:3218:32, 11 December 2024 diff hist +204‎ Pyline ‎ →‎Truth machine: Add the one-line version for readability.
18:1818:18, 11 December 2024 diff hist +1,166‎ UnnumericPy ‎ →‎Turing completeness: Remove the handwave and explain a simpler, more readable process. current
18:0118:01, 11 December 2024 diff hist +394‎ LambdaPython ‎ exec()? Escape sequences? We don't need to be so crude. current
17:2617:26, 11 December 2024 diff hist +245‎ Def run(t): ‎ TC proof, formatting, phrasing. current
06:2306:23, 11 December 2024 diff hist +4‎ m Def run(t): ‎ Bluelink Python.

17:0017:00, 8 December 2024 diff hist +361‎ m Execline ‎ There were releases of execline 1.2 in late 2013. Also add a quine with no external commands. current

23:4123:41, 7 December 2024 diff hist +353‎ m Shell ‎ Stub a concept page (rather than let it redirect to a user page.) current Tag: Removed redirect
23:3423:34, 7 December 2024 diff hist +480‎ m Execline ‎ Add an example quine.
23:1223:12, 7 December 2024 diff hist +679‎ N Execline ‎ Stub. Thinking about how to fill this out.
02:2502:25, 7 December 2024 diff hist −13‎ m Scratcholang ‎ →‎See also: Fix a redlink. current
00:2300:23, 7 December 2024 diff hist +255‎ m Scratch ‎ Infobox and stub an important teaching language. current
00:1800:18, 7 December 2024 diff hist 0‎ m Talk:Scratch ‎ Corbin moved page User talk:Scratch to Talk:Scratch: Wrong namespace for a language. (The associated joke user account is not mine.)
00:1800:18, 7 December 2024 diff hist 0‎ m Scratch ‎ Corbin moved page User:Scratch to Scratch over redirect: Wrong namespace for a language. (The associated joke user account is not mine.)

22:2422:24, 3 December 2024 diff hist +697‎ N Nile ‎ Stub a page on one of the STEPS languages.

06:1006:10, 2 December 2024 diff hist −1,540‎ Pi calculus ‎ Completely remove references to "rho calculus", which isn't the classic rewriting system but part of the RChain/RhoLang cryptocurrency meta-scam. current
06:0806:08, 2 December 2024 diff hist +163‎ Pi calculus ‎ Infobox.
06:0406:04, 2 December 2024 diff hist +25‎ N Pi Calculus ‎ Corbin moved page Pi Calculus to Pi calculus: Misspelled title current Tag: New redirect
06:0406:04, 2 December 2024 diff hist 0‎ m Pi calculus ‎ Corbin moved page Pi Calculus to Pi calculus: Misspelled title

17:4817:48, 23 November 2024 diff hist −39‎ m 8 bits, 256 bytes ‎ Manually revert vandalism by User:Win7HE.
17:4717:47, 23 November 2024 diff hist −59‎ m COBOL ‎ Undo revision 146288 by Win7HE (talk) current Tag: Undo
17:0917:09, 23 November 2024 diff hist +5‎ m Most ever Brainfuckiest Fuck you Brain fucker Fuck ‎ Fix category. current
05:4105:41, 23 November 2024 diff hist −407‎ Cellular automaton ‎ Big cleanup: Format examples, red- and bluelink, explicitly mention ZISC, remove duplicated bit from prehistory page. Look more like other computational-model pages. current
05:2505:25, 23 November 2024 diff hist +61‎ Cellular automaton ‎ →‎History: Completely rework history paragraph. Poor Alvy Ray keeps getting cut out of history!

16:5716:57, 12 November 2024 diff hist +59‎ m SML ‎ Not to be confused with Standard ML.

01:0401:04, 9 November 2024 diff hist −38‎ BF ‎ Three's a crowd; clean up and make disambiguation parens explicit. current
01:0001:00, 9 November 2024 diff hist +2,616‎ N BF (category) ‎ Lay out a category. current
00:1100:11, 9 November 2024 diff hist +167‎ Algebraic Brainfuck ‎ Add link to an example interpreter.

23:5123:51, 1 November 2024 diff hist +574‎ Talk:Jumpy ‎ Demonstrate how to decide Jumpy in linear time.

04:0704:07, 29 October 2024 diff hist +2‎ m FXYT ‎ Bluelink Tixy. current
04:0504:05, 29 October 2024 diff hist +1,150‎ N Tixy ‎ Stub an interesting art project from a few years ago. current

19:3219:32, 24 October 2024 diff hist +58‎ Cammy ‎ →‎2024 Primitives: Okay, that's all three families done. (Or is it?) current
04:2304:23, 24 October 2024 diff hist +226‎ Cammy ‎ →‎2024 Primitives: Gotta scope row sizes, but it works.

Navigation menu