LSTM

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

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

The Interim Computer Museum: log into old systems
3 points | 4 comments