Show HN: Lasm Viết các ứng dụng web chính thức được xác minh bằng Lean cho Node/serverless/edge

Đoạn trích bài viết

Lasm là giấc mơ của tôi trong phần lớn năm 2026. Tôi tin chắc rằng xác minh chính thức là sự phát triển tiếp theo của kỹ thuật phần mềm và ngôn ngữ lập trình. Làn sóng tiếp theo này sẽ phần lớn được hỗ trợ bởi các LLM cực kỳ thông minh hiểu xác minh chính thức và ngôn ngữ lập trình của nó.