Deterministic Fixed Point Arithmetic | Dweve Numerus

A történtek feljegyzése, amelyet úgy őriznek, hogy vissza lehessen olvasni.

Egy SMT-megoldó, a válaszhoz csatolt tanúsítvánnyal.

Szabályok elnevezett artefaktumokként, azzal az indokkal, hogy egy ellenőrzés miért bukott meg.

Válassza a numerikus szerződést az első számítás előtt, őrizze meg a hozzá tartozó gondolatmenetet, és adjon bárkinek, aki kéri, egy feljegyzést, amelyet a saját gépén újra le tud futtatni.

Amit kap, az az összeg pontosan elvégezve, ugyanaz a szám mindenhol, és egy feljegyzés arról, hogyan jutottak hozzá.

Európában épült, európai szabályok szerint, és a forrása az Apache-2.0 feltételei szerint jelenik meg a Dweve alapkiadási programjának második körében. A szabályozó hatóságok és a fogyasztóvédelmi szervek közvetlenül ellenőrizhetik a számítást, attól a naptól kezdve, hogy élesben indul.

Az, hogy egy szabály helyes-e, továbbra is emberek kérdése, és jogában áll felvetni. Amit ez ad, az egy szilárd alap, amellyel felvetheti: egy szám, amely ugyanúgy jön ki, bárki is ellenőrzi, egy írásos feljegyzés arról, hogyan jutottak hozzá, amely nem támaszkodik senki emlékezetére, és egy ellenőrzés, amely megmondja, hogy a feljegyzést utána módosították-e.

Ha az Önre alkalmazott szabály igazságtalan, ez pontosan alkalmazza, fillérre pontosan, mindenkire, minden alkalommal. Nem teszi igazságossá a szabályt, és nem is tudja megmondani, hogy a szabály igazságtalan. Csak annyit tesz, hogy a szám se legyen rossz, ami kisebb ígéret, mint amiben reménykedett, és olyan, amelyet valóban betartanak.

Egyik sem változtat azon az egy dolgon, amit őszintén meg kell hallania.

Tehát ami Önhöz eljut, az egy szám a saját hibahatárával, vagy egy üres hely, ahol egy kitalált szám állt volna. Az is számít, hogy hol fut a gép, és jobban, mint az emberek gondolnák. Ugyanaz a munka Franciaországban és Németországban nagyon eltérő szén-dioxid-értékeket ad, mert az áramot másképp állítják elő.

A számlálás nem tökéletes, és a szoftver ezt kérés nélkül is elmondja. A túl kicsi feladatok nyomot sem hagynak rajta. Ugyanaz a feladat kétszer futtatva kicsit másképp jön ki, attól függően, hogy mennyire volt meleg a gép. Egyes bérelt számítógépeken semmit sem lát, és ezt mondja, ahelyett hogy tippelne.

A számítógépek áramot használnak a gondolkodáshoz. Ezt mindenki tudja, és senki sem tudta megmondani, mennyi ment el belőle egyetlen feladatra. A processzorok saját futó számlálót vezetnek az elhasznált energiáról, és ez a számláló leolvasható. Így egy munka visszajöhet azzal, hogy melléírják az elhasznált áramot, és ahol a gép nem tudja megmondani, ott semmivel, nem tippeléssel.

Arra is tud válaszolni, amit néhány éve még senki sem kérdezhetett: mennyibe került az összeg áramban.

És egyiknek sem kell telefonálnia sehova. A leolvasás, az adag, a féktávolság: a szám ott van kiszámolva, ahol mérik, így nincs belőle másolat valaki más számítógépén, és semmi sem vár kapcsolatra. Ez sokkal fontosabb, ha a szám az Ön testéről szól, mint amikor a vízéről.

Egy mérő azért olcsó, mert egyáltalán nem tud törtekkel bánni, ezért egész számokban számol. Ez történetesen ugyanaz a számolás, amely minden gépen azonos választ ad. Tehát a kamrában lévő összeg nem durvább változata a banki összegnek, mert a doboz kicsi volt. Ugyanaz az összeg.

A kamrában lévő mérő dönti el, mennyivel tartozik a vízért. Egy kórházi osztályon lévő pumpa dönti el, mennyi gyógyszer kerül be. Egy doboz az autó kereke mögött dönti el, milyen erősen fékezzen. Senki sem figyeli egyiket sem, és mindegyik ugyanazt a fajta számolást végzi, amit egy bank az Ön pénzével. Ugyanolyan színvonalon elvégezhető, és a válasznak soha nem kell elhagynia azt a helyiséget, ahol kiszámolták.

egy szervezet, amely megőrizte a munkát, még aznap délután átadhatja

Arra kérdez, hogyan jött ki az eredmény, és ez teljesen természetes kérés.

és minden esetben magát a számítást, nem pedig annak összefoglalóját

egy közintézménytől, a pénzével kapcsolatos döntésről

az áramszolgáltatójától, egy vitatott számláról

a bankjától, egy számról a bankszámlakivonatán

Így a válasz nem valakinek a legjobb emlékezete. A kiinduló számokat megőrizték, és azt is, hogy mit végeztek velük, és milyen sorrendben. Ha újra lefuttatják, az eredmény azonos lesz, nem csak megközelítőleg. Ha közben módosították a rekordot, az előbb kiderül, mielőtt bárki újra futtatna bármit.

Valószínűleg már kérdezte, és rossz választ kapott. Valaki megnézi a számítás aktuális verzióját, lefuttatja a mai számokkal, és azt mondja, nagyjából stimmel. Senki sem akar kitérni a válasz elől. Az a dolog, ami tavaly tavasszal előállította a számot, már nem létezik, így nincs mire mutatni.

Egyik sem válaszol arra, amit bárki következőként kérdezne.

A múlt március pontosan ugyanúgy jön ki az új rendszerből, mint a régiből, így a benyújtott bevallás érvényes marad, és nem kell egy délutánt elveszíteni. Ha megkérdezi, hogyan jött ki egy szám, megkapja a számítást, nem pedig egy vállrándítást. Azt sem kell pusztán elhinnie, hogy a számítást nem módosították, mert minden utólagos változtatás láthatóvá válik.

A válasz egyetlen része sem a géptől függ. Nincs olyan kerekítés, ami az egyik chipen másképp működik, mint a másikon, és nincs olyan gyorsítótábla, amit egy gyorsabb számítógép használ, egy lassabb pedig nem. Cserélje ki a gépet, és a szám nem változik, és nem változik a vele benyújtott űrlap vagy a rá hivatkozó levél sem.

Valahol a bankja, az áramszolgáltatója vagy az adóhivatal mögött lecserélik a szoftvert. Senki sem szól, és általában nem is érdekli. Azon a napon érdekli, amikor az új rendszer másképp adja össze a tavalyi évet, és más eredményt kap, mert a már benyújtott űrlapja már nem egyezik a rendszerrel, amely előállította, és annak, aki ezt megmagyarázza, önnek kell lennie.

Egy számla egy hét alatt rendeződik. A papírokat egy évvel később újra elolvassák.

Itt a kerekítési pontot egyszer leírják, még mielőtt bármit összeadnának, és a számla minden példánya ezt követi. Így nincs telefonhívás, nincs függőben tartott számla, és nincs három hét. A példányok azért egyeznek, mert ugyanúgy számolták ki őket, nem pedig azért, mert valaki utólag leült, és összehozta őket.

Az ok kisebb, mint amilyennek hangzik. Az adó cent töredékeiben jön ki, és valakinek el kell döntenie, hol kerekítsék ezeket a töredékeket. Az egyik rendszer minden soron kerekít. A másik egyszer, az összegen. Mindkettő ésszerű, és akár egy centtel is eltérhetnek anélkül, hogy bármelyik hibás lenne.

Egy számla, három példány: a kezében lévő nyugta, a bolt pénztárgépe és a bankja. Időnként kettő közülük más centen végződik. Semmit nem loptak el, és senki sem volt figyelmetlen, mégis ön veszi fel a telefont, és ön vár három hetet, amíg valaki eldönti, melyik példány volt a helyes.

Elég kicsi ahhoz, hogy figyelmen kívül hagyja, egészen addig, amíg a szám az, amivel tartozik.

Ez egész számokban számol, ahogy az érméket számolná, így nem marad maradék, és semmi nem csúszik el. Amit ezért kap, az unalmas, de megéri. A telefonja, a bolti kártyaolvasó és egy számítógép egy másik országban ugyanarra a számra jut, és a három közül a legrégebbi sem kevésbé helyes, mint a legújabb.

A számítógép úgy írja le a tizedet, ahogy ön a harmadot tizedestörtként, vagyis nem egészen pontosan. Önmagában a különbség túl kicsi ahhoz, hogy lássa. De nem marad önmagában: egy számlának vannak sorai, egy évnek tizenkét számlája, és minden ilyen rés ott van az alján lévő összegben, amelyet fizetnie kell.

A kapott szám egy gépből jött ki, és egy másik gép lehet, hogy egy kicsit más számot adott volna. Kérjen a számítógéptől egy tized plusz két tizedet, és ha megmutatja az összes tárolt számjegyet, a válasz egy eltévedt négyesre végződik. Minden gép ezt csinálja, így senki sem veszi észre. Mindegyik a maga módján takarítja el a tévedt négyest, és így lesz ugyanaz az összeg, amelyet itt és egy másik országban számoltak ki, két különböző helyen végezve.

Amit kap, az egy szám, amely önmagáért beszél, és egy döntés róla, dátummal ellátva.

A tanúsítási csomag elindítja a beszélgetést egy könyvelővel, és ami lezárja, az az ön saját termékére vonatkozó benyújtása, amelyet senki nem adhat át önnek. És ha az ön szervezete által előállított egyetlen számot sem kell valaha is megvédenie a szervezeten kívüli személlyel szemben, az őszinte válasz az, hogy ez egyik sem éri meg a változást.

Az energiamérő egy operációs rendszert és egy architektúrát fed le, máshol pedig inkább csökkenti a becslést, mintsem becsülne. Egy tulajdonság bizonyításához külső megoldó telepítése szükséges, enélkül csak korlátokat és intervallumokat kap, amelyek hasznosak, de nem bizonyítások.

Semmi sem. Bizonyítékot állít elő, és az ember értékeli a bizonyítékot. Egy rosszul megválasztott numerikus szerződést teljes következetességgel tart be, és makulátlan feljegyzést készít erről, és a feljegyzés a hasznos rész, nem pedig a helyesség ígérete, mert az ígéret nem ellenőrizhető, a feljegyzés viszont igen.

És érdemes ugyanilyen őszintén beszélni arról, hogy ez mit nem ad Önnek.

E négy közül egyikről sem mondanak le. Egyszerűen nem vonatkoznak, ami lényegesen erősebb pozíció, mint a lemondás, és ez a különbség a könyvtár és a könyvtárnak álcázott szolgáltatás között. A kiadási artefaktum rögzíti a verziót és a licencet, és egy ismert build megtartható incidens esetére anélkül, hogy bárkit megkérdezne.