Pootling about today looking at Chisel again. Apparently people who are really into high-level synthesis (in the sense of writing, like, C-ish programs and trusting the clever compiler to turn it into hardware) think it's total nonsense, but as a software person, I find it naively rather appealing. RTL as an abstraction isn't that hard to grok, and layering on top of that "ok, now you get to write a program that outputs RTL, but the language/library/framework has a useful type system for building coherent, predictable abstractions over that" seems pretty sensible. Anyway. I am popcorn-gif-ing hard while reading forum threads with people at each other's throats over this kind of thing.