Decodarea valorilor binary16
Decodează un cuvânt binary16 fără semn de 16 biți într-o valoare numerică.
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)| Verifică înainte de aplicare | Compară comportamentul real cu rezultatul așteptat. Dacă o verificare eșuează, cercetează cauza înainte de alte modificări. |
|---|---|
| Modele | Configurează un endpoint compatibil OpenAI sau Anthropic cu URL-ul de bază și cheia API, dacă este necesară. Testează conexiunea. Serverul local trebuie să ruleze; instrumentele externe pot transmite date separat. |
| Proiect | Testează zerouri cu semn, subnormale, infinități și NaN, respingând valori booleene sau cuvinte în afara intervalului fără păstrarea încărcăturii 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)Revizuiește formatele numerice compacte dincolo de valorile obișnuite
HalfJunia este un software de programare cu IA pentru Windows destinat modificărilor sursei sensibile la reprezentare. Când o valoare decodificată pare greșită, adu cuvântul original, rezultatul observat și interpretarea așteptată în conversația proiectului. Cere modelului conectat să examineze sursa relevantă înainte de a modifica o ramură care poate trata și valori speciale.
De exemplu, o sarcină de decodificare binary16 poate cere tratarea explicită a zeroului cu semn, valorilor subnormale, infinităților și valorilor NaN. Precizează că intrarea este un cuvânt fără semn de 16 biți și dacă păstrarea informației utile din NaN nu face parte din cerință. Sarcina are astfel un contract delimitat pe care un evaluator îl poate compara cu implementarea propusă și apelantul ei.
Verifică în propriul mediu cuvinte reprezentative pentru fiecare categorie. Pentru zero cu semn, folosește o observație care distinge efectiv semnul; pentru NaN, folosește verificarea categoriei potrivite, nu egalitatea obișnuită. Analizează separat respingerea intrărilor booleene sau din afara intervalului. Câteva valori finite familiare sunt utile, dar nu exercită ramurile cele mai ușor de omis.
HalfJunia se conectează la endpointuri compatibile OpenAI sau Anthropic acceptate, cu acreditări când sunt necesare. Unde furnizorul oferă un model IA nefiltrat, îl poți selecta pentru conversația de programare. Restricțiile, capacitatea contextului și instrumentele sale depind în continuare de model și server, iar explicația sa rămâne o propunere de verificat.
Pregătirea analizei unui format numeric
Ce dovezi trebuie să însoțească o valoare decodificată neașteptată?
Oferă cuvântul de intrare exact, categoria așteptată și rezultatul observat, împreună cu apelantul care îl folosește. Nu te baza doar pe un șir afișat rotunjit. Discuția despre sursă are nevoie de suficiente detalii pentru a distinge tratarea reprezentării de formatarea ulterioară în interfață.
Poate egalitatea obișnuită verifica toate valorile speciale?
Nu. Alege verificări potrivite categoriei, inclusiv observarea semnului pentru zero și un test NaN adecvat. Precizează aceste așteptări în sarcină și rulează-le în mediul real, astfel încât decodificatorul propus să fie evaluat dincolo de egalitatea finită obișnuită.
Trebuie presupusă păstrarea informației utile din NaN?
Numai dacă este o cerință explicită susținută de implementare. Sarcina ilustrativă de decodificare nu păstrează aceste informații. Dacă sunt necesare consumatorului, descrie acel contract separat înainte de a accepta o propunere care returnează doar o categorie sau valoare numerică.
De ce să includ intrări booleene în testele de respingere?
Unele relații dintre tipurile limbajului le pot admite printr-o verificare generală a numerelor întregi. Dacă ai nevoie de un cuvânt numeric propriu-zis, excluzând valorile booleene, spune explicit acest lucru. Verifică distincția împreună cu intervalul acceptat, fără a te baza pe o descriere informală a tipului.
HalfJunia · Actualizat 2026-10-25