Invia una scoperta
English
한국어
日本語
Español
Français
Deutsch
简体中文
繁體中文
Português
Bahasa Indonesia
ไทย
Tiếng Việt
Türkçe
Polski
Русский
Torna al laboratorioJEVLAB / FIELD NOTES
Novità dal laboratorio
Un elenco di lettura datato di risorse appena aggiunte e JEVLAB NEWS. Torna per vedere cosa è cambiato o segui il feed RSS nel tuo lettore.
Ricorda questa visita su questo browser per evidenziare le nuove aggiunte la prossima volta. Nessun accesso o tracciamento cross-device.
Le date mostrano quando un elemento è diventato disponibile in JEVLAB, in UTC, non quando è stata pubblicata la sua fonte originale. Le modifiche di sola traduzione non contano come nuove risorse.
15
Nuove funzioni di apprendimento per NotebookLM
Gemini Notebook ha introdotto le Interactive Learning Overviews per tutti gli utenti. Questa novità permette di integrare riassunti e materiali didattici in uno spazio di studio interattivo e centralizzato.
threads.comAggiornamenti su ChatGPT
Choi segnala un ripristino di ChatGPT. Si attendono annunci rilevanti nel prossimo futuro.
threads.comLancio del framework Halo per l'addestramento AI
White Circle ha introdotto Halo, un nuovo strumento ottimizzato per il post-addestramento di modelli AI open source. Il sistema mira a semplificare il fine-tuning e l'apprendimento per rinforzo mantenendo un'elevata efficienza operativa.
threads.comHermes Agent ripristina l'accesso a Claude Code
Hermes Agent ha reintrodotto il supporto per gli abbonamenti Claude Code tramite un nuovo plugin ufficiale. Il sistema utilizza direttamente l'SDK di Claude per aggirare le precedenti limitazioni imposte da Anthropic.
threads.comtypesafe-sdk-ruby
Questo SDK Ruby gestito dalla community fornisce un'interfaccia per l'API di TypeSafe AI. Consente agli sviluppatori di eseguire la classificazione e il routing dei dati strutturati definendo domande tipizzate, gestendo i tentativi e gli errori dell'API nelle applicazioni Ruby.
github.comUnitree presenta la mano robotica Dex5-S
Unitree ha svelato la Dex5-S, una mano robotica dalle dimensioni umane dotata di 22 gradi di libertà. Questo componente mira a migliorare la manipolazione di oggetti e strumenti, rendendo la tecnologia robotica più accessibile sul mercato.
threads.comMeta annuncia il cavo sottomarino Petal
Meta ha presentato Petal, un cavo sottomarino transatlantico capace di trasmettere un petabit di dati al secondo. Questo progetto sottolinea come la competizione nel settore dell'IA si stia estendendo oltre i chip, includendo le infrastrutture di rete globali.
threads.compi-jev-sentinel
Questo strumento funge da guardia di sicurezza per gli agenti di codifica utilizzando Jev per valutare le chiamate agli strumenti, gli output e le risposte. Aiuta a rilevare iniezioni di prompt, ripulire segreti e fissare attività per garantire interazioni più sicure con gli agenti.
github.comTypeSafeAI
TypeSafeAI è un SDK .NET per TypeSafe AI System One. Offre un'API tipizzata ed ergonomica compatibile con NativeAOT, supportando l'elaborazione in batch e l'integrazione con Microsoft.Extensions.AI per il routing e la valutazione.
github.comRilevatore di bugie emotivo jevtest
Questo strumento dimostra i modelli TypeSafe Jev analizzando i sottotesti emotivi in tempo reale. Confronta la classificazione probabilistica di Jev con i modelli LLM standard, mostrando come Jev fornisca punteggi di confidenza strutturati e potenziali vantaggi in termini di latenza e costi per compiti decisionali specifici.
github.comjev-lint
jev-lint è uno strumento che utilizza il classificatore Jev per identificare le incongruenze logiche tra il codice e la sua documentazione. Combina selettori ast-grep con query in linguaggio naturale per rilevare problemi come commenti fuorvianti, nomi inappropriati e percorsi di errore nascosti.
github.comJev con agenti di codifica
Questa risorsa chiarisce che Jev è un modello di Sistema Uno per il processo decisionale strutturato, non un LLM di generazione di testo. Insegna agli sviluppatori come integrare Jev insieme agli agenti di codifica per attività come classificazione, punteggio e routing.
docs.typesafe.aiTerence Tao critica l'approccio attuale all'IA
Il matematico Terence Tao sostiene che le aziende di IA debbano fornire intuizioni comprensibili invece di limitarsi a generare soluzioni. Egli avverte che l'ossessione per le metriche di benchmark senza revisione umana rischia di rendere i risultati dell'IA inutili per la ricerca scientifica.
threads.comXiaomi rilascia i modelli MiMo-V2.6
Xiaomi ha lanciato i modelli multimodali MiMo-V2.6 Pro e Flash con pesi aperti. Secondo Choi, la versione Pro ha raggiunto il vertice tra i modelli open-weight nell'indice della Artificial Analysis.
threads.comProgressi matematici di OpenAI
OpenAI ha annunciato che il suo nuovo modello interno ha risolto oltre 100 problemi matematici di lunga data in soli 24 giorni. Circa 10.000 agenti IA hanno lavorato in collaborazione per affrontare queste complesse sfide.
threads.com
21
L'accelerazione dello sviluppo dell'IA
Choi osserva che il progresso dell'IA non segue un percorso lineare, superando rapidamente le stime degli esperti. L'integrazione dell'IA nella ricerca stessa sta accelerando l'innovazione a ritmi inaspettati.
threads.comjev-mcp
Questo server MCP integra i modelli Jev di TypeSafe negli agenti IA, fornendo output strutturati come giudizi sì/no, selezioni a scelta multipla e punteggi basati su rubriche. Consente agli agenti di eseguire valutazioni dirette e tipizzate dei dati nei loro flussi di lavoro.
github.comspring-ai-typesafe
Questo SDK Java integra l'API JEV di TypeSafe AI con Spring AI. Fornisce primitive decisionali strutturate come Noul, Choice e Score, consentendo di implementare LLM-as-a-judge, guardrail e post-elaborazione RAG senza dipendere dalla generazione di testo tradizionale.
github.comtypesafe-sdk-go
Questo SDK Go fornisce un'interfaccia strutturata per interagire con i servizi TypeSafe AI. Consente agli sviluppatori di eseguire valutazioni utilizzando domande a scelta, punteggio e booleane, gestendo la configurazione del client, i tentativi e la registrazione dei log.
github.comClient Ruby per jev
Questa libreria Ruby fornisce un client per l'API del modello Jev. Consente agli sviluppatori di eseguire query in parallelo utilizzando metodi di valutazione basati su verità, scelta e rubriche per strutturare il processo decisionale basato sull'IA nelle proprie applicazioni.
github.comTypeSafe.AI.Sdk for .NET
Questo client .NET sviluppato dalla community fornisce un'interfaccia tipizzata per i servizi TypeSafe AI. Rispecchia le funzionalità dell'SDK JavaScript ufficiale, consentendo agli sviluppatori di implementare flussi di lavoro di domande e risposte strutturati nelle loro applicazioni .NET.
github.comjev-mailroom
Questa prova di concetto dimostra un sistema automatizzato di triage delle email che utilizza Jev per classificare i messaggi per tipo e categoria. Elabora le email tramite IMAP, utilizzando domande parallele per determinare le etichette mentre gestisce la logica e le soglie in Python.
github.comNitro
Nitro ottimizza Grok Build utilizzando Jev per filtrare gli elenchi di strumenti una volta per turno. Ciò riduce l'utilizzo di token e i costi limitando gli strumenti disponibili prima dell'esecuzione, mantenendo l'efficienza della cache dei prompt.
github.comswift-typesafe
Questo SDK Swift 6.4 fornisce un client type-safe per TypeSafe AI, allineato all'API 0.7.0 di Python. Consente interazioni strutturate con i modelli IA utilizzando le macro di Swift per definire schemi di domande e risposte.
github.comtypesafe-sdk-php
Questo SDK PHP, gestito dalla community, fornisce un client per l'API System One di TypeSafe AI. Consente di eseguire query tipizzate, gestire richieste asincrone tramite promesse Guzzle e configurare tentativi e logging per l'individuazione dei modelli.
github.comsqlite3-jev
Questa estensione SQLite consente l'integrazione diretta con TypeSafe Jev, permettendo agli utenti di eseguire attività di IA basate su decisioni, come classificazione, punteggio e verifiche di probabilità sì/no, direttamente all'interno delle query SQL tramite chiamate di funzione basate su libcurl.
github.comSmartMoney-Cub
SmartMoney-Cub è un diario di trading e strumento di revisione in sola lettura che utilizza Jev per analizzare prove finanziarie. Aiuta i trader a valutare le proprie decisioni e a far evolvere le strategie tramite cicli di feedback offline, senza eseguire operazioni o accedere a conti broker.
github.comProgressGate
ProgressGate è uno strumento che rileva la stagnazione semantica nei cicli degli agenti analizzando le traiettorie con Jev. Fornisce decisioni deterministiche come CONTINUE, WARN, REPLAN o HALT per evitare che gli agenti continuino a operare su presupposti contraddittori.
github.comBenchmark di estrazione della storia di tabagismo
Questo repository fornisce un benchmark per confrontare Jev e OpenAI nell'estrazione di storie di tabagismo da 1.000 note mediche sintetiche. Valuta precisione, costi e latenza utilizzando una pipeline di selezione dei candidati condivisa.
github.comjev-agent-browser
jev-agent-browser fornisce un ambiente di esecuzione limitato per gli agenti browser integrando Jev con agent-browser. Consente la selezione di azioni tipizzate e l'orchestrazione strutturata dei compiti, permettendo agli agenti principali di delegare la navigazione web e le attività di ricerca in modo sicuro.
github.comego-jev
ego-jev fornisce un ciclo interno per ego lite utilizzando TypeSafe System One. Sostituisce i turni LLM standard con una singola decisione tipizzata per passaggio DOM, mirando a migliorare le prestazioni dell'agente del browser riducendo la latenza durante le attività web interattive.
github.comego-jev
ego-jev integra il modello Jev System One nel browser ego-lite per automatizzare le attività in un unico processo. Dimostra un miglioramento della velocità di 2x rispetto ai cicli LLM passo-passo utilizzando tabelle di elementi indicizzati per le decisioni.
github.comjev-leftpad
Questo progetto dimostra un uso non convenzionale di Jev per eseguire il riempimento a sinistra delle stringhe. Serve come esempio umoristico di ingegneria eccessiva per un compito che le funzioni standard gestiscono nativamente.
github.comjev-docs-zh
Questo repository offre una traduzione in cinese della documentazione ufficiale del modello Jev di TypeSafe AI. Copre i concetti di System One e le primitive Choice, Score e Noul, includendo un generatore di siti statici per la consultazione locale.
github.comAsyncTypeSafeClient
Questa risorsa documenta AsyncTypeSafeClient per Python, consentendo l'interazione asincrona con l'API di TypeSafe AI. Vengono dettagliati i parametri di configurazione, la configurazione dei log e i metodi per gestire i modelli ed eseguire query di sistema.
docs.typesafe.aiLancio di Grok 4.7 da parte di SpaceXAI
SpaceXAI ha rilasciato Grok 4.7, puntando su modelli base più grandi e apprendimento per rinforzo per compiti complessi. Sebbene offra miglioramenti tangibili nella programmazione e nell'analisi documentale, il progresso complessivo nell'intelligenza generale rimane contenuto rispetto ai leader del settore.
threads.com
