User:Autumn-Pan: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
created personal user page describing work and contact information
 
 
(6 intermediate revisions by the same user not shown)
Line 1: Line 1:
Hi, I'm Autumn Pan. Contact me through discord (@dihedralgroup); active on the official BBChallenge discord
Hi, I'm Autumn


I code deciders, run simulations, as well as work on individual machines by hand. I focus my work on BB(6).
==== About Me ====
Discord: dihedralgroup
Email: pan662607@gmail.com


I computed the range of 1618 BB6 holdouts to 1 billion steps, the sorted list is [https://wiki.bbchallenge.org/w/images/5/5b/Least_cells_visited_2.txt here]. Notably, my computation left a majority of the holdouts without known ranges due to their tapes exceeding the scope of what my personal tools were capable of. I intend on revisiting these values when I have developed my simulator far enough to do so. Please contact me on discord if you have any questions or requests.
i do analysis, C/ASM Programmer
 
I work on BB(6) sometimes, I design deciders. I mostly do backwards reasoning. Please send me an email or DM for any and all inquiries
 
==== My Works ====
 
* [https://wiki.bbchallenge.org/wiki/User:Autumn-Pan/Further-Reading Further Reading for Beginners]
 
* [https://wiki.bbchallenge.org/wiki/1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB--- 1RB1LA_1RC1RE_1LD0RB_1LA0LC_0RF0RD_0RB---]
 
*[https://wiki.bbchallenge.org/wiki/User:Autumn-Pan/Busy-Beaver-Resource-Guide Further Reading (Replacement)]
 
*Retrograde Analysis of Turing Machines: An extension of Backwards Reasoning using invariants (Mathematical results complete, Manuscript in progress)

Latest revision as of 03:45, 28 June 2026

Hi, I'm Autumn

About Me

Discord: dihedralgroup Email: pan662607@gmail.com

i do analysis, C/ASM Programmer

I work on BB(6) sometimes, I design deciders. I mostly do backwards reasoning. Please send me an email or DM for any and all inquiries

My Works

  • Retrograde Analysis of Turing Machines: An extension of Backwards Reasoning using invariants (Mathematical results complete, Manuscript in progress)