I think that's a bit click-baity given that Ethernet appears to be a library of some sort here.

Cool-looking language, but would be better to promote it based on its merits.

If you had no idea either, here: https://spade-lang.org/.

So it's a hardware description language.