jeff87654/busy-beaver
- Всего звёзд
- 3
- Сегодня · UTC
- +1с 15:55 UTC
Другие действия
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Коллекция результатов по задаче о занятом бобре (busy beaver) с машинно-проверенными доказательствами на Coq: рекордные машины BB(8), BB(10), BB(12) и 335-состояний машина, останавливающаяся тогда и только тогда, когда ZFC противоречива.
Чем пригодится
- Проверить доказательство остановки и точного счёта машины BB(10) в Coq
- Запустить независимый симулятор для перепроверки правил анализа BB(10)
- Изучить связь машины на 335 состояний с непротиворечивостью ZFC
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 13 октября 2026, 17:53 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-13 (UTC), 15:55–17:48: 2 → 3 звёзд (+1). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +1 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 9 дней, а у него уже 3 звезды. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Hacker News: «BB(10) > Graham's Number» — 57 очков, 5 ч назад.
Замеры роста: последние 7 полных дней
Новые звёзды за 7 дней: 0.
Замеры по дням · UTC
- 6 октября 2026
- 0
- 7 октября 2026
- 0
- 8 октября 2026
- 0
- 9 октября 2026
- 0
- 10 октября 2026
- 0
- 11 октября 2026
- 0
- 12 октября 2026
- 0
Максимальный измеренный день за последние 30 дней: 0 · 4 октября 2026. Дней с данными: 9.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 13 октября 2026, 17:53 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 3
- Сегодня
- +1 звезда по замерам 2026-10-13, 15:55–17:48 UTC, к вечеру ≈ 1
- Форков
- 0
- Issues и pull requests
- 15
- Наблюдателей
- 0
- Язык
- Rocq Prover
- Создан
- 4 октября 2026
- Последний коммит
- 12 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- BB(10) > Graham's Number57 очков, 13 октября 2026
Где замечен
- 13 октября 2026Замечен на Hacker News
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/jeff87654/busy-beaver)