Hacker News new | ask | show | jobs
Porting Lean to the ESP32-C3 RISC-V Microcontroller (kuruczgy.com)
6 points by panic 226 days ago