JEVLAB / FIELD NOTES
Свежее из лаборатории
Датированный список для чтения недавно добавленных ресурсов и НОВОСТЕЙ JEVLAB. Возвращайтесь, чтобы узнать, что изменилось, или подпишитесь на RSS-ленту в своем ридере.
Запомнить этот визит в этом браузере, чтобы выделить новые дополнения в следующий раз. Никакого входа в систему или отслеживания между устройствами.
Даты показывают, когда элемент стал доступен в JEVLAB, по UTC, а не когда был опубликован его исходный источник. Правки, касающиеся только перевода, не считаются новыми ресурсами.
15
Интерактивное обучение в Gemini Notebook
Gemini Notebook представил функцию Interactive Learning Overviews для всех пользователей. Теперь можно объединять сводки и учебные материалы в единое интерактивное пространство для более эффективной работы.
threads.comОбновления ChatGPT от Choi
Choi сообщил о сбросе настроек ChatGPT и намекнул на скорое появление крупных нововведений. Пользователям рекомендуется следить за дальнейшими анонсами от данного источника.
threads.comВыпуск Halo для дообучения AI-моделей
White Circle представила Halo, инструмент для пост-тренинга открытых моделей искусственного интеллекта. Платформа упрощает настройку процессов обучения и повышает производительность по сравнению с существующими решениями.
threads.comHermes Agent восстановил поддержку подписки Claude
Hermes Agent вновь позволяет использовать подписку Claude через новый официальный плагин. Это решение использует Claude Code CLI для прямого подключения, обходя предыдущие ограничения Anthropic.
threads.comtypesafe-sdk-ruby
Этот поддерживаемый сообществом Ruby SDK предоставляет интерфейс для API TypeSafe AI. Он позволяет разработчикам выполнять структурированную классификацию и маршрутизацию данных, определяя типизированные вопросы, управляя повторными попытками и обрабатывая ошибки API в приложениях на Ruby.
github.comUnitree представила роборуку Dex5-S
Компания Unitree анонсировала Dex5-S, компактную роботизированную кисть с 22 степенями свободы. Устройство стоимостью от 6500 долларов предназначено для выполнения точных манипуляций, приближая роботов к полноценному взаимодействию с инструментами.
threads.comMeta анонсировала трансатлантический кабель Petal
Компания Meta представила проект подводного кабеля Petal, способного передавать данные со скоростью один петабит в секунду. Эта инфраструктура, запуск которой намечен на 2029 год, призвана обеспечить растущие потребности центров обработки данных ИИ.
threads.compi-jev-sentinel
Этот инструмент выступает в качестве защитника для агентов кодирования, используя Jev для оценки вызовов инструментов, выходных данных и ответов. Он помогает обнаруживать инъекции промптов, очищать секретные данные и закреплять задачи для обеспечения безопасности взаимодействий.
github.comTypeSafeAI
TypeSafeAI — это .NET SDK для TypeSafe AI System One. Он предоставляет эргономичный типизированный API с поддержкой NativeAOT, пакетной обработки и интеграции с Microsoft.Extensions.AI для маршрутизации и оценки.
github.comЭмоциональный детектор лжи jevtest
Этот инструмент демонстрирует работу моделей TypeSafe Jev, анализируя эмоциональный подтекст в реальном времени. Он сравнивает вероятностную классификацию Jev со стандартными LLM, показывая, как Jev предоставляет структурированные оценки уверенности и потенциальные преимущества в задержке и стоимости для конкретных задач принятия решений.
github.comjev-lint
jev-lint — это инструмент, использующий классификатор Jev для выявления логических несоответствий между кодом и документацией. Он сочетает сопоставление ast-grep с запросами на естественном языке для обнаружения таких проблем, как вводящие в заблуждение комментарии, несоответствия имен и скрытые пути ошибок.
github.comJev с агентами кодирования
Этот ресурс разъясняет, что Jev — это модель Системы Один для структурированного принятия решений, а не LLM для генерации текста. Он обучает разработчиков интеграции Jev с агентами кодирования для задач классификации, оценки и маршрутизации.
docs.typesafe.aiКритика подхода к разработке ИИ от Теренса Тао
Математик Теренс Тао призывает разработчиков ИИ сосредоточиться на создании объяснимых решений, а не просто на выдаче ответов. Он считает, что погоня за показателями бенчмарков без проверки результатов является безответственной.
threads.comВыпуск моделей Xiaomi MiMo-V2.6
Xiaomi представила модели MiMo-V2.6 Pro и Flash, обладающие широкими мультимодальными возможностями и высокой эффективностью. Эти модели с открытыми весами показывают отличные результаты в тестах и сопровождаются полным набором инструментов для обучения.
threads.comПрорыв OpenAI в математических исследованиях
OpenAI объявила, что их новая внутренняя модель решила более 100 давних математических задач. Около 10 000 ИИ-агентов работали сообща, чтобы достичь этих результатов всего за 24 дня.
threads.com
21
Нелинейный прогресс искусственного интеллекта
По мнению Choi, развитие ИИ происходит гораздо быстрее, чем предполагали эксперты. Интеграция ИИ в процессы исследований ускоряет прогресс, делая технологическую сингулярность более близкой перспективой.
threads.comjev-mcp
Этот MCP-сервер интегрирует модели Jev от TypeSafe в ИИ-агенты, предоставляя структурированные результаты, такие как суждения «да/нет», выбор из нескольких вариантов и оценки на основе рубрик. Это позволяет агентам выполнять прямую и типизированную оценку данных в своих рабочих процессах.
github.comspring-ai-typesafe
Этот Java SDK интегрирует API JEV от TypeSafe AI со Spring AI. Он предоставляет структурированные примитивы для принятия решений, такие как Noul, Choice и Score, позволяя реализовать LLM-as-a-judge, защитные механизмы и постобработку RAG без использования традиционной генерации текста.
github.comtypesafe-sdk-go
Этот SDK для Go предоставляет структурированный интерфейс для взаимодействия со службами TypeSafe AI. Он позволяет разработчикам выполнять оценку с помощью вопросов с выбором ответа, оценками и логическими значениями, управляя конфигурацией клиента, повторными попытками и ведением журнала.
github.comRuby-клиент для jev
Эта библиотека Ruby предоставляет клиент для API модели Jev. Она позволяет разработчикам выполнять параллельные запросы, используя методы оценки на основе истинности, выбора и рубрик, для структурирования принятия решений с помощью ИИ в своих приложениях.
github.comTypeSafe.AI.Sdk for .NET
Этот клиент .NET, разработанный сообществом, предоставляет типизированный интерфейс для сервисов TypeSafe AI. Он повторяет функциональность официального SDK для JavaScript, позволяя разработчикам реализовывать структурированные рабочие процессы «вопрос-ответ» в своих приложениях на .NET.
github.comjev-mailroom
Это доказательство концепции демонстрирует автоматизированную систему сортировки электронной почты с использованием Jev для классификации сообщений по типу и категории. Она обрабатывает почту через IMAP, используя параллельные вопросы для определения меток, в то время как логика и пороговые значения управляются на Python.
github.comNitro
Nitro оптимизирует Grok Build, используя Jev для фильтрации списка инструментов один раз за ход. Это сокращает использование токенов и затраты за счет ограничения доступных инструментов перед выполнением, сохраняя при этом эффективность кэширования промптов.
github.comswift-typesafe
Этот SDK для Swift 6.4 предоставляет типобезопасный клиент для TypeSafe AI, соответствующий API 0.7.0 для Python. Он позволяет выполнять структурированные запросы к моделям ИИ, используя макросы Swift для определения схем вопросов и ответов.
github.comtypesafe-sdk-php
Этот поддерживаемый сообществом PHP SDK предоставляет клиент для API TypeSafe AI System One. Он позволяет выполнять типизированные запросы, управлять асинхронными вызовами через Guzzle promises, а также настраивать повторные попытки и логирование для обнаружения моделей.
github.comsqlite3-jev
Это расширение SQLite обеспечивает прямую интеграцию с TypeSafe Jev, позволяя пользователям выполнять задачи ИИ, основанные на принятии решений, такие как классификация, оценка и проверка вероятности да/нет, непосредственно внутри SQL-запросов с помощью вызовов функций на базе libcurl.
github.comSmartMoney-Cub
SmartMoney-Cub — это торговый журнал и инструмент для анализа, использующий Jev для оценки финансовых данных. Он помогает трейдерам анализировать свои решения и совершенствовать стратегии через офлайн-циклы обратной связи, не совершая сделок и не подключаясь к брокерским счетам.
github.comProgressGate
ProgressGate — это инструмент для обнаружения семантического застоя в циклах агентов путем анализа траекторий с помощью Jev. Он предоставляет детерминированные решения, такие как CONTINUE, WARN, REPLAN или HALT, чтобы предотвратить зацикливание агентов на противоречивых предположениях.
github.comБенчмарк извлечения истории курения
Этот репозиторий содержит бенчмарк для сравнения Jev и OpenAI при извлечении данных об истории курения из 1000 синтетических медицинских записей. Он оценивает точность, стоимость и задержку с использованием общего конвейера выбора кандидатов.
github.comjev-agent-browser
jev-agent-browser предоставляет ограниченную среду выполнения для браузерных агентов, интегрируя Jev с agent-browser. Инструмент поддерживает выбор типизированных действий и структурированную оркестрацию задач, позволяя родительским агентам безопасно делегировать навигацию по веб-страницам и исследовательские задачи.
github.comego-jev
ego-jev предоставляет внутренний цикл для ego lite с использованием TypeSafe System One. Он заменяет стандартные итерации LLM на одно типизированное решение для каждого шага DOM, стремясь повысить производительность браузерного агента за счет снижения задержек при выполнении интерактивных веб-задач.
github.comego-jev
ego-jev интегрирует модель Jev System One в браузер ego-lite для автоматизации задач в рамках одного процесса. Использование индексированных таблиц элементов для принятия решений позволяет достичь примерно двукратного ускорения по сравнению с обычными циклами LLM.
github.comjev-leftpad
Этот проект демонстрирует нетрадиционное использование Jev для дополнения строк слева. Он служит юмористическим примером избыточного проектирования для задачи, которую стандартные библиотечные функции решают естественным образом.
github.comjev-docs-zh
Этот репозиторий содержит неофициальный перевод на китайский язык официальной документации модели Jev от TypeSafe AI. Он охватывает концепции System One и примитивы Choice, Score и Noul, а также включает генератор статических сайтов для локального использования.
github.comAsyncTypeSafeClient
Этот ресурс описывает AsyncTypeSafeClient для Python, обеспечивающий асинхронное взаимодействие с API TypeSafe AI. В нем подробно описаны параметры конфигурации, настройка логирования, а также методы управления моделями и выполнения системных запросов.
docs.typesafe.aiSpaceXAI выпускает Grok 4.7
SpaceXAI представила Grok 4.7, уделив основное внимание улучшению навыков программирования и выполнению длительных задач с помощью обучения с подкреплением. Несмотря на повышение эффективности в специфических рабочих процессах, общий прирост интеллектуальных показателей модели оказался скромным.
threads.com










