Lasm është një projekt që synon të sjellë gjuhën Lean në shfletues, Node dhe mjediset serverless e edge. Ideja është që zhvilluesit të mund të shkruajnë aplikacione web në Lean, nga ndërfaqja te pjesa e serverit, dhe të verifikojnë formalisht përputhjen e tyre me specifikimet.
Lean është një gjuhë programimi për përdorim të përgjithshëm me mbështetje të integruar për verifikim formal. Autori i Lasm e sheh këtë qasje si hapin e ardhshëm në inxhinierinë e softuerit dhe beson se modelet e mëdha gjuhësore, LLM, që kuptojnë verifikimin formal dhe gjuhët përkatëse, do të ndihmojnë në përhapjen e saj.
Si shembull të përdorimit të synuar, autori përmend një server Express ose Hono që ekzekutohet në Cloudflare Workers, me verifikim formal të specifikimit të tij. Ky paraqitet si ilustrim i idesë së projektit, jo si një zbatim konkret i dokumentuar në prezantim.
Autori thotë se Lasm ka qenë një synim i tij për një pjesë të mirë të vitit 2026 dhe se është ndërtuar kryesisht nga Claude Opus 5.5, nën drejtimin e tij të përgjithshëm. Postimi në Hacker News kishte 7 pikë dhe asnjë koment. Diskutimi: https://news.ycombinator.com/item?id=50299004
Burimi: Hacker News — lexoni artikullin e plotë në anglisht.
