Phephetso ea Motlatsi oa Wolfram S

Menahano e Kopanetsoeng le Hobaneng ho le Bohlokoa ka Ntle ho Academia

Qholotso ya S combinator ha se boikoetliso ba litsebi tsa lipalo feela. E totobatsa mokhoa oa ho nahana o nang le litlamorao tse tebileng bakeng sa moralo oa sistimi, meralo ea tlhophiso le ts'ebetso ea khoebo. Filosofi ea mokopanyi ea botsa: ke palo e kae e fokolang ea ts'ebetso ea athomo moo boitšoaro bohle bo lakatsehang bo ka qaptjoang? Ena ke potso eo lienjineri tse hloahloa li e botsang ha ba theha lipuo tsa mananeo, litsebi tse hloahloa tsa meralo ea meralo ea meralo li botsa ha ba rala li-microservices, 'me bahoebi ba hloahloa ba lokela ho botsa ha ba theha pokello ea bona ea tšebetso.

Mekhatlo e mengata e etsa se fapaneng. Ba bokella lisebelisoa ka tsela eo li-attics li bokellang thepa ea ka tlung - karolo e le 'ngoe ka nako, e' ngoe le e 'ngoe e rarolla bothata bo itseng, ho fihlela kaofela e ba boima ho feta kakaretso ea likarolo tsa eona. Sehlopha sa barekisi se amohela CRM. Lichelete li nka sethala sa li-invoice. HR e reka sesebelisoa sa ho lefa. Tsamaiso ea Fleet e fumana dashboard ea eona. Sesebelisoa ka seng se nepahetse sebakeng sa heno. Hammoho, ba theha seo bafuputsi ba se bitsang "integration debt" - litšenyehelo tse patiloeng tsa ho etsa hore litsamaiso tse sa khoneheng li buisane.

The S combinator e fana ka mohlala o fapaneng oa kelello. Ho e-na le ho botsa "ke sesebelisoa sefe se rarollang bothata boo?", "combinator thinker" e botsa "lits'ebetso tsa khale tseo ke li hlokang ke life, 'me li ka qaptjoa joang ho rarolla bothata leha e le bofe boo ke kopanang le bona?" Reframing ena ke phapang lipakeng tsa ho aha qubu ea tharollo le ho aha sethala.

Seo Universal Computation e re Rutang Kateng Ka Mekhoa ea Khoebo

Ho fetola botlalo ho mahlale a khomphutha ho bolela hore sistimi e ka etsisa sistimi efe kapa efe ea computational e fuoang nako e lekaneng le mohopolo. Ka mantsoe a khoebo, mohopolo o ts'oanang ke ts'ebetso e felletseng - bokhoni ba sethala ho sebetsana le phallo ea mosebetsi leha e le efe eo khoebo e ka e hlokang, eseng ka lethathamo le ntseng le hola la likarolo tsa bolt-on, empa ka li-module tsa 'nete tse hlophisitsoeng tse arolelanang data, boitsebahatso le logic boemong ba motheo.

"Litsamaiso tse matla ka ho fetisisa ha se tsona tse nang le likarolo tse ngata - ke tsona tseo likarolo li li qapang. Ho rarahana ho hlahang linthong tsa khale tse bonolo, tse entsoeng hantle ho lula ho le matla ho feta ho rarahana ho neng ho entsoe ho tloha qalong."

Phapano ena e bohlokoa haholo ts'ebetsong. Sethala seo li-modules li qapang ka 'nete se bolela hore data ea hau ea CRM e phalla ka tlhaho ho sistimi ea hau ea li-invoice, e fepang dashboard ea hau ea analytics, e tsebisang moralo oa hau oa HR. Lintlha ha li hloke ho romelloa, ho fetoloa, le ho romelloa hape. Boitsebahatso ba moreki ke ntho e le 'ngoe hore na u e shebile ho tsoa mojuleng oa thekiso, sistimi ea ho boloka libuka, kapa bukana ea moputso. Ona ke moralo o hlophisitsoeng - 'me ke oona o arolang tsamaiso ea 'nete ea khoebo ho tsoa ho software bundle.

Mewayz e hahiloe ho pota-pota molao-motheo ona hantle. Ka li-module tse 207 tse akaretsang CRM, invoice, payroll, HR, tsamaiso ea likepe, analytics, link-in-bio tools, le systeming system, sethala se sebeletsa basebelisi ba fetang 138,000 lefatšeng ka bophara eseng ka ho fana ka likarolo tse ngata, empa ka ho netefatsa hore likarolo tseo li sebetsa ho tsoa litsing tsa khale tse arolelanoang - mefuta e kopaneng ea data, mekhoa e sa fetoheng ea boitsebahatso, le mekhoa e sa fetoheng ea boitsebahatso e lumellang khoebo e le 'ngoe hore e thehe tsamaiso e ikemetseng ea boitsebahatso. e entsoe ka mokhoa o hlakileng.

Phephetso ea Bopaki: Hobaneng ha Mathata a Lokela ho Fumaneha

E 'ngoe ea lintlha tse rutang ka ho fetesisa ea Wolfram S Combinator Challenge ke hore na ho bile thata hakae ho netefatsa likopo tse neng li bonahala li le bonolo. Batšehetsi ba sechaba ba sebelisitse maele a theorem a ikemetseng, palo e felletseng ea mantsoe, le maano a ho ngola bocha. Mekhoa e mengata e neng e bonahala e tšepisa e ile ea bonahala e fosahetse ka mokhoa o patehileng. Ena ke tšobotsi ea litsamaiso tse hlophisitsoeng haholo: boitšoaro ba bona ka kakaretso bo thata ho bolela esale pele ho tsoa melaong ea bona feela.

Bakeng sa likhoebo, sena se lebisa sebakeng se tloaelehileng sa bohloko: tlhahlobo ea ho kopanya. Ha u na le litsamaiso tse leshome tseo e 'ngoe le e 'ngoe e sebetsang ka nepo ka thoko, u ke ke ua nahana hore litšebelisano tsa tsona li tla nepahala. Ntlha e 'ngoe le e 'ngoe e ncha ea ho kopanya e atisa menyetla ea boitšoaro bo sa lebelloang. Ke ka lebaka lena palo ea likhokahano ho stack ea software ea khoebo e ntseng e hola ka makhetlo a mane ka palo ea lisebelisoa - le hore na ke hobane'ng ha litšenyehelo tsa ho kopanya li ntse li feta litšenyehelo tsa laesense mekhatlong e meholo.

Tharollo eo phephetso ea mokopanyi e lebisang ho eona ha se teko e eketsehileng sebakeng sa ho kopanya, empa ho qala ho fokola ha ho kopanya. Ha li-module li arolelana substrate e tloaelehileng, litšebelisano tsa bona li laoloa ke melao e tšoanang e laolang boitšoaro ba bona ka bomong. Ha ho na likarolo tsa liphetolelo tse lokelang ho fosahala, ha ho likonteraka tsa API tse lokelang ho rojoa, ha ho na schema e sa lumellaneng ho lokisa bothata ka 2 AM pele ho tlhahiso ea boto.

Liphello Tse Ts'ebetsong: Ho Aha Khoebo ea Hao ho Li-Primitives tse Kopantsoeng

Na ha e le hantle, khoebo e sebelisa monahano oa mokopanyi joang? Mona ke melao-motheo ea bohlokoa e hlahang phephetsong ea S combinator ha e fetoleloa ho leano la ts'ebetso:

• tseba lintho tsa hau tsa pele. Pele u khetha lisebelisoa, etsa 'mapa oa lintho tsa mantlha tsa data - bareki, transaction, basebetsi, thepa, nako -' me u netefatse hore sethala sefe kapa sefe seo u se sebelisang se nka tsena e le mekhatlo ea maemo a holimo, e arolelanoang ho fapana le lirekoto tsa sebaka sa hau.
• Ikhethela botebo ho feta bophara nakong ea lisebelisoa tsa pele. Sethala se etsang lintho tse leshome hantle ho tloha motheong o arolelanoang se bohlokoa ho feta lisebelisoa tse khethehileng tse mashome a mabeli tseo e 'ngoe le e 'ngoe e etsang ntho e le 'ngoe ka tsela e ikhethang empa e sa bone lintlha tsa e mong.
• Teko ea ho kopanya, eseng feela likarolo. Ha u hlahloba software ea khoebo, potso ha se "na module A e na le tšobotsi X?" empa "ha ke sebelisa li-module A le B hammoho, na sistimi e sebetsa hantle ho feta e le 'ngoe?"
• Tšoara othomathike joalo ka sebopeho. Lisebelisoa tse matla ka ho fetesisa sethaleng se ka qaptjoang ha se lingoloa kapa likopano - ke metsamao ea mosebetsi e kopanyang mekhoa ea mojule oa ketane, e lumellang ketsahalo ea ho beeletsa ho qala ntlafatso ea CRM e hlahisang invoice e kenyang chelete ea moputso, kaofela ntle le ho kenella ka letsoho kapa khoutu e ikhethileng.
• Litekanyetso bakeng sa ho hlaha. Lits'ebetso tsa komporo li tla etsa lintho tseo u neng u sa li rera - 'me ke tšobotsi, eseng phoso. Siea sebaka sa ts'ebetso ea hau bakeng sa ho sibolla lits'ebetso tseo sethala se li lumellang empa ho se motho ea li entseng ka mokhoa o hlakileng.

Ho se fokolehe ha Computational Ts'ebetsong: Ho Amohela Seo U Ke keng U se Bolela Pele

Maikutlo a Wolfram a ho se fokolehe ha likhomphutha a na le moelelo o tobileng oa ts'ebetso: liphetho tse ling tsa khoebo li ke ke tsa boleloa esale pele ho latela melao-motheo ea pele - li tlameha ho tsamaisoa. Hona ha se ho hloleha ha moralo; ke thepa ea mekhoa e rarahaneng ea ho ikamahanya le maemo. Limmaraka li itšoara ka tsela ena. Likamano tsa bareki li itšoara ka tsela ena. Ka sebele matla a mokhatlo a sebetsa ka tsela ena.

Likhoebo tse thatafalloang haholo ke 'nete ena ke tse thehileng mekotla ea ts'ebetso e thata, e sa sebetseng hantle. Ha ts'ebetso e 'ngoe le e' ngoe ea mosebetsi e kenngoa ka thata ho sesebelisoa se itseng, ho ikamahanya le ho se khonehe ha computational - ho sa lebelloang ha 'nete ka maemo a sebele a khoebo - ho hloka ts'ebetsong e theko e boima hape. Ha mokhoa oa ho sebetsa o entsoe ho tsoa ho li-primitives tse feto-fetohang, ho ikamahanya le maemo hangata ke taba ea ho hlophisa bocha sebopeho ho fapana le ho aha bocha ho tloha qalong.

Ke ka lebaka lena li-platform tsa modular tse nang le komporo ea 'nete li sa sebetseng hantle feela - li khona ho ikamahanya le maemo. Khoebo e sebelisang bohlale bo bokelletsoeng ba basebelisi ba 138,000, joalo ka ha Mewayz a etsa, e ntse e tsoela pele ho sibolla lipina tse ncha tse sebetsang. Bohlale boo bo kopanetsoeng bo kopana ka litsela tseo ho seng moralo oa ka hare oa moreki a le mong o neng o ka li lebella.

The Frontier: Moo Li-Combinator le AI li kopanang teng

Phephetso ya mokopanyi wa S e fedile e le thuto meeding ya ditsamaiso tse nyane - empa hape e le sesupo sa hore na meedi eo e ka sutumetswa hole hakae. Moeli o latelang oa thuto ea mahlale a khomphutha le ts'ebetso ea khoebo e sebetsang ke mateano a litsamaiso tse kopaneng tse nang le thuto ea mochini: lipolanete tse sa qapeng feela mesebetsi, empa li ithuta hore na ke liqapi life tse sebetsang hantle le ho fana ka maikutlo a macha ho basebelisi ba tsona.

Ak'u nahane ka OS ea khoebo e bonang hore na ke motsoako ofe oa likarolo tse amanang le kholo ea chelete, ho boloka bareki, kapa ts'ebetso e nepahetseng, 'me e shebane le mekhoa eo ho basebetsi ba e-s'o e fumane. Sena ha se tšōmo ea mahlale - ke phetoho ea tlhaho ea sethala se nang le kopanyo e tebileng ea data le tekanyo e lekaneng. Ha CRM ea hau, li-invoice, analytics, HR, le li-module tsa tsamaiso ea likepe kaofela li sebetsa ho tsoa ho li-primitives tsa data tse arolelanoang, AI layer e na le pono e kopaneng ea khoebo ea hau eo ho se nang patchwork ea lithulusi tse kopaneng e ka bapisoang.

The S combinator e re ruta hore ho rarahana ho tebileng ha ho hloke laeborari e sa feleng ea melao. E hloka li-primitives tse nepahetseng, tse sebelisoang ka taeo le monahano. Bakeng sa likhoebo tse tsamaisang litlhoko tsa ts'ebetso tsa 2025 - ho laola lihlopha tse ajoang, bareki ba lefats'e, mefuta e nyalisitsoeng ea lekhetho, le litebello tsa tlhahlobo ea nako ea nnete - sethala se hlolang ha se sona se nang le lenane le lelelele la likarolo. Ke e hahiloeng, joalo ka S ka boeona, ka temohisiso e ntle ea hore ntho e 'ngoe le e' ngoe e khahlang e tsoa ho sebopeho.

Phephetso eo Wolfram a e hlahisitseng e ne e le mabapi le lipalo. Empa thuto ea eona e tebileng ke ea mang kapa mang ea litsamaiso tsa kaho tse reretsoeng ho tšoarella: qala ka lintho tse nyane tse qapang ka 'nete,' me u tšepe hore ho rarahana ho tla itlhokomela.

Lipotso Tse Botsoang Hangata

Mokopanyi wa S ke eng mme ke hobaneng ho le bohlokwa bakeng sa khomphutha ya theoretical?

Mokopanyi wa S, o hlalosoang ke molao S x y z = x z (y z), ke e 'ngoe ea litene tsa motheo tsa mohopolo o kopaneng hammoho le mokopanyi oa K. Bohlokoa ba eona bo ho minimalism ea eona - e ka hlahisa ts'ebetso efe kapa efe e sebetsang ha e kopantsoe le K, e etsa hore e be motheo oa lambda calculus, lenaneo la ts'ebetso, le thuto e pharaletseng ea khomphutha ea bokahohle.

Hantle-ntle Wolfram S Combinator Challenge e ne e kopa barupeluoa ho paka eng?

Stephen Wolfram o ile a qholotsa setjhaba ho paka ka molao hore mokopanyi wa S a le mong - ntle le molekane wa hae wa setso K - ke Turing-e felletseng. Motheo o tloaelehileng oa SK ke khale o netefalitsoe hohle, empa ho khetholla S e le ea khale ho hloka maano a macha a bopaki. Barupeluoa ba ile ba lekola hore na ho sebelisa S ho ka etsisa likhomphutha tse sa laoleheng, ho hohela litsebi tsa kelello, bangoli ba mofuta, le ba chesehelang theorem prover lefatšeng ka bophara.

Maikutlo a tsoang ho menahano e kopaneng e hokahana joang le liforomo tsa software tsa lefats'e la nnete?

Bopaki bo kang bona bo tebisa kutloisiso ea rona ea litlhoko tse tlase tse felletseng tsa khomphutha - lintlha tse amanang le moralo oa likhokahanyo, khopolo ea mofuta, le ntlafatso ea puo. Leha e le sehlahisoa se joalo ka Mewayz, sistimi ea khoebo ea li-module tse 207 e fumanehang ho app.mewayz.com ka $19/mo, qetellong e sebetsa ho latela melaoana e ts'oanang ea khomphutha eo phephetso ea S combinator e ikemiselitseng ho e etsa semmuso.

Nka ya kae ho latela diphephetso tse ntseng di tswelapele ho theoretical computer science?

Lintlha tse ntle ka ho fetisisa tsa ho qala li kenyelletsa litokomane tsa phephetso ea mantlha ea Wolfram, lingoliloeng tsa thuto ho lambda calculus, le lichaba tse kang lethathamo la mangolo la Metheo ea Lipalo. Bakeng sa ho hlophisa lipatlisiso tsa hau kapa ho laola khoebo ea thuto ea tekheniki, Mewayz e fana ka khoebo ea li-module tse 207 ka $19/mo - etela app.mewayz.com ho hlahloba lisebelisoa tse etselitsoeng ho sebetsana le ntho e 'ngoe le e 'ngoe ho tloha ho phatlalatso ea litaba ho ea ho tsamaiso ea bareki.