bendlang/bend
- Всего звёзд
- 24 711
- Сегодня
- +16с 00:22 UTC
Другие действия
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Bend 2 — язык программирования с зависимыми типами и доказательствами, компилирующийся под CPU и GPU. Позволяет задавать законы в LAWS.bend, которые компилятор механически проверяет, блокируя ошибки AI-агентов.
Чем пригодится
- Задать инварианты приложения в LAWS.bend, чтобы компилятор не давал агенту их нарушить
- Запустить bend PROOF.bend перед коммитом для проверки доказательств корректности
- Распараллелить вычисление на GPU без написания ядер и работы с потоками
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 4 ноября 2026, 10:53 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-11-04 (UTC), 00:22–10:43: 24695 → 24711 звёзд (+16). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +36 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Интерес спадает: темп за двое суток — 50% от уровня предыдущих полутора недель.
- Среди свежих форков — заметные разработчики: @lgs (299 подп.), @i2cjak (211 подп.).
Замеры роста: последние 7 полных дней
Нет данных за все 7 дней: недельный итог и сравнение не рассчитываются.
Замеры по дням · UTC
- 2 ноября 2026
- 37
- 3 ноября 2026
- 37
- 4 ноября 2026
- 2
- 5 ноября 2026
- —
- 6 ноября 2026
- —
- 7 ноября 2026
- —
- 8 ноября 2026
- —
Максимальный измеренный день за последние 30 дней: 155 · 25 октября 2026. Дней с данными: 26.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 4 ноября 2026, 10:53 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 24 711
- Сегодня
- +16 звёзд по замерам 2026-11-04, 00:22–10:43 UTC, к вечеру ≈ 36
- Форков
- 794
- Issues и pull requests
- 2 037
- Наблюдателей
- 113
- Язык
- TypeScript
- Лицензия
- Apache-2.0
- Последний релиз
- v2.0.39 · 23 октября 2026
- Создан
- 29 августа 2023
- Последний коммит
- 4 ноября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- Bend – a language that blocks AI mistakes via proof and runs on GPUs615 очков, 17 сентября 2026
- Bend 2 Is Here18 очков, 17 сентября 2026
Где замечен
- 25 октября 2026GitHub Trending TypeScript за день: #4, +107 звёзд
- 24 октября 2026GitHub Trending TypeScript за день: #4, +113 звёзд
- 22 сентября 2026GitHub Trending TypeScript за день: #11, +193 звезды
- 21 сентября 2026GitHub Trending TypeScript за день: #11, +188 звёзд
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/bendlang/bend)