Uimhir agus an freagra céanna faoi dhó
An fabht nach bhfuil ann ach ar an meaisín eile
Is é an fabht uimhriúil is mó a chuireann as do dhuine ná an ceann a dhiúltaíonn teacht i láthair san áit a bhfuil tú ag féachaint. Teipeann ar an tástáil ar CI, ní go háitiúil. Bogann an insamhalta i ndiaidh nuashonraithe spleáchais. Táirgeann an sprioc leabaithe toradh beagán difriúil ón bhfreastalaí. Breathnaíonn píblíne an mhúnla go breá go dtí go n-iarrann athsheinm an ríomh céanna faoi dhó agus go bhfaigheann sé dhá fhreagra atá gar go leor chun argóint a thosú.
Bíonn gar ceart go leor uaireanta. Ní conradh é gar i gcónaí. Má tá ríomh mar chuid de chonair athsheinm, seiceáil sábháilteachta, insamhalta, cinneadh praghsála, cúpla digiteach, rianta iniúchóireachta, nó céim chomhbhrú mhúnla, is féidir le gar éirí ina riosca táirge. D'fhéadfadh an difríocht a bheith bídeach. Is difríochtaí iad difríochtaí bídeacha fós. Tá gairmeacha iomlána déanta ag bogearraí as a bheith oilc faoi dhifríochtaí bídeacha.
Seo an fáth a bhfuil Numerus ann i gcruach Dweve. Cuireann leathanach Numerus síos air mar bhunús uimhriúil foinse oscailte le haghaidh uimhríocht chinntitheach: pointe sheasta dhénártha agus dheachúlach, matamaitic oiriúnaitheach phointe athraitheach Dweve AXIOM, oibriú dírithe ar shlánuimhreacha, Rust, dromchlaí atá in ann no_std, fíorú i gcoinne tagairtí ardchruinnis nuair is ábhartha, agus próifílí cinntitheacha atá ceaptha chun athsheinm a dhéanamh níos ciúine ar fud spriocanna tacaithe. Tá an ciseal uimhriúil coiteann roinnte thíos níos leithne fós: teaghlaigh dhénártha, thrínártha, shlánuimhreacha, sheasta, ar snámh, agus oiriúnaitheacha AXIOM faoi chonradh amháin ar stíl Element. Is cuma le hinnealtóirí faoi shonraí cur chun feidhme beachta. Is é an ceacht táirge níos simplí: ní torann cúlra é uimhríocht. Is bonneagar é.
Is cosúil go bhfuil sin soiléir go dtí go leanann tú cá dtéann uimhreacha. Cothaíonn insamhalta cúpla digiteach. Cothaíonn an cúpla digiteach deais. Cuireann an deais cinneadh daonna in iúl. Taifeadtar an cinneadh. Mí ina dhiaidh sin, fiafraíonn duine éigin cén fáth. Mura féidir leis an gciseal uimhriúil an ríomh a atáirgeadh, éiríonn an chuid eile den slabhra fianaise éagobhsaí. D'fhéadfadh sé a bheith cosanta fós, ach anois caithfidh an fhoireann foinse srutha a sheachaint a mhíniú. Is caitheamh aimsire dona é sin.
Níl an pointe ar snámh mícheart ó thaobh moráltachta de
Ní seanmóir é seo faoin bpointe ar snámh a bheith olc. Tá an pointe ar snámh ar cheann de na cúiseanna go n-oibríonn ríomhaireacht nua-aimseartha. Tá sé tapaidh, dlúth, dea-thacaithe, agus go díreach ceart do go leor ualaí oibre. Tosaíonn an fhadhb nuair a ligeann foirne air go bhfuil a iompar ina chonradh rialachais uilíoch.
Cónaíonn an pointe ar snámh i ndomhan de mhodhanna slánúcháin, difríochtaí crua-earraí, roghanna tiomsaitheora, roghnú treorach, oibríochtaí comhleáite, veicteoiriú, dearnormail, iompar leabharlainne, agus sonraí a bhaineann go sonrach le sprioc. An chuid is mó den am, tá sé seo soláimhsithe. Uaireanta bíonn sé fiú dofheicthe. Ansin teastaíonn uait athsheinm beacht-giotán, nó comhionannas tras-sprioc, nó insamhalta cinntitheach, nó tógáil ar cheart iompar mar an gcéanna tar éis é a bhogadh ó fhreastalaí go imeall. Go tobann, stopann na sonraí a bheith acadúil. Bíonn siad ina gcruinniú.
Glacann Numerus cosán difriúil d'ualaí oibre ina bhfuil athráiteacht níos tábhachtaí ná ligean air gur córas beag aimsire é gach oibríocht. Déanann uimhríocht shlánuimhreach-amháin an léiriú follasach. Sainmhíníonn formáidí pointe sheasta cá gcónaíonn an deachúil. Láimhseálann teaghlaigh dheachúlacha luachanna ina bhfuil tábhacht le háiteanna beachta. Tugann Dweve AXIOM bealach chun cruth easpónantúil a oiriúnú in aghaidh luacha gan smacht a thabhairt ar ais do thimpeallacht ar snámh dothrédhearcach. Ní hé an pointe foirm uimhriúil amháin go deo. Is é an pointe foirm a roghnú le conradh.
Is cúis imní é sin mar ní hamháin go ndéanann córais táirge ríomh. Cuimhníonn siad. Athsheinneann siad. Déanann siad comparáid. Míníonn siad. Má tháirgeann an ríomh céanna torthaí éagsúla ar fud na ndromchlaí tacaithe, bíonn an difríocht sin mar chuid den táirge cibé acu a bhí sé beartaithe ag éinne nó nach raibh.
Is gealltanais iolracha i ndáiríre atá in aon leabharlann uimhriúil amháin
Ní aon rud amháin é bonn uimhriúil. Is sraith gealltanas é le lucht féachana éagsúil. Is cúram don innealtóir leabaithe go bhféadfaidh spriocanna srianta na próifílí slánuimhir ábhartha a rith gan timpeallacht freastalaí compordach a tharraingt isteach. Is cúram don innealtóir insamhalta go bhféadfaidh athsheinm staid a atáirgeadh. Is cúram don iniúchóir go bhféadfaí an cosán freagra a mhíniú. Is cúram don úinéir táirge nach n-iompróidh an rud é féin mar áireamhán neirbhíseach nuair a aistrítear ó thimpeallacht amháin go dtí ceann eile é.
Leagann leathanach poiblí Numerus béim ar na teaghlaigh is mó a fhiafraíonn daoine fúthu ar dtús: pointe sheasta Q-formáid, Deachúlach agus AXIOM. Tá an bunachar cóid níos leithne. Iompraíonn common/numeric foirmeacha dénártha XNOR agus POPCNT, luachanna trínártha, slánuimhreacha dúchasacha agus fo-bhíte, ailiasanna pointe sheasta, formáidí snámhphointe beaga agus AXIOM oiriúnaitheach. Cuireann aghaidh Numerus ansin na dromchlaí deachúlacha agus uimhríochta atá dírithe ar an táirge leis an mbonn sin. Tá tábhacht leis an deighilt sin mar seachnaíonn sí an elegance bhréagach a bhaineann le gach uimhir a bhrú isteach in aon chulaith amháin.
Is cineál innealtóireachta an-Eorpach é seo sa chiall is fearr. Níos lú drámaíochta, níos mó conartha. Ba cheart don ríomh a rá cad é atá ann. Ba cheart go mbeadh an raon ar eolas. Ba cheart go mbeadh an t-iompar deachúlach follasach. Ba cheart na srianta sprioc a urramú. Ba cheart go mbeadh an toradh in-atáirgthe. Níl aon phríomhóráid ag teastáil ó éinne chuige sin. Teastaíonn uathu go n-oibreodh sé.
Is fiú alt ar leith a bheith ag AXIOM mar ní ailias eile amháin sa liosta é. Is é teaghlach pointe athraitheach oiriúnaitheach Dweve é: comhartha, innéacs easpónant agus maintissa pacáilte in ionadaíocht dhlúth, le liostaí easpónant roghnaithe do shonraí ginearálta, dlútha, míneagráin nó crutha néar-líonra. Ní dhéanann an post seo ach é a chur i léarscáil Numerus. Is é an scéal níos doimhne ná conas a thugann roghnú easpónant oiriúnaitheach níos mó spáis do mhéideanna athraitheacha gan an t-uimhríocht a dhéanamh neamhchinntitheach arís.
Cuireann sé cosc freisin ar ró-mhaíomh. Ní dhéanann Numerus gach fadhb uimhriúil éasca. Ní bhaineann sé an gá le scálaí, raonta, iompar slánúcháin, liostaí easpónant, leithid mhaintissa nó fearainn fíoraithe a roghnú. Is féidir uimhríocht phointe sheasta agus phointe athraitheach araon a mhí-úsáid le díograis mhór. Is é an luach ná go mbíonn an mhí-úsáid níos infheicthe. Tugann conradh uimhriúil follasach rud éigin duit le hathbhreithniú. Tugann toimhde snámhphointe i bhfolach taibhse bheag duit i dtáirgeadh.
Ní suaitheantas é fíorú
Foghlaimíonn gach leabharlann uimhriúil ar deireadh go bhfuil focail mar ceart agus beacht saor go dtí go gceanglaítear le hairm iad. Ceart cá háit? Beacht i gcomparáid le cad é? Thar cén fearann ionchuir? Le cén t-iompar slánúcháin? Ar cén scaoileadh? Faoi na tástálacha céanna?
Cuireann ábhar Numerus fíorú chun tosaigh: CORDIC slánuimhir amháin le haghaidh feidhmeanna tarchéimnitheacha, comparáid i gcoinne oracle MPFR ardbheachtais, tástálacha maoine, agus seiceálacha scaoilte. Ní bhíonn brí leis an éileamh beacht ach amháin nuair a cheanglaítear leis an innealra sin é. Is maisiúchán é suaitheantas a deir cruinn. Is innealtóireacht é arm a dhéanann comparáid, crapadh agus teip.
Tá an t-idirdhealú seo tábhachtach mar is minic a bhíonn fabhtanna uimhriúla i bhfolach ag na himill. Iompraíonn lár an réimse go maith. Iompraíonn an taispeántas go maith. Iompraíonn na gnáthluachanna go maith. Ansin tagann an luach teorann agus fillteán faoina ascall. Is iad ionchuir dhiúltacha, luachanna gar do nialas, teorainneacha ró-shreafa, aistrithe scála, comhionannais shlánúcháin, teorainneacha liosta easpónant agus oibríochtaí arís agus arís eile na háiteanna ina dtuilleann leabharlanna uimhriúla muinín nó ina dtosaíonn siad ag scríobh ficsean.
Tá tástáil maoine úsáideach toisc go bhfuil daoine go dona ag samhlú na bealaí go léir inar féidir le huimhir a bheith cráite. Tá oracle ardchruinnis úsáideach toisc go dteastaíonn tagairt ón bhfeidhmiú nach é féin é. Tá seiceálacha scaoilte úsáideach toisc nach ráthaíocht é éileamh fíoraithe ó mhí seo caite don mhí seo. Ní fhanann bogearraí ceart as béasaíocht.
Baineann cinnteacht le hailtireacht, ní le fonóta
Is cathú é déileáil le huimhríocht chinntitheach mar shonra leabharlainne ar leibhéal íseal. Sin an áit a gcailltear é ag go leor foirne. Faoin am a dteastaíonn athsheinm ón táirge, tá na boinn tuisceana uimhriúla scaipthe cheana féin trasna seirbhísí, leabhair nótaí, spriocanna leabaithe, uirlisí samhla agus tástálacha comhtháthaithe. Ansin bíonn cinnteacht ina hathfheistiú. Is iad hathfheistithe na háiteanna ina dtéann buiséid chun carachtar a fhorbairt.
Is é an nóiméad ceart chun staidiúir uimhriúil a chinneadh ná go luath. An dteastaíonn athsheinm cobhsaí giotán ón ualach oibre seo? An dtrasnaíonn sé meaisíní? An dtrasnaíonn sé ailtireachtaí? An dtacaíonn sé le cinneadh rialáilte? An gcothaíonn sé insamhladh? An ndéantar sonraí oiliúna, ionchur tátail, aschur comhbhrú samhla, nó staid chúpla digiteach de? Má tá, tá an uimhríocht ailtireachta.
Luíonn Numerus le FMI agus Twin ar an gcúis sin go díreach. Is cúram le FMI croíleacáin insamhlaithe chinntitheacha agus malartú samhla. Is cúram le Twin athsheinm stáit oibríochtúil nó fhisiciúil le himeacht ama. Taifeadann Ledger teagmhais oibríochtúla. Iompraíonn Trace fianaise ríomha athsheinmthe. Ní éiríonn na sraitheanna sin níos ciúine ach amháin nuair nach bhfuil an tsraith uimhriúil thíos fúthu ag imeacht ar seachrán cosúil le tralaí siopadóireachta le roth amháin dona.
I gcórais AI éiríonn sé seo níos nithiúla fós. Úsáideann cainníochtú, scóráil, rangú, insamhladh, srianta, calabrú, comhbhrú agus athsheinm uimhreacha go léir. Má iompraíonn na huimhreacha sin go héagsúil trasna timpeallachtaí, b'fhéidir nach é an tsamhail an páirtí ciontach. Níl ann ach an t-amhrastach is infheicthe. Áisiúil, ach ní i gcónaí ceart.
Ní saoránaigh dara grád iad meaisíní beaga
Glacann go leor ailtireachta AI agus insamhlaithe go ciúin le meaisín compordach. Beidh freastalaí ann. Beidh GPU ann. Beidh go leor cuimhne ann. Beidh seirbhís scamall ann. Beidh bille ann a chuireann ar dhuine éigin an frása infheistíocht straitéiseach a chumadh.
Níl córais fhíora chomh slachtmhar sin. Caithfidh roinnt ríomhanna rith ar spriocanna leabaithe. Tá cuid acu ar an imeall. Suíonn cuid acu taobh istigh de ghléasanna gan aonad snámhphointe. Teastaíonn comhoiriúnacht no_std ó chuid acu. Caithfidh cuid acu leanúint ag obair nuair nach bhfuil an líonra i láthair. Más rud é nach n-iompraíonn an bunús uimhriúil ach amháin sa chás compordach, ní bunús é. Is troscán é.
Is cabhair anseo é uimhríocht atá dírithe ar shlánuimhreacha toisc go laghdaíonn sé an spleáchas ar iompar snámhphointe atá sonrach don sprioc áit ar féidir leis an ualach oibre na próifílí sin a úsáid. Cuidíonn dromchlaí atá in ann no_std toisc nach bhfuil sócanna leabharlainne chaighdeánaí próisis fhreastalaí ag gach timpeallacht. Ní hé an pointe ná cumha i leith meaisíní níos lú. Is é smacht é ar an gconradh uimhriúil a théann chuig spriocanna srianta.
Ní hé seo cumha i leith meaisíní níos lú. Is smacht é. Más cuid den táirge an ríomh, níor cheart go mbeadh an timpeallacht is compordaí ag teastáil ón táirge le bheith iontaofa.
Is é an sampla leadránach an ceann tábhachtach
Samhlaigh ríomh dáileoige, ríomh taraife, céim insamhalta, luach braiteora athsheinte, nó tairseach comhbhrúite samhail. Ní chloiseann aon cheann díobh seo go hiontach. Maith. Is iondúil go dtosaíonn an lámh a bhogadh go doiléir nuair a bhíonn an ghlóir i gceist. Is sna samplaí leadránacha a thuilleann cinnteacht uimhriúil a coinnle.
Má úsáidtear an toradh uair amháin agus má dhéantar dearmad air, b'fhéidir nach mbeadh mórán tábhachta le sruth beag. Má thaifeadtar agus má athsheintear an toradh, tá tábhacht leis. Má dhéantar comparáid idir timpeallachtaí, tá tábhacht leis. Má chothaíonn sé cinneadh níos déanaí, tá tábhacht leis. Más féidir le custaiméir, iniúchóir, nó innealtóir fiafraí cén fáth ar tháinig an luach seo chun cinn, tá tábhacht cinnte leis. Ag an bpointe sin, ní sonra cur chun feidhme inmheánach é an ríomh a thuilleadh. Is cuid den scéal a insíonn an táirge é.
Sin an fáth nach leabharlann matamaitice teibí amháin é Numerus. Is comhpháirt é in ailtireacht fhianaise. Tugann sé ciseal uimhriúil níos ciúine do chórais eile le seasamh air. Is féidir le Reed foinse a pharsáil le hadmhálacha. Is féidir le Ledger imeachtaí a thaifeadadh. Is féidir le BitWeave aisghabháil a dhéanamh cinntitheach. Is féidir le HEDL sonraí struchtúrtha a dhéanamh níos lú amú. Déanann Numerus an uimhríocht níos lú sleamhain. Baineann gach píosa áit amháin as áit a mbogfadh an córas a ghualainn murach sin.
An ceacht
Is é ceacht Numerus ná gur iompar táirge iad uimhreacha. Ní hamháin sonra cur chun feidhme. Ní hamháin matamaitic. Iompar. Más féidir le hionchur céanna freagra difriúil a thabhairt nuair a aistrítear go timpeallacht thacaithe eile é, baineann an difríocht sin leis an táirge anois.
Ní bhíonn uimhríocht chinntitheach ag teastáil i gcónaí. Nuair a bhíonn sí ag teastáil, ba cheart í a dhearadh isteach in ionad í a iarraidh go dian níos déanaí. Roghnaigh teaghlaigh uimhriúla fhollasacha. Deimhnigh i gcoinne oracle. Tástáil na coirnéil. Urramaigh srianta imlonnaithe. Coinnigh athsheinm i gcuimhne sula ndéanann an chéad tuarascáil eachtra gach duine fealsúnach go tobann.
Tá Numerus úsáideach toisc go ndéanann sé conradh den uimhríocht ar féidir leis an gcuid eile den chruach brath air. Ní mana iad Binary, ternary, integer, fixed, float, Decimal agus AXIOM. Is bealaí iad chun uimhreacha a mhúnlú ionas gur féidir an freagra céanna a bheith le feiceáil faoi dhó, d'aon ghnó. Faigheann AXIOM scéal níos doimhne dá chuid féin toisc gurb é an chuid é ina dtosaíonn an pointe féin ag gluaiseacht agus an conradh fós cinntitheach. Níl sé sin splancach. Is fearr é ná splancach. Is é an cineál leadránach é a ligeann do chórais thromchúiseacha codladh na hoíche.