HOAREPROMPT: Структурные рассуждения о правильности программы на естественном языке
HoarePrompt: Structural Reasoning About Program Correctness in Natural Language .
GitHub
GitHub - msv-lab/HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
Structural Reasoning About Program Correctness in Natural Language - msv-lab/HoarePrompt
Мопс - надежный, элегантный, функционирует богатый шаблонный двигатель для node.js
Pug – robust, elegant, feature rich template engine for Node.js .
GitHub
GitHub - pugjs/pug: Pug – robust, elegant, feature rich template engine for Node.js
Pug – robust, elegant, feature rich template engine for Node.js - pugjs/pug
Chainnet: блокчейн, построенный с нуля в Go (+10.000 линий)
Chainnet: Blockchain built from scratch in Go (+10.000 lines) .
GitHub
GitHub - yago-123/chainnet: Blockchain built from scratch
Blockchain built from scratch. Contribute to yago-123/chainnet development by creating an account on GitHub.
Показать HN: JetScript - поэтический язык сценариев для MVP (построенный за 14 часов)
Show HN: JetScript – A poetic scripting language for MVPs (built in 14 hours) .
GitHub
GitHub - jetscript-lang/JetScript
Contribute to jetscript-lang/JetScript development by creating an account on GitHub.
Pip-Anything: выберите и превратите любой дивинг в окно картинки в картинке
Pip-anything: Select and turn any div into a Picture-in-Picture window .
GitHub
GitHub - streamerd/pip-anything: A browser extension that allows you to turn any element on a webpage into a Picture-in-Picture…
A browser extension that allows you to turn any element on a webpage into a Picture-in-Picture window. - streamerd/pip-anything
1) Ваш второй мозг ИИ. Самостоятельно. Получите ответы из Интернета или ваших документов. Создайте пользовательские агенты, планируете автоматизации, проводят глубокие исследования. Превратите любой онлайн или местный LLM в свой личный, автономный ИИ (GPT, Claude, Gemini, Llama, Qwen, Mistral). Начните - бесплатно.
2) Ingress Nginx Controller для Kubernetes
3) Агентная структура искусственного интеллекта для разработчиков Java
4) Элегантное чтение в режиме реального времени и самых горячих новостей
5) Только в образовательных целях исчерпывающие образцы 450+ классических/современных троянских строителей, включая скриншоты.
6) Starvector - это основополагающая модель для генерации SVG, которая превращает векторизацию в задачу генерации кода. Используя архитектуру моделирования на языке зрения, Starvector обрабатывает как визуальные, так и текстовые входы для создания высококачественного кода SVG с замечательной точностью.
7) Описание не предоставлено
8) PlayStation 4 эмулятор для Windows, Linux и MacOS Записано в C ++
9) Этот репозиторий имеет систему оптимизации энергии (EOS), которая оптимизирует распределение энергии, использование батарей, тепловые насосы и бытовые устройства. Он включает в себя прогнозирующие модели для цен на электроэнергию (запланировано), прогнозирование нагрузки и динамическая оптимизация, чтобы максимизировать энергоэффективность и минимизировать затраты. Основатель доктор Андреас Шмитц (YouTube @akkudoktor)
10) Сделайте веб -сайты доступными для агентов искусственного интеллекта
11) Этот репозиторий предоставляет учебные пособия и реализации для различных методов генеративного агента искусственного интеллекта, от базовых до продвинутых. Он служит комплексным руководством по созданию интеллектуальных, интерактивных систем ИИ.
12) Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, сеть, виртуализация. Вопросы интервью DevOps
13) Частный мессенджер для Android.
14) Платеж с открытым исходным кодом, написанный в ржавчине, чтобы сделать платежи быстрым, надежным и доступным
2) Ingress Nginx Controller для Kubernetes
3) Агентная структура искусственного интеллекта для разработчиков Java
4) Элегантное чтение в режиме реального времени и самых горячих новостей
5) Только в образовательных целях исчерпывающие образцы 450+ классических/современных троянских строителей, включая скриншоты.
6) Starvector - это основополагающая модель для генерации SVG, которая превращает векторизацию в задачу генерации кода. Используя архитектуру моделирования на языке зрения, Starvector обрабатывает как визуальные, так и текстовые входы для создания высококачественного кода SVG с замечательной точностью.
7) Описание не предоставлено
8) PlayStation 4 эмулятор для Windows, Linux и MacOS Записано в C ++
9) Этот репозиторий имеет систему оптимизации энергии (EOS), которая оптимизирует распределение энергии, использование батарей, тепловые насосы и бытовые устройства. Он включает в себя прогнозирующие модели для цен на электроэнергию (запланировано), прогнозирование нагрузки и динамическая оптимизация, чтобы максимизировать энергоэффективность и минимизировать затраты. Основатель доктор Андреас Шмитц (YouTube @akkudoktor)
10) Сделайте веб -сайты доступными для агентов искусственного интеллекта
11) Этот репозиторий предоставляет учебные пособия и реализации для различных методов генеративного агента искусственного интеллекта, от базовых до продвинутых. Он служит комплексным руководством по созданию интеллектуальных, интерактивных систем ИИ.
12) Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, сеть, виртуализация. Вопросы интервью DevOps
13) Частный мессенджер для Android.
14) Платеж с открытым исходным кодом, написанный в ржавчине, чтобы сделать платежи быстрым, надежным и доступным
Показать HN: я сделал застройщика Fetch Client, чтобы сделать API проще и безопаснее
Show HN: I made a fetch client builder to make API calls simpler and safer .
GitHub
GitHub - L-Blondy/up-fetch: Advanced fetch client builder
Advanced fetch client builder. Contribute to L-Blondy/up-fetch development by creating an account on GitHub.
Внесение записей и отлаживания повторного воспроизведения повсюду на Linux
Bringing Record and Replay debugging everywhere on Linux .
GitHub
me/008-rr-everywhere.md at master · sidkshatriya/me
This is a space where I express my thoughts and opinions on mostly technical things - sidkshatriya/me
Show HN: Metrojs - JavaScript https клиент с промежуточным программным обеспечением
Show HN: MetroJS – JavaScript HTTPS Client with Middleware .
GitHub
GitHub - muze-nl/metro: HTTPS client with support for middleware
HTTPS client with support for middleware. Contribute to muze-nl/metro development by creating an account on GitHub.
Показать HN: инструмент увеличения текста для биомедицинских текстов
Show HN: Text augmentation tool for biomedical texts .
GitHub
GitHub - tznurmin/TEA: Taxonomic Entity Augmentation makes biomedical texts less repetitive
Taxonomic Entity Augmentation makes biomedical texts less repetitive - tznurmin/TEA
Новый эталон с открытым исходным кодом для аналитических приложений в реальном времени
New open-source benchmark for real-time analytics applications .
GitHub
GitHub - timescale/rtabench: A Benchmark for Real-Time Analytics Applications
A Benchmark for Real-Time Analytics Applications. Contribute to timescale/rtabench development by creating an account on GitHub.