Also, my feedback is that some of the definitions seem kind of vague. Like, apparently an ultracontribution is “a mathematical object representing uncertainty over probability”—this tells me what it’s supposed to be, but doesn’t actually tell me what it is. The ones that actually show up in the text don’t seem too vague, partially because they’re not terms that are super precise.
This comment caused me to realize: even though generating LaTeX hoverovers involves more technical challenges, I might be able to tell it “if it’s a term that gets defined in LaTeX, include an example equation in the hoverover” (or something like that), which might help for some of these.
Also, my feedback is that some of the definitions seem kind of vague. Like, apparently an ultracontribution is “a mathematical object representing uncertainty over probability”—this tells me what it’s supposed to be, but doesn’t actually tell me what it is. The ones that actually show up in the text don’t seem too vague, partially because they’re not terms that are super precise.
This comment caused me to realize: even though generating LaTeX hoverovers involves more technical challenges, I might be able to tell it “if it’s a term that gets defined in LaTeX, include an example equation in the hoverover” (or something like that), which might help for some of these.
Could be a thing where people can opt into getting the vibes or the vibes and the definitions.
In optimal future Star Trek UI world, giving users control over explanation-style seems good.
But for near future, my guess is it’s not too hard to get a definition that is just pretty all-around good.