User:RobinCodes

Discord: @robincodes

• User:RobinCodes/Work on BB Domains # Holdout count by several aspects, current activity and informal proof counts per domain.
• User:RobinCodes/Valuable user pages # A list of user pages that contain helpful and up-to-date information.
• User:RobinCodes/Next Steps # A list of domains and some of the most low-hanging options possible to contribute.
• User:RobinCodes/Machines at the Edge # Collection of so-called "energy vampire" machines. Machines which may be tractable to simulate, but doing so would require immense computational power.