Decodifica di valori binary16
Decodifica una parola binary16 senza segno di 16 bit in un valore numerico.
from math import copysign, ldexp
def binary16_value(word):
if type(word) is not int or not 0 <= word <= 65535:
raise ValueError("binary16.word")
sign = -1.0 if word & 0x8000 else 1.0
exponent, fraction = (word >> 10) & 31, word & 1023
if exponent == 31:
return copysign(float("nan") if fraction else float("inf"), sign)
value = ldexp(fraction, -24) if exponent == 0 else ldexp(1024+fraction, exponent-25)
return copysign(value, sign)| Controlla prima di applicare | Confronta il comportamento effettivo con il risultato atteso. Se una verifica fallisce, indaga la causa prima di altre modifiche. |
|---|---|
| Modelli | Configura un endpoint compatibile con OpenAI o Anthropic usando URL di base e chiave API, se necessaria. Prova la connessione. Il server locale deve essere in esecuzione; gli strumenti remoti possono trasmettere dati separatamente. |
| Progetto | Prova zeri con segno, subnormali, infiniti e NaN, rifiutando booleani o parole fuori intervallo senza conservare il contenuto dei NaN. |
from math import copysign, ldexp
def binary16_value(word):
if type(word) is not int or not 0 <= word <= 65535:
raise ValueError("binary16.word")
sign = -1.0 if word & 0x8000 else 1.0
exponent, fraction = (word >> 10) & 31, word & 1023
if exponent == 31:
return copysign(float("nan") if fraction else float("inf"), sign)
value = ldexp(fraction, -24) if exponent == 0 else ldexp(1024+fraction, exponent-25)
return copysign(value, sign)Esamina i formati numerici compatti oltre i valori ordinari
HalfJunia è un software di programmazione con IA per Windows per affrontare modifiche al sorgente sensibili alla rappresentazione. Quando un valore decodificato sembra errato, porta nella conversazione del progetto la parola originale, il risultato osservato e l'interpretazione attesa. Chiedi al modello collegato di esaminare il sorgente pertinente prima di modificare un ramo che potrebbe servire anche valori speciali.
Per esempio, un'attività di decodifica binary16 può richiedere una gestione esplicita di zero con segno, valori subnormali, infiniti e NaN. Specifica che l'input è una parola a 16 bit senza segno e se la conservazione dei payload NaN è fuori dai requisiti. Il compito ha così un contratto delimitato che un revisore può confrontare con l'implementazione proposta e il suo chiamante.
Verifica parole rappresentative di ciascuna categoria nel tuo ambiente. Per lo zero con segno, usa un'osservazione che distingua davvero il segno; per NaN, usa il controllo di categoria appropriato anziché l'uguaglianza ordinaria. Esamina separatamente il rifiuto di input booleani o fuori intervallo. Alcuni valori finiti familiari sono utili, ma non esercitano i rami più facili da trascurare.
HalfJunia si collega a endpoint supportati compatibili con OpenAI o Anthropic, con credenziali quando richieste. Dove il tuo fornitore offre un modello IA senza filtri, puoi selezionarlo per la conversazione sul codice. Restrizioni, capacità di contesto e strumenti dipendono comunque dal modello e dal server, e la sua spiegazione resta una proposta da verificare.
Preparare una revisione del formato numerico
Quali prove devono accompagnare un valore decodificato inatteso?
Fornisci la parola di input esatta, la categoria attesa e il risultato osservato, insieme al chiamante che lo usa. Evita di basarti solo su una stringa di visualizzazione arrotondata. La discussione del sorgente richiede dettagli sufficienti a distinguere la gestione della rappresentazione dalla successiva formattazione nell'interfaccia.
L'uguaglianza ordinaria può verificare ogni valore speciale?
No. Scegli controlli adatti alla categoria, inclusa un'osservazione sensibile al segno per lo zero e un test NaN appropriato. Indica queste aspettative nel compito ed eseguile nel tuo ambiente effettivo, così il decodificatore proposto viene valutato oltre l'uguaglianza ordinaria dei valori finiti.
Si deve presumere la conservazione dei payload NaN?
Solo se è un requisito esplicito supportato dall'implementazione. Il compito di decodifica illustrato non conserva i payload. Se servono al codice utilizzatore, descrivi quel contratto separato prima di accettare una proposta che restituisce solo una categoria o un valore numerico.
Perché includere input booleani nei casi di prova da rifiutare?
Alcune relazioni fra tipi del linguaggio possono ammetterli attraverso un controllo generico sugli interi. Se il contratto richiede un effettivo valore di parola ed esclude i booleani, dichiaralo esplicitamente. Verifica questa distinzione insieme all'intervallo accettato anziché affidarti a una descrizione informale del tipo.
HalfJunia · Aggiornato 2026-10-25