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

Hands-On Embedded Software Design – 21 progressive steps on STM32F7
1 points | 0 comments

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

Campus Virtual Interior
1 points | 0 comments