Wolfram S Kobinatɛri ka gɛlɛya

ni sariya kelen bɛ fɛn bɛɛ sɛbɛn kokura : kalan minnu bɛ sɔrɔ Wolfram S Combinator Challenge la

San 2023 laban na, Stephen Wolfram ye ɲininkali nɔgɔman dɔ kɛ jatebɔ jatebɔ jɛkulu la min bɛ mɔgɔ lafili : yala faranfasibaga kelen — S faralen ɲɔgɔn kan — bɛ se ka jira ko a bɛ se ka diɲɛ bɛɛ jatebɔ sɔrɔ a yɛrɛ ma wa ? Min tugura o kɔ, o kɛra gɛlɛya dafalen ye min kɛra kalo caman kɔnɔ, min ye kriptografikɛlaw, hakilijagabɔlaw ani porogaramuw dilannikɛlaw sama ka don laɲɔ dingɛ cɛɲiw dɔ la kelen na ɔridinatɛri dɔnniya teori la. S faralen ɲɔgɔn kan, min ɲɛfɔlen don sariya fɛ S x y z = x z (y z), a bɛ i n’a fɔ a ka dɔgɔ kosɛbɛ. O bɛɛ n’a ta, min bɛ o sɛbɛnni kura sariya kelen kɔnɔ, o ye se ye ka jatebɔ suguya bɛɛ ladege min ma deli ka miiri. Nin tɛ jatebɔ dɔrɔn maana ye — a ye maana ye min bɛ kɛ n’i ye gɛlɛya bɔ a kɔnɔ fo ka se a kɔnɔna na min tɛ se ka dɔgɔya, k’a ye ko nɔgɔya, n’a bɛ waleya segin-ka-bɔ, o bɛ kɛ fanga danma ye.

S faralen ɲɔgɔn kan : nɔgɔya i n' a fɔ fangaba

| S farankan ye jusigilan fila dɔ ye (K faralen ɲɔgɔn kan) minnu mago bɛ Turing dafalen na. K bɛ sugandili kɛ dɔrɔn k’a fili yɔrɔ min na, S bɛ fɛn dɔ kɛ min ka di kosɛbɛ: a bɛ sɔsɔli dɔ tila-tila baarakɛcogo fila cɛ waati kelen na, ka yɛrɛ-taamacogo segin-segin sugu kɛ sababu ye min bɛ jatebɔ kɛ diɲɛ bɛɛ kɔnɔ.

Wolfram ka gɛlɛya ye ɲininkali kɛ kɛrɛnkɛrɛnnenya la ni S kelen — ni K yɛrɛ tɛ a taamaɲɔgɔn ye — bɛ se ka gɛlɛya caman lase walasa Turing ka kɛ dafalen ye kodɔn dɔw kɔrɔ. Jaabi min sinsinnen don sigida dɛmɛbagaw fɛ ɲinini dafalenw ni dalilu jɔnjɔnw fɛ, o tun ye nuancɛ ye : S kelen tɛ se ka Turing dafalen dafalen sɔrɔ ni primitif dɔw farala a kan, nka ɲinini taabolo yɛrɛ ye dunuya danma jira, min bɛ se ka kɛ sistɛmuw bɛ se ka minnu kɛ. Daɲɛ minnu jɔra ka bɔ S baarakɛcogo dɔrɔn na, olu bonyalen don ka kɛ kɛwalew ye hadamaden si tun tɛ se ka minnu fɔ ka bɔ daminɛ sariya dɔrɔn na.

Nin ye cɛmancɛ hakilina ye min b' a to gɛlɛya in ka dun filozofi siratigɛ la sanni ka kɛ fɛɛrɛko dɔrɔn ye . Danfara min bɛ sigida dɔ ka ɲɛfɔli n’a taamacogo cɛ, o bɛ se ka bonya sankolola siratigɛ la. Wolfram ye nin ko in wele ko "jatebɔko dɔgɔyali" — hakilina min ye ko sigida caman na, sira surun tɛ yen walasa k’a dɔn u bɛna min kɛ fo n’u bolila senfɛ-senfɛ.

miirili faralen ɲɔgɔn kan ani mun na a nafa ka bon kalanko kɔfɛ

S combinator gɛlɛya tɛ degeliw dɔrɔn ye jatebɔlaw fɛ . A bɛ miiricogo dɔ kristali min bɛ nɔba bila sistɛmu dilanni na, jɛkulu jɔcogo la, ani jago baarakɛcogo la. Fɛnɲɛnɛma-falen-falen-falen-falen bɛ ɲininkali Kɛ ko: atomikɛ-walew kulu fitinin ye mun ye, kɛwale ɲininenw bɛɛ bɛ Se ka Dabɔ min na? Nin ye ɲininkali ye injiniyɛri ŋanaw bɛ min kɛ ni porogaramukanw jɔli ye, fɛn dilannikɛla ŋanaw bɛ min kɛ ni u bɛ mikrosɛrɛsiw dilan, ani jagokɛla ŋanaw ka kan ka min kɛ n’u bɛ u ka baarakɛminɛnw jɔ.

Jɛkulu fanba bɛ o kɔfɛko kɛ . U bɛ baarakɛminɛnw dalajɛ i n’a fɔ so sanfɛlanw bɛ mebɛriw dalajɛ cogo min na — u kelen-kelen bɛɛ bɛ gɛlɛya kɛrɛnkɛrɛnnen dɔ ɲɛnabɔ, fo a bɛɛ ka girinya ka tɛmɛ a yɔrɔw bɛɛ lajɛlen kan. Feerekɛlaw ka jɛkulu dɔ bɛ CRM ta. Nafolo bɛ fatura plateforme dɔ minɛ. HR bɛ sarako baarakɛminɛn dɔ san. Fleet management b’a yɛrɛ ka dashboard sɔrɔ. Baarakɛminɛn kelen-kelen bɛɛ bɛ sigida la min ka ɲi kosɛbɛ. U faralen ɲɔgɔn kan, baarakɛcogo ɲininikɛlaw bɛ min wele ko "jɛ-ka-baara juru" — musaka dogolen min bɛ kɛ ka sigida minnu tɛ se ka da ɲɔgɔn kan, olu ka kuma ɲɔgɔn fɛ.

S combinator bɛ hakili modɛli wɛrɛ di . Sani a ka ɲininkali kɛ ko "minɛn jumɛn bɛ nin gɛlɛya in ɲɛnabɔ?", combinator thinker bɛ ɲininkali kɛ ko "ne mago bɛ baara fɔlɔ minnu na, olu ye jumɛnw ye, wa u bɛ se ka labɛn cogo di walasa ka gɛlɛya o gɛlɛya ɲɛnabɔ n bɛ min sɔrɔ? nin reframing in ye danfara ye furaw kulu jɔli ni plateforme jɔli cɛ.

Jɛkuluba jatebɔ bɛ min kalan an na jago moduluw kan

Turing dafalen ɔridinatɛri dɔnniya la kɔrɔ ye ko sigida bɛ se ka jatebɔ sira wɛrɛ bɛɛ ladege ni waati ni hakilijagabɔ bɛrɛ dira a ma. Jago siratigɛ la, hakilina min bɛ tali kɛ o la, o ye baarakɛcogo dafalen ye — se min bɛ se ka kɛ sababu ye ka baara kɛcogo o baarakɛcogo ɲɛnabɔ, jagokɛla mago bɛ se ka min kɛ, o tɛ kɛ ni bololanɛgɛw lisɛli ye min bɛ ka bonya tuma bɛɛ, nka a bɛ kɛ ni moduluw ye minnu bɛ se ka labɛn tiɲɛ na, minnu bɛ kunnafoniw, danyɔrɔ, ani hakilinaw tila ɲɔgɔn na jusigilan siratigɛ la.

ye

"Sigida minnu fanga ka bon kosɛbɛ, olu tɛ fɛnw ye minnu ka fɛnw ka ca — u ye fɛnw ye minnu bɛ fɛnw da. Gɛlɛya min bɛ bɔ fɔlɔ nɔgɔmanw na, minnu dilannen don koɲuman, o barika ka bon tuma bɛɛ ka tɛmɛ gɛlɛya kan min dabɔra kabini a daminɛ na."

ye

O danfara in nafa ka bon kosɛbɛ waleyali la. Plateforme min na moduluw bɛ dabɔ tiɲɛ na, o kɔrɔ ye ko i ka CRM kunnafoniw bɛ woyo cogo la min bɛ don i ka fatura sitɛmu kɔnɔ, o min bɛ i ka analytics dashboard balo, o min bɛ i ka HR labɛnni kunnafoni. Donanw man kan ka bila ka taa jamana wɛrɛw la, ka fɛn caman sɛmɛntiya, ka segin ka don jamana kɔnɔ. Kunnafonidila dɔ ka danyɔrɔ ye fɛn kelen ye hali n’i b’a lajɛ ka bɔ feereli modulu la, jatebɔ sira fɛ, walima sarako sɛbɛn kɔnɔ. Nin ye daɲɛw dilanni ye — wa o de bɛ jagokɛcogo lakika ni porogaramuw kulu faranfasi.

Mewayz jɔlen bɛ o sariyakolo in de kan tigitigi . Ni modulu 207 bɛ CRM, fatura, sarako, HR, kurunbokari, jateminɛ, link-in-bio baarakɛminɛnw, ani jatebɔ siraw la, o yɔrɔ in bɛ baara kɛ baarakɛla 138.000 ni kɔ ye diɲɛ kɔnɔ, a tɛ kɛ ni fɛn caman dicogo ye, nka a kɛtɔ k’a lajɛ ko o fɛnw bɛ baara kɛ ka bɔ primitiw jɛlenw na — kunnafonidilanw modeli kelenw, danyɔrɔko ɲɛnabɔli basigilen, ani otomatiki layɛrɛw labɛnni minnu bɛ se ka jagokɛlaw bila baarakɛcogo dɔw jɔ minnu ma Mewayz mɔgɔ si ma labɛn k'a jɛya.

dalili gɛlɛya : mun na gɛlɛya ka kan ka sɔrɔ

Wolfram S Combinator Challenge ka kalan kɛcogo dɔ ye ko a gɛlɛyara cogo min na ka hali kuma fɔlenw sɛgɛsɛgɛ minnu bɛ i n' a fɔ u ka nɔgɔn . Sigida dɛmɛbagaw tun bɛ baara kɛ ni otomatiki teoriw sɛgɛsɛgɛbagaw ye, daɲɛw jatebɔ dafalenw, ani sɛbɛnni kura kɛcogo kura. Fɛɛrɛ caman minnu tun bɛ iko layidu talenw, olu kɛra fili ye cogo nɔgɔman na. O ye daɲɛw sigicogo ye minnu ka bon kosɛbɛ : u kɛcogo sɛgɛsɛgɛli la, o ka gɛlɛn tiɲɛ na ka fɔ u ka sariyaw dɔrɔn fɛ.

Jagokɛlaw fɛ , nin bɛ kariti kɛ dimi yɔrɔ dɔnta dɔ la : jɛ-ka-baara sɛgɛsɛgɛli . Ni sistɛm tan b’i bolo minnu kelen-kelen bɛɛ bɛ baara kɛ ka ɲɛ u dan na, i tɛ se k’a miiri k’u ka jɛɲɔgɔnyaw bɛna kɛ tiɲɛ ye. Jɛɲɔgɔnya yɔrɔ kura kelen-kelen bɛɛ bɛ kɛwalew seko caya minnu ma labɛn. O de y’a to jɛ-ka-baara hakɛ min bɛ baarakɛda ka porogaramuw kulu danmadɔ kɔnɔ, o bɛ bonya kɛrɛnkɛrɛnnenya la ni baarakɛminɛnw hakɛ ye — wa jɛ-ka-baara musakaw bɛ tɛmɛ tuma bɛɛ lase musakaw kan jɛkulubaw kɔnɔ.

Fɛɛrɛ min bɛ faranfasi gɛlɛya jira, o tɛ kɔrɔbɔli caman ye jɛ-ka-baara layɛrɛ la, nka jɛ-ka-bɔ-yɔrɔ ka dɔgɔn ka daminɛ. Ni moduluw bɛ substrat kelen jɛ, u ka jɛɲɔgɔnyaw bɛ ɲɛnabɔ sariya kelenw fɛ minnu bɛ u kelen-kelen bɛɛ ka kɛwalew ɲɛnabɔ. Bamanankan-falen-falen-layɛrɛ si tɛ yen ka fili, API bɛnkansɛbɛn si tɛ yen ka tiɲɛ, schema mismatch si tɛ yen ka debug kɛ 2 AM ka kɔn board jirali ɲɛ.

Nafa minnu bɛ sɔrɔ a la : ka i ka jago jɔ fɛn fɔlɔw kan minnu bɛ se ka kɛ

Jagokɛyɔrɔ bɛ miirili jɛlen kɛ cogo di tiɲɛ na waleyali la ? sariyakolo jɔnjɔn minnu bɛ bɔ S combinator gɛlɛya la n’u bamanankanna baarakɛcogo fɛɛrɛ la, olu filɛ nin ye :

• I ka fɔlɔfɔlɔw dɔn fɔlɔ. Sani i ka baarakɛminɛnw sugandi, i ka i ka kunnafonidilan jɔnjɔnw kariti kɛ — kiliyanw, jagokɛlaw, baarakɛlaw, nafolo, waati — ani k’a lajɛ ko i bɛ se ka plateforme o plateforme ta, o bɛ ninnu minɛ i n’a fɔ fɛn fɔlɔw, minnu bɛ tila ɲɔgɔn na sanni ka kɛ modulu-local records ye.
• A ka fisa ni dunuya ye ka tɛmɛ bonya kan baarakɛminɛn fɔlɔw la . Plateforme min bɛ fɛn tan kɛ ka ɲɛ ka bɔ jusigilan jɛlen na , o nafa ka bon ka tɛmɛ baarakɛminɛn kɛrɛnkɛrɛnnen mugan kan minnu kelen-kelen bɛɛ bɛ fɛn kelen kɛ kɛrɛnkɛrɛnnenya la nka u tɛ se ka ɲɔgɔn ka kunnafoniw ye .
• Test composability kɔrɔbɔ, a kana kɛ features dɔrɔn ye. Ni jago porogaramuw jateminɛna, ɲininkali tɛ "yala module A bɛ feature X sɔrɔ wa?" nka "ni n bɛ baara kɛ ni modulu A ni B ye ɲɔgɔn fɛ, yala sistɛmu bɛ taama ka ɲɛ ka tɛmɛ u fila kelen kan wa?"
• Aw ka otomatiki jate i n’a fɔ daɲɛw labɛncogo. Otomatiki fanga ka bon kosɛbɛ sigida labɛnni na, olu tɛ sɛbɛnniw walima ɲɔgɔndanw ye — olu ye baarakɛcogo ye minnu bɛ cakɛda modulu kɛcogoyaw siri ɲɔgɔn na, k’a to jatebɔko dɔ ka CRM kurayali daminɛ min bɛ fatura dɔ daminɛ min bɛ sarako doncogo dɔ daminɛ, o bɛɛ kɛra ni bololabaara ma kɛ ni bololabaara ye walima ka kɛɲɛ ni ladamu kode ye.
• Budget for emergence . Composable systems bɛna fɛnw kɛ i ma minnu labɛn — wa o ye fɛn ye , a tɛ bug ye . Aw ye yɔrɔ to aw ka baarakɛcogo la walasa ka baarakɛcogo dɔw sɔrɔ minnu bɛ se ka kɛ kɛnɛ kan nka mɔgɔ si ma minnu labɛn k’a jɛya.

jatebɔbaliya baarakɛcogo la : i tɛ se ka min fɔ ka ɲɛ , o minɛcogo

Wolfram ka hakilina min ye jatebɔko dɔgɔyali ye, o bɛ ni baarakɛcogo kɔlɔlɔ tilennen ye : jago kɔlɔlɔ dɔw tɛ se ka fɔ ka ɲɛ ka bɔ sariya fɔlɔw la — u ka kan ka boli. Nin tɛ bolodacogo dɛsɛ ye; o ye ladamucogo gɛlɛnw ka nafolo ye. Suguw bɛ u yɛrɛ minɛ o cogo la. Kunnafoni minnu bɛ sɔrɔ kiliyanw fɛ, olu bɛ u yɛrɛ minɛ o cogo la. Jɛkulu ka fanga bɛ taama nin cogo in na tiɲɛ na.

Jagokɛyɔrɔ minnu bɛ kɛlɛ kɛ kosɛbɛ ni nin tiɲɛ in ye , olu ye baarakɛda gɛlɛnw ye , minnu bɛ se ka tiɲɛ . Ni baarakɛcogo bɛɛ bɛ kodɔn kosɛbɛ ka kɛ baarakɛminɛn kɛrɛnkɛrɛnnen dɔ ye, ka ladamu jatebɔko dɔgɔyali la — ka kɛɲɛ ni jago cogoya lakikaw ka fɔbaliya lakika ye — o bɛ segin-ka-bɔnye sɔngɔ gɛlɛn de wajibiya. Ni baarakɛcogo dɔw dabɔra ka bɔ fɛn fɔlɔw la minnu bɛ se ka wuli, ladamuni ka teli ka kɛ daɲɛw labɛncogo kura ye sanni ka jɔ kokura ka bɔ fɛn fɔlɔ la.

O de y’a to modulari plateformes ni composability lakika tɛ baarakɛcogo dɔrɔn na — u bɛ se ka muɲu fɛɛrɛko siratigɛ la. Jagokɛyɔrɔ min bɛ baara kɛ ni baarakɛla 138.000 ka nafa dalajɛlen ye plateforme intelligence kan, i n’a fɔ Mewayz b’a kɛ cogo min na, o bɛ ka to ka dɔnkilidacogo kura sɔrɔ minnu bɛ baara kɛ. O jɛ-ka-baara hakili bɛ fara ɲɔgɔn kan cogoyaw la, kiliyan kelen kɔnɔna labɛnni tun tɛ se ka min makɔnɔ.

Dancɛ : Kominatɛriw ni AI bɛ ɲɔgɔn sɔrɔ yɔrɔ min na

S combinator gɛlɛya labanna i n’a fɔ kalan min bɛ kɛ sigida fitininw dancɛw la — nka a kɛra fana jirali ye o danw bɛ se ka gɛlɛya fo yɔrɔ min na. Dan nata min bɛ ɔridinatɛri dɔnniya teoritiki ni jagokɛcogo waleyali fila bɛɛ la, o ye ɲɔgɔndan sigidaw ni masin kalanni cɛtigɛli ye : kɛnɛ minnu tɛ baarakɛcogo dɔrɔn da, nka u b’a dɔn dɔnkilidacogo minnu bɛ nɔ bɔ kosɛbɛ, wa u bɛ kura jira u baarakɛlaw la.

Miiri k’a filɛ jagokɛla OS dɔ la min b’a kɔlɔsi ko modulu faralen ɲɔgɔn kan minnu bɛ tali kɛ sɔrɔ yiriwali la, kiliyanw marali la, walima baarakɛcogo ɲuman na, ka o misaliw bɔ kɛnɛ kan ni timinandiya ye baarakɛlaw la minnu ma u sɔrɔ fɔlɔ. Nin tɛ dɔnniyako ye — a ye plateforme dɔ ka jiginni ye min bɛ kɛ ni kunnafonidilanw ye minnu ka dun kosɛbɛ ani minnu ka bon kosɛbɛ. Ni i ka CRM, facture, analytics, HR, ani fleet management modules bɛɛ bɛ baara kɛ ka bɔ data primitives jɛlenw na, AI layɛrɛ bɛ i ka jago filɛli kelen sɔrɔ, baarakɛminɛn jɛlenw patchwork si tɛ se ka bɛn min ma.

S faralen ɲɔgɔn kan , o b' an kalan ko gɛlɛya min ka dun kosɛbɛ , o tɛ sariyaw gafemarayɔrɔ danma wajibiya . A bɛ fɛn fɔlɔw de wajibiya minnu bɛnnen don, minnu bɛ waleya ni kololi ni miirili ye. Jagokɛlaw minnu bɛ san 2025 baarakɛnafolo ɲininiw ɲɛnabɔ — ka ekipu tilalenw ɲɛnabɔ, diɲɛ kiliyanw, sɔrɔcogo misaliw, ani waati yɛrɛyɛrɛ sɛgɛsɛgɛli jigiyaw — o yɔrɔ min bɛ se sɔrɔ, o tɛ o ye min ka fɛnw lisɛli ka jan. O ye min jɔra, i n’a fɔ S yɛrɛ, hakilina cɛɲi kan ko fɛn bɛɛ min ka di, o bɛ bɔ daɲɛw labɛnni na.

Gɛlɛya min kɛra Wolfram fɛ, a bɛ iko o tun bɛ jatebɔ de kan. Nka a ka kalan juguba ye mɔgɔ o mɔgɔ ta ye sigida jɔli kun ye ka mɛn : a daminɛ ni fɛn fitininw ye minnu bɛ daɲɛw labɛn tiɲɛ na , ka da a la ko gɛlɛya bɛna a janto a yɛrɛ la .

Ɲininkali minnu bɛ kɛ tuma caman na

S jɛkulu ye mun ye ani mun na a nafa ka bon jatebɔ teori la ?

S faralen ɲɔgɔn kan, min ɲɛfɔlen don sariya fɛ S x y z = x z (y z), o ye ɲɔgɔndan hakilina jɔli jɔnjɔn dɔ ye K faralen ɲɔgɔn kan. A nafa bɛ a ka minimalisme (minimalisme) la — a bɛ se ka jatebɔ baara suguya bɛɛ jira n’a farala K kan, k’a kɛ lambda calculus, functional programming, ani diɲɛ jatebɔ miiriya belebeleba ye.

Wolfram S Combinator Challenge tun bɛ mun de ɲini jamanadenw fɛ u k' a jira tigitigi ?

Stephen Wolfram ye sigidamɔgɔw gɛlɛya u k’a jira cogo labɛnnen na ko S faralen ɲɔgɔn kan — n’a ka laadala jɛɲɔgɔn K tɛ — Turing-dafalen don. SK basigilen basigilen jirala kabini tuma jan diɲɛ bɛɛ kɔnɔ, nka S danfara la i n’a fɔ fɔlɔ kelen, o tun bɛ dalilu fɛɛrɛ kura de wajibiya pewu. Tɔgɔladonnaw y’a sɛgɛsɛgɛ ni S yɛrɛ tali bɛ se ka jatebɔ kɛcogo gansan ladege, ka hakilijagabɔlaw, suguya dɔnnikɛlaw, ani otomatiki teorema prover kanubagaw sama diɲɛ kɔnɔ.

hakilila minnu bɛ bɔ hakilina jɛlenw na , olu bɛ tali kɛ cogo di ni diɲɛ porozɛw jɔyɔrɔ lakikaw ye ?

Dalilu suguw b’an ka faamuyali juguya jatebɔ ka wajibi fitinin dafalenw kan — hakilina minnu bɛ wuli ka don daɲɛgafe dilanni na, suguya miiriya la, ani kan baarakɛcogo ɲuman na. Hali fɛn dɔ i n’a fɔ Mewayz, n’o ye jagokɛla ka OS ye min bɛ se ka kɛ ni modulu 207 ye, n’o bɛ sɔrɔ app.mewayz.com kan dɔrɔmɛ 19/kalo la, a laban bɛ boli abstraction layɛrɛw kan minnu ju bɔra diɲɛ jatebɔ sariyakolo kelenw na, S combinator gɛlɛya y’a bila ka forobaya kɛ.

ne bɛ se ka taa min ka tugu gɛlɛyaw kɔ minnu bɛ senna ɔridinatɛri dɔnniya teori la ?

Daminɛyɔrɔ ɲumanw ye Wolfram ka gɛlɛya sɛbɛn fɔlɔw ye, kalanko sɛbɛnw lambda jatebɔ kan, ani sigida minnu bɛ i n’a fɔ Jateblaw ka bataki cilenw lisi. Walasa k’i ka ɲininiw labɛn walima k’i ka fɛɛrɛkalan jago ɲɛnabɔ, Mewayz bɛ jago OS 207 dilan min bɛ $19/mo — taa app.mewayz.com kan walasa ka baarakɛminɛnw sɛgɛsɛgɛ minnu jɔra walasa ka fɛn bɛɛ ɲɛnabɔ k’a ta kɔnɔkow bɔli la ka se kiliyanw ɲɛnabɔli ma.