Based on the discussion it appears it's an actual device. I confirmed this by navigating my browser to https://www.arduboy.com/

It looks like a miniature gaming system (like a GameBoy) that also lets you make your own games and upload them to the device: https://www.arduboy.com/

If only some vast repository of knowledge that can be searched in milliseconds didn't exist.

It's a credit-card-sized Gameboy (hence the "boy" part of the name) powered by an ATmega32u4 microcontroller (hence the "Ardu" part).

>It's a credit-card-sized Gameboy (hence the "boy" part of the name) powered by an ATmega32u4 microcontroller (hence the "Ardu" part).

I didn't read that article and I was able to deduce that, not really sure how the guy you're replying to claims to have went to the site and still can't figure it out.