Enviar recurso
English
한국어
日本語
Français
Deutsch
简体中文
繁體中文
Português
Bahasa Indonesia
ไทย
Italiano
Tiếng Việt
Türkçe
Polski
Русский
Volver al laboratorioJEVLAB / FIELD NOTES
Recién salido del laboratorio
Una lista de lectura fechada de recursos recién agregados y JEVLAB NEWS. Vuelve para ver qué cambió o sigue el feed RSS en tu propio lector.
Recuerda esta visita en este navegador para resaltar nuevas adiciones la próxima vez. Sin inicio de sesión ni seguimiento entre dispositivos.
Las fechas muestran cuándo un elemento estuvo disponible en JEVLAB, en UTC, no cuándo se publicó su fuente original. Las ediciones de solo traducción no cuentan como nuevos recursos.
15
Gemini NotebookLM lanza resúmenes de aprendizaje interactivos
Google ha lanzado nuevas funciones de aprendizaje interactivo para todos los usuarios de NotebookLM. Esta herramienta evoluciona para convertirse en un entorno de estudio personal más completo y dinámico.
threads.comActualizaciones inminentes en ChatGPT
Choi informa que ChatGPT está experimentando un reinicio en preparación para un lanzamiento importante. Se espera que pronto se revelen novedades significativas para la plataforma.
threads.comWhite Circle lanza Halo para el entrenamiento posterior de modelos de IA
White Circle ha presentado Halo, un marco de trabajo diseñado para optimizar el entrenamiento posterior de modelos de IA de código abierto. La herramienta mejora el rendimiento y la eficiencia de memoria en comparación con las bibliotecas existentes.
threads.comHermes Agent restablece el acceso a suscripciones de Claude
Hermes Agent ha vuelto a habilitar el soporte para suscripciones de Claude mediante el uso de la CLI oficial de Claude Code. Este cambio responde a las restricciones previas impuestas por Anthropic sobre el acceso de agentes externos.
threads.comtypesafe-sdk-ruby
Este SDK de Ruby mantenido por la comunidad proporciona una interfaz para la API de TypeSafe AI. Permite a los desarrolladores realizar clasificaciones y enrutamientos de datos estructurados mediante la definición de preguntas tipadas, gestión de reintentos y manejo de errores de API.
github.comUnitree presenta la mano robótica Dex5-S
Unitree ha lanzado la Dex5-S, una mano robótica del tamaño de una mano humana con 22 grados de libertad. Este dispositivo permite un control preciso y protección contra impactos, con un precio inicial de 6,500 dólares.
threads.comMeta anuncia cable submarino transatlántico de escala petabit
Meta ha presentado Petal, un nuevo sistema de cable submarino que conecta EE. UU. y Francia con una capacidad de 1 petabit por segundo. Este proyecto subraya la creciente necesidad de infraestructura de red global para respaldar los centros de datos de IA.
threads.compi-jev-sentinel
Esta herramienta actúa como un guardián de seguridad para agentes de codificación mediante el uso de Jev para evaluar llamadas a herramientas, salidas y respuestas. Ayuda a detectar inyecciones de prompts, limpiar secretos y fijar tareas para garantizar interacciones más seguras.
github.comTypeSafeAI
TypeSafeAI es un SDK de .NET para TypeSafe AI System One. Ofrece una API tipada y ergonómica compatible con NativeAOT, facilitando el procesamiento por lotes y la integración con Microsoft.Extensions.AI para tareas de enrutamiento y evaluación.
github.comDetector de mentiras emocional jevtest
Esta herramienta demuestra los modelos TypeSafe Jev analizando subtextos emocionales en tiempo real. Compara la clasificación probabilística de Jev con LLM estándar, mostrando cómo Jev proporciona puntuaciones de confianza estructuradas y posibles mejoras en la eficiencia de latencia y costos para tareas de toma de decisiones.
github.comjev-lint
jev-lint es una herramienta que utiliza el clasificador Jev para identificar inconsistencias lógicas entre el código y su documentación. Combina selectores ast-grep con consultas en lenguaje natural para detectar problemas como comentarios engañosos, nombres incorrectos y rutas de error ocultas.
github.comJev con agentes de codificación
Este recurso aclara que Jev es un modelo de Sistema Uno para la toma de decisiones estructurada, no un LLM de generación de texto. Enseña a los desarrolladores cómo integrar Jev junto a agentes de codificación para tareas de clasificación, puntuación y enrutamiento.
docs.typesafe.aiTerence Tao sobre el papel de la IA en las matemáticas
El matemático Terence Tao sostiene que las empresas de IA deben priorizar los conocimientos explicables sobre los resultados brutos. Advierte que centrarse únicamente en las puntuaciones de referencia sin un razonamiento verificable por humanos socava la utilidad de la IA en la investigación científica.
threads.comXiaomi lanza los modelos de pesos abiertos MiMo-V2.6
Xiaomi ha presentado los modelos MiMo-V2.6 Pro y Flash, que cuentan con capacidades multimodales nativas y un rendimiento mejorado. Según CHOI, estos modelos lideran los rankings de pesos abiertos en el índice de Artificial Analysis, ofreciendo además recursos de aprendizaje y precios competitivos.
threads.comOpenAI presenta un nuevo modelo interno capaz de resolver problemas matemáticos
OpenAI ha anunciado que su nuevo modelo interno ha resuelto más de 100 problemas matemáticos de larga data, incluyendo el desafío de Navier-Stokes. Mediante el uso de unos 10,000 agentes de IA trabajando en paralelo, lograron estos resultados en solo 24 días de desarrollo y entrenamiento.
threads.com
21
El desarrollo acelerado de la IA
Choi informa que el progreso de la IA no sigue una trayectoria lineal, superando las previsiones de los investigadores en plazos muy cortos. La integración de la IA en su propia investigación y desarrollo está acelerando la llegada de hitos tecnológicos significativos.
threads.comjev-mcp
Este servidor MCP integra modelos Jev de TypeSafe en agentes de IA, proporcionando resultados estructurados como juicios de sí/no, selecciones de opción múltiple y puntuaciones basadas en rúbricas. Permite a los agentes realizar evaluaciones directas y tipadas de datos en sus flujos de trabajo.
github.comspring-ai-typesafe
Este SDK de Java integra la API JEV de TypeSafe AI con Spring AI. Proporciona primitivas de toma de decisiones estructuradas como Noul, Choice y Score, permitiendo implementar LLM-as-a-judge, guardrails y post-procesamiento RAG sin depender de la generación de texto tradicional.
github.comtypesafe-sdk-go
Este SDK de Go proporciona una interfaz estructurada para interactuar con los servicios de TypeSafe AI. Permite a los desarrolladores realizar evaluaciones mediante preguntas de elección, puntuación y booleanas, gestionando la configuración del cliente, reintentos y registros.
github.comCliente Ruby para jev
Esta biblioteca de Ruby proporciona un cliente para la API del modelo Jev. Permite a los desarrolladores realizar consultas en paralelo utilizando métodos de evaluación basados en verdad, elección y rúbricas para estructurar la toma de decisiones impulsada por IA.
github.comTypeSafe.AI.Sdk for .NET
Este cliente .NET desarrollado por la comunidad proporciona una interfaz tipada para los servicios de TypeSafe AI. Refleja la funcionalidad del SDK oficial de JavaScript, permitiendo a los desarrolladores implementar flujos de trabajo de preguntas y respuestas estructuradas en sus aplicaciones .NET.
github.comjev-mailroom
Esta prueba de concepto demuestra un sistema automatizado de triaje de correo electrónico que utiliza Jev para clasificar mensajes por tipo y categoría. Procesa correos mediante IMAP, utilizando preguntas paralelas para determinar etiquetas mientras gestiona la lógica y los umbrales en Python.
github.comNitro
Nitro optimiza Grok Build utilizando Jev para filtrar las listas de herramientas una vez por turno. Esto reduce el uso de tokens y los costos al limitar las herramientas disponibles antes de la ejecución, manteniendo la eficiencia del caché de prompts.
github.comswift-typesafe
Este SDK de Swift 6.4 ofrece un cliente con seguridad de tipos para TypeSafe AI, alineado con la API 0.7.0 de Python. Permite realizar consultas estructuradas a modelos de IA utilizando macros de Swift para definir esquemas de respuesta.
github.comtypesafe-sdk-php
Este SDK de PHP, mantenido por la comunidad, proporciona un cliente para la API System One de TypeSafe AI. Permite realizar consultas tipadas, gestionar solicitudes asíncronas mediante promesas de Guzzle y configurar reintentos y registros para la detección de modelos.
github.comsqlite3-jev
Esta extensión de SQLite permite la integración directa con TypeSafe Jev, facilitando la ejecución de tareas de IA basadas en decisiones, como clasificación, puntuación y verificación de probabilidades sí/no, directamente dentro de consultas SQL mediante llamadas a funciones basadas en libcurl.
github.comSmartMoney-Cub
SmartMoney-Cub es un diario de trading y arnés de revisión de solo lectura que utiliza Jev para analizar evidencia financiera. Ayuda a los traders a evaluar sus decisiones y evolucionar sus estrategias mediante bucles de retroalimentación offline, sin ejecutar operaciones ni acceder a cuentas de corretaje.
github.comProgressGate
ProgressGate es una herramienta que detecta el estancamiento semántico en bucles de agentes mediante el análisis de trayectorias con Jev. Ofrece decisiones deterministas como CONTINUE, WARN, REPLAN o HALT para evitar que los agentes repitan acciones basadas en suposiciones erróneas.
github.comBenchmark de extracción de historial de tabaquismo
Este repositorio ofrece un benchmark para comparar Jev y OpenAI en la extracción de historiales de tabaquismo a partir de 1,000 notas médicas sintéticas. Evalúa la precisión, el costo y la latencia utilizando una canalización de selección de candidatos compartida.
github.comjev-agent-browser
jev-agent-browser ofrece un entorno de ejecución acotado para agentes de navegador integrando Jev con agent-browser. Permite la selección de acciones tipadas y la orquestación estructurada de tareas, facilitando que los agentes principales deleguen la navegación web y la investigación de forma segura.
github.comego-jev
ego-jev proporciona un bucle interno para ego lite utilizando TypeSafe System One. Sustituye los turnos LLM estándar por una única decisión tipada por paso DOM, con el objetivo de mejorar el rendimiento del agente del navegador al reducir la latencia en tareas web interactivas.
github.comego-jev
ego-jev integra el modelo Jev System One en el navegador ego-lite para automatizar tareas en un solo proceso. Demuestra una mejora de velocidad de 2x frente a bucles LLM paso a paso mediante el uso de tablas de elementos indexados.
github.comjev-leftpad
Este proyecto demuestra un uso poco convencional de Jev para realizar el relleno de cadenas a la izquierda. Sirve como un ejemplo humorístico de ingeniería excesiva para una tarea que las funciones estándar resuelven de forma nativa.
github.comjev-docs-zh
Este repositorio ofrece una traducción al chino de la documentación oficial del modelo Jev de TypeSafe AI. Cubre conceptos fundamentales de System One y primitivas como Choice, Score y Noul, incluyendo un generador de sitios estáticos para lectura local.
github.comAsyncTypeSafeClient
Este recurso documenta el AsyncTypeSafeClient para Python, permitiendo la interacción asíncrona con la API de TypeSafe AI. Detalla los parámetros de configuración, la configuración de registros y los métodos para gestionar modelos y ejecutar consultas del sistema.
docs.typesafe.aiSpaceXAI lanza Grok 4.7
SpaceXAI ha lanzado Grok 4.7, incorporando un modelo base más grande y un aprendizaje reforzado para tareas complejas. Aunque muestra mejoras notables en codificación y análisis de documentos, el aumento en su puntuación de inteligencia general es moderado.
threads.com
