LSTM

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
36 points | 20 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
76 points | 33 comments

Campus Virtual Interior
1 points | 0 comments

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