All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Esolang. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 21:01, 8 June 2024 Chris Pressey talk contribs created page Befunge/96 and 97 (Restore the CC0 portions of the deleted version of this page.)
- 20:30, 8 June 2024 Chris Pressey talk contribs deleted page Befunge/96 and 97 (Copyright violation: content was: " Through some obscure corner of the Wayback Machine, I (User:BoundedBeans) managed to find the original Funge-97 and Befunge-96 spec (not Funge-98, but its much more elusive parent). I've copied the specs here (sorry for the loss of formatting). ==Funge-97 spec== ...")
- 11:01, 7 February 2024 Chris Pressey talk contribs created page Sloopy (Created page with "'''Sloopy''' is a pedestrian C-like Turing-complete language intended to be used in proofs of Turing-completeness. There are four global variables in every Sloopy program: * <code>done</code>, a boolean, initially false * <code>state</code>, an unbounded integer, initially 0 * <code>head</code>, an unbounded integer, initially 0 * <code>tape</code>, an unbounded array of integers, intially filled with 0's A Sloopy program always takes the following form: while (!don...")
- 13:55, 31 January 2024 Chris Pressey talk contribs created page Reverse Polish notation (Redirected page to Postfix notation) Tag: New redirect
- 13:55, 31 January 2024 Chris Pressey talk contribs created page Polish notation (Redirected page to Prefix notation) Tag: New redirect
- 09:50, 31 January 2024 Chris Pressey talk contribs created page 'N-DCNC (Create article for 'N-DCNC.)
- 06:26, 31 January 2024 Chris Pressey talk contribs created page Larabee (Created page with "{{stub}} '''Larabee''' is an assembly-like programming language designed by Chris Pressey in 2008 that borrows the notion of branch prediction from computer architecture: whenever a branch instruction is executed, the branch that is taken is determined partly by the history of previous branches. However, in Larabee this is not just an optimization: the branching history actually affects the control flow in the program. Larabee uses an S-expression-based syntax (li...")
- 06:12, 31 January 2024 Chris Pressey talk contribs created page Illberon (Redirected page to ILLGOL) Tag: New redirect
- 06:12, 31 January 2024 Chris Pressey talk contribs created page Illgola-2 (Redirected page to ILLGOL) Tag: New redirect
- 20:01, 30 January 2024 Chris Pressey talk contribs created page Flobnar (A mere 13 years after its creation, create an article for Flobnar on the esolangs wiki.)
- 16:50, 14 January 2024 Chris Pressey talk contribs created page Strelnokoff Turing-completeness proof (Created page with "We show that Strelnokoff is Turing-complete by showing how to convert any Alternating 1-based Minsky machine to an equivalent Strelnokoff program. ==Assumptions== We assume that Strelnokoff variables may contain integers of unbounded extent, including negative integers. We also adopt the interpretation that, if the program state is such that no assignment of the program would change it, we may consider the program to have halted. ==Approach== We first es...")
- 12:13, 14 January 2024 Chris Pressey talk contribs created page Alternating 1-based Minsky machine (Created page with "An '''Alternating 1-based Minsky machine''' (A1MM for short) is pedestrian variation on a Minsky machine which was defined by Chris Pressey in 2024 with the intent of being used as an intermediate language to ease writing Turing-completeness proofs for certain languages such as Strelnokoff. ==Definition== An Alternating 1-Based Minsky machine is just like a Minsky machine, except * Along with the increment and decrement instructions, there is also a ...")
- 14:19, 13 January 2024 Chris Pressey talk contribs created page Talk:Szewczyk notation for Minsky machine (Created page with "==Szewczyk who?== It would be reasonable to guess that the name of this notation comes from it being named after its inventor and its inventor was someone with the surname Szewczyk, but can someone confirm this? And if that's the case, is there any more information available on who Szewczyk is or was, and when they invented this notation? Web searches like "szewczyk minksy", "szewczyk notation", "szewczyk code" seem to mostly return this same article as the top hit, f...")
- 12:13, 11 January 2024 Chris Pressey talk contribs created page Talk:Markov algorithm (Article likely to have been plagiarised from Wikipedia)
- 12:02, 11 January 2024 Chris Pressey talk contribs created page Talk:1.1 (How is 1.1 "essentially equivalent" to Markov algorithms?)
- 11:13, 2 July 2020 Chris Pressey talk contribs created page Talk:Javagony Turing-completeness proof (Feedback on this proof)
- 09:55, 26 June 2020 Chris Pressey talk contribs created page Subleq/subleq.py (Add public domain interpreter and simple assembler for Subleq.)
- 09:35, 25 June 2020 Chris Pressey talk contribs moved page Tandem/Sketch of a Tandem Interpreter to Tandem/Tandem.hs (It's no longer a sketch)
- 09:56, 23 June 2020 Chris Pressey talk contribs created page Tandem/Sketch of a Tandem Interpreter (Sketch a Tandem interpreter.)
- 09:36, 22 June 2020 Chris Pressey talk contribs created page Talk:Klaus/Dense (Created page with "=== Exclamation points or periods? === The text consistently states that a track ends in an exclamation point, but in the example programs the tracks consistently end with pe...")
- 09:26, 22 June 2020 Chris Pressey talk contribs created page Talk:Klaus (Created page with "=== Declarative paradigm, really? === I think this language is miscategorized as declarative -- it's described in terms of statements, instructions, loading integers into reg...")
- 08:45, 19 June 2020 Chris Pressey talk contribs created page Tandem (Created page with "'''Tandem''' is an experimental rewriting language, designed by Chris Pressey in June 2020, where the rewrite rules form a Kleene algebra. The object being rewritten by a...")
- 07:56, 18 June 2020 Chris Pressey talk contribs created page Category talk:Total (Note that there are total languages with self-interpreters.)
- 09:44, 11 June 2020 Chris Pressey talk contribs created page Reverse cat (Create redirect) Tag: New redirect
- 14:01, 10 June 2020 Chris Pressey talk contribs created page Burro/TM2Burro.hs (Add TM2Burro compiler, showing Burro is TC.)
- 10:54, 4 June 2020 Chris Pressey talk contribs created page Ask-calculus (Created page with "{{lowercase}} The '''SKA-calculus''' and the '''ask-calculus''' are products of a thought experiment by Chris Pressey in or around May 2020 to produce a concatenative...")
- 15:25, 8 November 2012 Chris Pressey talk contribs deleted page User talk:Trink143 (Vandalism: content was: "==Buy Matrix Radiation Shield to guard Yourself and Your Family== Softbank, one of the most very well known cellphone web developers in Japan has created their..." (and the only contributor was "[[Special:Contributions/Trink14...)
- 15:24, 8 November 2012 Chris Pressey talk contribs blocked Trink143 talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled, email disabled, cannot edit own talk page) (Spamming links to external sites: (this is my first time blocking a spammer; hope i got the options ok))
- 23:52, 13 February 2011 Chris Pressey talk contribs moved page Chalcraft-Green train track automaton to Chalcraft-Greene train track automaton (Michael Green's last name is Greene)
- 23:47, 13 February 2011 Chris Pressey talk contribs moved page ChalcraftGreen to Chalcraft-Green train track automaton (The system is not called "ChalcraftGreen")
- 00:57, 24 December 2010 Chris Pressey talk contribs deleted page Talk:PATH (content was Russian spam, dating back to 16 January 2010)
- 00:53, 24 December 2010 Chris Pressey talk contribs deleted page Talk:Undefined behavior (content was spam (and the only contributor was '193.105.210.35'))
- 18:17, 13 December 2010 Chris Pressey talk contribs deleted page Seed7 (Contents not public domain (was copied from Wikipedia.))
- 17:51, 4 December 2010 Chris Pressey talk contribs deleted page WikiPL (content was: 'Admins, please delete this page.' (and the only contributor was 'Oerjan') (not a programming language))
- 02:14, 2 December 2010 Chris Pressey talk contribs deleted page Category talk:2001 (spam (and the only contributor was '59.57.14.91'))
- 02:00, 1 December 2010 Chris Pressey talk contribs deleted page Prilosec - pepsid prilosec taken together - side effecst of prilosec (content was: 'Spam removed.')
- 04:25, 17 November 2010 Chris Pressey talk contribs deleted page Category talk:2001 (spam (and the only contributor was '59.57.14.91'))
- 00:41, 17 June 2007 Chris Pressey talk contribs moved page Talk:RedGreen to Talk:REDGREEN (Proper capitalization for this language's name is ALLCAPS, not CamelCaps)
- 00:41, 17 June 2007 Chris Pressey talk contribs moved page RedGreen to REDGREEN (Proper capitalization for this language's name is ALLCAPS, not CamelCaps)
- 17:50, 16 July 2005 Chris Pressey talk contribs deleted page User:Chris Pressey/Test'' (content was: 'This is only a test.')