ПЛИС-культ привет, FPGA хабрунити.На днях состоялся анонс уже второго номера народного FPGA журналаFPGA-Systems Magazine :: № BETA (state_1). В нем 200+ страниц и 20+ статей и небольших заметок по направлениям FPGA / RTL / Verification (ПЛИС сегодня это не только про знание HDL и Vivado c Quartus'ом). Журнал бесплатный и распространяется в виде pdf-ки.Зачем? Есть же хабр!Хабр был, хабр есть и хабр будет. Но, к моему сожалению, хаб FPGA является не самым популярным тредом, и статейки здесь п…
Сегодня через API стала доступна новая модель YandexGPT 3 Lite. Одним из ключевых этапов её обучения, как и в случае с другими недавними моделями, стал этап Alignment (выравнивания), включающий в том числе стадию обучения с подкреплением — RL. Пожалуй, без этого этапа мы бы не смогли добиться такого роста в качестве, который был необходим для запуска новых возможностей и сервисов (например, Нейро). Поэтому эту статью мы полностью посвятим особенностям выравнивания моделей. На тему Alignment и R…
Простые числа удивительны!С одной стороны, их легко объяснить: это просто числа, которые делятся только на единицу и на себя; с другой стороны, они содержат в себе бесконечную сложность. Они встречаются во множестве разных сфер, от математических концепций и гипотез до любопытных визуализаций и криптографии, лежат в основе многих Интернет-стандартов и протоколов безопасности, которые мы используем ежедневно.Несмотря на моё восхищение простыми числами, я никогда не исследовал их подробно, поэтом…
Не так давно на Хабре была небольшая волна постов и комментариев о том, как можно быстро и эффективно потерять данные своего проекта — неработающие или отсутствующие бэкапы, ошибки «железа» и прочие радости инженеров DevOps. Тогда я это всё прочитал с интересом — всегда же любопытно почитать про чужие факапы (про свои неинтересно). Через несколько дней я вдруг оказался среди таких же несчастных "уже делающих бэкапы".Немного контекста - у меня есть свой домашний проект, которым я занимаю…
The math library of Lean 4mathlib4 This is a complete port of mathlib to Lean 4. Development of mathlib now takes place in this repository. Mathlib is a user maintained library for the Lean theorem prover. It contains both programming infrastructure and mathematics, as well as tactics that use the former and allow to develop the latter. Installation You can find detailed instructions to install Lean, mathlib, and supporting tools on our website. Using mathlib4 as a dependency Please refer to…
Discord Slack Bento is a high performance and resilient stream processor, able to connect various sources and sinks in a range of brokering patterns and perform hydration, enrichments, transformations and filters on payloads. It comes with a powerful mapping language, is easy to deploy and monitor, and ready to drop into your pipeline either as a static binary, docker image, or serverless function, making it cloud native as heck. Bento is declarative, with stream pipelines defined in as few …
Anthropic's educational coursesAnthropic Courses Welcome to Anthropic's eductional courses.
A cloud-based code editing environment with an AI copilot and real-time collaboration.Sandbox 📦🪄 Sandbox is an open-source cloud-based code editing environment with custom AI code autocompletion and real-time collaboration. Check out the Twitter thread with the demo video! Running Locally Frontend Install dependencies cd frontend npm install Add the required environment variables in .env (example file provided in .env.example). You will need to make an account on Clerk and Liveblocks to get AP…
A service that can convert ChatGPT on the web to OpenAI API format.CHAT2API 🤖 一个简单的 ChatGPT TO API 代理 🌟 无需账号即可使用免费、无限的 GPT-3.5 💥 支持 AccessToken 使用账号，支持 GPT-4、GPT-4o、 GPTs 🔍 回复格式与真实 API 完全一致，适配几乎所有客户端 交流群 https://t.me/chat2api 要提问请先阅读完仓库文档，尤其是常见问题部分。 提问时请提供： 启动日志截图（敏感信息打码，包括环境变量和版本号） 报错的日志信息（敏感信息打码） 接口返回的状态码和响应体 功能 最新版 v1.2.0 已完成 流式、非流式传输 免登录 GPT-3.5 对话 GPT-3.5 对话（传入模型名不包含 gpt-4，则默认使用 gpt-3.5，也就是 text-davinci-002-render-sha） GPT-4 对话（传入模型名包含: gpt-4，gpt-4o，gpt-4-moblie 即可使用对应模型，需传入 Access…