User contributions for Frogmatic

1 November 2026

• 09:2809:28, 1 November 2026 diff hist −115 Main Page Clarify the table key
• 08:0008:00, 1 November 2026 diff hist +62 N BBBB Redirected page to Beeping Busy Beaver#Beeping Booping Busy Beavers current Tag: New redirect

31 October 2026

• 18:3318:33, 31 October 2026 diff hist +8 Champions →2-Symbol TMs: Tidy up absent values
• 13:4713:47, 31 October 2026 diff hist +139 Beeping Busy Beaver →Champions: Add the best source I can find for BBB(3) = 55.
• 13:3913:39, 31 October 2026 diff hist +220 Beeping Busy Beaver →Champions: Split source to a separate column (it's hard to read a number with a footnote right after it, these look like exponents)
• 13:1113:11, 31 October 2026 diff hist +591 Beeping Busy Beaver →Beeping Booping Busy Beavers: Document current BBBB champs for small values, and give proper credit to racheline.
• 11:2611:26, 31 October 2026 diff hist +249 Beeping Busy Beaver Explain more of the significance of BBB in terms of simulation power
• 11:2211:22, 31 October 2026 diff hist −1,648 1RB1LD 1RC1RB 1LC1LA 0RC0RD Create article for the BBBB(2) champion
• 11:1911:19, 31 October 2026 diff hist +62 N Beeping Booping Busy Beaver Redirected page to Beeping Busy Beaver#Beeping Booping Busy Beavers current Tag: New redirect
• 09:2909:29, 31 October 2026 diff hist −66 Cryptids →Cryptids for other BB-style functions: Split behavior out from other notes for BBB, consistent with the BB table.
• 08:4808:48, 31 October 2026 diff hist +66 Beeping Busy Beaver Correct value for BBBB(2)

28 October 2026

• 21:0121:01, 28 October 2026 diff hist −3 Champions →2-Symbol TMs: Use consistent style for missing champions (at least in the dense part of the table)
• 19:5219:52, 28 October 2026 diff hist +62 N Pseudoquasihalting Redirect unusual terminology to the relevant parent article current Tag: New redirect
• 19:5119:51, 28 October 2026 diff hist +62 N Pseudoquasihalt Redirect unusual terminology to the relevant parent article current Tag: New redirect
• 19:4619:46, 28 October 2026 diff hist +467 Beeping Busy Beaver →Beeping Booping Busy Beavers: Add some more explanation to BBBB's definition

27 October 2026

• 19:4819:48, 27 October 2026 diff hist −344 Cryptids →Larger Cryptids: Remove the antihydra like -- this is not really a designed cryptid since it doesn't refer to any known problem. Could be created as its own page maybe?

26 October 2026

• 19:5919:59, 26 October 2026 diff hist +343 Cryptids →Larger Cryptids: Clarify status of the BB(215) ZF machine; it was actually posted by Cleo, only the Lean-free proof is by Elliot Glazer.
• 19:2019:20, 26 October 2026 diff hist −39 Cryptids →Larger Cryptids: Merge ZF and ZFC rows; these were incorrectly represented as two separate problems, but logical independence explains why they're equivalent from a halting perspective.

25 October 2026

• 15:5615:56, 25 October 2026 diff hist +179 Cryptids →Larger Cryptids: Add more context links for problems
• 15:5215:52, 25 October 2026 diff hist +64 Cryptids →Beeping Busy Beaver: Split source info out from the machine itself, as for the table above.
• 15:5015:50, 25 October 2026 diff hist +656 Cryptids →Larger Cryptids: Split out two concepts: the machine itself (where available) and the full external source. In some cases I couldn't actually find the real machine, but I think it's useful to highlight that for further digging.
• 15:1715:17, 25 October 2026 diff hist +443 Cryptids →Larger Cryptids: Highlight best bounds in bold
• 15:0615:06, 25 October 2026 diff hist −53 Cryptids →Larger Cryptids: Tidy up what's in the "Machine" column versus Notes, so this column is now a reasonable width.
• 14:5914:59, 25 October 2026 diff hist −552 Cryptids →Larger Cryptids: Move the behaviour description into a dedicated column. This removes the need to keep restating it for machines that address the same problem, and helps to separate the problem statement from the solutions.
• 14:3914:39, 25 October 2026 diff hist +4 Cryptids →Larger Cryptids: Give exact month of the original Goldbach machine (according to the github date)
• 14:3514:35, 25 October 2026 diff hist +26 Cryptids →Larger Cryptids: Fix outdated Metamath Github link
• 14:3414:34, 25 October 2026 diff hist +52 Cryptids Use WrapTM more consistently
• 14:2014:20, 25 October 2026 diff hist +3,215 Cryptids Improve formatting of Date column
• 14:1514:15, 25 October 2026 diff hist −25 Cryptids Use better Wikipedia links (now I know how to do that!)
• 14:1114:11, 25 October 2026 diff hist −526 Cryptids Further tidy-up of machine code formatting to improve table readability
• 14:0414:04, 25 October 2026 diff hist −751 Cryptids →Larger Cryptids: Use WrapTM template so the styling of machine formatting stays consistent
• 13:5713:57, 25 October 2026 diff hist +65 Template:WrapTM Add full wrapper
• 13:5413:54, 25 October 2026 diff hist +223 N Template:WrapTM Create a wrapping template for embedding the {{TM}} template in a collapse way.
• 13:1913:19, 25 October 2026 diff hist +66 Cryptids →Larger Cryptids: More descriptive names for initialisms
• 13:1713:17, 25 October 2026 diff hist +65 Cryptids →Beeping Busy Beaver: Context link for Twin prime conjecture
• 13:1513:15, 25 October 2026 diff hist −6 Cryptids Make all rows consistently one cell per line
• 12:2012:20, 25 October 2026 diff hist −54 Cryptids →Larger Cryptids: Remove redundant BB entries. There's no great value in highlighting a BB(n) machine when a BB(<n) machine is mentioned in the same row.
• 12:1812:18, 25 October 2026 diff hist +111 Cryptids →Larger Cryptids: Break instruction count out into a separate column (where provided). This helps to keep the table more readable I think.

24 October 2026

• 17:1817:18, 24 October 2026 diff hist +336 Cryptids →Larger Cryptids: Add the full Collatz machine

23 October 2026

• 18:0918:09, 23 October 2026 diff hist +1 Cryptids →Larger Cryptids: Move the "Announcement" concept into general notes, since most rows don't have a formal announcement now.

22 October 2026

• 21:2221:22, 22 October 2026 diff hist +31 1LM0RB 1LC1RB 0LM0LD 1RE1LD 0RF0RB 0LN0LG 1LH1LG 0RK0RI 1RJ1RI 0LN1RF 0RL1RK 0RZ1LC 0RA1LM 1LM1LN Fix MathJAX syntax and link my user page
• 20:5320:53, 22 October 2026 diff hist +12 Cryptids →Larger Cryptids: Better table formatting for problems with multiple machines
• 18:5218:52, 22 October 2026 diff hist −40 Cryptids →Larger Cryptids: Note verification of weak Collatz in BB(14).
• 18:4718:47, 22 October 2026 diff hist +6 Cryptids Give DeepMind the credit for Goldback BB(21), since it's from their repo.

18 October 2026

• 12:2212:22, 18 October 2026 diff hist +152 N User:Frogmatic Page for myself, red links begone current
• 12:1912:19, 18 October 2026 diff hist +755 Cryptids →Larger Cryptids: Mention possible improvement to the Weak Collatz cryptid Tag: Visual edit: Switched