Techly NewsGet the app

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

Read more on:

Photo of Edge

Edge

Photo of node

node

Photo of serverless

serverless

Related news:

News photo

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

News photo

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

News photo

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 »