demo · v135

Wikipedia-style glossary tooltips

The Open UI explainer pitches glossary tooltips as the canonical interestfor use case — a reader who hovers an unfamiliar term gets a definition card. No JavaScript, no aria-describedby dance: the attribute alone wires the trigger to the popover, with keyboard, mouse, and long-press all supported equally.

Behind a flag Real interestfor needs chrome://flags/#html-interestfor. Without it, this page falls back to a JS shim that mirrors the same hover / focus / long-press behaviour so you can still try it.
interestfor: ?

The early modern philosophers framed many of their disputes around a single thread — whether mathematical objects had any existence outside of the human mind. Platonism took the view that the integers were just as real as planets. Formalism, sceptical of any such commitment, treated mathematics as a game played with marks on paper. Intuitionism insisted that proofs had to be constructible by a finite mind. The fault lines those positions opened still run through the foundations of computer science.

Platonism

The view that mathematical objects exist independently of human thought, the way physical objects do.

Formalism

Mathematics as the manipulation of meaningless symbols according to rules — truth reduces to derivability.

Intuitionism

L.E.J. Brouwer's view: mathematical objects only exist when a finite mind can construct them.

interest events: 0

the code

<span class="term" interestfor="p-platonism">Platonism</span>

<div popover="auto" id="p-platonism">
  <h4>Platonism</h4>
  <p>…</p>
</div>

see also