Get the latest tech news

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

Lean for JavaScript and WebAssembly runtimes. Contribute to Millillion/lasm development by creating an account on GitHub.

None

Get the Android app

Or read this on Hacker News

Related news:

Intel confirms Nova Lake CPUs will use advanced 18A-P node, more details at CES — company says it's taking Panther Lake capacity offline to build more Granite Rapids data center CPUs

A new report accuses Microsoft of using 10 "dark patterns" to keep you on Edge

Tesco replacing VMware with Proxmox in its stores and on the edge

« Fox News’ pro-data center coverage explodes 420% following GOP warning that Democrats are defeating Republicans

PC chip plunge wipes out a quarter of Intel’s value »