Kalan Lean: Yɔrɔ fɔlɔ

\u003ch2\u003eKalan Lean: Yɔrɔ fɔlɔ\u003c/h2\u003e \u003cp\u003eNin barokun bɛ hakilina nafamaw ni kunnafoniw di a barokun kan, ka dɛmɛ don dɔnniya tilali ni faamuyali la.\u003c/p\u003e \u003ch3\u003eTakeaways kunbabaw\u003c/h3\u003e \u003cp\u003eKalanbagaw bɛ se ka jigi ka tɔnɔ sɔrɔ:\u003c/p\u003e \u003cul\u003e \u003cli\u003eKunnafoni faamuyali kuncɛlen\u003c/li\u003e \u003cli\u003eBaarakɛcogo waleyali ani diɲɛ kɔnɔko lakika\u003c/li\u003e \u003cli\u003eDɔnnikɛlaw ka miiriyaw ni u sɛgɛsɛgɛli\u003c/li\u003e \u003cli\u003eKunnafoni kura donna sisan kow kan\u003c/li\u003e \u003c/ul\u003e \u003ch3\u003eNafa jiracogo\u003c/h3\u003e \u003cp\u003eKɔnɔkow ɲuman i n'a fɔ nin bɛ dɛmɛ don ka dɔnniya sabati ani ka kunnafonidi latigɛw yiriwa dakun suguya caman na.\u003c/p\u003e

Ɲininkali minnu bɛ kɛ tuma caman na

Lean ye mun ye ani mun na ne ka kan k' a kalan ?

Lean ye porogaramukan baarakɛta ye ani teorema prover min bɛ baara kɛ ni Microsoft Research ye. A b’a To i bɛ Se ka jatebla-sɛgɛsɛgɛli kode sɛbɛn, k’a Jira ko a bɛnnen dòn daɲɛgafe-sɛbɛnni waati la. Learning Lean nafa ka bon porogaramu injiniyɛriw bolo minnu b’u mago don sɛgɛsɛgɛli kɛcogo la, jatebɔla minnu bɛ daliluw sɛgɛsɛgɛ ɔridinatɛri dɛmɛni fɛ, ani mɔgɔ o mɔgɔ b’a fɛ ka porogaramuw sɛbɛn minnu bɛ se ka da u kan kosɛbɛ. A sigida min bɛ ka bonya ani a waleyali waleyali kalanko ni izini fila bɛɛ la, o b’a kɛ i ka waati musaka nafama ye.

yala ne mago bɛ jatebɔ kɔkanna na walasa ka Lean daminɛ wa ?

Ayi, jatebɔ dɔnniya jugu tɛ wajibiya walasa ka Lean kalan daminɛ. Hali ni dɔnniya jɔnjɔnw ni sigida teori dɔnni bɛ dɛmɛ, daminɛbaga caman bɛ daminɛ ni porogaramuko dɔnniya dɔrɔn ye. Nin gafe in tilayɔrɔba fɔlɔ bɛ hakilina jɔnjɔnw ɲɛfɔ cogo la min bɛ se ka sɔrɔ. Plateformes i n’a fɔ Mewayz bɛ kalan sira sigilenw di modulu 207 kɔnɔ k’a daminɛ $19/mo la, k’i dɛmɛ ka jatebɔ hakilila wajibiyalenw jɔ i ka Lean porogaramu seko kɛrɛfɛ dɔɔnindɔɔnin.

Lean ni porogaramukan tɔw tɛ kelen ye cogo di ?

A tɛ i n’a fɔ kan kɔrɔw , Lean bɛ porogaramuw ni dalilu seko fɔlɔw fara ɲɔgɔn kan . Kanw i n’a fɔ Python walima Java bɛ u jigi da kɔrɔbɔli kan yɔrɔ minnu na walasa ka buguw minɛ, Lean b’a to i k’a jira jatebɔ la ko i ka kode bɛnnen don. A bɛ baara Kɛ ni suguw ye minnu bɛ tali Kɛ ɲɔgɔn na, minnu b’a To suguyaw bɛ Se ka Da nafaw kan, o bɛ se ka kɛ sababu ye ka ɲɛfɔli kɛcogo ɲɛfɔlenw Kɛ. Lean 4, n’o ye a bɔko laban ye, o fana bɛ baara kɛ i n’a fɔ kan min bɛ kɛ fɛn bɛɛ lajɛlen na ni ɲɛɲini kɛcogo ye, o b’a to a bɛ se ka kɛ ka tɛmɛ kalanko baarakɛcogo gansanw kan.

n bɛ se ka porozɛ waleyali jumɛnw jɔ ka sɔrɔ ka Lean kalan ?

I n’a fɔ daminɛbaga, i bɛ se k’a daminɛ ni jatebɔ dalilu nɔgɔmanw kɛli ye cogo la, ka kunnafonidilanw jɔ minnu sɛgɛsɛgɛra, ani ka algorisimu sɛbɛn minnu bɛ se ka tiɲɛ i n’a fɔ sɛrɛkili walima ɲinini baarakɛcogo. Ni i bɛ taa ɲɛ, Lean bɛ porozɛbaw dɛmɛ i n’a fɔ daɲɛgafesɛbɛnw sɛgɛsɛgɛlenw, kriptografu protocole sɛgɛsɛgɛli, ani jatebɔ forobaciyɛn. Mewayz bɛ bololabaarakɛminɛnw di minnu bɛ i bilasira porozɛw la minnu bɛ gɛlɛya dɔɔnindɔɔnin, k’a to i bɛ se ka dɔnniya waleyali sɔrɔ hakilinata faamuyali kɛrɛfɛ i ka kalan taama bɛɛ kɔnɔ.