В отличие от `Float`, мы не беспокоимся о `nan` для наших сравнений.
Unlike `Float`, we don't worry about `nan` for our comparisons .
GitHub
interval/Interval/Floating/Order.lean at main · girving/interval
Conservative floating point interval arithmetic in Lean - girving/interval
Удален контент, связанный с указом от 20 января 2025 г. «Удаление Woke»
Removed content related to the January 20, 2025 "Woke Removal" Executive Order .
GitHub
Remove content related to 1/20/25 EO by thisisdano · Pull Request #3078 · uswds/uswds-site
Summary
Removed report link and introduction. Removed content related to the January 20, 2025 Executive Order, "Ending Radical And Wasteful Government DEI Programs And Preferencing&quo...
Removed report link and introduction. Removed content related to the January 20, 2025 Executive Order, "Ending Radical And Wasteful Government DEI Programs And Preferencing&quo...
Пакет R для совместного написания документов R Markdown в Google Docs
R package for collaborative writing of R Markdown documents in Google Docs .
GitHub
GitHub - ClaudioZandonella/trackdown: R package for collaborative writing and editing of R Markdown (or Sweave) documents in Google…
R package for collaborative writing and editing of R Markdown (or Sweave) documents in Google Docs. - GitHub - ClaudioZandonella/trackdown: R package for collaborative writing and editing of R Mar...
Fuzpad – Минималистичное решение для управления заметками. Работает на fzf
Fuzpad – A minimalistic note management solution. Powered by fzf .
GitHub
GitHub - JianZcar/FuzPad: A minimalistic note management solution. Powered by fzf
A minimalistic note management solution. Powered by fzf - JianZcar/FuzPad
Meridian: фреймворк моделирования маркетингового комплекса для запуска внутренних моделей
Meridian: Marketing mix modeling framework to run in-house models .
GitHub
GitHub - google/meridian: Meridian is an MMM framework that enables advertisers to set up and run their own in-house models.
Meridian is an MMM framework that enables advertisers to set up and run their own in-house models. - google/meridian
Показать HN: HDR Steganography – один файл / два изображения
Show HN: HDR Steganography – one file / two images .
GitHub
GitHub - derenrich/hdr-steganography: one image file that looks very different depending on your system
one image file that looks very different depending on your system - derenrich/hdr-steganography
SwiftBar: Мощный инструмент настройки строки меню macOS
SwiftBar: Powerful macOS menu bar customization tool .
GitHub
GitHub - swiftbar/SwiftBar: Powerful macOS menu bar customization tool
Powerful macOS menu bar customization tool. Contribute to swiftbar/SwiftBar development by creating an account on GitHub.
Libre Hardware Monitor: форк Open Hardware Monitor
Libre Hardware Monitor: Fork of Open Hardware Monitor .
GitHub
GitHub - LibreHardwareMonitor/LibreHardwareMonitor: Libre Hardware Monitor is free software that can monitor the temperature sensors…
Libre Hardware Monitor is free software that can monitor the temperature sensors, fan speeds, voltages, load and clock speeds of your computer. - LibreHardwareMonitor/LibreHardwareMonitor
Показать HN: Lesley — пакет Python для тепловой карты на основе календаря в стиле GitHub
Show HN: Lesley – A Python Package for GitHub-Styled Calendar-Based Heatmap .
GitHub
GitHub - mitbal/lesley: Lesley is a lightweight Python package designed to create interactive, github-style, calendar-based heatmaps…
Lesley is a lightweight Python package designed to create interactive, github-style, calendar-based heatmaps using altair. - mitbal/lesley
Показать HN: CommitGenius – сообщения о коммитах на базе ИИ с нулевой настройкой
Show HN: CommitGenius – AI-Powered Commit Messages with Zero Setup .
GitHub
GitHub - bannawandoor27/Commitgenius: A Rust-based CLI tool that uses local LLMs (via Ollama) to generate conventional commit messages…
A Rust-based CLI tool that uses local LLMs (via Ollama) to generate conventional commit messages from your git diffs. - bannawandoor27/Commitgenius
Показать HN: Сортировщик файлов на основе ИИ: простая организация файлов с помощью ИИ
Show HN: AI File Sorter: Easily Organize Files Using AI .
GitHub
GitHub - hyperfield/ai-file-sorter: Powerful cross-platform desktop application that automates file organization with AI. Works…
Powerful cross-platform desktop application that automates file organization with AI. Works with Local LLMs. - hyperfield/ai-file-sorter
Показать HN: Подготовьтесь к экзаменам с помощью собственного набора вопросов
Show HN: Prepare for exams with your own set of questions .
GitHub
GitHub - Serial-Experiments-LLP/seet-exam-prep: A plotly dash app to help in preparing for exams
A plotly dash app to help in preparing for exams. Contribute to Serial-Experiments-LLP/seet-exam-prep development by creating an account on GitHub.
1) Qwen2.5 — это большая серия языковых моделей, разработанная командой Qwen, Alibaba Cloud.
2) Расширяемый ИИ-агент с открытым исходным кодом, который выходит за рамки предложений кода — устанавливайте, выполняйте, редактируйте и тестируйте с любым LLM
3) Официальный репозиторий чата Qwen (通义千问) и предварительно обученной большой языковой модели, предложенной Alibaba Cloud.
4) Qwen2.5-VL — это серия многофункциональных языковых моделей, разработанная командой Qwen, Alibaba Cloud.
5) Поддерживаемая сообществом усовершенствованная версия безбумажного документооборота: сканируйте, индексируйте и архивируйте все ваши физические документы
6) Начните работу с Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2 и другими крупными языковыми моделями.
7) Структура агента и приложения, созданные на основе Qwen>=2.0, с поддержкой вызова функций, интерпретатора кода, RAG и расширения Chrome.
8) Qwen2.5-Coder — это версия кода Qwen2.5, большой серии языковых моделей, разработанной командой Qwen, Alibaba Cloud.
9) Библиотека Apache Kafka C/C++
10) Платежный коммутатор с открытым исходным кодом, написанный на Rust, который делает платежи быстрыми, надежными и доступными
11) 🤖 Самый простой и мощный в мире инструмент для проверки акций
12) Удобный интерфейс ИИ (поддерживает Ollama, OpenAI API, ...)
13) Удобный мониторинг вашего интернет-трафика 🕵️♂️
14) Веб-интерфейс Gradio для больших языковых моделей с поддержкой нескольких бэкэндов вывода.
15) Meridian — это фреймворк MMM, который позволяет рекламодателям создавать и запускать собственные внутренние модели.
16) Чрезвычайно быстрый линтер и форматировщик кода Python, написанный на Rust.
2) Расширяемый ИИ-агент с открытым исходным кодом, который выходит за рамки предложений кода — устанавливайте, выполняйте, редактируйте и тестируйте с любым LLM
3) Официальный репозиторий чата Qwen (通义千问) и предварительно обученной большой языковой модели, предложенной Alibaba Cloud.
4) Qwen2.5-VL — это серия многофункциональных языковых моделей, разработанная командой Qwen, Alibaba Cloud.
5) Поддерживаемая сообществом усовершенствованная версия безбумажного документооборота: сканируйте, индексируйте и архивируйте все ваши физические документы
6) Начните работу с Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2 и другими крупными языковыми моделями.
7) Структура агента и приложения, созданные на основе Qwen>=2.0, с поддержкой вызова функций, интерпретатора кода, RAG и расширения Chrome.
8) Qwen2.5-Coder — это версия кода Qwen2.5, большой серии языковых моделей, разработанной командой Qwen, Alibaba Cloud.
9) Библиотека Apache Kafka C/C++
10) Платежный коммутатор с открытым исходным кодом, написанный на Rust, который делает платежи быстрыми, надежными и доступными
11) 🤖 Самый простой и мощный в мире инструмент для проверки акций
12) Удобный интерфейс ИИ (поддерживает Ollama, OpenAI API, ...)
13) Удобный мониторинг вашего интернет-трафика 🕵️♂️
14) Веб-интерфейс Gradio для больших языковых моделей с поддержкой нескольких бэкэндов вывода.
15) Meridian — это фреймворк MMM, который позволяет рекламодателям создавать и запускать собственные внутренние модели.
16) Чрезвычайно быстрый линтер и форматировщик кода Python, написанный на Rust.
Llama.cpp поддерживает Vulkan. Почему Ollama этого не делает?
Llama.cpp supports Vulkan. why doesn't Ollama? .
GitHub
Add Vulkan support to ollama by whyvl · Pull Request #5059 · ollama/ollama
Edit: (2025/01/19)
It's been around 7 months and ollama devs don't seem to be interested in merging this PR. I'll maintain this fork as a separate project from now on. If yo...
It's been around 7 months and ollama devs don't seem to be interested in merging this PR. I'll maintain this fork as a separate project from now on. If yo...
Cyantic – расширяемый шаблон конструктора для Pydantic
Cyantic – an extensible builder pattern for Pydantic .
GitHub
GitHub - flywhl/cyantic: Build complex types from simple blueprints with Pydantic
Build complex types from simple blueprints with Pydantic - flywhl/cyantic