Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edgegithub.com·38 pts·lastmjs·22
Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edgegithub.com·1 pts·lastmjs·1
Show HN: Skip the app store, listen to podcasts with a fully web-native PWApodcrypt.app·2 pts·lastmjs·0
Show HN: Competency-based, crowd-sourced, tokenized JavaScript learning platformjavascriptpractice.com·1 pts·lastmjs·0