The Quest for 2LBB Busy Beavers

This set of pages documents my quest for 2LBB Busy Beavers. It describes:

• The 2LBB programming language
• The Busy Beaver problem
• How to search for Busy Beavers
• Hang detection
  • Static
    • No-exit detection
  • Dynamic Analysis
    • Execution history analysis
    • Loop analysis
    • Periodic hangs
    • Sweep hangs
    • Glider hangs
• The current status
• Discussion