URLs

All URLs referenced anywhere on the site, with the anchor texts used and which pages link to them. Data from /urls.json.

Design notes

• I’m not sure that it’s ever useful to search for URLs on this site (you could just have full text search from the main page), so I have those turned off, but it’s controllable with INCLUDE_SITE_URLS.
• At the time of this writing, with INCLUDE_SITE_URLS set to true, it finds 2239 URLs; with it set to false it finds 1372.
• Filtering is super fast, but we have to optimize DOM updates.
• Originally we tried to create elements in the DOM for each result on every keystroke, but this was like 30ms+ delay after the first letter was typed — noticeably slow.
• The current design is to keep all URLs in the DOM but toggle visible, which is much faster.
• If we had 10x the URLs, we might need to change the approach to render less, or else the first keystroke will feel slow again.
• Animation may help here, to feel that it’s working “instantly” without rendering instantly.