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.
Calcola la convoluzione discreta completa di due sequenze numeriche finite.
import math
def convolve(values, kernel):
if not all(map(math.isfinite, [*values, *kernel])):
raise ValueError("finite inputs required")
if not values or not kernel: return []
result = [0] * (len(values) + len(kernel) - 1)
for i, value in enumerate(values):
for j, weight in enumerate(kernel):
result[i + j] += value * weight
if not all(map(math.isfinite, result)):
raise ValueError("non-finite result")
return resultConfigura 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.
Prova ingressi vuoti, un valore singolo e un nucleo asimmetrico, mantenendo la lunghezza pari alla somma delle lunghezze non vuote meno uno.
Confronta il comportamento effettivo con il risultato atteso. Se una verifica fallisce, indaga la causa prima di altre modifiche.
import math
def convolve(values, kernel):
if not all(map(math.isfinite, [*values, *kernel])):
raise ValueError("finite inputs required")
if not values or not kernel: return []
result = [0] * (len(values) + len(kernel) - 1)
for i, value in enumerate(values):
for j, weight in enumerate(kernel):
result[i + j] += value * weight
if not all(map(math.isfinite, result)):
raise ValueError("non-finite result")
return resultUna funzione numerica ausiliaria fa parte di un contratto applicativo: i suoi chiamanti dipendono dalla struttura dell'output, dagli input accettati e dal comportamento in caso di errore tanto quanto dall'aritmetica. KernelQuay è un ambiente di programmazione con IA per Windows per esaminare queste connessioni. Porta l'implementazione e un piccolo insieme di risultati attesi nella conversazione prima di chiedere una modifica.
Per esempio, richiedi una revisione della convoluzione discreta completa in un modulo di elaborazione. Mostra al modello collegato come il chiamante usi l'output e se le sequenze vuote abbiano un significato. Chiedigli di spiegare i limiti proposti usando un piccolo esempio asimmetrico, che rende più facile notare un'inversione accidentale rispetto a un test comodamente simmetrico.
Mantieni la gestione degli errori nella stessa revisione. Input finiti possono comunque produrre risultati fuori dall'intervallo numerico previsto e un utilizzatore a valle può richiedere una risposta specifica all'errore. Esamina il codice proposto, esegui le verifiche numeriche e prova il chiamante con risultati validi e input rifiutati. L'obiettivo è un confine software affidabile, non una formula presentata senza integrazione.
KernelQuay consente di configurare un endpoint compatibile con OpenAI o Anthropic supportato, con credenziali ove richieste. Un modello IA ablitterato disponibile può assistere nella discussione sul codice; il suo server determina strumenti disponibili e contesto. I tuoi esempi e risultati di esecuzione danno alla revisione una base concreta.
Il chiamante stabilisce la lunghezza dell'output e il comportamento in caso di errore necessari all'applicazione. Una funzione può produrre numeri plausibili ma rompere l'integrazione attraverso una struttura cambiata o un'eccezione. Esamina entrambi i lati prima di accettare una ristrutturazione numerica.
Usa valori distinti e asimmetrici con un risultato verificabile in modo indipendente. Spiega l'operazione desiderata e l'ordine dell'output. Un caso simile aiuta a rivelare un'inversione o un errore ai limiti che valori ripetuti o simmetrici potrebbero nascondere.
Se l'applicazione richiede risultati finiti, esamina entrambi i confini. Operandi validi e finiti non garantiscono automaticamente che ogni risultato calcolato soddisfi quel requisito. Verifica il comportamento di rifiuto atteso e il modo in cui i chiamanti lo gestiscono.
Un esempio è un punto di partenza. Confronta lunghezze rappresentative, comportamento con input vuoto e casi di errore inclusi nel contratto. Esamina ogni presupposto cambiato prima di misurare i tempi dell'implementazione, poi esegui personalmente le verifiche pertinenti del progetto.
KernelQuay · Aggiornato 2026-10-25