Hacker News Reader

You can program the normal ESP32 Devboards with the Arduino IDE.

Yup- ESP32 is absolutely compatible with Arduino.

There's also great support for CircuitPython and MicroPython, which makes it trivial to program the devices.