CrocSwap/integer-mult-bounds
- Всего звёзд
- 96
- Сегодня · UTC
- +4с 22:39 UTC
Другие действия
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Исследовательский репозиторий с community-доказательствами улучшенной асимптотической оценки для умножения целых чисел (κ > 2^-15), включая сертификаты, Lean-проверки и воспроизводимые аудиты.
Чем пригодится
- Воспроизвести проверки через make verify-pair и make verify-joint
- Изучить Lean-сертификаты и аудит аксиом из PR #61
- Проверить арифметику рекуррентных сборок независимым скриптом
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.
Рост звёзд выглядит естественно. Данные на 8 октября 2026, 23:34 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день; линия — скользящее среднее доступной истории. При короткой истории оно ещё не задаёт надёжный обычный темп. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-08 (UTC), 22:39–23:23: 92 → 96 звёзд (+4). Это прирост за указанный интервал.
- Репозиторию 1 день, а у него уже 96 звёзд. Истории меньше двух недель, так что обычного темпа, с которым можно сравнить всплеск, у него ещё нет.
- Топ новых репозиториев за неделю: #195.
- Около 51 форков в сутки — код забирают себе.
- Среди свежих форков — заметные разработчики: @Th0rgal (539 подп.), @anxkhn (396 подп.).
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 96
- Сегодня
- +4 звезды по замерам 2026-10-08, 22:39–23:23 UTC
- Форков
- 34
- Issues и pull requests
- 111
- Наблюдателей
- 1
- Язык
- Python
- Лицензия
- Apache-2.0
- Последний релиз
- community-kappa-15-2026-10-08 · 8 октября 2026
- Создан
- 7 октября 2026
- Последний коммит
- 8 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Где замечен
- 9 октября 2026Топ новых репозиториев за неделю: #150
- 8 октября 2026Топ новых репозиториев за неделю: #195
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/CrocSwap/integer-mult-bounds)