LSTM

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
33 points | 19 comments

Attention people who think UB is fine
2 points | 3 comments

Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge
1 points | 1 comments

Launch HN: Simantic (YC F26) – Firmware Simulation for AI Agents
75 points | 27 comments

Campus Virtual Interior
1 points | 0 comments

How close can pure functional programming get to C?
282 points | 102 comments