Слева направо: Грег Брокман и Илья Суцкевер. Фон — картины Суцкевера. @gdb Илью Суцкевера не уволили, официально не отстранили, но на рабочем месте его не видели всю прошлую неделю. В других случаях это был бы типичный прогульщик, если бы речь шла не про главного научного сотрудника OpenAI. Почему Суцкевер не ходит в офис? Пока что сказать трудно. Зато сейчас легко предположить, почему уволили Сэма Альтмана. Для этого нужно размотать клубок OpenAI до самого основания компании. Название Ope…
Правительство Китая продолжает программу развития отрасли разработки и производства электроники. При этом чиновники не кладут все яйца в одну корзину, а занимаются диверсификацией государственной помощи предприятиям. Сейчас стало известно, что государство выделит инвестиции разработчику и производителю интегральных микросхем HLMC, который входит в структуру холдинга HuaHong. На днях появилась информация, что компания получит инвестиции в размере $1 млрд от Китайского инвестиционного фонда и…
Тайвань усиливает защиту ключевых технологий страны. Так, правительство Тайваня обнародовало список из 22 технологий в пяти секторах производства (оборона, космос, сельское хозяйство, полупроводники и информационная безопасность), которые будут дополнительно защищены от утечки данных. На сегодня Тайвань — производитель большей части наиболее передовых полупроводниковых чипов в мире, которые используются во всем — от смартфонов до электромобилей. Правительство страны давно обеспокоено попытк…
Привет! Меня зовут Нина, и я Golang разработчик.Недавно перед нами встала задача систематизировать и унифицировать инструменты, используемые для создания миграций в различных Go-сервисах и командах.В данной статье я хочу поделиться опытом работы с миграциями в Go и провести сравнительный анализ существующих инструментов. Я расскажу о требованиях, с которыми мы столкнулись при работе с миграциями, и объясню, почему мы выбрали определенный инструмент. А также расскажу как работать с этим инструм…
Всем привет! Сегодня я хочу рассказать о Mock Service Worker — технологии, которая позволяет эмулировать поведение бэкенда в ситуациях, когда по каким-то причинам невозможно использовать реальный бэкенд для полноценной разработки фронтенда, а также когда необходимо изолированно протестировать различные пользовательские сценарии.Эта технология подойдёт в следующих случаях:если в вашей команде фронтенд должен разрабатываться параллельно или даже раньше, чем бэкенд на основе контрактов или специф…
На Reddit прошла интересная дискуссия с 25К+ просмотрами по вопросу предпочтений разработчиков при необходимости управлять глобальным состоянием во Vue 3. Ниже её итоги.Reddit подводит итоги года по частоте посещения /r/vuejs из разных стран мираВопрос автором был поставлен так: Зачем использовать Pinia вместо глобальных ref's?В своих проектах я использую composable функции с глобальным состоянием, как описано в документации Vue.Каждая функция представляет собой объект бизнес-логики - напр…
Чтобы быстро продвигаться в рабочих задачах, необходимо иметь уверенность в том, что можно вносить изменения.А уверенность в изменениях зависит от тестового покрытия.С тех пор как мы это поняли, автоматические тесты стали просто необходимы. Это привело к массовому внедрению шаблонов для старта работы.Однако начать работу недостаточно.Будьте осторожны у края платформы (изображение отсюда)Что плохого в шаблонах для старта работы?Большинство ресурсов/инструментов можно довольно быстро начать испо…
Simplifying LLM ops in production BricksLLM: AI Gateway For Putting LLM In Production BricksLLM is a cloud native AI gateway written in Go. Currently, it serves as a proxy to OpenAI. We let you create API keys that have rate limits, cost limits and TTLs. The API keys can be used in both development and production to achieve fine-grained access control that is not provided by OpenAI at the moment. The proxy is compatible with OpenAI API and its SDKs. The vision of BricksLLM i…
LLMs as Copilots for Theorem Proving in LeanLean Copilot: LLMs as Copilots for Theorem Proving in Lean Lean Copilot allows large language models (LLMs) to be used in Lean for proof automation, e.g., suggesting tactics/premises and searching for proofs. You can use our built-in models from LeanDojo or bring your own models that run either locally (w/ or w/o GPUs) or on the cloud. Lean.Copilot.demo.mp4 Table of Contents Requirements Using Lean Copilot in Your…