erdos

Documentation

Overview

Package main implements a dual-mode client for Erdos problem metadata and upstream fetching.

When RETRIEVAL_HOST is set, list and search POST the retrieval wire format to $RETRIEVAL_HOST/erdos. Otherwise they use patel.codes/retrieval locally.

The fetch command always hits erdosproblems.com directly. The LaTeX endpoint response is tokenized using golang.org/x/net/html, and a 'fetched' tombstone prevents each problem from being queried upstream more than once per day.