Динамическая геометрия: откройте новую эру искусственного интеллекта следующего поколения, основанного на математике [pdf]
Dynamic Geometry: open a new era of next-generation AI driven by mathematics [pdf] .
GitHub
cohesion_model/DG.pdf at main · wchswchs/cohesion_model
Contribute to wchswchs/cohesion_model development by creating an account on GitHub.
Человеческие ошибки: хороший способ показать ошибки в файлах конфигурации.
Human-errors: a nice way to show errors in config files .
GitHub
GitHub - NSPC911/human-errors: everyone makes mistakes, show the errors to them
everyone makes mistakes, show the errors to them. Contribute to NSPC911/human-errors development by creating an account on GitHub.
Show HN: Автоматизация улучшения качества данных роботов
Show HN: Automate Robot Data Quality Improvement .
GitHub
GitHub - RoboticsData/score_lerobot_episodes: A lightweight toolkit for quantitatively scoring LeRobot episodes.
A lightweight toolkit for quantitatively scoring LeRobot episodes. - RoboticsData/score_lerobot_episodes
Show HN: Wranglr — программируемый интерфейс командной строки для отслеживания работы разработчиков.
Show HN: Wranglr – A programmable CLI for tracking dev work .
GitHub
GitHub - everettraven/wranglr: Less task wrangling, more engineering. A programmable CLI to track dev work from GitHub and beyond.
Less task wrangling, more engineering. A programmable CLI to track dev work from GitHub and beyond. - everettraven/wranglr
1) По-настоящему независимый веб-браузер
2) [Поддержка 0.49.x] (Сбросить Cursor AI MachineID и обойти верхний лимит токенов) Cursor Ai ,自动重置机器ID, 免费升级使用Pro功能: Вы достигли лимита запросов на пробную версию. / На этом компьютере используется слишком много бесплатных пробных учетных записей. Пожалуйста, обновите версию до Pro. У нас есть это ограничение, чтобы предотвратить злоупотребления. Пожалуйста, дайте нам знать, если вы считаете, что это ошибка.
3) Бесплатное расширяемое приложение для преобразования речи в текст с открытым исходным кодом, работающее полностью в автономном режиме.
4) Коллекция потрясающих приложений LLM с агентами AI и RAG с использованием моделей OpenAI, Anthropic, Gemini и открытого исходного кода.
5) Абсолютный тренажер для освещения агентов ИИ.
6) Общий список бесплатных API
7) Протокол платежей для Интернета. Построен на HTTP.
8) Научитесь проектировать крупномасштабные системы. Подготовка к собеседованию по проектированию системы. Включает карточки Anki.
9) Панель Xray, поддерживающая многопротокольный многопользовательский срок действия, трафик и ограничение IP (Vmess, Vless, Trojan, ShadowSocks, Wireguard, Tunnel, Mixed, HTTP)
10) Клиент с графическим интерфейсом для Windows, Linux и macOS, поддерживает Xray, Sing-Box и другие.
11) Редактор диаграмм базы данных, который позволяет визуализировать и проектировать вашу БД с помощью одного запроса.
12) Гай с чашкой чая! Безболезненная самостоятельная комплексная услуга по разработке программного обеспечения, включая хостинг Git, проверку кода, совместную работу команды, реестр пакетов и CI/CD.
13) Экосистема разработки API с открытым исходным кодом • https://hoppscotch.io • Оффлайн, локально и облако • Интернет, настольный компьютер и интерфейс командной строки • Альтернатива Postman, Insomnia с открытым исходным кодом
14) Мощная система управления документами, поддерживаемая сообществом: сканируйте, индексируйте и архивируйте все ваши документы.
15) Кураторский список бесплатных курсов с сертификатами. Также доступно на https://free-certifications.com/.
2) [Поддержка 0.49.x] (Сбросить Cursor AI MachineID и обойти верхний лимит токенов) Cursor Ai ,自动重置机器ID, 免费升级使用Pro功能: Вы достигли лимита запросов на пробную версию. / На этом компьютере используется слишком много бесплатных пробных учетных записей. Пожалуйста, обновите версию до Pro. У нас есть это ограничение, чтобы предотвратить злоупотребления. Пожалуйста, дайте нам знать, если вы считаете, что это ошибка.
3) Бесплатное расширяемое приложение для преобразования речи в текст с открытым исходным кодом, работающее полностью в автономном режиме.
4) Коллекция потрясающих приложений LLM с агентами AI и RAG с использованием моделей OpenAI, Anthropic, Gemini и открытого исходного кода.
5) Абсолютный тренажер для освещения агентов ИИ.
6) Общий список бесплатных API
7) Протокол платежей для Интернета. Построен на HTTP.
8) Научитесь проектировать крупномасштабные системы. Подготовка к собеседованию по проектированию системы. Включает карточки Anki.
9) Панель Xray, поддерживающая многопротокольный многопользовательский срок действия, трафик и ограничение IP (Vmess, Vless, Trojan, ShadowSocks, Wireguard, Tunnel, Mixed, HTTP)
10) Клиент с графическим интерфейсом для Windows, Linux и macOS, поддерживает Xray, Sing-Box и другие.
11) Редактор диаграмм базы данных, который позволяет визуализировать и проектировать вашу БД с помощью одного запроса.
12) Гай с чашкой чая! Безболезненная самостоятельная комплексная услуга по разработке программного обеспечения, включая хостинг Git, проверку кода, совместную работу команды, реестр пакетов и CI/CD.
13) Экосистема разработки API с открытым исходным кодом • https://hoppscotch.io • Оффлайн, локально и облако • Интернет, настольный компьютер и интерфейс командной строки • Альтернатива Postman, Insomnia с открытым исходным кодом
14) Мощная система управления документами, поддерживаемая сообществом: сканируйте, индексируйте и архивируйте все ваши документы.
15) Кураторский список бесплатных курсов с сертификатами. Также доступно на https://free-certifications.com/.
Show HN: OpenSigner – некастоциональное решение с открытым исходным кодом для выпуска кошельков.
Show HN: OpenSigner – An open-source and non-custodial solution to issue wallets .
Улучшение GPT-2 в математических рассуждениях с помощью нового механизма внимания
Making GPT-2 better at math reasoning with a new attention mechanism .
GitHub
GitHub - Kim-Ai-gpu/FactorizedAttention: PyTorch implementation of FactorizedAttention
PyTorch implementation of FactorizedAttention. Contribute to Kim-Ai-gpu/FactorizedAttention development by creating an account on GitHub.
fnox, секретный менеджер, который хорошо сочетается с Мизе
fnox, a secret manager that pairs well with mise .
GitHub
Introducing fnox: A secret manager that pairs well with mise · jdx mise · Discussion #6779
I'm excited to announce fnox – a new secret management tool designed to work seamlessly alongside mise in your development workflow. While it's brand new, I have labeled it 1.0 since it see...
Show HN: Git Auto Commit (GAC) — инструмент командной строки фиксации Git на базе LLM.
Show HN: Git Auto Commit (GAC) – LLM-powered Git commit command line tool .
GitHub
GitHub - cellwebb/gac: LLM-powered git commit message generator that understands your code!
LLM-powered git commit message generator that understands your code! - cellwebb/gac
Корпус Sqllogictest (зеркало, извлеченное из окаменелостей)
Sqllogictest corpus (fossil-extracted mirror) .
GitHub
GitHub - jzombie/sqlite-sqllogictest-corpus: SQLite SQLLogicTest corpus (Fossil export)
SQLite SQLLogicTest corpus (Fossil export). Contribute to jzombie/sqlite-sqllogictest-corpus development by creating an account on GitHub.
Возможности Warp Terminal без телеметрии – с помощью Ghostty
Warp Terminal features without telemetry – using Ghostty .
GitHub
GitHub - Arakiss/ghostty-warp: Modern terminal configuration using Ghostty with Warp-inspired features. Auto-suggestions, syntax…
Modern terminal configuration using Ghostty with Warp-inspired features. Auto-suggestions, syntax highlighting, fuzzy search, and beautiful themes. Open source alternative to Warp Terminal. - Araki...
MCP-Scan: Ограничьте, регистрируйте и сканируйте свой сервер MCP на наличие уязвимостей безопасности.
MCP-Scan: Constrain, log and scan your MCP server for security vulnerabilities .
GitHub
GitHub - invariantlabs-ai/mcp-scan: Constrain, log and scan your MCP connections for security vulnerabilities.
Constrain, log and scan your MCP connections for security vulnerabilities. - invariantlabs-ai/mcp-scan