Usually the question whether the diamond principle $\diamondsuit(\kappa)$ holds for some large cardinal $\kappa$ only concerns large cardinal notions of very low consistency (among the weakly compacts). Partly since it *does* hold for all subtle cardinals, which are only barely stronger than the weakly compacts, and pretty much every large cardinal notion below a weakly compact has been shown to consistently *not* satisfy it (see Failure of diamond at large cardinals and Ben Neria ('17)).

That subtle cardinals satisfy diamond of course means that almost all large cardinals *do* satisfy it as well, but there are some strange ones lying around though, including Woodin cardinals and inaccessible Jónsson cardinals. Is anything known about diamond holding for any of these two?

provablyholds for Woodins and inaccessible Jonssons. I'll change the title. $\endgroup$