En praktisk måte å bruke en god tenkemodell på er å utvide kompilatoren for å oppdage problemer som den ikke er tilstrekkelig smart™ til å finne ennå. Som i, nye feilmeldinger som oppdager nye klasser av feil. For eksempel har jeg nylig skrevet en stor (15k tokens) fil i rå C. Den filen implementerer noen hardcore-funksjoner i HVM, som er et lineært språk, der variabler ikke kan brukes mer enn én gang, med fare for å ødelegge minnet. Dette er en veldig subtil feil. Å inspisere hele filen visuelt ville ta evigheter. Feilsøking er veldig vanskelig. Jeg mistet timer/dager på dette tidligere. Denne gangen skrev jeg bare en melding som ba AI om å oppdage ikke-lineær bruk - noe GCC ikke er i stand til å gjøre. Den oppdaget ikke alle feilene samtidig, så jeg måtte kjøre ledeteksten på nytt noen ganger. Uansett pekte den raskt på steder i koden som var feil, slik at jeg raskt kunne fikse. Jeg fortsatte å kjøre ledeteksten på nytt til den begynte å hallusinere, noe som i utgangspunktet betyr at de fleste feil er borte.