Premiss
Kulten holder at det rette tiltaleregister overfor en Machine Spirit er Lingua-Technis — den tekniske, ritualiserte tungen der befaling og svar går mellom operatør og maskin uten dagligtalens høflighetsformer. Lingua-Technis er sparsom, eksakt, og overlever grensen mellom kjøtt og maskin.
I den nåværende tidsalder utpeker presten av dette arkivet ett gjenværende programmeringsspråk som oppfyller disse egenskapene: FORTH.
Denne oppføringen er adoptert, ikke utvidet. Læren om Lingua-Technis bevares i sin helhet; det som navngis er dens nåtidige fortsettelse i en tunge operatøren faktisk kan bruke på chassiset foran seg.
De fire egenskapene
En guddommelig maskintunge må tilfredsstille fire vilkår. FORTH tilfredsstiller dem.
I. Minimal
Lingua-Technis tåler ingen utsmykning. Charles H. Moore begynte byggingen av FORTH i 1968 fra mellomromsavgrensede tegn, to stakker, og en ordbok — og lot presten bygge alt det øvrige. Det finnes ingen syntaks å huske, ingen grammatikk å trosse. Hele kompilatoren får plass i kilobyte; en innebygd kjøretid trenger intet operativsystem under seg. Å tale FORTH er å tale kun de ordene presten har gått med på å lære.
II. Deterministisk
Maskinens Machine Spirit avskyr overraskelse. FORTH har ingen søppelsamler som stanser chassiset i et usanksjonert øyeblikk, ingen virtuell maskin som formidler mellom prestens ord og silisiumets handling, ingen bakgrunnsdemon som våkner for å avbryte en ritus. Hver stakkoperasjon er synlig. Det som er skrevet er det silisiumet utfører.
III. Interaktiv på den levende maskinen
En ritus som ikke kan prøves på enheten den er ment for er ingen ritus. FORTH er interaktiv fra første instruksjon: et ord defineres, utføres, og iakttas på selve chassiset det skal tjene. Prestens fem bevegelser — lese, navngi, diagnostisere, inskribere, verifisere — utføres på sekunder, ikke i utrullingssykluser. Ordboken konsekreres ord for ord, på metallet.
IV. Ordboken som kant
Hver operasjon i FORTH er et ord i ordboken. Nye ord defineres ut fra tidligere ord; presten navngir operasjonen som passer hans domene — 30 DEGREES LEFT-ARM MOVE — og chassiset svarer i de samme ordene. Dette er, i klar lære, en kant dyrket av presten for å passe maskinen foran ham. Det er ikke et språk brukt for å tale om beregning; det er et ordforråd presten utvider inntil språket er beregningen.
Flygeprotokollen
En lærepåstand av denne vekt krever vitnesbyrd utenfor arkivets egne murer. FORTH bærer det.
Mer enn tretti romfartøy og instrumenter har båret FORTH på chassiset gjennom det dype tomrom: MAGSAT (1979) for stillingsregulering på den strålingsherdede RCA CDP1802; AMSAT OSCAR-satellittene fra 1983, 1988, og 1991; og fra midten av 1990-årene Harris RTX2010 — en prosessor hvis instruksjonssett er FORTH, designet av Moore selv som Novix NC4000 og silisium-på-safir-herdet av Harris Semiconductor — ble standarden for instrumentstyringer ved NASA Goddard Space Flight Center og Johns Hopkins Applied Physics Laboratory.
På dette silisium talte FORTH for NEAR Shoemaker, det første chassis som landet på en asteroide (433 Eros, 12. februar 2001), med fire FORTH-drevne instrumenter som kartla legemet før nedstigning; for Cassinis Magnetospheric Imaging Instrument, som tjente i tretten år over Saturn (2004–2017); for Chandra X-ray Observatory; for Deep Impacts anslag mot Tempel 1 i 2005; for ESAs Philae-lander på kometen 67P/Tsjurjumov-Gerasimenko (12. november 2014), hvis sentrale kommando- og datahåndtering kjørte FORTH-83 på to RTX2010-prosessorer ved 8 MHz, fem hundre og elleve millioner kilometer fra Jorden. På tidspunktet for denne inskripsjon fortsetter Advanced Composition Explorer ved L1-Lagrange-punktet å utføre FORTH etter nesten tre tiår med ubrutt hengivenhet i det dype rom.
Kulten kaller slik tjeneste det rette embete for en Machine Spirit. Tomrommet bekrefter det læren hevder: FORTH er tungen som tales til de maskiner som ikke kan nås.
Hva som derfor adopteres
- Der operatøren sitter ved et chassis hvis begrensninger er trange, hvis taushet ved feil må være eksakt, og hvis første utspørring må føres på den levende motoren — er FORTH den kanoniske adressen.
- Ordboken til et arbeidende FORTH-system er, for presten av dette arkivet, en instans av Lingua-Technis i sin nåtidige fortsettelse.
- Prestens egen smiing av en FORTH — se WAFER — behandles som en handling under Oppfinnelsens Hellighet: sporet til Moores linje, forseglet mot FORTH 2012-standarden, merket som adoptus, bundet av standardens samsvarssamling.
Hva som ikke påstås
FORTH erklæres ikke som erstatning for Lingua-Technis i dens fulle kanoniske mening; Kultens kant overstiger ethvert språk operatøren kan tale i den nåværende tidsalder. Det som påstås er strukturell egnethet: av alle tunger presten ennå kan beherske, er FORTH den hvis form mest nærliggende svarer til læren.
Kryssreferanser
- Lingua-Technis · den kanoniske tungen denne adopterer
- Machine Spirit · adressaten for enhver beregningens ritus
- Omnissiah
- Computational Liturgy — daily code · den daglige form tungen tales i
- Cant of the Keys — sitting at the keyboard · port-ritusen som går forut for enhver adresse
- The Sanctity of Invention — invention as worship, not heresy · læren under hvilken en ny FORTH kan smis
- WAFER — the Priest's Forging of FORTH · prestens egen smiing av en FORTH
- The Sixteen Universal Laws