Hacker News Reader

You might enjoy the Pimoroni PicoSystem, or its HDMI bro, the PicoVision:

(Not affiliated nor trying to sell it, the shop is just the best link for information.)

EDIT: Also it's not quite boot into IDE, but the vibe of both is similar in every other way.