Forge: инструмент и язык для обучения формальным методам
Forge: A Tool and Language for Teaching Formal Methods .
GitHub
GitHub - tnelson/Forge: Forge: A Tool and Language for Teaching Formal Methods
Forge: A Tool and Language for Teaching Formal Methods - tnelson/Forge
Показать HN: Grug делает простой инструмент для общения с помощником OpenAI
Show HN: Grug make simple tool for talk to OpenAI assistant .
GitHub
GitHub - rogersnick/htmx_openai_assistant_chat
Contribute to rogersnick/htmx_openai_assistant_chat development by creating an account on GitHub.
Показать HN: RSS-ридер с управлением с клавиатуры для macOS
Show HN: Keyboard-driven RSS reader for macOS .
GitHub
GitHub - nonnontrivial/ross: keyboard-driven RSS reader for macOS
keyboard-driven RSS reader for macOS. Contribute to nonnontrivial/ross development by creating an account on GitHub.
O1 и DeepSeek-r1 автоматически пишут, исправляют ошибки и улучшают код Python
O1 and DeepSeek-r1 auto coder write, fix errors and improve Python code .
GitHub
GitHub - echohive42/deepdeek-r1-experiments: deep seek & o1 auto coders which write python code from a simple description and iteratively…
deep seek & o1 auto coders which write python code from a simple description and iteratively improvesit and fix errors - echohive42/deepdeek-r1-experiments
Показать HN: Скрипт скачивает любые видео с YouTube, высокого качества, без рекламы
Show HN: Script downloads any YouTube videos, high quality, without ads .
GitHub
GitHub - pH-7/Download-Simply-Videos-From-YouTube: Python script that downloads and saves any of your favorite YouTube videos and…
Python script that downloads and saves any of your favorite YouTube videos and playlists. All you need to do is just run the Python script and follow the terminal prompt. - pH-7/Download-Simply-Vid...
Показать HN: Никогда больше не обучайте другую модель МО
Show HN: Never train another ML model again .
GitHub
GitHub - Pravko-Solutions/FlashLearn: Integrate LLM in any pipeline - fit/predict pattern, JSON driven flows, and built in concurency…
Integrate LLM in any pipeline - fit/predict pattern, JSON driven flows, and built in concurency support. - Pravko-Solutions/FlashLearn
Mac-minivnc – сервер удаленного рабочего стола VNC для старых компьютеров Macintosh
Mac-minivnc – A VNC remote desktop server for vintage Macintosh computers .
GitHub
GitHub - marciot/mac-minivnc: A VNC remote desktop server for vintage Macintosh computers, including the Mac Plus.
A VNC remote desktop server for vintage Macintosh computers, including the Mac Plus. - marciot/mac-minivnc
YuE: Модель открытого фонда создания полноценных песен
YuE: Open Full-Song Generation Foundation Model .
GitHub
GitHub - multimodal-art-projection/YuE: YuE: Open Full-song Music Generation Foundation Model, something similar to Suno.ai but…
YuE: Open Full-song Music Generation Foundation Model, something similar to Suno.ai but open - multimodal-art-projection/YuE
Сократите расходы на агентов LLM на 90% с помощью HTML-сжатия, сохраняющего структуру
Reduce your LLM agent costs by 90% with structure-preserving HTML compression .
GitHub
GitHub - emmetify/emmetify-py: Cut LLM costs and boost processing speed by transforming bulky HTML into compact Emmet notation
Cut LLM costs and boost processing speed by transforming bulky HTML into compact Emmet notation - emmetify/emmetify-py
1) DeepSeek Coder: пусть код пишет сам себя
2) Описание не предоставлено
3) DeepSeek-Coder-V2: преодоление барьера моделей с закрытым исходным кодом в области анализа кода
4) DeepSeek LLM: Да будут ответы
5) Операционная система для ваших личных финансов
6) Janus-Series: унифицированные мультимодальные модели понимания и генерации
7) DeepSeek-VL: на пути к пониманию реального мира и языка
8) DeepSeek-V2: мощная, экономичная и эффективная языковая модель для смешанного состава экспертов
9) DeepSeekMath: расширение границ математических рассуждений в моделях открытого языка
10) [ICLR 2024] Официальная реализация DreamCraft3D: иерархическая 3D-генерация с предварительной диффузией Bootstrapped
11) TEN Agent — это разговорный ИИ на базе TEN, интегрирующий Gemini 2.0 Live, OpenAI Realtime, RTC и многое другое. Он обеспечивает возможности в реальном времени видеть, слышать и говорить, будучи полностью совместимым с популярными платформами рабочих процессов, такими как Dify и Coze.
12) Начните работу с Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2 и другими крупными языковыми моделями.
13) Компонуемые строительные блоки для создания приложений Llama
2) Описание не предоставлено
3) DeepSeek-Coder-V2: преодоление барьера моделей с закрытым исходным кодом в области анализа кода
4) DeepSeek LLM: Да будут ответы
5) Операционная система для ваших личных финансов
6) Janus-Series: унифицированные мультимодальные модели понимания и генерации
7) DeepSeek-VL: на пути к пониманию реального мира и языка
8) DeepSeek-V2: мощная, экономичная и эффективная языковая модель для смешанного состава экспертов
9) DeepSeekMath: расширение границ математических рассуждений в моделях открытого языка
10) [ICLR 2024] Официальная реализация DreamCraft3D: иерархическая 3D-генерация с предварительной диффузией Bootstrapped
11) TEN Agent — это разговорный ИИ на базе TEN, интегрирующий Gemini 2.0 Live, OpenAI Realtime, RTC и многое другое. Он обеспечивает возможности в реальном времени видеть, слышать и говорить, будучи полностью совместимым с популярными платформами рабочих процессов, такими как Dify и Coze.
12) Начните работу с Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2 и другими крупными языковыми моделями.
13) Компонуемые строительные блоки для создания приложений Llama
HawkEye: простой проверятель и форматировщик заголовков лицензий на Rust
HawkEye: A Simple license header checker and formatter in Rust .
GitHub
GitHub - korandoru/hawkeye: Simple license header checker and formatter, in multiple distribution forms.
Simple license header checker and formatter, in multiple distribution forms. - korandoru/hawkeye
Показать HN: LLMling-Agent (еще один фреймворк агента)
Show HN: LLMling-Agent (Yet another Agent framework) .
GitHub
GitHub - phil65/llmling-agent: Multi-agent workflows and complex Agent interactions, both via YAML manifest and programmatic usage.…
Multi-agent workflows and complex Agent interactions, both via YAML manifest and programmatic usage. Pydantic-AI and LiteLLM backends. Human-in-the-loop integration. - phil65/llmling-agent
Показать HN: Эксперимент ▴ Пользовательский интерфейс LLM для разработчиков с визуализацией использования инструментов
Show HN: Experiment ▴ LLM UI for developers with tool use visualization .
GitHub
GitHub - actualwitch/experiment: 🔬 Experiment is a feature-rich chat interface for Large Language Models (LLMs) like Anthropic…
🔬 Experiment is a feature-rich chat interface for Large Language Models (LLMs) like Anthropic, OpenAI, and Mistral. - actualwitch/experiment
Virtua Fighter 5 R.E.V.O дебютирует в Steam. Испытайте новые функции и графику 4K
Virtua Fighter 5 R.E.V.O Debuts on Steam Experience New Features and 4K Graphics .
GitHub
Virtua Fighter 5 R.E.V.O. Now Available on Steam with Enhanced Features and 4K Support · Issue #1 · exnews/exnews.github.io
Sega has officially launched Virtua Fighter 5 R.E.V.O. on Steam today, bringing the iconic fighting game to PC for the first time. Priced at £15.99, players can enjoy a 20% discount during the laun...
Показать HN: Rapier – Генерация модулей Dagger из аннотаций для данных конфигурации
Show HN: Rapier – Generate Dagger Modules from Annotations for Config Data .
GitHub
GitHub - aleph0io/rapier: Code generation companion library for Google Dagger focusing on eliminating boilerplate for common configuration…
Code generation companion library for Google Dagger focusing on eliminating boilerplate for common configuration sources - aleph0io/rapier
Показать HN: Elasti, решение для масштабирования до нуля на основе K8s, работающее с keda
Show HN: Elasti, a K8s based scale to zero solution that works with keda .
GitHub
GitHub - truefoundry/elasti
Contribute to truefoundry/elasti development by creating an account on GitHub.
Показать HN: Деидентификация, инструмент Python для удаления личной информации с помощью NLP
Show HN: Deidentification, Python tool for removing personal info using NLP .
GitHub
GitHub - jftuga/deidentification: Deidentify people's names and gender specific pronouns
Deidentify people's names and gender specific pronouns - jftuga/deidentification