TMBR: August 2025: Difference between revisions
Jump to navigation
Jump to search
(Add Tromp's BBl_1. Remove BBi TNF function for now, I think that is relatively unnotable at the moment.) |
(Collatz reset) |
||
| (5 intermediate revisions by 3 users not shown) | |||
| Line 5: | Line 5: | ||
==Holdouts== | ==Holdouts== | ||
== Cryptids == | |||
* Shawn Ligocki simulated {{TM|1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC}} out to one additional Collatz reset. | |||
==BB Adjacent== | ==BB Adjacent== | ||
*John Tromp introduced <math>BB \lambda _1(n)</math> function for [[Busy Beaver for lambda calculus | *John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for lambda calculus#Oracle Busy Beaver|Busy Beaver for lambda calculus with an oracle]] and computed it up to <math>BB \lambda _1(22)</math>. | ||
* Instruction-Limited Greedy Busy Beaver gBBi(n) and an [[Instruction-Limited Busy Beaver#Instruction-Limited Busy Beaver Variants|Instruction-Limited variant]] of the Blanking Busy Beaver (BLBi(n)) were introduced. gBBi(n) was computed up to n = 13 and BLBi(n) was computed up to n = 7. | |||
[[Category:This Month in Beaver Research]] | [[Category:This Month in Beaver Research]] | ||
==Blog Posts== | ==Blog Posts== | ||
==In the | ==In the News== | ||
==Interesting TMs== | ==Interesting TMs== | ||
[[Category:This Month in Beaver Research]] | [[Category:This Month in Beaver Research]] | ||
Latest revision as of 21:24, 18 August 2025
This Month in Beaver Research for August 2025.
Champions
Holdouts
Cryptids
- Shawn Ligocki simulated
1RB1RA_0RC1RC_1LD0LF_0LE1LE_1RA0LB_---0LC(bbch) out to one additional Collatz reset.
BB Adjacent
- John Tromp introduced the function for Busy Beaver for lambda calculus with an oracle and computed it up to .
- Instruction-Limited Greedy Busy Beaver gBBi(n) and an Instruction-Limited variant of the Blanking Busy Beaver (BLBi(n)) were introduced. gBBi(n) was computed up to n = 13 and BLBi(n) was computed up to n = 7.
